About the Execution of LoLA for DNAwalker-PT-12ringLLLarge
Execution Summary | |||||
Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
3056.110 | 3570363.00 | 7187202.00 | 6997.50 | [undef] | Cannot compute |
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 296K
-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.5K May 15 18:54 CTLFireability.txt
-rw-r--r-- 1 mcc users 15K May 15 18:54 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K May 15 18:50 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 5.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 11K May 15 18:54 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.1K May 15 18:54 LTLFireability.txt
-rw-r--r-- 1 mcc users 11K May 15 18:54 LTLFireability.xml
-rw-r--r-- 1 mcc users 2.9K May 15 18:54 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 13K May 15 18:54 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 117 May 15 18:54 ReachabilityDeadlock.txt
-rw-r--r-- 1 mcc users 355 May 15 18:54 ReachabilityDeadlock.xml
-rw-r--r-- 1 mcc users 3.6K May 15 18:54 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 24K 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.8K 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 14 May 15 18:50 instance
-rw-r--r-- 1 mcc users 6 May 15 18:50 iscolored
-rw-r--r-- 1 mcc users 135K May 15 18:50 model.pnml
=====================================================================
Generated by BenchKit 2-3637
Executing tool lola
Input is DNAwalker-PT-12ringLLLarge, examination is ReachabilityDeadlock
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r064-smll-152649735500307
=====================================================================
--------------------
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-12ringLLLarge-ReachabilityDeadlock-0
=== Now, execution of the tool begins
BK_START 1526822945574
info: Time: 3600 - MCC
===========================================================================================
prep: translating DNAwalker-PT-12ringLLLarge Petri net model.pnml into LoLA format
===========================================================================================
prep: translating PT Petri net complete
prep: check for too many tokens
===========================================================================================
prep: translating DNAwalker-PT-12ringLLLarge formula ReachabilityDeadlock into LoLA format
===========================================================================================
prep: translating PT formula complete
vrfy: Checking ReachabilityDeadlock @ DNAwalker-PT-12ringLLLarge @ 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: 345/65536 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 1056
lola: finding significant places
lola: 33 places, 312 transitions, 33 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 197 transition conflict sets
lola: TASK
lola: reading formula from DNAwalker-PT-12ringLLLarge-ReachabilityDeadlock.task
lola: E (F (DEADLOCK))
lola: rewrite Frontend/Parser/formula_rewrite.k:106
lola: checking reachability of deadlocks
lola: Planning: workflow for deadlock check: siphon||findpath||search) (--findpath=par,--siphontrap=par)
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 deadlock preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: SEARCH (findpath)
lola: findpath: using deadlock preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: stp: The siphon/trap property is not applicable since the net is inhomogeneous
lola: findpath: starting randomized, memory-less exploration (--search=findpath)
lola: findpath: searching for paths with maximal depth 1000000 (--depthlimit)
lola: findpath: no retry limit given (--retrylimit)
lola: findpath: transitions are chosen randomly
lola: computing symmetries (--symmetry)
lola: time limit for symmetry computation of 300 seconds given (--symmtimelimit)
lola: computed 0 generators (0 in search tree, 0 by composition)
lola: representing 1 symmetries
lola: 0 dead branches visited in search tree
lola: STP completed || 1 tries, 136129 fired transitions, 0 secs || 126900 markings, 360935 edges, 25380 markings/sec, 0 secs
lola: STP completed || 1 tries, 280148 fired transitions, 5 secs || 253321 markings, 787670 edges, 25284 markings/sec, 5 secs
lola: STP completed || 1 tries, 419940 fired transitions, 10 secs || 378342 markings, 1196530 edges, 25004 markings/sec, 10 secs
lola: STP completed || 1 tries, 555285 fired transitions, 15 secs || 505613 markings, 1583264 edges, 25454 markings/sec, 15 secs
lola: STP completed || 1 tries, 703768 fired transitions, 20 secs || 630601 markings, 1993559 edges, 24998 markings/sec, 20 secs
lola: STP completed || 1 tries, 851116 fired transitions, 25 secs || 753879 markings, 2440239 edges, 24656 markings/sec, 25 secs
lola: STP completed || 2 tries, 1002128 fired transitions, 30 secs || 882613 markings, 2950780 edges, 25747 markings/sec, 30 secs
lola: STP completed || 2 tries, 1146672 fired transitions, 35 secs || 1010538 markings, 3430293 edges, 25585 markings/sec, 35 secs
lola: STP completed || 2 tries, 1294440 fired transitions, 40 secs || 1138550 markings, 3829526 edges, 25602 markings/sec, 40 secs
lola: STP completed || 2 tries, 1442110 fired transitions, 45 secs || 1266017 markings, 4237043 edges, 25493 markings/sec, 45 secs
lola: STP completed || 2 tries, 1590097 fired transitions, 50 secs || 1393351 markings, 4639938 edges, 25467 markings/sec, 50 secs
lola: STP completed || 2 tries, 1737851 fired transitions, 55 secs || 1517760 markings, 5140543 edges, 24882 markings/sec, 55 secs
lola: STP completed || 2 tries, 1885937 fired transitions, 60 secs || 1642992 markings, 5638530 edges, 25046 markings/sec, 60 secs
lola: STP completed || 3 tries, 2033190 fired transitions, 65 secs || 1767548 markings, 6113023 edges, 24911 markings/sec, 65 secs
lola: STP completed || 3 tries, 2178486 fired transitions, 70 secs || 1895750 markings, 6533898 edges, 25640 markings/sec, 70 secs
lola: STP completed || 3 tries, 2324214 fired transitions, 75 secs || 2023259 markings, 6951222 edges, 25502 markings/sec, 75 secs
lola: STP completed || 3 tries, 2469173 fired transitions, 80 secs || 2155838 markings, 7310890 edges, 26516 markings/sec, 80 secs
lola: STP completed || 3 tries, 2614368 fired transitions, 85 secs || 2286400 markings, 7672319 edges, 26112 markings/sec, 85 secs
lola: STP completed || 3 tries, 2759680 fired transitions, 90 secs || 2415453 markings, 8058166 edges, 25811 markings/sec, 90 secs
lola: STP completed || 3 tries, 2905116 fired transitions, 95 secs || 2542780 markings, 8472817 edges, 25465 markings/sec, 95 secs
lola: STP completed || 4 tries, 3051326 fired transitions, 100 secs || 2668625 markings, 8914229 edges, 25169 markings/sec, 100 secs
lola: STP completed || 4 tries, 3198304 fired transitions, 105 secs || 2796280 markings, 9342557 edges, 25531 markings/sec, 105 secs
lola: STP completed || 4 tries, 3345377 fired transitions, 110 secs || 2922236 markings, 9808516 edges, 25191 markings/sec, 110 secs
lola: STP completed || 4 tries, 3492326 fired transitions, 115 secs || 3050494 markings, 10241666 edges, 25652 markings/sec, 115 secs
lola: STP completed || 4 tries, 3646999 fired transitions, 120 secs || 3182680 markings, 10766627 edges, 26437 markings/sec, 120 secs
lola: STP completed || 4 tries, 3807879 fired transitions, 125 secs || 3324177 markings, 11224513 edges, 28299 markings/sec, 125 secs
lola: STP completed || 4 tries, 3955039 fired transitions, 130 secs || 3452488 markings, 11670227 edges, 25662 markings/sec, 130 secs
lola: STP completed || 5 tries, 4099890 fired transitions, 135 secs || 3578351 markings, 12109837 edges, 25173 markings/sec, 135 secs
lola: STP completed || 5 tries, 4244191 fired transitions, 140 secs || 3700771 markings, 12579896 edges, 24484 markings/sec, 140 secs
lola: STP completed || 5 tries, 4389866 fired transitions, 145 secs || 3826163 markings, 13040937 edges, 25078 markings/sec, 145 secs
lola: STP completed || 5 tries, 4547704 fired transitions, 150 secs || 3948240 markings, 13489832 edges, 24415 markings/sec, 150 secs
lola: STP completed || 5 tries, 4698966 fired transitions, 155 secs || 4078332 markings, 13984354 edges, 26018 markings/sec, 155 secs
lola: STP completed || 5 tries, 4843109 fired transitions, 160 secs || 4201388 markings, 14445299 edges, 24611 markings/sec, 160 secs
lola: STP completed || 5 tries, 4987065 fired transitions, 165 secs || 4323707 markings, 14930935 edges, 24464 markings/sec, 165 secs
lola: STP completed || 6 tries, 5129825 fired transitions, 170 secs || 4446943 markings, 15401523 edges, 24647 markings/sec, 170 secs
lola: STP completed || 6 tries, 5272351 fired transitions, 175 secs || 4569323 markings, 15890378 edges, 24476 markings/sec, 175 secs
lola: STP completed || 6 tries, 5415074 fired transitions, 180 secs || 4690819 markings, 16366314 edges, 24299 markings/sec, 180 secs
lola: STP completed || 6 tries, 5557853 fired transitions, 185 secs || 4812787 markings, 16824059 edges, 24394 markings/sec, 185 secs
lola: STP completed || 6 tries, 5700587 fired transitions, 190 secs || 4934131 markings, 17296502 edges, 24269 markings/sec, 190 secs
lola: STP completed || 6 tries, 5843474 fired transitions, 195 secs || 5056202 markings, 17783037 edges, 24414 markings/sec, 195 secs
lola: STP completed || 6 tries, 5986515 fired transitions, 200 secs || 5177216 markings, 18269365 edges, 24203 markings/sec, 200 secs
lola: STP completed || 7 tries, 6130463 fired transitions, 205 secs || 5298384 markings, 18724673 edges, 24234 markings/sec, 205 secs
lola: STP completed || 7 tries, 6274612 fired transitions, 210 secs || 5417972 markings, 19163032 edges, 23918 markings/sec, 210 secs
lola: STP completed || 7 tries, 6418689 fired transitions, 215 secs || 5538315 markings, 19624235 edges, 24069 markings/sec, 215 secs
lola: STP completed || 7 tries, 6562936 fired transitions, 220 secs || 5658353 markings, 20081857 edges, 24008 markings/sec, 220 secs
lola: STP completed || 7 tries, 6706970 fired transitions, 225 secs || 5778283 markings, 20565216 edges, 23986 markings/sec, 225 secs
lola: STP completed || 7 tries, 6851096 fired transitions, 230 secs || 5898500 markings, 21002295 edges, 24043 markings/sec, 230 secs
lola: STP completed || 7 tries, 6995429 fired transitions, 235 secs || 6017787 markings, 21495815 edges, 23857 markings/sec, 235 secs
lola: STP completed || 8 tries, 7149057 fired transitions, 240 secs || 6149111 markings, 22056177 edges, 26265 markings/sec, 240 secs
lola: STP completed || 8 tries, 7292090 fired transitions, 245 secs || 6271932 markings, 22536453 edges, 24564 markings/sec, 245 secs
lola: STP completed || 8 tries, 7434893 fired transitions, 250 secs || 6396623 markings, 22971523 edges, 24938 markings/sec, 250 secs
lola: STP completed || 8 tries, 7577313 fired transitions, 255 secs || 6523624 markings, 23349463 edges, 25400 markings/sec, 255 secs
lola: STP completed || 8 tries, 7719750 fired transitions, 260 secs || 6650122 markings, 23724894 edges, 25300 markings/sec, 260 secs
lola: STP completed || 8 tries, 7862479 fired transitions, 265 secs || 6775277 markings, 24138711 edges, 25031 markings/sec, 265 secs
lola: STP completed || 9 tries, 8005253 fired transitions, 270 secs || 6896570 markings, 24637101 edges, 24259 markings/sec, 270 secs
lola: STP completed || 9 tries, 8150305 fired transitions, 275 secs || 7021721 markings, 25033818 edges, 25030 markings/sec, 275 secs
lola: STP completed || 9 tries, 8295537 fired transitions, 280 secs || 7144919 markings, 25459940 edges, 24640 markings/sec, 280 secs
lola: STP completed || 9 tries, 8440353 fired transitions, 285 secs || 7269442 markings, 25863635 edges, 24905 markings/sec, 285 secs
lola: STP completed || 9 tries, 8585766 fired transitions, 290 secs || 7389855 markings, 26363041 edges, 24083 markings/sec, 290 secs
lola: STP completed || 9 tries, 8730764 fired transitions, 295 secs || 7509669 markings, 26868809 edges, 23963 markings/sec, 295 secs
lola: STP completed || 9 tries, 8875506 fired transitions, 300 secs || 7632719 markings, 27309372 edges, 24610 markings/sec, 300 secs
lola: STP completed || 10 tries, 9025927 fired transitions, 305 secs || 7753492 markings, 27904383 edges, 24155 markings/sec, 305 secs
lola: STP completed || 10 tries, 9171927 fired transitions, 310 secs || 7881158 markings, 28327281 edges, 25533 markings/sec, 310 secs
lola: STP completed || 10 tries, 9318678 fired transitions, 315 secs || 8007689 markings, 28770673 edges, 25306 markings/sec, 315 secs
lola: STP completed || 10 tries, 9465830 fired transitions, 320 secs || 8133425 markings, 29222860 edges, 25147 markings/sec, 320 secs
lola: STP completed || 10 tries, 9613450 fired transitions, 325 secs || 8256001 markings, 29748219 edges, 24515 markings/sec, 325 secs
lola: STP completed || 10 tries, 9760285 fired transitions, 330 secs || 8379326 markings, 30246230 edges, 24665 markings/sec, 330 secs
lola: STP completed || 10 tries, 9907156 fired transitions, 335 secs || 8503426 markings, 30725384 edges, 24820 markings/sec, 335 secs
lola: STP completed || 11 tries, 10054623 fired transitions, 340 secs || 8625485 markings, 31255569 edges, 24412 markings/sec, 340 secs
lola: STP completed || 11 tries, 10200876 fired transitions, 345 secs || 8751333 markings, 31725616 edges, 25170 markings/sec, 345 secs
lola: STP completed || 11 tries, 10346355 fired transitions, 350 secs || 8878772 markings, 32155173 edges, 25488 markings/sec, 350 secs
lola: STP completed || 11 tries, 10492028 fired transitions, 355 secs || 9005768 markings, 32601514 edges, 25399 markings/sec, 355 secs
lola: STP completed || 11 tries, 10638665 fired transitions, 360 secs || 9130233 markings, 33120990 edges, 24893 markings/sec, 360 secs
lola: STP completed || 11 tries, 10785681 fired transitions, 365 secs || 9253213 markings, 33653181 edges, 24596 markings/sec, 365 secs
lola: STP completed || 11 tries, 10934787 fired transitions, 370 secs || 9373144 markings, 34181890 edges, 23986 markings/sec, 370 secs
lola: STP completed || 12 tries, 11081895 fired transitions, 375 secs || 9498233 markings, 34632783 edges, 25018 markings/sec, 375 secs
lola: STP completed || 12 tries, 11226856 fired transitions, 380 secs || 9625492 markings, 35067001 edges, 25452 markings/sec, 380 secs
lola: STP completed || 12 tries, 11371555 fired transitions, 385 secs || 9752834 markings, 35486959 edges, 25468 markings/sec, 385 secs
lola: STP completed || 12 tries, 11516420 fired transitions, 390 secs || 9878878 markings, 35942877 edges, 25209 markings/sec, 390 secs
lola: STP completed || 12 tries, 11661367 fired transitions, 395 secs || 10005805 markings, 36378091 edges, 25385 markings/sec, 395 secs
lola: STP completed || 12 tries, 11806449 fired transitions, 400 secs || 10132426 markings, 36809639 edges, 25324 markings/sec, 400 secs
lola: STP completed || 12 tries, 11951441 fired transitions, 405 secs || 10258952 markings, 37256615 edges, 25305 markings/sec, 405 secs
lola: STP completed || 13 tries, 12102373 fired transitions, 410 secs || 10380776 markings, 37761150 edges, 24365 markings/sec, 410 secs
lola: STP completed || 13 tries, 12256196 fired transitions, 415 secs || 10502771 markings, 38262382 edges, 24399 markings/sec, 415 secs
lola: STP completed || 13 tries, 12409617 fired transitions, 420 secs || 10624510 markings, 38755306 edges, 24348 markings/sec, 420 secs
lola: STP completed || 13 tries, 12562412 fired transitions, 425 secs || 10747651 markings, 39211005 edges, 24628 markings/sec, 425 secs
lola: STP completed || 13 tries, 12716490 fired transitions, 430 secs || 10870797 markings, 39685340 edges, 24629 markings/sec, 430 secs
lola: STP completed || 13 tries, 12870302 fired transitions, 435 secs || 10995560 markings, 40129259 edges, 24953 markings/sec, 435 secs
lola: STP completed || 14 tries, 13022789 fired transitions, 440 secs || 11118682 markings, 40616625 edges, 24624 markings/sec, 440 secs
lola: STP completed || 14 tries, 13166366 fired transitions, 445 secs || 11243734 markings, 41084612 edges, 25010 markings/sec, 445 secs
lola: STP completed || 14 tries, 13312941 fired transitions, 450 secs || 11370054 markings, 41562473 edges, 25264 markings/sec, 450 secs
lola: STP completed || 14 tries, 13469344 fired transitions, 455 secs || 11503586 markings, 42087475 edges, 26706 markings/sec, 455 secs
lola: STP completed || 14 tries, 13613193 fired transitions, 460 secs || 11626591 markings, 42587944 edges, 24601 markings/sec, 460 secs
lola: STP completed || 14 tries, 13756967 fired transitions, 465 secs || 11749106 markings, 43097964 edges, 24503 markings/sec, 465 secs
lola: STP completed || 14 tries, 13900445 fired transitions, 470 secs || 11872856 markings, 43589446 edges, 24750 markings/sec, 470 secs
lola: STP completed || 15 tries, 14030758 fired transitions, 475 secs || 11997432 markings, 44076074 edges, 24915 markings/sec, 475 secs
lola: STP completed || 15 tries, 14177517 fired transitions, 480 secs || 12120593 markings, 44568959 edges, 24632 markings/sec, 480 secs
lola: STP completed || 15 tries, 14324007 fired transitions, 485 secs || 12243293 markings, 45065989 edges, 24540 markings/sec, 485 secs
lola: STP completed || 15 tries, 14472085 fired transitions, 490 secs || 12364322 markings, 45566387 edges, 24206 markings/sec, 490 secs
lola: STP completed || 15 tries, 14618335 fired transitions, 495 secs || 12488188 markings, 46042717 edges, 24773 markings/sec, 495 secs
lola: STP completed || 15 tries, 14765092 fired transitions, 500 secs || 12608558 markings, 46593528 edges, 24074 markings/sec, 500 secs
lola: STP completed || 15 tries, 14924265 fired transitions, 505 secs || 12740570 markings, 47130956 edges, 26402 markings/sec, 505 secs
lola: STP completed || 16 tries, 15086560 fired transitions, 510 secs || 12873232 markings, 47657857 edges, 26532 markings/sec, 510 secs
lola: STP completed || 16 tries, 15238782 fired transitions, 515 secs || 12994397 markings, 48159927 edges, 24233 markings/sec, 515 secs
lola: STP completed || 16 tries, 15391960 fired transitions, 520 secs || 13114563 markings, 48652812 edges, 24033 markings/sec, 520 secs
lola: STP completed || 16 tries, 15546594 fired transitions, 525 secs || 13233897 markings, 49169944 edges, 23867 markings/sec, 525 secs
lola: STP completed || 16 tries, 15703276 fired transitions, 530 secs || 13352188 markings, 49713198 edges, 23658 markings/sec, 530 secs
lola: STP completed || 16 tries, 15857683 fired transitions, 535 secs || 13469245 markings, 50224248 edges, 23411 markings/sec, 535 secs
lola: STP completed || 17 tries, 16010316 fired transitions, 540 secs || 13588951 markings, 50700464 edges, 23941 markings/sec, 540 secs
lola: STP completed || 17 tries, 16155218 fired transitions, 545 secs || 13707615 markings, 51202067 edges, 23733 markings/sec, 545 secs
lola: STP completed || 17 tries, 16299668 fired transitions, 550 secs || 13828222 markings, 51697017 edges, 24121 markings/sec, 550 secs
lola: STP completed || 17 tries, 16453241 fired transitions, 555 secs || 13954936 markings, 52248562 edges, 25343 markings/sec, 555 secs
lola: STP completed || 17 tries, 16598413 fired transitions, 560 secs || 14072317 markings, 52762928 edges, 23476 markings/sec, 560 secs
lola: STP completed || 17 tries, 16740884 fired transitions, 565 secs || 14192874 markings, 53301573 edges, 24111 markings/sec, 565 secs
lola: STP completed || 17 tries, 16883216 fired transitions, 570 secs || 14313350 markings, 53782511 edges, 24095 markings/sec, 570 secs
lola: STP completed || 18 tries, 17028404 fired transitions, 575 secs || 14434218 markings, 54280150 edges, 24174 markings/sec, 575 secs
lola: STP completed || 18 tries, 17178411 fired transitions, 580 secs || 14555366 markings, 54802465 edges, 24230 markings/sec, 580 secs
lola: STP completed || 18 tries, 17327962 fired transitions, 585 secs || 14676224 markings, 55318780 edges, 24172 markings/sec, 585 secs
lola: STP completed || 18 tries, 17477942 fired transitions, 590 secs || 14798268 markings, 55776796 edges, 24409 markings/sec, 590 secs
lola: STP completed || 18 tries, 17629693 fired transitions, 595 secs || 14916194 markings, 56299854 edges, 23585 markings/sec, 595 secs
lola: STP completed || 18 tries, 17779554 fired transitions, 600 secs || 15037931 markings, 56786904 edges, 24347 markings/sec, 600 secs
lola: STP completed || 18 tries, 17928056 fired transitions, 605 secs || 15159147 markings, 57321005 edges, 24243 markings/sec, 605 secs
lola: STP completed || 19 tries, 18072537 fired transitions, 610 secs || 15284053 markings, 57833307 edges, 24981 markings/sec, 610 secs
lola: STP completed || 19 tries, 18214545 fired transitions, 615 secs || 15405332 markings, 58396961 edges, 24256 markings/sec, 615 secs
lola: STP completed || 19 tries, 18359054 fired transitions, 620 secs || 15527433 markings, 58911981 edges, 24420 markings/sec, 620 secs
lola: STP completed || 19 tries, 18502564 fired transitions, 625 secs || 15651563 markings, 59371219 edges, 24826 markings/sec, 625 secs
lola: STP completed || 19 tries, 18645455 fired transitions, 630 secs || 15779975 markings, 59779207 edges, 25682 markings/sec, 630 secs
lola: STP completed || 19 tries, 18788478 fired transitions, 635 secs || 15907591 markings, 60189620 edges, 25523 markings/sec, 635 secs
lola: STP completed || 19 tries, 18932004 fired transitions, 640 secs || 16033318 markings, 60644302 edges, 25145 markings/sec, 640 secs
lola: STP completed || 20 tries, 19074334 fired transitions, 645 secs || 16157421 markings, 61137121 edges, 24821 markings/sec, 645 secs
lola: STP completed || 20 tries, 19216454 fired transitions, 650 secs || 16283191 markings, 61572905 edges, 25154 markings/sec, 650 secs
lola: STP completed || 20 tries, 19358904 fired transitions, 655 secs || 16407789 markings, 62027213 edges, 24920 markings/sec, 655 secs
lola: STP completed || 20 tries, 19501053 fired transitions, 660 secs || 16532741 markings, 62463569 edges, 24990 markings/sec, 660 secs
lola: STP completed || 20 tries, 19644069 fired transitions, 665 secs || 16656978 markings, 62916753 edges, 24847 markings/sec, 665 secs
lola: STP completed || 20 tries, 19788962 fired transitions, 670 secs || 16775300 markings, 63469722 edges, 23664 markings/sec, 670 secs
lola: STP completed || 20 tries, 19931249 fired transitions, 675 secs || 16899762 markings, 63939640 edges, 24892 markings/sec, 675 secs
lola: STP completed || 21 tries, 20074787 fired transitions, 680 secs || 17025042 markings, 64406145 edges, 25056 markings/sec, 680 secs
lola: STP completed || 21 tries, 20219239 fired transitions, 685 secs || 17151162 markings, 64865178 edges, 25224 markings/sec, 685 secs
lola: STP completed || 21 tries, 20363509 fired transitions, 690 secs || 17277475 markings, 65315701 edges, 25263 markings/sec, 690 secs
lola: STP completed || 21 tries, 20508636 fired transitions, 695 secs || 17400522 markings, 65843772 edges, 24609 markings/sec, 695 secs
lola: STP completed || 21 tries, 20655464 fired transitions, 700 secs || 17522389 markings, 66353721 edges, 24373 markings/sec, 700 secs
lola: STP completed || 21 tries, 20800012 fired transitions, 705 secs || 17646323 markings, 66843757 edges, 24787 markings/sec, 705 secs
lola: STP completed || 21 tries, 20945653 fired transitions, 710 secs || 17768150 markings, 67376071 edges, 24365 markings/sec, 710 secs
lola: STP completed || 22 tries, 21088651 fired transitions, 715 secs || 17894337 markings, 67827755 edges, 25237 markings/sec, 715 secs
lola: STP completed || 22 tries, 21230752 fired transitions, 720 secs || 18019662 markings, 68261982 edges, 25065 markings/sec, 720 secs
lola: STP completed || 22 tries, 21373357 fired transitions, 725 secs || 18144300 markings, 68733332 edges, 24928 markings/sec, 725 secs
lola: STP completed || 22 tries, 21517495 fired transitions, 730 secs || 18264966 markings, 69235720 edges, 24133 markings/sec, 730 secs
lola: STP completed || 22 tries, 21662164 fired transitions, 735 secs || 18389190 markings, 69650587 edges, 24845 markings/sec, 735 secs
lola: STP completed || 22 tries, 21805251 fired transitions, 740 secs || 18514061 markings, 70090176 edges, 24974 markings/sec, 740 secs
lola: STP completed || 22 tries, 21946139 fired transitions, 745 secs || 18640056 markings, 70550666 edges, 25199 markings/sec, 745 secs
lola: STP completed || 23 tries, 22088750 fired transitions, 750 secs || 18764933 markings, 71035329 edges, 24975 markings/sec, 750 secs
lola: STP completed || 23 tries, 22232169 fired transitions, 755 secs || 18892463 markings, 71452067 edges, 25506 markings/sec, 755 secs
lola: STP completed || 23 tries, 22375396 fired transitions, 760 secs || 19018260 markings, 71918860 edges, 25159 markings/sec, 760 secs
lola: STP completed || 23 tries, 22518473 fired transitions, 765 secs || 19142792 markings, 72411912 edges, 24906 markings/sec, 765 secs
lola: STP completed || 23 tries, 22662501 fired transitions, 770 secs || 19266564 markings, 72915607 edges, 24754 markings/sec, 770 secs
lola: STP completed || 23 tries, 22806305 fired transitions, 775 secs || 19389712 markings, 73434795 edges, 24630 markings/sec, 775 secs
lola: STP completed || 23 tries, 22949555 fired transitions, 780 secs || 19514814 markings, 73910381 edges, 25020 markings/sec, 780 secs
lola: STP completed || 24 tries, 23094736 fired transitions, 785 secs || 19638904 markings, 74413313 edges, 24818 markings/sec, 785 secs
lola: STP completed || 24 tries, 23239409 fired transitions, 790 secs || 19766203 markings, 74875259 edges, 25460 markings/sec, 790 secs
lola: STP completed || 24 tries, 23386314 fired transitions, 795 secs || 19889686 markings, 75388532 edges, 24697 markings/sec, 795 secs
lola: STP completed || 24 tries, 23533206 fired transitions, 800 secs || 20014684 markings, 75857475 edges, 25000 markings/sec, 800 secs
lola: STP completed || 24 tries, 23679752 fired transitions, 805 secs || 20138637 markings, 76354561 edges, 24791 markings/sec, 805 secs
lola: STP completed || 24 tries, 23827161 fired transitions, 810 secs || 20260735 markings, 76875192 edges, 24420 markings/sec, 810 secs
lola: STP completed || 24 tries, 23974204 fired transitions, 815 secs || 20383981 markings, 77380800 edges, 24649 markings/sec, 815 secs
lola: STP completed || 25 tries, 24119027 fired transitions, 820 secs || 20506696 markings, 77890473 edges, 24543 markings/sec, 820 secs
lola: STP completed || 25 tries, 24273699 fired transitions, 825 secs || 20637191 markings, 78423624 edges, 26099 markings/sec, 825 secs
lola: STP completed || 25 tries, 24429738 fired transitions, 830 secs || 20768552 markings, 78970385 edges, 26272 markings/sec, 830 secs
lola: STP completed || 25 tries, 24574720 fired transitions, 835 secs || 20889394 markings, 79489804 edges, 24168 markings/sec, 835 secs
lola: STP completed || 25 tries, 24720492 fired transitions, 840 secs || 21009467 markings, 80004910 edges, 24015 markings/sec, 840 secs
lola: STP completed || 25 tries, 24865219 fired transitions, 845 secs || 21131893 markings, 80513023 edges, 24485 markings/sec, 845 secs
lola: STP completed || 26 tries, 25009802 fired transitions, 850 secs || 21254496 markings, 81029660 edges, 24521 markings/sec, 850 secs
lola: STP completed || 26 tries, 25164325 fired transitions, 855 secs || 21379653 markings, 81572850 edges, 25031 markings/sec, 855 secs
lola: STP completed || 26 tries, 25323973 fired transitions, 860 secs || 21508462 markings, 82122979 edges, 25762 markings/sec, 860 secs
lola: STP completed || 26 tries, 25484165 fired transitions, 865 secs || 21635618 markings, 82696095 edges, 25431 markings/sec, 865 secs
lola: STP completed || 26 tries, 25644386 fired transitions, 870 secs || 21763620 markings, 83234130 edges, 25600 markings/sec, 870 secs
lola: STP completed || 26 tries, 25804399 fired transitions, 875 secs || 21893510 markings, 83768351 edges, 25978 markings/sec, 875 secs
lola: STP completed || 26 tries, 25963868 fired transitions, 880 secs || 22023067 markings, 84312651 edges, 25911 markings/sec, 880 secs
lola: STP completed || 27 tries, 26123331 fired transitions, 885 secs || 22153940 markings, 84861584 edges, 26175 markings/sec, 885 secs
lola: STP completed || 27 tries, 26283314 fired transitions, 890 secs || 22284354 markings, 85375378 edges, 26083 markings/sec, 890 secs
lola: STP completed || 27 tries, 26442927 fired transitions, 895 secs || 22413091 markings, 85940508 edges, 25747 markings/sec, 895 secs
lola: STP completed || 27 tries, 26602809 fired transitions, 900 secs || 22542320 markings, 86468416 edges, 25846 markings/sec, 900 secs
lola: STP completed || 27 tries, 26762984 fired transitions, 905 secs || 22673661 markings, 86984071 edges, 26268 markings/sec, 905 secs
lola: STP completed || 27 tries, 26924491 fired transitions, 910 secs || 22802865 markings, 87552496 edges, 25841 markings/sec, 910 secs
lola: STP completed || 28 tries, 27087453 fired transitions, 915 secs || 22934918 markings, 88088786 edges, 26411 markings/sec, 915 secs
lola: STP completed || 28 tries, 27250282 fired transitions, 920 secs || 23066302 markings, 88636287 edges, 26277 markings/sec, 920 secs
lola: STP completed || 28 tries, 27412022 fired transitions, 925 secs || 23197732 markings, 89206056 edges, 26286 markings/sec, 925 secs
lola: STP completed || 28 tries, 27570484 fired transitions, 930 secs || 23326685 markings, 89801021 edges, 25791 markings/sec, 930 secs
lola: STP completed || 28 tries, 27728554 fired transitions, 935 secs || 23459056 markings, 90331820 edges, 26474 markings/sec, 935 secs
lola: STP completed || 28 tries, 27886540 fired transitions, 940 secs || 23592762 markings, 90834511 edges, 26741 markings/sec, 940 secs
lola: STP completed || 29 tries, 28043262 fired transitions, 945 secs || 23728649 markings, 91303177 edges, 27177 markings/sec, 945 secs
lola: STP completed || 29 tries, 28196781 fired transitions, 950 secs || 23862372 markings, 91837987 edges, 26745 markings/sec, 950 secs
lola: STP completed || 29 tries, 28350533 fired transitions, 955 secs || 23997687 markings, 92328763 edges, 27063 markings/sec, 955 secs
lola: STP completed || 29 tries, 28504323 fired transitions, 960 secs || 24130899 markings, 92859643 edges, 26642 markings/sec, 960 secs
lola: STP completed || 29 tries, 28660076 fired transitions, 965 secs || 24266963 markings, 93355399 edges, 27213 markings/sec, 965 secs
lola: STP completed || 29 tries, 28817311 fired transitions, 970 secs || 24403824 markings, 93871409 edges, 27372 markings/sec, 970 secs
lola: STP completed || 29 tries, 28974900 fired transitions, 975 secs || 24537005 markings, 94462649 edges, 26636 markings/sec, 975 secs
lola: STP completed || 30 tries, 29137131 fired transitions, 980 secs || 24668735 markings, 95061593 edges, 26346 markings/sec, 980 secs
lola: STP completed || 30 tries, 29299808 fired transitions, 985 secs || 24804503 markings, 95584345 edges, 27154 markings/sec, 985 secs
lola: STP completed || 30 tries, 29461017 fired transitions, 990 secs || 24939490 markings, 96114349 edges, 26997 markings/sec, 990 secs
lola: STP completed || 30 tries, 29620534 fired transitions, 995 secs || 25066664 markings, 96753362 edges, 25435 markings/sec, 995 secs
lola: STP completed || 30 tries, 29779723 fired transitions, 1000 secs || 25196755 markings, 97324926 edges, 26018 markings/sec, 1000 secs
lola: STP completed || 30 tries, 29939046 fired transitions, 1005 secs || 25326405 markings, 97922987 edges, 25930 markings/sec, 1005 secs
lola: STP completed || 31 tries, 30132949 fired transitions, 1010 secs || 25454865 markings, 98520908 edges, 25692 markings/sec, 1010 secs
lola: STP completed || 31 tries, 30347442 fired transitions, 1015 secs || 25583730 markings, 99096362 edges, 25773 markings/sec, 1015 secs
lola: STP completed || 31 tries, 30562292 fired transitions, 1020 secs || 25710834 markings, 99681462 edges, 25421 markings/sec, 1020 secs
lola: STP completed || 31 tries, 30775822 fired transitions, 1025 secs || 25840341 markings, 100237546 edges, 25901 markings/sec, 1025 secs
lola: STP completed || 31 tries, 30988134 fired transitions, 1030 secs || 25972158 markings, 100764835 edges, 26363 markings/sec, 1030 secs
lola: STP completed || 32 tries, 31146850 fired transitions, 1035 secs || 26102461 markings, 101340147 edges, 26061 markings/sec, 1035 secs
lola: STP completed || 32 tries, 31302283 fired transitions, 1040 secs || 26235070 markings, 101868794 edges, 26522 markings/sec, 1040 secs
lola: STP completed || 32 tries, 31457791 fired transitions, 1045 secs || 26365480 markings, 102442965 edges, 26082 markings/sec, 1045 secs
lola: STP completed || 32 tries, 31613693 fired transitions, 1050 secs || 26492701 markings, 103070571 edges, 25444 markings/sec, 1050 secs
lola: STP completed || 32 tries, 31769076 fired transitions, 1055 secs || 26623826 markings, 103640801 edges, 26225 markings/sec, 1055 secs
lola: STP completed || 32 tries, 31924363 fired transitions, 1060 secs || 26755812 markings, 104173590 edges, 26397 markings/sec, 1060 secs
lola: STP completed || 33 tries, 32081181 fired transitions, 1065 secs || 26884288 markings, 104764670 edges, 25695 markings/sec, 1065 secs
lola: STP completed || 33 tries, 32238895 fired transitions, 1070 secs || 27014175 markings, 105314229 edges, 25977 markings/sec, 1070 secs
lola: STP completed || 33 tries, 32396569 fired transitions, 1075 secs || 27144189 markings, 105860810 edges, 26003 markings/sec, 1075 secs
lola: STP completed || 33 tries, 32544658 fired transitions, 1080 secs || 27269981 markings, 106355553 edges, 25158 markings/sec, 1080 secs
lola: STP completed || 33 tries, 32688844 fired transitions, 1085 secs || 27394086 markings, 106827287 edges, 24821 markings/sec, 1085 secs
lola: STP completed || 33 tries, 32833397 fired transitions, 1090 secs || 27518091 markings, 107303782 edges, 24801 markings/sec, 1090 secs
lola: STP completed || 33 tries, 32977986 fired transitions, 1095 secs || 27641261 markings, 107812114 edges, 24634 markings/sec, 1095 secs
lola: STP completed || 34 tries, 33123045 fired transitions, 1100 secs || 27762752 markings, 108338362 edges, 24298 markings/sec, 1100 secs
lola: STP completed || 34 tries, 33268806 fired transitions, 1105 secs || 27882145 markings, 108877103 edges, 23879 markings/sec, 1105 secs
lola: STP completed || 34 tries, 33414429 fired transitions, 1110 secs || 28001917 markings, 109416155 edges, 23954 markings/sec, 1110 secs
lola: STP completed || 34 tries, 33559862 fired transitions, 1115 secs || 28122361 markings, 109937888 edges, 24089 markings/sec, 1115 secs
lola: STP completed || 34 tries, 33704511 fired transitions, 1120 secs || 28246022 markings, 110424594 edges, 24732 markings/sec, 1120 secs
lola: STP completed || 34 tries, 33863049 fired transitions, 1125 secs || 28379033 markings, 110967514 edges, 26602 markings/sec, 1125 secs
lola: STP completed || 35 tries, 34008129 fired transitions, 1130 secs || 28500719 markings, 111449609 edges, 24337 markings/sec, 1130 secs
lola: STP completed || 35 tries, 34151628 fired transitions, 1135 secs || 28620793 markings, 111953389 edges, 24015 markings/sec, 1135 secs
lola: STP completed || 35 tries, 34307940 fired transitions, 1140 secs || 28750523 markings, 112532679 edges, 25946 markings/sec, 1140 secs
lola: STP completed || 35 tries, 34451170 fired transitions, 1145 secs || 28872455 markings, 112997858 edges, 24386 markings/sec, 1145 secs
lola: STP completed || 35 tries, 34594635 fired transitions, 1150 secs || 28993750 markings, 113474364 edges, 24259 markings/sec, 1150 secs
lola: STP completed || 35 tries, 34738450 fired transitions, 1155 secs || 29114047 markings, 113980815 edges, 24059 markings/sec, 1155 secs
lola: STP completed || 35 tries, 34882124 fired transitions, 1160 secs || 29233420 markings, 114502700 edges, 23875 markings/sec, 1160 secs
lola: STP completed || 36 tries, 35040349 fired transitions, 1165 secs || 29362041 markings, 115088818 edges, 25724 markings/sec, 1165 secs
lola: STP completed || 36 tries, 35204701 fired transitions, 1170 secs || 29489326 markings, 115699937 edges, 25457 markings/sec, 1170 secs
lola: STP completed || 36 tries, 35356143 fired transitions, 1175 secs || 29604445 markings, 116279150 edges, 23024 markings/sec, 1175 secs
lola: STP completed || 36 tries, 35506147 fired transitions, 1180 secs || 29724314 markings, 116790312 edges, 23974 markings/sec, 1180 secs
lola: STP completed || 36 tries, 35655407 fired transitions, 1185 secs || 29846156 markings, 117287195 edges, 24368 markings/sec, 1185 secs
lola: STP completed || 36 tries, 35806233 fired transitions, 1190 secs || 29965358 markings, 117788538 edges, 23840 markings/sec, 1190 secs
lola: STP completed || 36 tries, 35957234 fired transitions, 1195 secs || 30085288 markings, 118282956 edges, 23986 markings/sec, 1195 secs
lola: STP completed || 37 tries, 36109969 fired transitions, 1200 secs || 30204429 markings, 118787634 edges, 23828 markings/sec, 1200 secs
lola: STP completed || 37 tries, 36263734 fired transitions, 1205 secs || 30322514 markings, 119301446 edges, 23617 markings/sec, 1205 secs
lola: STP completed || 37 tries, 36417468 fired transitions, 1210 secs || 30439833 markings, 119831371 edges, 23464 markings/sec, 1210 secs
lola: STP completed || 37 tries, 36559896 fired transitions, 1215 secs || 30558660 markings, 120336094 edges, 23765 markings/sec, 1215 secs
lola: STP completed || 37 tries, 36702357 fired transitions, 1220 secs || 30677373 markings, 120834892 edges, 23743 markings/sec, 1220 secs
lola: STP completed || 37 tries, 36858421 fired transitions, 1225 secs || 30796937 markings, 121355571 edges, 23913 markings/sec, 1225 secs
lola: STP completed || 38 tries, 37011685 fired transitions, 1230 secs || 30915761 markings, 121858752 edges, 23765 markings/sec, 1230 secs
lola: STP completed || 38 tries, 37171167 fired transitions, 1235 secs || 31040669 markings, 122435847 edges, 24982 markings/sec, 1235 secs
lola: STP completed || 38 tries, 37320080 fired transitions, 1240 secs || 31159176 markings, 122941600 edges, 23701 markings/sec, 1240 secs
lola: STP completed || 38 tries, 37469020 fired transitions, 1245 secs || 31276424 markings, 123475776 edges, 23450 markings/sec, 1245 secs
lola: STP completed || 38 tries, 37618640 fired transitions, 1250 secs || 31393002 markings, 124003094 edges, 23316 markings/sec, 1250 secs
lola: STP completed || 38 tries, 37780251 fired transitions, 1255 secs || 31520506 markings, 124578792 edges, 25501 markings/sec, 1255 secs
lola: STP completed || 38 tries, 37928769 fired transitions, 1260 secs || 31638733 markings, 125095103 edges, 23645 markings/sec, 1260 secs
lola: STP completed || 39 tries, 38076419 fired transitions, 1265 secs || 31756103 markings, 125641037 edges, 23474 markings/sec, 1265 secs
lola: STP completed || 39 tries, 38219680 fired transitions, 1270 secs || 31876539 markings, 126163613 edges, 24087 markings/sec, 1270 secs
lola: STP completed || 39 tries, 38362751 fired transitions, 1275 secs || 31997041 markings, 126690926 edges, 24100 markings/sec, 1275 secs
lola: STP completed || 39 tries, 38505953 fired transitions, 1280 secs || 32117355 markings, 127227716 edges, 24063 markings/sec, 1280 secs
lola: STP completed || 39 tries, 38648939 fired transitions, 1285 secs || 32237089 markings, 127778794 edges, 23947 markings/sec, 1285 secs
lola: STP completed || 39 tries, 38791971 fired transitions, 1290 secs || 32357397 markings, 128312943 edges, 24062 markings/sec, 1290 secs
lola: STP completed || 39 tries, 38935184 fired transitions, 1295 secs || 32476077 markings, 128861540 edges, 23736 markings/sec, 1295 secs
lola: STP completed || 40 tries, 39078663 fired transitions, 1300 secs || 32596320 markings, 129408216 edges, 24049 markings/sec, 1300 secs
lola: STP completed || 40 tries, 39223543 fired transitions, 1305 secs || 32716903 markings, 129950385 edges, 24117 markings/sec, 1305 secs
lola: STP completed || 40 tries, 39368438 fired transitions, 1310 secs || 32835023 markings, 130503530 edges, 23624 markings/sec, 1310 secs
lola: STP completed || 40 tries, 39515649 fired transitions, 1315 secs || 32955488 markings, 130999134 edges, 24093 markings/sec, 1315 secs
lola: STP completed || 40 tries, 39671472 fired transitions, 1320 secs || 33078816 markings, 131522774 edges, 24666 markings/sec, 1320 secs
lola: STP completed || 40 tries, 39820914 fired transitions, 1325 secs || 33198473 markings, 132054276 edges, 23931 markings/sec, 1325 secs
lola: STP completed || 40 tries, 39968687 fired transitions, 1330 secs || 33316518 markings, 132606682 edges, 23609 markings/sec, 1330 secs
lola: STP completed || 41 tries, 40129757 fired transitions, 1335 secs || 33444019 markings, 133204830 edges, 25500 markings/sec, 1335 secs
lola: STP completed || 41 tries, 40277943 fired transitions, 1340 secs || 33563107 markings, 133713302 edges, 23818 markings/sec, 1340 secs
lola: STP completed || 41 tries, 40426372 fired transitions, 1345 secs || 33680040 markings, 134266148 edges, 23387 markings/sec, 1345 secs
lola: STP completed || 41 tries, 40575560 fired transitions, 1350 secs || 33794578 markings, 134818000 edges, 22908 markings/sec, 1350 secs
lola: STP completed || 41 tries, 40727172 fired transitions, 1355 secs || 33910497 markings, 135364090 edges, 23184 markings/sec, 1355 secs
lola: STP completed || 41 tries, 40888374 fired transitions, 1360 secs || 34033236 markings, 135963312 edges, 24548 markings/sec, 1360 secs
lola: STP completed || 42 tries, 41048164 fired transitions, 1365 secs || 34155320 markings, 136558699 edges, 24417 markings/sec, 1365 secs
lola: STP completed || 42 tries, 41204708 fired transitions, 1370 secs || 34280275 markings, 137155841 edges, 24991 markings/sec, 1370 secs
lola: STP completed || 42 tries, 41359645 fired transitions, 1375 secs || 34404945 markings, 137710180 edges, 24934 markings/sec, 1375 secs
lola: STP completed || 42 tries, 41505550 fired transitions, 1380 secs || 34520488 markings, 138220336 edges, 23109 markings/sec, 1380 secs
lola: STP completed || 42 tries, 41650847 fired transitions, 1385 secs || 34638763 markings, 138719506 edges, 23655 markings/sec, 1385 secs
lola: STP completed || 42 tries, 41796110 fired transitions, 1390 secs || 34754717 markings, 139277623 edges, 23191 markings/sec, 1390 secs
lola: STP completed || 42 tries, 41939279 fired transitions, 1395 secs || 34867367 markings, 139757588 edges, 22530 markings/sec, 1395 secs
lola: STP completed || 43 tries, 42083715 fired transitions, 1400 secs || 34984178 markings, 140279279 edges, 23362 markings/sec, 1400 secs
lola: STP completed || 43 tries, 42229260 fired transitions, 1405 secs || 35099649 markings, 140799629 edges, 23094 markings/sec, 1405 secs
lola: STP completed || 43 tries, 42374977 fired transitions, 1410 secs || 35213852 markings, 141317727 edges, 22841 markings/sec, 1410 secs
lola: STP completed || 43 tries, 42517528 fired transitions, 1415 secs || 35331756 markings, 141852800 edges, 23581 markings/sec, 1415 secs
lola: STP completed || 43 tries, 42666930 fired transitions, 1420 secs || 35450519 markings, 142389251 edges, 23753 markings/sec, 1420 secs
lola: STP completed || 43 tries, 42822494 fired transitions, 1425 secs || 35575221 markings, 142967414 edges, 24940 markings/sec, 1425 secs
lola: STP completed || 43 tries, 42967379 fired transitions, 1430 secs || 35693412 markings, 143480598 edges, 23638 markings/sec, 1430 secs
lola: STP completed || 44 tries, 43114718 fired transitions, 1435 secs || 35813338 markings, 143977594 edges, 23985 markings/sec, 1435 secs
lola: STP completed || 44 tries, 43263020 fired transitions, 1440 secs || 35930355 markings, 144490341 edges, 23403 markings/sec, 1440 secs
lola: STP completed || 44 tries, 43411433 fired transitions, 1445 secs || 36047309 markings, 145066870 edges, 23391 markings/sec, 1445 secs
lola: STP completed || 44 tries, 43559560 fired transitions, 1450 secs || 36164496 markings, 145613945 edges, 23437 markings/sec, 1450 secs
lola: STP completed || 44 tries, 43709112 fired transitions, 1455 secs || 36283607 markings, 146181035 edges, 23822 markings/sec, 1455 secs
lola: STP completed || 44 tries, 43868843 fired transitions, 1460 secs || 36408513 markings, 146746921 edges, 24981 markings/sec, 1460 secs
lola: STP completed || 45 tries, 44017028 fired transitions, 1465 secs || 36527073 markings, 147266171 edges, 23712 markings/sec, 1465 secs
lola: STP completed || 45 tries, 44166741 fired transitions, 1470 secs || 36644390 markings, 147811451 edges, 23463 markings/sec, 1470 secs
lola: STP completed || 45 tries, 44315818 fired transitions, 1475 secs || 36764735 markings, 148318516 edges, 24069 markings/sec, 1475 secs
lola: STP completed || 45 tries, 44465083 fired transitions, 1480 secs || 36881933 markings, 148868453 edges, 23440 markings/sec, 1480 secs
lola: STP completed || 45 tries, 44614396 fired transitions, 1485 secs || 36998585 markings, 149405760 edges, 23330 markings/sec, 1485 secs
lola: STP completed || 45 tries, 44763795 fired transitions, 1490 secs || 37117274 markings, 149917147 edges, 23738 markings/sec, 1490 secs
lola: STP completed || 45 tries, 44913165 fired transitions, 1495 secs || 37238045 markings, 150393238 edges, 24154 markings/sec, 1495 secs
lola: STP completed || 46 tries, 45060582 fired transitions, 1500 secs || 37362182 markings, 150816356 edges, 24827 markings/sec, 1500 secs
lola: STP completed || 46 tries, 45207103 fired transitions, 1505 secs || 37484701 markings, 151283682 edges, 24504 markings/sec, 1505 secs
lola: STP completed || 46 tries, 45354741 fired transitions, 1510 secs || 37605540 markings, 151734759 edges, 24168 markings/sec, 1510 secs
lola: STP completed || 46 tries, 45502550 fired transitions, 1515 secs || 37726016 markings, 152202415 edges, 24095 markings/sec, 1515 secs
lola: STP completed || 46 tries, 45653997 fired transitions, 1520 secs || 37851056 markings, 152645961 edges, 25008 markings/sec, 1520 secs
lola: STP completed || 46 tries, 45800714 fired transitions, 1525 secs || 37972815 markings, 153111625 edges, 24352 markings/sec, 1525 secs
lola: STP completed || 46 tries, 45946935 fired transitions, 1530 secs || 38093647 markings, 153607944 edges, 24166 markings/sec, 1530 secs
lola: STP completed || 47 tries, 46093518 fired transitions, 1535 secs || 38218166 markings, 154064047 edges, 24904 markings/sec, 1535 secs
lola: STP completed || 47 tries, 46240082 fired transitions, 1540 secs || 38342437 markings, 154571459 edges, 24854 markings/sec, 1540 secs
lola: STP completed || 47 tries, 46386790 fired transitions, 1545 secs || 38464342 markings, 155117076 edges, 24381 markings/sec, 1545 secs
lola: STP completed || 47 tries, 46535028 fired transitions, 1550 secs || 38586325 markings, 155620386 edges, 24397 markings/sec, 1550 secs
lola: STP completed || 47 tries, 46682738 fired transitions, 1555 secs || 38710170 markings, 156069054 edges, 24769 markings/sec, 1555 secs
lola: STP completed || 47 tries, 46829374 fired transitions, 1560 secs || 38834531 markings, 156544557 edges, 24872 markings/sec, 1560 secs
lola: STP completed || 47 tries, 46972706 fired transitions, 1565 secs || 38961371 markings, 157050682 edges, 25368 markings/sec, 1565 secs
lola: STP completed || 48 tries, 47116618 fired transitions, 1570 secs || 39082507 markings, 157549520 edges, 24227 markings/sec, 1570 secs
lola: STP completed || 48 tries, 47260824 fired transitions, 1575 secs || 39203432 markings, 158048133 edges, 24185 markings/sec, 1575 secs
lola: STP completed || 48 tries, 47404745 fired transitions, 1580 secs || 39324486 markings, 158604218 edges, 24211 markings/sec, 1580 secs
lola: STP completed || 48 tries, 47562417 fired transitions, 1585 secs || 39454355 markings, 159149217 edges, 25974 markings/sec, 1585 secs
lola: STP completed || 48 tries, 47709527 fired transitions, 1590 secs || 39578491 markings, 159617806 edges, 24827 markings/sec, 1590 secs
lola: STP completed || 48 tries, 47857207 fired transitions, 1595 secs || 39701803 markings, 160110116 edges, 24662 markings/sec, 1595 secs
lola: STP completed || 49 tries, 48004815 fired transitions, 1600 secs || 39823621 markings, 160622737 edges, 24364 markings/sec, 1600 secs
lola: STP completed || 49 tries, 48152836 fired transitions, 1605 secs || 39943718 markings, 161060632 edges, 24019 markings/sec, 1605 secs
lola: STP completed || 49 tries, 48311787 fired transitions, 1610 secs || 40074218 markings, 161540318 edges, 26100 markings/sec, 1610 secs
lola: STP completed || 49 tries, 48455415 fired transitions, 1615 secs || 40195131 markings, 162016847 edges, 24183 markings/sec, 1615 secs
lola: STP completed || 49 tries, 48598742 fired transitions, 1620 secs || 40321300 markings, 162516633 edges, 25234 markings/sec, 1620 secs
lola: STP completed || 49 tries, 48741453 fired transitions, 1625 secs || 40448397 markings, 162958731 edges, 25419 markings/sec, 1625 secs
lola: STP completed || 49 tries, 48885006 fired transitions, 1630 secs || 40574440 markings, 163453008 edges, 25209 markings/sec, 1630 secs
lola: STP completed || 50 tries, 49028245 fired transitions, 1635 secs || 40699804 markings, 163968084 edges, 25073 markings/sec, 1635 secs
lola: STP completed || 50 tries, 49169832 fired transitions, 1640 secs || 40824035 markings, 164510627 edges, 24846 markings/sec, 1640 secs
lola: STP completed || 50 tries, 49310956 fired transitions, 1645 secs || 40948429 markings, 165056879 edges, 24879 markings/sec, 1645 secs
lola: STP completed || 50 tries, 49451879 fired transitions, 1650 secs || 41076047 markings, 165544986 edges, 25524 markings/sec, 1650 secs
lola: STP completed || 50 tries, 49595448 fired transitions, 1655 secs || 41198289 markings, 166090424 edges, 24448 markings/sec, 1655 secs
lola: STP completed || 50 tries, 49740080 fired transitions, 1660 secs || 41321446 markings, 166591407 edges, 24631 markings/sec, 1660 secs
lola: STP completed || 50 tries, 49884954 fired transitions, 1665 secs || 41444183 markings, 167103644 edges, 24547 markings/sec, 1665 secs
lola: STP completed || 51 tries, 50030806 fired transitions, 1670 secs || 41566890 markings, 167605621 edges, 24541 markings/sec, 1670 secs
lola: STP completed || 51 tries, 50180745 fired transitions, 1675 secs || 41687373 markings, 168126482 edges, 24097 markings/sec, 1675 secs
lola: STP completed || 51 tries, 50330905 fired transitions, 1680 secs || 41806869 markings, 168659670 edges, 23899 markings/sec, 1680 secs
lola: STP completed || 51 tries, 50481073 fired transitions, 1685 secs || 41927484 markings, 169172371 edges, 24123 markings/sec, 1685 secs
lola: STP completed || 51 tries, 50631294 fired transitions, 1690 secs || 42048087 markings, 169682923 edges, 24121 markings/sec, 1690 secs
lola: STP completed || 51 tries, 50781726 fired transitions, 1695 secs || 42167227 markings, 170218678 edges, 23828 markings/sec, 1695 secs
lola: STP completed || 51 tries, 50929077 fired transitions, 1700 secs || 42289676 markings, 170746660 edges, 24490 markings/sec, 1700 secs
lola: STP completed || 52 tries, 51078384 fired transitions, 1705 secs || 42408454 markings, 171285961 edges, 23756 markings/sec, 1705 secs
lola: STP completed || 52 tries, 51227166 fired transitions, 1710 secs || 42527686 markings, 171809541 edges, 23846 markings/sec, 1710 secs
lola: STP completed || 52 tries, 51375779 fired transitions, 1715 secs || 42647798 markings, 172350373 edges, 24022 markings/sec, 1715 secs
lola: STP completed || 52 tries, 51524537 fired transitions, 1720 secs || 42767608 markings, 172898297 edges, 23962 markings/sec, 1720 secs
lola: STP completed || 52 tries, 51673196 fired transitions, 1725 secs || 42887532 markings, 173429233 edges, 23985 markings/sec, 1725 secs
lola: STP completed || 52 tries, 51827190 fired transitions, 1730 secs || 43010212 markings, 173961242 edges, 24536 markings/sec, 1730 secs
lola: STP completed || 52 tries, 51977823 fired transitions, 1735 secs || 43127738 markings, 174465545 edges, 23505 markings/sec, 1735 secs
lola: STP completed || 53 tries, 52125706 fired transitions, 1740 secs || 43243695 markings, 174957523 edges, 23191 markings/sec, 1740 secs
lola: STP completed || 53 tries, 52273040 fired transitions, 1745 secs || 43361212 markings, 175429119 edges, 23503 markings/sec, 1745 secs
lola: STP completed || 53 tries, 52426031 fired transitions, 1750 secs || 43483669 markings, 175973873 edges, 24491 markings/sec, 1750 secs
lola: STP completed || 53 tries, 52580636 fired transitions, 1755 secs || 43609859 markings, 176491612 edges, 25238 markings/sec, 1755 secs
lola: STP completed || 53 tries, 52726161 fired transitions, 1760 secs || 43728340 markings, 176953608 edges, 23696 markings/sec, 1760 secs
lola: STP completed || 53 tries, 52872127 fired transitions, 1765 secs || 43845611 markings, 177468679 edges, 23454 markings/sec, 1765 secs
lola: STP completed || 54 tries, 53029673 fired transitions, 1770 secs || 43973704 markings, 178016817 edges, 25619 markings/sec, 1770 secs
lola: STP completed || 54 tries, 53176540 fired transitions, 1775 secs || 44095521 markings, 178551945 edges, 24363 markings/sec, 1775 secs
lola: STP completed || 54 tries, 53320127 fired transitions, 1780 secs || 44214762 markings, 179051057 edges, 23848 markings/sec, 1780 secs
lola: STP completed || 54 tries, 53463704 fired transitions, 1785 secs || 44334328 markings, 179536514 edges, 23913 markings/sec, 1785 secs
lola: STP completed || 54 tries, 53607122 fired transitions, 1790 secs || 44453324 markings, 180034183 edges, 23799 markings/sec, 1790 secs
lola: STP completed || 54 tries, 53748891 fired transitions, 1795 secs || 44574508 markings, 180537734 edges, 24237 markings/sec, 1795 secs
lola: STP completed || 54 tries, 53892134 fired transitions, 1800 secs || 44695094 markings, 181050838 edges, 24117 markings/sec, 1800 secs
lola: STP completed || 55 tries, 54035302 fired transitions, 1805 secs || 44811948 markings, 181664982 edges, 23371 markings/sec, 1805 secs
lola: STP completed || 55 tries, 54178847 fired transitions, 1810 secs || 44935149 markings, 182152043 edges, 24640 markings/sec, 1810 secs
lola: STP completed || 55 tries, 54323837 fired transitions, 1815 secs || 45056246 markings, 182637163 edges, 24219 markings/sec, 1815 secs
lola: STP completed || 55 tries, 54468994 fired transitions, 1820 secs || 45173952 markings, 183193488 edges, 23541 markings/sec, 1820 secs
lola: STP completed || 55 tries, 54614251 fired transitions, 1825 secs || 45290363 markings, 183754183 edges, 23282 markings/sec, 1825 secs
lola: STP completed || 55 tries, 54760819 fired transitions, 1830 secs || 45407475 markings, 184308907 edges, 23422 markings/sec, 1830 secs
lola: STP completed || 55 tries, 54906682 fired transitions, 1835 secs || 45523797 markings, 184896768 edges, 23264 markings/sec, 1835 secs
lola: STP completed || 56 tries, 55051656 fired transitions, 1840 secs || 45646814 markings, 185328347 edges, 24603 markings/sec, 1840 secs
lola: STP completed || 56 tries, 55198844 fired transitions, 1845 secs || 45767846 markings, 185821160 edges, 24206 markings/sec, 1845 secs
lola: STP completed || 56 tries, 55344454 fired transitions, 1850 secs || 45889306 markings, 186288450 edges, 24292 markings/sec, 1850 secs
lola: STP completed || 56 tries, 55490972 fired transitions, 1855 secs || 46009387 markings, 186778415 edges, 24016 markings/sec, 1855 secs
lola: STP completed || 56 tries, 55637534 fired transitions, 1860 secs || 46128805 markings, 187272284 edges, 23884 markings/sec, 1860 secs
lola: STP completed || 56 tries, 55782839 fired transitions, 1865 secs || 46251894 markings, 187700511 edges, 24618 markings/sec, 1865 secs
lola: STP completed || 56 tries, 55928632 fired transitions, 1870 secs || 46372497 markings, 188160868 edges, 24121 markings/sec, 1870 secs
lola: STP completed || 57 tries, 56076485 fired transitions, 1875 secs || 46492868 markings, 188643253 edges, 24074 markings/sec, 1875 secs
lola: STP completed || 57 tries, 56225955 fired transitions, 1880 secs || 46611839 markings, 189188790 edges, 23794 markings/sec, 1880 secs
lola: STP completed || 57 tries, 56374020 fired transitions, 1885 secs || 46734482 markings, 189686154 edges, 24529 markings/sec, 1885 secs
lola: STP completed || 57 tries, 56520233 fired transitions, 1890 secs || 46853847 markings, 190288856 edges, 23873 markings/sec, 1890 secs
lola: STP completed || 57 tries, 56665882 fired transitions, 1895 secs || 46977824 markings, 190813724 edges, 24795 markings/sec, 1895 secs
lola: STP completed || 57 tries, 56812478 fired transitions, 1900 secs || 47096593 markings, 191323795 edges, 23754 markings/sec, 1900 secs
lola: STP completed || 57 tries, 56958528 fired transitions, 1905 secs || 47220666 markings, 191841811 edges, 24815 markings/sec, 1905 secs
lola: STP completed || 58 tries, 57101944 fired transitions, 1910 secs || 47342520 markings, 192386268 edges, 24371 markings/sec, 1910 secs
lola: STP completed || 58 tries, 57244637 fired transitions, 1915 secs || 47465107 markings, 192893560 edges, 24517 markings/sec, 1915 secs
lola: STP completed || 58 tries, 57388052 fired transitions, 1920 secs || 47585356 markings, 193462910 edges, 24050 markings/sec, 1920 secs
lola: STP completed || 58 tries, 57530142 fired transitions, 1925 secs || 47707043 markings, 194002555 edges, 24337 markings/sec, 1925 secs
lola: STP completed || 58 tries, 57672344 fired transitions, 1930 secs || 47829249 markings, 194522198 edges, 24441 markings/sec, 1930 secs
lola: STP completed || 58 tries, 57815355 fired transitions, 1935 secs || 47949286 markings, 195083901 edges, 24007 markings/sec, 1935 secs
lola: STP completed || 58 tries, 57957372 fired transitions, 1940 secs || 48068492 markings, 195625435 edges, 23841 markings/sec, 1940 secs
lola: STP completed || 59 tries, 58102774 fired transitions, 1945 secs || 48190454 markings, 196135793 edges, 24392 markings/sec, 1945 secs
lola: STP completed || 59 tries, 58249113 fired transitions, 1950 secs || 48313885 markings, 196640086 edges, 24686 markings/sec, 1950 secs
lola: STP completed || 59 tries, 58394741 fired transitions, 1955 secs || 48437119 markings, 197149520 edges, 24647 markings/sec, 1955 secs
lola: STP completed || 59 tries, 58540989 fired transitions, 1960 secs || 48558393 markings, 197700733 edges, 24255 markings/sec, 1960 secs
lola: STP completed || 59 tries, 58687487 fired transitions, 1965 secs || 48680599 markings, 198217703 edges, 24441 markings/sec, 1965 secs
lola: STP completed || 59 tries, 58837033 fired transitions, 1970 secs || 48800311 markings, 198719521 edges, 23942 markings/sec, 1970 secs
lola: STP completed || 59 tries, 58983724 fired transitions, 1975 secs || 48923407 markings, 199224924 edges, 24619 markings/sec, 1975 secs
lola: STP completed || 60 tries, 59129305 fired transitions, 1980 secs || 49042435 markings, 199755591 edges, 23806 markings/sec, 1980 secs
lola: STP completed || 60 tries, 59274237 fired transitions, 1985 secs || 49162079 markings, 200284609 edges, 23929 markings/sec, 1985 secs
lola: STP completed || 60 tries, 59417959 fired transitions, 1990 secs || 49283087 markings, 200778731 edges, 24202 markings/sec, 1990 secs
lola: STP completed || 60 tries, 59558632 fired transitions, 1995 secs || 49406478 markings, 201288210 edges, 24678 markings/sec, 1995 secs
lola: STP completed || 60 tries, 59699900 fired transitions, 2000 secs || 49530001 markings, 201800794 edges, 24705 markings/sec, 2000 secs
lola: STP completed || 60 tries, 59841802 fired transitions, 2005 secs || 49651712 markings, 202362988 edges, 24342 markings/sec, 2005 secs
lola: STP completed || 60 tries, 59983816 fired transitions, 2010 secs || 49772325 markings, 202936218 edges, 24123 markings/sec, 2010 secs
lola: STP completed || 61 tries, 60127910 fired transitions, 2015 secs || 49892584 markings, 203544833 edges, 24052 markings/sec, 2015 secs
lola: STP completed || 61 tries, 60271866 fired transitions, 2020 secs || 50013980 markings, 204123144 edges, 24279 markings/sec, 2020 secs
lola: STP completed || 61 tries, 60415385 fired transitions, 2025 secs || 50139445 markings, 204624710 edges, 25093 markings/sec, 2025 secs
lola: STP completed || 61 tries, 60559820 fired transitions, 2030 secs || 50261226 markings, 205194148 edges, 24356 markings/sec, 2030 secs
lola: STP completed || 61 tries, 60703853 fired transitions, 2035 secs || 50385116 markings, 205721555 edges, 24778 markings/sec, 2035 secs
lola: STP completed || 61 tries, 60848588 fired transitions, 2040 secs || 50507845 markings, 206276440 edges, 24546 markings/sec, 2040 secs
lola: STP completed || 61 tries, 60993178 fired transitions, 2045 secs || 50629979 markings, 206845750 edges, 24427 markings/sec, 2045 secs
lola: STP completed || 62 tries, 61145589 fired transitions, 2050 secs || 50750761 markings, 207387688 edges, 24156 markings/sec, 2050 secs
lola: STP completed || 62 tries, 61298658 fired transitions, 2055 secs || 50871733 markings, 207915430 edges, 24194 markings/sec, 2055 secs
lola: STP completed || 62 tries, 61450751 fired transitions, 2060 secs || 50991249 markings, 208477041 edges, 23903 markings/sec, 2060 secs
lola: STP completed || 62 tries, 61603419 fired transitions, 2065 secs || 51109377 markings, 209049628 edges, 23626 markings/sec, 2065 secs
lola: STP completed || 62 tries, 61754727 fired transitions, 2070 secs || 51229065 markings, 209623571 edges, 23938 markings/sec, 2070 secs
lola: STP completed || 62 tries, 61906585 fired transitions, 2075 secs || 51348074 markings, 210201064 edges, 23802 markings/sec, 2075 secs
lola: STP completed || 63 tries, 62054669 fired transitions, 2080 secs || 51468596 markings, 210769966 edges, 24104 markings/sec, 2080 secs
lola: STP completed || 63 tries, 62196975 fired transitions, 2085 secs || 51590876 markings, 211346059 edges, 24456 markings/sec, 2085 secs
lola: STP completed || 63 tries, 62339432 fired transitions, 2090 secs || 51712445 markings, 211910376 edges, 24314 markings/sec, 2090 secs
lola: STP completed || 63 tries, 62482291 fired transitions, 2095 secs || 51833492 markings, 212481969 edges, 24209 markings/sec, 2095 secs
lola: STP completed || 63 tries, 62625033 fired transitions, 2100 secs || 51953974 markings, 213067015 edges, 24096 markings/sec, 2100 secs
lola: STP completed || 63 tries, 62770377 fired transitions, 2105 secs || 52072747 markings, 213617624 edges, 23755 markings/sec, 2105 secs
lola: STP completed || 63 tries, 62915816 fired transitions, 2110 secs || 52190011 markings, 214188601 edges, 23453 markings/sec, 2110 secs
lola: STP completed || 64 tries, 63052986 fired transitions, 2115 secs || 52306882 markings, 214754936 edges, 23374 markings/sec, 2115 secs
lola: STP completed || 64 tries, 63193755 fired transitions, 2120 secs || 52422215 markings, 215305325 edges, 23067 markings/sec, 2120 secs
lola: STP completed || 64 tries, 63344539 fired transitions, 2125 secs || 52539339 markings, 215843394 edges, 23425 markings/sec, 2125 secs
lola: STP completed || 64 tries, 63495384 fired transitions, 2130 secs || 52656221 markings, 216398965 edges, 23376 markings/sec, 2130 secs
lola: STP completed || 64 tries, 63646223 fired transitions, 2135 secs || 52773199 markings, 216953958 edges, 23396 markings/sec, 2135 secs
lola: STP completed || 64 tries, 63796951 fired transitions, 2140 secs || 52889306 markings, 217519710 edges, 23221 markings/sec, 2140 secs
lola: STP completed || 64 tries, 63947425 fired transitions, 2145 secs || 53006046 markings, 218061402 edges, 23348 markings/sec, 2145 secs
lola: STP completed || 65 tries, 64094747 fired transitions, 2150 secs || 53121347 markings, 218613980 edges, 23060 markings/sec, 2150 secs
lola: STP completed || 65 tries, 64240353 fired transitions, 2155 secs || 53236911 markings, 219147153 edges, 23113 markings/sec, 2155 secs
lola: STP completed || 65 tries, 64394668 fired transitions, 2160 secs || 53353472 markings, 219708836 edges, 23312 markings/sec, 2160 secs
lola: STP completed || 65 tries, 64540387 fired transitions, 2165 secs || 53468458 markings, 220241307 edges, 22997 markings/sec, 2165 secs
lola: STP completed || 65 tries, 64686223 fired transitions, 2170 secs || 53584268 markings, 220750018 edges, 23162 markings/sec, 2170 secs
lola: STP completed || 65 tries, 64836581 fired transitions, 2175 secs || 53704707 markings, 221327447 edges, 24088 markings/sec, 2175 secs
lola: STP completed || 65 tries, 64994739 fired transitions, 2180 secs || 53830398 markings, 221903877 edges, 25138 markings/sec, 2180 secs
lola: STP completed || 66 tries, 65144928 fired transitions, 2185 secs || 53948056 markings, 222411274 edges, 23532 markings/sec, 2185 secs
lola: STP completed || 66 tries, 65295523 fired transitions, 2190 secs || 54065175 markings, 222935648 edges, 23424 markings/sec, 2190 secs
lola: STP completed || 66 tries, 65445889 fired transitions, 2195 secs || 54181148 markings, 223455725 edges, 23195 markings/sec, 2195 secs
lola: STP completed || 66 tries, 65596501 fired transitions, 2200 secs || 54298100 markings, 224008552 edges, 23390 markings/sec, 2200 secs
lola: STP completed || 66 tries, 65746832 fired transitions, 2205 secs || 54414584 markings, 224554204 edges, 23297 markings/sec, 2205 secs
lola: STP completed || 66 tries, 65910720 fired transitions, 2210 secs || 54541557 markings, 225134008 edges, 25395 markings/sec, 2210 secs
lola: STP completed || 67 tries, 66059215 fired transitions, 2215 secs || 54658000 markings, 225651140 edges, 23289 markings/sec, 2215 secs
lola: STP completed || 67 tries, 66204736 fired transitions, 2220 secs || 54777903 markings, 226159133 edges, 23981 markings/sec, 2220 secs
lola: STP completed || 67 tries, 66350535 fired transitions, 2225 secs || 54894551 markings, 226701840 edges, 23330 markings/sec, 2225 secs
lola: STP completed || 67 tries, 66495808 fired transitions, 2230 secs || 55012545 markings, 227203831 edges, 23599 markings/sec, 2230 secs
lola: STP completed || 67 tries, 66641099 fired transitions, 2235 secs || 55130488 markings, 227763879 edges, 23589 markings/sec, 2235 secs
lola: STP completed || 67 tries, 66787012 fired transitions, 2240 secs || 55248119 markings, 228324658 edges, 23526 markings/sec, 2240 secs
lola: STP completed || 67 tries, 66932382 fired transitions, 2245 secs || 55366558 markings, 228857246 edges, 23688 markings/sec, 2245 secs
lola: STP completed || 68 tries, 67080040 fired transitions, 2250 secs || 55484389 markings, 229408296 edges, 23566 markings/sec, 2250 secs
lola: STP completed || 68 tries, 67229340 fired transitions, 2255 secs || 55601843 markings, 229950038 edges, 23491 markings/sec, 2255 secs
lola: STP completed || 68 tries, 67378606 fired transitions, 2260 secs || 55716541 markings, 230527239 edges, 22940 markings/sec, 2260 secs
lola: STP completed || 68 tries, 67540606 fired transitions, 2265 secs || 55846620 markings, 231065022 edges, 26016 markings/sec, 2265 secs
lola: STP completed || 68 tries, 67689911 fired transitions, 2270 secs || 55963999 markings, 231596647 edges, 23476 markings/sec, 2270 secs
lola: STP completed || 68 tries, 67838469 fired transitions, 2275 secs || 56082371 markings, 232122484 edges, 23674 markings/sec, 2275 secs
lola: STP completed || 68 tries, 67992919 fired transitions, 2280 secs || 56209390 markings, 232607324 edges, 25404 markings/sec, 2280 secs
lola: STP completed || 69 tries, 68139943 fired transitions, 2285 secs || 56330155 markings, 233128158 edges, 24153 markings/sec, 2285 secs
lola: STP completed || 69 tries, 68292096 fired transitions, 2290 secs || 56456520 markings, 233635511 edges, 25273 markings/sec, 2290 secs
lola: STP completed || 69 tries, 68439199 fired transitions, 2295 secs || 56572231 markings, 234137174 edges, 23142 markings/sec, 2295 secs
lola: STP completed || 69 tries, 68585918 fired transitions, 2300 secs || 56691861 markings, 234663054 edges, 23926 markings/sec, 2300 secs
lola: STP completed || 69 tries, 68730788 fired transitions, 2305 secs || 56815801 markings, 235119761 edges, 24788 markings/sec, 2305 secs
lola: STP completed || 69 tries, 68874283 fired transitions, 2310 secs || 56937978 markings, 235679600 edges, 24435 markings/sec, 2310 secs
lola: STP completed || 70 tries, 69033122 fired transitions, 2315 secs || 57068259 markings, 236237655 edges, 26056 markings/sec, 2315 secs
lola: STP completed || 70 tries, 69181338 fired transitions, 2320 secs || 57191381 markings, 236732642 edges, 24624 markings/sec, 2320 secs
lola: STP completed || 70 tries, 69326810 fired transitions, 2325 secs || 57311577 markings, 237261347 edges, 24039 markings/sec, 2325 secs
lola: STP completed || 70 tries, 69472220 fired transitions, 2330 secs || 57429470 markings, 237833345 edges, 23579 markings/sec, 2330 secs
lola: STP completed || 70 tries, 69617604 fired transitions, 2335 secs || 57548536 markings, 238376467 edges, 23813 markings/sec, 2335 secs
lola: STP completed || 70 tries, 69762986 fired transitions, 2340 secs || 57667886 markings, 238935339 edges, 23870 markings/sec, 2340 secs
lola: STP completed || 70 tries, 69908559 fired transitions, 2345 secs || 57788401 markings, 239456844 edges, 24103 markings/sec, 2345 secs
lola: STP completed || 71 tries, 70068939 fired transitions, 2350 secs || 57917319 markings, 240038454 edges, 25784 markings/sec, 2350 secs
lola: STP completed || 71 tries, 70219196 fired transitions, 2355 secs || 58038727 markings, 240542360 edges, 24282 markings/sec, 2355 secs
lola: STP completed || 71 tries, 70370037 fired transitions, 2360 secs || 58156955 markings, 241121860 edges, 23646 markings/sec, 2360 secs
lola: STP completed || 71 tries, 70520584 fired transitions, 2365 secs || 58274392 markings, 241714818 edges, 23487 markings/sec, 2365 secs
lola: STP completed || 71 tries, 70670734 fired transitions, 2370 secs || 58395413 markings, 242242693 edges, 24204 markings/sec, 2370 secs
lola: STP completed || 71 tries, 70820955 fired transitions, 2375 secs || 58515959 markings, 242759178 edges, 24109 markings/sec, 2375 secs
lola: STP completed || 71 tries, 70971531 fired transitions, 2380 secs || 58634031 markings, 243311691 edges, 23614 markings/sec, 2380 secs
lola: STP completed || 72 tries, 71133419 fired transitions, 2385 secs || 58762527 markings, 243867217 edges, 25699 markings/sec, 2385 secs
lola: STP completed || 72 tries, 71281258 fired transitions, 2390 secs || 58882419 markings, 244383868 edges, 23978 markings/sec, 2390 secs
lola: STP completed || 72 tries, 71429922 fired transitions, 2395 secs || 59002823 markings, 244888522 edges, 24081 markings/sec, 2395 secs
lola: STP completed || 72 tries, 71577965 fired transitions, 2400 secs || 59123718 markings, 245399575 edges, 24179 markings/sec, 2400 secs
lola: STP completed || 72 tries, 71734178 fired transitions, 2405 secs || 59247625 markings, 245971121 edges, 24781 markings/sec, 2405 secs
lola: STP completed || 72 tries, 71882880 fired transitions, 2410 secs || 59364821 markings, 246517082 edges, 23439 markings/sec, 2410 secs
lola: STP completed || 73 tries, 72043134 fired transitions, 2415 secs || 59494008 markings, 247087801 edges, 25837 markings/sec, 2415 secs
lola: STP completed || 73 tries, 72188277 fired transitions, 2420 secs || 59613626 markings, 247616847 edges, 23924 markings/sec, 2420 secs
lola: STP completed || 73 tries, 72333018 fired transitions, 2425 secs || 59734447 markings, 248124171 edges, 24164 markings/sec, 2425 secs
lola: STP completed || 73 tries, 72478238 fired transitions, 2430 secs || 59853184 markings, 248671871 edges, 23747 markings/sec, 2430 secs
lola: STP completed || 73 tries, 72623313 fired transitions, 2435 secs || 59972520 markings, 249202832 edges, 23867 markings/sec, 2435 secs
lola: STP completed || 73 tries, 72768218 fired transitions, 2440 secs || 60092315 markings, 249743785 edges, 23959 markings/sec, 2440 secs
lola: STP completed || 73 tries, 72912514 fired transitions, 2445 secs || 60212555 markings, 250230884 edges, 24048 markings/sec, 2445 secs
lola: STP completed || 74 tries, 73076780 fired transitions, 2450 secs || 60330967 markings, 250750357 edges, 23682 markings/sec, 2450 secs
lola: STP completed || 74 tries, 73265622 fired transitions, 2455 secs || 60447932 markings, 251277630 edges, 23393 markings/sec, 2455 secs
lola: STP completed || 74 tries, 73478136 fired transitions, 2460 secs || 60561528 markings, 251831630 edges, 22719 markings/sec, 2460 secs
lola: STP completed || 74 tries, 73707291 fired transitions, 2465 secs || 60684182 markings, 252447843 edges, 24531 markings/sec, 2465 secs
lola: STP completed || 74 tries, 73939306 fired transitions, 2470 secs || 60808193 markings, 253097157 edges, 24802 markings/sec, 2470 secs
lola: STP completed || 75 tries, 74118798 fired transitions, 2475 secs || 60936624 markings, 253681174 edges, 25686 markings/sec, 2475 secs
lola: STP completed || 75 tries, 74279718 fired transitions, 2480 secs || 61067489 markings, 254257811 edges, 26173 markings/sec, 2480 secs
lola: STP completed || 75 tries, 74432398 fired transitions, 2485 secs || 61188824 markings, 254793493 edges, 24267 markings/sec, 2485 secs
lola: STP completed || 75 tries, 74581096 fired transitions, 2490 secs || 61306016 markings, 255319185 edges, 23438 markings/sec, 2490 secs
lola: STP completed || 75 tries, 74730191 fired transitions, 2495 secs || 61421359 markings, 255879980 edges, 23069 markings/sec, 2495 secs
lola: STP completed || 75 tries, 74878792 fired transitions, 2500 secs || 61537395 markings, 256438190 edges, 23207 markings/sec, 2500 secs
lola: STP completed || 76 tries, 75028027 fired transitions, 2505 secs || 61654750 markings, 256953850 edges, 23471 markings/sec, 2505 secs
lola: STP completed || 76 tries, 75179512 fired transitions, 2510 secs || 61772030 markings, 257503134 edges, 23456 markings/sec, 2510 secs
lola: STP completed || 76 tries, 75331198 fired transitions, 2515 secs || 61888649 markings, 258067873 edges, 23324 markings/sec, 2515 secs
lola: STP completed || 76 tries, 75483105 fired transitions, 2520 secs || 62003651 markings, 258642508 edges, 23000 markings/sec, 2520 secs
lola: STP completed || 76 tries, 75635015 fired transitions, 2525 secs || 62119516 markings, 259221130 edges, 23173 markings/sec, 2525 secs
lola: STP completed || 76 tries, 75786682 fired transitions, 2530 secs || 62236170 markings, 259787715 edges, 23331 markings/sec, 2530 secs
lola: STP completed || 76 tries, 75938174 fired transitions, 2535 secs || 62353811 markings, 260345062 edges, 23528 markings/sec, 2535 secs
lola: STP completed || 77 tries, 76089276 fired transitions, 2540 secs || 62472387 markings, 260914204 edges, 23715 markings/sec, 2540 secs
lola: STP completed || 77 tries, 76247213 fired transitions, 2545 secs || 62598635 markings, 261522077 edges, 25250 markings/sec, 2545 secs
lola: STP completed || 77 tries, 76405007 fired transitions, 2550 secs || 62723676 markings, 262149235 edges, 25008 markings/sec, 2550 secs
lola: STP completed || 77 tries, 76563178 fired transitions, 2555 secs || 62850555 markings, 262748664 edges, 25376 markings/sec, 2555 secs
lola: STP completed || 77 tries, 76721039 fired transitions, 2560 secs || 62975232 markings, 263370051 edges, 24935 markings/sec, 2560 secs
lola: STP completed || 77 tries, 76879128 fired transitions, 2565 secs || 63099655 markings, 263985417 edges, 24885 markings/sec, 2565 secs
lola: STP completed || 78 tries, 77034684 fired transitions, 2570 secs || 63224565 markings, 264574693 edges, 24982 markings/sec, 2570 secs
lola: STP completed || 78 tries, 77192253 fired transitions, 2575 secs || 63350953 markings, 265198610 edges, 25278 markings/sec, 2575 secs
lola: STP completed || 78 tries, 77349006 fired transitions, 2580 secs || 63477025 markings, 265818520 edges, 25214 markings/sec, 2580 secs
lola: STP completed || 78 tries, 77494091 fired transitions, 2585 secs || 63592811 markings, 266378368 edges, 23157 markings/sec, 2585 secs
lola: STP completed || 78 tries, 77649162 fired transitions, 2590 secs || 63715638 markings, 266947210 edges, 24565 markings/sec, 2590 secs
lola: STP completed || 78 tries, 77796305 fired transitions, 2595 secs || 63828747 markings, 267489476 edges, 22622 markings/sec, 2595 secs
lola: STP completed || 78 tries, 77943272 fired transitions, 2600 secs || 63941806 markings, 268044616 edges, 22612 markings/sec, 2600 secs
lola: STP completed || 79 tries, 78092890 fired transitions, 2605 secs || 64054847 markings, 268600376 edges, 22608 markings/sec, 2605 secs
lola: STP completed || 79 tries, 78244221 fired transitions, 2610 secs || 64169893 markings, 269120565 edges, 23009 markings/sec, 2610 secs
lola: STP completed || 79 tries, 78395062 fired transitions, 2615 secs || 64286885 markings, 269624085 edges, 23398 markings/sec, 2615 secs
lola: STP completed || 79 tries, 78540719 fired transitions, 2620 secs || 64402787 markings, 270145390 edges, 23180 markings/sec, 2620 secs
lola: STP completed || 79 tries, 78693336 fired transitions, 2625 secs || 64520721 markings, 270676737 edges, 23587 markings/sec, 2625 secs
lola: STP completed || 79 tries, 78855252 fired transitions, 2630 secs || 64645886 markings, 271231041 edges, 25033 markings/sec, 2630 secs
lola: STP completed || 80 tries, 79016665 fired transitions, 2635 secs || 64772057 markings, 271785932 edges, 25234 markings/sec, 2635 secs
lola: STP completed || 80 tries, 79174237 fired transitions, 2640 secs || 64896436 markings, 272379584 edges, 24876 markings/sec, 2640 secs
lola: STP completed || 80 tries, 79331720 fired transitions, 2645 secs || 65021243 markings, 272935369 edges, 24961 markings/sec, 2645 secs
lola: STP completed || 80 tries, 79489266 fired transitions, 2650 secs || 65147782 markings, 273464148 edges, 25308 markings/sec, 2650 secs
lola: STP completed || 80 tries, 79645166 fired transitions, 2655 secs || 65271956 markings, 274041222 edges, 24835 markings/sec, 2655 secs
lola: STP completed || 80 tries, 79792183 fired transitions, 2660 secs || 65387558 markings, 274545085 edges, 23120 markings/sec, 2660 secs
lola: STP completed || 80 tries, 79938957 fired transitions, 2665 secs || 65503467 markings, 275076015 edges, 23182 markings/sec, 2665 secs
lola: STP completed || 81 tries, 80086338 fired transitions, 2670 secs || 65619328 markings, 275596446 edges, 23172 markings/sec, 2670 secs
lola: STP completed || 81 tries, 80234215 fired transitions, 2675 secs || 65733945 markings, 276147095 edges, 22923 markings/sec, 2675 secs
lola: STP completed || 81 tries, 80382208 fired transitions, 2680 secs || 65848288 markings, 276712737 edges, 22869 markings/sec, 2680 secs
lola: STP completed || 81 tries, 80529780 fired transitions, 2685 secs || 65963584 markings, 277272166 edges, 23059 markings/sec, 2685 secs
lola: STP completed || 81 tries, 80677210 fired transitions, 2690 secs || 66080751 markings, 277826872 edges, 23433 markings/sec, 2690 secs
lola: STP completed || 81 tries, 80824920 fired transitions, 2695 secs || 66195046 markings, 278389941 edges, 22859 markings/sec, 2695 secs
lola: STP completed || 81 tries, 80971950 fired transitions, 2700 secs || 66313593 markings, 278909362 edges, 23709 markings/sec, 2700 secs
lola: STP completed || 82 tries, 81121887 fired transitions, 2705 secs || 66432686 markings, 279425864 edges, 23819 markings/sec, 2705 secs
lola: STP completed || 82 tries, 81272785 fired transitions, 2710 secs || 66548925 markings, 279965825 edges, 23248 markings/sec, 2710 secs
lola: STP completed || 82 tries, 81423876 fired transitions, 2715 secs || 66663163 markings, 280530431 edges, 22848 markings/sec, 2715 secs
lola: STP completed || 82 tries, 81585044 fired transitions, 2720 secs || 66788622 markings, 281116824 edges, 25092 markings/sec, 2720 secs
lola: STP completed || 82 tries, 81747215 fired transitions, 2725 secs || 66914916 markings, 281726747 edges, 25259 markings/sec, 2725 secs
lola: STP completed || 82 tries, 81897608 fired transitions, 2730 secs || 67029198 markings, 282282030 edges, 22856 markings/sec, 2730 secs
lola: STP completed || 83 tries, 82046114 fired transitions, 2735 secs || 67149711 markings, 282805704 edges, 24103 markings/sec, 2735 secs
lola: STP completed || 83 tries, 82193478 fired transitions, 2740 secs || 67270960 markings, 283331640 edges, 24250 markings/sec, 2740 secs
lola: STP completed || 83 tries, 82341163 fired transitions, 2745 secs || 67390274 markings, 283899107 edges, 23863 markings/sec, 2745 secs
lola: STP completed || 83 tries, 82488236 fired transitions, 2750 secs || 67512287 markings, 284419003 edges, 24403 markings/sec, 2750 secs
lola: STP completed || 83 tries, 82635936 fired transitions, 2755 secs || 67631842 markings, 284969228 edges, 23911 markings/sec, 2755 secs
lola: STP completed || 83 tries, 82784696 fired transitions, 2760 secs || 67751381 markings, 285522238 edges, 23908 markings/sec, 2760 secs
lola: STP completed || 83 tries, 82935483 fired transitions, 2765 secs || 67864705 markings, 286061869 edges, 22665 markings/sec, 2765 secs
lola: STP completed || 84 tries, 83085628 fired transitions, 2770 secs || 67980339 markings, 286555355 edges, 23127 markings/sec, 2770 secs
lola: STP completed || 84 tries, 83226408 fired transitions, 2775 secs || 68097803 markings, 287085826 edges, 23493 markings/sec, 2775 secs
lola: STP completed || 84 tries, 83360957 fired transitions, 2780 secs || 68213130 markings, 287645899 edges, 23065 markings/sec, 2780 secs
lola: STP completed || 84 tries, 83505748 fired transitions, 2785 secs || 68327732 markings, 288213962 edges, 22920 markings/sec, 2785 secs
lola: STP completed || 84 tries, 83650895 fired transitions, 2790 secs || 68440323 markings, 288806677 edges, 22518 markings/sec, 2790 secs
lola: STP completed || 84 tries, 83804433 fired transitions, 2795 secs || 68557361 markings, 289325378 edges, 23408 markings/sec, 2795 secs
lola: STP completed || 84 tries, 83957557 fired transitions, 2800 secs || 68673821 markings, 289837431 edges, 23292 markings/sec, 2800 secs
lola: STP completed || 85 tries, 84110114 fired transitions, 2805 secs || 68788754 markings, 290411092 edges, 22987 markings/sec, 2805 secs
lola: STP completed || 85 tries, 84261686 fired transitions, 2810 secs || 68906142 markings, 290942690 edges, 23478 markings/sec, 2810 secs
lola: STP completed || 85 tries, 84413837 fired transitions, 2815 secs || 69019198 markings, 291531599 edges, 22611 markings/sec, 2815 secs
lola: STP completed || 85 tries, 84563558 fired transitions, 2820 secs || 69131818 markings, 292126010 edges, 22524 markings/sec, 2820 secs
lola: STP completed || 85 tries, 84715055 fired transitions, 2825 secs || 69249230 markings, 292662631 edges, 23482 markings/sec, 2825 secs
lola: STP completed || 85 tries, 84867167 fired transitions, 2830 secs || 69363375 markings, 293253318 edges, 22829 markings/sec, 2830 secs
lola: STP completed || 86 tries, 85018020 fired transitions, 2835 secs || 69480805 markings, 293765375 edges, 23486 markings/sec, 2835 secs
lola: STP completed || 86 tries, 85166527 fired transitions, 2840 secs || 69595788 markings, 294350859 edges, 22997 markings/sec, 2840 secs
lola: STP completed || 86 tries, 85315206 fired transitions, 2845 secs || 69709818 markings, 294916420 edges, 22806 markings/sec, 2845 secs
lola: STP completed || 86 tries, 85463787 fired transitions, 2850 secs || 69824624 markings, 295461617 edges, 22961 markings/sec, 2850 secs
lola: STP completed || 86 tries, 85611977 fired transitions, 2855 secs || 69941249 markings, 296012040 edges, 23325 markings/sec, 2855 secs
lola: STP completed || 86 tries, 85759962 fired transitions, 2860 secs || 70057782 markings, 296589309 edges, 23307 markings/sec, 2860 secs
lola: STP completed || 86 tries, 85908069 fired transitions, 2865 secs || 70174032 markings, 297161230 edges, 23250 markings/sec, 2865 secs
lola: STP completed || 87 tries, 86063788 fired transitions, 2870 secs || 70297127 markings, 297816048 edges, 24619 markings/sec, 2870 secs
lola: STP completed || 87 tries, 86222086 fired transitions, 2875 secs || 70425132 markings, 298411245 edges, 25601 markings/sec, 2875 secs
lola: STP completed || 87 tries, 86381028 fired transitions, 2880 secs || 70551120 markings, 299044801 edges, 25198 markings/sec, 2880 secs
lola: STP completed || 87 tries, 86521309 fired transitions, 2885 secs || 70665235 markings, 299659541 edges, 22823 markings/sec, 2885 secs
lola: STP completed || 87 tries, 86672221 fired transitions, 2890 secs || 70778277 markings, 300277471 edges, 22608 markings/sec, 2890 secs
lola: STP completed || 87 tries, 86822460 fired transitions, 2895 secs || 70891899 markings, 300871406 edges, 22724 markings/sec, 2895 secs
lola: STP completed || 87 tries, 86972162 fired transitions, 2900 secs || 71010665 markings, 301396063 edges, 23753 markings/sec, 2900 secs
lola: STP completed || 88 tries, 87120226 fired transitions, 2905 secs || 71128392 markings, 301908583 edges, 23545 markings/sec, 2905 secs
lola: STP completed || 88 tries, 87268207 fired transitions, 2910 secs || 71243823 markings, 302455218 edges, 23086 markings/sec, 2910 secs
lola: STP completed || 88 tries, 87416535 fired transitions, 2915 secs || 71359248 markings, 302978949 edges, 23085 markings/sec, 2915 secs
lola: STP completed || 88 tries, 87564884 fired transitions, 2920 secs || 71473809 markings, 303492583 edges, 22912 markings/sec, 2920 secs
lola: STP completed || 88 tries, 87713188 fired transitions, 2925 secs || 71588938 markings, 304009277 edges, 23026 markings/sec, 2925 secs
lola: STP completed || 88 tries, 87861183 fired transitions, 2930 secs || 71704215 markings, 304519748 edges, 23055 markings/sec, 2930 secs
lola: STP completed || 89 tries, 88009866 fired transitions, 2935 secs || 71818708 markings, 305032402 edges, 22899 markings/sec, 2935 secs
lola: STP completed || 89 tries, 88170278 fired transitions, 2940 secs || 71941888 markings, 305587332 edges, 24636 markings/sec, 2940 secs
lola: STP completed || 89 tries, 88332280 fired transitions, 2945 secs || 72070437 markings, 306171372 edges, 25710 markings/sec, 2945 secs
lola: STP completed || 89 tries, 88494703 fired transitions, 2950 secs || 72199504 markings, 306739791 edges, 25813 markings/sec, 2950 secs
lola: STP completed || 89 tries, 88657501 fired transitions, 2955 secs || 72327153 markings, 307358419 edges, 25530 markings/sec, 2955 secs
lola: STP completed || 89 tries, 88814172 fired transitions, 2960 secs || 72449553 markings, 307960622 edges, 24480 markings/sec, 2960 secs
lola: STP completed || 89 tries, 88964920 fired transitions, 2965 secs || 72567267 markings, 308495038 edges, 23543 markings/sec, 2965 secs
lola: STP completed || 90 tries, 89114056 fired transitions, 2970 secs || 72683324 markings, 309036396 edges, 23211 markings/sec, 2970 secs
lola: STP completed || 90 tries, 89262761 fired transitions, 2975 secs || 72798702 markings, 309597399 edges, 23076 markings/sec, 2975 secs
lola: STP completed || 90 tries, 89411847 fired transitions, 2980 secs || 72912886 markings, 310142170 edges, 22837 markings/sec, 2980 secs
lola: STP completed || 90 tries, 89572501 fired transitions, 2985 secs || 73039531 markings, 310731631 edges, 25329 markings/sec, 2985 secs
lola: STP completed || 90 tries, 89732567 fired transitions, 2990 secs || 73169019 markings, 311309739 edges, 25898 markings/sec, 2990 secs
lola: STP completed || 90 tries, 89893114 fired transitions, 2995 secs || 73295144 markings, 311960304 edges, 25225 markings/sec, 2995 secs
lola: STP completed || 91 tries, 90052341 fired transitions, 3000 secs || 73424322 markings, 312546580 edges, 25836 markings/sec, 3000 secs
lola: STP completed || 91 tries, 90211997 fired transitions, 3005 secs || 73551909 markings, 313159780 edges, 25517 markings/sec, 3005 secs
lola: STP completed || 91 tries, 90371466 fired transitions, 3010 secs || 73678177 markings, 313795438 edges, 25254 markings/sec, 3010 secs
lola: STP completed || 91 tries, 90530032 fired transitions, 3015 secs || 73803003 markings, 314428245 edges, 24965 markings/sec, 3015 secs
lola: STP completed || 91 tries, 90675299 fired transitions, 3020 secs || 73926857 markings, 315004770 edges, 24771 markings/sec, 3020 secs
lola: STP completed || 91 tries, 90826295 fired transitions, 3025 secs || 74044014 markings, 315561433 edges, 23431 markings/sec, 3025 secs
lola: STP completed || 91 tries, 90978037 fired transitions, 3030 secs || 74158254 markings, 316169839 edges, 22848 markings/sec, 3030 secs
lola: STP completed || 92 tries, 91125446 fired transitions, 3035 secs || 74275166 markings, 316726735 edges, 23382 markings/sec, 3035 secs
lola: STP completed || 92 tries, 91272839 fired transitions, 3040 secs || 74388505 markings, 317334711 edges, 22668 markings/sec, 3040 secs
lola: STP completed || 92 tries, 91419618 fired transitions, 3045 secs || 74505207 markings, 317882385 edges, 23340 markings/sec, 3045 secs
lola: STP completed || 92 tries, 91566613 fired transitions, 3050 secs || 74620972 markings, 318437938 edges, 23153 markings/sec, 3050 secs
lola: STP completed || 92 tries, 91711670 fired transitions, 3055 secs || 74736965 markings, 319050821 edges, 23199 markings/sec, 3055 secs
lola: STP completed || 92 tries, 91858000 fired transitions, 3060 secs || 74854791 markings, 319591711 edges, 23565 markings/sec, 3060 secs
lola: STP completed || 93 tries, 92003090 fired transitions, 3065 secs || 74968573 markings, 320193113 edges, 22756 markings/sec, 3065 secs
lola: STP completed || 93 tries, 92154277 fired transitions, 3070 secs || 75081902 markings, 320783817 edges, 22666 markings/sec, 3070 secs
lola: STP completed || 93 tries, 92305026 fired transitions, 3075 secs || 75198104 markings, 321352346 edges, 23240 markings/sec, 3075 secs
lola: STP completed || 93 tries, 92456487 fired transitions, 3080 secs || 75312013 markings, 321945174 edges, 22782 markings/sec, 3080 secs
lola: STP completed || 93 tries, 92607941 fired transitions, 3085 secs || 75427104 markings, 322548195 edges, 23018 markings/sec, 3085 secs
lola: STP completed || 93 tries, 92759383 fired transitions, 3090 secs || 75541362 markings, 323155622 edges, 22852 markings/sec, 3090 secs
lola: STP completed || 93 tries, 92910894 fired transitions, 3095 secs || 75654875 markings, 323770382 edges, 22703 markings/sec, 3095 secs
lola: STP completed || 94 tries, 93062202 fired transitions, 3100 secs || 75768935 markings, 324389648 edges, 22812 markings/sec, 3100 secs
lola: STP completed || 94 tries, 93212035 fired transitions, 3105 secs || 75885204 markings, 324982627 edges, 23254 markings/sec, 3105 secs
lola: STP completed || 94 tries, 93363610 fired transitions, 3110 secs || 75998679 markings, 325616581 edges, 22695 markings/sec, 3110 secs
lola: STP completed || 94 tries, 93514967 fired transitions, 3115 secs || 76111549 markings, 326269414 edges, 22574 markings/sec, 3115 secs
lola: STP completed || 94 tries, 93666365 fired transitions, 3120 secs || 76223711 markings, 326920403 edges, 22432 markings/sec, 3120 secs
lola: STP completed || 94 tries, 93817369 fired transitions, 3125 secs || 76337385 markings, 327509343 edges, 22735 markings/sec, 3125 secs
lola: STP completed || 94 tries, 93967604 fired transitions, 3130 secs || 76456133 markings, 328046871 edges, 23750 markings/sec, 3130 secs
lola: STP completed || 95 tries, 94117729 fired transitions, 3135 secs || 76570373 markings, 328633608 edges, 22848 markings/sec, 3135 secs
lola: STP completed || 95 tries, 94267811 fired transitions, 3140 secs || 76684126 markings, 329211406 edges, 22751 markings/sec, 3140 secs
lola: STP completed || 95 tries, 94417861 fired transitions, 3145 secs || 76797852 markings, 329797063 edges, 22745 markings/sec, 3145 secs
lola: STP completed || 95 tries, 94567325 fired transitions, 3150 secs || 76912670 markings, 330379330 edges, 22964 markings/sec, 3150 secs
lola: STP completed || 95 tries, 94717324 fired transitions, 3155 secs || 77026953 markings, 330962296 edges, 22857 markings/sec, 3155 secs
lola: STP completed || 95 tries, 94867535 fired transitions, 3160 secs || 77140854 markings, 331539959 edges, 22780 markings/sec, 3160 secs
lola: STP completed || 96 tries, 95017524 fired transitions, 3165 secs || 77254156 markings, 332131694 edges, 22660 markings/sec, 3165 secs
lola: STP completed || 96 tries, 95165287 fired transitions, 3170 secs || 77367282 markings, 332722256 edges, 22625 markings/sec, 3170 secs
lola: STP completed || 96 tries, 95313408 fired transitions, 3175 secs || 77480297 markings, 333305106 edges, 22603 markings/sec, 3175 secs
lola: STP completed || 96 tries, 95462350 fired transitions, 3180 secs || 77594924 markings, 333906953 edges, 22925 markings/sec, 3180 secs
lola: STP completed || 96 tries, 95609609 fired transitions, 3185 secs || 77709546 markings, 334478313 edges, 22924 markings/sec, 3185 secs
lola: STP completed || 96 tries, 95756404 fired transitions, 3190 secs || 77824306 markings, 335066205 edges, 22952 markings/sec, 3190 secs
lola: STP completed || 96 tries, 95902965 fired transitions, 3195 secs || 77936714 markings, 335673758 edges, 22482 markings/sec, 3195 secs
lola: STP completed || 97 tries, 96051665 fired transitions, 3200 secs || 78053412 markings, 336257051 edges, 23340 markings/sec, 3200 secs
lola: STP completed || 97 tries, 96214011 fired transitions, 3205 secs || 78178789 markings, 336910160 edges, 25075 markings/sec, 3205 secs
lola: STP completed || 97 tries, 96376491 fired transitions, 3210 secs || 78304159 markings, 337554728 edges, 25074 markings/sec, 3210 secs
lola: STP completed || 97 tries, 96539158 fired transitions, 3215 secs || 78429498 markings, 338199902 edges, 25068 markings/sec, 3215 secs
lola: STP completed || 97 tries, 96693572 fired transitions, 3220 secs || 78549525 markings, 338822843 edges, 24005 markings/sec, 3220 secs
lola: STP completed || 97 tries, 96846808 fired transitions, 3225 secs || 78663040 markings, 339436782 edges, 22703 markings/sec, 3225 secs
lola: STP completed || 97 tries, 96999279 fired transitions, 3230 secs || 78778197 markings, 340027049 edges, 23031 markings/sec, 3230 secs
lola: STP completed || 98 tries, 97144746 fired transitions, 3235 secs || 78894057 markings, 340612073 edges, 23172 markings/sec, 3235 secs
lola: STP completed || 98 tries, 97300701 fired transitions, 3240 secs || 79018210 markings, 341270026 edges, 24831 markings/sec, 3240 secs
lola: STP completed || 98 tries, 97437538 fired transitions, 3245 secs || 79131368 markings, 341858701 edges, 22632 markings/sec, 3245 secs
lola: STP completed || 98 tries, 97583169 fired transitions, 3250 secs || 79246786 markings, 342442846 edges, 23084 markings/sec, 3250 secs
lola: STP completed || 98 tries, 97729045 fired transitions, 3255 secs || 79361452 markings, 343027410 edges, 22933 markings/sec, 3255 secs
lola: STP completed || 98 tries, 97875277 fired transitions, 3260 secs || 79476464 markings, 343616653 edges, 23002 markings/sec, 3260 secs
lola: STP completed || 99 tries, 98032352 fired transitions, 3265 secs || 79601186 markings, 344247710 edges, 24944 markings/sec, 3265 secs
lola: STP completed || 99 tries, 98182513 fired transitions, 3270 secs || 79714587 markings, 344847974 edges, 22680 markings/sec, 3270 secs
lola: STP completed || 99 tries, 98332690 fired transitions, 3275 secs || 79827545 markings, 345439650 edges, 22592 markings/sec, 3275 secs
lola: STP completed || 99 tries, 98487954 fired transitions, 3280 secs || 79944056 markings, 346055735 edges, 23302 markings/sec, 3280 secs
lola: STP completed || 99 tries, 98649051 fired transitions, 3285 secs || 80068039 markings, 346690270 edges, 24797 markings/sec, 3285 secs
lola: STP completed || 99 tries, 98810679 fired transitions, 3290 secs || 80191731 markings, 347309087 edges, 24738 markings/sec, 3290 secs
lola: STP completed || 99 tries, 98972426 fired transitions, 3295 secs || 80314376 markings, 347932022 edges, 24529 markings/sec, 3295 secs
lola: STP completed || 100 tries, 99130082 fired transitions, 3300 secs || 80438408 markings, 348551216 edges, 24806 markings/sec, 3300 secs
lola: STP completed || 100 tries, 99287160 fired transitions, 3305 secs || 80566224 markings, 349139520 edges, 25563 markings/sec, 3305 secs
lola: STP completed || 100 tries, 99443780 fired transitions, 3310 secs || 80693884 markings, 349726965 edges, 25532 markings/sec, 3310 secs
lola: STP completed || 100 tries, 99600475 fired transitions, 3315 secs || 80819790 markings, 350345999 edges, 25181 markings/sec, 3315 secs
lola: STP completed || 100 tries, 99756242 fired transitions, 3320 secs || 80944457 markings, 350972835 edges, 24933 markings/sec, 3320 secs
lola: STP completed || 100 tries, 99912047 fired transitions, 3325 secs || 81069123 markings, 351590269 edges, 24933 markings/sec, 3325 secs
lola: STP completed || 101 tries, 100069471 fired transitions, 3330 secs || 81193130 markings, 352211155 edges, 24801 markings/sec, 3330 secs
lola: STP completed || 101 tries, 100228466 fired transitions, 3335 secs || 81319117 markings, 352804056 edges, 25197 markings/sec, 3335 secs
lola: STP completed || 101 tries, 100369862 fired transitions, 3340 secs || 81440138 markings, 353398664 edges, 24204 markings/sec, 3340 secs
lola: STP completed || 101 tries, 100522336 fired transitions, 3345 secs || 81550568 markings, 353983859 edges, 22086 markings/sec, 3345 secs
lola: STP completed || 101 tries, 100674349 fired transitions, 3350 secs || 81663136 markings, 354547679 edges, 22514 markings/sec, 3350 secs
lola: STP completed || 101 tries, 100826271 fired transitions, 3355 secs || 81775260 markings, 355121055 edges, 22425 markings/sec, 3355 secs
lola: STP completed || 101 tries, 100978187 fired transitions, 3360 secs || 81886475 markings, 355694161 edges, 22243 markings/sec, 3360 secs
lola: STP completed || 102 tries, 101127551 fired transitions, 3365 secs || 81996169 markings, 356272751 edges, 21939 markings/sec, 3365 secs
lola: STP completed || 102 tries, 101286788 fired transitions, 3370 secs || 82116914 markings, 356903192 edges, 24149 markings/sec, 3370 secs
lola: STP completed || 102 tries, 101448100 fired transitions, 3375 secs || 82239384 markings, 357534613 edges, 24494 markings/sec, 3375 secs
lola: STP completed || 102 tries, 101609472 fired transitions, 3380 secs || 82361302 markings, 358137473 edges, 24384 markings/sec, 3380 secs
lola: STP completed || 102 tries, 101756793 fired transitions, 3385 secs || 82479802 markings, 358691262 edges, 23700 markings/sec, 3385 secs
lola: STP completed || 102 tries, 101899702 fired transitions, 3390 secs || 82597984 markings, 359283733 edges, 23636 markings/sec, 3390 secs
lola: STP completed || 103 tries, 102043584 fired transitions, 3395 secs || 82715161 markings, 359872529 edges, 23435 markings/sec, 3395 secs
lola: STP completed || 103 tries, 102190986 fired transitions, 3400 secs || 82831560 markings, 360424858 edges, 23280 markings/sec, 3400 secs
lola: STP completed || 103 tries, 102338017 fired transitions, 3405 secs || 82947751 markings, 360979558 edges, 23238 markings/sec, 3405 secs
lola: STP completed || 103 tries, 102484942 fired transitions, 3410 secs || 83064703 markings, 361536926 edges, 23390 markings/sec, 3410 secs
lola: STP completed || 103 tries, 102631402 fired transitions, 3415 secs || 83182054 markings, 362106981 edges, 23470 markings/sec, 3415 secs
lola: STP completed || 103 tries, 102779157 fired transitions, 3420 secs || 83296459 markings, 362655369 edges, 22881 markings/sec, 3420 secs
lola: STP completed || 103 tries, 102926228 fired transitions, 3425 secs || 83412278 markings, 363231761 edges, 23164 markings/sec, 3425 secs
lola: STP completed || 104 tries, 103074103 fired transitions, 3430 secs || 83529994 markings, 363803220 edges, 23543 markings/sec, 3430 secs
lola: STP completed || 104 tries, 103222226 fired transitions, 3435 secs || 83646683 markings, 364389023 edges, 23338 markings/sec, 3435 secs
lola: STP completed || 104 tries, 103370799 fired transitions, 3440 secs || 83763353 markings, 364960751 edges, 23334 markings/sec, 3440 secs
lola: STP completed || 104 tries, 103523244 fired transitions, 3445 secs || 83881241 markings, 365535697 edges, 23578 markings/sec, 3445 secs
lola: STP completed || 104 tries, 103686500 fired transitions, 3450 secs || 84007582 markings, 366131320 edges, 25268 markings/sec, 3450 secs
lola: STP completed || 104 tries, 103830068 fired transitions, 3455 secs || 84122138 markings, 366679064 edges, 22911 markings/sec, 3455 secs
lola: STP completed || 104 tries, 103984259 fired transitions, 3460 secs || 84234258 markings, 367220609 edges, 22424 markings/sec, 3460 secs
lola: STP completed || 105 tries, 104134122 fired transitions, 3465 secs || 84348708 markings, 367777423 edges, 22890 markings/sec, 3465 secs
lola: STP completed || 105 tries, 104283724 fired transitions, 3470 secs || 84461506 markings, 368314809 edges, 22560 markings/sec, 3470 secs
lola: STP completed || 105 tries, 104433515 fired transitions, 3475 secs || 84576264 markings, 368822244 edges, 22952 markings/sec, 3475 secs
lola: STP completed || 105 tries, 104583110 fired transitions, 3480 secs || 84690984 markings, 369382210 edges, 22944 markings/sec, 3480 secs
lola: STP completed || 105 tries, 104732876 fired transitions, 3485 secs || 84804325 markings, 369937655 edges, 22668 markings/sec, 3485 secs
lola: STP completed || 105 tries, 104882712 fired transitions, 3490 secs || 84917272 markings, 370473421 edges, 22589 markings/sec, 3490 secs
lola: STP completed || 106 tries, 105031152 fired transitions, 3495 secs || 85032646 markings, 371036299 edges, 23075 markings/sec, 3495 secs
lola: STP completed || 106 tries, 105179395 fired transitions, 3500 secs || 85147304 markings, 371589129 edges, 22932 markings/sec, 3500 secs
lola: STP completed || 106 tries, 105328118 fired transitions, 3505 secs || 85260481 markings, 372142889 edges, 22635 markings/sec, 3505 secs
lola: STP completed || 106 tries, 105476862 fired transitions, 3510 secs || 85374895 markings, 372682656 edges, 22883 markings/sec, 3510 secs
lola: STP completed || 106 tries, 105625245 fired transitions, 3515 secs || 85489814 markings, 373240152 edges, 22984 markings/sec, 3515 secs
lola: STP completed || 106 tries, 105773457 fired transitions, 3520 secs || 85606954 markings, 373790012 edges, 23428 markings/sec, 3520 secs
lola: STP completed || 106 tries, 105921353 fired transitions, 3525 secs || 85725040 markings, 374312657 edges, 23617 markings/sec, 3525 secs
lola: STP completed || 107 tries, 106069163 fired transitions, 3530 secs || 85839829 markings, 374915020 edges, 22958 markings/sec, 3530 secs
lola: STP completed || 107 tries, 106216809 fired transitions, 3535 secs || 85954516 markings, 375479712 edges, 22937 markings/sec, 3535 secs
lola: STP completed || 107 tries, 106364405 fired transitions, 3540 secs || 86070010 markings, 376043146 edges, 23099 markings/sec, 3540 secs
lola: STP completed || 107 tries, 106511841 fired transitions, 3545 secs || 86187396 markings, 376603070 edges, 23477 markings/sec, 3545 secs
lola: STP completed || 107 tries, 106658827 fired transitions, 3550 secs || 86307819 markings, 377122741 edges, 24085 markings/sec, 3550 secs
lola: STP completed || 107 tries, 106805884 fired transitions, 3555 secs || 86425498 markings, 377677538 edges, 23536 markings/sec, 3555 secs
lola: STP completed || 107 tries, 106951775 fired transitions, 3560 secs || 86548667 markings, 378180880 edges, 24634 markings/sec, 3560 secs
lola: time limit reached - aborting
lola: memory consumption: 2917384 KB
lola: time consumption: 3570 seconds
BK_STOP 1526826515937
--------------------
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-12ringLLLarge"
export BK_EXAMINATION="ReachabilityDeadlock"
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-12ringLLLarge.tgz
mv DNAwalker-PT-12ringLLLarge 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-12ringLLLarge, examination is ReachabilityDeadlock"
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-152649735500307"
echo "====================================================================="
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "ReachabilityDeadlock" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "ReachabilityDeadlock" != "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 "ReachabilityDeadlock.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property ReachabilityDeadlock.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "ReachabilityDeadlock.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 ;