About the Execution of LoLA for Dekker-PT-200
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 4822.120 | 3570370.00 | 10900252.00 | 669.00 | [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 25M
-rw-r--r-- 1 mcc users 3.3K May 15 18:54 CTLCardinality.txt
-rw-r--r-- 1 mcc users 18K May 15 18:54 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.9K May 15 18:54 CTLFireability.txt
-rw-r--r-- 1 mcc users 16K 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 6.1K May 15 18:50 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 2.5K May 15 18:54 LTLCardinality.txt
-rw-r--r-- 1 mcc users 12K May 15 18:54 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.1K May 15 18:54 LTLFireability.txt
-rw-r--r-- 1 mcc users 9.3K 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 17K May 15 18:54 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 104 May 15 18:54 ReachabilityDeadlock.txt
-rw-r--r-- 1 mcc users 342 May 15 18:54 ReachabilityDeadlock.xml
-rw-r--r-- 1 mcc users 2.8K May 15 18:54 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 13K 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 25M May 15 18:50 model.pnml
=====================================================================
Generated by BenchKit 2-3637
Executing tool lola
Input is Dekker-PT-200, examination is ReachabilityDeadlock
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r076-blw3-152649936800111
=====================================================================
--------------------
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 Dekker-PT-200-ReachabilityDeadlock-0
=== Now, execution of the tool begins
BK_START 1526630226063
info: Time: 3600 - MCC
===========================================================================================
prep: translating Dekker-PT-200 Petri net model.pnml into LoLA format
===========================================================================================
prep: translating PT Petri net complete
prep: added safe information to the net based on GenericPropertiesVerdict
prep: check for too many tokens
===========================================================================================
prep: translating Dekker-PT-200 formula ReachabilityDeadlock into LoLA format
===========================================================================================
prep: translating PT formula complete
vrfy: Checking ReachabilityDeadlock @ Dekker-PT-200 @ 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: 41400/65536 symbol table entries, 18535 collisions
lola: preprocessing...
lola: Size of bit vector: 1000
lola: finding significant places
lola: 1000 places, 40400 transitions, 400 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 80600 transition conflict sets
lola: TASK
lola: reading formula from Dekker-PT-200-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: STP: formula with 536202 variables and 4231604 clauses shipped to Minisat
lola: STP running || 1 tries, 155 fired transitions, 0 secs
lola: 204 generators; 496096 candidates remain ( 0%), 0 secs
lola: STP running || 1 tries, 327 fired transitions, 5 secs
lola: 985 generators; 492115 candidates remain ( 0%), 5 secs
lola: STP running || 1 tries, 494 fired transitions, 10 secs
lola: 1945 generators; 487155 candidates remain ( 0%), 10 secs
lola: STP running || 1 tries, 658 fired transitions, 15 secs
lola: 2695 generators; 483205 candidates remain ( 0%), 15 secs
lola: STP running || 1 tries, 826 fired transitions, 20 secs
lola: 3610 generators; 478290 candidates remain ( 0%), 20 secs
lola: STP running || 1 tries, 986 fired transitions, 25 secs
lola: 4500 generators; 473400 candidates remain ( 0%), 25 secs
lola: STP running || 1 tries, 1149 fired transitions, 30 secs
lola: 5365 generators; 468535 candidates remain ( 1%), 30 secs
lola: STP running || 1 tries, 1310 fired transitions, 35 secs
lola: 6370 generators; 462730 candidates remain ( 1%), 35 secs
lola: STP running || 1 tries, 1446 fired transitions, 40 secs
lola: 7020 generators; 458880 candidates remain ( 1%), 40 secs
lola: STP running || 1 tries, 1544 fired transitions, 45 secs
lola: 7654 generators; 455046 candidates remain ( 1%), 45 secs
lola: STP running || 1 tries, 1673 fired transitions, 50 secs
lola: 8272 generators; 451228 candidates remain ( 1%), 50 secs
lola: STP running || 1 tries, 1765 fired transitions, 55 secs
lola: 8873 generators; 447427 candidates remain ( 1%), 55 secs
lola: STP running || 1 tries, 1886 fired transitions, 60 secs
lola: 9459 generators; 443641 candidates remain ( 2%), 60 secs
lola: STP running || 1 tries, 2033 fired transitions, 65 secs
lola: 10170 generators; 438930 candidates remain ( 2%), 65 secs
lola: STP running || 1 tries, 2145 fired transitions, 70 secs
lola: 10989 generators; 433311 candidates remain ( 2%), 70 secs
lola: STP running || 1 tries, 2256 fired transitions, 75 secs
lola: 11644 generators; 428656 candidates remain ( 2%), 75 secs
lola: STP running || 1 tries, 2362 fired transitions, 80 secs
lola: 12397 generators; 423903 candidates remain ( 2%), 80 secs
lola: STP running || 1 tries, 2491 fired transitions, 85 secs
lola: 13114 generators; 418386 candidates remain ( 3%), 85 secs
lola: STP running || 1 tries, 2634 fired transitions, 90 secs
lola: 14014 generators; 411086 candidates remain ( 3%), 90 secs
lola: STP running || 1 tries, 2746 fired transitions, 95 secs
lola: 14950 generators; 402950 candidates remain ( 3%), 95 secs
lola: STP running || 1 tries, 2824 fired transitions, 100 secs
lola: 15367 generators; 398533 candidates remain ( 3%), 100 secs
lola: STP running || 1 tries, 2926 fired transitions, 105 secs
lola: 16072 generators; 391428 candidates remain ( 3%), 105 secs
lola: STP running || 1 tries, 3058 fired transitions, 110 secs
lola: 16932 generators; 382568 candidates remain ( 4%), 110 secs
lola: STP running || 1 tries, 3202 fired transitions, 115 secs
lola: 17913 generators; 371187 candidates remain ( 4%), 115 secs
lola: STP running || 1 tries, 3319 fired transitions, 120 secs
lola: 18622 generators; 360878 candidates remain ( 4%), 120 secs
lola: STP running || 1 tries, 3453 fired transitions, 125 secs
lola: 19670 generators; 335830 candidates remain ( 5%), 125 secs
lola: computed 19900 generators (317 in search tree, 19583 by composition)
lola: representing 7.88658E+374 symmetries
lola: 0 dead branches visited in search tree
lola: STP running || 1 tries, 3581 fired transitions, 130 secs || 31 markings, 7342 edges, 6 markings/sec, 130 secs
lola: STP running || 1 tries, 3742 fired transitions, 135 secs || 45 markings, 23706 edges, 3 markings/sec, 135 secs
lola: STP running || 1 tries, 3885 fired transitions, 140 secs || 53 markings, 40774 edges, 2 markings/sec, 140 secs
lola: STP running || 1 tries, 4049 fired transitions, 145 secs || 60 markings, 57979 edges, 1 markings/sec, 145 secs
lola: STP running || 1 tries, 4221 fired transitions, 150 secs || 65 markings, 74652 edges, 1 markings/sec, 150 secs
lola: STP running || 1 tries, 4376 fired transitions, 155 secs || 69 markings, 91858 edges, 1 markings/sec, 155 secs
lola: STP running || 1 tries, 4545 fired transitions, 160 secs || 73 markings, 110004 edges, 1 markings/sec, 160 secs
lola: STP running || 1 tries, 4706 fired transitions, 165 secs || 76 markings, 126884 edges, 1 markings/sec, 165 secs
lola: STP running || 1 tries, 4867 fired transitions, 170 secs || 80 markings, 145068 edges, 1 markings/sec, 170 secs
lola: STP running || 1 tries, 5022 fired transitions, 175 secs || 83 markings, 162659 edges, 1 markings/sec, 175 secs
lola: STP running || 1 tries, 5175 fired transitions, 180 secs || 86 markings, 180635 edges, 1 markings/sec, 180 secs
lola: STP running || 1 tries, 5327 fired transitions, 185 secs || 88 markings, 198155 edges, 0 markings/sec, 185 secs
lola: STP running || 1 tries, 5468 fired transitions, 190 secs || 91 markings, 215416 edges, 1 markings/sec, 190 secs
lola: STP running || 1 tries, 5608 fired transitions, 195 secs || 93 markings, 232717 edges, 0 markings/sec, 195 secs
lola: STP running || 1 tries, 5754 fired transitions, 200 secs || 95 markings, 249298 edges, 0 markings/sec, 200 secs
lola: STP running || 1 tries, 5893 fired transitions, 205 secs || 97 markings, 266289 edges, 0 markings/sec, 205 secs
lola: STP running || 1 tries, 6047 fired transitions, 210 secs || 99 markings, 284000 edges, 0 markings/sec, 210 secs
lola: STP running || 1 tries, 6195 fired transitions, 215 secs || 101 markings, 301887 edges, 0 markings/sec, 215 secs
lola: STP running || 1 tries, 6340 fired transitions, 220 secs || 103 markings, 320318 edges, 0 markings/sec, 220 secs
lola: STP running || 1 tries, 6483 fired transitions, 225 secs || 104 markings, 333319 edges, 0 markings/sec, 225 secs
lola: STP running || 1 tries, 6637 fired transitions, 230 secs || 105 markings, 342858 edges, 0 markings/sec, 230 secs
lola: STP running || 1 tries, 6794 fired transitions, 235 secs || 106 markings, 356289 edges, 0 markings/sec, 235 secs
lola: STP running || 1 tries, 6956 fired transitions, 240 secs || 108 markings, 375329 edges, 0 markings/sec, 240 secs
lola: STP running || 1 tries, 7111 fired transitions, 245 secs || 110 markings, 393211 edges, 0 markings/sec, 245 secs
lola: STP running || 1 tries, 7272 fired transitions, 250 secs || 111 markings, 412096 edges, 0 markings/sec, 250 secs
lola: STP running || 1 tries, 7435 fired transitions, 255 secs || 113 markings, 431509 edges, 0 markings/sec, 255 secs
lola: STP running || 1 tries, 7597 fired transitions, 260 secs || 115 markings, 451346 edges, 0 markings/sec, 260 secs
lola: STP running || 1 tries, 7747 fired transitions, 265 secs || 116 markings, 471014 edges, 0 markings/sec, 265 secs
lola: STP running || 1 tries, 7897 fired transitions, 270 secs || 118 markings, 490433 edges, 0 markings/sec, 270 secs
lola: STP running || 1 tries, 8049 fired transitions, 275 secs || 119 markings, 509990 edges, 0 markings/sec, 275 secs
lola: STP running || 1 tries, 8201 fired transitions, 280 secs || 121 markings, 529369 edges, 0 markings/sec, 280 secs
lola: STP running || 1 tries, 8358 fired transitions, 285 secs || 122 markings, 549278 edges, 0 markings/sec, 285 secs
lola: STP running || 1 tries, 8516 fired transitions, 290 secs || 124 markings, 568634 edges, 0 markings/sec, 290 secs
lola: STP running || 1 tries, 8672 fired transitions, 295 secs || 125 markings, 588364 edges, 0 markings/sec, 295 secs
lola: STP running || 1 tries, 8824 fired transitions, 300 secs || 126 markings, 608066 edges, 0 markings/sec, 300 secs
lola: STP running || 1 tries, 8979 fired transitions, 305 secs || 127 markings, 627679 edges, 0 markings/sec, 305 secs
lola: STP running || 1 tries, 9127 fired transitions, 310 secs || 129 markings, 647041 edges, 0 markings/sec, 310 secs
lola: STP running || 1 tries, 9284 fired transitions, 315 secs || 130 markings, 666735 edges, 0 markings/sec, 315 secs
lola: STP running || 1 tries, 9438 fired transitions, 320 secs || 131 markings, 686489 edges, 0 markings/sec, 320 secs
lola: STP running || 1 tries, 9600 fired transitions, 325 secs || 132 markings, 706250 edges, 0 markings/sec, 325 secs
lola: STP running || 1 tries, 9747 fired transitions, 330 secs || 134 markings, 725589 edges, 0 markings/sec, 330 secs
lola: STP running || 1 tries, 9904 fired transitions, 335 secs || 135 markings, 745228 edges, 0 markings/sec, 335 secs
lola: STP running || 1 tries, 10059 fired transitions, 340 secs || 136 markings, 764854 edges, 0 markings/sec, 340 secs
lola: STP running || 1 tries, 10214 fired transitions, 345 secs || 137 markings, 784509 edges, 0 markings/sec, 345 secs
lola: STP running || 1 tries, 10364 fired transitions, 350 secs || 138 markings, 804173 edges, 0 markings/sec, 350 secs
lola: STP running || 1 tries, 10522 fired transitions, 355 secs || 139 markings, 823855 edges, 0 markings/sec, 355 secs
lola: STP running || 1 tries, 10675 fired transitions, 360 secs || 140 markings, 843671 edges, 0 markings/sec, 360 secs
lola: STP running || 1 tries, 10834 fired transitions, 365 secs || 141 markings, 863216 edges, 0 markings/sec, 365 secs
lola: STP running || 1 tries, 10975 fired transitions, 370 secs || 142 markings, 881786 edges, 0 markings/sec, 370 secs
lola: STP running || 1 tries, 11127 fired transitions, 375 secs || 143 markings, 900163 edges, 0 markings/sec, 375 secs
lola: STP running || 1 tries, 11269 fired transitions, 380 secs || 144 markings, 918233 edges, 0 markings/sec, 380 secs
lola: STP running || 1 tries, 11425 fired transitions, 385 secs || 145 markings, 937494 edges, 0 markings/sec, 385 secs
lola: STP running || 1 tries, 11588 fired transitions, 390 secs || 146 markings, 957652 edges, 0 markings/sec, 390 secs
lola: STP running || 1 tries, 11750 fired transitions, 395 secs || 147 markings, 977720 edges, 0 markings/sec, 395 secs
lola: STP running || 1 tries, 11914 fired transitions, 400 secs || 148 markings, 997978 edges, 0 markings/sec, 400 secs
lola: STP running || 1 tries, 12075 fired transitions, 405 secs || 149 markings, 1018273 edges, 0 markings/sec, 405 secs
lola: STP running || 1 tries, 12233 fired transitions, 410 secs || 150 markings, 1038575 edges, 0 markings/sec, 410 secs
lola: STP running || 1 tries, 12387 fired transitions, 415 secs || 151 markings, 1058752 edges, 0 markings/sec, 415 secs
lola: STP running || 1 tries, 12551 fired transitions, 420 secs || 152 markings, 1078196 edges, 0 markings/sec, 420 secs
lola: STP running || 1 tries, 12710 fired transitions, 425 secs || 152 markings, 1097925 edges, 0 markings/sec, 425 secs
lola: STP running || 1 tries, 12878 fired transitions, 430 secs || 153 markings, 1117386 edges, 0 markings/sec, 430 secs
lola: STP running || 1 tries, 13049 fired transitions, 435 secs || 154 markings, 1136656 edges, 0 markings/sec, 435 secs
lola: STP running || 1 tries, 13215 fired transitions, 440 secs || 155 markings, 1156227 edges, 0 markings/sec, 440 secs
lola: STP running || 1 tries, 13381 fired transitions, 445 secs || 156 markings, 1176088 edges, 0 markings/sec, 445 secs
lola: STP running || 1 tries, 13548 fired transitions, 450 secs || 157 markings, 1195883 edges, 0 markings/sec, 450 secs
lola: STP running || 1 tries, 13709 fired transitions, 455 secs || 158 markings, 1215666 edges, 0 markings/sec, 455 secs
lola: STP running || 1 tries, 13874 fired transitions, 460 secs || 158 markings, 1235876 edges, 0 markings/sec, 460 secs
lola: STP running || 1 tries, 14039 fired transitions, 465 secs || 159 markings, 1255826 edges, 0 markings/sec, 465 secs
lola: STP running || 1 tries, 14199 fired transitions, 470 secs || 160 markings, 1276060 edges, 0 markings/sec, 470 secs
lola: STP running || 1 tries, 14365 fired transitions, 475 secs || 161 markings, 1296245 edges, 0 markings/sec, 475 secs
lola: STP running || 1 tries, 14528 fired transitions, 480 secs || 162 markings, 1316593 edges, 0 markings/sec, 480 secs
lola: STP running || 1 tries, 14687 fired transitions, 485 secs || 162 markings, 1337297 edges, 0 markings/sec, 485 secs
lola: STP running || 1 tries, 14852 fired transitions, 490 secs || 163 markings, 1357430 edges, 0 markings/sec, 490 secs
lola: STP running || 1 tries, 15020 fired transitions, 495 secs || 164 markings, 1377835 edges, 0 markings/sec, 495 secs
lola: STP running || 1 tries, 15182 fired transitions, 500 secs || 165 markings, 1398071 edges, 0 markings/sec, 500 secs
lola: STP running || 1 tries, 15339 fired transitions, 505 secs || 166 markings, 1418495 edges, 0 markings/sec, 505 secs
lola: STP running || 1 tries, 15491 fired transitions, 510 secs || 166 markings, 1439094 edges, 0 markings/sec, 510 secs
lola: STP running || 1 tries, 15656 fired transitions, 515 secs || 167 markings, 1459609 edges, 0 markings/sec, 515 secs
lola: STP running || 1 tries, 15819 fired transitions, 520 secs || 168 markings, 1480252 edges, 0 markings/sec, 520 secs
lola: STP running || 1 tries, 15985 fired transitions, 525 secs || 169 markings, 1501076 edges, 0 markings/sec, 525 secs
lola: STP running || 1 tries, 16153 fired transitions, 530 secs || 169 markings, 1522101 edges, 0 markings/sec, 530 secs
lola: STP running || 1 tries, 16321 fired transitions, 535 secs || 170 markings, 1542151 edges, 0 markings/sec, 535 secs
lola: STP running || 1 tries, 16478 fired transitions, 540 secs || 171 markings, 1563065 edges, 0 markings/sec, 540 secs
lola: STP running || 1 tries, 16636 fired transitions, 545 secs || 172 markings, 1583804 edges, 0 markings/sec, 545 secs
lola: STP running || 1 tries, 16795 fired transitions, 550 secs || 172 markings, 1605297 edges, 0 markings/sec, 550 secs
lola: STP running || 1 tries, 16960 fired transitions, 555 secs || 173 markings, 1626283 edges, 0 markings/sec, 555 secs
lola: STP running || 1 tries, 17123 fired transitions, 560 secs || 174 markings, 1647410 edges, 0 markings/sec, 560 secs
lola: STP running || 1 tries, 17285 fired transitions, 565 secs || 174 markings, 1668958 edges, 0 markings/sec, 565 secs
lola: STP running || 1 tries, 17450 fired transitions, 570 secs || 175 markings, 1690004 edges, 0 markings/sec, 570 secs
lola: STP running || 1 tries, 17610 fired transitions, 575 secs || 176 markings, 1711345 edges, 0 markings/sec, 575 secs
lola: STP running || 1 tries, 17770 fired transitions, 580 secs || 177 markings, 1732783 edges, 0 markings/sec, 580 secs
lola: STP running || 1 tries, 17934 fired transitions, 585 secs || 177 markings, 1754659 edges, 0 markings/sec, 585 secs
lola: STP running || 1 tries, 18100 fired transitions, 590 secs || 178 markings, 1776081 edges, 0 markings/sec, 590 secs
lola: STP running || 1 tries, 18269 fired transitions, 595 secs || 179 markings, 1797457 edges, 0 markings/sec, 595 secs
lola: STP running || 1 tries, 18437 fired transitions, 600 secs || 179 markings, 1819418 edges, 0 markings/sec, 600 secs
lola: STP running || 1 tries, 18594 fired transitions, 605 secs || 180 markings, 1840951 edges, 0 markings/sec, 605 secs
lola: STP running || 1 tries, 18760 fired transitions, 610 secs || 181 markings, 1862296 edges, 0 markings/sec, 610 secs
lola: STP running || 1 tries, 18923 fired transitions, 615 secs || 181 markings, 1884392 edges, 0 markings/sec, 615 secs
lola: STP running || 1 tries, 19093 fired transitions, 620 secs || 182 markings, 1906020 edges, 0 markings/sec, 620 secs
lola: STP running || 1 tries, 19252 fired transitions, 625 secs || 183 markings, 1927775 edges, 0 markings/sec, 625 secs
lola: STP running || 1 tries, 19413 fired transitions, 630 secs || 183 markings, 1950043 edges, 0 markings/sec, 630 secs
lola: STP running || 1 tries, 19567 fired transitions, 635 secs || 184 markings, 1971994 edges, 0 markings/sec, 635 secs
lola: STP running || 1 tries, 19724 fired transitions, 640 secs || 185 markings, 1993868 edges, 0 markings/sec, 640 secs
lola: STP running || 1 tries, 19886 fired transitions, 645 secs || 185 markings, 2016176 edges, 0 markings/sec, 645 secs
lola: STP running || 1 tries, 20048 fired transitions, 650 secs || 186 markings, 2038138 edges, 0 markings/sec, 650 secs
lola: STP running || 1 tries, 20212 fired transitions, 655 secs || 187 markings, 2060251 edges, 0 markings/sec, 655 secs
lola: STP running || 1 tries, 20348 fired transitions, 660 secs || 187 markings, 2081541 edges, 0 markings/sec, 660 secs
lola: STP running || 1 tries, 20485 fired transitions, 665 secs || 188 markings, 2102580 edges, 0 markings/sec, 665 secs
lola: STP running || 1 tries, 20626 fired transitions, 670 secs || 189 markings, 2123507 edges, 0 markings/sec, 670 secs
lola: STP running || 1 tries, 20773 fired transitions, 675 secs || 189 markings, 2144501 edges, 0 markings/sec, 675 secs
lola: STP running || 1 tries, 20916 fired transitions, 680 secs || 190 markings, 2165528 edges, 0 markings/sec, 680 secs
lola: STP running || 1 tries, 21067 fired transitions, 685 secs || 190 markings, 2187732 edges, 0 markings/sec, 685 secs
lola: STP running || 1 tries, 21220 fired transitions, 690 secs || 191 markings, 2210440 edges, 0 markings/sec, 690 secs
lola: STP running || 1 tries, 21378 fired transitions, 695 secs || 192 markings, 2233032 edges, 0 markings/sec, 695 secs
lola: STP running || 1 tries, 21547 fired transitions, 700 secs || 192 markings, 2256214 edges, 0 markings/sec, 700 secs
lola: STP running || 1 tries, 21714 fired transitions, 705 secs || 193 markings, 2278774 edges, 0 markings/sec, 705 secs
lola: STP running || 1 tries, 21876 fired transitions, 710 secs || 193 markings, 2301585 edges, 0 markings/sec, 710 secs
lola: STP running || 1 tries, 22036 fired transitions, 715 secs || 194 markings, 2324189 edges, 0 markings/sec, 715 secs
lola: STP running || 1 tries, 22202 fired transitions, 720 secs || 195 markings, 2346788 edges, 0 markings/sec, 720 secs
lola: STP running || 1 tries, 22365 fired transitions, 725 secs || 195 markings, 2369901 edges, 0 markings/sec, 725 secs
lola: STP running || 1 tries, 22527 fired transitions, 730 secs || 196 markings, 2392536 edges, 0 markings/sec, 730 secs
lola: STP running || 1 tries, 22692 fired transitions, 735 secs || 197 markings, 2415208 edges, 0 markings/sec, 735 secs
lola: STP running || 1 tries, 22863 fired transitions, 740 secs || 197 markings, 2438544 edges, 0 markings/sec, 740 secs
lola: STP running || 1 tries, 23026 fired transitions, 745 secs || 198 markings, 2461386 edges, 0 markings/sec, 745 secs
lola: STP running || 1 tries, 23188 fired transitions, 750 secs || 198 markings, 2484804 edges, 0 markings/sec, 750 secs
lola: STP running || 1 tries, 23349 fired transitions, 755 secs || 199 markings, 2507769 edges, 0 markings/sec, 755 secs
lola: STP running || 1 tries, 23513 fired transitions, 760 secs || 200 markings, 2530742 edges, 0 markings/sec, 760 secs
lola: STP running || 1 tries, 23676 fired transitions, 765 secs || 200 markings, 2554348 edges, 0 markings/sec, 765 secs
lola: STP running || 1 tries, 23837 fired transitions, 770 secs || 201 markings, 2577468 edges, 0 markings/sec, 770 secs
lola: STP running || 1 tries, 23997 fired transitions, 775 secs || 201 markings, 2601206 edges, 0 markings/sec, 775 secs
lola: STP running || 1 tries, 24152 fired transitions, 780 secs || 201 markings, 2623119 edges, 0 markings/sec, 780 secs
lola: STP running || 1 tries, 24307 fired transitions, 785 secs || 201 markings, 2643269 edges, 0 markings/sec, 785 secs
lola: STP running || 1 tries, 24468 fired transitions, 790 secs || 201 markings, 2662467 edges, 0 markings/sec, 790 secs
lola: STP running || 1 tries, 24630 fired transitions, 795 secs || 201 markings, 2680636 edges, 0 markings/sec, 795 secs
lola: STP running || 1 tries, 24799 fired transitions, 800 secs || 320 markings, 2687905 edges, 24 markings/sec, 800 secs
lola: STP running || 1 tries, 24972 fired transitions, 805 secs || 482 markings, 2690592 edges, 32 markings/sec, 805 secs
lola: STP running || 1 tries, 25145 fired transitions, 810 secs || 642 markings, 2693324 edges, 32 markings/sec, 810 secs
lola: STP running || 1 tries, 25318 fired transitions, 815 secs || 782 markings, 2697703 edges, 28 markings/sec, 815 secs
lola: STP running || 1 tries, 25493 fired transitions, 820 secs || 875 markings, 2706650 edges, 19 markings/sec, 820 secs
lola: STP running || 1 tries, 25659 fired transitions, 825 secs || 987 markings, 2713687 edges, 22 markings/sec, 825 secs
lola: STP running || 1 tries, 25823 fired transitions, 830 secs || 1086 markings, 2721985 edges, 20 markings/sec, 830 secs
lola: STP running || 1 tries, 25991 fired transitions, 835 secs || 1182 markings, 2730507 edges, 19 markings/sec, 835 secs
lola: STP running || 1 tries, 26159 fired transitions, 840 secs || 1288 markings, 2738193 edges, 21 markings/sec, 840 secs
lola: STP running || 1 tries, 26328 fired transitions, 845 secs || 1370 markings, 2748055 edges, 16 markings/sec, 845 secs
lola: STP running || 1 tries, 26499 fired transitions, 850 secs || 1446 markings, 2758375 edges, 15 markings/sec, 850 secs
lola: STP running || 1 tries, 26671 fired transitions, 855 secs || 1518 markings, 2769264 edges, 14 markings/sec, 855 secs
lola: STP running || 1 tries, 26840 fired transitions, 860 secs || 1581 markings, 2780970 edges, 13 markings/sec, 860 secs
lola: STP running || 1 tries, 27007 fired transitions, 865 secs || 1648 markings, 2792170 edges, 13 markings/sec, 865 secs
lola: STP running || 1 tries, 27176 fired transitions, 870 secs || 1707 markings, 2804003 edges, 12 markings/sec, 870 secs
lola: STP running || 1 tries, 27341 fired transitions, 875 secs || 1752 markings, 2817183 edges, 9 markings/sec, 875 secs
lola: STP running || 1 tries, 27505 fired transitions, 880 secs || 1802 markings, 2829740 edges, 10 markings/sec, 880 secs
lola: STP running || 1 tries, 27664 fired transitions, 885 secs || 1858 markings, 2842122 edges, 11 markings/sec, 885 secs
lola: STP running || 1 tries, 27829 fired transitions, 890 secs || 1907 markings, 2855256 edges, 10 markings/sec, 890 secs
lola: STP running || 1 tries, 27989 fired transitions, 895 secs || 1958 markings, 2867645 edges, 10 markings/sec, 895 secs
lola: STP running || 1 tries, 28148 fired transitions, 900 secs || 2004 markings, 2880433 edges, 9 markings/sec, 900 secs
lola: STP running || 1 tries, 28310 fired transitions, 905 secs || 2045 markings, 2893584 edges, 8 markings/sec, 905 secs
lola: STP running || 1 tries, 28479 fired transitions, 910 secs || 2085 markings, 2906842 edges, 8 markings/sec, 910 secs
lola: STP running || 1 tries, 28642 fired transitions, 915 secs || 2125 markings, 2920160 edges, 8 markings/sec, 915 secs
lola: STP running || 1 tries, 28803 fired transitions, 920 secs || 2165 markings, 2933199 edges, 8 markings/sec, 920 secs
lola: STP running || 1 tries, 28971 fired transitions, 925 secs || 2205 markings, 2946473 edges, 8 markings/sec, 925 secs
lola: STP running || 1 tries, 29134 fired transitions, 930 secs || 2241 markings, 2960352 edges, 7 markings/sec, 930 secs
lola: STP running || 1 tries, 29289 fired transitions, 935 secs || 2272 markings, 2974294 edges, 6 markings/sec, 935 secs
lola: STP running || 1 tries, 29448 fired transitions, 940 secs || 2308 markings, 2987867 edges, 7 markings/sec, 940 secs
lola: STP running || 1 tries, 29613 fired transitions, 945 secs || 2339 markings, 3001656 edges, 6 markings/sec, 945 secs
lola: STP running || 1 tries, 29776 fired transitions, 950 secs || 2372 markings, 3015355 edges, 7 markings/sec, 950 secs
lola: STP running || 1 tries, 29946 fired transitions, 955 secs || 2401 markings, 3029384 edges, 6 markings/sec, 955 secs
lola: STP running || 1 tries, 30098 fired transitions, 960 secs || 2433 markings, 3042921 edges, 6 markings/sec, 960 secs
lola: STP running || 1 tries, 30245 fired transitions, 965 secs || 2462 markings, 3056108 edges, 6 markings/sec, 965 secs
lola: STP running || 1 tries, 30381 fired transitions, 970 secs || 2487 markings, 3069043 edges, 5 markings/sec, 970 secs
lola: STP running || 1 tries, 30518 fired transitions, 975 secs || 2511 markings, 3081711 edges, 5 markings/sec, 975 secs
lola: STP running || 1 tries, 30669 fired transitions, 980 secs || 2535 markings, 3094375 edges, 5 markings/sec, 980 secs
lola: STP running || 1 tries, 30811 fired transitions, 985 secs || 2557 markings, 3108245 edges, 4 markings/sec, 985 secs
lola: STP running || 1 tries, 30957 fired transitions, 990 secs || 2583 markings, 3120967 edges, 5 markings/sec, 990 secs
lola: STP running || 1 tries, 31094 fired transitions, 995 secs || 2611 markings, 3133455 edges, 6 markings/sec, 995 secs
lola: STP running || 1 tries, 31247 fired transitions, 1000 secs || 2629 markings, 3147623 edges, 4 markings/sec, 1000 secs
lola: STP running || 1 tries, 31393 fired transitions, 1005 secs || 2650 markings, 3161522 edges, 4 markings/sec, 1005 secs
lola: STP running || 1 tries, 31555 fired transitions, 1010 secs || 2674 markings, 3174368 edges, 5 markings/sec, 1010 secs
lola: STP running || 1 tries, 31714 fired transitions, 1015 secs || 2696 markings, 3188135 edges, 4 markings/sec, 1015 secs
lola: STP running || 1 tries, 31865 fired transitions, 1020 secs || 2720 markings, 3201520 edges, 5 markings/sec, 1020 secs
lola: STP running || 1 tries, 32015 fired transitions, 1025 secs || 2742 markings, 3215723 edges, 4 markings/sec, 1025 secs
lola: STP running || 1 tries, 32146 fired transitions, 1030 secs || 2764 markings, 3230080 edges, 4 markings/sec, 1030 secs
lola: STP running || 1 tries, 32295 fired transitions, 1035 secs || 2790 markings, 3243753 edges, 5 markings/sec, 1035 secs
lola: STP running || 1 tries, 32442 fired transitions, 1040 secs || 2811 markings, 3258072 edges, 4 markings/sec, 1040 secs
lola: STP running || 1 tries, 32593 fired transitions, 1045 secs || 2832 markings, 3272299 edges, 4 markings/sec, 1045 secs
lola: STP running || 1 tries, 32743 fired transitions, 1050 secs || 2854 markings, 3286401 edges, 4 markings/sec, 1050 secs
lola: STP running || 1 tries, 32890 fired transitions, 1055 secs || 2876 markings, 3300101 edges, 4 markings/sec, 1055 secs
lola: STP running || 1 tries, 33040 fired transitions, 1060 secs || 2894 markings, 3314166 edges, 4 markings/sec, 1060 secs
lola: STP running || 1 tries, 33202 fired transitions, 1065 secs || 2913 markings, 3327970 edges, 4 markings/sec, 1065 secs
lola: STP running || 1 tries, 33372 fired transitions, 1070 secs || 2931 markings, 3341702 edges, 4 markings/sec, 1070 secs
lola: STP running || 1 tries, 33513 fired transitions, 1075 secs || 2950 markings, 3355598 edges, 4 markings/sec, 1075 secs
lola: STP running || 1 tries, 33669 fired transitions, 1080 secs || 2970 markings, 3369680 edges, 4 markings/sec, 1080 secs
lola: STP running || 1 tries, 33809 fired transitions, 1085 secs || 2990 markings, 3383998 edges, 4 markings/sec, 1085 secs
lola: STP running || 1 tries, 33960 fired transitions, 1090 secs || 3008 markings, 3398269 edges, 4 markings/sec, 1090 secs
lola: STP running || 1 tries, 34113 fired transitions, 1095 secs || 3025 markings, 3413143 edges, 3 markings/sec, 1095 secs
lola: STP running || 1 tries, 34272 fired transitions, 1100 secs || 3043 markings, 3428711 edges, 4 markings/sec, 1100 secs
lola: STP running || 1 tries, 34423 fired transitions, 1105 secs || 3056 markings, 3444075 edges, 3 markings/sec, 1105 secs
lola: STP running || 1 tries, 34574 fired transitions, 1110 secs || 3072 markings, 3458993 edges, 3 markings/sec, 1110 secs
lola: STP running || 1 tries, 34718 fired transitions, 1115 secs || 3094 markings, 3472446 edges, 4 markings/sec, 1115 secs
lola: STP running || 1 tries, 34869 fired transitions, 1120 secs || 3113 markings, 3486872 edges, 4 markings/sec, 1120 secs
lola: STP running || 1 tries, 35029 fired transitions, 1125 secs || 3130 markings, 3502256 edges, 3 markings/sec, 1125 secs
lola: STP running || 1 tries, 35179 fired transitions, 1130 secs || 3150 markings, 3516478 edges, 4 markings/sec, 1130 secs
lola: STP running || 1 tries, 35324 fired transitions, 1135 secs || 3166 markings, 3530911 edges, 3 markings/sec, 1135 secs
lola: STP running || 1 tries, 35465 fired transitions, 1140 secs || 3184 markings, 3545394 edges, 4 markings/sec, 1140 secs
lola: STP running || 1 tries, 35617 fired transitions, 1145 secs || 3200 markings, 3559991 edges, 3 markings/sec, 1145 secs
lola: STP running || 1 tries, 35768 fired transitions, 1150 secs || 3217 markings, 3574765 edges, 3 markings/sec, 1150 secs
lola: STP running || 1 tries, 35913 fired transitions, 1155 secs || 3228 markings, 3589871 edges, 2 markings/sec, 1155 secs
lola: STP running || 1 tries, 36068 fired transitions, 1160 secs || 3244 markings, 3604753 edges, 3 markings/sec, 1160 secs
lola: STP running || 1 tries, 36218 fired transitions, 1165 secs || 3263 markings, 3619241 edges, 4 markings/sec, 1165 secs
lola: STP running || 1 tries, 36369 fired transitions, 1170 secs || 3278 markings, 3634051 edges, 3 markings/sec, 1170 secs
lola: STP running || 1 tries, 36516 fired transitions, 1175 secs || 3293 markings, 3648878 edges, 3 markings/sec, 1175 secs
lola: STP running || 1 tries, 36668 fired transitions, 1180 secs || 3307 markings, 3663671 edges, 3 markings/sec, 1180 secs
lola: STP running || 1 tries, 36820 fired transitions, 1185 secs || 3321 markings, 3678396 edges, 3 markings/sec, 1185 secs
lola: STP running || 1 tries, 36969 fired transitions, 1190 secs || 3335 markings, 3693114 edges, 3 markings/sec, 1190 secs
lola: STP running || 1 tries, 37116 fired transitions, 1195 secs || 3350 markings, 3707562 edges, 3 markings/sec, 1195 secs
lola: STP running || 1 tries, 37271 fired transitions, 1200 secs || 3363 markings, 3722963 edges, 3 markings/sec, 1200 secs
lola: STP running || 1 tries, 37432 fired transitions, 1205 secs || 3377 markings, 3737909 edges, 3 markings/sec, 1205 secs
lola: STP running || 1 tries, 37587 fired transitions, 1210 secs || 3390 markings, 3753154 edges, 3 markings/sec, 1210 secs
lola: STP running || 1 tries, 37743 fired transitions, 1215 secs || 3406 markings, 3768130 edges, 3 markings/sec, 1215 secs
lola: STP running || 1 tries, 37891 fired transitions, 1220 secs || 3419 markings, 3783135 edges, 3 markings/sec, 1220 secs
lola: STP running || 1 tries, 38042 fired transitions, 1225 secs || 3432 markings, 3797785 edges, 3 markings/sec, 1225 secs
lola: STP running || 1 tries, 38197 fired transitions, 1230 secs || 3447 markings, 3812159 edges, 3 markings/sec, 1230 secs
lola: STP running || 1 tries, 38346 fired transitions, 1235 secs || 3459 markings, 3827360 edges, 2 markings/sec, 1235 secs
lola: STP running || 1 tries, 38492 fired transitions, 1240 secs || 3472 markings, 3842066 edges, 3 markings/sec, 1240 secs
lola: STP running || 1 tries, 38640 fired transitions, 1245 secs || 3486 markings, 3856543 edges, 3 markings/sec, 1245 secs
lola: STP running || 1 tries, 38789 fired transitions, 1250 secs || 3498 markings, 3871437 edges, 2 markings/sec, 1250 secs
lola: STP running || 1 tries, 38938 fired transitions, 1255 secs || 3511 markings, 3886125 edges, 3 markings/sec, 1255 secs
lola: STP running || 1 tries, 39086 fired transitions, 1260 secs || 3523 markings, 3901216 edges, 2 markings/sec, 1260 secs
lola: STP running || 1 tries, 39234 fired transitions, 1265 secs || 3536 markings, 3915825 edges, 3 markings/sec, 1265 secs
lola: STP running || 1 tries, 39382 fired transitions, 1270 secs || 3548 markings, 3930366 edges, 2 markings/sec, 1270 secs
lola: STP running || 1 tries, 39530 fired transitions, 1275 secs || 3562 markings, 3945049 edges, 3 markings/sec, 1275 secs
lola: STP running || 1 tries, 39683 fired transitions, 1280 secs || 3573 markings, 3960286 edges, 2 markings/sec, 1280 secs
lola: STP running || 1 tries, 39835 fired transitions, 1285 secs || 3586 markings, 3975237 edges, 3 markings/sec, 1285 secs
lola: STP running || 1 tries, 39984 fired transitions, 1290 secs || 3598 markings, 3989971 edges, 2 markings/sec, 1290 secs
lola: STP running || 1 tries, 40138 fired transitions, 1295 secs || 3608 markings, 4005061 edges, 2 markings/sec, 1295 secs
lola: STP running || 1 tries, 40286 fired transitions, 1300 secs || 3621 markings, 4020139 edges, 3 markings/sec, 1300 secs
lola: STP running || 1 tries, 40436 fired transitions, 1305 secs || 3633 markings, 4035256 edges, 2 markings/sec, 1305 secs
lola: STP running || 1 tries, 40582 fired transitions, 1310 secs || 3646 markings, 4049791 edges, 3 markings/sec, 1310 secs
lola: STP running || 1 tries, 40734 fired transitions, 1315 secs || 3658 markings, 4064307 edges, 2 markings/sec, 1315 secs
lola: STP running || 1 tries, 40884 fired transitions, 1320 secs || 3667 markings, 4079202 edges, 2 markings/sec, 1320 secs
lola: STP running || 1 tries, 41034 fired transitions, 1325 secs || 3679 markings, 4093464 edges, 2 markings/sec, 1325 secs
lola: STP running || 1 tries, 41191 fired transitions, 1330 secs || 3690 markings, 4107696 edges, 2 markings/sec, 1330 secs
lola: STP running || 1 tries, 41346 fired transitions, 1335 secs || 3701 markings, 4121823 edges, 2 markings/sec, 1335 secs
lola: STP running || 1 tries, 41496 fired transitions, 1340 secs || 3713 markings, 4136254 edges, 2 markings/sec, 1340 secs
lola: STP running || 1 tries, 41654 fired transitions, 1345 secs || 3724 markings, 4151036 edges, 2 markings/sec, 1345 secs
lola: STP running || 1 tries, 41803 fired transitions, 1350 secs || 3735 markings, 4165138 edges, 2 markings/sec, 1350 secs
lola: STP running || 1 tries, 41955 fired transitions, 1355 secs || 3746 markings, 4178874 edges, 2 markings/sec, 1355 secs
lola: STP running || 1 tries, 42113 fired transitions, 1360 secs || 3754 markings, 4192684 edges, 2 markings/sec, 1360 secs
lola: STP running || 1 tries, 42268 fired transitions, 1365 secs || 3764 markings, 4206534 edges, 2 markings/sec, 1365 secs
lola: STP running || 1 tries, 42422 fired transitions, 1370 secs || 3773 markings, 4220844 edges, 2 markings/sec, 1370 secs
lola: STP running || 1 tries, 42567 fired transitions, 1375 secs || 3783 markings, 4235338 edges, 2 markings/sec, 1375 secs
lola: STP running || 1 tries, 42719 fired transitions, 1380 secs || 3793 markings, 4249731 edges, 2 markings/sec, 1380 secs
lola: STP running || 1 tries, 42867 fired transitions, 1385 secs || 3804 markings, 4263918 edges, 2 markings/sec, 1385 secs
lola: STP running || 1 tries, 43016 fired transitions, 1390 secs || 3810 markings, 4279349 edges, 1 markings/sec, 1390 secs
lola: STP running || 1 tries, 43163 fired transitions, 1395 secs || 3820 markings, 4294252 edges, 2 markings/sec, 1395 secs
lola: STP running || 1 tries, 43308 fired transitions, 1400 secs || 3831 markings, 4308819 edges, 2 markings/sec, 1400 secs
lola: STP running || 1 tries, 43458 fired transitions, 1405 secs || 3840 markings, 4323408 edges, 2 markings/sec, 1405 secs
lola: STP running || 1 tries, 43611 fired transitions, 1410 secs || 3850 markings, 4338131 edges, 2 markings/sec, 1410 secs
lola: STP running || 1 tries, 43758 fired transitions, 1415 secs || 3859 markings, 4352750 edges, 2 markings/sec, 1415 secs
lola: STP running || 1 tries, 43904 fired transitions, 1420 secs || 3869 markings, 4367359 edges, 2 markings/sec, 1420 secs
lola: STP running || 1 tries, 44051 fired transitions, 1425 secs || 3879 markings, 4382086 edges, 2 markings/sec, 1425 secs
lola: STP running || 1 tries, 44194 fired transitions, 1430 secs || 3889 markings, 4396930 edges, 2 markings/sec, 1430 secs
lola: STP running || 1 tries, 44349 fired transitions, 1435 secs || 3899 markings, 4411812 edges, 2 markings/sec, 1435 secs
lola: STP running || 1 tries, 44499 fired transitions, 1440 secs || 3907 markings, 4426540 edges, 2 markings/sec, 1440 secs
lola: STP running || 1 tries, 44636 fired transitions, 1445 secs || 3916 markings, 4440340 edges, 2 markings/sec, 1445 secs
lola: STP running || 1 tries, 44772 fired transitions, 1450 secs || 3925 markings, 4453650 edges, 2 markings/sec, 1450 secs
lola: STP running || 1 tries, 44919 fired transitions, 1455 secs || 3935 markings, 4468306 edges, 2 markings/sec, 1455 secs
lola: STP running || 1 tries, 45073 fired transitions, 1460 secs || 3940 markings, 4483584 edges, 1 markings/sec, 1460 secs
lola: STP running || 1 tries, 45227 fired transitions, 1465 secs || 3950 markings, 4498411 edges, 2 markings/sec, 1465 secs
lola: STP running || 1 tries, 45380 fired transitions, 1470 secs || 3960 markings, 4513310 edges, 2 markings/sec, 1470 secs
lola: STP running || 1 tries, 45531 fired transitions, 1475 secs || 3970 markings, 4527919 edges, 2 markings/sec, 1475 secs
lola: STP running || 1 tries, 45681 fired transitions, 1480 secs || 3978 markings, 4542542 edges, 2 markings/sec, 1480 secs
lola: STP running || 1 tries, 45839 fired transitions, 1485 secs || 3987 markings, 4557312 edges, 2 markings/sec, 1485 secs
lola: STP running || 1 tries, 45989 fired transitions, 1490 secs || 3996 markings, 4572513 edges, 2 markings/sec, 1490 secs
lola: STP running || 1 tries, 46143 fired transitions, 1495 secs || 4004 markings, 4588005 edges, 2 markings/sec, 1495 secs
lola: STP running || 1 tries, 46293 fired transitions, 1500 secs || 4013 markings, 4603491 edges, 2 markings/sec, 1500 secs
lola: STP running || 1 tries, 46441 fired transitions, 1505 secs || 4022 markings, 4618618 edges, 2 markings/sec, 1505 secs
lola: STP running || 1 tries, 46592 fired transitions, 1510 secs || 4031 markings, 4633315 edges, 2 markings/sec, 1510 secs
lola: STP running || 1 tries, 46740 fired transitions, 1515 secs || 4037 markings, 4648077 edges, 1 markings/sec, 1515 secs
lola: STP running || 1 tries, 46898 fired transitions, 1520 secs || 4046 markings, 4662515 edges, 2 markings/sec, 1520 secs
lola: STP running || 1 tries, 47040 fired transitions, 1525 secs || 4054 markings, 4677710 edges, 2 markings/sec, 1525 secs
lola: STP running || 1 tries, 47182 fired transitions, 1530 secs || 4063 markings, 4692755 edges, 2 markings/sec, 1530 secs
lola: STP running || 1 tries, 47336 fired transitions, 1535 secs || 4072 markings, 4707475 edges, 2 markings/sec, 1535 secs
lola: STP running || 1 tries, 47486 fired transitions, 1540 secs || 4081 markings, 4722686 edges, 2 markings/sec, 1540 secs
lola: STP running || 1 tries, 47638 fired transitions, 1545 secs || 4088 markings, 4737983 edges, 1 markings/sec, 1545 secs
lola: STP running || 1 tries, 47794 fired transitions, 1550 secs || 4097 markings, 4753165 edges, 2 markings/sec, 1550 secs
lola: STP running || 1 tries, 47946 fired transitions, 1555 secs || 4103 markings, 4768748 edges, 1 markings/sec, 1555 secs
lola: STP running || 1 tries, 48097 fired transitions, 1560 secs || 4111 markings, 4784145 edges, 2 markings/sec, 1560 secs
lola: STP running || 1 tries, 48246 fired transitions, 1565 secs || 4121 markings, 4799373 edges, 2 markings/sec, 1565 secs
lola: STP running || 1 tries, 48400 fired transitions, 1570 secs || 4129 markings, 4815231 edges, 2 markings/sec, 1570 secs
lola: STP running || 1 tries, 48549 fired transitions, 1575 secs || 4136 markings, 4831622 edges, 1 markings/sec, 1575 secs
lola: STP running || 1 tries, 48698 fired transitions, 1580 secs || 4144 markings, 4847295 edges, 2 markings/sec, 1580 secs
lola: STP running || 1 tries, 48849 fired transitions, 1585 secs || 4154 markings, 4862460 edges, 2 markings/sec, 1585 secs
lola: STP running || 1 tries, 49000 fired transitions, 1590 secs || 4162 markings, 4877693 edges, 2 markings/sec, 1590 secs
lola: STP running || 1 tries, 49158 fired transitions, 1595 secs || 4168 markings, 4893389 edges, 1 markings/sec, 1595 secs
lola: STP running || 1 tries, 49305 fired transitions, 1600 secs || 4178 markings, 4908599 edges, 2 markings/sec, 1600 secs
lola: STP running || 1 tries, 49460 fired transitions, 1605 secs || 4186 markings, 4924202 edges, 2 markings/sec, 1605 secs
lola: STP running || 1 tries, 49611 fired transitions, 1610 secs || 4194 markings, 4939747 edges, 2 markings/sec, 1610 secs
lola: STP running || 1 tries, 49768 fired transitions, 1615 secs || 4201 markings, 4955303 edges, 1 markings/sec, 1615 secs
lola: STP running || 1 tries, 49922 fired transitions, 1620 secs || 4209 markings, 4970773 edges, 2 markings/sec, 1620 secs
lola: STP running || 1 tries, 50075 fired transitions, 1625 secs || 4215 markings, 4986586 edges, 1 markings/sec, 1625 secs
lola: STP running || 1 tries, 50220 fired transitions, 1630 secs || 4222 markings, 5002344 edges, 1 markings/sec, 1630 secs
lola: STP running || 1 tries, 50374 fired transitions, 1635 secs || 4229 markings, 5017835 edges, 1 markings/sec, 1635 secs
lola: STP running || 1 tries, 50524 fired transitions, 1640 secs || 4234 markings, 5033663 edges, 1 markings/sec, 1640 secs
lola: STP running || 1 tries, 50672 fired transitions, 1645 secs || 4242 markings, 5049188 edges, 2 markings/sec, 1645 secs
lola: STP running || 1 tries, 50825 fired transitions, 1650 secs || 4251 markings, 5064703 edges, 2 markings/sec, 1650 secs
lola: STP running || 1 tries, 50980 fired transitions, 1655 secs || 4256 markings, 5080767 edges, 1 markings/sec, 1655 secs
lola: STP running || 1 tries, 51131 fired transitions, 1660 secs || 4263 markings, 5096564 edges, 1 markings/sec, 1660 secs
lola: STP running || 1 tries, 51284 fired transitions, 1665 secs || 4270 markings, 5112546 edges, 1 markings/sec, 1665 secs
lola: STP running || 1 tries, 51423 fired transitions, 1670 secs || 4277 markings, 5128394 edges, 1 markings/sec, 1670 secs
lola: STP running || 1 tries, 51575 fired transitions, 1675 secs || 4283 markings, 5144272 edges, 1 markings/sec, 1675 secs
lola: STP running || 1 tries, 51720 fired transitions, 1680 secs || 4290 markings, 5160067 edges, 1 markings/sec, 1680 secs
lola: STP running || 1 tries, 51873 fired transitions, 1685 secs || 4297 markings, 5175973 edges, 1 markings/sec, 1685 secs
lola: STP running || 1 tries, 52021 fired transitions, 1690 secs || 4304 markings, 5191431 edges, 1 markings/sec, 1690 secs
lola: STP running || 1 tries, 52171 fired transitions, 1695 secs || 4310 markings, 5206823 edges, 1 markings/sec, 1695 secs
lola: STP running || 1 tries, 52322 fired transitions, 1700 secs || 4317 markings, 5222161 edges, 1 markings/sec, 1700 secs
lola: STP running || 1 tries, 52475 fired transitions, 1705 secs || 4325 markings, 5237402 edges, 2 markings/sec, 1705 secs
lola: STP running || 1 tries, 52631 fired transitions, 1710 secs || 4331 markings, 5253006 edges, 1 markings/sec, 1710 secs
lola: STP running || 1 tries, 52782 fired transitions, 1715 secs || 4339 markings, 5268274 edges, 2 markings/sec, 1715 secs
lola: STP running || 1 tries, 52932 fired transitions, 1720 secs || 4344 markings, 5283489 edges, 1 markings/sec, 1720 secs
lola: STP running || 1 tries, 53078 fired transitions, 1725 secs || 4353 markings, 5298291 edges, 2 markings/sec, 1725 secs
lola: STP running || 1 tries, 53228 fired transitions, 1730 secs || 4358 markings, 5313884 edges, 1 markings/sec, 1730 secs
lola: STP running || 1 tries, 53377 fired transitions, 1735 secs || 4366 markings, 5328892 edges, 2 markings/sec, 1735 secs
lola: STP running || 1 tries, 53513 fired transitions, 1740 secs || 4372 markings, 5344325 edges, 1 markings/sec, 1740 secs
lola: STP running || 1 tries, 53669 fired transitions, 1745 secs || 4379 markings, 5359664 edges, 1 markings/sec, 1745 secs
lola: STP running || 1 tries, 53822 fired transitions, 1750 secs || 4388 markings, 5374841 edges, 2 markings/sec, 1750 secs
lola: STP running || 1 tries, 53975 fired transitions, 1755 secs || 4393 markings, 5390838 edges, 1 markings/sec, 1755 secs
lola: STP running || 1 tries, 54130 fired transitions, 1760 secs || 4401 markings, 5406252 edges, 2 markings/sec, 1760 secs
lola: STP running || 1 tries, 54283 fired transitions, 1765 secs || 4406 markings, 5421943 edges, 1 markings/sec, 1765 secs
lola: STP running || 1 tries, 54440 fired transitions, 1770 secs || 4413 markings, 5437513 edges, 1 markings/sec, 1770 secs
lola: STP running || 1 tries, 54591 fired transitions, 1775 secs || 4419 markings, 5453274 edges, 1 markings/sec, 1775 secs
lola: STP running || 1 tries, 54743 fired transitions, 1780 secs || 4426 markings, 5468886 edges, 1 markings/sec, 1780 secs
lola: STP running || 1 tries, 54887 fired transitions, 1785 secs || 4430 markings, 5484766 edges, 1 markings/sec, 1785 secs
lola: STP running || 1 tries, 55033 fired transitions, 1790 secs || 4437 markings, 5500224 edges, 1 markings/sec, 1790 secs
lola: STP running || 1 tries, 55182 fired transitions, 1795 secs || 4444 markings, 5515426 edges, 1 markings/sec, 1795 secs
lola: STP running || 1 tries, 55333 fired transitions, 1800 secs || 4448 markings, 5531105 edges, 1 markings/sec, 1800 secs
lola: STP running || 1 tries, 55475 fired transitions, 1805 secs || 4453 markings, 5546708 edges, 1 markings/sec, 1805 secs
lola: STP running || 1 tries, 55633 fired transitions, 1810 secs || 4461 markings, 5561717 edges, 2 markings/sec, 1810 secs
lola: STP running || 1 tries, 55789 fired transitions, 1815 secs || 4466 markings, 5577112 edges, 1 markings/sec, 1815 secs
lola: STP running || 1 tries, 55943 fired transitions, 1820 secs || 4472 markings, 5592556 edges, 1 markings/sec, 1820 secs
lola: STP running || 1 tries, 56095 fired transitions, 1825 secs || 4478 markings, 5607982 edges, 1 markings/sec, 1825 secs
lola: STP running || 1 tries, 56239 fired transitions, 1830 secs || 4484 markings, 5623394 edges, 1 markings/sec, 1830 secs
lola: STP running || 1 tries, 56388 fired transitions, 1835 secs || 4489 markings, 5638812 edges, 1 markings/sec, 1835 secs
lola: STP running || 1 tries, 56536 fired transitions, 1840 secs || 4496 markings, 5653901 edges, 1 markings/sec, 1840 secs
lola: STP running || 1 tries, 56689 fired transitions, 1845 secs || 4499 markings, 5669139 edges, 1 markings/sec, 1845 secs
lola: STP running || 1 tries, 56841 fired transitions, 1850 secs || 4506 markings, 5684007 edges, 1 markings/sec, 1850 secs
lola: STP running || 1 tries, 56989 fired transitions, 1855 secs || 4511 markings, 5699323 edges, 1 markings/sec, 1855 secs
lola: STP running || 1 tries, 57139 fired transitions, 1860 secs || 4517 markings, 5714797 edges, 1 markings/sec, 1860 secs
lola: STP running || 1 tries, 57282 fired transitions, 1865 secs || 4523 markings, 5729903 edges, 1 markings/sec, 1865 secs
lola: STP running || 1 tries, 57429 fired transitions, 1870 secs || 4528 markings, 5745428 edges, 1 markings/sec, 1870 secs
lola: STP running || 1 tries, 57582 fired transitions, 1875 secs || 4534 markings, 5760705 edges, 1 markings/sec, 1875 secs
lola: STP running || 1 tries, 57731 fired transitions, 1880 secs || 4540 markings, 5775830 edges, 1 markings/sec, 1880 secs
lola: STP running || 1 tries, 57879 fired transitions, 1885 secs || 4545 markings, 5791190 edges, 1 markings/sec, 1885 secs
lola: STP running || 1 tries, 58022 fired transitions, 1890 secs || 4552 markings, 5806256 edges, 1 markings/sec, 1890 secs
lola: STP running || 1 tries, 58171 fired transitions, 1895 secs || 4554 markings, 5822106 edges, 0 markings/sec, 1895 secs
lola: STP running || 1 tries, 58315 fired transitions, 1900 secs || 4559 markings, 5837830 edges, 1 markings/sec, 1900 secs
lola: STP running || 1 tries, 58460 fired transitions, 1905 secs || 4564 markings, 5853514 edges, 1 markings/sec, 1905 secs
lola: STP running || 1 tries, 58611 fired transitions, 1910 secs || 4571 markings, 5868896 edges, 1 markings/sec, 1910 secs
lola: STP running || 1 tries, 58762 fired transitions, 1915 secs || 4574 markings, 5884866 edges, 1 markings/sec, 1915 secs
lola: STP running || 1 tries, 58910 fired transitions, 1920 secs || 4581 markings, 5900148 edges, 1 markings/sec, 1920 secs
lola: STP running || 1 tries, 59064 fired transitions, 1925 secs || 4587 markings, 5915590 edges, 1 markings/sec, 1925 secs
lola: STP running || 1 tries, 59217 fired transitions, 1930 secs || 4592 markings, 5930933 edges, 1 markings/sec, 1930 secs
lola: STP running || 1 tries, 59368 fired transitions, 1935 secs || 4596 markings, 5946405 edges, 1 markings/sec, 1935 secs
lola: STP running || 1 tries, 59519 fired transitions, 1940 secs || 4602 markings, 5961751 edges, 1 markings/sec, 1940 secs
lola: STP running || 1 tries, 59675 fired transitions, 1945 secs || 4605 markings, 5977396 edges, 1 markings/sec, 1945 secs
lola: STP running || 1 tries, 59822 fired transitions, 1950 secs || 4612 markings, 5992576 edges, 1 markings/sec, 1950 secs
lola: STP running || 1 tries, 59974 fired transitions, 1955 secs || 4617 markings, 6008167 edges, 1 markings/sec, 1955 secs
lola: STP running || 1 tries, 60124 fired transitions, 1960 secs || 4621 markings, 6023743 edges, 1 markings/sec, 1960 secs
lola: STP running || 1 tries, 60275 fired transitions, 1965 secs || 4627 markings, 6039091 edges, 1 markings/sec, 1965 secs
lola: STP running || 1 tries, 60423 fired transitions, 1970 secs || 4630 markings, 6054836 edges, 1 markings/sec, 1970 secs
lola: STP running || 1 tries, 60585 fired transitions, 1975 secs || 4636 markings, 6069954 edges, 1 markings/sec, 1975 secs
lola: STP running || 1 tries, 60742 fired transitions, 1980 secs || 4641 markings, 6085394 edges, 1 markings/sec, 1980 secs
lola: STP running || 1 tries, 60894 fired transitions, 1985 secs || 4649 markings, 6100582 edges, 2 markings/sec, 1985 secs
lola: STP running || 1 tries, 61053 fired transitions, 1990 secs || 4651 markings, 6116827 edges, 0 markings/sec, 1990 secs
lola: STP running || 1 tries, 61208 fired transitions, 1995 secs || 4657 markings, 6132368 edges, 1 markings/sec, 1995 secs
lola: STP running || 1 tries, 61358 fired transitions, 2000 secs || 4661 markings, 6148148 edges, 1 markings/sec, 2000 secs
lola: STP running || 1 tries, 61512 fired transitions, 2005 secs || 4666 markings, 6163898 edges, 1 markings/sec, 2005 secs
lola: STP running || 1 tries, 61660 fired transitions, 2010 secs || 4671 markings, 6179754 edges, 1 markings/sec, 2010 secs
lola: STP running || 1 tries, 61816 fired transitions, 2015 secs || 4675 markings, 6195900 edges, 1 markings/sec, 2015 secs
lola: STP running || 1 tries, 61973 fired transitions, 2020 secs || 4681 markings, 6211491 edges, 1 markings/sec, 2020 secs
lola: STP running || 1 tries, 62128 fired transitions, 2025 secs || 4687 markings, 6226937 edges, 1 markings/sec, 2025 secs
lola: STP running || 1 tries, 62282 fired transitions, 2030 secs || 4690 markings, 6242639 edges, 1 markings/sec, 2030 secs
lola: STP running || 1 tries, 62434 fired transitions, 2035 secs || 4695 markings, 6258298 edges, 1 markings/sec, 2035 secs
lola: STP running || 1 tries, 62584 fired transitions, 2040 secs || 4697 markings, 6274324 edges, 0 markings/sec, 2040 secs
lola: STP running || 1 tries, 62734 fired transitions, 2045 secs || 4703 markings, 6289455 edges, 1 markings/sec, 2045 secs
lola: STP running || 1 tries, 62888 fired transitions, 2050 secs || 4706 markings, 6305193 edges, 1 markings/sec, 2050 secs
lola: STP running || 1 tries, 63033 fired transitions, 2055 secs || 4709 markings, 6320591 edges, 1 markings/sec, 2055 secs
lola: STP running || 1 tries, 63171 fired transitions, 2060 secs || 4712 markings, 6336234 edges, 1 markings/sec, 2060 secs
lola: STP running || 1 tries, 63312 fired transitions, 2065 secs || 4717 markings, 6351292 edges, 1 markings/sec, 2065 secs
lola: STP running || 1 tries, 63453 fired transitions, 2070 secs || 4722 markings, 6366609 edges, 1 markings/sec, 2070 secs
lola: STP running || 1 tries, 63597 fired transitions, 2075 secs || 4726 markings, 6380826 edges, 1 markings/sec, 2075 secs
lola: STP running || 1 tries, 63745 fired transitions, 2080 secs || 4730 markings, 6395154 edges, 1 markings/sec, 2080 secs
lola: STP running || 1 tries, 63880 fired transitions, 2085 secs || 4733 markings, 6410847 edges, 1 markings/sec, 2085 secs
lola: STP running || 1 tries, 64011 fired transitions, 2090 secs || 4739 markings, 6426636 edges, 1 markings/sec, 2090 secs
lola: STP running || 1 tries, 64166 fired transitions, 2095 secs || 4743 markings, 6443400 edges, 1 markings/sec, 2095 secs
lola: STP running || 1 tries, 64332 fired transitions, 2100 secs || 4747 markings, 6460119 edges, 1 markings/sec, 2100 secs
lola: STP running || 1 tries, 64475 fired transitions, 2105 secs || 4755 markings, 6476186 edges, 2 markings/sec, 2105 secs
lola: STP running || 1 tries, 64630 fired transitions, 2110 secs || 4758 markings, 6492820 edges, 1 markings/sec, 2110 secs
lola: STP running || 1 tries, 64786 fired transitions, 2115 secs || 4762 markings, 6509036 edges, 1 markings/sec, 2115 secs
lola: STP running || 1 tries, 64936 fired transitions, 2120 secs || 4766 markings, 6525459 edges, 1 markings/sec, 2120 secs
lola: STP running || 1 tries, 65086 fired transitions, 2125 secs || 4770 markings, 6542032 edges, 1 markings/sec, 2125 secs
lola: STP running || 1 tries, 65230 fired transitions, 2130 secs || 4775 markings, 6558538 edges, 1 markings/sec, 2130 secs
lola: STP running || 1 tries, 65370 fired transitions, 2135 secs || 4777 markings, 6575720 edges, 0 markings/sec, 2135 secs
lola: STP running || 1 tries, 65521 fired transitions, 2140 secs || 4783 markings, 6592062 edges, 1 markings/sec, 2140 secs
lola: STP running || 1 tries, 65683 fired transitions, 2145 secs || 4787 markings, 6608614 edges, 1 markings/sec, 2145 secs
lola: STP running || 1 tries, 65825 fired transitions, 2150 secs || 4791 markings, 6625806 edges, 1 markings/sec, 2150 secs
lola: STP running || 1 tries, 65968 fired transitions, 2155 secs || 4795 markings, 6643047 edges, 1 markings/sec, 2155 secs
lola: STP running || 1 tries, 66112 fired transitions, 2160 secs || 4799 markings, 6660344 edges, 1 markings/sec, 2160 secs
lola: STP running || 1 tries, 66253 fired transitions, 2165 secs || 4803 markings, 6677394 edges, 1 markings/sec, 2165 secs
lola: STP running || 1 tries, 66400 fired transitions, 2170 secs || 4806 markings, 6694248 edges, 1 markings/sec, 2170 secs
lola: STP running || 1 tries, 66552 fired transitions, 2175 secs || 4812 markings, 6710715 edges, 1 markings/sec, 2175 secs
lola: STP running || 1 tries, 66709 fired transitions, 2180 secs || 4817 markings, 6727253 edges, 1 markings/sec, 2180 secs
lola: STP running || 1 tries, 66862 fired transitions, 2185 secs || 4820 markings, 6744142 edges, 1 markings/sec, 2185 secs
lola: STP running || 1 tries, 67012 fired transitions, 2190 secs || 4823 markings, 6761109 edges, 1 markings/sec, 2190 secs
lola: STP running || 1 tries, 67158 fired transitions, 2195 secs || 4826 markings, 6778263 edges, 1 markings/sec, 2195 secs
lola: STP running || 1 tries, 67308 fired transitions, 2200 secs || 4832 markings, 6794493 edges, 1 markings/sec, 2200 secs
lola: STP running || 1 tries, 67451 fired transitions, 2205 secs || 4835 markings, 6811061 edges, 1 markings/sec, 2205 secs
lola: STP running || 1 tries, 67609 fired transitions, 2210 secs || 4838 markings, 6827522 edges, 1 markings/sec, 2210 secs
lola: STP running || 1 tries, 67760 fired transitions, 2215 secs || 4843 markings, 6843830 edges, 1 markings/sec, 2215 secs
lola: STP running || 1 tries, 67913 fired transitions, 2220 secs || 4848 markings, 6860026 edges, 1 markings/sec, 2220 secs
lola: STP running || 1 tries, 68065 fired transitions, 2225 secs || 4852 markings, 6876336 edges, 1 markings/sec, 2225 secs
lola: STP running || 1 tries, 68210 fired transitions, 2230 secs || 4855 markings, 6892628 edges, 1 markings/sec, 2230 secs
lola: STP running || 1 tries, 68363 fired transitions, 2235 secs || 4859 markings, 6909218 edges, 1 markings/sec, 2235 secs
lola: STP running || 1 tries, 68514 fired transitions, 2240 secs || 4862 markings, 6925995 edges, 1 markings/sec, 2240 secs
lola: STP running || 1 tries, 68660 fired transitions, 2245 secs || 4866 markings, 6942578 edges, 1 markings/sec, 2245 secs
lola: STP running || 1 tries, 68816 fired transitions, 2250 secs || 4870 markings, 6959031 edges, 1 markings/sec, 2250 secs
lola: STP running || 1 tries, 68960 fired transitions, 2255 secs || 4872 markings, 6975999 edges, 0 markings/sec, 2255 secs
lola: STP running || 1 tries, 69110 fired transitions, 2260 secs || 4876 markings, 6992906 edges, 1 markings/sec, 2260 secs
lola: STP running || 1 tries, 69266 fired transitions, 2265 secs || 4880 markings, 7009688 edges, 1 markings/sec, 2265 secs
lola: STP running || 1 tries, 69423 fired transitions, 2270 secs || 4883 markings, 7026679 edges, 1 markings/sec, 2270 secs
lola: STP running || 1 tries, 69572 fired transitions, 2275 secs || 4889 markings, 7043200 edges, 1 markings/sec, 2275 secs
lola: STP running || 1 tries, 69727 fired transitions, 2280 secs || 4890 markings, 7060321 edges, 0 markings/sec, 2280 secs
lola: STP running || 1 tries, 69875 fired transitions, 2285 secs || 4893 markings, 7077129 edges, 1 markings/sec, 2285 secs
lola: STP running || 1 tries, 70025 fired transitions, 2290 secs || 4897 markings, 7093838 edges, 1 markings/sec, 2290 secs
lola: STP running || 1 tries, 70175 fired transitions, 2295 secs || 4900 markings, 7110692 edges, 1 markings/sec, 2295 secs
lola: STP running || 1 tries, 70326 fired transitions, 2300 secs || 4902 markings, 7127668 edges, 0 markings/sec, 2300 secs
lola: STP running || 1 tries, 70482 fired transitions, 2305 secs || 4906 markings, 7143796 edges, 1 markings/sec, 2305 secs
lola: STP running || 1 tries, 70637 fired transitions, 2310 secs || 4909 markings, 7160247 edges, 1 markings/sec, 2310 secs
lola: STP running || 1 tries, 70789 fired transitions, 2315 secs || 4911 markings, 7177189 edges, 0 markings/sec, 2315 secs
lola: STP running || 1 tries, 70942 fired transitions, 2320 secs || 4914 markings, 7193879 edges, 1 markings/sec, 2320 secs
lola: STP running || 1 tries, 71083 fired transitions, 2325 secs || 4917 markings, 7210888 edges, 1 markings/sec, 2325 secs
lola: STP running || 1 tries, 71233 fired transitions, 2330 secs || 4920 markings, 7227630 edges, 1 markings/sec, 2330 secs
lola: STP running || 1 tries, 71383 fired transitions, 2335 secs || 4923 markings, 7244256 edges, 1 markings/sec, 2335 secs
lola: STP running || 1 tries, 71526 fired transitions, 2340 secs || 4925 markings, 7261154 edges, 0 markings/sec, 2340 secs
lola: STP running || 1 tries, 71676 fired transitions, 2345 secs || 4926 markings, 7278501 edges, 0 markings/sec, 2345 secs
lola: STP running || 1 tries, 71828 fired transitions, 2350 secs || 4929 markings, 7295939 edges, 1 markings/sec, 2350 secs
lola: STP running || 1 tries, 71979 fired transitions, 2355 secs || 4931 markings, 7313737 edges, 0 markings/sec, 2355 secs
lola: STP running || 1 tries, 72127 fired transitions, 2360 secs || 4934 markings, 7331373 edges, 1 markings/sec, 2360 secs
lola: STP running || 1 tries, 72283 fired transitions, 2365 secs || 4936 markings, 7349250 edges, 0 markings/sec, 2365 secs
lola: STP running || 1 tries, 72423 fired transitions, 2370 secs || 4937 markings, 7367306 edges, 0 markings/sec, 2370 secs
lola: STP running || 1 tries, 72568 fired transitions, 2375 secs || 4940 markings, 7385140 edges, 1 markings/sec, 2375 secs
lola: STP running || 1 tries, 72720 fired transitions, 2380 secs || 4942 markings, 7403299 edges, 0 markings/sec, 2380 secs
lola: STP running || 1 tries, 72876 fired transitions, 2385 secs || 4944 markings, 7421259 edges, 0 markings/sec, 2385 secs
lola: STP running || 1 tries, 73027 fired transitions, 2390 secs || 4946 markings, 7439393 edges, 0 markings/sec, 2390 secs
lola: STP running || 1 tries, 73175 fired transitions, 2395 secs || 4949 markings, 7457345 edges, 1 markings/sec, 2395 secs
lola: STP running || 1 tries, 73326 fired transitions, 2400 secs || 4952 markings, 7473765 edges, 1 markings/sec, 2400 secs
lola: STP running || 1 tries, 73479 fired transitions, 2405 secs || 4953 markings, 7490262 edges, 0 markings/sec, 2405 secs
lola: STP running || 1 tries, 73624 fired transitions, 2410 secs || 4955 markings, 7506816 edges, 0 markings/sec, 2410 secs
lola: STP running || 1 tries, 73774 fired transitions, 2415 secs || 4957 markings, 7523500 edges, 0 markings/sec, 2415 secs
lola: STP running || 1 tries, 73927 fired transitions, 2420 secs || 4958 markings, 7540863 edges, 0 markings/sec, 2420 secs
lola: STP running || 1 tries, 74070 fired transitions, 2425 secs || 4960 markings, 7558133 edges, 0 markings/sec, 2425 secs
lola: STP running || 1 tries, 74219 fired transitions, 2430 secs || 4961 markings, 7576406 edges, 0 markings/sec, 2430 secs
lola: STP running || 1 tries, 74368 fired transitions, 2435 secs || 4963 markings, 7594593 edges, 0 markings/sec, 2435 secs
lola: STP running || 1 tries, 74534 fired transitions, 2440 secs || 4964 markings, 7612826 edges, 0 markings/sec, 2440 secs
lola: STP running || 1 tries, 74692 fired transitions, 2445 secs || 4965 markings, 7631215 edges, 0 markings/sec, 2445 secs
lola: STP running || 1 tries, 74852 fired transitions, 2450 secs || 4967 markings, 7649449 edges, 0 markings/sec, 2450 secs
lola: STP running || 1 tries, 75010 fired transitions, 2455 secs || 4968 markings, 7668003 edges, 0 markings/sec, 2455 secs
lola: STP running || 1 tries, 75151 fired transitions, 2460 secs || 4969 markings, 7686817 edges, 0 markings/sec, 2460 secs
lola: STP running || 1 tries, 75293 fired transitions, 2465 secs || 4971 markings, 7704968 edges, 0 markings/sec, 2465 secs
lola: STP running || 1 tries, 75444 fired transitions, 2470 secs || 4972 markings, 7723595 edges, 0 markings/sec, 2470 secs
lola: STP running || 1 tries, 75591 fired transitions, 2475 secs || 4973 markings, 7742182 edges, 0 markings/sec, 2475 secs
lola: STP running || 1 tries, 75743 fired transitions, 2480 secs || 4974 markings, 7760965 edges, 0 markings/sec, 2480 secs
lola: STP running || 1 tries, 75891 fired transitions, 2485 secs || 4975 markings, 7779358 edges, 0 markings/sec, 2485 secs
lola: STP running || 1 tries, 76037 fired transitions, 2490 secs || 4976 markings, 7798155 edges, 0 markings/sec, 2490 secs
lola: STP running || 1 tries, 76187 fired transitions, 2495 secs || 4978 markings, 7816701 edges, 0 markings/sec, 2495 secs
lola: STP running || 1 tries, 76333 fired transitions, 2500 secs || 4979 markings, 7835290 edges, 0 markings/sec, 2500 secs
lola: STP running || 1 tries, 76484 fired transitions, 2505 secs || 4980 markings, 7854102 edges, 0 markings/sec, 2505 secs
lola: STP running || 1 tries, 76625 fired transitions, 2510 secs || 4981 markings, 7872341 edges, 0 markings/sec, 2510 secs
lola: STP running || 1 tries, 76769 fired transitions, 2515 secs || 4982 markings, 7890455 edges, 0 markings/sec, 2515 secs
lola: STP running || 1 tries, 76905 fired transitions, 2520 secs || 4983 markings, 7908639 edges, 0 markings/sec, 2520 secs
lola: STP running || 1 tries, 77041 fired transitions, 2525 secs || 4984 markings, 7926855 edges, 0 markings/sec, 2525 secs
lola: STP running || 1 tries, 77180 fired transitions, 2530 secs || 4985 markings, 7945120 edges, 0 markings/sec, 2530 secs
lola: STP running || 1 tries, 77320 fired transitions, 2535 secs || 4986 markings, 7963456 edges, 0 markings/sec, 2535 secs
lola: STP running || 1 tries, 77467 fired transitions, 2540 secs || 4987 markings, 7982300 edges, 0 markings/sec, 2540 secs
lola: STP running || 1 tries, 77615 fired transitions, 2545 secs || 4988 markings, 8001550 edges, 0 markings/sec, 2545 secs
lola: STP running || 1 tries, 77746 fired transitions, 2550 secs || 5007 markings, 8012874 edges, 4 markings/sec, 2550 secs
lola: STP running || 1 tries, 77890 fired transitions, 2555 secs || 5023 markings, 8026826 edges, 3 markings/sec, 2555 secs
lola: STP running || 1 tries, 78036 fired transitions, 2560 secs || 5023 markings, 8045054 edges, 0 markings/sec, 2560 secs
lola: STP running || 1 tries, 78175 fired transitions, 2565 secs || 5024 markings, 8062361 edges, 0 markings/sec, 2565 secs
lola: STP running || 1 tries, 78307 fired transitions, 2570 secs || 5024 markings, 8078956 edges, 0 markings/sec, 2570 secs
lola: STP running || 1 tries, 78462 fired transitions, 2575 secs || 5024 markings, 8096416 edges, 0 markings/sec, 2575 secs
lola: STP running || 1 tries, 78606 fired transitions, 2580 secs || 5028 markings, 8112716 edges, 1 markings/sec, 2580 secs
lola: STP running || 1 tries, 78747 fired transitions, 2585 secs || 5030 markings, 8129668 edges, 0 markings/sec, 2585 secs
lola: STP running || 1 tries, 78885 fired transitions, 2590 secs || 5031 markings, 8146975 edges, 0 markings/sec, 2590 secs
lola: STP running || 1 tries, 79015 fired transitions, 2595 secs || 5033 markings, 8164471 edges, 0 markings/sec, 2595 secs
lola: STP running || 1 tries, 79146 fired transitions, 2600 secs || 5034 markings, 8182280 edges, 0 markings/sec, 2600 secs
lola: STP running || 1 tries, 79281 fired transitions, 2605 secs || 5035 markings, 8198612 edges, 0 markings/sec, 2605 secs
lola: STP running || 1 tries, 79412 fired transitions, 2610 secs || 5037 markings, 8214151 edges, 0 markings/sec, 2610 secs
lola: STP running || 1 tries, 79565 fired transitions, 2615 secs || 5044 markings, 8230516 edges, 1 markings/sec, 2615 secs
lola: STP running || 1 tries, 79697 fired transitions, 2620 secs || 5046 markings, 8248003 edges, 0 markings/sec, 2620 secs
lola: STP running || 1 tries, 79836 fired transitions, 2625 secs || 5047 markings, 8266105 edges, 0 markings/sec, 2625 secs
lola: STP running || 1 tries, 79971 fired transitions, 2630 secs || 5049 markings, 8283998 edges, 0 markings/sec, 2630 secs
lola: STP running || 1 tries, 80115 fired transitions, 2635 secs || 5050 markings, 8301391 edges, 0 markings/sec, 2635 secs
lola: STP running || 1 tries, 80274 fired transitions, 2640 secs || 5051 markings, 8318378 edges, 0 markings/sec, 2640 secs
lola: STP running || 1 tries, 80423 fired transitions, 2645 secs || 5053 markings, 8335368 edges, 0 markings/sec, 2645 secs
lola: STP running || 1 tries, 80574 fired transitions, 2650 secs || 5054 markings, 8353187 edges, 0 markings/sec, 2650 secs
lola: STP running || 1 tries, 80733 fired transitions, 2655 secs || 5055 markings, 8370774 edges, 0 markings/sec, 2655 secs
lola: STP running || 1 tries, 80882 fired transitions, 2660 secs || 5057 markings, 8388523 edges, 0 markings/sec, 2660 secs
lola: STP running || 1 tries, 81037 fired transitions, 2665 secs || 5058 markings, 8406721 edges, 0 markings/sec, 2665 secs
lola: STP running || 1 tries, 81201 fired transitions, 2670 secs || 5059 markings, 8425113 edges, 0 markings/sec, 2670 secs
lola: STP running || 1 tries, 81368 fired transitions, 2675 secs || 5060 markings, 8443837 edges, 0 markings/sec, 2675 secs
lola: STP running || 1 tries, 81536 fired transitions, 2680 secs || 5061 markings, 8462607 edges, 0 markings/sec, 2680 secs
lola: STP running || 1 tries, 81690 fired transitions, 2685 secs || 5063 markings, 8481244 edges, 0 markings/sec, 2685 secs
lola: STP running || 1 tries, 81852 fired transitions, 2690 secs || 5064 markings, 8500484 edges, 0 markings/sec, 2690 secs
lola: STP running || 1 tries, 82014 fired transitions, 2695 secs || 5065 markings, 8519496 edges, 0 markings/sec, 2695 secs
lola: STP running || 1 tries, 82170 fired transitions, 2700 secs || 5066 markings, 8538474 edges, 0 markings/sec, 2700 secs
lola: STP running || 1 tries, 82332 fired transitions, 2705 secs || 5067 markings, 8557776 edges, 0 markings/sec, 2705 secs
lola: STP running || 1 tries, 82494 fired transitions, 2710 secs || 5068 markings, 8576887 edges, 0 markings/sec, 2710 secs
lola: STP running || 1 tries, 82659 fired transitions, 2715 secs || 5081 markings, 8592574 edges, 3 markings/sec, 2715 secs
lola: STP running || 1 tries, 82823 fired transitions, 2720 secs || 5098 markings, 8607435 edges, 3 markings/sec, 2720 secs
lola: STP running || 1 tries, 82991 fired transitions, 2725 secs || 5098 markings, 8624864 edges, 0 markings/sec, 2725 secs
lola: STP running || 1 tries, 83151 fired transitions, 2730 secs || 5098 markings, 8642381 edges, 0 markings/sec, 2730 secs
lola: STP running || 1 tries, 83306 fired transitions, 2735 secs || 5098 markings, 8659919 edges, 0 markings/sec, 2735 secs
lola: STP running || 1 tries, 83448 fired transitions, 2740 secs || 5098 markings, 8677613 edges, 0 markings/sec, 2740 secs
lola: STP running || 1 tries, 83615 fired transitions, 2745 secs || 5099 markings, 8695122 edges, 0 markings/sec, 2745 secs
lola: STP running || 1 tries, 83771 fired transitions, 2750 secs || 5100 markings, 8712546 edges, 0 markings/sec, 2750 secs
lola: STP running || 1 tries, 83923 fired transitions, 2755 secs || 5101 markings, 8729873 edges, 0 markings/sec, 2755 secs
lola: STP running || 1 tries, 84085 fired transitions, 2760 secs || 5102 markings, 8747459 edges, 0 markings/sec, 2760 secs
lola: STP running || 1 tries, 84250 fired transitions, 2765 secs || 5103 markings, 8765200 edges, 0 markings/sec, 2765 secs
lola: STP running || 1 tries, 84420 fired transitions, 2770 secs || 5103 markings, 8783662 edges, 0 markings/sec, 2770 secs
lola: STP running || 1 tries, 84589 fired transitions, 2775 secs || 5103 markings, 8802038 edges, 0 markings/sec, 2775 secs
lola: STP running || 1 tries, 84749 fired transitions, 2780 secs || 5104 markings, 8820355 edges, 0 markings/sec, 2780 secs
lola: STP running || 1 tries, 84916 fired transitions, 2785 secs || 5108 markings, 8837868 edges, 1 markings/sec, 2785 secs
lola: STP running || 1 tries, 85075 fired transitions, 2790 secs || 5108 markings, 8856399 edges, 0 markings/sec, 2790 secs
lola: STP running || 1 tries, 85236 fired transitions, 2795 secs || 5110 markings, 8874508 edges, 0 markings/sec, 2795 secs
lola: STP running || 1 tries, 85399 fired transitions, 2800 secs || 5111 markings, 8892833 edges, 0 markings/sec, 2800 secs
lola: STP running || 1 tries, 85554 fired transitions, 2805 secs || 5112 markings, 8911205 edges, 0 markings/sec, 2805 secs
lola: STP running || 1 tries, 85719 fired transitions, 2810 secs || 5113 markings, 8929542 edges, 0 markings/sec, 2810 secs
lola: STP running || 1 tries, 85879 fired transitions, 2815 secs || 5115 markings, 8947560 edges, 0 markings/sec, 2815 secs
lola: STP running || 1 tries, 86039 fired transitions, 2820 secs || 5117 markings, 8965718 edges, 0 markings/sec, 2820 secs
lola: STP running || 1 tries, 86197 fired transitions, 2825 secs || 5118 markings, 8984175 edges, 0 markings/sec, 2825 secs
lola: STP running || 1 tries, 86348 fired transitions, 2830 secs || 5119 markings, 9002778 edges, 0 markings/sec, 2830 secs
lola: STP running || 1 tries, 86515 fired transitions, 2835 secs || 5120 markings, 9021721 edges, 0 markings/sec, 2835 secs
lola: STP running || 1 tries, 86678 fired transitions, 2840 secs || 5122 markings, 9040347 edges, 0 markings/sec, 2840 secs
lola: STP running || 1 tries, 86840 fired transitions, 2845 secs || 5123 markings, 9059356 edges, 0 markings/sec, 2845 secs
lola: STP running || 1 tries, 87001 fired transitions, 2850 secs || 5124 markings, 9078482 edges, 0 markings/sec, 2850 secs
lola: STP running || 1 tries, 87162 fired transitions, 2855 secs || 5125 markings, 9097498 edges, 0 markings/sec, 2855 secs
lola: STP running || 1 tries, 87316 fired transitions, 2860 secs || 5126 markings, 9116548 edges, 0 markings/sec, 2860 secs
lola: STP running || 1 tries, 87478 fired transitions, 2865 secs || 5127 markings, 9135487 edges, 0 markings/sec, 2865 secs
lola: STP running || 1 tries, 87643 fired transitions, 2870 secs || 5128 markings, 9154499 edges, 0 markings/sec, 2870 secs
lola: STP running || 1 tries, 87799 fired transitions, 2875 secs || 5130 markings, 9173239 edges, 0 markings/sec, 2875 secs
lola: STP running || 1 tries, 87954 fired transitions, 2880 secs || 5131 markings, 9192233 edges, 0 markings/sec, 2880 secs
lola: STP running || 1 tries, 88114 fired transitions, 2885 secs || 5132 markings, 9210851 edges, 0 markings/sec, 2885 secs
lola: STP running || 1 tries, 88267 fired transitions, 2890 secs || 5133 markings, 9229230 edges, 0 markings/sec, 2890 secs
lola: STP running || 1 tries, 88409 fired transitions, 2895 secs || 5134 markings, 9247891 edges, 0 markings/sec, 2895 secs
lola: STP running || 1 tries, 88566 fired transitions, 2900 secs || 5137 markings, 9265757 edges, 1 markings/sec, 2900 secs
lola: STP running || 1 tries, 88717 fired transitions, 2905 secs || 5160 markings, 9278111 edges, 5 markings/sec, 2905 secs
lola: STP running || 1 tries, 88865 fired transitions, 2910 secs || 5161 markings, 9295671 edges, 0 markings/sec, 2910 secs
lola: STP running || 1 tries, 89019 fired transitions, 2915 secs || 5162 markings, 9313278 edges, 0 markings/sec, 2915 secs
lola: STP running || 1 tries, 89173 fired transitions, 2920 secs || 5163 markings, 9330988 edges, 0 markings/sec, 2920 secs
lola: STP running || 1 tries, 89321 fired transitions, 2925 secs || 5165 markings, 9348520 edges, 0 markings/sec, 2925 secs
lola: STP running || 1 tries, 89475 fired transitions, 2930 secs || 5166 markings, 9366347 edges, 0 markings/sec, 2930 secs
lola: STP running || 1 tries, 89632 fired transitions, 2935 secs || 5167 markings, 9383994 edges, 0 markings/sec, 2935 secs
lola: STP running || 1 tries, 89788 fired transitions, 2940 secs || 5168 markings, 9401857 edges, 0 markings/sec, 2940 secs
lola: STP running || 1 tries, 89946 fired transitions, 2945 secs || 5169 markings, 9419789 edges, 0 markings/sec, 2945 secs
lola: STP running || 1 tries, 90095 fired transitions, 2950 secs || 5171 markings, 9437455 edges, 0 markings/sec, 2950 secs
lola: STP running || 1 tries, 90251 fired transitions, 2955 secs || 5173 markings, 9455675 edges, 0 markings/sec, 2955 secs
lola: STP running || 1 tries, 90400 fired transitions, 2960 secs || 5174 markings, 9473867 edges, 0 markings/sec, 2960 secs
lola: STP running || 1 tries, 90567 fired transitions, 2965 secs || 5175 markings, 9492489 edges, 0 markings/sec, 2965 secs
lola: STP running || 1 tries, 90737 fired transitions, 2970 secs || 5176 markings, 9511549 edges, 0 markings/sec, 2970 secs
lola: STP running || 1 tries, 90905 fired transitions, 2975 secs || 5177 markings, 9530606 edges, 0 markings/sec, 2975 secs
lola: STP running || 1 tries, 91071 fired transitions, 2980 secs || 5178 markings, 9549705 edges, 0 markings/sec, 2980 secs
lola: STP running || 1 tries, 91237 fired transitions, 2985 secs || 5179 markings, 9568893 edges, 0 markings/sec, 2985 secs
lola: STP running || 1 tries, 91396 fired transitions, 2990 secs || 5180 markings, 9588213 edges, 0 markings/sec, 2990 secs
lola: STP running || 1 tries, 91565 fired transitions, 2995 secs || 5182 markings, 9607292 edges, 0 markings/sec, 2995 secs
lola: STP running || 1 tries, 91734 fired transitions, 3000 secs || 5183 markings, 9626722 edges, 0 markings/sec, 3000 secs
lola: STP running || 1 tries, 91896 fired transitions, 3005 secs || 5185 markings, 9645745 edges, 0 markings/sec, 3005 secs
lola: STP running || 1 tries, 92058 fired transitions, 3010 secs || 5186 markings, 9664731 edges, 0 markings/sec, 3010 secs
lola: STP running || 1 tries, 92228 fired transitions, 3015 secs || 5187 markings, 9684026 edges, 0 markings/sec, 3015 secs
lola: STP running || 1 tries, 92398 fired transitions, 3020 secs || 5188 markings, 9703539 edges, 0 markings/sec, 3020 secs
lola: STP running || 1 tries, 92551 fired transitions, 3025 secs || 5190 markings, 9722786 edges, 0 markings/sec, 3025 secs
lola: STP running || 1 tries, 92710 fired transitions, 3030 secs || 5191 markings, 9742138 edges, 0 markings/sec, 3030 secs
lola: STP running || 1 tries, 92877 fired transitions, 3035 secs || 5192 markings, 9761538 edges, 0 markings/sec, 3035 secs
lola: STP running || 1 tries, 93038 fired transitions, 3040 secs || 5193 markings, 9781088 edges, 0 markings/sec, 3040 secs
lola: STP running || 1 tries, 93203 fired transitions, 3045 secs || 5196 markings, 9799978 edges, 1 markings/sec, 3045 secs
lola: STP running || 1 tries, 93368 fired transitions, 3050 secs || 5197 markings, 9819493 edges, 0 markings/sec, 3050 secs
lola: STP running || 1 tries, 93527 fired transitions, 3055 secs || 5198 markings, 9839150 edges, 0 markings/sec, 3055 secs
lola: STP running || 1 tries, 93697 fired transitions, 3060 secs || 5199 markings, 9858799 edges, 0 markings/sec, 3060 secs
lola: STP running || 1 tries, 93859 fired transitions, 3065 secs || 5200 markings, 9878195 edges, 0 markings/sec, 3065 secs
lola: STP running || 1 tries, 94024 fired transitions, 3070 secs || 5201 markings, 9897592 edges, 0 markings/sec, 3070 secs
lola: STP running || 1 tries, 94187 fired transitions, 3075 secs || 5202 markings, 9917162 edges, 0 markings/sec, 3075 secs
lola: STP running || 1 tries, 94350 fired transitions, 3080 secs || 5203 markings, 9936805 edges, 0 markings/sec, 3080 secs
lola: STP running || 1 tries, 94515 fired transitions, 3085 secs || 5204 markings, 9956531 edges, 0 markings/sec, 3085 secs
lola: STP running || 1 tries, 94679 fired transitions, 3090 secs || 5205 markings, 9976101 edges, 0 markings/sec, 3090 secs
lola: STP running || 1 tries, 94847 fired transitions, 3095 secs || 5206 markings, 9995774 edges, 0 markings/sec, 3095 secs
lola: STP running || 1 tries, 95015 fired transitions, 3100 secs || 5207 markings, 10015499 edges, 0 markings/sec, 3100 secs
lola: STP running || 1 tries, 95183 fired transitions, 3105 secs || 5208 markings, 10035341 edges, 0 markings/sec, 3105 secs
lola: STP running || 1 tries, 95344 fired transitions, 3110 secs || 5209 markings, 10055236 edges, 0 markings/sec, 3110 secs
lola: STP running || 1 tries, 95514 fired transitions, 3115 secs || 5209 markings, 10075521 edges, 0 markings/sec, 3115 secs
lola: STP running || 1 tries, 95677 fired transitions, 3120 secs || 5210 markings, 10095478 edges, 0 markings/sec, 3120 secs
lola: STP running || 1 tries, 95834 fired transitions, 3125 secs || 5211 markings, 10115632 edges, 0 markings/sec, 3125 secs
lola: STP running || 1 tries, 95980 fired transitions, 3130 secs || 5212 markings, 10136292 edges, 0 markings/sec, 3130 secs
lola: STP running || 1 tries, 96144 fired transitions, 3135 secs || 5213 markings, 10156447 edges, 0 markings/sec, 3135 secs
lola: STP running || 1 tries, 96312 fired transitions, 3140 secs || 5214 markings, 10176804 edges, 0 markings/sec, 3140 secs
lola: STP running || 1 tries, 96473 fired transitions, 3145 secs || 5215 markings, 10196926 edges, 0 markings/sec, 3145 secs
lola: STP running || 1 tries, 96634 fired transitions, 3150 secs || 5215 markings, 10217571 edges, 0 markings/sec, 3150 secs
lola: STP running || 1 tries, 96795 fired transitions, 3155 secs || 5216 markings, 10237907 edges, 0 markings/sec, 3155 secs
lola: STP running || 1 tries, 96969 fired transitions, 3160 secs || 5217 markings, 10258290 edges, 0 markings/sec, 3160 secs
lola: STP running || 1 tries, 97134 fired transitions, 3165 secs || 5218 markings, 10278667 edges, 0 markings/sec, 3165 secs
lola: STP running || 1 tries, 97296 fired transitions, 3170 secs || 5219 markings, 10298984 edges, 0 markings/sec, 3170 secs
lola: STP running || 1 tries, 97457 fired transitions, 3175 secs || 5219 markings, 10319715 edges, 0 markings/sec, 3175 secs
lola: STP running || 1 tries, 97627 fired transitions, 3180 secs || 5220 markings, 10340325 edges, 0 markings/sec, 3180 secs
lola: STP running || 1 tries, 97796 fired transitions, 3185 secs || 5221 markings, 10360958 edges, 0 markings/sec, 3185 secs
lola: STP running || 1 tries, 97954 fired transitions, 3190 secs || 5222 markings, 10381728 edges, 0 markings/sec, 3190 secs
lola: STP running || 1 tries, 98115 fired transitions, 3195 secs || 5230 markings, 10400093 edges, 2 markings/sec, 3195 secs
lola: STP running || 1 tries, 98285 fired transitions, 3200 secs || 5260 markings, 10410180 edges, 6 markings/sec, 3200 secs
lola: STP running || 1 tries, 98452 fired transitions, 3205 secs || 5271 markings, 10426275 edges, 2 markings/sec, 3205 secs
lola: STP running || 1 tries, 98620 fired transitions, 3210 secs || 5276 markings, 10443723 edges, 1 markings/sec, 3210 secs
lola: STP running || 1 tries, 98783 fired transitions, 3215 secs || 5276 markings, 10462224 edges, 0 markings/sec, 3215 secs
lola: STP running || 1 tries, 98949 fired transitions, 3220 secs || 5276 markings, 10480830 edges, 0 markings/sec, 3220 secs
lola: STP running || 1 tries, 99110 fired transitions, 3225 secs || 5277 markings, 10499176 edges, 0 markings/sec, 3225 secs
lola: STP running || 1 tries, 99268 fired transitions, 3230 secs || 5279 markings, 10516992 edges, 0 markings/sec, 3230 secs
lola: STP running || 1 tries, 99429 fired transitions, 3235 secs || 5280 markings, 10535573 edges, 0 markings/sec, 3235 secs
lola: STP running || 1 tries, 99592 fired transitions, 3240 secs || 5281 markings, 10553817 edges, 0 markings/sec, 3240 secs
lola: STP running || 1 tries, 99756 fired transitions, 3245 secs || 5282 markings, 10572248 edges, 0 markings/sec, 3245 secs
lola: STP running || 1 tries, 99919 fired transitions, 3250 secs || 5284 markings, 10590672 edges, 0 markings/sec, 3250 secs
lola: STP running || 1 tries, 100074 fired transitions, 3255 secs || 5292 markings, 10607218 edges, 2 markings/sec, 3255 secs
lola: STP running || 1 tries, 100231 fired transitions, 3260 secs || 5294 markings, 10625457 edges, 0 markings/sec, 3260 secs
lola: STP running || 1 tries, 100394 fired transitions, 3265 secs || 5296 markings, 10643686 edges, 0 markings/sec, 3265 secs
lola: STP running || 1 tries, 100568 fired transitions, 3270 secs || 5297 markings, 10662031 edges, 0 markings/sec, 3270 secs
lola: STP running || 1 tries, 100735 fired transitions, 3275 secs || 5298 markings, 10680431 edges, 0 markings/sec, 3275 secs
lola: STP running || 1 tries, 100901 fired transitions, 3280 secs || 5300 markings, 10698511 edges, 0 markings/sec, 3280 secs
lola: STP running || 1 tries, 101061 fired transitions, 3285 secs || 5301 markings, 10717279 edges, 0 markings/sec, 3285 secs
lola: STP running || 1 tries, 101224 fired transitions, 3290 secs || 5302 markings, 10736069 edges, 0 markings/sec, 3290 secs
lola: STP running || 1 tries, 101382 fired transitions, 3295 secs || 5303 markings, 10754623 edges, 0 markings/sec, 3295 secs
lola: STP running || 1 tries, 101546 fired transitions, 3300 secs || 5304 markings, 10773296 edges, 0 markings/sec, 3300 secs
lola: STP running || 1 tries, 101710 fired transitions, 3305 secs || 5306 markings, 10791773 edges, 0 markings/sec, 3305 secs
lola: STP running || 1 tries, 101869 fired transitions, 3310 secs || 5308 markings, 10810391 edges, 0 markings/sec, 3310 secs
lola: STP running || 1 tries, 102032 fired transitions, 3315 secs || 5309 markings, 10829460 edges, 0 markings/sec, 3315 secs
lola: STP running || 1 tries, 102199 fired transitions, 3320 secs || 5310 markings, 10848531 edges, 0 markings/sec, 3320 secs
lola: STP running || 1 tries, 102368 fired transitions, 3325 secs || 5312 markings, 10867357 edges, 0 markings/sec, 3325 secs
lola: STP running || 1 tries, 102534 fired transitions, 3330 secs || 5313 markings, 10886507 edges, 0 markings/sec, 3330 secs
lola: STP running || 1 tries, 102699 fired transitions, 3335 secs || 5314 markings, 10905833 edges, 0 markings/sec, 3335 secs
lola: STP running || 1 tries, 102858 fired transitions, 3340 secs || 5315 markings, 10925127 edges, 0 markings/sec, 3340 secs
lola: STP running || 1 tries, 103024 fired transitions, 3345 secs || 5316 markings, 10944516 edges, 0 markings/sec, 3345 secs
lola: STP running || 1 tries, 103177 fired transitions, 3350 secs || 5317 markings, 10964005 edges, 0 markings/sec, 3350 secs
lola: STP running || 1 tries, 103337 fired transitions, 3355 secs || 5318 markings, 10983563 edges, 0 markings/sec, 3355 secs
lola: STP running || 1 tries, 103505 fired transitions, 3360 secs || 5319 markings, 11003221 edges, 0 markings/sec, 3360 secs
lola: STP running || 1 tries, 103670 fired transitions, 3365 secs || 5321 markings, 11022537 edges, 0 markings/sec, 3365 secs
lola: STP running || 1 tries, 103835 fired transitions, 3370 secs || 5322 markings, 11041473 edges, 0 markings/sec, 3370 secs
lola: STP running || 1 tries, 103997 fired transitions, 3375 secs || 5323 markings, 11060483 edges, 0 markings/sec, 3375 secs
lola: STP running || 1 tries, 104152 fired transitions, 3380 secs || 5324 markings, 11079360 edges, 0 markings/sec, 3380 secs
lola: STP running || 1 tries, 104319 fired transitions, 3385 secs || 5325 markings, 11099109 edges, 0 markings/sec, 3385 secs
lola: STP running || 1 tries, 104486 fired transitions, 3390 secs || 5326 markings, 11118651 edges, 0 markings/sec, 3390 secs
lola: STP running || 1 tries, 104655 fired transitions, 3395 secs || 5327 markings, 11138362 edges, 0 markings/sec, 3395 secs
lola: STP running || 1 tries, 104825 fired transitions, 3400 secs || 5328 markings, 11158163 edges, 0 markings/sec, 3400 secs
lola: STP running || 1 tries, 104992 fired transitions, 3405 secs || 5329 markings, 11177752 edges, 0 markings/sec, 3405 secs
lola: STP running || 1 tries, 105153 fired transitions, 3410 secs || 5330 markings, 11197334 edges, 0 markings/sec, 3410 secs
lola: STP running || 1 tries, 105319 fired transitions, 3415 secs || 5331 markings, 11217304 edges, 0 markings/sec, 3415 secs
lola: STP running || 1 tries, 105479 fired transitions, 3420 secs || 5337 markings, 11235319 edges, 1 markings/sec, 3420 secs
lola: STP running || 1 tries, 105646 fired transitions, 3425 secs || 5338 markings, 11254904 edges, 0 markings/sec, 3425 secs
lola: STP running || 1 tries, 105810 fired transitions, 3430 secs || 5339 markings, 11274653 edges, 0 markings/sec, 3430 secs
lola: STP running || 1 tries, 105970 fired transitions, 3435 secs || 5340 markings, 11294419 edges, 0 markings/sec, 3435 secs
lola: STP running || 1 tries, 106132 fired transitions, 3440 secs || 5341 markings, 11314124 edges, 0 markings/sec, 3440 secs
lola: STP running || 1 tries, 106291 fired transitions, 3445 secs || 5342 markings, 11333779 edges, 0 markings/sec, 3445 secs
lola: STP running || 1 tries, 106451 fired transitions, 3450 secs || 5343 markings, 11353772 edges, 0 markings/sec, 3450 secs
lola: STP running || 1 tries, 106615 fired transitions, 3455 secs || 5344 markings, 11373403 edges, 0 markings/sec, 3455 secs
lola: STP running || 1 tries, 106777 fired transitions, 3460 secs || 5345 markings, 11393398 edges, 0 markings/sec, 3460 secs
lola: STP running || 1 tries, 106937 fired transitions, 3465 secs || 5346 markings, 11413452 edges, 0 markings/sec, 3465 secs
lola: STP running || 1 tries, 107102 fired transitions, 3470 secs || 5348 markings, 11432807 edges, 0 markings/sec, 3470 secs
lola: STP running || 1 tries, 107271 fired transitions, 3475 secs || 5351 markings, 11452068 edges, 1 markings/sec, 3475 secs
lola: STP running || 1 tries, 107434 fired transitions, 3480 secs || 5356 markings, 11470454 edges, 1 markings/sec, 3480 secs
lola: STP running || 1 tries, 107603 fired transitions, 3485 secs || 5380 markings, 11483184 edges, 5 markings/sec, 3485 secs
lola: STP running || 1 tries, 107771 fired transitions, 3490 secs || 5380 markings, 11502319 edges, 0 markings/sec, 3490 secs
lola: STP running || 1 tries, 107932 fired transitions, 3495 secs || 5383 markings, 11520699 edges, 1 markings/sec, 3495 secs
lola: STP running || 1 tries, 108099 fired transitions, 3500 secs || 5385 markings, 11539189 edges, 0 markings/sec, 3500 secs
lola: STP running || 1 tries, 108259 fired transitions, 3505 secs || 5386 markings, 11557852 edges, 0 markings/sec, 3505 secs
lola: STP running || 1 tries, 108426 fired transitions, 3510 secs || 5387 markings, 11576479 edges, 0 markings/sec, 3510 secs
lola: STP running || 1 tries, 108595 fired transitions, 3515 secs || 5388 markings, 11595212 edges, 0 markings/sec, 3515 secs
lola: STP running || 1 tries, 108754 fired transitions, 3520 secs || 5389 markings, 11613983 edges, 0 markings/sec, 3520 secs
lola: STP running || 1 tries, 108916 fired transitions, 3525 secs || 5391 markings, 11632853 edges, 0 markings/sec, 3525 secs
lola: STP running || 1 tries, 109088 fired transitions, 3530 secs || 5392 markings, 11651890 edges, 0 markings/sec, 3530 secs
lola: STP running || 1 tries, 109252 fired transitions, 3535 secs || 5394 markings, 11670805 edges, 0 markings/sec, 3535 secs
lola: STP running || 1 tries, 109418 fired transitions, 3540 secs || 5395 markings, 11689550 edges, 0 markings/sec, 3540 secs
lola: STP running || 1 tries, 109578 fired transitions, 3545 secs || 5397 markings, 11708159 edges, 0 markings/sec, 3545 secs
lola: STP running || 1 tries, 109739 fired transitions, 3550 secs || 5398 markings, 11727173 edges, 0 markings/sec, 3550 secs
lola: STP running || 1 tries, 109906 fired transitions, 3555 secs || 5399 markings, 11746410 edges, 0 markings/sec, 3555 secs
lola: STP running || 1 tries, 110070 fired transitions, 3560 secs || 5401 markings, 11765464 edges, 0 markings/sec, 3560 secs
lola: time limit reached - aborting
lola: memory consumption: 4687668 KB
lola: time consumption: 3569 seconds
BK_STOP 1526633796433
--------------------
content from stderr:
Sequence of Actions to be Executed by the VM
This is useful if one wants to reexecute the tool in the VM from the submitted image disk.
set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="Dekker-PT-200"
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/Dekker-PT-200.tgz
mv Dekker-PT-200 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 Dekker-PT-200, 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 r076-blw3-152649936800111"
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 ;