About the Execution of LoLA for DNAwalker-PT-06track28RL
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 15918.750 | 3600000.00 | 4188683.00 | 13898.30 | F??T???FTT?TF?FF | normal |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Waiting for the VM to be ready (probing ssh)
...................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
/home/mcc/execution
total 272K
-rw-r--r-- 1 mcc users 3.0K May 15 18:54 CTLCardinality.txt
-rw-r--r-- 1 mcc users 16K May 15 18:54 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.8K May 15 18:54 CTLFireability.txt
-rw-r--r-- 1 mcc users 19K 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.6K May 15 18:50 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 2.4K May 15 18:54 LTLCardinality.txt
-rw-r--r-- 1 mcc users 9.8K May 15 18:54 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.0K May 15 18:54 LTLFireability.txt
-rw-r--r-- 1 mcc users 8.9K May 15 18:54 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.7K May 15 18:54 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 20K May 15 18:54 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 115 May 15 18:54 ReachabilityDeadlock.txt
-rw-r--r-- 1 mcc users 353 May 15 18:54 ReachabilityDeadlock.xml
-rw-r--r-- 1 mcc users 3.3K May 15 18:54 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 20K May 15 18:54 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K May 15 18:54 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K 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 12 May 15 18:50 instance
-rw-r--r-- 1 mcc users 6 May 15 18:50 iscolored
-rw-r--r-- 1 mcc users 108K May 15 18:50 model.pnml
=====================================================================
Generated by BenchKit 2-3637
Executing tool lola
Input is DNAwalker-PT-06track28RL, examination is CTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r064-smll-152649735400263
=====================================================================
--------------------
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 DNAwalker-PT-06track28RL-CTLFireability-00
FORMULA_NAME DNAwalker-PT-06track28RL-CTLFireability-01
FORMULA_NAME DNAwalker-PT-06track28RL-CTLFireability-02
FORMULA_NAME DNAwalker-PT-06track28RL-CTLFireability-03
FORMULA_NAME DNAwalker-PT-06track28RL-CTLFireability-04
FORMULA_NAME DNAwalker-PT-06track28RL-CTLFireability-05
FORMULA_NAME DNAwalker-PT-06track28RL-CTLFireability-06
FORMULA_NAME DNAwalker-PT-06track28RL-CTLFireability-07
FORMULA_NAME DNAwalker-PT-06track28RL-CTLFireability-08
FORMULA_NAME DNAwalker-PT-06track28RL-CTLFireability-09
FORMULA_NAME DNAwalker-PT-06track28RL-CTLFireability-10
FORMULA_NAME DNAwalker-PT-06track28RL-CTLFireability-11
FORMULA_NAME DNAwalker-PT-06track28RL-CTLFireability-12
FORMULA_NAME DNAwalker-PT-06track28RL-CTLFireability-13
FORMULA_NAME DNAwalker-PT-06track28RL-CTLFireability-14
FORMULA_NAME DNAwalker-PT-06track28RL-CTLFireability-15
=== Now, execution of the tool begins
BK_START 1526773162826
info: Time: 3600 - MCC
===========================================================================================
prep: translating DNAwalker-PT-06track28RL Petri net model.pnml into LoLA format
===========================================================================================
prep: translating PT Petri net complete
prep: check for too many tokens
===========================================================================================
prep: translating DNAwalker-PT-06track28RL formula CTLFireability into LoLA format
===========================================================================================
prep: translating PT formula complete
vrfy: Checking CTLFireability @ DNAwalker-PT-06track28RL @ 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: 284/65536 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 1088
lola: finding significant places
lola: 34 places, 250 transitions, 34 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 164 transition conflict sets
lola: TASK
lola: reading formula from DNAwalker-PT-06track28RL-CTLFireability.task
lola: A (F ((A (F ((FIREABLE(t23_26) OR FIREABLE(t22_21)))) AND FIREABLE(t15_16)))) : (((E (F (FIREABLE(t15_14))) AND A ((FIREABLE(t4_3) U FIREABLE(t11_21)))) OR A (F (A (F (FIREABLE(t12_22)))))) OR ((FIREABLE(t4_7) OR (NOT FIREABLE(t10_2) AND NOT FIREABLE(t24_12))) AND (NOT FIREABLE(t9_6) OR (FIREABLE(t23_25) AND FIREABLE(t9_7) AND NOT FIREABLE(t26_28))) AND (NOT FIREABLE(t26_27) OR NOT FIREABLE(t24_27)) AND (NOT FIREABLE(t15_16) OR NOT FIREABLE(t26_24)) AND FIREABLE(t5_7))) : E (F (E ((FIREABLE(t24_21) U (FIREABLE(t2_4) AND FIREABLE(t6_13)))))) : E (G (E (X ((FIREABLE(t9_4) OR FIREABLE(t1_5) OR NOT FIREABLE(tloop17)))))) : E (F (A (F (A (G (FIREABLE(t13_14))))))) : E (G ((A (G (NOT FIREABLE(t7_6))) OR E ((FIREABLE(t19_20) U FIREABLE(tAb18)))))) : E (((A (X (FIREABLE(t5_3))) OR (FIREABLE(t10_9) OR FIREABLE(t10_5) OR NOT FIREABLE(t26_24))) U A (G ((FIREABLE(t13_14) OR FIREABLE(t22_27)))))) : (E (X (FIREABLE(t15_8))) OR A (G (E (F ((FIREABLE(t3_9) OR FIREABLE(t7_6))))))) : ((E ((FIREABLE(tAb5) U (FIREABLE(t18_19) AND FIREABLE(t10_21)))) OR NOT(A (F (FIREABLE(t13_15))))) OR A (((FIREABLE(t16_8) AND FIREABLE(t9_12) AND FIREABLE(t13_14) AND FIREABLE(t10_21)) U ((FIREABLE(t10_3) AND FIREABLE(t26_12)) OR FIREABLE(t19_6))))) : E (X (NOT((A (F (FIREABLE(tloop25))) OR (FIREABLE(t18_6) OR FIREABLE(t24_19)))))) : A (G (A ((NOT FIREABLE(t4_9) U NOT FIREABLE(t26_24))))) : NOT(E (((FIREABLE(t7_13) OR FIREABLE(t12_11) OR (FIREABLE(t9_10) AND FIREABLE(t5_9))) U A (F (FIREABLE(t11_10)))))) : A (F ((E (X (NOT FIREABLE(t24_23))) AND A (F ((FIREABLE(t8_14) OR FIREABLE(t22_25))))))) : E (F ((A (F (FIREABLE(t6_7))) AND FIREABLE(t19_25)))) : (A (F (E ((FIREABLE(t12_24) U FIREABLE(t19_6))))) AND A ((FIREABLE(t16_17) U E (F (FIREABLE(t23_10)))))) : A ((A (F (NOT FIREABLE(t6_5))) U ((FIREABLE(t6_4) OR FIREABLE(t13_20) OR FIREABLE(t9_6)) OR A (F (FIREABLE(t19_13))))))
lola: rewrite Frontend/Parser/formula_rewrite.k:392
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:446
lola: rewrite Frontend/Parser/formula_rewrite.k:455
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:254
lola: rewrite Frontend/Parser/formula_rewrite.k:318
lola: rewrite Frontend/Parser/formula_rewrite.k:323
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:326
lola: rewrite Frontend/Parser/formula_rewrite.k:338
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:323
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:452
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 223 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (G (E (X ((FIREABLE(t9_4) OR FIREABLE(t1_5) OR NOT FIREABLE(tloop17))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:724
lola: processed formula: NOT(A(TRUE U NOT(EX((FIREABLE(t9_4) OR FIREABLE(t1_5) OR NOT FIREABLE(tloop17))))))
lola: processed formula length: 85
lola: 22 rewrites
lola: closed formula file DNAwalker-PT-06track28RL-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: yes
lola: produced by: CTL model checker
lola: The net satisfies the given formula.
lola: 10 markings, 10 edges
lola: ========================================
FORMULA DNAwalker-PT-06track28RL-CTLFireability-3 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 1 will run for 238 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (((A (X (FIREABLE(t5_3))) OR (FIREABLE(t10_9) OR FIREABLE(t10_5) OR NOT FIREABLE(t26_24))) U A (G ((FIREABLE(t13_14) OR FIREABLE(t22_27))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:734
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: processed formula: E((AX(FIREABLE(t5_3)) OR (FIREABLE(t10_9) OR FIREABLE(t10_5) OR NOT FIREABLE(t26_24))) U NOT(E(TRUE U (NOT FIREABLE(t13_14) AND NOT FIREABLE(t22_27)))))
lola: processed formula length: 154
lola: 24 rewrites
lola: closed formula file DNAwalker-PT-06track28RL-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: 954544 markings, 3941738 edges, 190909 markings/sec, 0 secs
lola: 1856655 markings, 7794178 edges, 180422 markings/sec, 5 secs
lola: 2632759 markings, 11816552 edges, 155221 markings/sec, 10 secs
lola: 3337903 markings, 16051818 edges, 141029 markings/sec, 15 secs
lola: 4022178 markings, 20327827 edges, 136855 markings/sec, 20 secs
lola: 4779379 markings, 24429377 edges, 151440 markings/sec, 25 secs
lola: 5521640 markings, 28557175 edges, 148452 markings/sec, 30 secs
lola: 6261178 markings, 32758222 edges, 147908 markings/sec, 35 secs
lola: 6841522 markings, 36924712 edges, 116069 markings/sec, 40 secs
lola: 7452553 markings, 41280509 edges, 122206 markings/sec, 45 secs
lola: 8056850 markings, 45703012 edges, 120859 markings/sec, 50 secs
lola: 8757441 markings, 49886881 edges, 140118 markings/sec, 55 secs
lola: 9383362 markings, 54187668 edges, 125184 markings/sec, 60 secs
lola: 9949863 markings, 58576893 edges, 113300 markings/sec, 65 secs
lola: 10535083 markings, 62985684 edges, 117044 markings/sec, 70 secs
lola: 11155510 markings, 67388196 edges, 124085 markings/sec, 75 secs
lola: 11692832 markings, 71824902 edges, 107464 markings/sec, 80 secs
lola: 12197880 markings, 76250707 edges, 101010 markings/sec, 85 secs
lola: 12850067 markings, 80442818 edges, 130437 markings/sec, 90 secs
lola: 13633287 markings, 84176896 edges, 156644 markings/sec, 95 secs
lola: 14374340 markings, 87769387 edges, 148211 markings/sec, 100 secs
lola: 15108141 markings, 91328975 edges, 146760 markings/sec, 105 secs
lola: 15858251 markings, 95021593 edges, 150022 markings/sec, 110 secs
lola: 16577863 markings, 98591972 edges, 143922 markings/sec, 115 secs
lola: 17327620 markings, 102164646 edges, 149951 markings/sec, 120 secs
lola: 18028572 markings, 106002821 edges, 140190 markings/sec, 125 secs
lola: 18774636 markings, 109750631 edges, 149213 markings/sec, 130 secs
lola: 19515177 markings, 113683214 edges, 148108 markings/sec, 135 secs
lola: 20202554 markings, 117589262 edges, 137475 markings/sec, 140 secs
lola: 20777465 markings, 121288890 edges, 114982 markings/sec, 145 secs
lola: 21341585 markings, 125018983 edges, 112824 markings/sec, 150 secs
lola: 21898050 markings, 128736754 edges, 111293 markings/sec, 155 secs
lola: 22473756 markings, 132688102 edges, 115141 markings/sec, 160 secs
lola: 23070846 markings, 136779837 edges, 119418 markings/sec, 165 secs
lola: 23684459 markings, 140899578 edges, 122723 markings/sec, 170 secs
lola: 24273853 markings, 144583255 edges, 117879 markings/sec, 175 secs
lola: 24866161 markings, 148306947 edges, 118462 markings/sec, 180 secs
lola: 25455060 markings, 152100209 edges, 117780 markings/sec, 185 secs
lola: 26038557 markings, 156164101 edges, 116699 markings/sec, 190 secs
lola: 26518015 markings, 159925185 edges, 95892 markings/sec, 195 secs
lola: 27045264 markings, 164116042 edges, 105450 markings/sec, 200 secs
lola: 27708376 markings, 168003566 edges, 132622 markings/sec, 205 secs
lola: 28329364 markings, 171938829 edges, 124198 markings/sec, 210 secs
lola: 28920681 markings, 175743000 edges, 118263 markings/sec, 215 secs
lola: 29543275 markings, 179349265 edges, 124519 markings/sec, 220 secs
lola: 30162231 markings, 183106369 edges, 123791 markings/sec, 225 secs
lola: 30788766 markings, 186983322 edges, 125307 markings/sec, 230 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown yes unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 3454372 KB
lola: time consumption: 238 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 2 will run for 238 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (E (X (FIREABLE(t15_8))) OR A (G (E (F ((FIREABLE(t3_9) OR FIREABLE(t7_6)))))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 2 will run for 238 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (E (F ((FIREABLE(t3_9) OR FIREABLE(t7_6))))))
lola: ========================================
lola: SUBTASK
lola: checking liveness
lola: AGEF init
lola: rewrite Frontend/Parser/formula_rewrite.k:617
lola: processed formula: (FIREABLE(t3_9) OR FIREABLE(t7_6))
lola: processed formula length: 35
lola: 21 rewrites
lola: closed formula file DNAwalker-PT-06track28RL-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using tscc preserving stubborn set method (--stubborn)
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: tscc_search
lola: The predicate is not live.
lola: 6 markings, 5 edges
lola: ========================================
lola: subprocess 3 will run for 256 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (X (FIREABLE(t15_8)))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: processed formula: EX(FIREABLE(t15_8))
lola: processed formula length: 19
lola: 21 rewrites
lola: closed formula file DNAwalker-PT-06track28RL-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 0 significant temporal operators and needs 0 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: SUBRESULT
lola: result: no
lola: produced by: CTL model checker
lola: The net does not satisfy the given formula.
lola: 0 markings, 0 edges
lola: lola: SUBRESULT
lola: result: no
lola: The Boolean predicate is false.
========================================
lola: ========================================
FORMULA DNAwalker-PT-06track28RL-CTLFireability-7 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 3 will run for 256 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (X ((E (G (NOT FIREABLE(tloop25))) AND (NOT FIREABLE(t18_6) AND NOT FIREABLE(t24_19)))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:724
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:300
lola: processed formula: EX((NOT(A(TRUE U FIREABLE(tloop25))) AND (NOT FIREABLE(t18_6) AND NOT FIREABLE(t24_19))))
lola: processed formula length: 89
lola: 23 rewrites
lola: closed formula file DNAwalker-PT-06track28RL-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: yes
lola: produced by: CTL model checker
lola: The net satisfies the given formula.
lola: 9 markings, 9 edges
lola: ========================================
FORMULA DNAwalker-PT-06track28RL-CTLFireability-9 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 4 will run for 277 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F ((E (X (NOT FIREABLE(t24_23))) AND A (F ((FIREABLE(t8_14) OR FIREABLE(t22_25)))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:732
lola: rewrite Frontend/Parser/formula_rewrite.k:732
lola: processed formula: A(TRUE U (EX(NOT FIREABLE(t24_23)) AND A(TRUE U (FIREABLE(t8_14) OR FIREABLE(t22_25)))))
lola: processed formula length: 89
lola: 23 rewrites
lola: closed formula file DNAwalker-PT-06track28RL-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 2 significant temporal operators and needs 9 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: SUBRESULT
lola: result: no
lola: produced by: CTL model checker
lola: The net does not satisfy the given formula.
lola: 10 markings, 30 edges
lola: ========================================
FORMULA DNAwalker-PT-06track28RL-CTLFireability-12 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 5 will run for 302 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F ((FIREABLE(t2_4) AND FIREABLE(t6_13))))
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(t2_4) AND FIREABLE(t6_13))))
lola: processed formula length: 44
lola: 21 rewrites
lola: closed formula file DNAwalker-PT-06track28RL-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(t2_4) AND FIREABLE(t6_13))
lola: state equation: Generated DNF with 4 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to DNAwalker-PT-06track28RL-CTLFireability-5-0.sara
lola: state equation: calling and running sara
sara: try reading problem file DNAwalker-PT-06track28RL-CTLFireability-5-0.sara.
sara: place or transition ordering is non-deterministic
lola: sara is running 0 secs || 852229 markings, 1617278 edges, 170446 markings/sec, 0 secs
lola: sara is running 5 secs || 1525984 markings, 3361218 edges, 134751 markings/sec, 5 secs
lola: sara is running 10 secs || 2148642 markings, 5219128 edges, 124532 markings/sec, 10 secs
lola: sara is running 15 secs || 2627859 markings, 6945631 edges, 95843 markings/sec, 15 secs
lola: sara is running 20 secs || 3108342 markings, 8740841 edges, 96097 markings/sec, 20 secs
lola: sara is running 25 secs || 3615144 markings, 10495321 edges, 101360 markings/sec, 25 secs
lola: sara is running 30 secs || 4291447 markings, 12119141 edges, 135261 markings/sec, 30 secs
lola: sara is running 35 secs || 4936867 markings, 14030287 edges, 129084 markings/sec, 35 secs
lola: sara is running 40 secs || 5639647 markings, 15554023 edges, 140556 markings/sec, 40 secs
lola: sara is running 45 secs || 6297769 markings, 17323932 edges, 131624 markings/sec, 45 secs
lola: sara is running 50 secs || 6953985 markings, 19225585 edges, 131243 markings/sec, 50 secs
lola: sara is running 55 secs || 7704460 markings, 20760636 edges, 150095 markings/sec, 55 secs
lola: sara is running 60 secs || 8454989 markings, 22307310 edges, 150106 markings/sec, 60 secs
lola: sara is running 65 secs || 9131640 markings, 24077569 edges, 135330 markings/sec, 65 secs
lola: sara is running 70 secs || 9822383 markings, 25913526 edges, 138149 markings/sec, 70 secs
lola: sara is running 75 secs || 10486587 markings, 27890932 edges, 132841 markings/sec, 75 secs
lola: sara is running 80 secs || 11156411 markings, 29736934 edges, 133965 markings/sec, 80 secs
lola: sara is running 85 secs || 11780438 markings, 31779281 edges, 124805 markings/sec, 85 secs
lola: sara is running 90 secs || 12459385 markings, 33696194 edges, 135789 markings/sec, 90 secs
lola: sara is running 95 secs || 13189081 markings, 35289276 edges, 145939 markings/sec, 95 secs
lola: sara is running 100 secs || 13862780 markings, 37154968 edges, 134740 markings/sec, 100 secs
lola: sara is running 105 secs || 14509010 markings, 39104063 edges, 129246 markings/sec, 105 secs
lola: sara is running 110 secs || 15202592 markings, 40928220 edges, 138716 markings/sec, 110 secs
lola: sara is running 115 secs || 15876514 markings, 42776687 edges, 134784 markings/sec, 115 secs
lola: sara is running 120 secs || 16551166 markings, 44621863 edges, 134930 markings/sec, 120 secs
lola: sara is running 125 secs || 17196109 markings, 46510551 edges, 128989 markings/sec, 125 secs
lola: sara is running 130 secs || 17788912 markings, 48421970 edges, 118561 markings/sec, 130 secs
lola: sara is running 135 secs || 18427307 markings, 50207682 edges, 127679 markings/sec, 135 secs
lola: sara is running 140 secs || 18916934 markings, 52218768 edges, 97925 markings/sec, 140 secs
lola: sara is running 145 secs || 19370913 markings, 54096204 edges, 90796 markings/sec, 145 secs
lola: sara is running 150 secs || 19831644 markings, 55920552 edges, 92146 markings/sec, 150 secs
lola: sara is running 155 secs || 20270814 markings, 57792419 edges, 87834 markings/sec, 155 secs
lola: sara is running 160 secs || 20697555 markings, 59892548 edges, 85348 markings/sec, 160 secs
lola: sara is running 165 secs || 21078096 markings, 61862150 edges, 76108 markings/sec, 165 secs
lola: sara is running 170 secs || 21470039 markings, 63766494 edges, 78389 markings/sec, 170 secs
lola: sara is running 175 secs || 22146065 markings, 65528769 edges, 135205 markings/sec, 175 secs
lola: sara is running 180 secs || 22741128 markings, 67318510 edges, 119013 markings/sec, 180 secs
lola: sara is running 185 secs || 23316051 markings, 69270690 edges, 114985 markings/sec, 185 secs
lola: sara is running 190 secs || 23815525 markings, 71400824 edges, 99895 markings/sec, 190 secs
lola: sara is running 195 secs || 24369422 markings, 73383405 edges, 110779 markings/sec, 195 secs
lola: sara is running 200 secs || 24763520 markings, 75364936 edges, 78820 markings/sec, 200 secs
lola: sara is running 205 secs || 25148806 markings, 77359916 edges, 77057 markings/sec, 205 secs
lola: sara is running 210 secs || 25619184 markings, 79237054 edges, 94076 markings/sec, 210 secs
lola: sara is running 215 secs || 26195816 markings, 81113800 edges, 115326 markings/sec, 215 secs
lola: sara is running 220 secs || 26810620 markings, 82901421 edges, 122961 markings/sec, 220 secs
lola: sara is running 225 secs || 27349636 markings, 84975155 edges, 107803 markings/sec, 225 secs
lola: sara is running 230 secs || 27835124 markings, 87130805 edges, 97098 markings/sec, 230 secs
lola: sara is running 235 secs || 28302074 markings, 89018417 edges, 93390 markings/sec, 235 secs
lola: sara is running 240 secs || 28787153 markings, 90897292 edges, 97016 markings/sec, 240 secs
lola: sara is running 245 secs || 29296846 markings, 92699765 edges, 101939 markings/sec, 245 secs
lola: sara is running 250 secs || 29742268 markings, 94823691 edges, 89084 markings/sec, 250 secs
lola: sara is running 255 secs || 30214785 markings, 96794614 edges, 94503 markings/sec, 255 secs
lola: sara is running 260 secs || 30703816 markings, 98582121 edges, 97806 markings/sec, 260 secs
lola: sara is running 265 secs || 31179101 markings, 100399559 edges, 95057 markings/sec, 265 secs
lola: sara is running 270 secs || 31641216 markings, 102309475 edges, 92423 markings/sec, 270 secs
lola: sara is running 275 secs || 32067855 markings, 104399956 edges, 85328 markings/sec, 275 secs
lola: sara is running 280 secs || 32495617 markings, 106359420 edges, 85552 markings/sec, 280 secs
lola: sara is running 285 secs || 32935004 markings, 108260150 edges, 87877 markings/sec, 285 secs
lola: sara is running 290 secs || 33363097 markings, 110213402 edges, 85619 markings/sec, 290 secs
lola: sara is running 295 secs || 33888646 markings, 112135858 edges, 105110 markings/sec, 295 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown yes unknown unknown unknown no unknown yes unknown unknown no unknown unknown unknown
lola: memory consumption: 1211988 KB
lola: time consumption: 540 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 6 will run for 303 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F (A (G (FIREABLE(t13_14)))))
lola: ========================================
lola: SUBTASK
lola: checking possible invariance
lola: AGEF init
lola: rewrite Frontend/Parser/formula_rewrite.k:636
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: processed formula: NOT FIREABLE(t13_14)
lola: processed formula length: 20
lola: 22 rewrites
lola: closed formula file DNAwalker-PT-06track28RL-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using tscc preserving stubborn set method (--stubborn)
lola: RUNNING
lola: 1284922 markings, 3979465 edges, 256984 markings/sec, 0 secs
lola: 2534819 markings, 8079102 edges, 249979 markings/sec, 5 secs
lola: 3540639 markings, 12234107 edges, 201164 markings/sec, 10 secs
lola: 4433876 markings, 16669564 edges, 178647 markings/sec, 15 secs
lola: 5224618 markings, 20779413 edges, 158148 markings/sec, 20 secs
lola: 6108742 markings, 25298596 edges, 176825 markings/sec, 25 secs
lola: 6945631 markings, 29794280 edges, 167378 markings/sec, 30 secs
lola: 7613972 markings, 34292088 edges, 133668 markings/sec, 35 secs
lola: 8358476 markings, 38779465 edges, 148901 markings/sec, 40 secs
lola: 9213311 markings, 43062277 edges, 170967 markings/sec, 45 secs
lola: 9967020 markings, 47602012 edges, 150742 markings/sec, 50 secs
lola: 10652864 markings, 52217307 edges, 137169 markings/sec, 55 secs
lola: 11313333 markings, 56851994 edges, 132094 markings/sec, 60 secs
lola: 11958839 markings, 61511866 edges, 129101 markings/sec, 65 secs
lola: 12598728 markings, 66193637 edges, 127978 markings/sec, 70 secs
lola: 13659422 markings, 70138545 edges, 212139 markings/sec, 75 secs
lola: 14641662 markings, 73873608 edges, 196448 markings/sec, 80 secs
lola: 15605983 markings, 77462245 edges, 192864 markings/sec, 85 secs
lola: 16529162 markings, 81097355 edges, 184636 markings/sec, 90 secs
lola: 17532940 markings, 84957538 edges, 200756 markings/sec, 95 secs
lola: 18438772 markings, 88561715 edges, 181166 markings/sec, 100 secs
lola: 19449282 markings, 92388811 edges, 202102 markings/sec, 105 secs
lola: 20389067 markings, 96723055 edges, 187957 markings/sec, 110 secs
lola: 21422863 markings, 101079851 edges, 206759 markings/sec, 115 secs
lola: 22385479 markings, 105272536 edges, 192523 markings/sec, 120 secs
lola: 23219114 markings, 109431529 edges, 166727 markings/sec, 125 secs
lola: 23922045 markings, 113268526 edges, 140586 markings/sec, 130 secs
lola: 24615500 markings, 117149429 edges, 138691 markings/sec, 135 secs
lola: 25315950 markings, 121079331 edges, 140090 markings/sec, 140 secs
lola: 26035644 markings, 125279926 edges, 143939 markings/sec, 145 secs
lola: 26799508 markings, 129922599 edges, 152773 markings/sec, 150 secs
lola: 27571583 markings, 134416011 edges, 154415 markings/sec, 155 secs
lola: 28313342 markings, 138292786 edges, 148352 markings/sec, 160 secs
lola: 29038357 markings, 142103150 edges, 145003 markings/sec, 165 secs
lola: 29767311 markings, 145987319 edges, 145791 markings/sec, 170 secs
lola: 30532165 markings, 150471133 edges, 152971 markings/sec, 175 secs
lola: 31138263 markings, 154548412 edges, 121220 markings/sec, 180 secs
lola: 31730216 markings, 158634471 edges, 118391 markings/sec, 185 secs
lola: 32415097 markings, 163380851 edges, 136976 markings/sec, 190 secs
lola: 33170724 markings, 167667474 edges, 151125 markings/sec, 195 secs
lola: 33889076 markings, 171710854 edges, 143670 markings/sec, 200 secs
lola: 34614342 markings, 175893854 edges, 145053 markings/sec, 205 secs
lola: 35316030 markings, 179994923 edges, 140338 markings/sec, 210 secs
lola: 36071357 markings, 184374244 edges, 151065 markings/sec, 215 secs
lola: 36837577 markings, 188957523 edges, 153244 markings/sec, 220 secs
lola: 37525653 markings, 193433341 edges, 137615 markings/sec, 225 secs
lola: 38081152 markings, 197590724 edges, 111100 markings/sec, 230 secs
lola: 38648223 markings, 201823050 edges, 113414 markings/sec, 235 secs
lola: 39255507 markings, 206439080 edges, 121457 markings/sec, 240 secs
lola: 39872954 markings, 211052368 edges, 123489 markings/sec, 245 secs
lola: 40443833 markings, 215181247 edges, 114176 markings/sec, 250 secs
lola: 41036953 markings, 219496999 edges, 118624 markings/sec, 255 secs
lola: 41569712 markings, 223923272 edges, 106552 markings/sec, 260 secs
lola: 42141212 markings, 228531891 edges, 114300 markings/sec, 265 secs
lola: 42889933 markings, 232801986 edges, 149744 markings/sec, 270 secs
lola: 43613135 markings, 236904289 edges, 144640 markings/sec, 275 secs
lola: 44325814 markings, 241029375 edges, 142536 markings/sec, 280 secs
lola: 45038106 markings, 245155695 edges, 142458 markings/sec, 285 secs
lola: 45804051 markings, 249319848 edges, 153189 markings/sec, 290 secs
lola: 46551473 markings, 253814684 edges, 149484 markings/sec, 295 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown yes unknown unknown unknown no unknown yes unknown unknown no unknown unknown unknown
lola: memory consumption: 1849496 KB
lola: time consumption: 843 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 7 will run for 303 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (A ((NOT FIREABLE(t4_9) U NOT FIREABLE(t26_24)))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:739
lola: rewrite Frontend/Parser/formula_rewrite.k:737
lola: processed formula: NOT(E(TRUE U NOT(A(NOT FIREABLE(t4_9) U NOT FIREABLE(t26_24)))))
lola: processed formula length: 64
lola: 22 rewrites
lola: closed formula file DNAwalker-PT-06track28RL-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: 1012715 markings, 4133021 edges, 202543 markings/sec, 0 secs
lola: 1978416 markings, 8196962 edges, 193140 markings/sec, 5 secs
lola: 2932236 markings, 12331166 edges, 190764 markings/sec, 10 secs
lola: 3689009 markings, 16651757 edges, 151355 markings/sec, 15 secs
lola: 4467515 markings, 21318712 edges, 155701 markings/sec, 20 secs
lola: 5166856 markings, 25637591 edges, 139868 markings/sec, 25 secs
lola: 5870573 markings, 30057060 edges, 140743 markings/sec, 30 secs
lola: 6582909 markings, 34376954 edges, 142467 markings/sec, 35 secs
lola: 7223098 markings, 38989244 edges, 128038 markings/sec, 40 secs
lola: 7838415 markings, 43801658 edges, 123063 markings/sec, 45 secs
lola: 8563905 markings, 48520852 edges, 145098 markings/sec, 50 secs
lola: 9337927 markings, 53191584 edges, 154804 markings/sec, 55 secs
lola: 9967263 markings, 57735624 edges, 125867 markings/sec, 60 secs
lola: 10569021 markings, 62360131 edges, 120352 markings/sec, 65 secs
lola: 11136618 markings, 67043723 edges, 113519 markings/sec, 70 secs
lola: 11754848 markings, 71824931 edges, 123646 markings/sec, 75 secs
lola: 12280168 markings, 76710826 edges, 105064 markings/sec, 80 secs
lola: 13083282 markings, 81198446 edges, 160623 markings/sec, 85 secs
lola: 13922260 markings, 85320082 edges, 167796 markings/sec, 90 secs
lola: 14740551 markings, 89273297 edges, 163658 markings/sec, 95 secs
lola: 15553500 markings, 93132284 edges, 162590 markings/sec, 100 secs
lola: 16341946 markings, 97016695 edges, 157689 markings/sec, 105 secs
lola: 17170317 markings, 101051884 edges, 165674 markings/sec, 110 secs
lola: 17967890 markings, 104926170 edges, 159515 markings/sec, 115 secs
lola: 18730721 markings, 108786086 edges, 152566 markings/sec, 120 secs
lola: 19549192 markings, 112822705 edges, 163694 markings/sec, 125 secs
lola: 20277717 markings, 117041497 edges, 145705 markings/sec, 130 secs
lola: 21062857 markings, 121264175 edges, 157028 markings/sec, 135 secs
lola: 21883248 markings, 125627590 edges, 164078 markings/sec, 140 secs
lola: 22699202 markings, 129992099 edges, 163191 markings/sec, 145 secs
lola: 23372020 markings, 134271750 edges, 134564 markings/sec, 150 secs
lola: 23989988 markings, 138318497 edges, 123594 markings/sec, 155 secs
lola: 24607124 markings, 142409593 edges, 123427 markings/sec, 160 secs
lola: 25237090 markings, 146552135 edges, 125993 markings/sec, 165 secs
lola: 25869433 markings, 150808641 edges, 126469 markings/sec, 170 secs
lola: 26481436 markings, 155416726 edges, 122401 markings/sec, 175 secs
lola: 27145549 markings, 160137105 edges, 132823 markings/sec, 180 secs
lola: 27849098 markings, 164653965 edges, 140710 markings/sec, 185 secs
lola: 28495553 markings, 168725185 edges, 129291 markings/sec, 190 secs
lola: 29150839 markings, 172852060 edges, 131057 markings/sec, 195 secs
lola: 29798324 markings, 176962763 edges, 129497 markings/sec, 200 secs
lola: 30431646 markings, 181525659 edges, 126664 markings/sec, 205 secs
lola: 31005416 markings, 185907401 edges, 114754 markings/sec, 210 secs
lola: 31528417 markings, 190045149 edges, 104600 markings/sec, 215 secs
lola: 32058560 markings, 194638761 edges, 106029 markings/sec, 220 secs
lola: 32706296 markings, 199164254 edges, 129547 markings/sec, 225 secs
lola: 33325052 markings, 203399527 edges, 123751 markings/sec, 230 secs
lola: 33931494 markings, 207463047 edges, 121288 markings/sec, 235 secs
lola: 34544850 markings, 211577454 edges, 122671 markings/sec, 240 secs
lola: 35115539 markings, 215497311 edges, 114138 markings/sec, 245 secs
lola: 35743144 markings, 219682437 edges, 125521 markings/sec, 250 secs
lola: 36367508 markings, 224001598 edges, 124873 markings/sec, 255 secs
lola: 37010971 markings, 228582428 edges, 128693 markings/sec, 260 secs
lola: 37593716 markings, 233121830 edges, 116549 markings/sec, 265 secs
lola: 38096676 markings, 237363545 edges, 100592 markings/sec, 270 secs
lola: 38609233 markings, 241711359 edges, 102511 markings/sec, 275 secs
lola: 39144371 markings, 246297564 edges, 107028 markings/sec, 280 secs
lola: 39702935 markings, 251132787 edges, 111713 markings/sec, 285 secs
lola: 40230872 markings, 255435575 edges, 105587 markings/sec, 290 secs
lola: 40753836 markings, 259757953 edges, 104593 markings/sec, 295 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown yes unknown unknown unknown no unknown yes unknown unknown no unknown unknown unknown
lola: memory consumption: 3064044 KB
lola: time consumption: 1146 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 8 will run for 303 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F ((A (F (FIREABLE(t6_7))) AND FIREABLE(t19_25))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:732
lola: rewrite Frontend/Parser/formula_rewrite.k:719
lola: processed formula: E(TRUE U (A(TRUE U FIREABLE(t6_7)) AND FIREABLE(t19_25)))
lola: processed formula length: 57
lola: 22 rewrites
lola: closed formula file DNAwalker-PT-06track28RL-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: 622713 markings, 3146866 edges, 124543 markings/sec, 0 secs
lola: 1217500 markings, 6201119 edges, 118957 markings/sec, 5 secs
lola: 1815404 markings, 9304456 edges, 119581 markings/sec, 10 secs
lola: 2411278 markings, 12478670 edges, 119175 markings/sec, 15 secs
lola: 3017286 markings, 15750496 edges, 121202 markings/sec, 20 secs
lola: 3541198 markings, 19298380 edges, 104782 markings/sec, 25 secs
lola: 4078497 markings, 23061421 edges, 107460 markings/sec, 30 secs
lola: 4635264 markings, 26866278 edges, 111353 markings/sec, 35 secs
lola: 5173600 markings, 30790893 edges, 107667 markings/sec, 40 secs
lola: 5705127 markings, 34646580 edges, 106305 markings/sec, 45 secs
lola: 6221024 markings, 38302682 edges, 103179 markings/sec, 50 secs
lola: 6754380 markings, 42083913 edges, 106671 markings/sec, 55 secs
lola: 7210976 markings, 46009024 edges, 91319 markings/sec, 60 secs
lola: 7675132 markings, 50066779 edges, 92831 markings/sec, 65 secs
lola: 8177018 markings, 54242456 edges, 100377 markings/sec, 70 secs
lola: 8730016 markings, 58156555 edges, 110600 markings/sec, 75 secs
lola: 9295516 markings, 62118863 edges, 113100 markings/sec, 80 secs
lola: 9809491 markings, 66218802 edges, 102795 markings/sec, 85 secs
lola: 10298875 markings, 70500552 edges, 97877 markings/sec, 90 secs
lola: 10756089 markings, 74615715 edges, 91443 markings/sec, 95 secs
lola: 11225807 markings, 78834759 edges, 93944 markings/sec, 100 secs
lola: 11717295 markings, 83034816 edges, 98298 markings/sec, 105 secs
lola: 12140612 markings, 87417002 edges, 84663 markings/sec, 110 secs
lola: 12604129 markings, 91545332 edges, 92703 markings/sec, 115 secs
lola: 13192846 markings, 94864739 edges, 117743 markings/sec, 120 secs
lola: 13757674 markings, 98139429 edges, 112966 markings/sec, 125 secs
lola: 14311745 markings, 101335036 edges, 110814 markings/sec, 130 secs
lola: 14861586 markings, 104486795 edges, 109968 markings/sec, 135 secs
lola: 15405211 markings, 107638004 edges, 108725 markings/sec, 140 secs
lola: 15941958 markings, 110806713 edges, 107349 markings/sec, 145 secs
lola: 16476173 markings, 113946741 edges, 106843 markings/sec, 150 secs
lola: 17035528 markings, 117213496 edges, 111871 markings/sec, 155 secs
lola: 17577926 markings, 120410829 edges, 108480 markings/sec, 160 secs
lola: 18105211 markings, 123504332 edges, 105457 markings/sec, 165 secs
lola: 18620162 markings, 126595008 edges, 102990 markings/sec, 170 secs
lola: 19169854 markings, 129727774 edges, 109938 markings/sec, 175 secs
lola: 19691962 markings, 133061546 edges, 104422 markings/sec, 180 secs
lola: 20219809 markings, 136491342 edges, 105569 markings/sec, 185 secs
lola: 20755004 markings, 139821503 edges, 107039 markings/sec, 190 secs
lola: 21332048 markings, 143420186 edges, 115409 markings/sec, 195 secs
lola: 21890975 markings, 146967898 edges, 111785 markings/sec, 200 secs
lola: 22450668 markings, 150521588 edges, 111939 markings/sec, 205 secs
lola: 22980894 markings, 154163120 edges, 106045 markings/sec, 210 secs
lola: 23459249 markings, 157744974 edges, 95671 markings/sec, 215 secs
lola: 23923503 markings, 161195986 edges, 92851 markings/sec, 220 secs
lola: 24379656 markings, 164660724 edges, 91231 markings/sec, 225 secs
lola: 24862513 markings, 168322264 edges, 96571 markings/sec, 230 secs
lola: 25303018 markings, 171674035 edges, 88101 markings/sec, 235 secs
lola: 25766371 markings, 175143528 edges, 92671 markings/sec, 240 secs
lola: 26225584 markings, 179012677 edges, 91843 markings/sec, 245 secs
lola: 26713535 markings, 182920367 edges, 97590 markings/sec, 250 secs
lola: 27210586 markings, 186936110 edges, 99410 markings/sec, 255 secs
lola: 27721107 markings, 190716152 edges, 102104 markings/sec, 260 secs
lola: 28200137 markings, 194150541 edges, 95806 markings/sec, 265 secs
lola: 28654000 markings, 197465478 edges, 90773 markings/sec, 270 secs
lola: 29131176 markings, 200925332 edges, 95435 markings/sec, 275 secs
lola: 29591163 markings, 204285774 edges, 91997 markings/sec, 280 secs
lola: 30088634 markings, 208109442 edges, 99494 markings/sec, 285 secs
lola: 30604599 markings, 212188572 edges, 103193 markings/sec, 290 secs
lola: 31016613 markings, 215814325 edges, 82403 markings/sec, 295 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown yes unknown unknown unknown no unknown yes unknown unknown no unknown unknown unknown
lola: memory consumption: 2345736 KB
lola: time consumption: 1449 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 9 will run for 303 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F ((A (F ((FIREABLE(t23_26) OR FIREABLE(t22_21)))) AND FIREABLE(t15_16))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:732
lola: rewrite Frontend/Parser/formula_rewrite.k:732
lola: processed formula: A(TRUE U (A(TRUE U (FIREABLE(t23_26) OR FIREABLE(t22_21))) AND FIREABLE(t15_16)))
lola: processed formula length: 82
lola: 22 rewrites
lola: closed formula file DNAwalker-PT-06track28RL-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 2 significant temporal operators and needs 9 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: SUBRESULT
lola: result: no
lola: produced by: CTL model checker
lola: The net does not satisfy the given formula.
lola: 10 markings, 30 edges
lola: ========================================
FORMULA DNAwalker-PT-06track28RL-CTLFireability-0 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 10 will run for 353 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (((NOT FIREABLE(t7_13) AND NOT FIREABLE(t12_11) AND (NOT FIREABLE(t9_10) OR NOT FIREABLE(t5_9))) R E (G (NOT FIREABLE(t11_10)))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:724
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: rewrite Frontend/Parser/formula_rewrite.k:312
lola: processed formula: NOT(E((FIREABLE(t7_13) OR FIREABLE(t12_11) OR (FIREABLE(t9_10) AND FIREABLE(t5_9))) U A(TRUE U FIREABLE(t11_10))))
lola: processed formula length: 116
lola: 25 rewrites
lola: closed formula file DNAwalker-PT-06track28RL-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 2 significant temporal operators and needs 9 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: SUBRESULT
lola: result: yes
lola: produced by: CTL model checker
lola: The net satisfies the given formula.
lola: 10 markings, 11 edges
FORMULA DNAwalker-PT-06track28RL-CTLFireability-11 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: lola: subprocess 11 will run for 424 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (G ((A (G (NOT FIREABLE(t7_6))) OR E ((FIREABLE(t19_20) U FIREABLE(tAb18))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:737
lola: rewrite Frontend/Parser/formula_rewrite.k:726
lola: rewrite Frontend/Parser/formula_rewrite.k:724
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:318
lola: rewrite Frontend/Parser/formula_rewrite.k:312
========================================
lola: processed formula: NOT(A(TRUE U (E(TRUE U FIREABLE(t7_6)) AND NOT(E(FIREABLE(t19_20) U FIREABLE(tAb18))))))
lola: processed formula length: 88
lola: 26 rewrites
lola: closed formula file DNAwalker-PT-06track28RL-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: 1163126 markings, 3598128 edges, 232625 markings/sec, 0 secs
lola: 2276476 markings, 7220350 edges, 222670 markings/sec, 5 secs
lola: 3280192 markings, 10977401 edges, 200743 markings/sec, 10 secs
lola: 4062297 markings, 14849477 edges, 156421 markings/sec, 15 secs
lola: 4930072 markings, 19013888 edges, 173555 markings/sec, 20 secs
lola: 5711133 markings, 23288823 edges, 156212 markings/sec, 25 secs
lola: 6488386 markings, 27230632 edges, 155451 markings/sec, 30 secs
lola: 7156357 markings, 31242750 edges, 133594 markings/sec, 35 secs
lola: 7794030 markings, 35527797 edges, 127535 markings/sec, 40 secs
lola: 8530639 markings, 39718621 edges, 147322 markings/sec, 45 secs
lola: 9337724 markings, 43770595 edges, 161417 markings/sec, 50 secs
lola: 10003104 markings, 47906297 edges, 133076 markings/sec, 55 secs
lola: 10655352 markings, 52329758 edges, 130450 markings/sec, 60 secs
lola: 11244999 markings, 56543059 edges, 117929 markings/sec, 65 secs
lola: 11864727 markings, 60877542 edges, 123946 markings/sec, 70 secs
lola: 12389896 markings, 65271344 edges, 105034 markings/sec, 75 secs
lola: 13349715 markings, 69097087 edges, 191964 markings/sec, 80 secs
lola: 14261643 markings, 72553401 edges, 182386 markings/sec, 85 secs
lola: 15191748 markings, 75993549 edges, 186021 markings/sec, 90 secs
lola: 16043282 markings, 79344758 edges, 170307 markings/sec, 95 secs
lola: 16926822 markings, 82758740 edges, 176708 markings/sec, 100 secs
lola: 17834933 markings, 86313780 edges, 181622 markings/sec, 105 secs
lola: 18662174 markings, 89594130 edges, 165448 markings/sec, 110 secs
lola: 19569220 markings, 93154280 edges, 181409 markings/sec, 115 secs
lola: 20423806 markings, 97014456 edges, 170917 markings/sec, 120 secs
lola: 21361818 markings, 100962662 edges, 187602 markings/sec, 125 secs
lola: 22271284 markings, 104920435 edges, 181893 markings/sec, 130 secs
lola: 23081371 markings, 108810639 edges, 162017 markings/sec, 135 secs
lola: 23738355 markings, 112405125 edges, 131397 markings/sec, 140 secs
lola: 24372936 markings, 115921757 edges, 126916 markings/sec, 145 secs
lola: 25035733 markings, 119620421 edges, 132559 markings/sec, 150 secs
lola: 25686469 markings, 123269697 edges, 130147 markings/sec, 155 secs
lola: 26341287 markings, 127322554 edges, 130964 markings/sec, 160 secs
lola: 27044869 markings, 131557213 edges, 140716 markings/sec, 165 secs
lola: 27797375 markings, 135726138 edges, 150501 markings/sec, 170 secs
lola: 28511076 markings, 139473305 edges, 142740 markings/sec, 175 secs
lola: 29235048 markings, 143285942 edges, 144794 markings/sec, 180 secs
lola: 29953252 markings, 147161974 edges, 143641 markings/sec, 185 secs
lola: 30680703 markings, 151563780 edges, 145490 markings/sec, 190 secs
lola: 31244033 markings, 155418423 edges, 112666 markings/sec, 195 secs
lola: 31828887 markings, 159547506 edges, 116971 markings/sec, 200 secs
lola: 32495394 markings, 163960380 edges, 133301 markings/sec, 205 secs
lola: 33189604 markings, 167917952 edges, 138842 markings/sec, 210 secs
lola: 33856682 markings, 171640342 edges, 133416 markings/sec, 215 secs
lola: 34518540 markings, 175535636 edges, 132372 markings/sec, 220 secs
lola: 35171757 markings, 179354481 edges, 130643 markings/sec, 225 secs
lola: 35863987 markings, 183284368 edges, 138446 markings/sec, 230 secs
lola: 36560960 markings, 187447118 edges, 139395 markings/sec, 235 secs
lola: 37258707 markings, 191702227 edges, 139549 markings/sec, 240 secs
lola: 37804646 markings, 195737410 edges, 109188 markings/sec, 245 secs
lola: 38333189 markings, 199643334 edges, 105709 markings/sec, 250 secs
lola: 38865798 markings, 203622481 edges, 106522 markings/sec, 255 secs
lola: 39425383 markings, 207971784 edges, 111917 markings/sec, 260 secs
lola: 40014088 markings, 212291990 edges, 117741 markings/sec, 265 secs
lola: 40574151 markings, 216342972 edges, 112013 markings/sec, 270 secs
lola: 41159465 markings, 220617275 edges, 117063 markings/sec, 275 secs
lola: 41637117 markings, 224746611 edges, 95530 markings/sec, 280 secs
lola: 42179006 markings, 229005925 edges, 108378 markings/sec, 285 secs
lola: 42849456 markings, 232796188 edges, 134090 markings/sec, 290 secs
lola: 43481875 markings, 236469977 edges, 126484 markings/sec, 295 secs
lola: 44112658 markings, 240082603 edges, 126157 markings/sec, 300 secs
lola: 44764724 markings, 243831259 edges, 130413 markings/sec, 305 secs
lola: 45419136 markings, 247493592 edges, 130882 markings/sec, 310 secs
lola: 46076160 markings, 251276942 edges, 131405 markings/sec, 315 secs
lola: 46764623 markings, 255422895 edges, 137693 markings/sec, 320 secs
lola: 47443745 markings, 259597840 edges, 135824 markings/sec, 325 secs
lola: 47958769 markings, 263416369 edges, 103005 markings/sec, 330 secs
lola: 48455294 markings, 267097924 edges, 99305 markings/sec, 335 secs
lola: 48963655 markings, 270866875 edges, 101672 markings/sec, 340 secs
lola: 49494463 markings, 274905409 edges, 106162 markings/sec, 345 secs
lola: 50069202 markings, 279315691 edges, 114948 markings/sec, 350 secs
lola: 50625032 markings, 283329146 edges, 111166 markings/sec, 355 secs
lola: 51202861 markings, 287386365 edges, 115566 markings/sec, 360 secs
lola: 51773717 markings, 291756485 edges, 114171 markings/sec, 365 secs
lola: 52230757 markings, 295762560 edges, 91408 markings/sec, 370 secs
lola: 52754629 markings, 300201480 edges, 104774 markings/sec, 375 secs
lola: 53294894 markings, 304328496 edges, 108053 markings/sec, 380 secs
lola: 53845859 markings, 308409310 edges, 110193 markings/sec, 385 secs
lola: 54416206 markings, 312462171 edges, 114069 markings/sec, 390 secs
lola: 54995089 markings, 316536130 edges, 115777 markings/sec, 395 secs
lola: 55573501 markings, 320931143 edges, 115682 markings/sec, 400 secs
lola: 56040556 markings, 325128419 edges, 93411 markings/sec, 405 secs
lola: 56492795 markings, 329189631 edges, 90448 markings/sec, 410 secs
lola: 56968926 markings, 333428546 edges, 95226 markings/sec, 415 secs
lola: local time limit reached - aborting
lola:
preliminary result: no unknown unknown yes unknown unknown unknown no unknown yes unknown yes no unknown unknown unknown
lola: memory consumption: 4272364 KB
lola: time consumption: 1873 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 12 will run for 424 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A ((A (F (NOT FIREABLE(t6_5))) U ((FIREABLE(t6_4) OR FIREABLE(t13_20) OR FIREABLE(t9_6)) OR A (F (FIREABLE(t19_13))))))
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:739
lola: processed formula: A(A(TRUE U NOT FIREABLE(t6_5)) U ((FIREABLE(t6_4) OR FIREABLE(t13_20) OR FIREABLE(t9_6)) OR A(TRUE U FIREABLE(t19_13))))
lola: processed formula length: 122
lola: 23 rewrites
lola: closed formula file DNAwalker-PT-06track28RL-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: 10 markings, 40 edges
lola:
FORMULA DNAwalker-PT-06track28RL-CTLFireability-15 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
========================================
lola: subprocess 13 will run for 565 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (A (F (E ((FIREABLE(t12_24) U FIREABLE(t19_6))))) AND E (F (FIREABLE(t23_10))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 13 will run for 565 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F (FIREABLE(t23_10)))
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(t23_10)))
lola: processed formula length: 24
lola: 21 rewrites
lola: closed formula file DNAwalker-PT-06track28RL-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(t23_10)
lola: state equation: Generated DNF with 2 literals and 1 conjunctive subformulas
lola: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: The predicate is reachable.
lola: 7 markings, 6 edges
lola: state equation: write sara problem file to DNAwalker-PT-06track28RL-CTLFireability-13-0.sara
lola: state equation: calling and running sara
lola: ========================================
lola: subprocess 14 will run for 848 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F (E ((FIREABLE(t12_24) U FIREABLE(t19_6)))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:726
lola: rewrite Frontend/Parser/formula_rewrite.k:732
lola: processed formula: A(TRUE U E(FIREABLE(t12_24) U FIREABLE(t19_6)))
lola: processed formula length: 47
lola: 22 rewrites
lola: closed formula file DNAwalker-PT-06track28RL-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 2 significant temporal operators and needs 9 bytes of payload
lola: Ignoring fairness constraints (--fair).
sara: lola: SUBRESULT
lola: result: no
lola: produced by: CTL model checker
lola: try reading problem file DNAwalker-PT-06track28RL-CTLFireability-13-0.sara. The net does not satisfy the given formula.
lola: 10 markings, 20 edges
lola: SUBRESULT
lola: result: no
lola: The Boolean predicate is false.
lola: ========================================
lola: ========================================
FORMULA DNAwalker-PT-06track28RL-CTLFireability-14 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 14 will run for 848 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (E ((FIREABLE(tAb5) U (FIREABLE(t18_19) AND FIREABLE(t10_21)))) OR (E (G (NOT FIREABLE(t13_15))) OR A (((FIREABLE(t16_8) AND FIREABLE(t9_12) AND FIREABLE(t13_14) AND FIREABLE(t10_21)) U ((FIREABLE(t10_3) AND FIREABLE(t26_12)) OR FIREABLE(t19_6))))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 14 will run for 848 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (G (NOT FIREABLE(t13_15)))
lola: ========================================
lola: SUBTASK
lola: checking possible preservation
lola: processed formula: E (G (NOT FIREABLE(t13_15)))
lola: processed formula length: 28
lola: 20 rewrites
lola: closed formula file DNAwalker-PT-06track28RL-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: 13 markings, 13 edges
lola: ========================================
lola: SUBRESULT
lola: result: yes
lola: The Boolean predicate is true.
lola: ========================================
FORMULA DNAwalker-PT-06track28RL-CTLFireability-8 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 15 will run for 1696 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: ((E (F (FIREABLE(t15_14))) AND A ((FIREABLE(t4_3) U FIREABLE(t11_21)))) OR (A (F (FIREABLE(t12_22))) OR ((FIREABLE(t4_7) OR (NOT FIREABLE(t10_2) AND NOT FIREABLE(t24_12))) AND (NOT FIREABLE(t9_6) OR (FIREABLE(t23_25) AND FIREABLE(t9_7) AND NOT FIREABLE(t26_28))) AND (NOT FIREABLE(t26_27) OR NOT FIREABLE(t24_27)) AND (NOT FIREABLE(t15_16) OR NOT FIREABLE(t26_24)) AND FIREABLE(t5_7))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 15 will run for 1696 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: ((FIREABLE(t4_7) OR (NOT FIREABLE(t10_2) AND NOT FIREABLE(t24_12))) AND (NOT FIREABLE(t9_6) OR (FIREABLE(t23_25) AND FIREABLE(t9_7) AND NOT FIREABLE(t26_28))) AND (NOT FIREABLE(t26_27) OR NOT FIREABLE(t24_27)) AND (NOT FIREABLE(t15_16) OR NOT FIREABLE(t26_24)) AND FIREABLE(t5_7))
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: ((FIREABLE(t4_7) OR (NOT FIREABLE(t10_2) AND NOT FIREABLE(t24_12))) AND (NOT FIREABLE(t9_6) OR (FIREABLE(t23_25) AND FIREABLE(t9_7) AND NOT FIREABLE(t26_28))) AND (NOT FIREABLE(t26_27) OR NOT FIREABLE(t24_27)) AND (NOT FIREABLE(t15_16) OR NOT FIREABLE(t26_24)) AND FIREABLE(t5_7))
lola: processed formula length: 284
lola: 20 rewrites
lola: closed formula file DNAwalker-PT-06track28RL-CTLFireability.task
lola: processed formula with 0 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: preprocessing
lola: The net violates the given property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 17 will run for 1 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F (FIREABLE(t15_14)))
lola: ========================================
lola: SUBTASK
lola: checking reachability
sara: place or transition ordering is non-deterministic
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:625
lola: processed formula: E (F (FIREABLE(t15_14)))
lola: processed formula length: 24
lola: 21 rewrites
lola: closed formula file DNAwalker-PT-06track28RL-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(t15_14)
lola: state equation: Generated DNF with 2 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to DNAwalker-PT-06track28RL-CTLFireability-17-0.sara
lola: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: The predicate is reachable.
lola: 8 markings, 7 edges
lola: ========================================
lola: subprocess 18 will run for 1 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A ((FIREABLE(t4_3) U FIREABLE(t11_21)))
lola: ========================================
lola: SUBTASK
lola: checking universal until
lola: rewrite Frontend/Parser/formula_rewrite.k:645
lola: rewrite Frontend/Parser/formula_rewrite.k:609
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: processed formula: A ((FIREABLE(t4_3) U FIREABLE(t11_21)))
lola: processed formula length: 39
lola: 24 rewrites
lola: closed formula file DNAwalker-PT-06track28RL-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space /ER)
lola: state space: using reachability graph (ER version) (--search=depth)
lola: state space: using ltl preserving stubborn set method (--stubborn=tarjan)
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: state space /ER
lola: Predicate Phi does not hild until Predicate Psi on all paths.
lola: 0 markings, 0 edges
lola: SUBRESULT
lola: result: unknown
lola: The Boolean predicate may be true or false.
lola: ========================================
lola: ========================================
lola: ========================================
lola: ...considering subproblem: E (((A (X (FIREABLE(t5_3))) OR (FIREABLE(t10_9) OR FIREABLE(t10_5) OR NOT FIREABLE(t26_24))) U A (G ((FIREABLE(t13_14) OR FIREABLE(t22_27))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:734
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: processed formula: E((AX(FIREABLE(t5_3)) OR (FIREABLE(t10_9) OR FIREABLE(t10_5) OR NOT FIREABLE(t26_24))) U NOT(E(TRUE U (NOT FIREABLE(t13_14) AND NOT FIREABLE(t22_27)))))
lola: processed formula length: 154
lola: 24 rewrites
lola: closed formula file DNAwalker-PT-06track28RL-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: 914543 markings, 3775993 edges, 182909 markings/sec, 0 secs
lola: 1778281 markings, 7450920 edges, 172748 markings/sec, 5 secs
lola: 2546162 markings, 11305867 edges, 153576 markings/sec, 10 secs
lola: 3216812 markings, 15356942 edges, 134130 markings/sec, 15 secs
lola: 3876887 markings, 19406660 edges, 132015 markings/sec, 20 secs
lola: 4602689 markings, 23432954 edges, 145160 markings/sec, 25 secs
lola: 5315466 markings, 27398541 edges, 142555 markings/sec, 30 secs
lola: 6045083 markings, 31427099 edges, 145923 markings/sec, 35 secs
lola: 6642231 markings, 35485218 edges, 119430 markings/sec, 40 secs
lola: 7229850 markings, 39700678 edges, 117524 markings/sec, 45 secs
lola: 7785384 markings, 43842543 edges, 111107 markings/sec, 50 secs
lola: 8443066 markings, 48030597 edges, 131536 markings/sec, 55 secs
lola: 9117475 markings, 52138651 edges, 134882 markings/sec, 60 secs
lola: 9666418 markings, 56374655 edges, 109789 markings/sec, 65 secs
lola: 10214882 markings, 60670908 edges, 109693 markings/sec, 70 secs
lola: 10800501 markings, 64905635 edges, 117124 markings/sec, 75 secs
lola: 11399739 markings, 69220895 edges, 119848 markings/sec, 80 secs
lola: 11888931 markings, 73522178 edges, 97838 markings/sec, 85 secs
lola: 12372307 markings, 77878579 edges, 96675 markings/sec, 90 secs
lola: 13130362 markings, 81800857 edges, 151611 markings/sec, 95 secs
lola: 13892390 markings, 85414064 edges, 152406 markings/sec, 100 secs
lola: 14618748 markings, 88957738 edges, 145272 markings/sec, 105 secs
lola: 15334088 markings, 92445608 edges, 143068 markings/sec, 110 secs
lola: 16081001 markings, 96115195 edges, 149383 markings/sec, 115 secs
lola: 16778239 markings, 99604273 edges, 139448 markings/sec, 120 secs
lola: 17505112 markings, 103272165 edges, 145375 markings/sec, 125 secs
lola: 18215058 markings, 106957179 edges, 141989 markings/sec, 130 secs
lola: 18956403 markings, 110697280 edges, 148269 markings/sec, 135 secs
lola: 19678371 markings, 114554928 edges, 144394 markings/sec, 140 secs
lola: 20328147 markings, 118373333 edges, 129955 markings/sec, 145 secs
lola: 20884729 markings, 122009390 edges, 111316 markings/sec, 150 secs
lola: 21442792 markings, 125702769 edges, 111613 markings/sec, 155 secs
lola: 21994386 markings, 129374584 edges, 110319 markings/sec, 160 secs
lola: 22564599 markings, 133303798 edges, 114043 markings/sec, 165 secs
lola: 23151334 markings, 137361683 edges, 117347 markings/sec, 170 secs
lola: 23756537 markings, 141368664 edges, 121041 markings/sec, 175 secs
lola: 24335268 markings, 144985217 edges, 115746 markings/sec, 180 secs
lola: 24925654 markings, 148687898 edges, 118077 markings/sec, 185 secs
lola: 25516298 markings, 152514568 edges, 118129 markings/sec, 190 secs
lola: 26084460 markings, 156519836 edges, 113632 markings/sec, 195 secs
lola: 26557566 markings, 160236742 edges, 94621 markings/sec, 200 secs
lola: 27091445 markings, 164402366 edges, 106776 markings/sec, 205 secs
lola: 27740030 markings, 168200385 edges, 129717 markings/sec, 210 secs
lola: 28349985 markings, 172047193 edges, 121991 markings/sec, 215 secs
lola: 28929843 markings, 175802306 edges, 115972 markings/sec, 220 secs
lola: 29543697 markings, 179352779 edges, 122771 markings/sec, 225 secs
lola: 30157956 markings, 183086612 edges, 122852 markings/sec, 230 secs
lola: 30771140 markings, 186888551 edges, 122637 markings/sec, 235 secs
lola: 31364853 markings, 190524498 edges, 118743 markings/sec, 240 secs
lola: 31976454 markings, 194271927 edges, 122320 markings/sec, 245 secs
lola: 32552966 markings, 198072759 edges, 115302 markings/sec, 250 secs
lola: 33176741 markings, 202026241 edges, 124755 markings/sec, 255 secs
lola: 33813897 markings, 206125105 edges, 127431 markings/sec, 260 secs
lola: 34455796 markings, 210312107 edges, 128380 markings/sec, 265 secs
lola: 35023302 markings, 214404728 edges, 113501 markings/sec, 270 secs
lola: 35493760 markings, 218216487 edges, 94092 markings/sec, 275 secs
lola: 35956487 markings, 221715977 edges, 92545 markings/sec, 280 secs
lola: 36430336 markings, 225462776 edges, 94770 markings/sec, 285 secs
lola: 36915518 markings, 229172625 edges, 97036 markings/sec, 290 secs
lola: 37400012 markings, 233248520 edges, 96899 markings/sec, 295 secs
lola: 37921456 markings, 237521107 edges, 104289 markings/sec, 300 secs
lola: 38440101 markings, 241539098 edges, 103729 markings/sec, 305 secs
lola: 38913938 markings, 245204216 edges, 94767 markings/sec, 310 secs
lola: 39404270 markings, 248877225 edges, 98066 markings/sec, 315 secs
lola: 39894156 markings, 252598328 edges, 97977 markings/sec, 320 secs
lola: 40405995 markings, 256679420 edges, 102368 markings/sec, 325 secs
lola: 40851888 markings, 260647825 edges, 89179 markings/sec, 330 secs
lola: 41270828 markings, 264508398 edges, 83788 markings/sec, 335 secs
lola: 41765762 markings, 268889060 edges, 98987 markings/sec, 340 secs
lola: 42375528 markings, 273048472 edges, 121953 markings/sec, 345 secs
lola: 42968739 markings, 277051393 edges, 118642 markings/sec, 350 secs
lola: 43570762 markings, 281092378 edges, 120405 markings/sec, 355 secs
lola: 44171233 markings, 284990227 edges, 120094 markings/sec, 360 secs
lola: 44753702 markings, 288851728 edges, 116494 markings/sec, 365 secs
lola: 45351356 markings, 292924567 edges, 119531 markings/sec, 370 secs
lola: 45908372 markings, 297033383 edges, 111403 markings/sec, 375 secs
lola: 46363753 markings, 300881442 edges, 91076 markings/sec, 380 secs
lola: 46816279 markings, 304659943 edges, 90505 markings/sec, 385 secs
lola: 47288839 markings, 308574423 edges, 94512 markings/sec, 390 secs
lola: 47773626 markings, 312743650 edges, 96957 markings/sec, 395 secs
lola: 48247363 markings, 316633603 edges, 94747 markings/sec, 400 secs
lola: 48702178 markings, 320216986 edges, 90963 markings/sec, 405 secs
lola: 49169553 markings, 324277823 edges, 93475 markings/sec, 410 secs
lola: 49579960 markings, 328219042 edges, 82081 markings/sec, 415 secs
lola: 50055307 markings, 332388604 edges, 95069 markings/sec, 420 secs
lola: 50570877 markings, 336249319 edges, 103114 markings/sec, 425 secs
lola: 51015312 markings, 339959227 edges, 88887 markings/sec, 430 secs
lola: 51523923 markings, 343860615 edges, 101722 markings/sec, 435 secs
lola: 52003640 markings, 347714339 edges, 95943 markings/sec, 440 secs
lola: 52552233 markings, 351664266 edges, 109719 markings/sec, 445 secs
lola: 53065836 markings, 355558753 edges, 102721 markings/sec, 450 secs
lola: 53581086 markings, 359697320 edges, 103050 markings/sec, 455 secs
lola: 54086388 markings, 363839669 edges, 101060 markings/sec, 460 secs
lola: 54508235 markings, 367692747 edges, 84369 markings/sec, 465 secs
lola: 54910374 markings, 371554243 edges, 80428 markings/sec, 470 secs
lola: 55318303 markings, 375455034 edges, 81586 markings/sec, 475 secs
lola: 55751041 markings, 379364972 edges, 86548 markings/sec, 480 secs
lola: 56174577 markings, 383487915 edges, 84707 markings/sec, 485 secs
lola: 56594202 markings, 387688115 edges, 83925 markings/sec, 490 secs
lola: 57012974 markings, 391485234 edges, 83754 markings/sec, 495 secs
lola: 57430807 markings, 395324397 edges, 83567 markings/sec, 500 secs
lola: 57858049 markings, 399263220 edges, 85448 markings/sec, 505 secs
lola: 58218952 markings, 403197721 edges, 72181 markings/sec, 510 secs
lola: 58578438 markings, 407067501 edges, 71897 markings/sec, 515 secs
lola: 59313087 markings, 410966157 edges, 146930 markings/sec, 520 secs
lola: 59970279 markings, 414502989 edges, 131438 markings/sec, 525 secs
lola: 60630281 markings, 417982727 edges, 132000 markings/sec, 530 secs
lola: 61316374 markings, 421631607 edges, 137219 markings/sec, 535 secs
lola: 62024503 markings, 425350395 edges, 141626 markings/sec, 540 secs
lola: 62724847 markings, 429174718 edges, 140069 markings/sec, 545 secs
lola: 63453978 markings, 433164013 edges, 145826 markings/sec, 550 secs
lola: 64113680 markings, 437138283 edges, 131940 markings/sec, 555 secs
lola: 64634557 markings, 440762486 edges, 104175 markings/sec, 560 secs
lola: 65143192 markings, 444336474 edges, 101727 markings/sec, 565 secs
lola: 65663517 markings, 448037179 edges, 104065 markings/sec, 570 secs
lola: 66250356 markings, 452231108 edges, 117368 markings/sec, 575 secs
lola: 66788996 markings, 455878592 edges, 107728 markings/sec, 580 secs
lola: 67344205 markings, 459674616 edges, 111042 markings/sec, 585 secs
lola: 67833553 markings, 463522586 edges, 97870 markings/sec, 590 secs
lola: 68391257 markings, 467657662 edges, 111541 markings/sec, 595 secs
lola: 68992915 markings, 471484002 edges, 120332 markings/sec, 600 secs
lola: 69522534 markings, 474974329 edges, 105924 markings/sec, 605 secs
lola: 70040218 markings, 478409760 edges, 103537 markings/sec, 610 secs
lola: 70593300 markings, 482015889 edges, 110616 markings/sec, 615 secs
lola: 71137172 markings, 485704864 edges, 108774 markings/sec, 620 secs
lola: 71726890 markings, 489520281 edges, 117944 markings/sec, 625 secs
lola: 72311727 markings, 493547175 edges, 116967 markings/sec, 630 secs
lola: 72940022 markings, 497687870 edges, 125659 markings/sec, 635 secs
lola: 73528025 markings, 501822890 edges, 117601 markings/sec, 640 secs
lola: 74001041 markings, 505683698 edges, 94603 markings/sec, 645 secs
lola: 74469920 markings, 509496424 edges, 93776 markings/sec, 650 secs
lola: 74933580 markings, 513283076 edges, 92732 markings/sec, 655 secs
lola: 75401278 markings, 517271825 edges, 93540 markings/sec, 660 secs
lola: 75875326 markings, 521242897 edges, 94810 markings/sec, 665 secs
lola: 76316924 markings, 524786494 edges, 88320 markings/sec, 670 secs
lola: 76787765 markings, 528582409 edges, 94168 markings/sec, 675 secs
lola: 77243971 markings, 532600591 edges, 91241 markings/sec, 680 secs
lola: 77661465 markings, 536515835 edges, 83499 markings/sec, 685 secs
lola: 78201282 markings, 540351268 edges, 107963 markings/sec, 690 secs
lola: 78745818 markings, 544261882 edges, 108907 markings/sec, 695 secs
lola: 79296320 markings, 548216381 edges, 110100 markings/sec, 700 secs
lola: 79849447 markings, 552030267 edges, 110625 markings/sec, 705 secs
lola: 80426086 markings, 556178085 edges, 115328 markings/sec, 710 secs
lola: 80870735 markings, 559973546 edges, 88930 markings/sec, 715 secs
lola: 81291537 markings, 563603917 edges, 84160 markings/sec, 720 secs
lola: 81699383 markings, 567238156 edges, 81569 markings/sec, 725 secs
lola: 82098436 markings, 570761734 edges, 79811 markings/sec, 730 secs
lola: 82565492 markings, 574773662 edges, 93411 markings/sec, 735 secs
lola: 82967347 markings, 578650010 edges, 80371 markings/sec, 740 secs
lola: 83448522 markings, 582651961 edges, 96235 markings/sec, 745 secs
lola: 83921605 markings, 586722034 edges, 94617 markings/sec, 750 secs
lola: 84365695 markings, 590395583 edges, 88818 markings/sec, 755 secs
lola: 84872990 markings, 594333281 edges, 101459 markings/sec, 760 secs
lola: 85351843 markings, 598334433 edges, 95771 markings/sec, 765 secs
lola: 85862810 markings, 602604678 edges, 102193 markings/sec, 770 secs
lola: 86308077 markings, 606756641 edges, 89053 markings/sec, 775 secs
lola: 86676314 markings, 610480609 edges, 73647 markings/sec, 780 secs
lola: 87089461 markings, 614459732 edges, 82629 markings/sec, 785 secs
lola: 87493588 markings, 618513661 edges, 80825 markings/sec, 790 secs
lola: 87892283 markings, 622481224 edges, 79739 markings/sec, 795 secs
lola: 88299138 markings, 626354352 edges, 81371 markings/sec, 800 secs
lola: 88659488 markings, 630343532 edges, 72070 markings/sec, 805 secs
lola: 89314425 markings, 634416435 edges, 130987 markings/sec, 810 secs
lola: 89930838 markings, 637826692 edges, 123283 markings/sec, 815 secs
lola: 90537763 markings, 641521258 edges, 121385 markings/sec, 820 secs
lola: 91193623 markings, 645075054 edges, 131172 markings/sec, 825 secs
lola: 91856658 markings, 648533125 edges, 132607 markings/sec, 830 secs
lola: 92435991 markings, 652232307 edges, 115867 markings/sec, 835 secs
lola: 93045479 markings, 655835990 edges, 121898 markings/sec, 840 secs
lola: 93582363 markings, 658974242 edges, 107377 markings/sec, 845 secs
lola: 94126855 markings, 662095030 edges, 108898 markings/sec, 850 secs
lola: 94692687 markings, 665494343 edges, 113166 markings/sec, 855 secs
lola: 95307636 markings, 669082079 edges, 122990 markings/sec, 860 secs
lola: 95909928 markings, 672505667 edges, 120458 markings/sec, 865 secs
lola: 96518269 markings, 675790966 edges, 121668 markings/sec, 870 secs
lola: 97057473 markings, 679255723 edges, 107841 markings/sec, 875 secs
lola: 97583659 markings, 682398948 edges, 105237 markings/sec, 880 secs
lola: 98201068 markings, 685996615 edges, 123482 markings/sec, 885 secs
lola: 98809238 markings, 689624086 edges, 121634 markings/sec, 890 secs
lola: 99453628 markings, 693278101 edges, 128878 markings/sec, 895 secs
lola: 100043613 markings, 696874403 edges, 117997 markings/sec, 900 secs
lola: 100621539 markings, 700215276 edges, 115585 markings/sec, 905 secs
lola: 101141831 markings, 703450321 edges, 104058 markings/sec, 910 secs
lola: 101729684 markings, 706778085 edges, 117571 markings/sec, 915 secs
lola: 102255260 markings, 710125588 edges, 105115 markings/sec, 920 secs
lola: 102901454 markings, 713701549 edges, 129239 markings/sec, 925 secs
lola: 103570700 markings, 717128435 edges, 133849 markings/sec, 930 secs
lola: 104133673 markings, 720883873 edges, 112595 markings/sec, 935 secs
lola: 104669996 markings, 724716255 edges, 107265 markings/sec, 940 secs
lola: 105253365 markings, 728416871 edges, 116674 markings/sec, 945 secs
lola: 105905971 markings, 732256198 edges, 130521 markings/sec, 950 secs
lola: 106535423 markings, 736062630 edges, 125890 markings/sec, 955 secs
lola: 107088721 markings, 739394370 edges, 110660 markings/sec, 960 secs
lola: 107747886 markings, 743216948 edges, 131833 markings/sec, 965 secs
lola: 108409755 markings, 746976848 edges, 132374 markings/sec, 970 secs
lola: 109050988 markings, 751080138 edges, 128247 markings/sec, 975 secs
lola: 109681435 markings, 754817898 edges, 126089 markings/sec, 980 secs
lola: 110323433 markings, 758686857 edges, 128400 markings/sec, 985 secs
lola: 110954030 markings, 762678114 edges, 126119 markings/sec, 990 secs
lola: 111542093 markings, 766375932 edges, 117613 markings/sec, 995 secs
lola: 112200260 markings, 770153191 edges, 131633 markings/sec, 1000 secs
lola: 112712747 markings, 773928108 edges, 102497 markings/sec, 1005 secs
lola: 113184515 markings, 777493889 edges, 94354 markings/sec, 1010 secs
lola: 113692345 markings, 781128198 edges, 101566 markings/sec, 1015 secs
lola: 114129682 markings, 784520075 edges, 87467 markings/sec, 1020 secs
lola: 114563190 markings, 787726341 edges, 86702 markings/sec, 1025 secs
lola: 115006058 markings, 791075562 edges, 88574 markings/sec, 1030 secs
lola: 115479150 markings, 794631399 edges, 94618 markings/sec, 1035 secs
lola: 115889721 markings, 797767264 edges, 82114 markings/sec, 1040 secs
lola: 116335161 markings, 801128076 edges, 89088 markings/sec, 1045 secs
lola: 116818944 markings, 804794392 edges, 96757 markings/sec, 1050 secs
lola: 117308459 markings, 808499033 edges, 97903 markings/sec, 1055 secs
lola: 117751955 markings, 811840297 edges, 88699 markings/sec, 1060 secs
lola: 118203376 markings, 815343660 edges, 90284 markings/sec, 1065 secs
lola: 118663647 markings, 818795871 edges, 92054 markings/sec, 1070 secs
lola: 119168633 markings, 822533394 edges, 100997 markings/sec, 1075 secs
lola: 119587667 markings, 826149547 edges, 83807 markings/sec, 1080 secs
lola: 120104441 markings, 830170344 edges, 103355 markings/sec, 1085 secs
lola: 120623098 markings, 834118484 edges, 103731 markings/sec, 1090 secs
lola: 121098169 markings, 837781962 edges, 95014 markings/sec, 1095 secs
lola: 121589741 markings, 841671898 edges, 98314 markings/sec, 1100 secs
lola: 122101151 markings, 845617378 edges, 102282 markings/sec, 1105 secs
lola: 122621823 markings, 849752211 edges, 104134 markings/sec, 1110 secs
lola: 123114656 markings, 853640514 edges, 98567 markings/sec, 1115 secs
lola: 123626244 markings, 857353732 edges, 102318 markings/sec, 1120 secs
lola: 124136463 markings, 860952650 edges, 102044 markings/sec, 1125 secs
lola: 124629738 markings, 864511459 edges, 98655 markings/sec, 1130 secs
lola: 125128854 markings, 868175653 edges, 99823 markings/sec, 1135 secs
lola: 125565233 markings, 871315740 edges, 87276 markings/sec, 1140 secs
lola: 126023403 markings, 874525946 edges, 91634 markings/sec, 1145 secs
lola: 126452781 markings, 877750967 edges, 85876 markings/sec, 1150 secs
lola: 126918964 markings, 881129382 edges, 93237 markings/sec, 1155 secs
lola: 127419877 markings, 884760639 edges, 100183 markings/sec, 1160 secs
lola: 127880830 markings, 888097350 edges, 92191 markings/sec, 1165 secs
lola: 128355287 markings, 891557349 edges, 94891 markings/sec, 1170 secs
lola: 128782941 markings, 894692890 edges, 85531 markings/sec, 1175 secs
lola: 129282535 markings, 898275137 edges, 99919 markings/sec, 1180 secs
lola: 129759661 markings, 901739317 edges, 95425 markings/sec, 1185 secs
lola: 130231177 markings, 905355541 edges, 94303 markings/sec, 1190 secs
lola: 130742997 markings, 909376881 edges, 102364 markings/sec, 1195 secs
lola: 131290605 markings, 913440337 edges, 109522 markings/sec, 1200 secs
lola: 131843673 markings, 917476749 edges, 110614 markings/sec, 1205 secs
lola: 132373674 markings, 921413244 edges, 106000 markings/sec, 1210 secs
lola: 132766317 markings, 924882916 edges, 78529 markings/sec, 1215 secs
lola: 133151803 markings, 928225984 edges, 77097 markings/sec, 1220 secs
lola: 133522805 markings, 931553575 edges, 74200 markings/sec, 1225 secs
lola: 133909950 markings, 934992381 edges, 77429 markings/sec, 1230 secs
lola: 134329487 markings, 938713403 edges, 83907 markings/sec, 1235 secs
lola: 134712580 markings, 942134781 edges, 76619 markings/sec, 1240 secs
lola: 135147220 markings, 946007431 edges, 86928 markings/sec, 1245 secs
lola: 135601797 markings, 950230603 edges, 90915 markings/sec, 1250 secs
lola: 136058903 markings, 954398800 edges, 91421 markings/sec, 1255 secs
lola: 136581110 markings, 958707711 edges, 104441 markings/sec, 1260 secs
lola: 137095362 markings, 962852315 edges, 102850 markings/sec, 1265 secs
lola: 137616183 markings, 966673659 edges, 104164 markings/sec, 1270 secs
lola: 138212963 markings, 970064760 edges, 119356 markings/sec, 1275 secs
lola: 138746515 markings, 973584028 edges, 106710 markings/sec, 1280 secs
lola: 139227248 markings, 977160979 edges, 96147 markings/sec, 1285 secs
lola: 139719843 markings, 980966553 edges, 98519 markings/sec, 1290 secs
lola: 140233491 markings, 984603009 edges, 102730 markings/sec, 1295 secs
lola: 140750168 markings, 988188944 edges, 103335 markings/sec, 1300 secs
lola: 141295002 markings, 991928368 edges, 108967 markings/sec, 1305 secs
lola: 141743305 markings, 995413765 edges, 89661 markings/sec, 1310 secs
lola: 142197318 markings, 998941807 edges, 90803 markings/sec, 1315 secs
lola: 142575937 markings, 1001762500 edges, 75724 markings/sec, 1320 secs
lola: 142585843 markings, 1001846374 edges, 1981 markings/sec, 1325 secs
lola: 142598646 markings, 1001951948 edges, 2561 markings/sec, 1330 secs
lola: 142620052 markings, 1002133028 edges, 4281 markings/sec, 1335 secs
lola: 142627751 markings, 1002172888 edges, 1540 markings/sec, 1340 secs
lola: 142636108 markings, 1002221402 edges, 1671 markings/sec, 1345 secs
lola: 142656900 markings, 1002364577 edges, 4158 markings/sec, 1350 secs
lola: 142659300 markings, 1002381237 edges, 480 markings/sec, 1355 secs
lola: 142668633 markings, 1002461454 edges, 1867 markings/sec, 1360 secs
lola: 142673550 markings, 1002495161 edges, 983 markings/sec, 1365 secs
lola: 142676555 markings, 1002515040 edges, 601 markings/sec, 1370 secs
lola: 142699019 markings, 1002699617 edges, 4493 markings/sec, 1375 secs
lola: Child process aborted or communication problem between parent and child process
FORMULA DNAwalker-PT-06track28RL-CTLFireability-6 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: ...considering subproblem: E (F ((FIREABLE(t2_4) AND FIREABLE(t6_13))))
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(t2_4) AND FIREABLE(t6_13))))
lola: processed formula length: 44
lola: 21 rewrites
lola: closed formula file DNAwalker-PT-06track28RL-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(t2_4) AND FIREABLE(t6_13))
lola: state equation: Generated DNF with 4 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to DNAwalker-PT-06track28RL-CTLFireability-17-0.sara
lola: state equation: calling and running sara
sara: try reading problem file DNAwalker-PT-06track28RL-CTLFireability-17-0.sara.
sara: place or transition ordering is non-deterministic
lola: sara is running 0 secs || 837154 markings, 1581183 edges, 167431 markings/sec, 0 secs
lola: sara is running 5 secs || 1535410 markings, 3379170 edges, 139651 markings/sec, 5 secs
lola: sara is running 10 secs || 2172523 markings, 5284836 edges, 127423 markings/sec, 10 secs
lola: sara is running 15 secs || 2651222 markings, 7034360 edges, 95740 markings/sec, 15 secs
lola: sara is running 20 secs || 3139773 markings, 8875212 edges, 97710 markings/sec, 20 secs
lola: sara is running 25 secs || 3644145 markings, 10602411 edges, 100874 markings/sec, 25 secs
lola: sara is running 30 secs || 4335948 markings, 12200877 edges, 138361 markings/sec, 30 secs
lola: sara is running 35 secs || 4976652 markings, 14159973 edges, 128141 markings/sec, 35 secs
lola: sara is running 40 secs || 5693213 markings, 15664165 edges, 143312 markings/sec, 40 secs
lola: sara is running 45 secs || 6350571 markings, 17473757 edges, 131472 markings/sec, 45 secs
lola: sara is running 50 secs || 7015806 markings, 19351697 edges, 133047 markings/sec, 50 secs
lola: sara is running 55 secs || 7772122 markings, 20897278 edges, 151263 markings/sec, 55 secs
lola: sara is running 60 secs || 8535443 markings, 22465551 edges, 152664 markings/sec, 60 secs
lola: sara is running 65 secs || 9205790 markings, 24297889 edges, 134069 markings/sec, 65 secs
lola: sara is running 70 secs || 9906519 markings, 26136221 edges, 140146 markings/sec, 70 secs
lola: sara is running 75 secs || 10568553 markings, 28111124 edges, 132407 markings/sec, 75 secs
lola: sara is running 80 secs || 11243947 markings, 29979946 edges, 135079 markings/sec, 80 secs
lola: sara is running 85 secs || 11868154 markings, 32056101 edges, 124841 markings/sec, 85 secs
lola: sara is running 90 secs || 12563838 markings, 33907897 edges, 139137 markings/sec, 90 secs
lola: sara is running 95 secs || 13297984 markings, 35610559 edges, 146829 markings/sec, 95 secs
lola: sara is running 100 secs || 13988698 markings, 37555579 edges, 138143 markings/sec, 100 secs
lola: sara is running 105 secs || 14646670 markings, 39545173 edges, 131594 markings/sec, 105 secs
lola: sara is running 110 secs || 15364138 markings, 41331920 edges, 143494 markings/sec, 110 secs
lola: sara is running 115 secs || 16037139 markings, 43292597 edges, 134600 markings/sec, 115 secs
lola: sara is running 120 secs || 16732252 markings, 45151220 edges, 139023 markings/sec, 120 secs
lola: sara is running 125 secs || 17382934 markings, 47055146 edges, 130136 markings/sec, 125 secs
lola: sara is running 130 secs || 17993990 markings, 49059441 edges, 122211 markings/sec, 130 secs
lola: sara is running 135 secs || 18614891 markings, 50922473 edges, 124180 markings/sec, 135 secs
lola: sara is running 140 secs || 19091321 markings, 52989168 edges, 95286 markings/sec, 140 secs
lola: sara is running 145 secs || 19572746 markings, 54853445 edges, 96285 markings/sec, 145 secs
lola: sara is running 150 secs || 20031871 markings, 56776033 edges, 91825 markings/sec, 150 secs
lola: sara is running 155 secs || 20487062 markings, 58813416 edges, 91038 markings/sec, 155 secs
lola: sara is running 160 secs || 20893274 markings, 60901136 edges, 81242 markings/sec, 160 secs
lola: sara is running 165 secs || 21294607 markings, 62891039 edges, 80267 markings/sec, 165 secs
lola: sara is running 170 secs || 21853958 markings, 64712941 edges, 111870 markings/sec, 170 secs
lola: sara is running 175 secs || 22472430 markings, 66595177 edges, 123694 markings/sec, 175 secs
lola: sara is running 180 secs || 23063914 markings, 68449982 edges, 118297 markings/sec, 180 secs
lola: sara is running 185 secs || 23642254 markings, 70562917 edges, 115668 markings/sec, 185 secs
lola: sara is running 190 secs || 24168538 markings, 72633049 edges, 105257 markings/sec, 190 secs
lola: sara is running 195 secs || 24623817 markings, 74650927 edges, 91056 markings/sec, 195 secs
lola: sara is running 200 secs || 25013118 markings, 76650428 edges, 77860 markings/sec, 200 secs
lola: sara is running 205 secs || 25398833 markings, 78599120 edges, 77143 markings/sec, 205 secs
lola: sara is running 210 secs || 26034498 markings, 80440231 edges, 127133 markings/sec, 210 secs
lola: sara is running 215 secs || 26574417 markings, 82302510 edges, 107984 markings/sec, 215 secs
lola: sara is running 220 secs || 27185781 markings, 84225220 edges, 122273 markings/sec, 220 secs
lola: sara is running 225 secs || 27705137 markings, 86403963 edges, 103871 markings/sec, 225 secs
lola: sara is running 230 secs || 28146615 markings, 88427977 edges, 88296 markings/sec, 230 secs
lola: sara is running 235 secs || 28634825 markings, 90327974 edges, 97642 markings/sec, 235 secs
lola: sara is running 240 secs || 29137913 markings, 92186234 edges, 100618 markings/sec, 240 secs
lola: sara is running 245 secs || 29616593 markings, 94217302 edges, 95736 markings/sec, 245 secs
lola: sara is running 250 secs || 30074837 markings, 96312426 edges, 91649 markings/sec, 250 secs
lola: sara is running 255 secs || 30569820 markings, 98105477 edges, 98997 markings/sec, 255 secs
lola: sara is running 260 secs || 31060196 markings, 99930534 edges, 98075 markings/sec, 260 secs
lola: sara is running 265 secs || 31534435 markings, 101780770 edges, 94848 markings/sec, 265 secs
lola: sara is running 270 secs || 31972304 markings, 103909780 edges, 87574 markings/sec, 270 secs
lola: sara is running 275 secs || 32393662 markings, 105974752 edges, 84272 markings/sec, 275 secs
lola: sara is running 280 secs || 32832938 markings, 107908844 edges, 87855 markings/sec, 280 secs
lola: sara is running 285 secs || 33269179 markings, 109793783 edges, 87248 markings/sec, 285 secs
lola: sara is running 290 secs || 33778254 markings, 111717823 edges, 101815 markings/sec, 290 secs
lola: sara is running 295 secs || 34288452 markings, 113817781 edges, 102040 markings/sec, 295 secs
lola: sara is running 300 secs || 34775034 markings, 115765825 edges, 97316 markings/sec, 300 secs
lola: time limit reached - aborting
lola:
preliminary result: no unknown unknown yes unknown unknown unknown no yes yes unknown yes no unknown no no
lola:
preliminary result: no unknown unknown yes unknown unknown unknown no yes yes unknown yes no unknown no no
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: no unknown unknown yes unknown unknown unknown no yes yes unknown yes no unknown no no
lola: memory consumption: 1248136 KB
lola: time consumption: 3570 seconds
lola: memory consumption: 1248136 KB
lola: time consumption: 3570 seconds
BK_TIME_CONFINEMENT_REACHED
--------------------
content from stderr:
Sequence of Actions to be Executed by the VM
This is useful if one wants to reexecute the tool in the VM from the submitted image disk.
set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="DNAwalker-PT-06track28RL"
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/DNAwalker-PT-06track28RL.tgz
mv DNAwalker-PT-06track28RL 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 DNAwalker-PT-06track28RL, 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-152649735400263"
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 ;