About the Execution of LoLA for DLCround-PT-12b
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 15917.780 | 3458129.00 | 6937636.00 | 14444.20 | [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 2.1M
-rw-r--r-- 1 mcc users 3.2K May 15 18:54 CTLCardinality.txt
-rw-r--r-- 1 mcc users 17K May 15 18:54 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.4K May 15 18:54 CTLFireability.txt
-rw-r--r-- 1 mcc users 17K May 15 18:54 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K May 15 18:50 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 5.9K May 15 18:50 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 2.2K May 15 18:54 LTLCardinality.txt
-rw-r--r-- 1 mcc users 9.1K May 15 18:54 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.9K May 15 18:54 LTLFireability.txt
-rw-r--r-- 1 mcc users 10K May 15 18:54 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.5K May 15 18:54 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 18K May 15 18:54 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 106 May 15 18:54 ReachabilityDeadlock.txt
-rw-r--r-- 1 mcc users 344 May 15 18:54 ReachabilityDeadlock.xml
-rw-r--r-- 1 mcc users 2.9K May 15 18:54 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 18K May 15 18:54 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K May 15 18:54 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K May 15 18:54 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 15 18:50 equiv_col
-rw-r--r-- 1 mcc users 4 May 15 18:50 instance
-rw-r--r-- 1 mcc users 6 May 15 18:50 iscolored
-rw-r--r-- 1 mcc users 1.9M May 15 18:50 model.pnml
=====================================================================
Generated by BenchKit 2-3637
Executing tool lola
Input is DLCround-PT-12b, examination is ReachabilityDeadlock
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r064-smll-152649735300139
=====================================================================
--------------------
content from stdout:
=== Data for post analysis generated by BenchKit (invocation template)
The expected result is a vector of booleans
BOOL_VECTOR
here is the order used to build the result vector(from text file)
FORMULA_NAME DLCround-PT-12b-ReachabilityDeadlock-0
=== Now, execution of the tool begins
BK_START 1526677154833
info: Time: 3600 - MCC
===========================================================================================
prep: translating DLCround-PT-12b Petri net model.pnml into LoLA format
===========================================================================================
prep: translating PT Petri net complete
prep: net is already safe
prep: check for too many tokens
===========================================================================================
prep: translating DLCround-PT-12b formula ReachabilityDeadlock into LoLA format
===========================================================================================
prep: translating PT formula complete
vrfy: Checking ReachabilityDeadlock @ DLCround-PT-12b @ 3569 seconds
lola: LoLA will run for 3569 seconds at most (--timelimit)
lola: NET
lola: reading net from model.pnml.lola
lola: finished parsing
lola: closed net file model.pnml.lola
lola: 12684/65536 symbol table entries, 3783 collisions
lola: preprocessing...
lola: Size of bit vector: 4848
lola: finding significant places
lola: 4848 places, 7836 transitions, 4571 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 11364 transition conflict sets
lola: TASK
lola: reading formula from DLCround-PT-12b-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 17 generators (17 in search tree, 0 by composition)
lola: representing 131072 symmetries
lola: 0 dead branches visited in search tree
lola: STP: formula with 155198 variables and 474245 clauses shipped to Minisat
lola: stp: The siphon/trap property does not hold
lola: STP completed || 1 tries, 93893 fired transitions, 0 secs || 53584 markings, 59867 edges, 10717 markings/sec, 0 secs
lola: STP completed || 1 tries, 190622 fired transitions, 5 secs || 109976 markings, 122999 edges, 11278 markings/sec, 5 secs
lola: STP completed || 1 tries, 286258 fired transitions, 10 secs || 165548 markings, 184695 edges, 11114 markings/sec, 10 secs
lola: STP completed || 1 tries, 381860 fired transitions, 15 secs || 220874 markings, 246477 edges, 11065 markings/sec, 15 secs
lola: STP completed || 1 tries, 478873 fired transitions, 20 secs || 272719 markings, 304136 edges, 10369 markings/sec, 20 secs
lola: STP completed || 1 tries, 574788 fired transitions, 25 secs || 327750 markings, 365914 edges, 11006 markings/sec, 25 secs
lola: STP completed || 1 tries, 671460 fired transitions, 30 secs || 382442 markings, 427037 edges, 10938 markings/sec, 30 secs
lola: STP completed || 1 tries, 769860 fired transitions, 35 secs || 438107 markings, 488853 edges, 11133 markings/sec, 35 secs
lola: STP completed || 1 tries, 866973 fired transitions, 40 secs || 490967 markings, 547559 edges, 10572 markings/sec, 40 secs
lola: STP completed || 1 tries, 960862 fired transitions, 45 secs || 548202 markings, 612679 edges, 11447 markings/sec, 45 secs
lola: STP completed || 2 tries, 1058196 fired transitions, 50 secs || 602263 markings, 674131 edges, 10812 markings/sec, 50 secs
lola: STP completed || 2 tries, 1157428 fired transitions, 55 secs || 659429 markings, 737958 edges, 11433 markings/sec, 55 secs
lola: STP completed || 2 tries, 1256917 fired transitions, 60 secs || 714733 markings, 799838 edges, 11061 markings/sec, 60 secs
lola: STP completed || 2 tries, 1356255 fired transitions, 65 secs || 769489 markings, 860429 edges, 10951 markings/sec, 65 secs
lola: STP completed || 2 tries, 1454362 fired transitions, 70 secs || 824382 markings, 921240 edges, 10979 markings/sec, 70 secs
lola: STP completed || 2 tries, 1551054 fired transitions, 75 secs || 874428 markings, 976836 edges, 10009 markings/sec, 75 secs
lola: STP completed || 2 tries, 1645397 fired transitions, 80 secs || 925382 markings, 1032904 edges, 10191 markings/sec, 80 secs
lola: STP completed || 2 tries, 1741050 fired transitions, 85 secs || 976993 markings, 1090018 edges, 10322 markings/sec, 85 secs
lola: STP completed || 2 tries, 1839352 fired transitions, 90 secs || 1029491 markings, 1148746 edges, 10500 markings/sec, 90 secs
lola: STP completed || 2 tries, 1937610 fired transitions, 95 secs || 1082823 markings, 1207834 edges, 10666 markings/sec, 95 secs
lola: STP completed || 3 tries, 2036260 fired transitions, 100 secs || 1136432 markings, 1267314 edges, 10722 markings/sec, 100 secs
lola: STP completed || 3 tries, 2134281 fired transitions, 105 secs || 1190546 markings, 1326382 edges, 10823 markings/sec, 105 secs
lola: STP completed || 3 tries, 2231654 fired transitions, 110 secs || 1244229 markings, 1385005 edges, 10737 markings/sec, 110 secs
lola: STP completed || 3 tries, 2328878 fired transitions, 115 secs || 1299013 markings, 1445491 edges, 10957 markings/sec, 115 secs
lola: STP completed || 3 tries, 2420223 fired transitions, 120 secs || 1351462 markings, 1503197 edges, 10490 markings/sec, 120 secs
lola: STP completed || 3 tries, 2513134 fired transitions, 125 secs || 1400339 markings, 1556755 edges, 9775 markings/sec, 125 secs
lola: STP completed || 3 tries, 2604722 fired transitions, 130 secs || 1451994 markings, 1613550 edges, 10331 markings/sec, 130 secs
lola: STP completed || 3 tries, 2694644 fired transitions, 135 secs || 1503298 markings, 1669842 edges, 10261 markings/sec, 135 secs
lola: STP completed || 3 tries, 2782052 fired transitions, 140 secs || 1555312 markings, 1726928 edges, 10403 markings/sec, 140 secs
lola: STP completed || 3 tries, 2869522 fired transitions, 145 secs || 1606226 markings, 1782586 edges, 10183 markings/sec, 145 secs
lola: STP completed || 3 tries, 2965866 fired transitions, 150 secs || 1660386 markings, 1841978 edges, 10832 markings/sec, 150 secs
lola: STP completed || 4 tries, 3065295 fired transitions, 155 secs || 1714781 markings, 1901969 edges, 10879 markings/sec, 155 secs
lola: STP completed || 4 tries, 3164105 fired transitions, 160 secs || 1768855 markings, 1961546 edges, 10815 markings/sec, 160 secs
lola: STP completed || 4 tries, 3259841 fired transitions, 165 secs || 1818902 markings, 2016283 edges, 10009 markings/sec, 165 secs
lola: STP completed || 4 tries, 3355458 fired transitions, 170 secs || 1870487 markings, 2073159 edges, 10317 markings/sec, 170 secs
lola: STP completed || 4 tries, 3448366 fired transitions, 175 secs || 1923691 markings, 2131664 edges, 10641 markings/sec, 175 secs
lola: STP completed || 4 tries, 3541431 fired transitions, 180 secs || 1977399 markings, 2190430 edges, 10742 markings/sec, 180 secs
lola: STP completed || 4 tries, 3637943 fired transitions, 185 secs || 2029712 markings, 2248028 edges, 10463 markings/sec, 185 secs
lola: STP completed || 4 tries, 3733697 fired transitions, 190 secs || 2080527 markings, 2303389 edges, 10163 markings/sec, 190 secs
lola: STP completed || 4 tries, 3828472 fired transitions, 195 secs || 2132413 markings, 2360632 edges, 10377 markings/sec, 195 secs
lola: STP completed || 4 tries, 3923574 fired transitions, 200 secs || 2185766 markings, 2419140 edges, 10671 markings/sec, 200 secs
lola: STP completed || 5 tries, 4021050 fired transitions, 205 secs || 2239672 markings, 2478465 edges, 10781 markings/sec, 205 secs
lola: STP completed || 5 tries, 4115671 fired transitions, 210 secs || 2293146 markings, 2537523 edges, 10695 markings/sec, 210 secs
lola: STP completed || 5 tries, 4211453 fired transitions, 215 secs || 2346738 markings, 2596778 edges, 10718 markings/sec, 215 secs
lola: STP completed || 5 tries, 4306454 fired transitions, 220 secs || 2400489 markings, 2656449 edges, 10750 markings/sec, 220 secs
lola: STP completed || 5 tries, 4401758 fired transitions, 225 secs || 2453219 markings, 2714462 edges, 10546 markings/sec, 225 secs
lola: STP completed || 5 tries, 4497418 fired transitions, 230 secs || 2506327 markings, 2772970 edges, 10622 markings/sec, 230 secs
lola: STP completed || 5 tries, 4592296 fired transitions, 235 secs || 2559179 markings, 2830881 edges, 10570 markings/sec, 235 secs
lola: STP completed || 5 tries, 4687000 fired transitions, 240 secs || 2611648 markings, 2888462 edges, 10494 markings/sec, 240 secs
lola: STP completed || 5 tries, 4785441 fired transitions, 245 secs || 2665669 markings, 2947594 edges, 10804 markings/sec, 245 secs
lola: STP completed || 5 tries, 4881140 fired transitions, 250 secs || 2716950 markings, 3003935 edges, 10256 markings/sec, 250 secs
lola: STP completed || 5 tries, 4976638 fired transitions, 255 secs || 2767984 markings, 3059795 edges, 10207 markings/sec, 255 secs
lola: STP completed || 6 tries, 5074676 fired transitions, 260 secs || 2819822 markings, 3116903 edges, 10368 markings/sec, 260 secs
lola: STP completed || 6 tries, 5170785 fired transitions, 265 secs || 2871305 markings, 3173506 edges, 10297 markings/sec, 265 secs
lola: STP completed || 6 tries, 5265394 fired transitions, 270 secs || 2924535 markings, 3231986 edges, 10646 markings/sec, 270 secs
lola: STP completed || 6 tries, 5358434 fired transitions, 275 secs || 2976310 markings, 3288859 edges, 10355 markings/sec, 275 secs
lola: STP completed || 6 tries, 5453452 fired transitions, 280 secs || 3028608 markings, 3346130 edges, 10460 markings/sec, 280 secs
lola: STP completed || 6 tries, 5548483 fired transitions, 285 secs || 3081096 markings, 3403741 edges, 10498 markings/sec, 285 secs
lola: STP completed || 6 tries, 5643558 fired transitions, 290 secs || 3132884 markings, 3461018 edges, 10358 markings/sec, 290 secs
lola: STP completed || 6 tries, 5739049 fired transitions, 295 secs || 3184861 markings, 3517948 edges, 10395 markings/sec, 295 secs
lola: STP completed || 6 tries, 5837555 fired transitions, 300 secs || 3238359 markings, 3576536 edges, 10700 markings/sec, 300 secs
lola: STP completed || 6 tries, 5936821 fired transitions, 305 secs || 3292624 markings, 3636043 edges, 10853 markings/sec, 305 secs
lola: STP completed || 7 tries, 6037184 fired transitions, 310 secs || 3346199 markings, 3695207 edges, 10715 markings/sec, 310 secs
lola: STP completed || 7 tries, 6136327 fired transitions, 315 secs || 3400031 markings, 3754531 edges, 10766 markings/sec, 315 secs
lola: STP completed || 7 tries, 6235334 fired transitions, 320 secs || 3453271 markings, 3813067 edges, 10648 markings/sec, 320 secs
lola: STP completed || 7 tries, 6334426 fired transitions, 325 secs || 3506983 markings, 3872070 edges, 10742 markings/sec, 325 secs
lola: STP completed || 7 tries, 6432766 fired transitions, 330 secs || 3561482 markings, 3932269 edges, 10900 markings/sec, 330 secs
lola: STP completed || 7 tries, 6532137 fired transitions, 335 secs || 3614949 markings, 3990977 edges, 10693 markings/sec, 335 secs
lola: STP completed || 7 tries, 6631673 fired transitions, 340 secs || 3669031 markings, 4050269 edges, 10816 markings/sec, 340 secs
lola: STP completed || 7 tries, 6731385 fired transitions, 345 secs || 3722731 markings, 4109097 edges, 10740 markings/sec, 345 secs
lola: STP completed || 7 tries, 6830504 fired transitions, 350 secs || 3776108 markings, 4167603 edges, 10675 markings/sec, 350 secs
lola: STP completed || 7 tries, 6929088 fired transitions, 355 secs || 3829529 markings, 4226432 edges, 10684 markings/sec, 355 secs
lola: STP completed || 8 tries, 7029390 fired transitions, 360 secs || 3883349 markings, 4285341 edges, 10764 markings/sec, 360 secs
lola: STP completed || 8 tries, 7128418 fired transitions, 365 secs || 3937631 markings, 4346127 edges, 10856 markings/sec, 365 secs
lola: STP completed || 8 tries, 7228511 fired transitions, 370 secs || 3992126 markings, 4407018 edges, 10899 markings/sec, 370 secs
lola: STP completed || 8 tries, 7327411 fired transitions, 375 secs || 4045229 markings, 4465443 edges, 10621 markings/sec, 375 secs
lola: STP completed || 8 tries, 7427305 fired transitions, 380 secs || 4098446 markings, 4523969 edges, 10643 markings/sec, 380 secs
lola: STP completed || 8 tries, 7528043 fired transitions, 385 secs || 4152462 markings, 4583242 edges, 10803 markings/sec, 385 secs
lola: STP completed || 8 tries, 7628137 fired transitions, 390 secs || 4206737 markings, 4642878 edges, 10855 markings/sec, 390 secs
lola: STP completed || 8 tries, 7726732 fired transitions, 395 secs || 4261127 markings, 4702603 edges, 10878 markings/sec, 395 secs
lola: STP completed || 8 tries, 7826627 fired transitions, 400 secs || 4314732 markings, 4761288 edges, 10721 markings/sec, 400 secs
lola: STP completed || 8 tries, 7925637 fired transitions, 405 secs || 4369158 markings, 4821020 edges, 10885 markings/sec, 405 secs
lola: STP completed || 9 tries, 8027011 fired transitions, 410 secs || 4422529 markings, 4879858 edges, 10674 markings/sec, 410 secs
lola: STP completed || 9 tries, 8126257 fired transitions, 415 secs || 4476050 markings, 4938552 edges, 10704 markings/sec, 415 secs
lola: STP completed || 9 tries, 8225794 fired transitions, 420 secs || 4530013 markings, 4998045 edges, 10793 markings/sec, 420 secs
lola: STP completed || 9 tries, 8326630 fired transitions, 425 secs || 4584757 markings, 5058449 edges, 10949 markings/sec, 425 secs
lola: STP completed || 9 tries, 8425856 fired transitions, 430 secs || 4638024 markings, 5116800 edges, 10653 markings/sec, 430 secs
lola: STP completed || 9 tries, 8523755 fired transitions, 435 secs || 4690653 markings, 5174421 edges, 10526 markings/sec, 435 secs
lola: STP completed || 9 tries, 8623575 fired transitions, 440 secs || 4744700 markings, 5234012 edges, 10809 markings/sec, 440 secs
lola: STP completed || 9 tries, 8718626 fired transitions, 445 secs || 4797373 markings, 5291575 edges, 10535 markings/sec, 445 secs
lola: STP completed || 9 tries, 8815232 fired transitions, 450 secs || 4849551 markings, 5348939 edges, 10436 markings/sec, 450 secs
lola: STP completed || 9 tries, 8915073 fired transitions, 455 secs || 4903320 markings, 5408078 edges, 10754 markings/sec, 455 secs
lola: STP completed || 10 tries, 9015044 fired transitions, 460 secs || 4956455 markings, 5466727 edges, 10627 markings/sec, 460 secs
lola: STP completed || 10 tries, 9111400 fired transitions, 465 secs || 5008620 markings, 5524025 edges, 10433 markings/sec, 465 secs
lola: STP completed || 10 tries, 9211741 fired transitions, 470 secs || 5062618 markings, 5583383 edges, 10800 markings/sec, 470 secs
lola: STP completed || 10 tries, 9311349 fired transitions, 475 secs || 5116772 markings, 5642863 edges, 10831 markings/sec, 475 secs
lola: STP completed || 10 tries, 9410395 fired transitions, 480 secs || 5170470 markings, 5701659 edges, 10740 markings/sec, 480 secs
lola: STP completed || 10 tries, 9511040 fired transitions, 485 secs || 5223545 markings, 5759823 edges, 10615 markings/sec, 485 secs
lola: STP completed || 10 tries, 9608722 fired transitions, 490 secs || 5278094 markings, 5820614 edges, 10910 markings/sec, 490 secs
lola: STP completed || 10 tries, 9704894 fired transitions, 495 secs || 5329421 markings, 5876704 edges, 10265 markings/sec, 495 secs
lola: STP completed || 10 tries, 9800820 fired transitions, 500 secs || 5380012 markings, 5932578 edges, 10118 markings/sec, 500 secs
lola: STP completed || 10 tries, 9891936 fired transitions, 505 secs || 5431035 markings, 5988789 edges, 10205 markings/sec, 505 secs
lola: STP completed || 10 tries, 9986666 fired transitions, 510 secs || 5483465 markings, 6046768 edges, 10486 markings/sec, 510 secs
lola: STP completed || 11 tries, 10082310 fired transitions, 515 secs || 5536404 markings, 6104952 edges, 10588 markings/sec, 515 secs
lola: STP completed || 11 tries, 10176977 fired transitions, 520 secs || 5588474 markings, 6162026 edges, 10414 markings/sec, 520 secs
lola: STP completed || 11 tries, 10271771 fired transitions, 525 secs || 5640506 markings, 6219099 edges, 10406 markings/sec, 525 secs
lola: STP completed || 11 tries, 10369161 fired transitions, 530 secs || 5692340 markings, 6276124 edges, 10367 markings/sec, 530 secs
lola: STP completed || 11 tries, 10467434 fired transitions, 535 secs || 5744244 markings, 6332988 edges, 10381 markings/sec, 535 secs
lola: STP completed || 11 tries, 10563626 fired transitions, 540 secs || 5795155 markings, 6388677 edges, 10182 markings/sec, 540 secs
lola: STP completed || 11 tries, 10660485 fired transitions, 545 secs || 5846477 markings, 6445137 edges, 10264 markings/sec, 545 secs
lola: STP completed || 11 tries, 10757829 fired transitions, 550 secs || 5897967 markings, 6501590 edges, 10298 markings/sec, 550 secs
lola: STP completed || 11 tries, 10854753 fired transitions, 555 secs || 5950150 markings, 6559145 edges, 10437 markings/sec, 555 secs
lola: STP completed || 11 tries, 10952042 fired transitions, 560 secs || 6002617 markings, 6616996 edges, 10493 markings/sec, 560 secs
lola: STP completed || 12 tries, 11050128 fired transitions, 565 secs || 6055094 markings, 6674743 edges, 10495 markings/sec, 565 secs
lola: STP completed || 12 tries, 11148163 fired transitions, 570 secs || 6107493 markings, 6732313 edges, 10480 markings/sec, 570 secs
lola: STP completed || 12 tries, 11246053 fired transitions, 575 secs || 6159528 markings, 6789232 edges, 10407 markings/sec, 575 secs
lola: STP completed || 12 tries, 11341850 fired transitions, 580 secs || 6211094 markings, 6845737 edges, 10313 markings/sec, 580 secs
lola: STP completed || 12 tries, 11438821 fired transitions, 585 secs || 6261868 markings, 6901255 edges, 10155 markings/sec, 585 secs
lola: STP completed || 12 tries, 11534437 fired transitions, 590 secs || 6312984 markings, 6957377 edges, 10223 markings/sec, 590 secs
lola: STP completed || 12 tries, 11630707 fired transitions, 595 secs || 6364463 markings, 7013903 edges, 10296 markings/sec, 595 secs
lola: STP completed || 12 tries, 11727119 fired transitions, 600 secs || 6415196 markings, 7069486 edges, 10147 markings/sec, 600 secs
lola: STP completed || 12 tries, 11826659 fired transitions, 605 secs || 6467568 markings, 7126983 edges, 10474 markings/sec, 605 secs
lola: STP completed || 12 tries, 11923201 fired transitions, 610 secs || 6518931 markings, 7182963 edges, 10273 markings/sec, 610 secs
lola: STP completed || 13 tries, 12021295 fired transitions, 615 secs || 6573275 markings, 7243289 edges, 10869 markings/sec, 615 secs
lola: STP completed || 13 tries, 12117900 fired transitions, 620 secs || 6625945 markings, 7301115 edges, 10534 markings/sec, 620 secs
lola: STP completed || 13 tries, 12215109 fired transitions, 625 secs || 6677573 markings, 7357831 edges, 10326 markings/sec, 625 secs
lola: STP completed || 13 tries, 12312458 fired transitions, 630 secs || 6729194 markings, 7414603 edges, 10324 markings/sec, 630 secs
lola: STP completed || 13 tries, 12409754 fired transitions, 635 secs || 6781034 markings, 7471576 edges, 10368 markings/sec, 635 secs
lola: STP completed || 13 tries, 12506877 fired transitions, 640 secs || 6832965 markings, 7528875 edges, 10386 markings/sec, 640 secs
lola: STP completed || 13 tries, 12603479 fired transitions, 645 secs || 6886464 markings, 7587989 edges, 10700 markings/sec, 645 secs
lola: STP completed || 13 tries, 12700161 fired transitions, 650 secs || 6938608 markings, 7645369 edges, 10429 markings/sec, 650 secs
lola: STP completed || 13 tries, 12799065 fired transitions, 655 secs || 6990327 markings, 7702506 edges, 10344 markings/sec, 655 secs
lola: STP completed || 13 tries, 12895185 fired transitions, 660 secs || 7041459 markings, 7758651 edges, 10226 markings/sec, 660 secs
lola: STP completed || 13 tries, 12994919 fired transitions, 665 secs || 7093373 markings, 7815862 edges, 10383 markings/sec, 665 secs
lola: STP completed || 14 tries, 13093060 fired transitions, 670 secs || 7144476 markings, 7872084 edges, 10221 markings/sec, 670 secs
lola: STP completed || 14 tries, 13191466 fired transitions, 675 secs || 7195810 markings, 7928509 edges, 10267 markings/sec, 675 secs
lola: STP completed || 14 tries, 13288575 fired transitions, 680 secs || 7247630 markings, 7985259 edges, 10364 markings/sec, 680 secs
lola: STP completed || 14 tries, 13385926 fired transitions, 685 secs || 7300510 markings, 8044511 edges, 10576 markings/sec, 685 secs
lola: STP completed || 14 tries, 13484051 fired transitions, 690 secs || 7353565 markings, 8104354 edges, 10611 markings/sec, 690 secs
lola: STP completed || 14 tries, 13581270 fired transitions, 695 secs || 7405618 markings, 8162647 edges, 10411 markings/sec, 695 secs
lola: STP completed || 14 tries, 13678632 fired transitions, 700 secs || 7457923 markings, 8221030 edges, 10461 markings/sec, 700 secs
lola: STP completed || 14 tries, 13776164 fired transitions, 705 secs || 7510037 markings, 8279360 edges, 10423 markings/sec, 705 secs
lola: STP completed || 14 tries, 13874336 fired transitions, 710 secs || 7561849 markings, 8337365 edges, 10362 markings/sec, 710 secs
lola: STP completed || 14 tries, 13972169 fired transitions, 715 secs || 7613584 markings, 8394775 edges, 10347 markings/sec, 715 secs
lola: STP completed || 15 tries, 14071177 fired transitions, 720 secs || 7665154 markings, 8452626 edges, 10314 markings/sec, 720 secs
lola: STP completed || 15 tries, 14169718 fired transitions, 725 secs || 7716716 markings, 8509162 edges, 10312 markings/sec, 725 secs
lola: STP completed || 15 tries, 14268047 fired transitions, 730 secs || 7767841 markings, 8565589 edges, 10225 markings/sec, 730 secs
lola: STP completed || 15 tries, 14365476 fired transitions, 735 secs || 7819271 markings, 8622169 edges, 10286 markings/sec, 735 secs
lola: STP completed || 15 tries, 14462688 fired transitions, 740 secs || 7871364 markings, 8679699 edges, 10419 markings/sec, 740 secs
lola: STP completed || 15 tries, 14559415 fired transitions, 745 secs || 7923541 markings, 8737111 edges, 10435 markings/sec, 745 secs
lola: STP completed || 15 tries, 14657541 fired transitions, 750 secs || 7975396 markings, 8794197 edges, 10371 markings/sec, 750 secs
lola: STP completed || 15 tries, 14754777 fired transitions, 755 secs || 8028225 markings, 8852864 edges, 10566 markings/sec, 755 secs
lola: STP completed || 15 tries, 14851768 fired transitions, 760 secs || 8080281 markings, 8909993 edges, 10411 markings/sec, 760 secs
lola: STP completed || 15 tries, 14948969 fired transitions, 765 secs || 8132513 markings, 8967192 edges, 10446 markings/sec, 765 secs
lola: STP completed || 16 tries, 15048158 fired transitions, 770 secs || 8184720 markings, 9024479 edges, 10441 markings/sec, 770 secs
lola: STP completed || 16 tries, 15145876 fired transitions, 775 secs || 8237265 markings, 9082379 edges, 10509 markings/sec, 775 secs
lola: STP completed || 16 tries, 15241829 fired transitions, 780 secs || 8288900 markings, 9138937 edges, 10327 markings/sec, 780 secs
lola: STP completed || 16 tries, 15338138 fired transitions, 785 secs || 8342141 markings, 9197433 edges, 10648 markings/sec, 785 secs
lola: STP completed || 16 tries, 15435550 fired transitions, 790 secs || 8394075 markings, 9254667 edges, 10387 markings/sec, 790 secs
lola: STP completed || 16 tries, 15532001 fired transitions, 795 secs || 8447279 markings, 9313332 edges, 10641 markings/sec, 795 secs
lola: STP completed || 16 tries, 15628163 fired transitions, 800 secs || 8500277 markings, 9371966 edges, 10600 markings/sec, 800 secs
lola: STP completed || 16 tries, 15725723 fired transitions, 805 secs || 8552568 markings, 9429262 edges, 10458 markings/sec, 805 secs
lola: STP completed || 16 tries, 15821854 fired transitions, 810 secs || 8603991 markings, 9485416 edges, 10285 markings/sec, 810 secs
lola: STP completed || 16 tries, 15918969 fired transitions, 815 secs || 8657315 markings, 9544469 edges, 10665 markings/sec, 815 secs
lola: STP completed || 17 tries, 16016488 fired transitions, 820 secs || 8709241 markings, 9601517 edges, 10385 markings/sec, 820 secs
lola: STP completed || 17 tries, 16114908 fired transitions, 825 secs || 8761357 markings, 9658690 edges, 10423 markings/sec, 825 secs
lola: STP completed || 17 tries, 16213457 fired transitions, 830 secs || 8811970 markings, 9714539 edges, 10123 markings/sec, 830 secs
lola: STP completed || 17 tries, 16312070 fired transitions, 835 secs || 8862213 markings, 9770341 edges, 10049 markings/sec, 835 secs
lola: STP completed || 17 tries, 16410702 fired transitions, 840 secs || 8915395 markings, 9829585 edges, 10636 markings/sec, 840 secs
lola: STP completed || 17 tries, 16509178 fired transitions, 845 secs || 8966705 markings, 9886579 edges, 10262 markings/sec, 845 secs
lola: STP completed || 17 tries, 16606538 fired transitions, 850 secs || 9018091 markings, 9943003 edges, 10277 markings/sec, 850 secs
lola: STP completed || 17 tries, 16704164 fired transitions, 855 secs || 9068866 markings, 9998790 edges, 10155 markings/sec, 855 secs
lola: STP completed || 17 tries, 16801179 fired transitions, 860 secs || 9120483 markings, 10055383 edges, 10323 markings/sec, 860 secs
lola: STP completed || 17 tries, 16898069 fired transitions, 865 secs || 9170850 markings, 10110719 edges, 10073 markings/sec, 865 secs
lola: STP completed || 17 tries, 16994813 fired transitions, 870 secs || 9222426 markings, 10167375 edges, 10315 markings/sec, 870 secs
lola: STP completed || 18 tries, 17093117 fired transitions, 875 secs || 9273160 markings, 10223210 edges, 10147 markings/sec, 875 secs
lola: STP completed || 18 tries, 17190726 fired transitions, 880 secs || 9325377 markings, 10280797 edges, 10443 markings/sec, 880 secs
lola: STP completed || 18 tries, 17287132 fired transitions, 885 secs || 9376484 markings, 10336716 edges, 10221 markings/sec, 885 secs
lola: STP completed || 18 tries, 17383717 fired transitions, 890 secs || 9427116 markings, 10392294 edges, 10126 markings/sec, 890 secs
lola: STP completed || 18 tries, 17480583 fired transitions, 895 secs || 9478092 markings, 10448317 edges, 10195 markings/sec, 895 secs
lola: STP completed || 18 tries, 17579127 fired transitions, 900 secs || 9526938 markings, 10501862 edges, 9769 markings/sec, 900 secs
lola: STP completed || 18 tries, 17677560 fired transitions, 905 secs || 9576127 markings, 10555740 edges, 9838 markings/sec, 905 secs
lola: STP completed || 18 tries, 17774834 fired transitions, 910 secs || 9627804 markings, 10612525 edges, 10335 markings/sec, 910 secs
lola: STP completed || 18 tries, 17872659 fired transitions, 915 secs || 9679614 markings, 10669206 edges, 10362 markings/sec, 915 secs
lola: STP completed || 18 tries, 17970449 fired transitions, 920 secs || 9731105 markings, 10726258 edges, 10298 markings/sec, 920 secs
lola: STP completed || 19 tries, 18069061 fired transitions, 925 secs || 9782442 markings, 10782726 edges, 10267 markings/sec, 925 secs
lola: STP completed || 19 tries, 18166564 fired transitions, 930 secs || 9834547 markings, 10840268 edges, 10421 markings/sec, 930 secs
lola: STP completed || 19 tries, 18262737 fired transitions, 935 secs || 9885030 markings, 10895717 edges, 10097 markings/sec, 935 secs
lola: STP completed || 19 tries, 18360758 fired transitions, 940 secs || 9936507 markings, 10952329 edges, 10295 markings/sec, 940 secs
lola: STP completed || 19 tries, 18459005 fired transitions, 945 secs || 9986521 markings, 11007165 edges, 10003 markings/sec, 945 secs
lola: STP completed || 19 tries, 18556278 fired transitions, 950 secs || 10039263 markings, 11065238 edges, 10548 markings/sec, 950 secs
lola: STP completed || 19 tries, 18654435 fired transitions, 955 secs || 10090609 markings, 11121961 edges, 10269 markings/sec, 955 secs
lola: STP completed || 19 tries, 18751589 fired transitions, 960 secs || 10141849 markings, 11178487 edges, 10248 markings/sec, 960 secs
lola: STP completed || 19 tries, 18844260 fired transitions, 965 secs || 10193557 markings, 11235532 edges, 10342 markings/sec, 965 secs
lola: STP completed || 19 tries, 18936996 fired transitions, 970 secs || 10244808 markings, 11291776 edges, 10250 markings/sec, 970 secs
lola: STP completed || 20 tries, 19032598 fired transitions, 975 secs || 10296575 markings, 11348559 edges, 10353 markings/sec, 975 secs
lola: STP completed || 20 tries, 19127203 fired transitions, 980 secs || 10348647 markings, 11405631 edges, 10414 markings/sec, 980 secs
lola: STP completed || 20 tries, 19220216 fired transitions, 985 secs || 10400168 markings, 11462203 edges, 10304 markings/sec, 985 secs
lola: STP completed || 20 tries, 19312973 fired transitions, 990 secs || 10451510 markings, 11518538 edges, 10268 markings/sec, 990 secs
lola: STP completed || 20 tries, 19407786 fired transitions, 995 secs || 10502557 markings, 11574467 edges, 10209 markings/sec, 995 secs
lola: STP completed || 20 tries, 19502812 fired transitions, 1000 secs || 10554274 markings, 11631183 edges, 10343 markings/sec, 1000 secs
lola: STP completed || 20 tries, 19598605 fired transitions, 1005 secs || 10605018 markings, 11686710 edges, 10149 markings/sec, 1005 secs
lola: STP completed || 20 tries, 19693277 fired transitions, 1010 secs || 10655455 markings, 11742040 edges, 10087 markings/sec, 1010 secs
lola: STP completed || 20 tries, 19788098 fired transitions, 1015 secs || 10706021 markings, 11797487 edges, 10113 markings/sec, 1015 secs
lola: STP completed || 20 tries, 19878307 fired transitions, 1020 secs || 10758484 markings, 11855612 edges, 10493 markings/sec, 1020 secs
lola: STP completed || 20 tries, 19970999 fired transitions, 1025 secs || 10811129 markings, 11913996 edges, 10529 markings/sec, 1025 secs
lola: STP completed || 21 tries, 20069395 fired transitions, 1030 secs || 10863522 markings, 11973041 edges, 10479 markings/sec, 1030 secs
lola: STP completed || 21 tries, 20166917 fired transitions, 1035 secs || 10916281 markings, 12032151 edges, 10552 markings/sec, 1035 secs
lola: STP completed || 21 tries, 20262569 fired transitions, 1040 secs || 10968830 markings, 12091349 edges, 10510 markings/sec, 1040 secs
lola: STP completed || 21 tries, 20359803 fired transitions, 1045 secs || 11020902 markings, 12150210 edges, 10414 markings/sec, 1045 secs
lola: STP completed || 21 tries, 20455593 fired transitions, 1050 secs || 11072085 markings, 12207528 edges, 10237 markings/sec, 1050 secs
lola: STP completed || 21 tries, 20552970 fired transitions, 1055 secs || 11123895 markings, 12266135 edges, 10362 markings/sec, 1055 secs
lola: STP completed || 21 tries, 20649017 fired transitions, 1060 secs || 11175615 markings, 12324732 edges, 10344 markings/sec, 1060 secs
lola: STP completed || 21 tries, 20746755 fired transitions, 1065 secs || 11227518 markings, 12383449 edges, 10381 markings/sec, 1065 secs
lola: STP completed || 21 tries, 20843887 fired transitions, 1070 secs || 11278798 markings, 12440231 edges, 10256 markings/sec, 1070 secs
lola: STP completed || 21 tries, 20941547 fired transitions, 1075 secs || 11329788 markings, 12496296 edges, 10198 markings/sec, 1075 secs
lola: STP completed || 22 tries, 21039213 fired transitions, 1080 secs || 11381012 markings, 12552459 edges, 10245 markings/sec, 1080 secs
lola: STP completed || 22 tries, 21135428 fired transitions, 1085 secs || 11433398 markings, 12609834 edges, 10477 markings/sec, 1085 secs
lola: STP completed || 22 tries, 21233043 fired transitions, 1090 secs || 11486090 markings, 12667901 edges, 10538 markings/sec, 1090 secs
lola: STP completed || 22 tries, 21330709 fired transitions, 1095 secs || 11538227 markings, 12725251 edges, 10427 markings/sec, 1095 secs
lola: STP completed || 22 tries, 21430106 fired transitions, 1100 secs || 11591174 markings, 12784044 edges, 10589 markings/sec, 1100 secs
lola: STP completed || 22 tries, 21527576 fired transitions, 1105 secs || 11643837 markings, 12842379 edges, 10533 markings/sec, 1105 secs
lola: STP completed || 22 tries, 21626059 fired transitions, 1110 secs || 11696761 markings, 12901083 edges, 10585 markings/sec, 1110 secs
lola: STP completed || 22 tries, 21724570 fired transitions, 1115 secs || 11748733 markings, 12958365 edges, 10394 markings/sec, 1115 secs
lola: STP completed || 22 tries, 21823080 fired transitions, 1120 secs || 11800036 markings, 13014591 edges, 10261 markings/sec, 1120 secs
lola: STP completed || 22 tries, 21919558 fired transitions, 1125 secs || 11851654 markings, 13071349 edges, 10324 markings/sec, 1125 secs
lola: STP completed || 23 tries, 22018800 fired transitions, 1130 secs || 11903531 markings, 13128448 edges, 10375 markings/sec, 1130 secs
lola: STP completed || 23 tries, 22116691 fired transitions, 1135 secs || 11955378 markings, 13185553 edges, 10369 markings/sec, 1135 secs
lola: STP completed || 23 tries, 22214652 fired transitions, 1140 secs || 12007047 markings, 13242196 edges, 10334 markings/sec, 1140 secs
lola: STP completed || 23 tries, 22312779 fired transitions, 1145 secs || 12058916 markings, 13299402 edges, 10374 markings/sec, 1145 secs
lola: STP completed || 23 tries, 22410487 fired transitions, 1150 secs || 12111227 markings, 13357182 edges, 10462 markings/sec, 1150 secs
lola: STP completed || 23 tries, 22507668 fired transitions, 1155 secs || 12162908 markings, 13413940 edges, 10336 markings/sec, 1155 secs
lola: STP completed || 23 tries, 22605515 fired transitions, 1160 secs || 12215074 markings, 13471269 edges, 10433 markings/sec, 1160 secs
lola: STP completed || 23 tries, 22703491 fired transitions, 1165 secs || 12266666 markings, 13528651 edges, 10318 markings/sec, 1165 secs
lola: STP completed || 23 tries, 22801143 fired transitions, 1170 secs || 12317526 markings, 13584541 edges, 10172 markings/sec, 1170 secs
lola: STP completed || 23 tries, 22898161 fired transitions, 1175 secs || 12369047 markings, 13641085 edges, 10304 markings/sec, 1175 secs
lola: STP completed || 23 tries, 22996304 fired transitions, 1180 secs || 12420335 markings, 13697680 edges, 10258 markings/sec, 1180 secs
lola: STP completed || 24 tries, 23095448 fired transitions, 1185 secs || 12471438 markings, 13753760 edges, 10221 markings/sec, 1185 secs
lola: STP completed || 24 tries, 23194689 fired transitions, 1190 secs || 12521926 markings, 13808983 edges, 10098 markings/sec, 1190 secs
lola: STP completed || 24 tries, 23291614 fired transitions, 1195 secs || 12574208 markings, 13866338 edges, 10456 markings/sec, 1195 secs
lola: STP completed || 24 tries, 23389742 fired transitions, 1200 secs || 12625373 markings, 13922403 edges, 10233 markings/sec, 1200 secs
lola: STP completed || 24 tries, 23486802 fired transitions, 1205 secs || 12677241 markings, 13979302 edges, 10374 markings/sec, 1205 secs
lola: STP completed || 24 tries, 23584903 fired transitions, 1210 secs || 12728869 markings, 14035879 edges, 10326 markings/sec, 1210 secs
lola: STP completed || 24 tries, 23681610 fired transitions, 1215 secs || 12780162 markings, 14091995 edges, 10259 markings/sec, 1215 secs
lola: STP completed || 24 tries, 23778228 fired transitions, 1220 secs || 12831643 markings, 14148326 edges, 10296 markings/sec, 1220 secs
lola: STP completed || 24 tries, 23875794 fired transitions, 1225 secs || 12882756 markings, 14204386 edges, 10223 markings/sec, 1225 secs
lola: STP completed || 24 tries, 23972792 fired transitions, 1230 secs || 12933646 markings, 14260353 edges, 10178 markings/sec, 1230 secs
lola: STP completed || 25 tries, 24071540 fired transitions, 1235 secs || 12984960 markings, 14316540 edges, 10263 markings/sec, 1235 secs
lola: STP completed || 25 tries, 24170417 fired transitions, 1240 secs || 13037653 markings, 14374557 edges, 10539 markings/sec, 1240 secs
lola: STP completed || 25 tries, 24268610 fired transitions, 1245 secs || 13092272 markings, 14436061 edges, 10924 markings/sec, 1245 secs
lola: STP completed || 25 tries, 24365856 fired transitions, 1250 secs || 13144465 markings, 14493592 edges, 10439 markings/sec, 1250 secs
lola: STP completed || 25 tries, 24463376 fired transitions, 1255 secs || 13195344 markings, 14549237 edges, 10176 markings/sec, 1255 secs
lola: STP completed || 25 tries, 24561872 fired transitions, 1260 secs || 13247077 markings, 14606370 edges, 10347 markings/sec, 1260 secs
lola: STP completed || 25 tries, 24660305 fired transitions, 1265 secs || 13297851 markings, 14662058 edges, 10155 markings/sec, 1265 secs
lola: STP completed || 25 tries, 24758063 fired transitions, 1270 secs || 13349161 markings, 14718571 edges, 10262 markings/sec, 1270 secs
lola: STP completed || 25 tries, 24855022 fired transitions, 1275 secs || 13400349 markings, 14774818 edges, 10238 markings/sec, 1275 secs
lola: STP completed || 25 tries, 24951317 fired transitions, 1280 secs || 13451494 markings, 14830795 edges, 10229 markings/sec, 1280 secs
lola: STP completed || 26 tries, 25050526 fired transitions, 1285 secs || 13502065 markings, 14886360 edges, 10114 markings/sec, 1285 secs
lola: STP completed || 26 tries, 25148363 fired transitions, 1290 secs || 13553342 markings, 14942578 edges, 10255 markings/sec, 1290 secs
lola: STP completed || 26 tries, 25244890 fired transitions, 1295 secs || 13604325 markings, 14998803 edges, 10197 markings/sec, 1295 secs
lola: STP completed || 26 tries, 25342447 fired transitions, 1300 secs || 13655048 markings, 15054679 edges, 10145 markings/sec, 1300 secs
lola: STP completed || 26 tries, 25440539 fired transitions, 1305 secs || 13708659 markings, 15114472 edges, 10722 markings/sec, 1305 secs
lola: STP completed || 26 tries, 25539482 fired transitions, 1310 secs || 13759465 markings, 15170499 edges, 10161 markings/sec, 1310 secs
lola: STP completed || 26 tries, 25635124 fired transitions, 1315 secs || 13810121 markings, 15226062 edges, 10131 markings/sec, 1315 secs
lola: STP completed || 26 tries, 25733124 fired transitions, 1320 secs || 13861390 markings, 15282598 edges, 10254 markings/sec, 1320 secs
lola: STP completed || 26 tries, 25829493 fired transitions, 1325 secs || 13913267 markings, 15339690 edges, 10375 markings/sec, 1325 secs
lola: STP completed || 26 tries, 25926103 fired transitions, 1330 secs || 13964913 markings, 15396403 edges, 10329 markings/sec, 1330 secs
lola: STP completed || 27 tries, 26025296 fired transitions, 1335 secs || 14015708 markings, 15452187 edges, 10159 markings/sec, 1335 secs
lola: STP completed || 27 tries, 26123282 fired transitions, 1340 secs || 14068834 markings, 15511175 edges, 10625 markings/sec, 1340 secs
lola: STP completed || 27 tries, 26220743 fired transitions, 1345 secs || 14121603 markings, 15569552 edges, 10554 markings/sec, 1345 secs
lola: STP completed || 27 tries, 26317426 fired transitions, 1350 secs || 14173875 markings, 15627312 edges, 10454 markings/sec, 1350 secs
lola: STP completed || 27 tries, 26417118 fired transitions, 1355 secs || 14225340 markings, 15684310 edges, 10293 markings/sec, 1355 secs
lola: STP completed || 27 tries, 26513595 fired transitions, 1360 secs || 14276348 markings, 15740396 edges, 10202 markings/sec, 1360 secs
lola: STP completed || 27 tries, 26611241 fired transitions, 1365 secs || 14327876 markings, 15797078 edges, 10306 markings/sec, 1365 secs
lola: STP completed || 27 tries, 26707502 fired transitions, 1370 secs || 14379480 markings, 15853570 edges, 10321 markings/sec, 1370 secs
lola: STP completed || 27 tries, 26806745 fired transitions, 1375 secs || 14430490 markings, 15909885 edges, 10202 markings/sec, 1375 secs
lola: STP completed || 27 tries, 26905434 fired transitions, 1380 secs || 14481166 markings, 15965491 edges, 10135 markings/sec, 1380 secs
lola: STP completed || 28 tries, 27003561 fired transitions, 1385 secs || 14532322 markings, 16021731 edges, 10231 markings/sec, 1385 secs
lola: STP completed || 28 tries, 27100585 fired transitions, 1390 secs || 14585687 markings, 16081057 edges, 10673 markings/sec, 1390 secs
lola: STP completed || 28 tries, 27197939 fired transitions, 1395 secs || 14636961 markings, 16137469 edges, 10255 markings/sec, 1395 secs
lola: STP completed || 28 tries, 27296200 fired transitions, 1400 secs || 14688089 markings, 16193830 edges, 10226 markings/sec, 1400 secs
lola: STP completed || 28 tries, 27394790 fired transitions, 1405 secs || 14740269 markings, 16251245 edges, 10436 markings/sec, 1405 secs
lola: STP completed || 28 tries, 27493557 fired transitions, 1410 secs || 14791185 markings, 16307480 edges, 10183 markings/sec, 1410 secs
lola: STP completed || 28 tries, 27591730 fired transitions, 1415 secs || 14844556 markings, 16366181 edges, 10674 markings/sec, 1415 secs
lola: STP completed || 28 tries, 27686954 fired transitions, 1420 secs || 14897560 markings, 16424511 edges, 10601 markings/sec, 1420 secs
lola: STP completed || 28 tries, 27786071 fired transitions, 1425 secs || 14950727 markings, 16483026 edges, 10633 markings/sec, 1425 secs
lola: STP completed || 28 tries, 27883975 fired transitions, 1430 secs || 15002918 markings, 16540341 edges, 10438 markings/sec, 1430 secs
lola: STP completed || 28 tries, 27982521 fired transitions, 1435 secs || 15054644 markings, 16597411 edges, 10345 markings/sec, 1435 secs
lola: STP completed || 29 tries, 28081387 fired transitions, 1440 secs || 15107131 markings, 16655361 edges, 10497 markings/sec, 1440 secs
lola: STP completed || 29 tries, 28180583 fired transitions, 1445 secs || 15159224 markings, 16712598 edges, 10419 markings/sec, 1445 secs
lola: STP completed || 29 tries, 28277136 fired transitions, 1450 secs || 15211049 markings, 16769361 edges, 10365 markings/sec, 1450 secs
lola: STP completed || 29 tries, 28374083 fired transitions, 1455 secs || 15263996 markings, 16827728 edges, 10589 markings/sec, 1455 secs
lola: STP completed || 29 tries, 28470945 fired transitions, 1460 secs || 15316355 markings, 16885077 edges, 10472 markings/sec, 1460 secs
lola: STP completed || 29 tries, 28568471 fired transitions, 1465 secs || 15369056 markings, 16943169 edges, 10540 markings/sec, 1465 secs
lola: STP completed || 29 tries, 28665352 fired transitions, 1470 secs || 15421158 markings, 17000469 edges, 10420 markings/sec, 1470 secs
lola: STP completed || 29 tries, 28764640 fired transitions, 1475 secs || 15472488 markings, 17056803 edges, 10266 markings/sec, 1475 secs
lola: STP completed || 29 tries, 28860788 fired transitions, 1480 secs || 15524112 markings, 17113619 edges, 10325 markings/sec, 1480 secs
lola: STP completed || 29 tries, 28958387 fired transitions, 1485 secs || 15575718 markings, 17170265 edges, 10321 markings/sec, 1485 secs
lola: STP completed || 30 tries, 29057823 fired transitions, 1490 secs || 15628275 markings, 17227810 edges, 10511 markings/sec, 1490 secs
lola: STP completed || 30 tries, 29155307 fired transitions, 1495 secs || 15681054 markings, 17286055 edges, 10556 markings/sec, 1495 secs
lola: STP completed || 30 tries, 29255443 fired transitions, 1500 secs || 15733104 markings, 17343362 edges, 10410 markings/sec, 1500 secs
lola: STP completed || 30 tries, 29353293 fired transitions, 1505 secs || 15784083 markings, 17399313 edges, 10196 markings/sec, 1505 secs
lola: STP completed || 30 tries, 29450349 fired transitions, 1510 secs || 15835260 markings, 17455828 edges, 10235 markings/sec, 1510 secs
lola: STP completed || 30 tries, 29547685 fired transitions, 1515 secs || 15886118 markings, 17511412 edges, 10172 markings/sec, 1515 secs
lola: STP completed || 30 tries, 29645804 fired transitions, 1520 secs || 15937559 markings, 17568116 edges, 10288 markings/sec, 1520 secs
lola: STP completed || 30 tries, 29743753 fired transitions, 1525 secs || 15989047 markings, 17624650 edges, 10298 markings/sec, 1525 secs
lola: STP completed || 30 tries, 29840781 fired transitions, 1530 secs || 16040128 markings, 17681153 edges, 10216 markings/sec, 1530 secs
lola: STP completed || 30 tries, 29939366 fired transitions, 1535 secs || 16091223 markings, 17737392 edges, 10219 markings/sec, 1535 secs
lola: STP completed || 31 tries, 30038160 fired transitions, 1540 secs || 16141377 markings, 17792169 edges, 10031 markings/sec, 1540 secs
lola: STP completed || 31 tries, 30135772 fired transitions, 1545 secs || 16192560 markings, 17848600 edges, 10237 markings/sec, 1545 secs
lola: STP completed || 31 tries, 30232172 fired transitions, 1550 secs || 16243203 markings, 17904280 edges, 10129 markings/sec, 1550 secs
lola: STP completed || 31 tries, 30329279 fired transitions, 1555 secs || 16293552 markings, 17959462 edges, 10070 markings/sec, 1555 secs
lola: STP completed || 31 tries, 30426417 fired transitions, 1560 secs || 16343588 markings, 18014190 edges, 10007 markings/sec, 1560 secs
lola: STP completed || 31 tries, 30525257 fired transitions, 1565 secs || 16394696 markings, 18070174 edges, 10222 markings/sec, 1565 secs
lola: STP completed || 31 tries, 30624077 fired transitions, 1570 secs || 16444208 markings, 18124091 edges, 9902 markings/sec, 1570 secs
lola: STP completed || 31 tries, 30722834 fired transitions, 1575 secs || 16496751 markings, 18181495 edges, 10509 markings/sec, 1575 secs
lola: STP completed || 31 tries, 30819965 fired transitions, 1580 secs || 16548601 markings, 18238184 edges, 10370 markings/sec, 1580 secs
lola: STP completed || 31 tries, 30918750 fired transitions, 1585 secs || 16600328 markings, 18295502 edges, 10345 markings/sec, 1585 secs
lola: STP completed || 32 tries, 31016907 fired transitions, 1590 secs || 16652453 markings, 18352885 edges, 10425 markings/sec, 1590 secs
lola: STP completed || 32 tries, 31115389 fired transitions, 1595 secs || 16704772 markings, 18410190 edges, 10464 markings/sec, 1595 secs
lola: STP completed || 32 tries, 31212274 fired transitions, 1600 secs || 16756712 markings, 18467030 edges, 10388 markings/sec, 1600 secs
lola: STP completed || 32 tries, 31309740 fired transitions, 1605 secs || 16808748 markings, 18524206 edges, 10407 markings/sec, 1605 secs
lola: STP completed || 32 tries, 31407735 fired transitions, 1610 secs || 16860109 markings, 18580804 edges, 10272 markings/sec, 1610 secs
lola: STP completed || 32 tries, 31504520 fired transitions, 1615 secs || 16911964 markings, 18637667 edges, 10371 markings/sec, 1615 secs
lola: STP completed || 32 tries, 31601941 fired transitions, 1620 secs || 16964132 markings, 18695153 edges, 10434 markings/sec, 1620 secs
lola: STP completed || 32 tries, 31698791 fired transitions, 1625 secs || 17015686 markings, 18751502 edges, 10311 markings/sec, 1625 secs
lola: STP completed || 32 tries, 31797510 fired transitions, 1630 secs || 17065815 markings, 18806218 edges, 10026 markings/sec, 1630 secs
lola: STP completed || 32 tries, 31896327 fired transitions, 1635 secs || 17116398 markings, 18861861 edges, 10117 markings/sec, 1635 secs
lola: STP completed || 32 tries, 31995420 fired transitions, 1640 secs || 17167077 markings, 18917682 edges, 10136 markings/sec, 1640 secs
lola: STP completed || 33 tries, 32093184 fired transitions, 1645 secs || 17218182 markings, 18973517 edges, 10221 markings/sec, 1645 secs
lola: STP completed || 33 tries, 32190757 fired transitions, 1650 secs || 17269823 markings, 19030286 edges, 10328 markings/sec, 1650 secs
lola: STP completed || 33 tries, 32289309 fired transitions, 1655 secs || 17320832 markings, 19086390 edges, 10202 markings/sec, 1655 secs
lola: STP completed || 33 tries, 32386828 fired transitions, 1660 secs || 17373466 markings, 19144217 edges, 10527 markings/sec, 1660 secs
lola: STP completed || 33 tries, 32485793 fired transitions, 1665 secs || 17424224 markings, 19200028 edges, 10152 markings/sec, 1665 secs
lola: STP completed || 33 tries, 32584899 fired transitions, 1670 secs || 17475790 markings, 19257167 edges, 10313 markings/sec, 1670 secs
lola: STP completed || 33 tries, 32685678 fired transitions, 1675 secs || 17527328 markings, 19313628 edges, 10308 markings/sec, 1675 secs
lola: STP completed || 33 tries, 32787086 fired transitions, 1680 secs || 17580595 markings, 19372254 edges, 10653 markings/sec, 1680 secs
lola: STP completed || 33 tries, 32889302 fired transitions, 1685 secs || 17632943 markings, 19429647 edges, 10470 markings/sec, 1685 secs
lola: STP completed || 33 tries, 32987793 fired transitions, 1690 secs || 17684277 markings, 19485936 edges, 10267 markings/sec, 1690 secs
lola: STP completed || 34 tries, 33085290 fired transitions, 1695 secs || 17731573 markings, 19537699 edges, 9459 markings/sec, 1695 secs
lola: STP completed || 34 tries, 33183411 fired transitions, 1700 secs || 17782610 markings, 19593437 edges, 10207 markings/sec, 1700 secs
lola: STP completed || 34 tries, 33280902 fired transitions, 1705 secs || 17833656 markings, 19649719 edges, 10209 markings/sec, 1705 secs
lola: STP completed || 34 tries, 33378538 fired transitions, 1710 secs || 17885696 markings, 19706805 edges, 10408 markings/sec, 1710 secs
lola: STP completed || 34 tries, 33476572 fired transitions, 1715 secs || 17937132 markings, 19763316 edges, 10287 markings/sec, 1715 secs
lola: STP completed || 34 tries, 33574316 fired transitions, 1720 secs || 17988898 markings, 19820031 edges, 10353 markings/sec, 1720 secs
lola: STP completed || 34 tries, 33671037 fired transitions, 1725 secs || 18040461 markings, 19876614 edges, 10313 markings/sec, 1725 secs
lola: STP completed || 34 tries, 33768084 fired transitions, 1730 secs || 18092491 markings, 19933942 edges, 10406 markings/sec, 1730 secs
lola: STP completed || 34 tries, 33865438 fired transitions, 1735 secs || 18144045 markings, 19990801 edges, 10311 markings/sec, 1735 secs
lola: STP completed || 34 tries, 33962126 fired transitions, 1740 secs || 18195389 markings, 20047174 edges, 10269 markings/sec, 1740 secs
lola: STP completed || 35 tries, 34061224 fired transitions, 1745 secs || 18247223 markings, 20104592 edges, 10367 markings/sec, 1745 secs
lola: STP completed || 35 tries, 34158434 fired transitions, 1750 secs || 18299048 markings, 20161479 edges, 10365 markings/sec, 1750 secs
lola: STP completed || 35 tries, 34256125 fired transitions, 1755 secs || 18350376 markings, 20217638 edges, 10266 markings/sec, 1755 secs
lola: STP completed || 35 tries, 34353491 fired transitions, 1760 secs || 18402206 markings, 20274545 edges, 10366 markings/sec, 1760 secs
lola: STP completed || 35 tries, 34449557 fired transitions, 1765 secs || 18453956 markings, 20331465 edges, 10350 markings/sec, 1765 secs
lola: STP completed || 35 tries, 34546525 fired transitions, 1770 secs || 18505383 markings, 20387667 edges, 10285 markings/sec, 1770 secs
lola: STP completed || 35 tries, 34644868 fired transitions, 1775 secs || 18556683 markings, 20444604 edges, 10260 markings/sec, 1775 secs
lola: STP completed || 35 tries, 34741215 fired transitions, 1780 secs || 18607541 markings, 20500385 edges, 10172 markings/sec, 1780 secs
lola: STP completed || 35 tries, 34838922 fired transitions, 1785 secs || 18659387 markings, 20557482 edges, 10369 markings/sec, 1785 secs
lola: STP completed || 35 tries, 34936539 fired transitions, 1790 secs || 18710043 markings, 20613019 edges, 10131 markings/sec, 1790 secs
lola: STP completed || 36 tries, 35035168 fired transitions, 1795 secs || 18761734 markings, 20669980 edges, 10338 markings/sec, 1795 secs
lola: STP completed || 36 tries, 35131982 fired transitions, 1800 secs || 18813618 markings, 20726798 edges, 10377 markings/sec, 1800 secs
lola: STP completed || 36 tries, 35228330 fired transitions, 1805 secs || 18865421 markings, 20783588 edges, 10361 markings/sec, 1805 secs
lola: STP completed || 36 tries, 35325437 fired transitions, 1810 secs || 18917653 markings, 20840739 edges, 10446 markings/sec, 1810 secs
lola: STP completed || 36 tries, 35422944 fired transitions, 1815 secs || 18969752 markings, 20898229 edges, 10420 markings/sec, 1815 secs
lola: STP completed || 36 tries, 35519727 fired transitions, 1820 secs || 19022691 markings, 20957327 edges, 10588 markings/sec, 1820 secs
lola: STP completed || 36 tries, 35615761 fired transitions, 1825 secs || 19074813 markings, 21014809 edges, 10424 markings/sec, 1825 secs
lola: STP completed || 36 tries, 35713204 fired transitions, 1830 secs || 19131115 markings, 21078236 edges, 11260 markings/sec, 1830 secs
lola: STP completed || 36 tries, 35811013 fired transitions, 1835 secs || 19183077 markings, 21135566 edges, 10392 markings/sec, 1835 secs
lola: STP completed || 36 tries, 35909167 fired transitions, 1840 secs || 19234650 markings, 21192353 edges, 10315 markings/sec, 1840 secs
lola: STP completed || 37 tries, 36008152 fired transitions, 1845 secs || 19285085 markings, 21247781 edges, 10087 markings/sec, 1845 secs
lola: STP completed || 37 tries, 36105983 fired transitions, 1850 secs || 19336742 markings, 21304900 edges, 10331 markings/sec, 1850 secs
lola: STP completed || 37 tries, 36203125 fired transitions, 1855 secs || 19388283 markings, 21361742 edges, 10308 markings/sec, 1855 secs
lola: STP completed || 37 tries, 36301380 fired transitions, 1860 secs || 19441046 markings, 21420378 edges, 10553 markings/sec, 1860 secs
lola: STP completed || 37 tries, 36398769 fired transitions, 1865 secs || 19492006 markings, 21476602 edges, 10192 markings/sec, 1865 secs
lola: STP completed || 37 tries, 36495586 fired transitions, 1870 secs || 19542974 markings, 21532506 edges, 10194 markings/sec, 1870 secs
lola: STP completed || 37 tries, 36593629 fired transitions, 1875 secs || 19593852 markings, 21588514 edges, 10176 markings/sec, 1875 secs
lola: STP completed || 37 tries, 36690595 fired transitions, 1880 secs || 19645625 markings, 21645152 edges, 10355 markings/sec, 1880 secs
lola: STP completed || 37 tries, 36788364 fired transitions, 1885 secs || 19696023 markings, 21700557 edges, 10080 markings/sec, 1885 secs
lola: STP completed || 37 tries, 36885833 fired transitions, 1890 secs || 19746704 markings, 21755861 edges, 10136 markings/sec, 1890 secs
lola: STP completed || 37 tries, 36984100 fired transitions, 1895 secs || 19797348 markings, 21811402 edges, 10129 markings/sec, 1895 secs
lola: STP completed || 38 tries, 37083501 fired transitions, 1900 secs || 19847979 markings, 21867075 edges, 10126 markings/sec, 1900 secs
lola: STP completed || 38 tries, 37180083 fired transitions, 1905 secs || 19899347 markings, 21923705 edges, 10274 markings/sec, 1905 secs
lola: STP completed || 38 tries, 37277291 fired transitions, 1910 secs || 19951366 markings, 21980796 edges, 10404 markings/sec, 1910 secs
lola: STP completed || 38 tries, 37375339 fired transitions, 1915 secs || 20003243 markings, 22037806 edges, 10375 markings/sec, 1915 secs
lola: STP completed || 38 tries, 37472897 fired transitions, 1920 secs || 20054197 markings, 22093745 edges, 10191 markings/sec, 1920 secs
lola: STP completed || 38 tries, 37570300 fired transitions, 1925 secs || 20105003 markings, 22149509 edges, 10161 markings/sec, 1925 secs
lola: STP completed || 38 tries, 37667961 fired transitions, 1930 secs || 20155559 markings, 22205210 edges, 10111 markings/sec, 1930 secs
lola: STP completed || 38 tries, 37765421 fired transitions, 1935 secs || 20207188 markings, 22262113 edges, 10326 markings/sec, 1935 secs
lola: STP completed || 38 tries, 37864245 fired transitions, 1940 secs || 20258888 markings, 22319408 edges, 10340 markings/sec, 1940 secs
lola: STP completed || 38 tries, 37959966 fired transitions, 1945 secs || 20309596 markings, 22375214 edges, 10142 markings/sec, 1945 secs
lola: STP completed || 39 tries, 38057849 fired transitions, 1950 secs || 20360266 markings, 22430543 edges, 10134 markings/sec, 1950 secs
lola: STP completed || 39 tries, 38155769 fired transitions, 1955 secs || 20410864 markings, 22486288 edges, 10120 markings/sec, 1955 secs
lola: STP completed || 39 tries, 38253452 fired transitions, 1960 secs || 20461842 markings, 22542206 edges, 10196 markings/sec, 1960 secs
lola: STP completed || 39 tries, 38351960 fired transitions, 1965 secs || 20512779 markings, 22598016 edges, 10187 markings/sec, 1965 secs
lola: STP completed || 39 tries, 38448852 fired transitions, 1970 secs || 20563893 markings, 22653850 edges, 10223 markings/sec, 1970 secs
lola: STP completed || 39 tries, 38548049 fired transitions, 1975 secs || 20614422 markings, 22709252 edges, 10106 markings/sec, 1975 secs
lola: STP completed || 39 tries, 38645068 fired transitions, 1980 secs || 20666084 markings, 22765827 edges, 10332 markings/sec, 1980 secs
lola: STP completed || 39 tries, 38742980 fired transitions, 1985 secs || 20716107 markings, 22820485 edges, 10005 markings/sec, 1985 secs
lola: STP completed || 39 tries, 38839924 fired transitions, 1990 secs || 20768723 markings, 22878288 edges, 10523 markings/sec, 1990 secs
lola: STP completed || 39 tries, 38936613 fired transitions, 1995 secs || 20820387 markings, 22934898 edges, 10333 markings/sec, 1995 secs
lola: STP completed || 40 tries, 39035500 fired transitions, 2000 secs || 20871704 markings, 22991440 edges, 10263 markings/sec, 2000 secs
lola: STP completed || 40 tries, 39131977 fired transitions, 2005 secs || 20923343 markings, 23047833 edges, 10328 markings/sec, 2005 secs
lola: STP completed || 40 tries, 39229140 fired transitions, 2010 secs || 20974793 markings, 23104145 edges, 10290 markings/sec, 2010 secs
lola: STP completed || 40 tries, 39328352 fired transitions, 2015 secs || 21025754 markings, 23159935 edges, 10192 markings/sec, 2015 secs
lola: STP completed || 40 tries, 39425842 fired transitions, 2020 secs || 21077009 markings, 23216537 edges, 10251 markings/sec, 2020 secs
lola: STP completed || 40 tries, 39521954 fired transitions, 2025 secs || 21128226 markings, 23272897 edges, 10243 markings/sec, 2025 secs
lola: STP completed || 40 tries, 39620346 fired transitions, 2030 secs || 21179528 markings, 23329275 edges, 10260 markings/sec, 2030 secs
lola: STP completed || 40 tries, 39717529 fired transitions, 2035 secs || 21229518 markings, 23384008 edges, 9998 markings/sec, 2035 secs
lola: STP completed || 40 tries, 39814215 fired transitions, 2040 secs || 21281043 markings, 23440655 edges, 10305 markings/sec, 2040 secs
lola: STP completed || 40 tries, 39911108 fired transitions, 2045 secs || 21333186 markings, 23498528 edges, 10429 markings/sec, 2045 secs
lola: STP completed || 41 tries, 40009970 fired transitions, 2050 secs || 21384214 markings, 23554572 edges, 10206 markings/sec, 2050 secs
lola: STP completed || 41 tries, 40106749 fired transitions, 2055 secs || 21435549 markings, 23611089 edges, 10267 markings/sec, 2055 secs
lola: STP completed || 41 tries, 40203754 fired transitions, 2060 secs || 21486901 markings, 23667707 edges, 10270 markings/sec, 2060 secs
lola: STP completed || 41 tries, 40302504 fired transitions, 2065 secs || 21537062 markings, 23722763 edges, 10032 markings/sec, 2065 secs
lola: STP completed || 41 tries, 40399773 fired transitions, 2070 secs || 21587643 markings, 23778277 edges, 10116 markings/sec, 2070 secs
lola: STP completed || 41 tries, 40496917 fired transitions, 2075 secs || 21638328 markings, 23833803 edges, 10137 markings/sec, 2075 secs
lola: STP completed || 41 tries, 40595745 fired transitions, 2080 secs || 21689438 markings, 23890145 edges, 10222 markings/sec, 2080 secs
lola: STP completed || 41 tries, 40691832 fired transitions, 2085 secs || 21740372 markings, 23945989 edges, 10187 markings/sec, 2085 secs
lola: STP completed || 41 tries, 40789575 fired transitions, 2090 secs || 21792285 markings, 24003181 edges, 10383 markings/sec, 2090 secs
lola: STP completed || 41 tries, 40887091 fired transitions, 2095 secs || 21843647 markings, 24059401 edges, 10272 markings/sec, 2095 secs
lola: STP completed || 41 tries, 40984469 fired transitions, 2100 secs || 21895083 markings, 24116283 edges, 10287 markings/sec, 2100 secs
lola: STP completed || 42 tries, 41081535 fired transitions, 2105 secs || 21945624 markings, 24171386 edges, 10108 markings/sec, 2105 secs
lola: STP completed || 42 tries, 41179303 fired transitions, 2110 secs || 21996927 markings, 24227572 edges, 10261 markings/sec, 2110 secs
lola: STP completed || 42 tries, 41277869 fired transitions, 2115 secs || 22048178 markings, 24283700 edges, 10250 markings/sec, 2115 secs
lola: STP completed || 42 tries, 41374487 fired transitions, 2120 secs || 22098693 markings, 24339102 edges, 10103 markings/sec, 2120 secs
lola: STP completed || 42 tries, 41473823 fired transitions, 2125 secs || 22149830 markings, 24395358 edges, 10227 markings/sec, 2125 secs
lola: STP completed || 42 tries, 41571700 fired transitions, 2130 secs || 22200675 markings, 24451015 edges, 10169 markings/sec, 2130 secs
lola: STP completed || 42 tries, 41667079 fired transitions, 2135 secs || 22251109 markings, 24506468 edges, 10087 markings/sec, 2135 secs
lola: STP completed || 42 tries, 41763552 fired transitions, 2140 secs || 22302994 markings, 24563559 edges, 10377 markings/sec, 2140 secs
lola: STP completed || 42 tries, 41861667 fired transitions, 2145 secs || 22354714 markings, 24620646 edges, 10344 markings/sec, 2145 secs
lola: STP completed || 42 tries, 41960714 fired transitions, 2150 secs || 22405829 markings, 24676902 edges, 10223 markings/sec, 2150 secs
lola: STP completed || 43 tries, 42059462 fired transitions, 2155 secs || 22457529 markings, 24733773 edges, 10340 markings/sec, 2155 secs
lola: STP completed || 43 tries, 42155811 fired transitions, 2160 secs || 22508395 markings, 24789455 edges, 10173 markings/sec, 2160 secs
lola: STP completed || 43 tries, 42252028 fired transitions, 2165 secs || 22560419 markings, 24846627 edges, 10405 markings/sec, 2165 secs
lola: STP completed || 43 tries, 42349622 fired transitions, 2170 secs || 22611918 markings, 24903169 edges, 10300 markings/sec, 2170 secs
lola: STP completed || 43 tries, 42446113 fired transitions, 2175 secs || 22662327 markings, 24958636 edges, 10082 markings/sec, 2175 secs
lola: STP completed || 43 tries, 42543205 fired transitions, 2180 secs || 22713389 markings, 25014912 edges, 10212 markings/sec, 2180 secs
lola: STP completed || 43 tries, 42639991 fired transitions, 2185 secs || 22763796 markings, 25070073 edges, 10081 markings/sec, 2185 secs
lola: STP completed || 43 tries, 42738570 fired transitions, 2190 secs || 22814244 markings, 25125649 edges, 10090 markings/sec, 2190 secs
lola: STP completed || 43 tries, 42837898 fired transitions, 2195 secs || 22865919 markings, 25182688 edges, 10335 markings/sec, 2195 secs
lola: STP completed || 43 tries, 42936451 fired transitions, 2200 secs || 22916887 markings, 25238651 edges, 10194 markings/sec, 2200 secs
lola: STP completed || 44 tries, 43036307 fired transitions, 2205 secs || 22968605 markings, 25295391 edges, 10344 markings/sec, 2205 secs
lola: STP completed || 44 tries, 43133835 fired transitions, 2210 secs || 23020205 markings, 25352095 edges, 10320 markings/sec, 2210 secs
lola: STP completed || 44 tries, 43230794 fired transitions, 2215 secs || 23071472 markings, 25408430 edges, 10253 markings/sec, 2215 secs
lola: STP completed || 44 tries, 43327903 fired transitions, 2220 secs || 23123027 markings, 25465049 edges, 10311 markings/sec, 2220 secs
lola: STP completed || 44 tries, 43425338 fired transitions, 2225 secs || 23174137 markings, 25521231 edges, 10222 markings/sec, 2225 secs
lola: STP completed || 44 tries, 43523220 fired transitions, 2230 secs || 23225577 markings, 25577942 edges, 10288 markings/sec, 2230 secs
lola: STP completed || 44 tries, 43621585 fired transitions, 2235 secs || 23277287 markings, 25634614 edges, 10342 markings/sec, 2235 secs
lola: STP completed || 44 tries, 43719127 fired transitions, 2240 secs || 23328072 markings, 25690280 edges, 10157 markings/sec, 2240 secs
lola: STP completed || 44 tries, 43815750 fired transitions, 2245 secs || 23379113 markings, 25746468 edges, 10208 markings/sec, 2245 secs
lola: STP completed || 44 tries, 43913035 fired transitions, 2250 secs || 23430156 markings, 25802759 edges, 10209 markings/sec, 2250 secs
lola: STP completed || 45 tries, 44012273 fired transitions, 2255 secs || 23482311 markings, 25859895 edges, 10431 markings/sec, 2255 secs
lola: STP completed || 45 tries, 44108867 fired transitions, 2260 secs || 23532686 markings, 25914954 edges, 10075 markings/sec, 2260 secs
lola: STP completed || 45 tries, 44206259 fired transitions, 2265 secs || 23585278 markings, 25972801 edges, 10518 markings/sec, 2265 secs
lola: STP completed || 45 tries, 44304284 fired transitions, 2270 secs || 23635617 markings, 26028076 edges, 10068 markings/sec, 2270 secs
lola: STP completed || 45 tries, 44401178 fired transitions, 2275 secs || 23687487 markings, 26085504 edges, 10374 markings/sec, 2275 secs
lola: STP completed || 45 tries, 44498595 fired transitions, 2280 secs || 23740644 markings, 26144584 edges, 10631 markings/sec, 2280 secs
lola: STP completed || 45 tries, 44596484 fired transitions, 2285 secs || 23794213 markings, 26204034 edges, 10714 markings/sec, 2285 secs
lola: STP completed || 45 tries, 44694749 fired transitions, 2290 secs || 23844464 markings, 26259364 edges, 10050 markings/sec, 2290 secs
lola: STP completed || 45 tries, 44790829 fired transitions, 2295 secs || 23895720 markings, 26315737 edges, 10251 markings/sec, 2295 secs
lola: STP completed || 45 tries, 44888549 fired transitions, 2300 secs || 23947405 markings, 26372429 edges, 10337 markings/sec, 2300 secs
lola: STP completed || 45 tries, 44985520 fired transitions, 2305 secs || 23998518 markings, 26429061 edges, 10223 markings/sec, 2305 secs
lola: STP completed || 46 tries, 45084766 fired transitions, 2310 secs || 24049559 markings, 26485085 edges, 10208 markings/sec, 2310 secs
lola: STP completed || 46 tries, 45182305 fired transitions, 2315 secs || 24101708 markings, 26542406 edges, 10430 markings/sec, 2315 secs
lola: STP completed || 46 tries, 45280211 fired transitions, 2320 secs || 24153446 markings, 26599626 edges, 10348 markings/sec, 2320 secs
lola: STP completed || 46 tries, 45377626 fired transitions, 2325 secs || 24203914 markings, 26654878 edges, 10094 markings/sec, 2325 secs
lola: STP completed || 46 tries, 45474753 fired transitions, 2330 secs || 24255047 markings, 26711265 edges, 10227 markings/sec, 2330 secs
lola: STP completed || 46 tries, 45572463 fired transitions, 2335 secs || 24305639 markings, 26766594 edges, 10118 markings/sec, 2335 secs
lola: STP completed || 46 tries, 45671043 fired transitions, 2340 secs || 24357164 markings, 26823375 edges, 10305 markings/sec, 2340 secs
lola: STP completed || 46 tries, 45769781 fired transitions, 2345 secs || 24408430 markings, 26880057 edges, 10253 markings/sec, 2345 secs
lola: STP completed || 46 tries, 45867481 fired transitions, 2350 secs || 24459137 markings, 26935801 edges, 10141 markings/sec, 2350 secs
lola: STP completed || 46 tries, 45965951 fired transitions, 2355 secs || 24510148 markings, 26991940 edges, 10202 markings/sec, 2355 secs
lola: STP completed || 47 tries, 46065508 fired transitions, 2360 secs || 24560641 markings, 27047485 edges, 10099 markings/sec, 2360 secs
lola: STP completed || 47 tries, 46162956 fired transitions, 2365 secs || 24611101 markings, 27102574 edges, 10092 markings/sec, 2365 secs
lola: STP completed || 47 tries, 46258516 fired transitions, 2370 secs || 24662437 markings, 27159049 edges, 10267 markings/sec, 2370 secs
lola: STP completed || 47 tries, 46356543 fired transitions, 2375 secs || 24714347 markings, 27216194 edges, 10382 markings/sec, 2375 secs
lola: STP completed || 47 tries, 46453866 fired transitions, 2380 secs || 24766401 markings, 27273465 edges, 10411 markings/sec, 2380 secs
lola: STP completed || 47 tries, 46551115 fired transitions, 2385 secs || 24817963 markings, 27329969 edges, 10312 markings/sec, 2385 secs
lola: STP completed || 47 tries, 46648735 fired transitions, 2390 secs || 24870239 markings, 27387581 edges, 10455 markings/sec, 2390 secs
lola: STP completed || 47 tries, 46744168 fired transitions, 2395 secs || 24921750 markings, 27444570 edges, 10302 markings/sec, 2395 secs
lola: STP completed || 47 tries, 46842260 fired transitions, 2400 secs || 24972206 markings, 27499954 edges, 10091 markings/sec, 2400 secs
lola: STP completed || 47 tries, 46940831 fired transitions, 2405 secs || 25023042 markings, 27555848 edges, 10167 markings/sec, 2405 secs
lola: STP completed || 48 tries, 47038646 fired transitions, 2410 secs || 25072896 markings, 27610407 edges, 9971 markings/sec, 2410 secs
lola: STP completed || 48 tries, 47137732 fired transitions, 2415 secs || 25123869 markings, 27666452 edges, 10195 markings/sec, 2415 secs
lola: STP completed || 48 tries, 47236052 fired transitions, 2420 secs || 25173868 markings, 27721451 edges, 10000 markings/sec, 2420 secs
lola: STP completed || 48 tries, 47335551 fired transitions, 2425 secs || 25224830 markings, 27777726 edges, 10192 markings/sec, 2425 secs
lola: STP completed || 48 tries, 47433088 fired transitions, 2430 secs || 25275138 markings, 27832852 edges, 10062 markings/sec, 2430 secs
lola: STP completed || 48 tries, 47529977 fired transitions, 2435 secs || 25327292 markings, 27890203 edges, 10431 markings/sec, 2435 secs
lola: STP completed || 48 tries, 47625854 fired transitions, 2440 secs || 25378090 markings, 27946017 edges, 10160 markings/sec, 2440 secs
lola: STP completed || 48 tries, 47723822 fired transitions, 2445 secs || 25429638 markings, 28002654 edges, 10310 markings/sec, 2445 secs
lola: STP completed || 48 tries, 47821197 fired transitions, 2450 secs || 25481040 markings, 28059044 edges, 10280 markings/sec, 2450 secs
lola: STP completed || 48 tries, 47917461 fired transitions, 2455 secs || 25532679 markings, 28115779 edges, 10328 markings/sec, 2455 secs
lola: STP completed || 49 tries, 48015723 fired transitions, 2460 secs || 25583241 markings, 28171090 edges, 10112 markings/sec, 2460 secs
lola: STP completed || 49 tries, 48112590 fired transitions, 2465 secs || 25633672 markings, 28226707 edges, 10086 markings/sec, 2465 secs
lola: STP completed || 49 tries, 48210454 fired transitions, 2470 secs || 25684555 markings, 28282339 edges, 10177 markings/sec, 2470 secs
lola: STP completed || 49 tries, 48307683 fired transitions, 2475 secs || 25736017 markings, 28338815 edges, 10292 markings/sec, 2475 secs
lola: STP completed || 49 tries, 48406056 fired transitions, 2480 secs || 25786546 markings, 28394160 edges, 10106 markings/sec, 2480 secs
lola: STP completed || 49 tries, 48505219 fired transitions, 2485 secs || 25836896 markings, 28449547 edges, 10070 markings/sec, 2485 secs
lola: STP completed || 49 tries, 48605319 fired transitions, 2490 secs || 25887769 markings, 28505328 edges, 10175 markings/sec, 2490 secs
lola: STP completed || 49 tries, 48703924 fired transitions, 2495 secs || 25939222 markings, 28561706 edges, 10291 markings/sec, 2495 secs
lola: STP completed || 49 tries, 48801943 fired transitions, 2500 secs || 25991182 markings, 28618734 edges, 10392 markings/sec, 2500 secs
lola: STP completed || 49 tries, 48899211 fired transitions, 2505 secs || 26042097 markings, 28674667 edges, 10183 markings/sec, 2505 secs
lola: STP completed || 49 tries, 48996326 fired transitions, 2510 secs || 26092452 markings, 28729921 edges, 10071 markings/sec, 2510 secs
lola: STP completed || 50 tries, 49095975 fired transitions, 2515 secs || 26142317 markings, 28784580 edges, 9973 markings/sec, 2515 secs
lola: STP completed || 50 tries, 49193443 fired transitions, 2520 secs || 26192939 markings, 28840106 edges, 10124 markings/sec, 2520 secs
lola: STP completed || 50 tries, 49290824 fired transitions, 2525 secs || 26243712 markings, 28895962 edges, 10155 markings/sec, 2525 secs
lola: STP completed || 50 tries, 49388863 fired transitions, 2530 secs || 26293995 markings, 28951361 edges, 10057 markings/sec, 2530 secs
lola: STP completed || 50 tries, 49487775 fired transitions, 2535 secs || 26344475 markings, 29006800 edges, 10096 markings/sec, 2535 secs
lola: STP completed || 50 tries, 49586807 fired transitions, 2540 secs || 26394942 markings, 29062030 edges, 10093 markings/sec, 2540 secs
lola: STP completed || 50 tries, 49684394 fired transitions, 2545 secs || 26445795 markings, 29118138 edges, 10171 markings/sec, 2545 secs
lola: STP completed || 50 tries, 49782045 fired transitions, 2550 secs || 26496901 markings, 29174525 edges, 10221 markings/sec, 2550 secs
lola: STP completed || 50 tries, 49879981 fired transitions, 2555 secs || 26547297 markings, 29229781 edges, 10079 markings/sec, 2555 secs
lola: STP completed || 50 tries, 49978312 fired transitions, 2560 secs || 26598622 markings, 29286465 edges, 10265 markings/sec, 2560 secs
lola: STP completed || 51 tries, 50077296 fired transitions, 2565 secs || 26648766 markings, 29341360 edges, 10029 markings/sec, 2565 secs
lola: STP completed || 51 tries, 50175417 fired transitions, 2570 secs || 26699489 markings, 29396868 edges, 10145 markings/sec, 2570 secs
lola: STP completed || 51 tries, 50271965 fired transitions, 2575 secs || 26750215 markings, 29452706 edges, 10145 markings/sec, 2575 secs
lola: STP completed || 51 tries, 50369594 fired transitions, 2580 secs || 26801499 markings, 29508920 edges, 10257 markings/sec, 2580 secs
lola: STP completed || 51 tries, 50467387 fired transitions, 2585 secs || 26852295 markings, 29564545 edges, 10159 markings/sec, 2585 secs
lola: STP completed || 51 tries, 50565259 fired transitions, 2590 secs || 26902677 markings, 29620003 edges, 10076 markings/sec, 2590 secs
lola: STP completed || 51 tries, 50663533 fired transitions, 2595 secs || 26953047 markings, 29675009 edges, 10074 markings/sec, 2595 secs
lola: STP completed || 51 tries, 50761303 fired transitions, 2600 secs || 27003553 markings, 29730494 edges, 10101 markings/sec, 2600 secs
lola: STP completed || 51 tries, 50858688 fired transitions, 2605 secs || 27055067 markings, 29787612 edges, 10303 markings/sec, 2605 secs
lola: STP completed || 51 tries, 50956818 fired transitions, 2610 secs || 27106041 markings, 29843623 edges, 10195 markings/sec, 2610 secs
lola: STP completed || 52 tries, 51055028 fired transitions, 2615 secs || 27157652 markings, 29900861 edges, 10322 markings/sec, 2615 secs
lola: STP completed || 52 tries, 51154299 fired transitions, 2620 secs || 27209561 markings, 29957861 edges, 10382 markings/sec, 2620 secs
lola: STP completed || 52 tries, 51251305 fired transitions, 2625 secs || 27261390 markings, 30014802 edges, 10366 markings/sec, 2625 secs
lola: STP completed || 52 tries, 51349509 fired transitions, 2630 secs || 27313103 markings, 30071832 edges, 10343 markings/sec, 2630 secs
lola: STP completed || 52 tries, 51448028 fired transitions, 2635 secs || 27363966 markings, 30127227 edges, 10173 markings/sec, 2635 secs
lola: STP completed || 52 tries, 51547863 fired transitions, 2640 secs || 27416010 markings, 30184101 edges, 10409 markings/sec, 2640 secs
lola: STP completed || 52 tries, 51645205 fired transitions, 2645 secs || 27467788 markings, 30240691 edges, 10356 markings/sec, 2645 secs
lola: STP completed || 52 tries, 51743521 fired transitions, 2650 secs || 27520208 markings, 30298232 edges, 10484 markings/sec, 2650 secs
lola: STP completed || 52 tries, 51841281 fired transitions, 2655 secs || 27571745 markings, 30354592 edges, 10307 markings/sec, 2655 secs
lola: STP completed || 52 tries, 51942102 fired transitions, 2660 secs || 27624517 markings, 30412132 edges, 10554 markings/sec, 2660 secs
lola: STP completed || 53 tries, 52042542 fired transitions, 2665 secs || 27678208 markings, 30470671 edges, 10738 markings/sec, 2665 secs
lola: STP completed || 53 tries, 52142729 fired transitions, 2670 secs || 27732167 markings, 30529225 edges, 10792 markings/sec, 2670 secs
lola: STP completed || 53 tries, 52238455 fired transitions, 2675 secs || 27784891 markings, 30586349 edges, 10545 markings/sec, 2675 secs
lola: STP completed || 53 tries, 52333812 fired transitions, 2680 secs || 27836989 markings, 30642687 edges, 10420 markings/sec, 2680 secs
lola: STP completed || 53 tries, 52430025 fired transitions, 2685 secs || 27889940 markings, 30700419 edges, 10590 markings/sec, 2685 secs
lola: STP completed || 53 tries, 52526883 fired transitions, 2690 secs || 27943343 markings, 30758689 edges, 10681 markings/sec, 2690 secs
lola: STP completed || 53 tries, 52623735 fired transitions, 2695 secs || 27997268 markings, 30817184 edges, 10785 markings/sec, 2695 secs
lola: STP completed || 53 tries, 52720057 fired transitions, 2700 secs || 28050633 markings, 30875580 edges, 10673 markings/sec, 2700 secs
lola: STP completed || 53 tries, 52816320 fired transitions, 2705 secs || 28104315 markings, 30933941 edges, 10736 markings/sec, 2705 secs
lola: STP completed || 53 tries, 52914539 fired transitions, 2710 secs || 28157559 markings, 30992523 edges, 10649 markings/sec, 2710 secs
lola: STP completed || 54 tries, 53012256 fired transitions, 2715 secs || 28211687 markings, 31051167 edges, 10826 markings/sec, 2715 secs
lola: STP completed || 54 tries, 53109860 fired transitions, 2720 secs || 28266106 markings, 31110640 edges, 10884 markings/sec, 2720 secs
lola: STP completed || 54 tries, 53206208 fired transitions, 2725 secs || 28322948 markings, 31172416 edges, 11368 markings/sec, 2725 secs
lola: STP completed || 54 tries, 53302250 fired transitions, 2730 secs || 28376703 markings, 31230868 edges, 10751 markings/sec, 2730 secs
lola: STP completed || 54 tries, 53398781 fired transitions, 2735 secs || 28431457 markings, 31290298 edges, 10951 markings/sec, 2735 secs
lola: STP completed || 54 tries, 53494786 fired transitions, 2740 secs || 28485244 markings, 31348630 edges, 10757 markings/sec, 2740 secs
lola: STP completed || 54 tries, 53590935 fired transitions, 2745 secs || 28538190 markings, 31406353 edges, 10589 markings/sec, 2745 secs
lola: STP completed || 54 tries, 53686584 fired transitions, 2750 secs || 28593368 markings, 31466213 edges, 11036 markings/sec, 2750 secs
lola: STP completed || 54 tries, 53783276 fired transitions, 2755 secs || 28647888 markings, 31525192 edges, 10904 markings/sec, 2755 secs
lola: STP completed || 54 tries, 53882275 fired transitions, 2760 secs || 28703675 markings, 31585759 edges, 11157 markings/sec, 2760 secs
lola: STP completed || 54 tries, 53980340 fired transitions, 2765 secs || 28757886 markings, 31644431 edges, 10842 markings/sec, 2765 secs
lola: STP completed || 55 tries, 54077764 fired transitions, 2770 secs || 28808731 markings, 31699421 edges, 10169 markings/sec, 2770 secs
lola: STP completed || 55 tries, 54175671 fired transitions, 2775 secs || 28863731 markings, 31758986 edges, 11000 markings/sec, 2775 secs
lola: STP completed || 55 tries, 54274026 fired transitions, 2780 secs || 28915583 markings, 31816005 edges, 10370 markings/sec, 2780 secs
lola: STP completed || 55 tries, 54371441 fired transitions, 2785 secs || 28972041 markings, 31878064 edges, 11292 markings/sec, 2785 secs
lola: STP completed || 55 tries, 54468850 fired transitions, 2790 secs || 29026146 markings, 31937984 edges, 10821 markings/sec, 2790 secs
lola: STP completed || 55 tries, 54566252 fired transitions, 2795 secs || 29083800 markings, 32002576 edges, 11531 markings/sec, 2795 secs
lola: STP completed || 55 tries, 54664064 fired transitions, 2800 secs || 29142191 markings, 32068522 edges, 11678 markings/sec, 2800 secs
lola: STP completed || 55 tries, 54763456 fired transitions, 2805 secs || 29200681 markings, 32134376 edges, 11698 markings/sec, 2805 secs
lola: STP completed || 55 tries, 54861084 fired transitions, 2810 secs || 29259282 markings, 32200715 edges, 11720 markings/sec, 2810 secs
lola: STP completed || 55 tries, 54958102 fired transitions, 2815 secs || 29314553 markings, 32261644 edges, 11054 markings/sec, 2815 secs
lola: STP completed || 56 tries, 55056680 fired transitions, 2820 secs || 29369133 markings, 32321587 edges, 10916 markings/sec, 2820 secs
lola: STP completed || 56 tries, 55153635 fired transitions, 2825 secs || 29425420 markings, 32383941 edges, 11257 markings/sec, 2825 secs
lola: STP completed || 56 tries, 55250740 fired transitions, 2830 secs || 29480030 markings, 32443952 edges, 10922 markings/sec, 2830 secs
lola: STP completed || 56 tries, 55348756 fired transitions, 2835 secs || 29538044 markings, 32506964 edges, 11603 markings/sec, 2835 secs
lola: STP completed || 56 tries, 55445780 fired transitions, 2840 secs || 29596949 markings, 32570907 edges, 11781 markings/sec, 2840 secs
lola: STP completed || 56 tries, 55543679 fired transitions, 2845 secs || 29655650 markings, 32634519 edges, 11740 markings/sec, 2845 secs
lola: STP completed || 56 tries, 55640685 fired transitions, 2850 secs || 29710579 markings, 32694305 edges, 10986 markings/sec, 2850 secs
lola: STP completed || 56 tries, 55736988 fired transitions, 2855 secs || 29767046 markings, 32755855 edges, 11293 markings/sec, 2855 secs
lola: STP completed || 56 tries, 55835032 fired transitions, 2860 secs || 29822511 markings, 32815961 edges, 11093 markings/sec, 2860 secs
lola: STP completed || 56 tries, 55931737 fired transitions, 2865 secs || 29875691 markings, 32873509 edges, 10636 markings/sec, 2865 secs
lola: STP completed || 57 tries, 56028739 fired transitions, 2870 secs || 29927888 markings, 32929913 edges, 10439 markings/sec, 2870 secs
lola: STP completed || 57 tries, 56126264 fired transitions, 2875 secs || 29980666 markings, 32987330 edges, 10556 markings/sec, 2875 secs
lola: STP completed || 57 tries, 56221535 fired transitions, 2880 secs || 30034294 markings, 33045965 edges, 10726 markings/sec, 2880 secs
lola: STP completed || 57 tries, 56318723 fired transitions, 2885 secs || 30086915 markings, 33103507 edges, 10524 markings/sec, 2885 secs
lola: STP completed || 57 tries, 56415934 fired transitions, 2890 secs || 30140630 markings, 33162175 edges, 10743 markings/sec, 2890 secs
lola: STP completed || 57 tries, 56515551 fired transitions, 2895 secs || 30193173 markings, 33219754 edges, 10509 markings/sec, 2895 secs
lola: STP completed || 57 tries, 56613376 fired transitions, 2900 secs || 30246190 markings, 33277605 edges, 10603 markings/sec, 2900 secs
lola: STP completed || 57 tries, 56710738 fired transitions, 2905 secs || 30300132 markings, 33336138 edges, 10788 markings/sec, 2905 secs
lola: STP completed || 57 tries, 56806704 fired transitions, 2910 secs || 30352836 markings, 33393682 edges, 10541 markings/sec, 2910 secs
lola: STP completed || 57 tries, 56902606 fired transitions, 2915 secs || 30404965 markings, 33450585 edges, 10426 markings/sec, 2915 secs
lola: STP completed || 58 tries, 57002239 fired transitions, 2920 secs || 30457213 markings, 33507103 edges, 10450 markings/sec, 2920 secs
lola: STP completed || 58 tries, 57098767 fired transitions, 2925 secs || 30508020 markings, 33561770 edges, 10161 markings/sec, 2925 secs
lola: STP completed || 58 tries, 57194450 fired transitions, 2930 secs || 30559269 markings, 33617416 edges, 10250 markings/sec, 2930 secs
lola: STP completed || 58 tries, 57291499 fired transitions, 2935 secs || 30611342 markings, 33673901 edges, 10415 markings/sec, 2935 secs
lola: STP completed || 58 tries, 57389191 fired transitions, 2940 secs || 30662230 markings, 33729159 edges, 10178 markings/sec, 2940 secs
lola: STP completed || 58 tries, 57486822 fired transitions, 2945 secs || 30716262 markings, 33788027 edges, 10806 markings/sec, 2945 secs
lola: STP completed || 58 tries, 57585618 fired transitions, 2950 secs || 30769017 markings, 33845737 edges, 10551 markings/sec, 2950 secs
lola: STP completed || 58 tries, 57682216 fired transitions, 2955 secs || 30821317 markings, 33902609 edges, 10460 markings/sec, 2955 secs
lola: STP completed || 58 tries, 57779368 fired transitions, 2960 secs || 30873338 markings, 33959086 edges, 10404 markings/sec, 2960 secs
lola: STP completed || 58 tries, 57875978 fired transitions, 2965 secs || 30925397 markings, 34015807 edges, 10412 markings/sec, 2965 secs
lola: STP completed || 58 tries, 57973993 fired transitions, 2970 secs || 30978739 markings, 34074025 edges, 10668 markings/sec, 2970 secs
lola: STP completed || 59 tries, 58077225 fired transitions, 2975 secs || 31034789 markings, 34135072 edges, 11210 markings/sec, 2975 secs
lola: STP completed || 59 tries, 58174806 fired transitions, 2980 secs || 31089954 markings, 34195068 edges, 11033 markings/sec, 2980 secs
lola: STP completed || 59 tries, 58272775 fired transitions, 2985 secs || 31147288 markings, 34257766 edges, 11467 markings/sec, 2985 secs
lola: STP completed || 59 tries, 58370243 fired transitions, 2990 secs || 31205873 markings, 34321664 edges, 11717 markings/sec, 2990 secs
lola: STP completed || 59 tries, 58465736 fired transitions, 2995 secs || 31257292 markings, 34377301 edges, 10284 markings/sec, 2995 secs
lola: STP completed || 59 tries, 58561201 fired transitions, 3000 secs || 31311120 markings, 34436201 edges, 10766 markings/sec, 3000 secs
lola: STP completed || 59 tries, 58656479 fired transitions, 3005 secs || 31363640 markings, 34493720 edges, 10504 markings/sec, 3005 secs
lola: STP completed || 59 tries, 58754149 fired transitions, 3010 secs || 31416337 markings, 34552146 edges, 10539 markings/sec, 3010 secs
lola: STP completed || 59 tries, 58852193 fired transitions, 3015 secs || 31468394 markings, 34608918 edges, 10411 markings/sec, 3015 secs
lola: STP completed || 59 tries, 58950367 fired transitions, 3020 secs || 31520362 markings, 34666135 edges, 10394 markings/sec, 3020 secs
lola: STP completed || 60 tries, 59049152 fired transitions, 3025 secs || 31573264 markings, 34724129 edges, 10580 markings/sec, 3025 secs
lola: STP completed || 60 tries, 59144919 fired transitions, 3030 secs || 31625949 markings, 34781568 edges, 10537 markings/sec, 3030 secs
lola: STP completed || 60 tries, 59241173 fired transitions, 3035 secs || 31678563 markings, 34839338 edges, 10523 markings/sec, 3035 secs
lola: STP completed || 60 tries, 59339940 fired transitions, 3040 secs || 31730842 markings, 34896562 edges, 10456 markings/sec, 3040 secs
lola: STP completed || 60 tries, 59437526 fired transitions, 3045 secs || 31782977 markings, 34953776 edges, 10427 markings/sec, 3045 secs
lola: STP completed || 60 tries, 59536127 fired transitions, 3050 secs || 31836002 markings, 35012135 edges, 10605 markings/sec, 3050 secs
lola: STP completed || 60 tries, 59633465 fired transitions, 3055 secs || 31888300 markings, 35069447 edges, 10460 markings/sec, 3055 secs
lola: STP completed || 60 tries, 59731726 fired transitions, 3060 secs || 31940848 markings, 35127429 edges, 10510 markings/sec, 3060 secs
lola: STP completed || 60 tries, 59828955 fired transitions, 3065 secs || 31994296 markings, 35186454 edges, 10690 markings/sec, 3065 secs
lola: STP completed || 60 tries, 59926180 fired transitions, 3070 secs || 32047080 markings, 35244777 edges, 10557 markings/sec, 3070 secs
lola: STP completed || 61 tries, 60026785 fired transitions, 3075 secs || 32099893 markings, 35303199 edges, 10563 markings/sec, 3075 secs
lola: STP completed || 61 tries, 60123647 fired transitions, 3080 secs || 32152219 markings, 35361412 edges, 10465 markings/sec, 3080 secs
lola: STP completed || 61 tries, 60220720 fired transitions, 3085 secs || 32205149 markings, 35420122 edges, 10586 markings/sec, 3085 secs
lola: STP completed || 61 tries, 60318434 fired transitions, 3090 secs || 32256621 markings, 35477605 edges, 10294 markings/sec, 3090 secs
lola: STP completed || 61 tries, 60416303 fired transitions, 3095 secs || 32309471 markings, 35536425 edges, 10570 markings/sec, 3095 secs
lola: STP completed || 61 tries, 60512703 fired transitions, 3100 secs || 32362256 markings, 35595031 edges, 10557 markings/sec, 3100 secs
lola: STP completed || 61 tries, 60610750 fired transitions, 3105 secs || 32413657 markings, 35651547 edges, 10280 markings/sec, 3105 secs
lola: STP completed || 61 tries, 60707580 fired transitions, 3110 secs || 32467362 markings, 35710441 edges, 10741 markings/sec, 3110 secs
lola: STP completed || 61 tries, 60804212 fired transitions, 3115 secs || 32519835 markings, 35767919 edges, 10495 markings/sec, 3115 secs
lola: STP completed || 61 tries, 60902305 fired transitions, 3120 secs || 32572859 markings, 35826319 edges, 10605 markings/sec, 3120 secs
lola: STP completed || 61 tries, 60999533 fired transitions, 3125 secs || 32624749 markings, 35883148 edges, 10378 markings/sec, 3125 secs
lola: STP completed || 62 tries, 61097754 fired transitions, 3130 secs || 32676762 markings, 35940112 edges, 10403 markings/sec, 3130 secs
lola: STP completed || 62 tries, 61195774 fired transitions, 3135 secs || 32728138 markings, 35996149 edges, 10275 markings/sec, 3135 secs
lola: STP completed || 62 tries, 61293541 fired transitions, 3140 secs || 32781808 markings, 36054969 edges, 10734 markings/sec, 3140 secs
lola: STP completed || 62 tries, 61391173 fired transitions, 3145 secs || 32835684 markings, 36113838 edges, 10775 markings/sec, 3145 secs
lola: STP completed || 62 tries, 61488001 fired transitions, 3150 secs || 32888097 markings, 36171271 edges, 10483 markings/sec, 3150 secs
lola: STP completed || 62 tries, 61590273 fired transitions, 3155 secs || 32941648 markings, 36230285 edges, 10710 markings/sec, 3155 secs
lola: STP completed || 62 tries, 61692714 fired transitions, 3160 secs || 32996142 markings, 36290608 edges, 10899 markings/sec, 3160 secs
lola: STP completed || 62 tries, 61792641 fired transitions, 3165 secs || 33050276 markings, 36349898 edges, 10827 markings/sec, 3165 secs
lola: STP completed || 62 tries, 61889778 fired transitions, 3170 secs || 33103258 markings, 36408350 edges, 10596 markings/sec, 3170 secs
lola: STP completed || 62 tries, 61989086 fired transitions, 3175 secs || 33158532 markings, 36469802 edges, 11055 markings/sec, 3175 secs
lola: STP completed || 63 tries, 62090544 fired transitions, 3180 secs || 33213978 markings, 36531319 edges, 11089 markings/sec, 3180 secs
lola: STP completed || 63 tries, 62188532 fired transitions, 3185 secs || 33268781 markings, 36591677 edges, 10961 markings/sec, 3185 secs
lola: STP completed || 63 tries, 62285479 fired transitions, 3190 secs || 33323268 markings, 36652134 edges, 10897 markings/sec, 3190 secs
lola: STP completed || 63 tries, 62382440 fired transitions, 3195 secs || 33376155 markings, 36710547 edges, 10577 markings/sec, 3195 secs
lola: STP completed || 63 tries, 62481382 fired transitions, 3200 secs || 33430350 markings, 36770486 edges, 10839 markings/sec, 3200 secs
lola: STP completed || 63 tries, 62581049 fired transitions, 3205 secs || 33485650 markings, 36831732 edges, 11060 markings/sec, 3205 secs
lola: STP completed || 63 tries, 62679652 fired transitions, 3210 secs || 33541275 markings, 36893548 edges, 11125 markings/sec, 3210 secs
lola: STP completed || 63 tries, 62779534 fired transitions, 3215 secs || 33596649 markings, 36955409 edges, 11075 markings/sec, 3215 secs
lola: STP completed || 63 tries, 62877565 fired transitions, 3220 secs || 33652081 markings, 37016867 edges, 11086 markings/sec, 3220 secs
lola: STP completed || 63 tries, 62977974 fired transitions, 3225 secs || 33708062 markings, 37078633 edges, 11196 markings/sec, 3225 secs
lola: STP completed || 64 tries, 63078439 fired transitions, 3230 secs || 33764029 markings, 37140057 edges, 11193 markings/sec, 3230 secs
lola: STP completed || 64 tries, 63177672 fired transitions, 3235 secs || 33818686 markings, 37199963 edges, 10931 markings/sec, 3235 secs
lola: STP completed || 64 tries, 63277014 fired transitions, 3240 secs || 33875448 markings, 37262008 edges, 11352 markings/sec, 3240 secs
lola: STP completed || 64 tries, 63377269 fired transitions, 3245 secs || 33933535 markings, 37325535 edges, 11617 markings/sec, 3245 secs
lola: STP completed || 64 tries, 63476389 fired transitions, 3250 secs || 33990511 markings, 37387807 edges, 11395 markings/sec, 3250 secs
lola: STP completed || 64 tries, 63575924 fired transitions, 3255 secs || 34046709 markings, 37449307 edges, 11240 markings/sec, 3255 secs
lola: STP completed || 64 tries, 63676153 fired transitions, 3260 secs || 34106347 markings, 37514379 edges, 11928 markings/sec, 3260 secs
lola: STP completed || 64 tries, 63772471 fired transitions, 3265 secs || 34161827 markings, 37575091 edges, 11096 markings/sec, 3265 secs
lola: STP completed || 64 tries, 63869985 fired transitions, 3270 secs || 34218538 markings, 37637078 edges, 11342 markings/sec, 3270 secs
lola: STP completed || 64 tries, 63969963 fired transitions, 3275 secs || 34276708 markings, 37700466 edges, 11634 markings/sec, 3275 secs
lola: STP completed || 65 tries, 64069676 fired transitions, 3280 secs || 34331804 markings, 37760713 edges, 11019 markings/sec, 3280 secs
lola: STP completed || 65 tries, 64167528 fired transitions, 3285 secs || 34385520 markings, 37819302 edges, 10743 markings/sec, 3285 secs
lola: STP completed || 65 tries, 64264464 fired transitions, 3290 secs || 34437935 markings, 37876609 edges, 10483 markings/sec, 3290 secs
lola: STP completed || 65 tries, 64360025 fired transitions, 3295 secs || 34490239 markings, 37934780 edges, 10461 markings/sec, 3295 secs
lola: STP completed || 65 tries, 64455430 fired transitions, 3300 secs || 34542574 markings, 37993297 edges, 10467 markings/sec, 3300 secs
lola: STP completed || 65 tries, 64550568 fired transitions, 3305 secs || 34595808 markings, 38052949 edges, 10647 markings/sec, 3305 secs
lola: STP completed || 65 tries, 64646086 fired transitions, 3310 secs || 34648913 markings, 38112039 edges, 10621 markings/sec, 3310 secs
lola: STP completed || 65 tries, 64742179 fired transitions, 3315 secs || 34702538 markings, 38171862 edges, 10725 markings/sec, 3315 secs
lola: STP completed || 65 tries, 64837525 fired transitions, 3320 secs || 34756708 markings, 38231648 edges, 10834 markings/sec, 3320 secs
lola: STP completed || 65 tries, 64931761 fired transitions, 3325 secs || 34809815 markings, 38290401 edges, 10621 markings/sec, 3325 secs
lola: STP completed || 66 tries, 65026482 fired transitions, 3330 secs || 34863714 markings, 38349753 edges, 10780 markings/sec, 3330 secs
lola: STP completed || 66 tries, 65121226 fired transitions, 3335 secs || 34916676 markings, 38408045 edges, 10592 markings/sec, 3335 secs
lola: STP completed || 66 tries, 65217024 fired transitions, 3340 secs || 34971248 markings, 38467268 edges, 10914 markings/sec, 3340 secs
lola: STP completed || 66 tries, 65312383 fired transitions, 3345 secs || 35026923 markings, 38528076 edges, 11135 markings/sec, 3345 secs
lola: STP completed || 66 tries, 65407609 fired transitions, 3350 secs || 35082163 markings, 38588431 edges, 11048 markings/sec, 3350 secs
lola: STP completed || 66 tries, 65502382 fired transitions, 3355 secs || 35138017 markings, 38649281 edges, 11171 markings/sec, 3355 secs
lola: STP completed || 66 tries, 65597270 fired transitions, 3360 secs || 35194332 markings, 38710661 edges, 11263 markings/sec, 3360 secs
lola: STP completed || 66 tries, 65692616 fired transitions, 3365 secs || 35249883 markings, 38771343 edges, 11110 markings/sec, 3365 secs
lola: STP completed || 66 tries, 65786611 fired transitions, 3370 secs || 35307130 markings, 38833734 edges, 11449 markings/sec, 3370 secs
lola: STP completed || 66 tries, 65882674 fired transitions, 3375 secs || 35362818 markings, 38894396 edges, 11138 markings/sec, 3375 secs
lola: STP completed || 66 tries, 65976295 fired transitions, 3380 secs || 35417386 markings, 38954043 edges, 10914 markings/sec, 3380 secs
lola: STP completed || 67 tries, 66073957 fired transitions, 3385 secs || 35470474 markings, 39012011 edges, 10618 markings/sec, 3385 secs
lola: STP completed || 67 tries, 66169096 fired transitions, 3390 secs || 35523809 markings, 39070468 edges, 10667 markings/sec, 3390 secs
lola: STP completed || 67 tries, 66264635 fired transitions, 3395 secs || 35578211 markings, 39129926 edges, 10880 markings/sec, 3395 secs
lola: STP completed || 67 tries, 66361957 fired transitions, 3400 secs || 35637401 markings, 39194524 edges, 11838 markings/sec, 3400 secs
lola: STP completed || 67 tries, 66462420 fired transitions, 3405 secs || 35694268 markings, 39256601 edges, 11373 markings/sec, 3405 secs
lola: STP completed || 67 tries, 66562146 fired transitions, 3410 secs || 35752987 markings, 39320540 edges, 11744 markings/sec, 3410 secs
lola: STP completed || 67 tries, 66660670 fired transitions, 3415 secs || 35811238 markings, 39383532 edges, 11650 markings/sec, 3415 secs
lola: STP completed || 67 tries, 66747453 fired transitions, 3420 secs || 35853881 markings, 39430133 edges, 8529 markings/sec, 3420 secs
lola: STP completed || 67 tries, 66800404 fired transitions, 3425 secs || 35858646 markings, 39435337 edges, 953 markings/sec, 3425 secs
lola: STP completed || 67 tries, 66820451 fired transitions, 3430 secs || 35859778 markings, 39436580 edges, 226 markings/sec, 3430 secs
lola: STP completed || 67 tries, 66883767 fired transitions, 3435 secs || 35865917 markings, 39443270 edges, 1228 markings/sec, 3435 secs
lola: STP completed || 67 tries, 66942133 fired transitions, 3440 secs || 35868751 markings, 39446355 edges, 567 markings/sec, 3440 secs
lola: STP completed || 67 tries, 66987272 fired transitions, 3445 secs || 35872933 markings, 39450885 edges, 836 markings/sec, 3445 secs
lola: STP completed || 68 tries, 67012596 fired transitions, 3450 secs || 35879233 markings, 39457690 edges, 1260 markings/sec, 3450 secs
BK_STOP 1526680612962
--------------------
content from stderr:
Killed
Sequence of Actions to be Executed by the VM
This is useful if one wants to reexecute the tool in the VM from the submitted image disk.
set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="DLCround-PT-12b"
export BK_EXAMINATION="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/DLCround-PT-12b.tgz
mv DLCround-PT-12b execution
cd execution
pwd
ls -lh
# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-3637"
echo " Executing tool lola"
echo " Input is DLCround-PT-12b, examination is 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-152649735300139"
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 ;