About the Execution of LoLA for DNAwalker-PT-15ringRRLarge
Execution Summary | |||||
Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
3023.790 | 3570372.00 | 7186026.00 | 7095.30 | [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 304K
-rw-r--r-- 1 mcc users 3.4K May 15 18:54 CTLCardinality.txt
-rw-r--r-- 1 mcc users 19K May 15 18:54 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.8K May 15 18:54 CTLFireability.txt
-rw-r--r-- 1 mcc users 18K 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.3K May 15 18:54 LTLCardinality.txt
-rw-r--r-- 1 mcc users 8.7K May 15 18:54 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.0K May 15 18:54 LTLFireability.txt
-rw-r--r-- 1 mcc users 9.4K May 15 18:54 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.4K May 15 18:54 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 17K 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.2K May 15 18:54 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 19K May 15 18:54 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.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-15ringRRLarge, examination is ReachabilityDeadlock
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r064-smll-152649735500328
=====================================================================
--------------------
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-15ringRRLarge-ReachabilityDeadlock-0
=== Now, execution of the tool begins
BK_START 1526855299167
info: Time: 3600 - MCC
===========================================================================================
prep: translating DNAwalker-PT-15ringRRLarge Petri net model.pnml into LoLA format
===========================================================================================
prep: translating PT Petri net complete
prep: check for too many tokens
===========================================================================================
prep: translating DNAwalker-PT-15ringRRLarge formula ReachabilityDeadlock into LoLA format
===========================================================================================
prep: translating PT formula complete
vrfy: Checking ReachabilityDeadlock @ DNAwalker-PT-15ringRRLarge @ 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-15ringRRLarge-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: 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: The siphon/trap property is not applicable since the net is inhomogeneous
lola: STP completed || 1 tries, 144050 fired transitions, 0 secs || 107877 markings, 360041 edges, 21575 markings/sec, 0 secs
lola: STP completed || 1 tries, 287384 fired transitions, 5 secs || 230763 markings, 835737 edges, 24577 markings/sec, 5 secs
lola: STP completed || 1 tries, 431525 fired transitions, 10 secs || 347457 markings, 1323240 edges, 23339 markings/sec, 10 secs
lola: STP completed || 1 tries, 575154 fired transitions, 15 secs || 473560 markings, 1801157 edges, 25221 markings/sec, 15 secs
lola: STP completed || 1 tries, 720462 fired transitions, 20 secs || 599296 markings, 2320253 edges, 25147 markings/sec, 20 secs
lola: STP completed || 1 tries, 866757 fired transitions, 25 secs || 724468 markings, 2804186 edges, 25034 markings/sec, 25 secs
lola: STP completed || 2 tries, 1012991 fired transitions, 30 secs || 851782 markings, 3228246 edges, 25463 markings/sec, 30 secs
lola: STP completed || 2 tries, 1167296 fired transitions, 35 secs || 982989 markings, 3699369 edges, 26241 markings/sec, 35 secs
lola: STP completed || 2 tries, 1312241 fired transitions, 40 secs || 1105225 markings, 4233098 edges, 24447 markings/sec, 40 secs
lola: STP completed || 2 tries, 1457119 fired transitions, 45 secs || 1227974 markings, 4726716 edges, 24550 markings/sec, 45 secs
lola: STP completed || 2 tries, 1604926 fired transitions, 50 secs || 1353336 markings, 5180593 edges, 25072 markings/sec, 50 secs
lola: STP completed || 2 tries, 1764613 fired transitions, 55 secs || 1485670 markings, 5690276 edges, 26467 markings/sec, 55 secs
lola: STP completed || 2 tries, 1918857 fired transitions, 60 secs || 1618996 markings, 6215525 edges, 26665 markings/sec, 60 secs
lola: STP completed || 3 tries, 2057628 fired transitions, 65 secs || 1753927 markings, 6746213 edges, 26986 markings/sec, 65 secs
lola: STP completed || 3 tries, 2216799 fired transitions, 70 secs || 1886313 markings, 7247902 edges, 26477 markings/sec, 70 secs
lola: STP completed || 3 tries, 2375679 fired transitions, 75 secs || 2020121 markings, 7711842 edges, 26762 markings/sec, 75 secs
lola: STP completed || 3 tries, 2534945 fired transitions, 80 secs || 2152638 markings, 8189514 edges, 26503 markings/sec, 80 secs
lola: STP completed || 3 tries, 2694706 fired transitions, 85 secs || 2283788 markings, 8765409 edges, 26230 markings/sec, 85 secs
lola: STP completed || 3 tries, 2854495 fired transitions, 90 secs || 2414072 markings, 9331828 edges, 26057 markings/sec, 90 secs
lola: STP completed || 4 tries, 3013876 fired transitions, 95 secs || 2545906 markings, 9842050 edges, 26367 markings/sec, 95 secs
lola: STP completed || 4 tries, 3171826 fired transitions, 100 secs || 2677817 markings, 10375485 edges, 26382 markings/sec, 100 secs
lola: STP completed || 4 tries, 3329947 fired transitions, 105 secs || 2808763 markings, 10920725 edges, 26189 markings/sec, 105 secs
lola: STP completed || 4 tries, 3488110 fired transitions, 110 secs || 2940851 markings, 11430515 edges, 26418 markings/sec, 110 secs
lola: STP completed || 4 tries, 3646400 fired transitions, 115 secs || 3074195 markings, 11919941 edges, 26669 markings/sec, 115 secs
lola: STP completed || 4 tries, 3804880 fired transitions, 120 secs || 3203663 markings, 12465889 edges, 25894 markings/sec, 120 secs
lola: STP completed || 4 tries, 3963261 fired transitions, 125 secs || 3334092 markings, 13014364 edges, 26086 markings/sec, 125 secs
lola: STP completed || 5 tries, 4124085 fired transitions, 130 secs || 3463551 markings, 13534929 edges, 25892 markings/sec, 130 secs
lola: STP completed || 5 tries, 4277601 fired transitions, 135 secs || 3585550 markings, 14051879 edges, 24400 markings/sec, 135 secs
lola: STP completed || 5 tries, 4425681 fired transitions, 140 secs || 3709421 markings, 14480559 edges, 24774 markings/sec, 140 secs
lola: STP completed || 5 tries, 4573386 fired transitions, 145 secs || 3833287 markings, 14904392 edges, 24773 markings/sec, 145 secs
lola: STP completed || 5 tries, 4721729 fired transitions, 150 secs || 3957615 markings, 15304797 edges, 24866 markings/sec, 150 secs
lola: STP completed || 5 tries, 4870555 fired transitions, 155 secs || 4080654 markings, 15734886 edges, 24608 markings/sec, 155 secs
lola: STP completed || 6 tries, 5018720 fired transitions, 160 secs || 4202212 markings, 16200708 edges, 24312 markings/sec, 160 secs
lola: STP completed || 6 tries, 5165156 fired transitions, 165 secs || 4322247 markings, 16744832 edges, 24007 markings/sec, 165 secs
lola: STP completed || 6 tries, 5311282 fired transitions, 170 secs || 4443948 markings, 17295479 edges, 24340 markings/sec, 170 secs
lola: STP completed || 6 tries, 5457292 fired transitions, 175 secs || 4565511 markings, 17815256 edges, 24313 markings/sec, 175 secs
lola: STP completed || 6 tries, 5603093 fired transitions, 180 secs || 4688030 markings, 18333594 edges, 24504 markings/sec, 180 secs
lola: STP completed || 6 tries, 5745806 fired transitions, 185 secs || 4811601 markings, 18880671 edges, 24714 markings/sec, 185 secs
lola: STP completed || 6 tries, 5889278 fired transitions, 190 secs || 4934932 markings, 19387923 edges, 24666 markings/sec, 190 secs
lola: STP completed || 7 tries, 6035363 fired transitions, 195 secs || 5056681 markings, 19903892 edges, 24350 markings/sec, 195 secs
lola: STP completed || 7 tries, 6182045 fired transitions, 200 secs || 5177394 markings, 20452060 edges, 24143 markings/sec, 200 secs
lola: STP completed || 7 tries, 6328652 fired transitions, 205 secs || 5297620 markings, 21022916 edges, 24045 markings/sec, 205 secs
lola: STP completed || 7 tries, 6475167 fired transitions, 210 secs || 5418879 markings, 21566145 edges, 24252 markings/sec, 210 secs
lola: STP completed || 7 tries, 6621667 fired transitions, 215 secs || 5540875 markings, 22090547 edges, 24399 markings/sec, 215 secs
lola: STP completed || 7 tries, 6767776 fired transitions, 220 secs || 5664539 markings, 22580600 edges, 24733 markings/sec, 220 secs
lola: STP completed || 7 tries, 6914249 fired transitions, 225 secs || 5785214 markings, 23127140 edges, 24135 markings/sec, 225 secs
lola: STP completed || 8 tries, 7060942 fired transitions, 230 secs || 5906810 markings, 23657238 edges, 24319 markings/sec, 230 secs
lola: STP completed || 8 tries, 7207887 fired transitions, 235 secs || 6027833 markings, 24178740 edges, 24205 markings/sec, 235 secs
lola: STP completed || 8 tries, 7355373 fired transitions, 240 secs || 6145739 markings, 24711770 edges, 23581 markings/sec, 240 secs
lola: STP completed || 8 tries, 7502235 fired transitions, 245 secs || 6266463 markings, 25233257 edges, 24145 markings/sec, 245 secs
lola: STP completed || 8 tries, 7649263 fired transitions, 250 secs || 6387594 markings, 25723825 edges, 24226 markings/sec, 250 secs
lola: STP completed || 8 tries, 7795894 fired transitions, 255 secs || 6509664 markings, 26240917 edges, 24414 markings/sec, 255 secs
lola: STP completed || 8 tries, 7942671 fired transitions, 260 secs || 6630920 markings, 26740424 edges, 24251 markings/sec, 260 secs
lola: STP completed || 9 tries, 8090811 fired transitions, 265 secs || 6754107 markings, 27239706 edges, 24637 markings/sec, 265 secs
lola: STP completed || 9 tries, 8249331 fired transitions, 270 secs || 6881036 markings, 27797424 edges, 25386 markings/sec, 270 secs
lola: STP completed || 9 tries, 8398635 fired transitions, 275 secs || 7000670 markings, 28329998 edges, 23927 markings/sec, 275 secs
lola: STP completed || 9 tries, 8548000 fired transitions, 280 secs || 7118093 markings, 28907477 edges, 23485 markings/sec, 280 secs
lola: STP completed || 9 tries, 8697438 fired transitions, 285 secs || 7236294 markings, 29472601 edges, 23640 markings/sec, 285 secs
lola: STP completed || 9 tries, 8852133 fired transitions, 290 secs || 7358517 markings, 30003012 edges, 24445 markings/sec, 290 secs
lola: STP completed || 10 tries, 9008282 fired transitions, 295 secs || 7483319 markings, 30561940 edges, 24960 markings/sec, 295 secs
lola: STP completed || 10 tries, 9158905 fired transitions, 300 secs || 7602688 markings, 31076006 edges, 23874 markings/sec, 300 secs
lola: STP completed || 10 tries, 9309881 fired transitions, 305 secs || 7720758 markings, 31591547 edges, 23614 markings/sec, 305 secs
lola: STP completed || 10 tries, 9460522 fired transitions, 310 secs || 7840076 markings, 32130685 edges, 23864 markings/sec, 310 secs
lola: STP completed || 10 tries, 9611104 fired transitions, 315 secs || 7958983 markings, 32682766 edges, 23781 markings/sec, 315 secs
lola: STP completed || 10 tries, 9761391 fired transitions, 320 secs || 8079558 markings, 33203447 edges, 24115 markings/sec, 320 secs
lola: STP completed || 10 tries, 9916611 fired transitions, 325 secs || 8201999 markings, 33790036 edges, 24488 markings/sec, 325 secs
lola: STP completed || 11 tries, 10077379 fired transitions, 330 secs || 8330209 markings, 34382289 edges, 25642 markings/sec, 330 secs
lola: STP completed || 11 tries, 10237259 fired transitions, 335 secs || 8458328 markings, 34996076 edges, 25624 markings/sec, 335 secs
lola: STP completed || 11 tries, 10392445 fired transitions, 340 secs || 8583242 markings, 35565577 edges, 24983 markings/sec, 340 secs
lola: STP completed || 11 tries, 10540862 fired transitions, 345 secs || 8704488 markings, 36103375 edges, 24249 markings/sec, 345 secs
lola: STP completed || 11 tries, 10686680 fired transitions, 350 secs || 8832366 markings, 36541321 edges, 25576 markings/sec, 350 secs
lola: STP completed || 11 tries, 10831681 fired transitions, 355 secs || 8960138 markings, 37012704 edges, 25554 markings/sec, 355 secs
lola: STP completed || 11 tries, 10978397 fired transitions, 360 secs || 9086566 markings, 37462572 edges, 25286 markings/sec, 360 secs
lola: STP completed || 12 tries, 11128548 fired transitions, 365 secs || 9210103 markings, 37918471 edges, 24707 markings/sec, 365 secs
lola: STP completed || 12 tries, 11279397 fired transitions, 370 secs || 9332134 markings, 38385036 edges, 24406 markings/sec, 370 secs
lola: STP completed || 12 tries, 11429716 fired transitions, 375 secs || 9455735 markings, 38820072 edges, 24720 markings/sec, 375 secs
lola: STP completed || 12 tries, 11580073 fired transitions, 380 secs || 9578923 markings, 39252290 edges, 24638 markings/sec, 380 secs
lola: STP completed || 12 tries, 11730988 fired transitions, 385 secs || 9700512 markings, 39718292 edges, 24318 markings/sec, 385 secs
lola: STP completed || 12 tries, 11882021 fired transitions, 390 secs || 9821795 markings, 40197467 edges, 24257 markings/sec, 390 secs
lola: STP completed || 13 tries, 12032438 fired transitions, 395 secs || 9943132 markings, 40678771 edges, 24267 markings/sec, 395 secs
lola: STP completed || 13 tries, 12179712 fired transitions, 400 secs || 10067528 markings, 41170546 edges, 24879 markings/sec, 400 secs
lola: STP completed || 13 tries, 12327425 fired transitions, 405 secs || 10190350 markings, 41671801 edges, 24564 markings/sec, 405 secs
lola: STP completed || 13 tries, 12475063 fired transitions, 410 secs || 10312822 markings, 42192250 edges, 24494 markings/sec, 410 secs
lola: STP completed || 13 tries, 12622339 fired transitions, 415 secs || 10435778 markings, 42717588 edges, 24591 markings/sec, 415 secs
lola: STP completed || 13 tries, 12781614 fired transitions, 420 secs || 10563702 markings, 43308240 edges, 25585 markings/sec, 420 secs
lola: STP completed || 13 tries, 12930317 fired transitions, 425 secs || 10687808 markings, 43864602 edges, 24821 markings/sec, 425 secs
lola: STP completed || 14 tries, 13093229 fired transitions, 430 secs || 10818374 markings, 44452228 edges, 26113 markings/sec, 430 secs
lola: STP completed || 14 tries, 13256670 fired transitions, 435 secs || 10948821 markings, 45035594 edges, 26089 markings/sec, 435 secs
lola: STP completed || 14 tries, 13420504 fired transitions, 440 secs || 11078189 markings, 45651156 edges, 25874 markings/sec, 440 secs
lola: STP completed || 14 tries, 13578723 fired transitions, 445 secs || 11194522 markings, 46188834 edges, 23267 markings/sec, 445 secs
lola: STP completed || 14 tries, 13729386 fired transitions, 450 secs || 11303363 markings, 46670968 edges, 21768 markings/sec, 450 secs
lola: STP completed || 14 tries, 13879346 fired transitions, 455 secs || 11420809 markings, 47206072 edges, 23489 markings/sec, 455 secs
lola: STP completed || 15 tries, 14029567 fired transitions, 460 secs || 11536469 markings, 47769735 edges, 23132 markings/sec, 460 secs
lola: STP completed || 15 tries, 14178202 fired transitions, 465 secs || 11653902 markings, 48301235 edges, 23487 markings/sec, 465 secs
lola: STP completed || 15 tries, 14327165 fired transitions, 470 secs || 11769658 markings, 48861430 edges, 23151 markings/sec, 470 secs
lola: STP completed || 15 tries, 14476470 fired transitions, 475 secs || 11884202 markings, 49435006 edges, 22909 markings/sec, 475 secs
lola: STP completed || 15 tries, 14634380 fired transitions, 480 secs || 12010309 markings, 50010745 edges, 25221 markings/sec, 480 secs
lola: STP completed || 15 tries, 14783414 fired transitions, 485 secs || 12125798 markings, 50575206 edges, 23098 markings/sec, 485 secs
lola: STP completed || 15 tries, 14932837 fired transitions, 490 secs || 12239728 markings, 51119931 edges, 22786 markings/sec, 490 secs
lola: STP completed || 16 tries, 15083146 fired transitions, 495 secs || 12354069 markings, 51679635 edges, 22868 markings/sec, 495 secs
lola: STP completed || 16 tries, 15234215 fired transitions, 500 secs || 12469672 markings, 52206610 edges, 23121 markings/sec, 500 secs
lola: STP completed || 16 tries, 15383150 fired transitions, 505 secs || 12586809 markings, 52758885 edges, 23427 markings/sec, 505 secs
lola: STP completed || 16 tries, 15532044 fired transitions, 510 secs || 12703679 markings, 53328021 edges, 23374 markings/sec, 510 secs
lola: STP completed || 16 tries, 15681282 fired transitions, 515 secs || 12819562 markings, 53915302 edges, 23177 markings/sec, 515 secs
lola: STP completed || 16 tries, 15835598 fired transitions, 520 secs || 12938318 markings, 54513290 edges, 23751 markings/sec, 520 secs
lola: STP completed || 16 tries, 15985271 fired transitions, 525 secs || 13058589 markings, 54954734 edges, 24054 markings/sec, 525 secs
lola: STP completed || 17 tries, 16148936 fired transitions, 530 secs || 13189612 markings, 55531811 edges, 26205 markings/sec, 530 secs
lola: STP completed || 17 tries, 16302230 fired transitions, 535 secs || 13307872 markings, 56118884 edges, 23652 markings/sec, 535 secs
lola: STP completed || 17 tries, 16463914 fired transitions, 540 secs || 13437250 markings, 56664539 edges, 25876 markings/sec, 540 secs
lola: STP completed || 17 tries, 16624703 fired transitions, 545 secs || 13564509 markings, 57230954 edges, 25452 markings/sec, 545 secs
lola: STP completed || 17 tries, 16785433 fired transitions, 550 secs || 13691805 markings, 57799739 edges, 25459 markings/sec, 550 secs
lola: STP completed || 17 tries, 16946130 fired transitions, 555 secs || 13819794 markings, 58351606 edges, 25598 markings/sec, 555 secs
lola: STP completed || 18 tries, 17104460 fired transitions, 560 secs || 13948139 markings, 58860935 edges, 25669 markings/sec, 560 secs
lola: STP completed || 18 tries, 17260732 fired transitions, 565 secs || 14075788 markings, 59439482 edges, 25530 markings/sec, 565 secs
lola: STP completed || 18 tries, 17404183 fired transitions, 570 secs || 14193998 markings, 60023395 edges, 23642 markings/sec, 570 secs
lola: STP completed || 18 tries, 17547253 fired transitions, 575 secs || 14314111 markings, 60567876 edges, 24023 markings/sec, 575 secs
lola: STP completed || 18 tries, 17690418 fired transitions, 580 secs || 14435242 markings, 61096823 edges, 24226 markings/sec, 580 secs
lola: STP completed || 18 tries, 17837062 fired transitions, 585 secs || 14556876 markings, 61660883 edges, 24327 markings/sec, 585 secs
lola: STP completed || 18 tries, 17994963 fired transitions, 590 secs || 14682917 markings, 62282280 edges, 25208 markings/sec, 590 secs
lola: STP completed || 19 tries, 18141070 fired transitions, 595 secs || 14802964 markings, 62849918 edges, 24009 markings/sec, 595 secs
lola: STP completed || 19 tries, 18287523 fired transitions, 600 secs || 14922311 markings, 63383332 edges, 23869 markings/sec, 600 secs
lola: STP completed || 19 tries, 18434137 fired transitions, 605 secs || 15041913 markings, 63945962 edges, 23920 markings/sec, 605 secs
lola: STP completed || 19 tries, 18594965 fired transitions, 610 secs || 15164757 markings, 64543759 edges, 24569 markings/sec, 610 secs
lola: STP completed || 19 tries, 18747309 fired transitions, 615 secs || 15288101 markings, 65072024 edges, 24669 markings/sec, 615 secs
lola: STP completed || 19 tries, 18882306 fired transitions, 620 secs || 15402496 markings, 65613035 edges, 22879 markings/sec, 620 secs
lola: STP completed || 20 tries, 19032641 fired transitions, 625 secs || 15519638 markings, 66144317 edges, 23428 markings/sec, 625 secs
lola: STP completed || 20 tries, 19183610 fired transitions, 630 secs || 15635032 markings, 66742076 edges, 23079 markings/sec, 630 secs
lola: STP completed || 20 tries, 19333276 fired transitions, 635 secs || 15751232 markings, 67342074 edges, 23240 markings/sec, 635 secs
lola: STP completed || 20 tries, 19482478 fired transitions, 640 secs || 15869126 markings, 67911907 edges, 23579 markings/sec, 640 secs
lola: STP completed || 20 tries, 19631426 fired transitions, 645 secs || 15986524 markings, 68475750 edges, 23480 markings/sec, 645 secs
lola: STP completed || 20 tries, 19780102 fired transitions, 650 secs || 16103316 markings, 69070670 edges, 23358 markings/sec, 650 secs
lola: STP completed || 20 tries, 19928907 fired transitions, 655 secs || 16220348 markings, 69662736 edges, 23406 markings/sec, 655 secs
lola: STP completed || 21 tries, 20077276 fired transitions, 660 secs || 16336232 markings, 70205024 edges, 23177 markings/sec, 660 secs
lola: STP completed || 21 tries, 20236608 fired transitions, 665 secs || 16461835 markings, 70810712 edges, 25121 markings/sec, 665 secs
lola: STP completed || 21 tries, 20383919 fired transitions, 670 secs || 16578719 markings, 71355179 edges, 23377 markings/sec, 670 secs
lola: STP completed || 21 tries, 20530865 fired transitions, 675 secs || 16696162 markings, 71906615 edges, 23489 markings/sec, 675 secs
lola: STP completed || 21 tries, 20677532 fired transitions, 680 secs || 16814520 markings, 72423005 edges, 23672 markings/sec, 680 secs
lola: STP completed || 21 tries, 20825273 fired transitions, 685 secs || 16928582 markings, 72987916 edges, 22812 markings/sec, 685 secs
lola: STP completed || 21 tries, 20972410 fired transitions, 690 secs || 17045921 markings, 73528209 edges, 23468 markings/sec, 690 secs
lola: STP completed || 22 tries, 21120121 fired transitions, 695 secs || 17160525 markings, 74134487 edges, 22921 markings/sec, 695 secs
lola: STP completed || 22 tries, 21267820 fired transitions, 700 secs || 17274955 markings, 74734817 edges, 22886 markings/sec, 700 secs
lola: STP completed || 22 tries, 21415188 fired transitions, 705 secs || 17391592 markings, 75293891 edges, 23327 markings/sec, 705 secs
lola: STP completed || 22 tries, 21563508 fired transitions, 710 secs || 17504573 markings, 75839813 edges, 22596 markings/sec, 710 secs
lola: STP completed || 22 tries, 21711705 fired transitions, 715 secs || 17619130 markings, 76386826 edges, 22911 markings/sec, 715 secs
lola: STP completed || 22 tries, 21860008 fired transitions, 720 secs || 17734329 markings, 76932541 edges, 23040 markings/sec, 720 secs
lola: STP completed || 23 tries, 22008211 fired transitions, 725 secs || 17847748 markings, 77496042 edges, 22684 markings/sec, 725 secs
lola: STP completed || 23 tries, 22155077 fired transitions, 730 secs || 17962259 markings, 78053331 edges, 22902 markings/sec, 730 secs
lola: STP completed || 23 tries, 22301308 fired transitions, 735 secs || 18079142 markings, 78617378 edges, 23377 markings/sec, 735 secs
lola: STP completed || 23 tries, 22447344 fired transitions, 740 secs || 18197551 markings, 79160686 edges, 23682 markings/sec, 740 secs
lola: STP completed || 23 tries, 22591706 fired transitions, 745 secs || 18324522 markings, 79567269 edges, 25394 markings/sec, 745 secs
lola: STP completed || 23 tries, 22736537 fired transitions, 750 secs || 18449843 markings, 80000459 edges, 25064 markings/sec, 750 secs
lola: STP completed || 23 tries, 22881099 fired transitions, 755 secs || 18575434 markings, 80424285 edges, 25118 markings/sec, 755 secs
lola: STP completed || 24 tries, 23026530 fired transitions, 760 secs || 18699890 markings, 80856771 edges, 24891 markings/sec, 760 secs
lola: STP completed || 24 tries, 23173874 fired transitions, 765 secs || 18822566 markings, 81316208 edges, 24535 markings/sec, 765 secs
lola: STP completed || 24 tries, 23321048 fired transitions, 770 secs || 18946030 markings, 81761053 edges, 24693 markings/sec, 770 secs
lola: STP completed || 24 tries, 23467907 fired transitions, 775 secs || 19070611 markings, 82187063 edges, 24916 markings/sec, 775 secs
lola: STP completed || 24 tries, 23615117 fired transitions, 780 secs || 19193055 markings, 82657767 edges, 24489 markings/sec, 780 secs
lola: STP completed || 24 tries, 23776292 fired transitions, 785 secs || 19323590 markings, 83189479 edges, 26107 markings/sec, 785 secs
lola: STP completed || 24 tries, 23939752 fired transitions, 790 secs || 19457390 markings, 83713341 edges, 26760 markings/sec, 790 secs
lola: STP completed || 25 tries, 24084110 fired transitions, 795 secs || 19582250 markings, 84209926 edges, 24972 markings/sec, 795 secs
lola: STP completed || 25 tries, 24228304 fired transitions, 800 secs || 19707672 markings, 84708630 edges, 25084 markings/sec, 800 secs
lola: STP completed || 25 tries, 24372517 fired transitions, 805 secs || 19834827 markings, 85163993 edges, 25431 markings/sec, 805 secs
lola: STP completed || 25 tries, 24534518 fired transitions, 810 secs || 19971319 markings, 85606862 edges, 27298 markings/sec, 810 secs
lola: STP completed || 25 tries, 24697683 fired transitions, 815 secs || 20106445 markings, 86086622 edges, 27025 markings/sec, 815 secs
lola: STP completed || 25 tries, 24840021 fired transitions, 820 secs || 20242643 markings, 86565920 edges, 27240 markings/sec, 820 secs
lola: STP completed || 26 tries, 25003231 fired transitions, 825 secs || 20377124 markings, 87078553 edges, 26896 markings/sec, 825 secs
lola: STP completed || 26 tries, 25164045 fired transitions, 830 secs || 20509450 markings, 87596146 edges, 26465 markings/sec, 830 secs
lola: STP completed || 26 tries, 25324727 fired transitions, 835 secs || 20643073 markings, 88096076 edges, 26725 markings/sec, 835 secs
lola: STP completed || 26 tries, 25484065 fired transitions, 840 secs || 20775963 markings, 88602038 edges, 26578 markings/sec, 840 secs
lola: STP completed || 26 tries, 25627292 fired transitions, 845 secs || 20899028 markings, 89084342 edges, 24613 markings/sec, 845 secs
lola: STP completed || 26 tries, 25770395 fired transitions, 850 secs || 21022280 markings, 89579420 edges, 24650 markings/sec, 850 secs
lola: STP completed || 26 tries, 25913731 fired transitions, 855 secs || 21145092 markings, 90085875 edges, 24562 markings/sec, 855 secs
lola: STP completed || 27 tries, 26058378 fired transitions, 860 secs || 21268321 markings, 90600859 edges, 24646 markings/sec, 860 secs
lola: STP completed || 27 tries, 26205593 fired transitions, 865 secs || 21390529 markings, 91134967 edges, 24442 markings/sec, 865 secs
lola: STP completed || 27 tries, 26353778 fired transitions, 870 secs || 21510845 markings, 91669923 edges, 24063 markings/sec, 870 secs
lola: STP completed || 27 tries, 26503219 fired transitions, 875 secs || 21631510 markings, 92188842 edges, 24133 markings/sec, 875 secs
lola: STP completed || 27 tries, 26653414 fired transitions, 880 secs || 21750525 markings, 92732532 edges, 23803 markings/sec, 880 secs
lola: STP completed || 27 tries, 26803482 fired transitions, 885 secs || 21869606 markings, 93278324 edges, 23816 markings/sec, 885 secs
lola: STP completed || 27 tries, 26953761 fired transitions, 890 secs || 21989349 markings, 93803985 edges, 23949 markings/sec, 890 secs
lola: STP completed || 28 tries, 27100528 fired transitions, 895 secs || 22111985 markings, 94346527 edges, 24527 markings/sec, 895 secs
lola: STP completed || 28 tries, 27246531 fired transitions, 900 secs || 22235598 markings, 94858348 edges, 24723 markings/sec, 900 secs
lola: STP completed || 28 tries, 27392733 fired transitions, 905 secs || 22357297 markings, 95390296 edges, 24340 markings/sec, 905 secs
lola: STP completed || 28 tries, 27550618 fired transitions, 910 secs || 22487203 markings, 95880291 edges, 25981 markings/sec, 910 secs
lola: STP completed || 28 tries, 27687400 fired transitions, 915 secs || 22616903 markings, 96393475 edges, 25940 markings/sec, 915 secs
lola: STP completed || 28 tries, 27849905 fired transitions, 920 secs || 22748846 markings, 96918050 edges, 26389 markings/sec, 920 secs
lola: STP completed || 29 tries, 28012368 fired transitions, 925 secs || 22878432 markings, 97532868 edges, 25917 markings/sec, 925 secs
lola: STP completed || 29 tries, 28174317 fired transitions, 930 secs || 23005405 markings, 98173328 edges, 25395 markings/sec, 930 secs
lola: STP completed || 29 tries, 28335873 fired transitions, 935 secs || 23134361 markings, 98799693 edges, 25791 markings/sec, 935 secs
lola: STP completed || 29 tries, 28496721 fired transitions, 940 secs || 23260087 markings, 99405107 edges, 25145 markings/sec, 940 secs
lola: STP completed || 29 tries, 28653963 fired transitions, 945 secs || 23385521 markings, 99972859 edges, 25087 markings/sec, 945 secs
lola: STP completed || 29 tries, 28802276 fired transitions, 950 secs || 23503766 markings, 100508791 edges, 23649 markings/sec, 950 secs
lola: STP completed || 29 tries, 28950280 fired transitions, 955 secs || 23622849 markings, 101029173 edges, 23817 markings/sec, 955 secs
lola: STP completed || 30 tries, 29096270 fired transitions, 960 secs || 23737774 markings, 101621521 edges, 22985 markings/sec, 960 secs
lola: STP completed || 30 tries, 29228555 fired transitions, 965 secs || 23852126 markings, 102181942 edges, 22870 markings/sec, 965 secs
lola: STP completed || 30 tries, 29377424 fired transitions, 970 secs || 23966429 markings, 102776267 edges, 22861 markings/sec, 970 secs
lola: STP completed || 30 tries, 29526227 fired transitions, 975 secs || 24082524 markings, 103320033 edges, 23219 markings/sec, 975 secs
lola: STP completed || 30 tries, 29674671 fired transitions, 980 secs || 24200383 markings, 103865257 edges, 23572 markings/sec, 980 secs
lola: STP completed || 30 tries, 29822815 fired transitions, 985 secs || 24319360 markings, 104371265 edges, 23795 markings/sec, 985 secs
lola: STP completed || 30 tries, 29971141 fired transitions, 990 secs || 24435930 markings, 104926888 edges, 23314 markings/sec, 990 secs
lola: STP completed || 31 tries, 30127828 fired transitions, 995 secs || 24555169 markings, 105516171 edges, 23848 markings/sec, 995 secs
lola: STP completed || 31 tries, 30288251 fired transitions, 1000 secs || 24673980 markings, 106086401 edges, 23762 markings/sec, 1000 secs
lola: STP completed || 31 tries, 30440427 fired transitions, 1005 secs || 24787383 markings, 106636171 edges, 22681 markings/sec, 1005 secs
lola: STP completed || 31 tries, 30600153 fired transitions, 1010 secs || 24908376 markings, 107220451 edges, 24199 markings/sec, 1010 secs
lola: STP completed || 31 tries, 30751983 fired transitions, 1015 secs || 25023167 markings, 107748573 edges, 22958 markings/sec, 1015 secs
lola: STP completed || 31 tries, 30905018 fired transitions, 1020 secs || 25137748 markings, 108265626 edges, 22916 markings/sec, 1020 secs
lola: STP completed || 32 tries, 31067346 fired transitions, 1025 secs || 25261033 markings, 108834085 edges, 24657 markings/sec, 1025 secs
lola: STP completed || 32 tries, 31220538 fired transitions, 1030 secs || 25374144 markings, 109400528 edges, 22622 markings/sec, 1030 secs
lola: STP completed || 32 tries, 31370644 fired transitions, 1035 secs || 25487300 markings, 109936726 edges, 22631 markings/sec, 1035 secs
lola: STP completed || 32 tries, 31529858 fired transitions, 1040 secs || 25610827 markings, 110512996 edges, 24705 markings/sec, 1040 secs
lola: STP completed || 32 tries, 31691234 fired transitions, 1045 secs || 25735485 markings, 111129363 edges, 24932 markings/sec, 1045 secs
lola: STP completed || 32 tries, 31852901 fired transitions, 1050 secs || 25858524 markings, 111741104 edges, 24608 markings/sec, 1050 secs
lola: STP completed || 33 tries, 32004366 fired transitions, 1055 secs || 25977823 markings, 112338065 edges, 23860 markings/sec, 1055 secs
lola: STP completed || 33 tries, 32152263 fired transitions, 1060 secs || 26095447 markings, 112920651 edges, 23525 markings/sec, 1060 secs
lola: STP completed || 33 tries, 32300239 fired transitions, 1065 secs || 26212774 markings, 113451152 edges, 23465 markings/sec, 1065 secs
lola: STP completed || 33 tries, 32448053 fired transitions, 1070 secs || 26330794 markings, 114017697 edges, 23604 markings/sec, 1070 secs
lola: STP completed || 33 tries, 32596267 fired transitions, 1075 secs || 26447735 markings, 114601579 edges, 23388 markings/sec, 1075 secs
lola: STP completed || 33 tries, 32743995 fired transitions, 1080 secs || 26564121 markings, 115204567 edges, 23277 markings/sec, 1080 secs
lola: STP completed || 33 tries, 32891775 fired transitions, 1085 secs || 26682899 markings, 115756649 edges, 23756 markings/sec, 1085 secs
lola: STP completed || 34 tries, 33039624 fired transitions, 1090 secs || 26799237 markings, 116338348 edges, 23268 markings/sec, 1090 secs
lola: STP completed || 34 tries, 33194590 fired transitions, 1095 secs || 26922250 markings, 116941874 edges, 24603 markings/sec, 1095 secs
lola: STP completed || 34 tries, 33342584 fired transitions, 1100 secs || 27038231 markings, 117521679 edges, 23196 markings/sec, 1100 secs
lola: STP completed || 34 tries, 33483914 fired transitions, 1105 secs || 27158111 markings, 118107722 edges, 23976 markings/sec, 1105 secs
lola: STP completed || 34 tries, 33641435 fired transitions, 1110 secs || 27281872 markings, 118733383 edges, 24752 markings/sec, 1110 secs
lola: STP completed || 34 tries, 33796456 fired transitions, 1115 secs || 27403190 markings, 119328903 edges, 24264 markings/sec, 1115 secs
lola: STP completed || 34 tries, 33949532 fired transitions, 1120 secs || 27524028 markings, 119914099 edges, 24168 markings/sec, 1120 secs
lola: STP completed || 35 tries, 34102939 fired transitions, 1125 secs || 27643867 markings, 120497530 edges, 23968 markings/sec, 1125 secs
lola: STP completed || 35 tries, 34256987 fired transitions, 1130 secs || 27760968 markings, 121089993 edges, 23420 markings/sec, 1130 secs
lola: STP completed || 35 tries, 34412129 fired transitions, 1135 secs || 27890006 markings, 121519036 edges, 25808 markings/sec, 1135 secs
lola: STP completed || 35 tries, 34574510 fired transitions, 1140 secs || 28020502 markings, 121990267 edges, 26099 markings/sec, 1140 secs
lola: STP completed || 35 tries, 34726284 fired transitions, 1145 secs || 28138989 markings, 122464120 edges, 23697 markings/sec, 1145 secs
lola: STP completed || 35 tries, 34876269 fired transitions, 1150 secs || 28256997 markings, 122977673 edges, 23602 markings/sec, 1150 secs
lola: STP completed || 36 tries, 35026354 fired transitions, 1155 secs || 28375246 markings, 123490774 edges, 23650 markings/sec, 1155 secs
lola: STP completed || 36 tries, 35174522 fired transitions, 1160 secs || 28494324 markings, 124015423 edges, 23816 markings/sec, 1160 secs
lola: STP completed || 36 tries, 35323606 fired transitions, 1165 secs || 28610905 markings, 124539717 edges, 23316 markings/sec, 1165 secs
lola: STP completed || 36 tries, 35472072 fired transitions, 1170 secs || 28730783 markings, 125050976 edges, 23976 markings/sec, 1170 secs
lola: STP completed || 36 tries, 35620618 fired transitions, 1175 secs || 28850577 markings, 125564907 edges, 23959 markings/sec, 1175 secs
lola: STP completed || 36 tries, 35768863 fired transitions, 1180 secs || 28969399 markings, 126114163 edges, 23764 markings/sec, 1180 secs
lola: STP completed || 36 tries, 35917452 fired transitions, 1185 secs || 29087655 markings, 126643501 edges, 23651 markings/sec, 1185 secs
lola: STP completed || 37 tries, 36066314 fired transitions, 1190 secs || 29204147 markings, 127160539 edges, 23298 markings/sec, 1190 secs
lola: STP completed || 37 tries, 36214886 fired transitions, 1195 secs || 29318565 markings, 127721698 edges, 22884 markings/sec, 1195 secs
lola: STP completed || 37 tries, 36362791 fired transitions, 1200 secs || 29435139 markings, 128284711 edges, 23315 markings/sec, 1200 secs
lola: STP completed || 37 tries, 36511390 fired transitions, 1205 secs || 29548681 markings, 128827038 edges, 22708 markings/sec, 1205 secs
lola: STP completed || 37 tries, 36659491 fired transitions, 1210 secs || 29664719 markings, 129354940 edges, 23208 markings/sec, 1210 secs
lola: STP completed || 37 tries, 36807962 fired transitions, 1215 secs || 29779449 markings, 129913741 edges, 22946 markings/sec, 1215 secs
lola: STP completed || 37 tries, 36956234 fired transitions, 1220 secs || 29894436 markings, 130471627 edges, 22997 markings/sec, 1220 secs
lola: STP completed || 38 tries, 37105215 fired transitions, 1225 secs || 30010765 markings, 131036336 edges, 23266 markings/sec, 1225 secs
lola: STP completed || 38 tries, 37253360 fired transitions, 1230 secs || 30131113 markings, 131539272 edges, 24070 markings/sec, 1230 secs
lola: STP completed || 38 tries, 37402252 fired transitions, 1235 secs || 30249656 markings, 132058803 edges, 23709 markings/sec, 1235 secs
lola: STP completed || 38 tries, 37552642 fired transitions, 1240 secs || 30365560 markings, 132598153 edges, 23181 markings/sec, 1240 secs
lola: STP completed || 38 tries, 37703775 fired transitions, 1245 secs || 30481446 markings, 133088276 edges, 23177 markings/sec, 1245 secs
lola: STP completed || 38 tries, 37854379 fired transitions, 1250 secs || 30598585 markings, 133602058 edges, 23428 markings/sec, 1250 secs
lola: STP completed || 39 tries, 38005250 fired transitions, 1255 secs || 30713866 markings, 134153581 edges, 23056 markings/sec, 1255 secs
lola: STP completed || 39 tries, 38153495 fired transitions, 1260 secs || 30831624 markings, 134691051 edges, 23552 markings/sec, 1260 secs
lola: STP completed || 39 tries, 38302400 fired transitions, 1265 secs || 30946913 markings, 135254894 edges, 23058 markings/sec, 1265 secs
lola: STP completed || 39 tries, 38452099 fired transitions, 1270 secs || 31059194 markings, 135805273 edges, 22456 markings/sec, 1270 secs
lola: STP completed || 39 tries, 38600821 fired transitions, 1275 secs || 31176169 markings, 136327448 edges, 23395 markings/sec, 1275 secs
lola: STP completed || 39 tries, 38749422 fired transitions, 1280 secs || 31292418 markings, 136862155 edges, 23250 markings/sec, 1280 secs
lola: STP completed || 39 tries, 38904212 fired transitions, 1285 secs || 31411845 markings, 137444015 edges, 23885 markings/sec, 1285 secs
lola: STP completed || 40 tries, 39065899 fired transitions, 1290 secs || 31537460 markings, 138088824 edges, 25123 markings/sec, 1290 secs
lola: STP completed || 40 tries, 39226305 fired transitions, 1295 secs || 31662486 markings, 138741253 edges, 25005 markings/sec, 1295 secs
lola: STP completed || 40 tries, 39369971 fired transitions, 1300 secs || 31780056 markings, 139311272 edges, 23514 markings/sec, 1300 secs
lola: STP completed || 40 tries, 39513799 fired transitions, 1305 secs || 31897316 markings, 139899240 edges, 23452 markings/sec, 1305 secs
lola: STP completed || 40 tries, 39658463 fired transitions, 1310 secs || 32011968 markings, 140465063 edges, 22930 markings/sec, 1310 secs
lola: STP completed || 40 tries, 39802567 fired transitions, 1315 secs || 32128618 markings, 141053065 edges, 23330 markings/sec, 1315 secs
lola: STP completed || 40 tries, 39946031 fired transitions, 1320 secs || 32244475 markings, 141588199 edges, 23171 markings/sec, 1320 secs
lola: STP completed || 41 tries, 40091367 fired transitions, 1325 secs || 32358389 markings, 142158100 edges, 22783 markings/sec, 1325 secs
lola: STP completed || 41 tries, 40235177 fired transitions, 1330 secs || 32476826 markings, 142722625 edges, 23687 markings/sec, 1330 secs
lola: STP completed || 41 tries, 40380015 fired transitions, 1335 secs || 32594082 markings, 143291948 edges, 23451 markings/sec, 1335 secs
lola: STP completed || 41 tries, 40524120 fired transitions, 1340 secs || 32716511 markings, 143835121 edges, 24486 markings/sec, 1340 secs
lola: STP completed || 41 tries, 40667549 fired transitions, 1345 secs || 32837958 markings, 144403931 edges, 24289 markings/sec, 1345 secs
lola: STP completed || 41 tries, 40811801 fired transitions, 1350 secs || 32959032 markings, 144977328 edges, 24215 markings/sec, 1350 secs
lola: STP completed || 41 tries, 40955518 fired transitions, 1355 secs || 33081928 markings, 145506291 edges, 24579 markings/sec, 1355 secs
lola: STP completed || 42 tries, 41099913 fired transitions, 1360 secs || 33202935 markings, 146051861 edges, 24201 markings/sec, 1360 secs
lola: STP completed || 42 tries, 41244384 fired transitions, 1365 secs || 33322169 markings, 146648127 edges, 23847 markings/sec, 1365 secs
lola: STP completed || 42 tries, 41387982 fired transitions, 1370 secs || 33441204 markings, 147236601 edges, 23807 markings/sec, 1370 secs
lola: STP completed || 42 tries, 41531644 fired transitions, 1375 secs || 33560945 markings, 147805426 edges, 23948 markings/sec, 1375 secs
lola: STP completed || 42 tries, 41674820 fired transitions, 1380 secs || 33681238 markings, 148382766 edges, 24059 markings/sec, 1380 secs
lola: STP completed || 42 tries, 41827495 fired transitions, 1385 secs || 33804722 markings, 148994064 edges, 24697 markings/sec, 1385 secs
lola: STP completed || 42 tries, 41973011 fired transitions, 1390 secs || 33923266 markings, 149575193 edges, 23709 markings/sec, 1390 secs
lola: STP completed || 43 tries, 42124980 fired transitions, 1395 secs || 34039471 markings, 150158841 edges, 23241 markings/sec, 1395 secs
lola: STP completed || 43 tries, 42277602 fired transitions, 1400 secs || 34156515 markings, 150717536 edges, 23409 markings/sec, 1400 secs
lola: STP completed || 43 tries, 42430121 fired transitions, 1405 secs || 34273926 markings, 151261168 edges, 23482 markings/sec, 1405 secs
lola: STP completed || 43 tries, 42583449 fired transitions, 1410 secs || 34389846 markings, 151828567 edges, 23184 markings/sec, 1410 secs
lola: STP completed || 43 tries, 42737817 fired transitions, 1415 secs || 34504474 markings, 152429837 edges, 22926 markings/sec, 1415 secs
lola: STP completed || 43 tries, 42892450 fired transitions, 1420 secs || 34619872 markings, 153046146 edges, 23080 markings/sec, 1420 secs
lola: STP completed || 44 tries, 43054030 fired transitions, 1425 secs || 34742855 markings, 153635998 edges, 24597 markings/sec, 1425 secs
lola: STP completed || 44 tries, 43202984 fired transitions, 1430 secs || 34859647 markings, 154230518 edges, 23358 markings/sec, 1430 secs
lola: STP completed || 44 tries, 43351947 fired transitions, 1435 secs || 34976377 markings, 154833268 edges, 23346 markings/sec, 1435 secs
lola: STP completed || 44 tries, 43501890 fired transitions, 1440 secs || 35090557 markings, 155476446 edges, 22836 markings/sec, 1440 secs
lola: STP completed || 44 tries, 43650827 fired transitions, 1445 secs || 35206613 markings, 156074864 edges, 23211 markings/sec, 1445 secs
lola: STP completed || 44 tries, 43812405 fired transitions, 1450 secs || 35328194 markings, 156751310 edges, 24316 markings/sec, 1450 secs
lola: STP completed || 44 tries, 43976631 fired transitions, 1455 secs || 35452990 markings, 157417264 edges, 24959 markings/sec, 1455 secs
lola: STP completed || 45 tries, 44123716 fired transitions, 1460 secs || 35571119 markings, 157909351 edges, 23626 markings/sec, 1460 secs
lola: STP completed || 45 tries, 44272831 fired transitions, 1465 secs || 35685353 markings, 158422786 edges, 22847 markings/sec, 1465 secs
lola: STP completed || 45 tries, 44422507 fired transitions, 1470 secs || 35797746 markings, 158986960 edges, 22479 markings/sec, 1470 secs
lola: STP completed || 45 tries, 44570009 fired transitions, 1475 secs || 35912791 markings, 159494161 edges, 23009 markings/sec, 1475 secs
lola: STP completed || 45 tries, 44719622 fired transitions, 1480 secs || 36027063 markings, 160036436 edges, 22854 markings/sec, 1480 secs
lola: STP completed || 45 tries, 44872523 fired transitions, 1485 secs || 36146619 markings, 160586573 edges, 23911 markings/sec, 1485 secs
lola: STP completed || 46 tries, 45033162 fired transitions, 1490 secs || 36272604 markings, 161204039 edges, 25197 markings/sec, 1490 secs
lola: STP completed || 46 tries, 45180421 fired transitions, 1495 secs || 36389159 markings, 161777531 edges, 23311 markings/sec, 1495 secs
lola: STP completed || 46 tries, 45327810 fired transitions, 1500 secs || 36505161 markings, 162368364 edges, 23200 markings/sec, 1500 secs
lola: STP completed || 46 tries, 45481536 fired transitions, 1505 secs || 36624631 markings, 162974518 edges, 23894 markings/sec, 1505 secs
lola: STP completed || 46 tries, 45639149 fired transitions, 1510 secs || 36750753 markings, 163558793 edges, 25224 markings/sec, 1510 secs
lola: STP completed || 46 tries, 45786025 fired transitions, 1515 secs || 36868078 markings, 164127694 edges, 23465 markings/sec, 1515 secs
lola: STP completed || 46 tries, 45937276 fired transitions, 1520 secs || 36984370 markings, 164734549 edges, 23258 markings/sec, 1520 secs
lola: STP completed || 47 tries, 46082653 fired transitions, 1525 secs || 37105508 markings, 165275591 edges, 24228 markings/sec, 1525 secs
lola: STP completed || 47 tries, 46231389 fired transitions, 1530 secs || 37221130 markings, 165857634 edges, 23124 markings/sec, 1530 secs
lola: STP completed || 47 tries, 46382988 fired transitions, 1535 secs || 37338883 markings, 166437204 edges, 23551 markings/sec, 1535 secs
lola: STP completed || 47 tries, 46539464 fired transitions, 1540 secs || 37461403 markings, 167050571 edges, 24504 markings/sec, 1540 secs
lola: STP completed || 47 tries, 46695877 fired transitions, 1545 secs || 37583560 markings, 167708729 edges, 24431 markings/sec, 1545 secs
lola: STP completed || 47 tries, 46844798 fired transitions, 1550 secs || 37699452 markings, 168320210 edges, 23178 markings/sec, 1550 secs
lola: STP completed || 47 tries, 46994167 fired transitions, 1555 secs || 37814589 markings, 168911687 edges, 23027 markings/sec, 1555 secs
lola: STP completed || 48 tries, 47140855 fired transitions, 1560 secs || 37932607 markings, 169490032 edges, 23604 markings/sec, 1560 secs
lola: STP completed || 48 tries, 47288811 fired transitions, 1565 secs || 38048864 markings, 170085608 edges, 23251 markings/sec, 1565 secs
lola: STP completed || 48 tries, 47436965 fired transitions, 1570 secs || 38165666 markings, 170690288 edges, 23360 markings/sec, 1570 secs
lola: STP completed || 48 tries, 47586439 fired transitions, 1575 secs || 38280417 markings, 171318544 edges, 22950 markings/sec, 1575 secs
lola: STP completed || 48 tries, 47735227 fired transitions, 1580 secs || 38394513 markings, 171900539 edges, 22819 markings/sec, 1580 secs
lola: STP completed || 48 tries, 47882560 fired transitions, 1585 secs || 38510313 markings, 172463517 edges, 23160 markings/sec, 1585 secs
lola: STP completed || 49 tries, 48030483 fired transitions, 1590 secs || 38625460 markings, 173076415 edges, 23029 markings/sec, 1590 secs
lola: STP completed || 49 tries, 48180102 fired transitions, 1595 secs || 38741644 markings, 173635239 edges, 23237 markings/sec, 1595 secs
lola: STP completed || 49 tries, 48332403 fired transitions, 1600 secs || 38853053 markings, 174227138 edges, 22282 markings/sec, 1600 secs
lola: STP completed || 49 tries, 48484378 fired transitions, 1605 secs || 38966275 markings, 174797754 edges, 22644 markings/sec, 1605 secs
lola: STP completed || 49 tries, 48636792 fired transitions, 1610 secs || 39078247 markings, 175385970 edges, 22394 markings/sec, 1610 secs
lola: STP completed || 49 tries, 48789228 fired transitions, 1615 secs || 39189939 markings, 175955003 edges, 22338 markings/sec, 1615 secs
lola: STP completed || 49 tries, 48941494 fired transitions, 1620 secs || 39303165 markings, 176543373 edges, 22645 markings/sec, 1620 secs
lola: STP completed || 50 tries, 49091372 fired transitions, 1625 secs || 39418906 markings, 177126716 edges, 23148 markings/sec, 1625 secs
lola: STP completed || 50 tries, 49240951 fired transitions, 1630 secs || 39532697 markings, 177763632 edges, 22758 markings/sec, 1630 secs
lola: STP completed || 50 tries, 49390681 fired transitions, 1635 secs || 39645082 markings, 178406926 edges, 22477 markings/sec, 1635 secs
lola: STP completed || 50 tries, 49539937 fired transitions, 1640 secs || 39761037 markings, 178978302 edges, 23191 markings/sec, 1640 secs
lola: STP completed || 50 tries, 49687162 fired transitions, 1645 secs || 39887629 markings, 179373978 edges, 25318 markings/sec, 1645 secs
lola: STP completed || 50 tries, 49834093 fired transitions, 1650 secs || 40013446 markings, 179783363 edges, 25163 markings/sec, 1650 secs
lola: STP completed || 50 tries, 49981640 fired transitions, 1655 secs || 40138386 markings, 180205167 edges, 24988 markings/sec, 1655 secs
lola: STP completed || 51 tries, 50129118 fired transitions, 1660 secs || 40261754 markings, 180622716 edges, 24674 markings/sec, 1660 secs
lola: STP completed || 51 tries, 50276559 fired transitions, 1665 secs || 40385535 markings, 181022832 edges, 24756 markings/sec, 1665 secs
lola: STP completed || 51 tries, 50424316 fired transitions, 1670 secs || 40508215 markings, 181444846 edges, 24536 markings/sec, 1670 secs
lola: STP completed || 51 tries, 50572151 fired transitions, 1675 secs || 40629694 markings, 181890641 edges, 24296 markings/sec, 1675 secs
lola: STP completed || 51 tries, 50720514 fired transitions, 1680 secs || 40750016 markings, 182354899 edges, 24064 markings/sec, 1680 secs
lola: STP completed || 51 tries, 50868815 fired transitions, 1685 secs || 40870614 markings, 182816779 edges, 24120 markings/sec, 1685 secs
lola: STP completed || 52 tries, 51017048 fired transitions, 1690 secs || 40990534 markings, 183327429 edges, 23984 markings/sec, 1690 secs
lola: STP completed || 52 tries, 51166447 fired transitions, 1695 secs || 41110253 markings, 183852510 edges, 23944 markings/sec, 1695 secs
lola: STP completed || 52 tries, 51316123 fired transitions, 1700 secs || 41229819 markings, 184376797 edges, 23913 markings/sec, 1700 secs
lola: STP completed || 52 tries, 51465981 fired transitions, 1705 secs || 41348364 markings, 184920727 edges, 23709 markings/sec, 1705 secs
lola: STP completed || 52 tries, 51616265 fired transitions, 1710 secs || 41465774 markings, 185410154 edges, 23482 markings/sec, 1710 secs
lola: STP completed || 52 tries, 51766169 fired transitions, 1715 secs || 41584291 markings, 185919562 edges, 23703 markings/sec, 1715 secs
lola: STP completed || 52 tries, 51915290 fired transitions, 1720 secs || 41701265 markings, 186438527 edges, 23395 markings/sec, 1720 secs
lola: STP completed || 53 tries, 52062864 fired transitions, 1725 secs || 41820815 markings, 186967831 edges, 23910 markings/sec, 1725 secs
lola: STP completed || 53 tries, 52209827 fired transitions, 1730 secs || 41941951 markings, 187441231 edges, 24227 markings/sec, 1730 secs
lola: STP completed || 53 tries, 52356628 fired transitions, 1735 secs || 42062077 markings, 187980950 edges, 24025 markings/sec, 1735 secs
lola: STP completed || 53 tries, 52503293 fired transitions, 1740 secs || 42183183 markings, 188521890 edges, 24221 markings/sec, 1740 secs
lola: STP completed || 53 tries, 52655504 fired transitions, 1745 secs || 42308916 markings, 189047967 edges, 25147 markings/sec, 1745 secs
lola: STP completed || 53 tries, 52802101 fired transitions, 1750 secs || 42428789 markings, 189609481 edges, 23975 markings/sec, 1750 secs
lola: STP completed || 53 tries, 52948443 fired transitions, 1755 secs || 42550591 markings, 190136136 edges, 24360 markings/sec, 1755 secs
lola: STP completed || 54 tries, 53095011 fired transitions, 1760 secs || 42672169 markings, 190652776 edges, 24316 markings/sec, 1760 secs
lola: STP completed || 54 tries, 53242347 fired transitions, 1765 secs || 42790614 markings, 191205225 edges, 23689 markings/sec, 1765 secs
lola: STP completed || 54 tries, 53389581 fired transitions, 1770 secs || 42910465 markings, 191714851 edges, 23970 markings/sec, 1770 secs
lola: STP completed || 54 tries, 53536473 fired transitions, 1775 secs || 43030744 markings, 192244355 edges, 24056 markings/sec, 1775 secs
lola: STP completed || 54 tries, 53683495 fired transitions, 1780 secs || 43150984 markings, 192789503 edges, 24048 markings/sec, 1780 secs
lola: STP completed || 54 tries, 53829392 fired transitions, 1785 secs || 43275243 markings, 193244288 edges, 24852 markings/sec, 1785 secs
lola: STP completed || 54 tries, 53975269 fired transitions, 1790 secs || 43399272 markings, 193691180 edges, 24806 markings/sec, 1790 secs
lola: STP completed || 55 tries, 54122681 fired transitions, 1795 secs || 43521510 markings, 194157619 edges, 24448 markings/sec, 1795 secs
lola: STP completed || 55 tries, 54270402 fired transitions, 1800 secs || 43642852 markings, 194652166 edges, 24268 markings/sec, 1800 secs
lola: STP completed || 55 tries, 54424207 fired transitions, 1805 secs || 43765049 markings, 195179551 edges, 24439 markings/sec, 1805 secs
lola: STP completed || 55 tries, 54579428 fired transitions, 1810 secs || 43887615 markings, 195713325 edges, 24513 markings/sec, 1810 secs
lola: STP completed || 55 tries, 54730232 fired transitions, 1815 secs || 44007364 markings, 196258804 edges, 23950 markings/sec, 1815 secs
lola: STP completed || 55 tries, 54878471 fired transitions, 1820 secs || 44125624 markings, 196775567 edges, 23652 markings/sec, 1820 secs
lola: STP completed || 56 tries, 55027034 fired transitions, 1825 secs || 44241967 markings, 197342885 edges, 23269 markings/sec, 1825 secs
lola: STP completed || 56 tries, 55175422 fired transitions, 1830 secs || 44360826 markings, 197831565 edges, 23772 markings/sec, 1830 secs
lola: STP completed || 56 tries, 55323857 fired transitions, 1835 secs || 44477820 markings, 198366329 edges, 23399 markings/sec, 1835 secs
lola: STP completed || 56 tries, 55472425 fired transitions, 1840 secs || 44594364 markings, 198897775 edges, 23309 markings/sec, 1840 secs
lola: STP completed || 56 tries, 55621391 fired transitions, 1845 secs || 44710554 markings, 199447193 edges, 23238 markings/sec, 1845 secs
lola: STP completed || 56 tries, 55770104 fired transitions, 1850 secs || 44828132 markings, 199982653 edges, 23516 markings/sec, 1850 secs
lola: STP completed || 56 tries, 55919271 fired transitions, 1855 secs || 44945836 markings, 200517019 edges, 23541 markings/sec, 1855 secs
lola: STP completed || 57 tries, 56072402 fired transitions, 1860 secs || 45068649 markings, 201061736 edges, 24563 markings/sec, 1860 secs
lola: STP completed || 57 tries, 56216649 fired transitions, 1865 secs || 45187176 markings, 201612559 edges, 23705 markings/sec, 1865 secs
lola: STP completed || 57 tries, 56367017 fired transitions, 1870 secs || 45303304 markings, 202131941 edges, 23226 markings/sec, 1870 secs
lola: STP completed || 57 tries, 56515389 fired transitions, 1875 secs || 45422444 markings, 202635414 edges, 23828 markings/sec, 1875 secs
lola: STP completed || 57 tries, 56661743 fired transitions, 1880 secs || 45541037 markings, 203199553 edges, 23719 markings/sec, 1880 secs
lola: STP completed || 57 tries, 56808481 fired transitions, 1885 secs || 45658087 markings, 203736292 edges, 23410 markings/sec, 1885 secs
lola: STP completed || 57 tries, 56971723 fired transitions, 1890 secs || 45784964 markings, 204306137 edges, 25375 markings/sec, 1890 secs
lola: STP completed || 58 tries, 57122664 fired transitions, 1895 secs || 45907164 markings, 204899180 edges, 24440 markings/sec, 1895 secs
lola: STP completed || 58 tries, 57266628 fired transitions, 1900 secs || 46029322 markings, 205440980 edges, 24432 markings/sec, 1900 secs
lola: STP completed || 58 tries, 57410964 fired transitions, 1905 secs || 46150367 markings, 205993646 edges, 24209 markings/sec, 1905 secs
lola: STP completed || 58 tries, 57563429 fired transitions, 1910 secs || 46272744 markings, 206570342 edges, 24475 markings/sec, 1910 secs
lola: STP completed || 58 tries, 57714098 fired transitions, 1915 secs || 46394743 markings, 207089548 edges, 24400 markings/sec, 1915 secs
lola: STP completed || 58 tries, 57862070 fired transitions, 1920 secs || 46513039 markings, 207641749 edges, 23659 markings/sec, 1920 secs
lola: STP completed || 59 tries, 58012368 fired transitions, 1925 secs || 46632676 markings, 208209389 edges, 23927 markings/sec, 1925 secs
lola: STP completed || 59 tries, 58165560 fired transitions, 1930 secs || 46753063 markings, 208777456 edges, 24077 markings/sec, 1930 secs
lola: STP completed || 59 tries, 58317157 fired transitions, 1935 secs || 46869747 markings, 209347033 edges, 23337 markings/sec, 1935 secs
lola: STP completed || 59 tries, 58464825 fired transitions, 1940 secs || 46986815 markings, 209932894 edges, 23414 markings/sec, 1940 secs
lola: STP completed || 59 tries, 58612316 fired transitions, 1945 secs || 47104968 markings, 210478361 edges, 23631 markings/sec, 1945 secs
lola: STP completed || 59 tries, 58760606 fired transitions, 1950 secs || 47221073 markings, 211012166 edges, 23221 markings/sec, 1950 secs
lola: STP completed || 59 tries, 58908351 fired transitions, 1955 secs || 47339485 markings, 211546736 edges, 23682 markings/sec, 1955 secs
lola: STP completed || 60 tries, 59056788 fired transitions, 1960 secs || 47456325 markings, 212112845 edges, 23368 markings/sec, 1960 secs
lola: STP completed || 60 tries, 59205630 fired transitions, 1965 secs || 47571712 markings, 212674585 edges, 23077 markings/sec, 1965 secs
lola: STP completed || 60 tries, 59354949 fired transitions, 1970 secs || 47684511 markings, 213235570 edges, 22560 markings/sec, 1970 secs
lola: STP completed || 60 tries, 59508849 fired transitions, 1975 secs || 47802577 markings, 213810579 edges, 23613 markings/sec, 1975 secs
lola: STP completed || 60 tries, 59661958 fired transitions, 1980 secs || 47921453 markings, 214409269 edges, 23775 markings/sec, 1980 secs
lola: STP completed || 60 tries, 59823654 fired transitions, 1985 secs || 48046550 markings, 215017743 edges, 25019 markings/sec, 1985 secs
lola: STP completed || 60 tries, 59970581 fired transitions, 1990 secs || 48170617 markings, 215434494 edges, 24813 markings/sec, 1990 secs
lola: STP completed || 61 tries, 60116228 fired transitions, 1995 secs || 48294393 markings, 215896585 edges, 24755 markings/sec, 1995 secs
lola: STP completed || 61 tries, 60261224 fired transitions, 2000 secs || 48419258 markings, 216337426 edges, 24973 markings/sec, 2000 secs
lola: STP completed || 61 tries, 60406424 fired transitions, 2005 secs || 48542688 markings, 216808212 edges, 24686 markings/sec, 2005 secs
lola: STP completed || 61 tries, 60551598 fired transitions, 2010 secs || 48666596 markings, 217253024 edges, 24782 markings/sec, 2010 secs
lola: STP completed || 61 tries, 60707589 fired transitions, 2015 secs || 48797546 markings, 217722675 edges, 26190 markings/sec, 2015 secs
lola: STP completed || 61 tries, 60865147 fired transitions, 2020 secs || 48928667 markings, 218221049 edges, 26224 markings/sec, 2020 secs
lola: STP completed || 62 tries, 61022155 fired transitions, 2025 secs || 49058480 markings, 218736534 edges, 25963 markings/sec, 2025 secs
lola: STP completed || 62 tries, 61168478 fired transitions, 2030 secs || 49178673 markings, 219233848 edges, 24039 markings/sec, 2030 secs
lola: STP completed || 62 tries, 61319416 fired transitions, 2035 secs || 49303158 markings, 219756452 edges, 24897 markings/sec, 2035 secs
lola: STP completed || 62 tries, 61466766 fired transitions, 2040 secs || 49418003 markings, 220329507 edges, 22969 markings/sec, 2040 secs
lola: STP completed || 62 tries, 61613902 fired transitions, 2045 secs || 49537877 markings, 220883171 edges, 23975 markings/sec, 2045 secs
lola: STP completed || 62 tries, 61761542 fired transitions, 2050 secs || 49657877 markings, 221422344 edges, 24000 markings/sec, 2050 secs
lola: STP completed || 62 tries, 61920236 fired transitions, 2055 secs || 49782901 markings, 221960107 edges, 25005 markings/sec, 2055 secs
lola: STP completed || 63 tries, 62066854 fired transitions, 2060 secs || 49901222 markings, 222493358 edges, 23664 markings/sec, 2060 secs
lola: STP completed || 63 tries, 62214177 fired transitions, 2065 secs || 50019012 markings, 223056485 edges, 23558 markings/sec, 2065 secs
lola: STP completed || 63 tries, 62361610 fired transitions, 2070 secs || 50137111 markings, 223602321 edges, 23620 markings/sec, 2070 secs
lola: STP completed || 63 tries, 62508821 fired transitions, 2075 secs || 50255249 markings, 224121319 edges, 23628 markings/sec, 2075 secs
lola: STP completed || 63 tries, 62656429 fired transitions, 2080 secs || 50370371 markings, 224668889 edges, 23024 markings/sec, 2080 secs
lola: STP completed || 63 tries, 62811009 fired transitions, 2085 secs || 50491491 markings, 225233392 edges, 24224 markings/sec, 2085 secs
lola: STP completed || 63 tries, 62973672 fired transitions, 2090 secs || 50620724 markings, 225759990 edges, 25847 markings/sec, 2090 secs
lola: STP completed || 64 tries, 63136848 fired transitions, 2095 secs || 50747843 markings, 226370096 edges, 25424 markings/sec, 2095 secs
lola: STP completed || 64 tries, 63299843 fired transitions, 2100 secs || 50876078 markings, 226991296 edges, 25647 markings/sec, 2100 secs
lola: STP completed || 64 tries, 63462999 fired transitions, 2105 secs || 51002859 markings, 227587753 edges, 25356 markings/sec, 2105 secs
lola: STP completed || 64 tries, 63626074 fired transitions, 2110 secs || 51130977 markings, 228204360 edges, 25624 markings/sec, 2110 secs
lola: STP completed || 64 tries, 63789201 fired transitions, 2115 secs || 51258008 markings, 228803265 edges, 25406 markings/sec, 2115 secs
lola: STP completed || 64 tries, 63949135 fired transitions, 2120 secs || 51383355 markings, 229359270 edges, 25069 markings/sec, 2120 secs
lola: STP completed || 65 tries, 64110420 fired transitions, 2125 secs || 51509316 markings, 229957400 edges, 25192 markings/sec, 2125 secs
lola: STP completed || 65 tries, 64272393 fired transitions, 2130 secs || 51635030 markings, 230550207 edges, 25143 markings/sec, 2130 secs
lola: STP completed || 65 tries, 64434402 fired transitions, 2135 secs || 51759796 markings, 231176657 edges, 24953 markings/sec, 2135 secs
lola: STP completed || 65 tries, 64583861 fired transitions, 2140 secs || 51876862 markings, 231754333 edges, 23413 markings/sec, 2140 secs
lola: STP completed || 65 tries, 64734442 fired transitions, 2145 secs || 51995669 markings, 232344876 edges, 23761 markings/sec, 2145 secs
lola: STP completed || 65 tries, 64889258 fired transitions, 2150 secs || 52117629 markings, 232932761 edges, 24392 markings/sec, 2150 secs
lola: STP completed || 66 tries, 65037390 fired transitions, 2155 secs || 52225930 markings, 233487740 edges, 21660 markings/sec, 2155 secs
lola: STP completed || 66 tries, 65181106 fired transitions, 2160 secs || 52337467 markings, 234022053 edges, 22307 markings/sec, 2160 secs
lola: STP completed || 66 tries, 65323447 fired transitions, 2165 secs || 52453736 markings, 234526112 edges, 23254 markings/sec, 2165 secs
lola: STP completed || 66 tries, 65467534 fired transitions, 2170 secs || 52572143 markings, 235009334 edges, 23681 markings/sec, 2170 secs
lola: STP completed || 66 tries, 65616647 fired transitions, 2175 secs || 52693102 markings, 235517007 edges, 24192 markings/sec, 2175 secs
lola: STP completed || 66 tries, 65760022 fired transitions, 2180 secs || 52809161 markings, 236076201 edges, 23212 markings/sec, 2180 secs
lola: STP completed || 66 tries, 65902561 fired transitions, 2185 secs || 52923451 markings, 236624752 edges, 22858 markings/sec, 2185 secs
lola: STP completed || 67 tries, 66046517 fired transitions, 2190 secs || 53038207 markings, 237161585 edges, 22951 markings/sec, 2190 secs
lola: STP completed || 67 tries, 66193583 fired transitions, 2195 secs || 53151054 markings, 237713860 edges, 22569 markings/sec, 2195 secs
lola: STP completed || 67 tries, 66340637 fired transitions, 2200 secs || 53266553 markings, 238186327 edges, 23100 markings/sec, 2200 secs
lola: STP completed || 67 tries, 66487900 fired transitions, 2205 secs || 53379517 markings, 238711065 edges, 22593 markings/sec, 2205 secs
lola: STP completed || 67 tries, 66638782 fired transitions, 2210 secs || 53494355 markings, 239273989 edges, 22968 markings/sec, 2210 secs
lola: STP completed || 67 tries, 66786222 fired transitions, 2215 secs || 53609083 markings, 239795381 edges, 22946 markings/sec, 2215 secs
lola: STP completed || 67 tries, 66936532 fired transitions, 2220 secs || 53724712 markings, 240321584 edges, 23126 markings/sec, 2220 secs
lola: STP completed || 68 tries, 67084001 fired transitions, 2225 secs || 53839213 markings, 240847078 edges, 22900 markings/sec, 2225 secs
lola: STP completed || 68 tries, 67232718 fired transitions, 2230 secs || 53953817 markings, 241357089 edges, 22921 markings/sec, 2230 secs
lola: STP completed || 68 tries, 67381977 fired transitions, 2235 secs || 54062174 markings, 241901336 edges, 21671 markings/sec, 2235 secs
lola: STP completed || 68 tries, 67539372 fired transitions, 2240 secs || 54181027 markings, 242486419 edges, 23771 markings/sec, 2240 secs
lola: STP completed || 68 tries, 67686925 fired transitions, 2245 secs || 54294460 markings, 243017398 edges, 22687 markings/sec, 2245 secs
lola: STP completed || 68 tries, 67835547 fired transitions, 2250 secs || 54407795 markings, 243539839 edges, 22667 markings/sec, 2250 secs
lola: STP completed || 68 tries, 67983053 fired transitions, 2255 secs || 54524114 markings, 244103122 edges, 23264 markings/sec, 2255 secs
lola: STP completed || 69 tries, 68131960 fired transitions, 2260 secs || 54643798 markings, 244679843 edges, 23937 markings/sec, 2260 secs
lola: STP completed || 69 tries, 68280394 fired transitions, 2265 secs || 54761627 markings, 245273922 edges, 23566 markings/sec, 2265 secs
lola: STP completed || 69 tries, 68428907 fired transitions, 2270 secs || 54880284 markings, 245849993 edges, 23731 markings/sec, 2270 secs
lola: STP completed || 69 tries, 68573336 fired transitions, 2275 secs || 54995869 markings, 246417563 edges, 23117 markings/sec, 2275 secs
lola: STP completed || 69 tries, 68718455 fired transitions, 2280 secs || 55109350 markings, 246993810 edges, 22696 markings/sec, 2280 secs
lola: STP completed || 69 tries, 68864115 fired transitions, 2285 secs || 55223523 markings, 247559170 edges, 22835 markings/sec, 2285 secs
lola: STP completed || 70 tries, 69013831 fired transitions, 2290 secs || 55341072 markings, 248162356 edges, 23510 markings/sec, 2290 secs
lola: STP completed || 70 tries, 69158481 fired transitions, 2295 secs || 55455571 markings, 248738258 edges, 22900 markings/sec, 2295 secs
lola: STP completed || 70 tries, 69309245 fired transitions, 2300 secs || 55573651 markings, 249372454 edges, 23616 markings/sec, 2300 secs
lola: STP completed || 70 tries, 69465197 fired transitions, 2305 secs || 55695791 markings, 250006083 edges, 24428 markings/sec, 2305 secs
lola: STP completed || 70 tries, 69611422 fired transitions, 2310 secs || 55808922 markings, 250580219 edges, 22626 markings/sec, 2310 secs
lola: STP completed || 70 tries, 69767730 fired transitions, 2315 secs || 55930054 markings, 251169847 edges, 24226 markings/sec, 2315 secs
lola: STP completed || 70 tries, 69924443 fired transitions, 2320 secs || 56052298 markings, 251756595 edges, 24449 markings/sec, 2320 secs
lola: STP completed || 71 tries, 70069355 fired transitions, 2325 secs || 56162533 markings, 252312163 edges, 22047 markings/sec, 2325 secs
lola: STP completed || 71 tries, 70213200 fired transitions, 2330 secs || 56273467 markings, 252879928 edges, 22187 markings/sec, 2330 secs
lola: STP completed || 71 tries, 70357241 fired transitions, 2335 secs || 56383927 markings, 253403103 edges, 22092 markings/sec, 2335 secs
lola: STP completed || 71 tries, 70503292 fired transitions, 2340 secs || 56500699 markings, 253935641 edges, 23354 markings/sec, 2340 secs
lola: STP completed || 71 tries, 70646402 fired transitions, 2345 secs || 56613244 markings, 254481203 edges, 22509 markings/sec, 2345 secs
lola: STP completed || 71 tries, 70798474 fired transitions, 2350 secs || 56730182 markings, 255048757 edges, 23388 markings/sec, 2350 secs
lola: STP completed || 71 tries, 70939292 fired transitions, 2355 secs || 56843583 markings, 255568618 edges, 22680 markings/sec, 2355 secs
lola: STP completed || 72 tries, 71086260 fired transitions, 2360 secs || 56954595 markings, 256142849 edges, 22202 markings/sec, 2360 secs
lola: STP completed || 72 tries, 71245733 fired transitions, 2365 secs || 57076641 markings, 256763456 edges, 24409 markings/sec, 2365 secs
lola: STP completed || 72 tries, 71405363 fired transitions, 2370 secs || 57200536 markings, 257375989 edges, 24779 markings/sec, 2370 secs
lola: STP completed || 72 tries, 71565376 fired transitions, 2375 secs || 57321505 markings, 257980980 edges, 24194 markings/sec, 2375 secs
lola: STP completed || 72 tries, 71725407 fired transitions, 2380 secs || 57441997 markings, 258590867 edges, 24098 markings/sec, 2380 secs
lola: STP completed || 72 tries, 71885165 fired transitions, 2385 secs || 57565079 markings, 259212076 edges, 24616 markings/sec, 2385 secs
lola: STP completed || 73 tries, 72043687 fired transitions, 2390 secs || 57690914 markings, 259815323 edges, 25167 markings/sec, 2390 secs
lola: STP completed || 73 tries, 72199496 fired transitions, 2395 secs || 57816985 markings, 260413717 edges, 25214 markings/sec, 2395 secs
lola: STP completed || 73 tries, 72355435 fired transitions, 2400 secs || 57940968 markings, 261035403 edges, 24797 markings/sec, 2400 secs
lola: STP completed || 73 tries, 72505561 fired transitions, 2405 secs || 58063630 markings, 261622674 edges, 24532 markings/sec, 2405 secs
lola: STP completed || 73 tries, 72648808 fired transitions, 2410 secs || 58177353 markings, 262196919 edges, 22745 markings/sec, 2410 secs
lola: STP completed || 73 tries, 72795563 fired transitions, 2415 secs || 58295936 markings, 262767971 edges, 23717 markings/sec, 2415 secs
lola: STP completed || 73 tries, 72946545 fired transitions, 2420 secs || 58417126 markings, 263362335 edges, 24238 markings/sec, 2420 secs
lola: STP completed || 74 tries, 73095272 fired transitions, 2425 secs || 58529604 markings, 263940532 edges, 22496 markings/sec, 2425 secs
lola: STP completed || 74 tries, 73241458 fired transitions, 2430 secs || 58644191 markings, 264490962 edges, 22917 markings/sec, 2430 secs
lola: STP completed || 74 tries, 73398439 fired transitions, 2435 secs || 58766438 markings, 265106741 edges, 24449 markings/sec, 2435 secs
lola: STP completed || 74 tries, 73544545 fired transitions, 2440 secs || 58877839 markings, 265679430 edges, 22280 markings/sec, 2440 secs
lola: STP completed || 74 tries, 73693761 fired transitions, 2445 secs || 58990907 markings, 266253301 edges, 22614 markings/sec, 2445 secs
lola: STP completed || 74 tries, 73848712 fired transitions, 2450 secs || 59113177 markings, 266825906 edges, 24454 markings/sec, 2450 secs
lola: STP completed || 74 tries, 73994102 fired transitions, 2455 secs || 59229011 markings, 267387141 edges, 23167 markings/sec, 2455 secs
lola: STP completed || 75 tries, 74196014 fired transitions, 2460 secs || 59338242 markings, 267989265 edges, 21846 markings/sec, 2460 secs
lola: STP completed || 75 tries, 74418469 fired transitions, 2465 secs || 59469493 markings, 268523459 edges, 26250 markings/sec, 2465 secs
lola: STP completed || 75 tries, 74619643 fired transitions, 2470 secs || 59584289 markings, 269004983 edges, 22959 markings/sec, 2470 secs
lola: STP completed || 75 tries, 74833241 fired transitions, 2475 secs || 59707851 markings, 269512587 edges, 24712 markings/sec, 2475 secs
lola: STP completed || 76 tries, 75024997 fired transitions, 2480 secs || 59823920 markings, 270013601 edges, 23214 markings/sec, 2480 secs
lola: STP completed || 76 tries, 75168775 fired transitions, 2485 secs || 59943790 markings, 270527265 edges, 23974 markings/sec, 2485 secs
lola: STP completed || 76 tries, 75312849 fired transitions, 2490 secs || 60063963 markings, 271043736 edges, 24035 markings/sec, 2490 secs
lola: STP completed || 76 tries, 75469161 fired transitions, 2495 secs || 60191204 markings, 271632643 edges, 25448 markings/sec, 2495 secs
lola: STP completed || 76 tries, 75613676 fired transitions, 2500 secs || 60307761 markings, 272229085 edges, 23311 markings/sec, 2500 secs
lola: STP completed || 76 tries, 75758946 fired transitions, 2505 secs || 60424782 markings, 272823936 edges, 23404 markings/sec, 2505 secs
lola: STP completed || 76 tries, 75903417 fired transitions, 2510 secs || 60541132 markings, 273420432 edges, 23270 markings/sec, 2510 secs
lola: STP completed || 77 tries, 76049337 fired transitions, 2515 secs || 60658247 markings, 274020468 edges, 23423 markings/sec, 2515 secs
lola: STP completed || 77 tries, 76198371 fired transitions, 2520 secs || 60777556 markings, 274630193 edges, 23862 markings/sec, 2520 secs
lola: STP completed || 77 tries, 76353214 fired transitions, 2525 secs || 60900268 markings, 275259890 edges, 24542 markings/sec, 2525 secs
lola: STP completed || 77 tries, 76496480 fired transitions, 2530 secs || 61016122 markings, 275812294 edges, 23171 markings/sec, 2530 secs
lola: STP completed || 77 tries, 76643836 fired transitions, 2535 secs || 61133862 markings, 276381685 edges, 23548 markings/sec, 2535 secs
lola: STP completed || 77 tries, 76787566 fired transitions, 2540 secs || 61250359 markings, 276951940 edges, 23299 markings/sec, 2540 secs
lola: STP completed || 77 tries, 76930576 fired transitions, 2545 secs || 61377026 markings, 277481068 edges, 25333 markings/sec, 2545 secs
lola: STP completed || 78 tries, 77080798 fired transitions, 2550 secs || 61498858 markings, 278017553 edges, 24366 markings/sec, 2550 secs
lola: STP completed || 78 tries, 77242515 fired transitions, 2555 secs || 61626727 markings, 278592229 edges, 25574 markings/sec, 2555 secs
lola: STP completed || 78 tries, 77369253 fired transitions, 2560 secs || 61743215 markings, 279139634 edges, 23298 markings/sec, 2560 secs
lola: STP completed || 78 tries, 77524546 fired transitions, 2565 secs || 61863713 markings, 279749756 edges, 24100 markings/sec, 2565 secs
lola: STP completed || 78 tries, 77669627 fired transitions, 2570 secs || 61977233 markings, 280331732 edges, 22704 markings/sec, 2570 secs
lola: STP completed || 78 tries, 77831869 fired transitions, 2575 secs || 62102927 markings, 280975683 edges, 25139 markings/sec, 2575 secs
lola: STP completed || 78 tries, 77979199 fired transitions, 2580 secs || 62216285 markings, 281565238 edges, 22672 markings/sec, 2580 secs
lola: STP completed || 79 tries, 78126615 fired transitions, 2585 secs || 62334014 markings, 282116793 edges, 23546 markings/sec, 2585 secs
lola: STP completed || 79 tries, 78273129 fired transitions, 2590 secs || 62449964 markings, 282688138 edges, 23190 markings/sec, 2590 secs
lola: STP completed || 79 tries, 78431653 fired transitions, 2595 secs || 62575147 markings, 283290478 edges, 25037 markings/sec, 2595 secs
lola: STP completed || 79 tries, 78579193 fired transitions, 2600 secs || 62689867 markings, 283898383 edges, 22944 markings/sec, 2600 secs
lola: STP completed || 79 tries, 78730221 fired transitions, 2605 secs || 62806059 markings, 284501681 edges, 23238 markings/sec, 2605 secs
lola: STP completed || 79 tries, 78878297 fired transitions, 2610 secs || 62921081 markings, 285054093 edges, 23004 markings/sec, 2610 secs
lola: STP completed || 80 tries, 79026312 fired transitions, 2615 secs || 63033727 markings, 285628078 edges, 22529 markings/sec, 2615 secs
lola: STP completed || 80 tries, 79172076 fired transitions, 2620 secs || 63147210 markings, 286182900 edges, 22697 markings/sec, 2620 secs
lola: STP completed || 80 tries, 79317927 fired transitions, 2625 secs || 63259989 markings, 286756089 edges, 22556 markings/sec, 2625 secs
lola: STP completed || 80 tries, 79462862 fired transitions, 2630 secs || 63378687 markings, 287231850 edges, 23740 markings/sec, 2630 secs
lola: STP completed || 80 tries, 79607888 fired transitions, 2635 secs || 63496253 markings, 287727773 edges, 23513 markings/sec, 2635 secs
lola: STP completed || 80 tries, 79752777 fired transitions, 2640 secs || 63614390 markings, 288220908 edges, 23627 markings/sec, 2640 secs
lola: STP completed || 80 tries, 79897745 fired transitions, 2645 secs || 63731160 markings, 288723017 edges, 23354 markings/sec, 2645 secs
lola: STP completed || 81 tries, 80041286 fired transitions, 2650 secs || 63849356 markings, 289245496 edges, 23639 markings/sec, 2650 secs
lola: STP completed || 81 tries, 80182596 fired transitions, 2655 secs || 63966838 markings, 289758478 edges, 23496 markings/sec, 2655 secs
lola: STP completed || 81 tries, 80324083 fired transitions, 2660 secs || 64084781 markings, 290281053 edges, 23589 markings/sec, 2660 secs
lola: STP completed || 81 tries, 80466911 fired transitions, 2665 secs || 64200022 markings, 290860745 edges, 23048 markings/sec, 2665 secs
lola: STP completed || 81 tries, 80610042 fired transitions, 2670 secs || 64314760 markings, 291446430 edges, 22948 markings/sec, 2670 secs
lola: STP completed || 81 tries, 80761137 fired transitions, 2675 secs || 64436299 markings, 292066364 edges, 24308 markings/sec, 2675 secs
lola: STP completed || 81 tries, 80903310 fired transitions, 2680 secs || 64550336 markings, 292667848 edges, 22807 markings/sec, 2680 secs
lola: STP completed || 82 tries, 81046331 fired transitions, 2685 secs || 64664565 markings, 293262003 edges, 22846 markings/sec, 2685 secs
lola: STP completed || 82 tries, 81199917 fired transitions, 2690 secs || 64784721 markings, 293886264 edges, 24031 markings/sec, 2690 secs
lola: STP completed || 82 tries, 81345709 fired transitions, 2695 secs || 64899057 markings, 294472311 edges, 22867 markings/sec, 2695 secs
lola: STP completed || 82 tries, 81490824 fired transitions, 2700 secs || 65012388 markings, 295038456 edges, 22666 markings/sec, 2700 secs
lola: STP completed || 82 tries, 81636186 fired transitions, 2705 secs || 65126585 markings, 295613843 edges, 22839 markings/sec, 2705 secs
lola: STP completed || 82 tries, 81786805 fired transitions, 2710 secs || 65245989 markings, 296216404 edges, 23881 markings/sec, 2710 secs
lola: STP completed || 82 tries, 81939301 fired transitions, 2715 secs || 65360849 markings, 296875642 edges, 22972 markings/sec, 2715 secs
lola: STP completed || 83 tries, 82087809 fired transitions, 2720 secs || 65472437 markings, 297530381 edges, 22318 markings/sec, 2720 secs
lola: STP completed || 83 tries, 82238984 fired transitions, 2725 secs || 65596158 markings, 298069742 edges, 24744 markings/sec, 2725 secs
lola: STP completed || 83 tries, 82381157 fired transitions, 2730 secs || 65712634 markings, 298591004 edges, 23295 markings/sec, 2730 secs
lola: STP completed || 83 tries, 82525401 fired transitions, 2735 secs || 65825570 markings, 299181746 edges, 22587 markings/sec, 2735 secs
lola: STP completed || 83 tries, 82670151 fired transitions, 2740 secs || 65940543 markings, 299766556 edges, 22995 markings/sec, 2740 secs
lola: STP completed || 83 tries, 82813443 fired transitions, 2745 secs || 66056321 markings, 300325525 edges, 23156 markings/sec, 2745 secs
lola: STP completed || 83 tries, 82956187 fired transitions, 2750 secs || 66172991 markings, 300871480 edges, 23334 markings/sec, 2750 secs
lola: STP completed || 84 tries, 83106072 fired transitions, 2755 secs || 66291671 markings, 301457191 edges, 23736 markings/sec, 2755 secs
lola: STP completed || 84 tries, 83251858 fired transitions, 2760 secs || 66408256 markings, 302073871 edges, 23317 markings/sec, 2760 secs
lola: STP completed || 84 tries, 83380801 fired transitions, 2765 secs || 66524070 markings, 302650312 edges, 23163 markings/sec, 2765 secs
lola: STP completed || 84 tries, 83525264 fired transitions, 2770 secs || 66639574 markings, 303245178 edges, 23101 markings/sec, 2770 secs
lola: STP completed || 84 tries, 83669831 fired transitions, 2775 secs || 66752282 markings, 303863179 edges, 22542 markings/sec, 2775 secs
lola: STP completed || 84 tries, 83813707 fired transitions, 2780 secs || 66868159 markings, 304389661 edges, 23175 markings/sec, 2780 secs
lola: STP completed || 84 tries, 83968336 fired transitions, 2785 secs || 66991212 markings, 305040754 edges, 24611 markings/sec, 2785 secs
lola: STP completed || 85 tries, 84113602 fired transitions, 2790 secs || 67103017 markings, 305651822 edges, 22361 markings/sec, 2790 secs
lola: STP completed || 85 tries, 84262669 fired transitions, 2795 secs || 67215488 markings, 306230025 edges, 22494 markings/sec, 2795 secs
lola: STP completed || 85 tries, 84409312 fired transitions, 2800 secs || 67326410 markings, 306796062 edges, 22184 markings/sec, 2800 secs
lola: STP completed || 85 tries, 84560842 fired transitions, 2805 secs || 67446238 markings, 307348599 edges, 23966 markings/sec, 2805 secs
lola: STP completed || 85 tries, 84711137 fired transitions, 2810 secs || 67563949 markings, 307923678 edges, 23542 markings/sec, 2810 secs
lola: STP completed || 85 tries, 84867504 fired transitions, 2815 secs || 67686967 markings, 308518990 edges, 24604 markings/sec, 2815 secs
lola: STP completed || 86 tries, 85015613 fired transitions, 2820 secs || 67802904 markings, 309084638 edges, 23187 markings/sec, 2820 secs
lola: STP completed || 86 tries, 85175128 fired transitions, 2825 secs || 67927282 markings, 309721798 edges, 24876 markings/sec, 2825 secs
lola: STP completed || 86 tries, 85334467 fired transitions, 2830 secs || 68050699 markings, 310389945 edges, 24683 markings/sec, 2830 secs
lola: STP completed || 86 tries, 85492879 fired transitions, 2835 secs || 68172490 markings, 311062911 edges, 24358 markings/sec, 2835 secs
lola: STP completed || 86 tries, 85651671 fired transitions, 2840 secs || 68294429 markings, 311730598 edges, 24388 markings/sec, 2840 secs
lola: STP completed || 86 tries, 85809577 fired transitions, 2845 secs || 68419503 markings, 312378427 edges, 25015 markings/sec, 2845 secs
lola: STP completed || 86 tries, 85969009 fired transitions, 2850 secs || 68543029 markings, 313062486 edges, 24705 markings/sec, 2850 secs
lola: STP completed || 87 tries, 86126939 fired transitions, 2855 secs || 68668929 markings, 313676660 edges, 25180 markings/sec, 2855 secs
lola: STP completed || 87 tries, 86285031 fired transitions, 2860 secs || 68790632 markings, 314360329 edges, 24341 markings/sec, 2860 secs
lola: STP completed || 87 tries, 86444600 fired transitions, 2865 secs || 68913953 markings, 315055585 edges, 24664 markings/sec, 2865 secs
lola: STP completed || 87 tries, 86610212 fired transitions, 2870 secs || 69044350 markings, 315751813 edges, 26079 markings/sec, 2870 secs
lola: STP completed || 87 tries, 86773036 fired transitions, 2875 secs || 69169413 markings, 316504636 edges, 25013 markings/sec, 2875 secs
lola: STP completed || 87 tries, 86936025 fired transitions, 2880 secs || 69295922 markings, 317170392 edges, 25302 markings/sec, 2880 secs
lola: STP completed || 88 tries, 87085670 fired transitions, 2885 secs || 69427392 markings, 317694896 edges, 26294 markings/sec, 2885 secs
lola: STP completed || 88 tries, 87233024 fired transitions, 2890 secs || 69543254 markings, 318191194 edges, 23172 markings/sec, 2890 secs
lola: STP completed || 88 tries, 87380675 fired transitions, 2895 secs || 69659891 markings, 318691664 edges, 23327 markings/sec, 2895 secs
lola: STP completed || 88 tries, 87530834 fired transitions, 2900 secs || 69778482 markings, 319204848 edges, 23718 markings/sec, 2900 secs
lola: STP completed || 88 tries, 87681790 fired transitions, 2905 secs || 69899184 markings, 319769507 edges, 24140 markings/sec, 2905 secs
lola: STP completed || 88 tries, 87834530 fired transitions, 2910 secs || 70020504 markings, 320360732 edges, 24264 markings/sec, 2910 secs
lola: STP completed || 88 tries, 87998838 fired transitions, 2915 secs || 70147800 markings, 321006959 edges, 25459 markings/sec, 2915 secs
lola: STP completed || 89 tries, 88164944 fired transitions, 2920 secs || 70271951 markings, 321655982 edges, 24830 markings/sec, 2920 secs
lola: STP completed || 89 tries, 88330356 fired transitions, 2925 secs || 70394256 markings, 322319694 edges, 24461 markings/sec, 2925 secs
lola: STP completed || 89 tries, 88492365 fired transitions, 2930 secs || 70519378 markings, 322946202 edges, 25024 markings/sec, 2930 secs
lola: STP completed || 89 tries, 88654541 fired transitions, 2935 secs || 70642724 markings, 323567107 edges, 24669 markings/sec, 2935 secs
lola: STP completed || 89 tries, 88816923 fired transitions, 2940 secs || 70764666 markings, 324204342 edges, 24388 markings/sec, 2940 secs
lola: STP completed || 89 tries, 88980110 fired transitions, 2945 secs || 70888378 markings, 324843756 edges, 24742 markings/sec, 2945 secs
lola: STP completed || 90 tries, 89140450 fired transitions, 2950 secs || 71011863 markings, 325480260 edges, 24697 markings/sec, 2950 secs
lola: STP completed || 90 tries, 89299428 fired transitions, 2955 secs || 71141355 markings, 326081419 edges, 25898 markings/sec, 2955 secs
lola: STP completed || 90 tries, 89458582 fired transitions, 2960 secs || 71271395 markings, 326690283 edges, 26008 markings/sec, 2960 secs
lola: STP completed || 90 tries, 89617952 fired transitions, 2965 secs || 71398417 markings, 327319423 edges, 25404 markings/sec, 2965 secs
lola: STP completed || 90 tries, 89778059 fired transitions, 2970 secs || 71514624 markings, 327879413 edges, 23241 markings/sec, 2970 secs
lola: STP completed || 90 tries, 89929628 fired transitions, 2975 secs || 71631164 markings, 328445601 edges, 23308 markings/sec, 2975 secs
lola: STP completed || 91 tries, 90078846 fired transitions, 2980 secs || 71746512 markings, 329005541 edges, 23070 markings/sec, 2980 secs
lola: STP completed || 91 tries, 90227830 fired transitions, 2985 secs || 71862076 markings, 329556255 edges, 23113 markings/sec, 2985 secs
lola: STP completed || 91 tries, 90384604 fired transitions, 2990 secs || 71984092 markings, 330144142 edges, 24403 markings/sec, 2990 secs
lola: STP completed || 91 tries, 90532362 fired transitions, 2995 secs || 72106809 markings, 330685465 edges, 24543 markings/sec, 2995 secs
lola: STP completed || 91 tries, 90682011 fired transitions, 3000 secs || 72221626 markings, 331282573 edges, 22963 markings/sec, 3000 secs
lola: STP completed || 91 tries, 90831430 fired transitions, 3005 secs || 72334754 markings, 331884258 edges, 22626 markings/sec, 3005 secs
lola: STP completed || 91 tries, 90980484 fired transitions, 3010 secs || 72449969 markings, 332483430 edges, 23043 markings/sec, 3010 secs
lola: STP completed || 92 tries, 91131202 fired transitions, 3015 secs || 72561395 markings, 333083616 edges, 22285 markings/sec, 3015 secs
lola: STP completed || 92 tries, 91281172 fired transitions, 3020 secs || 72675188 markings, 333718999 edges, 22759 markings/sec, 3020 secs
lola: STP completed || 92 tries, 91441068 fired transitions, 3025 secs || 72796780 markings, 334421455 edges, 24318 markings/sec, 3025 secs
lola: STP completed || 92 tries, 91595487 fired transitions, 3030 secs || 72913029 markings, 335104897 edges, 23250 markings/sec, 3030 secs
lola: STP completed || 92 tries, 91757152 fired transitions, 3035 secs || 73036481 markings, 335781047 edges, 24690 markings/sec, 3035 secs
lola: STP completed || 92 tries, 91910791 fired transitions, 3040 secs || 73155884 markings, 336388627 edges, 23881 markings/sec, 3040 secs
lola: STP completed || 93 tries, 92060249 fired transitions, 3045 secs || 73270979 markings, 337006707 edges, 23019 markings/sec, 3045 secs
lola: STP completed || 93 tries, 92210200 fired transitions, 3050 secs || 73388814 markings, 337615931 edges, 23567 markings/sec, 3050 secs
lola: STP completed || 93 tries, 92359587 fired transitions, 3055 secs || 73503756 markings, 338213732 edges, 22988 markings/sec, 3055 secs
lola: STP completed || 93 tries, 92511880 fired transitions, 3060 secs || 73621018 markings, 338817912 edges, 23452 markings/sec, 3060 secs
lola: STP completed || 93 tries, 92660969 fired transitions, 3065 secs || 73734709 markings, 339405670 edges, 22738 markings/sec, 3065 secs
lola: STP completed || 93 tries, 92810105 fired transitions, 3070 secs || 73854249 markings, 339952457 edges, 23908 markings/sec, 3070 secs
lola: STP completed || 93 tries, 92964492 fired transitions, 3075 secs || 73972293 markings, 340561771 edges, 23609 markings/sec, 3075 secs
lola: STP completed || 94 tries, 93113124 fired transitions, 3080 secs || 74086994 markings, 341155016 edges, 22940 markings/sec, 3080 secs
lola: STP completed || 94 tries, 93261132 fired transitions, 3085 secs || 74201350 markings, 341789405 edges, 22871 markings/sec, 3085 secs
lola: STP completed || 94 tries, 93408777 fired transitions, 3090 secs || 74315769 markings, 342395379 edges, 22884 markings/sec, 3090 secs
lola: STP completed || 94 tries, 93555951 fired transitions, 3095 secs || 74429160 markings, 343044490 edges, 22678 markings/sec, 3095 secs
lola: STP completed || 94 tries, 93705659 fired transitions, 3100 secs || 74539800 markings, 343713341 edges, 22128 markings/sec, 3100 secs
lola: STP completed || 94 tries, 93854957 fired transitions, 3105 secs || 74649025 markings, 344328310 edges, 21845 markings/sec, 3105 secs
lola: STP completed || 95 tries, 94001386 fired transitions, 3110 secs || 74759693 markings, 344918126 edges, 22134 markings/sec, 3110 secs
lola: STP completed || 95 tries, 94150586 fired transitions, 3115 secs || 74870213 markings, 345508997 edges, 22104 markings/sec, 3115 secs
lola: STP completed || 95 tries, 94299742 fired transitions, 3120 secs || 74983585 markings, 346089116 edges, 22674 markings/sec, 3120 secs
lola: STP completed || 95 tries, 94448899 fired transitions, 3125 secs || 75096692 markings, 346675792 edges, 22621 markings/sec, 3125 secs
lola: STP completed || 95 tries, 94601161 fired transitions, 3130 secs || 75210982 markings, 347277932 edges, 22858 markings/sec, 3130 secs
lola: STP completed || 95 tries, 94751013 fired transitions, 3135 secs || 75326057 markings, 347895542 edges, 23015 markings/sec, 3135 secs
lola: STP completed || 95 tries, 94901856 fired transitions, 3140 secs || 75440365 markings, 348510761 edges, 22862 markings/sec, 3140 secs
lola: STP completed || 96 tries, 95052476 fired transitions, 3145 secs || 75553836 markings, 349148317 edges, 22694 markings/sec, 3145 secs
lola: STP completed || 96 tries, 95202349 fired transitions, 3150 secs || 75668353 markings, 349724421 edges, 22903 markings/sec, 3150 secs
lola: STP completed || 96 tries, 95346656 fired transitions, 3155 secs || 75781045 markings, 350366789 edges, 22538 markings/sec, 3155 secs
lola: STP completed || 96 tries, 95496679 fired transitions, 3160 secs || 75894629 markings, 351000029 edges, 22717 markings/sec, 3160 secs
lola: STP completed || 96 tries, 95646745 fired transitions, 3165 secs || 76008082 markings, 351629563 edges, 22691 markings/sec, 3165 secs
lola: STP completed || 96 tries, 95794891 fired transitions, 3170 secs || 76124467 markings, 352211761 edges, 23277 markings/sec, 3170 secs
lola: STP completed || 96 tries, 95950688 fired transitions, 3175 secs || 76244976 markings, 352889895 edges, 24102 markings/sec, 3175 secs
lola: STP completed || 97 tries, 96110597 fired transitions, 3180 secs || 76368658 markings, 353583171 edges, 24736 markings/sec, 3180 secs
lola: STP completed || 97 tries, 96270628 fired transitions, 3185 secs || 76494236 markings, 354227213 edges, 25116 markings/sec, 3185 secs
lola: STP completed || 97 tries, 96430697 fired transitions, 3190 secs || 76619731 markings, 354879975 edges, 25099 markings/sec, 3190 secs
lola: STP completed || 97 tries, 96590863 fired transitions, 3195 secs || 76743949 markings, 355570160 edges, 24844 markings/sec, 3195 secs
lola: STP completed || 97 tries, 96750723 fired transitions, 3200 secs || 76869118 markings, 356240418 edges, 25034 markings/sec, 3200 secs
lola: STP completed || 97 tries, 96910602 fired transitions, 3205 secs || 76992317 markings, 356963121 edges, 24640 markings/sec, 3205 secs
lola: STP completed || 98 tries, 97070559 fired transitions, 3210 secs || 77116050 markings, 357653073 edges, 24747 markings/sec, 3210 secs
lola: STP completed || 98 tries, 97230221 fired transitions, 3215 secs || 77238357 markings, 358372282 edges, 24461 markings/sec, 3215 secs
lola: STP completed || 98 tries, 97389488 fired transitions, 3220 secs || 77364286 markings, 358998244 edges, 25186 markings/sec, 3220 secs
lola: STP completed || 98 tries, 97548763 fired transitions, 3225 secs || 77490393 markings, 359614721 edges, 25221 markings/sec, 3225 secs
lola: STP completed || 98 tries, 97708251 fired transitions, 3230 secs || 77615045 markings, 360255855 edges, 24930 markings/sec, 3230 secs
lola: STP completed || 98 tries, 97867821 fired transitions, 3235 secs || 77739139 markings, 360901717 edges, 24819 markings/sec, 3235 secs
lola: STP completed || 99 tries, 98027083 fired transitions, 3240 secs || 77861894 markings, 361582767 edges, 24551 markings/sec, 3240 secs
lola: STP completed || 99 tries, 98185120 fired transitions, 3245 secs || 77983957 markings, 362297672 edges, 24413 markings/sec, 3245 secs
lola: STP completed || 99 tries, 98343216 fired transitions, 3250 secs || 78105809 markings, 363019309 edges, 24370 markings/sec, 3250 secs
lola: STP completed || 99 tries, 98501405 fired transitions, 3255 secs || 78227762 markings, 363729311 edges, 24391 markings/sec, 3255 secs
lola: STP completed || 99 tries, 98659482 fired transitions, 3260 secs || 78349950 markings, 364433009 edges, 24438 markings/sec, 3260 secs
lola: STP completed || 99 tries, 98817892 fired transitions, 3265 secs || 78471947 markings, 365148465 edges, 24399 markings/sec, 3265 secs
lola: STP completed || 99 tries, 98973582 fired transitions, 3270 secs || 78592565 markings, 365834048 edges, 24124 markings/sec, 3270 secs
lola: STP completed || 100 tries, 99122403 fired transitions, 3275 secs || 78708231 markings, 366474912 edges, 23133 markings/sec, 3275 secs
lola: STP completed || 100 tries, 99271771 fired transitions, 3280 secs || 78824098 markings, 367105514 edges, 23173 markings/sec, 3280 secs
lola: STP completed || 100 tries, 99429317 fired transitions, 3285 secs || 78943894 markings, 367790490 edges, 23959 markings/sec, 3285 secs
lola: STP completed || 100 tries, 99581810 fired transitions, 3290 secs || 79060966 markings, 368446918 edges, 23414 markings/sec, 3290 secs
lola: STP completed || 100 tries, 99731956 fired transitions, 3295 secs || 79175625 markings, 369074963 edges, 22932 markings/sec, 3295 secs
lola: STP completed || 100 tries, 99884058 fired transitions, 3300 secs || 79294394 markings, 369647726 edges, 23754 markings/sec, 3300 secs
lola: STP completed || 101 tries, 100036570 fired transitions, 3305 secs || 79409678 markings, 370286592 edges, 23057 markings/sec, 3305 secs
lola: STP completed || 101 tries, 100186068 fired transitions, 3310 secs || 79521392 markings, 370955451 edges, 22343 markings/sec, 3310 secs
lola: STP completed || 101 tries, 100334526 fired transitions, 3315 secs || 79639162 markings, 371556174 edges, 23554 markings/sec, 3315 secs
lola: STP completed || 101 tries, 100483029 fired transitions, 3320 secs || 79755958 markings, 372141950 edges, 23359 markings/sec, 3320 secs
lola: STP completed || 101 tries, 100641800 fired transitions, 3325 secs || 79879377 markings, 372760508 edges, 24684 markings/sec, 3325 secs
lola: STP completed || 101 tries, 100800900 fired transitions, 3330 secs || 80001498 markings, 373387727 edges, 24424 markings/sec, 3330 secs
lola: STP completed || 101 tries, 100959830 fired transitions, 3335 secs || 80125339 markings, 374009587 edges, 24768 markings/sec, 3335 secs
lola: STP completed || 102 tries, 101110665 fired transitions, 3340 secs || 80241698 markings, 374618974 edges, 23272 markings/sec, 3340 secs
lola: STP completed || 102 tries, 101257180 fired transitions, 3345 secs || 80357623 markings, 375229384 edges, 23185 markings/sec, 3345 secs
lola: STP completed || 102 tries, 101404307 fired transitions, 3350 secs || 80474445 markings, 375828377 edges, 23364 markings/sec, 3350 secs
lola: STP completed || 102 tries, 101563644 fired transitions, 3355 secs || 80598448 markings, 376424957 edges, 24801 markings/sec, 3355 secs
lola: STP completed || 102 tries, 101724594 fired transitions, 3360 secs || 80721627 markings, 377034158 edges, 24636 markings/sec, 3360 secs
lola: STP completed || 102 tries, 101884963 fired transitions, 3365 secs || 80842439 markings, 377659589 edges, 24162 markings/sec, 3365 secs
lola: STP completed || 103 tries, 102044786 fired transitions, 3370 secs || 80962104 markings, 378290969 edges, 23933 markings/sec, 3370 secs
lola: STP completed || 103 tries, 102203147 fired transitions, 3375 secs || 81081221 markings, 378928364 edges, 23823 markings/sec, 3375 secs
lola: STP completed || 103 tries, 102361498 fired transitions, 3380 secs || 81201119 markings, 379571917 edges, 23980 markings/sec, 3380 secs
lola: STP completed || 103 tries, 102520014 fired transitions, 3385 secs || 81320435 markings, 380221290 edges, 23863 markings/sec, 3385 secs
lola: STP completed || 103 tries, 102678342 fired transitions, 3390 secs || 81441184 markings, 380853822 edges, 24150 markings/sec, 3390 secs
lola: STP completed || 103 tries, 102836664 fired transitions, 3395 secs || 81562607 markings, 381471936 edges, 24285 markings/sec, 3395 secs
lola: STP completed || 103 tries, 102995045 fired transitions, 3400 secs || 81684119 markings, 382141362 edges, 24302 markings/sec, 3400 secs
lola: STP completed || 104 tries, 103154839 fired transitions, 3405 secs || 81805424 markings, 382822855 edges, 24261 markings/sec, 3405 secs
lola: STP completed || 104 tries, 103313411 fired transitions, 3410 secs || 81924746 markings, 383501052 edges, 23864 markings/sec, 3410 secs
lola: STP completed || 104 tries, 103471718 fired transitions, 3415 secs || 82043070 markings, 384182594 edges, 23665 markings/sec, 3415 secs
lola: STP completed || 104 tries, 103630028 fired transitions, 3420 secs || 82160134 markings, 384900459 edges, 23413 markings/sec, 3420 secs
lola: STP completed || 104 tries, 103789522 fired transitions, 3425 secs || 82279272 markings, 385620482 edges, 23828 markings/sec, 3425 secs
lola: STP completed || 104 tries, 103949482 fired transitions, 3430 secs || 82402351 markings, 386276175 edges, 24616 markings/sec, 3430 secs
lola: STP completed || 105 tries, 104107362 fired transitions, 3435 secs || 82526354 markings, 386908848 edges, 24801 markings/sec, 3435 secs
lola: STP completed || 105 tries, 104264284 fired transitions, 3440 secs || 82648022 markings, 387559588 edges, 24334 markings/sec, 3440 secs
lola: STP completed || 105 tries, 104421212 fired transitions, 3445 secs || 82769258 markings, 388228059 edges, 24247 markings/sec, 3445 secs
lola: STP completed || 105 tries, 104572445 fired transitions, 3450 secs || 82885518 markings, 388853156 edges, 23252 markings/sec, 3450 secs
lola: STP completed || 105 tries, 104718223 fired transitions, 3455 secs || 83005386 markings, 389394724 edges, 23974 markings/sec, 3455 secs
lola: STP completed || 105 tries, 104863111 fired transitions, 3460 secs || 83132325 markings, 389844413 edges, 25388 markings/sec, 3460 secs
lola: STP completed || 106 tries, 105007977 fired transitions, 3465 secs || 83258881 markings, 390285024 edges, 25311 markings/sec, 3465 secs
lola: STP completed || 106 tries, 105155658 fired transitions, 3470 secs || 83384544 markings, 390733359 edges, 25133 markings/sec, 3470 secs
lola: STP completed || 106 tries, 105303267 fired transitions, 3475 secs || 83508899 markings, 391227231 edges, 24871 markings/sec, 3475 secs
lola: STP completed || 106 tries, 105450827 fired transitions, 3480 secs || 83633564 markings, 391726634 edges, 24933 markings/sec, 3480 secs
lola: STP completed || 106 tries, 105598506 fired transitions, 3485 secs || 83758530 markings, 392197139 edges, 24993 markings/sec, 3485 secs
lola: STP completed || 106 tries, 105746224 fired transitions, 3490 secs || 83882741 markings, 392687762 edges, 24842 markings/sec, 3490 secs
lola: STP completed || 106 tries, 105895589 fired transitions, 3495 secs || 84005062 markings, 393152628 edges, 24464 markings/sec, 3495 secs
lola: STP completed || 107 tries, 106045500 fired transitions, 3500 secs || 84126387 markings, 393606362 edges, 24265 markings/sec, 3500 secs
lola: STP completed || 107 tries, 106189489 fired transitions, 3505 secs || 84246537 markings, 394091861 edges, 24030 markings/sec, 3505 secs
lola: STP completed || 107 tries, 106339515 fired transitions, 3510 secs || 84367426 markings, 394586608 edges, 24178 markings/sec, 3510 secs
lola: STP completed || 107 tries, 106489192 fired transitions, 3515 secs || 84488539 markings, 395050988 edges, 24223 markings/sec, 3515 secs
lola: STP completed || 107 tries, 106638458 fired transitions, 3520 secs || 84611151 markings, 395498236 edges, 24522 markings/sec, 3520 secs
lola: STP completed || 107 tries, 106787941 fired transitions, 3525 secs || 84732958 markings, 395967408 edges, 24361 markings/sec, 3525 secs
lola: STP completed || 107 tries, 106935241 fired transitions, 3530 secs || 84857785 markings, 396406955 edges, 24965 markings/sec, 3530 secs
lola: STP completed || 108 tries, 107083355 fired transitions, 3535 secs || 84984032 markings, 396882811 edges, 25249 markings/sec, 3535 secs
lola: STP completed || 108 tries, 107227911 fired transitions, 3540 secs || 85107737 markings, 397377400 edges, 24741 markings/sec, 3540 secs
lola: STP completed || 108 tries, 107372908 fired transitions, 3545 secs || 85232593 markings, 397869839 edges, 24971 markings/sec, 3545 secs
lola: STP completed || 108 tries, 107518551 fired transitions, 3550 secs || 85357863 markings, 398354446 edges, 25054 markings/sec, 3550 secs
lola: STP completed || 108 tries, 107663429 fired transitions, 3555 secs || 85481887 markings, 398857603 edges, 24805 markings/sec, 3555 secs
lola: STP completed || 108 tries, 107811891 fired transitions, 3560 secs || 85608948 markings, 399362197 edges, 25412 markings/sec, 3560 secs
lola: time limit reached - aborting
lola: memory consumption: 2883172 KB
lola: time consumption: 3570 seconds
BK_STOP 1526858869539
--------------------
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-15ringRRLarge"
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-15ringRRLarge.tgz
mv DNAwalker-PT-15ringRRLarge 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-15ringRRLarge, 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-152649735500328"
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 ;