About the Execution of LoLA for TokenRing-PT-030
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 948.460 | 3569377.00 | 7319450.00 | 8110.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 86M
-rw-r--r-- 1 mcc users 476K May 15 18:54 CTLCardinality.txt
-rw-r--r-- 1 mcc users 1.5M May 15 18:54 CTLCardinality.xml
-rw-r--r-- 1 mcc users 7.1M May 15 18:54 CTLFireability.txt
-rw-r--r-- 1 mcc users 20M 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.2K May 15 18:50 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 151K May 15 18:54 LTLCardinality.txt
-rw-r--r-- 1 mcc users 466K May 15 18:54 LTLCardinality.xml
-rw-r--r-- 1 mcc users 5.8M May 15 18:54 LTLFireability.txt
-rw-r--r-- 1 mcc users 16M May 15 18:54 LTLFireability.xml
-rw-r--r-- 1 mcc users 502K May 15 18:54 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 1.6M May 15 18:54 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 107 May 15 18:54 ReachabilityDeadlock.txt
-rw-r--r-- 1 mcc users 345 May 15 18:54 ReachabilityDeadlock.xml
-rw-r--r-- 1 mcc users 3.9M May 15 18:54 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 10M May 15 18:54 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 110K May 15 18:54 UpperBounds.txt
-rw-r--r-- 1 mcc users 262K May 15 18:54 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 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 20M May 15 18:50 model.pnml
=====================================================================
Generated by BenchKit 2-3637
Executing tool lola
Input is TokenRing-PT-030, examination is ReachabilityDeadlock
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r172-smll-152708743300342
=====================================================================
--------------------
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 TokenRing-PT-030-ReachabilityDeadlock-0
=== Now, execution of the tool begins
BK_START 1527349517827
info: Time: 3600 - MCC
===========================================================================================
prep: translating TokenRing-PT-030 Petri net model.pnml into LoLA format
===========================================================================================
prep: translating PT Petri net complete
prep: check for too many tokens
===========================================================================================
prep: translating TokenRing-PT-030 formula ReachabilityDeadlock into LoLA format
===========================================================================================
prep: translating PT formula complete
vrfy: Checking ReachabilityDeadlock @ TokenRing-PT-030 @ 3568 seconds
lola: LoLA will run for 3568 seconds at most (--timelimit)
lola: NET
lola: reading net from model.pnml.lola
lola: finished parsing
lola: closed net file model.pnml.lola
lola: 28892/65536 symbol table entries, 5543 collisions
lola: preprocessing...
lola: Size of bit vector: 30752
lola: finding significant places
lola: 961 places, 27931 transitions, 930 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 28892 transition conflict sets
lola: TASK
lola: reading formula from TokenRing-PT-030-ReachabilityDeadlock.task
lola: E (F (DEADLOCK))
lola: rewrite Frontend/Parser/formula_rewrite.k:106
lola: checking reachability of deadlocks
lola: Planning: workflow for deadlock check: siphon||findpath||search) (--findpath=par,--siphontrap=par)
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using deadlock preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: SEARCH (findpath)
lola: findpath: using deadlock preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: findpath: starting randomized, memory-less exploration (--search=findpath)
lola: findpath: searching for paths with maximal depth 1000000 (--depthlimit)
lola: findpath: no retry limit given (--retrylimit)
lola: findpath: transitions are chosen randomly
lola: computing symmetries (--symmetry)
lola: time limit for symmetry computation of 300 seconds given (--symmtimelimit)
lola: computed 0 generators (0 in search tree, 0 by composition)
lola: representing 1 symmetries
lola: 0 dead branches visited in search tree
lola: STP: formula with 373676 variables and 1723046 clauses shipped to Minisat
lola: STP running || 1 tries, 412 fired transitions, 0 secs || 396 markings, 395 edges, 79 markings/sec, 0 secs
lola: STP running || 1 tries, 834 fired transitions, 5 secs || 818 markings, 817 edges, 84 markings/sec, 5 secs
lola: STP running || 1 tries, 1254 fired transitions, 10 secs || 1237 markings, 1347 edges, 84 markings/sec, 10 secs
lola: STP running || 1 tries, 1676 fired transitions, 15 secs || 1659 markings, 2144 edges, 84 markings/sec, 15 secs
lola: STP running || 1 tries, 2094 fired transitions, 20 secs || 2076 markings, 3203 edges, 83 markings/sec, 20 secs
lola: STP running || 1 tries, 2488 fired transitions, 25 secs || 2470 markings, 4295 edges, 79 markings/sec, 25 secs
lola: STP running || 1 tries, 2873 fired transitions, 30 secs || 2855 markings, 5453 edges, 77 markings/sec, 30 secs
lola: STP running || 1 tries, 3259 fired transitions, 35 secs || 3241 markings, 6521 edges, 77 markings/sec, 35 secs
lola: STP running || 1 tries, 3641 fired transitions, 40 secs || 3623 markings, 7633 edges, 76 markings/sec, 40 secs
lola: STP running || 1 tries, 4001 fired transitions, 45 secs || 4047 markings, 8893 edges, 85 markings/sec, 45 secs
lola: STP running || 1 tries, 4367 fired transitions, 50 secs || 4469 markings, 10111 edges, 84 markings/sec, 50 secs
lola: STP running || 1 tries, 4723 fired transitions, 55 secs || 4894 markings, 11350 edges, 85 markings/sec, 55 secs
lola: STP running || 1 tries, 5085 fired transitions, 60 secs || 5322 markings, 12142 edges, 86 markings/sec, 60 secs
lola: STP running || 1 tries, 5446 fired transitions, 65 secs || 5747 markings, 13373 edges, 85 markings/sec, 65 secs
lola: STP running || 1 tries, 5810 fired transitions, 70 secs || 6173 markings, 14638 edges, 85 markings/sec, 70 secs
lola: STP running || 1 tries, 6166 fired transitions, 75 secs || 6597 markings, 15831 edges, 85 markings/sec, 75 secs
lola: STP running || 1 tries, 6545 fired transitions, 80 secs || 7021 markings, 17095 edges, 85 markings/sec, 80 secs
lola: STP running || 1 tries, 6915 fired transitions, 85 secs || 7448 markings, 18311 edges, 85 markings/sec, 85 secs
lola: STP running || 1 tries, 7281 fired transitions, 90 secs || 7874 markings, 19578 edges, 85 markings/sec, 90 secs
lola: STP running || 1 tries, 7641 fired transitions, 95 secs || 8298 markings, 20818 edges, 85 markings/sec, 95 secs
lola: STP running || 1 tries, 8002 fired transitions, 100 secs || 8723 markings, 22058 edges, 85 markings/sec, 100 secs
lola: STP running || 1 tries, 8368 fired transitions, 105 secs || 9142 markings, 23061 edges, 84 markings/sec, 105 secs
lola: STP running || 1 tries, 8733 fired transitions, 110 secs || 9576 markings, 24321 edges, 87 markings/sec, 110 secs
lola: stp: The siphon/trap property is inconclusive since the generated formula is too short
lola: STP completed || 1 tries, 9105 fired transitions, 115 secs || 9999 markings, 25555 edges, 85 markings/sec, 115 secs
lola: STP completed || 1 tries, 9530 fired transitions, 120 secs || 10423 markings, 26713 edges, 85 markings/sec, 120 secs
lola: STP completed || 1 tries, 9951 fired transitions, 125 secs || 10840 markings, 27885 edges, 83 markings/sec, 125 secs
lola: STP completed || 1 tries, 10370 fired transitions, 130 secs || 11259 markings, 29085 edges, 84 markings/sec, 130 secs
lola: STP completed || 1 tries, 10792 fired transitions, 135 secs || 11681 markings, 30329 edges, 84 markings/sec, 135 secs
lola: STP completed || 1 tries, 11234 fired transitions, 140 secs || 12090 markings, 31537 edges, 82 markings/sec, 140 secs
lola: STP completed || 1 tries, 11675 fired transitions, 145 secs || 12521 markings, 32751 edges, 86 markings/sec, 145 secs
lola: STP completed || 1 tries, 12114 fired transitions, 150 secs || 12951 markings, 34386 edges, 86 markings/sec, 150 secs
lola: STP completed || 1 tries, 12535 fired transitions, 155 secs || 13371 markings, 36075 edges, 84 markings/sec, 155 secs
lola: STP completed || 1 tries, 12956 fired transitions, 160 secs || 13790 markings, 37648 edges, 84 markings/sec, 160 secs
lola: STP completed || 1 tries, 13397 fired transitions, 165 secs || 14214 markings, 39226 edges, 85 markings/sec, 165 secs
lola: STP completed || 1 tries, 13837 fired transitions, 170 secs || 14643 markings, 40847 edges, 86 markings/sec, 170 secs
lola: STP completed || 1 tries, 14261 fired transitions, 175 secs || 15064 markings, 42483 edges, 84 markings/sec, 175 secs
lola: STP completed || 1 tries, 14683 fired transitions, 180 secs || 15483 markings, 44101 edges, 84 markings/sec, 180 secs
lola: STP completed || 1 tries, 15101 fired transitions, 185 secs || 15902 markings, 45656 edges, 84 markings/sec, 185 secs
lola: STP completed || 1 tries, 15527 fired transitions, 190 secs || 16340 markings, 47355 edges, 88 markings/sec, 190 secs
lola: STP completed || 1 tries, 15959 fired transitions, 195 secs || 16775 markings, 49051 edges, 87 markings/sec, 195 secs
lola: STP completed || 1 tries, 16392 fired transitions, 200 secs || 17211 markings, 50748 edges, 87 markings/sec, 200 secs
lola: STP completed || 1 tries, 16820 fired transitions, 205 secs || 17640 markings, 52411 edges, 86 markings/sec, 205 secs
lola: STP completed || 1 tries, 17238 fired transitions, 210 secs || 18059 markings, 54114 edges, 84 markings/sec, 210 secs
lola: STP completed || 1 tries, 17657 fired transitions, 215 secs || 18478 markings, 55671 edges, 84 markings/sec, 215 secs
lola: STP completed || 1 tries, 18087 fired transitions, 220 secs || 18912 markings, 57335 edges, 87 markings/sec, 220 secs
lola: STP completed || 1 tries, 18521 fired transitions, 225 secs || 19343 markings, 58981 edges, 86 markings/sec, 225 secs
lola: STP completed || 1 tries, 18950 fired transitions, 230 secs || 19749 markings, 60553 edges, 81 markings/sec, 230 secs
lola: STP completed || 1 tries, 19381 fired transitions, 235 secs || 20157 markings, 62146 edges, 82 markings/sec, 235 secs
lola: STP completed || 1 tries, 19798 fired transitions, 240 secs || 20574 markings, 63710 edges, 83 markings/sec, 240 secs
lola: STP completed || 1 tries, 20216 fired transitions, 245 secs || 20993 markings, 65357 edges, 84 markings/sec, 245 secs
lola: STP completed || 1 tries, 20636 fired transitions, 250 secs || 21412 markings, 67007 edges, 84 markings/sec, 250 secs
lola: STP completed || 1 tries, 21062 fired transitions, 255 secs || 21849 markings, 68646 edges, 87 markings/sec, 255 secs
lola: STP completed || 1 tries, 21482 fired transitions, 260 secs || 22268 markings, 70257 edges, 84 markings/sec, 260 secs
lola: STP completed || 1 tries, 21904 fired transitions, 265 secs || 22690 markings, 71954 edges, 84 markings/sec, 265 secs
lola: STP completed || 1 tries, 22325 fired transitions, 270 secs || 23111 markings, 73433 edges, 84 markings/sec, 270 secs
lola: STP completed || 1 tries, 22748 fired transitions, 275 secs || 23550 markings, 75221 edges, 88 markings/sec, 275 secs
lola: STP completed || 1 tries, 23169 fired transitions, 280 secs || 23988 markings, 76857 edges, 88 markings/sec, 280 secs
lola: STP completed || 1 tries, 23595 fired transitions, 285 secs || 24423 markings, 78529 edges, 87 markings/sec, 285 secs
lola: STP completed || 1 tries, 24026 fired transitions, 290 secs || 24856 markings, 80264 edges, 87 markings/sec, 290 secs
lola: STP completed || 1 tries, 24457 fired transitions, 295 secs || 25292 markings, 81875 edges, 87 markings/sec, 295 secs
lola: STP completed || 1 tries, 24881 fired transitions, 300 secs || 25726 markings, 83571 edges, 87 markings/sec, 300 secs
lola: STP completed || 1 tries, 25311 fired transitions, 305 secs || 26160 markings, 85255 edges, 87 markings/sec, 305 secs
lola: STP completed || 1 tries, 25742 fired transitions, 310 secs || 26593 markings, 86897 edges, 87 markings/sec, 310 secs
lola: STP completed || 1 tries, 26174 fired transitions, 315 secs || 27027 markings, 88583 edges, 87 markings/sec, 315 secs
lola: STP completed || 1 tries, 26606 fired transitions, 320 secs || 27461 markings, 90307 edges, 87 markings/sec, 320 secs
lola: STP completed || 1 tries, 27039 fired transitions, 325 secs || 27895 markings, 91994 edges, 87 markings/sec, 325 secs
lola: STP completed || 1 tries, 27458 fired transitions, 330 secs || 28314 markings, 93612 edges, 84 markings/sec, 330 secs
lola: STP completed || 1 tries, 27877 fired transitions, 335 secs || 28732 markings, 95232 edges, 84 markings/sec, 335 secs
lola: STP completed || 1 tries, 28296 fired transitions, 340 secs || 29149 markings, 96879 edges, 83 markings/sec, 340 secs
lola: STP completed || 1 tries, 28712 fired transitions, 345 secs || 29565 markings, 98484 edges, 83 markings/sec, 345 secs
lola: STP completed || 1 tries, 29112 fired transitions, 350 secs || 29965 markings, 100064 edges, 80 markings/sec, 350 secs
lola: STP completed || 1 tries, 29515 fired transitions, 355 secs || 30368 markings, 101582 edges, 81 markings/sec, 355 secs
lola: STP completed || 1 tries, 29918 fired transitions, 360 secs || 30769 markings, 103144 edges, 80 markings/sec, 360 secs
lola: STP completed || 1 tries, 30327 fired transitions, 365 secs || 31178 markings, 104728 edges, 82 markings/sec, 365 secs
lola: STP completed || 1 tries, 30745 fired transitions, 370 secs || 31594 markings, 106326 edges, 83 markings/sec, 370 secs
lola: STP completed || 1 tries, 31171 fired transitions, 375 secs || 32031 markings, 108048 edges, 87 markings/sec, 375 secs
lola: STP completed || 1 tries, 31597 fired transitions, 380 secs || 32467 markings, 109695 edges, 87 markings/sec, 380 secs
lola: STP completed || 1 tries, 32020 fired transitions, 385 secs || 32902 markings, 111430 edges, 87 markings/sec, 385 secs
lola: STP completed || 1 tries, 32446 fired transitions, 390 secs || 33339 markings, 113146 edges, 87 markings/sec, 390 secs
lola: STP completed || 1 tries, 32871 fired transitions, 395 secs || 33776 markings, 114900 edges, 87 markings/sec, 395 secs
lola: STP completed || 1 tries, 33295 fired transitions, 400 secs || 34212 markings, 116615 edges, 87 markings/sec, 400 secs
lola: STP completed || 1 tries, 33720 fired transitions, 405 secs || 34640 markings, 118254 edges, 86 markings/sec, 405 secs
lola: STP completed || 1 tries, 34144 fired transitions, 410 secs || 35043 markings, 119813 edges, 81 markings/sec, 410 secs
lola: STP completed || 1 tries, 34562 fired transitions, 415 secs || 35467 markings, 121468 edges, 85 markings/sec, 415 secs
lola: STP completed || 1 tries, 34991 fired transitions, 420 secs || 35904 markings, 122916 edges, 87 markings/sec, 420 secs
lola: STP completed || 1 tries, 35428 fired transitions, 425 secs || 36341 markings, 124124 edges, 87 markings/sec, 425 secs
lola: STP completed || 1 tries, 35865 fired transitions, 430 secs || 36779 markings, 125795 edges, 88 markings/sec, 430 secs
lola: STP completed || 1 tries, 36303 fired transitions, 435 secs || 37217 markings, 127515 edges, 88 markings/sec, 435 secs
lola: STP completed || 1 tries, 36742 fired transitions, 440 secs || 37655 markings, 129218 edges, 88 markings/sec, 440 secs
lola: STP completed || 1 tries, 37178 fired transitions, 445 secs || 38092 markings, 130958 edges, 87 markings/sec, 445 secs
lola: STP completed || 1 tries, 37615 fired transitions, 450 secs || 38528 markings, 132657 edges, 87 markings/sec, 450 secs
lola: STP completed || 1 tries, 38054 fired transitions, 455 secs || 38965 markings, 134374 edges, 87 markings/sec, 455 secs
lola: STP completed || 1 tries, 38491 fired transitions, 460 secs || 39402 markings, 136129 edges, 87 markings/sec, 460 secs
lola: STP completed || 1 tries, 38882 fired transitions, 465 secs || 39842 markings, 137177 edges, 88 markings/sec, 465 secs
lola: STP completed || 1 tries, 39275 fired transitions, 470 secs || 40281 markings, 138407 edges, 88 markings/sec, 470 secs
lola: STP completed || 1 tries, 39674 fired transitions, 475 secs || 40721 markings, 139698 edges, 88 markings/sec, 475 secs
lola: STP completed || 1 tries, 40096 fired transitions, 480 secs || 41142 markings, 140896 edges, 84 markings/sec, 480 secs
lola: STP completed || 1 tries, 40518 fired transitions, 485 secs || 41564 markings, 142085 edges, 84 markings/sec, 485 secs
lola: STP completed || 1 tries, 40945 fired transitions, 490 secs || 42000 markings, 143361 edges, 87 markings/sec, 490 secs
lola: STP completed || 1 tries, 41367 fired transitions, 495 secs || 42422 markings, 144516 edges, 84 markings/sec, 495 secs
lola: STP completed || 1 tries, 41789 fired transitions, 500 secs || 42848 markings, 145744 edges, 85 markings/sec, 500 secs
lola: STP completed || 1 tries, 42216 fired transitions, 505 secs || 43260 markings, 146942 edges, 82 markings/sec, 505 secs
lola: STP completed || 1 tries, 42621 fired transitions, 510 secs || 43665 markings, 147943 edges, 81 markings/sec, 510 secs
lola: STP completed || 1 tries, 43029 fired transitions, 515 secs || 44073 markings, 149040 edges, 82 markings/sec, 515 secs
lola: STP completed || 1 tries, 43440 fired transitions, 520 secs || 44484 markings, 150232 edges, 82 markings/sec, 520 secs
lola: STP completed || 1 tries, 43861 fired transitions, 525 secs || 44894 markings, 151393 edges, 82 markings/sec, 525 secs
lola: STP completed || 1 tries, 44282 fired transitions, 530 secs || 45313 markings, 152522 edges, 84 markings/sec, 530 secs
lola: STP completed || 1 tries, 44714 fired transitions, 535 secs || 45750 markings, 153825 edges, 87 markings/sec, 535 secs
lola: STP completed || 1 tries, 45135 fired transitions, 540 secs || 46172 markings, 155023 edges, 84 markings/sec, 540 secs
lola: STP completed || 1 tries, 45554 fired transitions, 545 secs || 46591 markings, 156190 edges, 84 markings/sec, 545 secs
lola: STP completed || 1 tries, 45973 fired transitions, 550 secs || 47028 markings, 157489 edges, 87 markings/sec, 550 secs
lola: STP completed || 1 tries, 46402 fired transitions, 555 secs || 47462 markings, 159204 edges, 87 markings/sec, 555 secs
lola: STP completed || 1 tries, 46807 fired transitions, 560 secs || 47866 markings, 160649 edges, 81 markings/sec, 560 secs
lola: STP completed || 1 tries, 47210 fired transitions, 565 secs || 48268 markings, 162170 edges, 80 markings/sec, 565 secs
lola: STP completed || 1 tries, 47628 fired transitions, 570 secs || 48687 markings, 163728 edges, 84 markings/sec, 570 secs
lola: STP completed || 1 tries, 48047 fired transitions, 575 secs || 49105 markings, 165337 edges, 84 markings/sec, 575 secs
lola: STP completed || 1 tries, 48466 fired transitions, 580 secs || 49524 markings, 166942 edges, 84 markings/sec, 580 secs
lola: STP completed || 1 tries, 48885 fired transitions, 585 secs || 49943 markings, 168519 edges, 84 markings/sec, 585 secs
lola: STP completed || 1 tries, 49308 fired transitions, 590 secs || 50379 markings, 170164 edges, 87 markings/sec, 590 secs
lola: STP completed || 1 tries, 49729 fired transitions, 595 secs || 50800 markings, 171769 edges, 84 markings/sec, 595 secs
lola: STP completed || 1 tries, 50150 fired transitions, 600 secs || 51221 markings, 173402 edges, 84 markings/sec, 600 secs
lola: STP completed || 1 tries, 50571 fired transitions, 605 secs || 51641 markings, 175042 edges, 84 markings/sec, 605 secs
lola: STP completed || 1 tries, 50975 fired transitions, 610 secs || 52045 markings, 176613 edges, 81 markings/sec, 610 secs
lola: STP completed || 1 tries, 51380 fired transitions, 615 secs || 52450 markings, 178218 edges, 81 markings/sec, 615 secs
lola: STP completed || 1 tries, 51792 fired transitions, 620 secs || 52862 markings, 179747 edges, 82 markings/sec, 620 secs
lola: STP completed || 1 tries, 52195 fired transitions, 625 secs || 53265 markings, 181337 edges, 81 markings/sec, 625 secs
lola: STP completed || 1 tries, 52622 fired transitions, 630 secs || 53674 markings, 182933 edges, 82 markings/sec, 630 secs
lola: STP completed || 1 tries, 53031 fired transitions, 635 secs || 54083 markings, 184559 edges, 82 markings/sec, 635 secs
lola: STP completed || 1 tries, 53463 fired transitions, 640 secs || 54516 markings, 186127 edges, 87 markings/sec, 640 secs
lola: STP completed || 1 tries, 53900 fired transitions, 645 secs || 54953 markings, 187825 edges, 87 markings/sec, 645 secs
lola: STP completed || 1 tries, 54339 fired transitions, 650 secs || 55393 markings, 189585 edges, 88 markings/sec, 650 secs
lola: STP completed || 1 tries, 54775 fired transitions, 655 secs || 55828 markings, 191206 edges, 87 markings/sec, 655 secs
lola: STP completed || 1 tries, 55212 fired transitions, 660 secs || 56265 markings, 192899 edges, 87 markings/sec, 660 secs
lola: STP completed || 1 tries, 55649 fired transitions, 665 secs || 56703 markings, 194646 edges, 88 markings/sec, 665 secs
lola: STP completed || 1 tries, 56085 fired transitions, 670 secs || 57139 markings, 196325 edges, 87 markings/sec, 670 secs
lola: STP completed || 1 tries, 56520 fired transitions, 675 secs || 57576 markings, 197962 edges, 87 markings/sec, 675 secs
lola: STP completed || 1 tries, 56956 fired transitions, 680 secs || 58011 markings, 199645 edges, 87 markings/sec, 680 secs
lola: STP completed || 1 tries, 57394 fired transitions, 685 secs || 58450 markings, 201382 edges, 88 markings/sec, 685 secs
lola: STP completed || 1 tries, 57833 fired transitions, 690 secs || 58889 markings, 203061 edges, 88 markings/sec, 690 secs
lola: STP completed || 1 tries, 58255 fired transitions, 695 secs || 59311 markings, 204652 edges, 84 markings/sec, 695 secs
lola: STP completed || 1 tries, 58670 fired transitions, 700 secs || 59726 markings, 206204 edges, 83 markings/sec, 700 secs
lola: STP completed || 1 tries, 59087 fired transitions, 705 secs || 60145 markings, 207881 edges, 84 markings/sec, 705 secs
lola: STP completed || 1 tries, 59505 fired transitions, 710 secs || 60563 markings, 209472 edges, 84 markings/sec, 710 secs
lola: STP completed || 1 tries, 59921 fired transitions, 715 secs || 60978 markings, 211121 edges, 83 markings/sec, 715 secs
lola: STP completed || 1 tries, 60337 fired transitions, 720 secs || 61394 markings, 212624 edges, 83 markings/sec, 720 secs
lola: STP completed || 1 tries, 60753 fired transitions, 725 secs || 61809 markings, 214231 edges, 83 markings/sec, 725 secs
lola: STP completed || 1 tries, 61168 fired transitions, 730 secs || 62224 markings, 215870 edges, 83 markings/sec, 730 secs
lola: STP completed || 1 tries, 61585 fired transitions, 735 secs || 62642 markings, 217515 edges, 84 markings/sec, 735 secs
lola: STP completed || 1 tries, 62005 fired transitions, 740 secs || 63061 markings, 219006 edges, 84 markings/sec, 740 secs
lola: STP completed || 1 tries, 62421 fired transitions, 745 secs || 63477 markings, 220594 edges, 83 markings/sec, 745 secs
lola: STP completed || 1 tries, 62833 fired transitions, 750 secs || 63889 markings, 222175 edges, 82 markings/sec, 750 secs
lola: STP completed || 1 tries, 63257 fired transitions, 755 secs || 64315 markings, 223878 edges, 85 markings/sec, 755 secs
lola: STP completed || 1 tries, 63689 fired transitions, 760 secs || 64750 markings, 225542 edges, 87 markings/sec, 760 secs
lola: STP completed || 1 tries, 64082 fired transitions, 765 secs || 65184 markings, 227259 edges, 87 markings/sec, 765 secs
lola: STP completed || 1 tries, 64509 fired transitions, 770 secs || 65618 markings, 228818 edges, 87 markings/sec, 770 secs
lola: STP completed || 1 tries, 64942 fired transitions, 775 secs || 66048 markings, 230482 edges, 86 markings/sec, 775 secs
lola: STP completed || 1 tries, 65374 fired transitions, 780 secs || 66481 markings, 232194 edges, 87 markings/sec, 780 secs
lola: STP completed || 1 tries, 65809 fired transitions, 785 secs || 66915 markings, 233893 edges, 87 markings/sec, 785 secs
lola: STP completed || 1 tries, 66244 fired transitions, 790 secs || 67349 markings, 235626 edges, 87 markings/sec, 790 secs
lola: STP completed || 1 tries, 66677 fired transitions, 795 secs || 67782 markings, 237281 edges, 87 markings/sec, 795 secs
lola: STP completed || 1 tries, 67085 fired transitions, 800 secs || 68217 markings, 239014 edges, 87 markings/sec, 800 secs
lola: STP completed || 1 tries, 67468 fired transitions, 805 secs || 68655 markings, 240762 edges, 88 markings/sec, 805 secs
lola: STP completed || 1 tries, 67848 fired transitions, 810 secs || 69093 markings, 242477 edges, 88 markings/sec, 810 secs
lola: STP completed || 1 tries, 68284 fired transitions, 815 secs || 69529 markings, 244175 edges, 87 markings/sec, 815 secs
lola: STP completed || 1 tries, 68714 fired transitions, 820 secs || 69963 markings, 245883 edges, 87 markings/sec, 820 secs
lola: STP completed || 1 tries, 69108 fired transitions, 825 secs || 70398 markings, 247183 edges, 87 markings/sec, 825 secs
lola: STP completed || 1 tries, 69508 fired transitions, 830 secs || 70834 markings, 248433 edges, 87 markings/sec, 830 secs
lola: STP completed || 1 tries, 69904 fired transitions, 835 secs || 71271 markings, 249675 edges, 87 markings/sec, 835 secs
lola: STP completed || 1 tries, 70304 fired transitions, 840 secs || 71706 markings, 250889 edges, 87 markings/sec, 840 secs
lola: STP completed || 1 tries, 70703 fired transitions, 845 secs || 72142 markings, 252116 edges, 87 markings/sec, 845 secs
lola: STP completed || 1 tries, 71112 fired transitions, 850 secs || 72577 markings, 253306 edges, 87 markings/sec, 850 secs
lola: STP completed || 1 tries, 71531 fired transitions, 855 secs || 73014 markings, 254568 edges, 87 markings/sec, 855 secs
lola: STP completed || 1 tries, 71969 fired transitions, 860 secs || 73449 markings, 255833 edges, 87 markings/sec, 860 secs
lola: STP completed || 1 tries, 72405 fired transitions, 865 secs || 73885 markings, 257049 edges, 87 markings/sec, 865 secs
lola: STP completed || 1 tries, 72842 fired transitions, 870 secs || 74320 markings, 258487 edges, 87 markings/sec, 870 secs
lola: STP completed || 1 tries, 73247 fired transitions, 875 secs || 74752 markings, 260108 edges, 86 markings/sec, 875 secs
lola: STP completed || 1 tries, 73637 fired transitions, 880 secs || 75182 markings, 261743 edges, 86 markings/sec, 880 secs
lola: STP completed || 1 tries, 74028 fired transitions, 885 secs || 75611 markings, 263248 edges, 86 markings/sec, 885 secs
lola: STP completed || 1 tries, 74419 fired transitions, 890 secs || 76041 markings, 264858 edges, 86 markings/sec, 890 secs
lola: STP completed || 1 tries, 74809 fired transitions, 895 secs || 76470 markings, 266417 edges, 86 markings/sec, 895 secs
lola: STP completed || 1 tries, 75206 fired transitions, 900 secs || 76901 markings, 268015 edges, 86 markings/sec, 900 secs
lola: STP completed || 1 tries, 75635 fired transitions, 905 secs || 77336 markings, 269612 edges, 87 markings/sec, 905 secs
lola: STP completed || 1 tries, 76073 fired transitions, 910 secs || 77773 markings, 271244 edges, 87 markings/sec, 910 secs
lola: STP completed || 1 tries, 76510 fired transitions, 915 secs || 78209 markings, 272863 edges, 87 markings/sec, 915 secs
lola: STP completed || 1 tries, 76925 fired transitions, 920 secs || 78648 markings, 274501 edges, 88 markings/sec, 920 secs
lola: STP completed || 1 tries, 77341 fired transitions, 925 secs || 79088 markings, 276167 edges, 88 markings/sec, 925 secs
lola: STP completed || 1 tries, 77746 fired transitions, 930 secs || 79525 markings, 277918 edges, 87 markings/sec, 930 secs
lola: STP completed || 1 tries, 78178 fired transitions, 935 secs || 79961 markings, 279489 edges, 87 markings/sec, 935 secs
lola: STP completed || 1 tries, 78615 fired transitions, 940 secs || 80397 markings, 281107 edges, 87 markings/sec, 940 secs
lola: STP completed || 1 tries, 79052 fired transitions, 945 secs || 80834 markings, 282831 edges, 87 markings/sec, 945 secs
lola: STP completed || 1 tries, 79489 fired transitions, 950 secs || 81268 markings, 284360 edges, 87 markings/sec, 950 secs
lola: STP completed || 1 tries, 79926 fired transitions, 955 secs || 81704 markings, 286010 edges, 87 markings/sec, 955 secs
lola: STP completed || 1 tries, 80343 fired transitions, 960 secs || 82140 markings, 287615 edges, 87 markings/sec, 960 secs
lola: STP completed || 1 tries, 80780 fired transitions, 965 secs || 82574 markings, 289199 edges, 87 markings/sec, 965 secs
lola: STP completed || 1 tries, 81217 fired transitions, 970 secs || 83008 markings, 290899 edges, 87 markings/sec, 970 secs
lola: STP completed || 1 tries, 81653 fired transitions, 975 secs || 83442 markings, 292477 edges, 87 markings/sec, 975 secs
lola: STP completed || 1 tries, 82065 fired transitions, 980 secs || 83875 markings, 294110 edges, 87 markings/sec, 980 secs
lola: STP completed || 1 tries, 82471 fired transitions, 985 secs || 84307 markings, 295706 edges, 86 markings/sec, 985 secs
lola: STP completed || 1 tries, 82892 fired transitions, 990 secs || 84727 markings, 297250 edges, 84 markings/sec, 990 secs
lola: STP completed || 1 tries, 83314 fired transitions, 995 secs || 85149 markings, 298926 edges, 84 markings/sec, 995 secs
lola: STP completed || 1 tries, 83733 fired transitions, 1000 secs || 85568 markings, 300475 edges, 84 markings/sec, 1000 secs
lola: STP completed || 1 tries, 84150 fired transitions, 1005 secs || 85984 markings, 301995 edges, 83 markings/sec, 1005 secs
lola: STP completed || 1 tries, 84571 fired transitions, 1010 secs || 86405 markings, 303600 edges, 84 markings/sec, 1010 secs
lola: STP completed || 1 tries, 84992 fired transitions, 1015 secs || 86825 markings, 305108 edges, 84 markings/sec, 1015 secs
lola: STP completed || 1 tries, 85409 fired transitions, 1020 secs || 87242 markings, 306708 edges, 83 markings/sec, 1020 secs
lola: STP completed || 1 tries, 85828 fired transitions, 1025 secs || 87660 markings, 308363 edges, 84 markings/sec, 1025 secs
lola: STP completed || 1 tries, 86244 fired transitions, 1030 secs || 88076 markings, 309815 edges, 83 markings/sec, 1030 secs
lola: STP completed || 1 tries, 86665 fired transitions, 1035 secs || 88496 markings, 311428 edges, 84 markings/sec, 1035 secs
lola: STP completed || 1 tries, 87081 fired transitions, 1040 secs || 88913 markings, 313053 edges, 83 markings/sec, 1040 secs
lola: STP completed || 1 tries, 87472 fired transitions, 1045 secs || 89346 markings, 314689 edges, 87 markings/sec, 1045 secs
lola: STP completed || 1 tries, 87897 fired transitions, 1050 secs || 89779 markings, 316388 edges, 87 markings/sec, 1050 secs
lola: STP completed || 1 tries, 88331 fired transitions, 1055 secs || 90213 markings, 318004 edges, 87 markings/sec, 1055 secs
lola: STP completed || 1 tries, 88763 fired transitions, 1060 secs || 90646 markings, 319713 edges, 87 markings/sec, 1060 secs
lola: STP completed || 1 tries, 89181 fired transitions, 1065 secs || 91079 markings, 321326 edges, 87 markings/sec, 1065 secs
lola: STP completed || 1 tries, 89597 fired transitions, 1070 secs || 91511 markings, 323032 edges, 86 markings/sec, 1070 secs
lola: STP completed || 1 tries, 90032 fired transitions, 1075 secs || 91946 markings, 324651 edges, 87 markings/sec, 1075 secs
lola: STP completed || 1 tries, 90465 fired transitions, 1080 secs || 92379 markings, 326316 edges, 87 markings/sec, 1080 secs
lola: STP completed || 1 tries, 90887 fired transitions, 1085 secs || 92817 markings, 327989 edges, 88 markings/sec, 1085 secs
lola: STP completed || 1 tries, 91298 fired transitions, 1090 secs || 93252 markings, 329654 edges, 87 markings/sec, 1090 secs
lola: STP completed || 1 tries, 91718 fired transitions, 1095 secs || 93690 markings, 331341 edges, 88 markings/sec, 1095 secs
lola: STP completed || 1 tries, 92157 fired transitions, 1100 secs || 94128 markings, 332993 edges, 88 markings/sec, 1100 secs
lola: STP completed || 1 tries, 92596 fired transitions, 1105 secs || 94564 markings, 334732 edges, 87 markings/sec, 1105 secs
lola: STP completed || 1 tries, 93016 fired transitions, 1110 secs || 94983 markings, 336334 edges, 84 markings/sec, 1110 secs
lola: STP completed || 1 tries, 93435 fired transitions, 1115 secs || 95402 markings, 337983 edges, 84 markings/sec, 1115 secs
lola: STP completed || 1 tries, 93857 fired transitions, 1120 secs || 95824 markings, 339612 edges, 84 markings/sec, 1120 secs
lola: STP completed || 1 tries, 94277 fired transitions, 1125 secs || 96244 markings, 341245 edges, 84 markings/sec, 1125 secs
lola: STP completed || 1 tries, 94696 fired transitions, 1130 secs || 96662 markings, 342919 edges, 84 markings/sec, 1130 secs
lola: STP completed || 1 tries, 95115 fired transitions, 1135 secs || 97081 markings, 344354 edges, 84 markings/sec, 1135 secs
lola: STP completed || 1 tries, 95532 fired transitions, 1140 secs || 97497 markings, 345705 edges, 83 markings/sec, 1140 secs
lola: STP completed || 1 tries, 95951 fired transitions, 1145 secs || 97916 markings, 347249 edges, 84 markings/sec, 1145 secs
lola: STP completed || 1 tries, 96372 fired transitions, 1150 secs || 98339 markings, 348906 edges, 85 markings/sec, 1150 secs
lola: STP completed || 1 tries, 96799 fired transitions, 1155 secs || 98772 markings, 350540 edges, 87 markings/sec, 1155 secs
lola: STP completed || 1 tries, 97195 fired transitions, 1160 secs || 99205 markings, 352255 edges, 87 markings/sec, 1160 secs
lola: STP completed || 1 tries, 97579 fired transitions, 1165 secs || 99636 markings, 353919 edges, 86 markings/sec, 1165 secs
lola: STP completed || 1 tries, 97969 fired transitions, 1170 secs || 100069 markings, 355551 edges, 87 markings/sec, 1170 secs
lola: STP completed || 1 tries, 98384 fired transitions, 1175 secs || 100482 markings, 357235 edges, 83 markings/sec, 1175 secs
lola: STP completed || 1 tries, 98803 fired transitions, 1180 secs || 100901 markings, 358492 edges, 84 markings/sec, 1180 secs
lola: STP completed || 1 tries, 99229 fired transitions, 1185 secs || 101327 markings, 360047 edges, 85 markings/sec, 1185 secs
lola: STP completed || 1 tries, 99608 fired transitions, 1190 secs || 101763 markings, 361790 edges, 87 markings/sec, 1190 secs
lola: STP completed || 1 tries, 100019 fired transitions, 1195 secs || 102198 markings, 363430 edges, 87 markings/sec, 1195 secs
lola: STP completed || 1 tries, 100442 fired transitions, 1200 secs || 102631 markings, 365041 edges, 87 markings/sec, 1200 secs
lola: STP completed || 1 tries, 100830 fired transitions, 1205 secs || 103063 markings, 366664 edges, 86 markings/sec, 1205 secs
lola: STP completed || 1 tries, 101244 fired transitions, 1210 secs || 103477 markings, 368256 edges, 83 markings/sec, 1210 secs
lola: STP completed || 1 tries, 101662 fired transitions, 1215 secs || 103895 markings, 369827 edges, 84 markings/sec, 1215 secs
lola: STP completed || 1 tries, 102078 fired transitions, 1220 secs || 104310 markings, 371392 edges, 83 markings/sec, 1220 secs
lola: STP completed || 1 tries, 102493 fired transitions, 1225 secs || 104725 markings, 372959 edges, 83 markings/sec, 1225 secs
lola: STP completed || 1 tries, 102909 fired transitions, 1230 secs || 105141 markings, 374585 edges, 83 markings/sec, 1230 secs
lola: STP completed || 1 tries, 103329 fired transitions, 1235 secs || 105561 markings, 376200 edges, 84 markings/sec, 1235 secs
lola: STP completed || 1 tries, 103747 fired transitions, 1240 secs || 105979 markings, 377819 edges, 84 markings/sec, 1240 secs
lola: STP completed || 1 tries, 104169 fired transitions, 1245 secs || 106401 markings, 379494 edges, 84 markings/sec, 1245 secs
lola: STP completed || 1 tries, 104589 fired transitions, 1250 secs || 106821 markings, 381068 edges, 84 markings/sec, 1250 secs
lola: STP completed || 1 tries, 105007 fired transitions, 1255 secs || 107238 markings, 382658 edges, 83 markings/sec, 1255 secs
lola: STP completed || 1 tries, 105427 fired transitions, 1260 secs || 107658 markings, 384294 edges, 84 markings/sec, 1260 secs
lola: STP completed || 1 tries, 105869 fired transitions, 1265 secs || 108096 markings, 385938 edges, 88 markings/sec, 1265 secs
lola: STP completed || 1 tries, 106308 fired transitions, 1270 secs || 108535 markings, 387646 edges, 88 markings/sec, 1270 secs
lola: STP completed || 1 tries, 106735 fired transitions, 1275 secs || 108963 markings, 389219 edges, 86 markings/sec, 1275 secs
lola: STP completed || 1 tries, 107154 fired transitions, 1280 secs || 109380 markings, 390833 edges, 83 markings/sec, 1280 secs
lola: STP completed || 1 tries, 107573 fired transitions, 1285 secs || 109799 markings, 392441 edges, 84 markings/sec, 1285 secs
lola: STP completed || 1 tries, 107990 fired transitions, 1290 secs || 110216 markings, 393992 edges, 83 markings/sec, 1290 secs
lola: STP completed || 1 tries, 108419 fired transitions, 1295 secs || 110645 markings, 395653 edges, 86 markings/sec, 1295 secs
lola: STP completed || 1 tries, 108857 fired transitions, 1300 secs || 111083 markings, 397399 edges, 88 markings/sec, 1300 secs
lola: STP completed || 1 tries, 109294 fired transitions, 1305 secs || 111522 markings, 398911 edges, 88 markings/sec, 1305 secs
lola: STP completed || 1 tries, 109733 fired transitions, 1310 secs || 111960 markings, 400690 edges, 88 markings/sec, 1310 secs
lola: STP completed || 1 tries, 110168 fired transitions, 1315 secs || 112396 markings, 402357 edges, 87 markings/sec, 1315 secs
lola: STP completed || 1 tries, 110606 fired transitions, 1320 secs || 112836 markings, 404072 edges, 88 markings/sec, 1320 secs
lola: STP completed || 1 tries, 111040 fired transitions, 1325 secs || 113271 markings, 405797 edges, 87 markings/sec, 1325 secs
lola: STP completed || 1 tries, 111480 fired transitions, 1330 secs || 113714 markings, 407540 edges, 89 markings/sec, 1330 secs
lola: STP completed || 1 tries, 111920 fired transitions, 1335 secs || 114155 markings, 409195 edges, 88 markings/sec, 1335 secs
lola: STP completed || 1 tries, 112346 fired transitions, 1340 secs || 114595 markings, 410978 edges, 88 markings/sec, 1340 secs
lola: STP completed || 1 tries, 112779 fired transitions, 1345 secs || 115018 markings, 412575 edges, 85 markings/sec, 1345 secs
lola: STP completed || 1 tries, 113214 fired transitions, 1350 secs || 115437 markings, 414248 edges, 84 markings/sec, 1350 secs
lola: STP completed || 1 tries, 113649 fired transitions, 1355 secs || 115852 markings, 415808 edges, 83 markings/sec, 1355 secs
lola: STP completed || 1 tries, 114084 fired transitions, 1360 secs || 116267 markings, 417466 edges, 83 markings/sec, 1360 secs
lola: STP completed || 1 tries, 114517 fired transitions, 1365 secs || 116702 markings, 419139 edges, 87 markings/sec, 1365 secs
lola: STP completed || 1 tries, 114949 fired transitions, 1370 secs || 117135 markings, 420746 edges, 87 markings/sec, 1370 secs
lola: STP completed || 1 tries, 115381 fired transitions, 1375 secs || 117568 markings, 422497 edges, 87 markings/sec, 1375 secs
lola: STP completed || 1 tries, 115795 fired transitions, 1380 secs || 118002 markings, 424241 edges, 87 markings/sec, 1380 secs
lola: STP completed || 1 tries, 116228 fired transitions, 1385 secs || 118436 markings, 426182 edges, 87 markings/sec, 1385 secs
lola: STP completed || 1 tries, 116660 fired transitions, 1390 secs || 118868 markings, 428357 edges, 86 markings/sec, 1390 secs
lola: STP completed || 1 tries, 117093 fired transitions, 1395 secs || 119302 markings, 430519 edges, 87 markings/sec, 1395 secs
lola: STP completed || 1 tries, 117525 fired transitions, 1400 secs || 119707 markings, 432542 edges, 81 markings/sec, 1400 secs
lola: STP completed || 1 tries, 117958 fired transitions, 1405 secs || 120111 markings, 434599 edges, 81 markings/sec, 1405 secs
lola: STP completed || 1 tries, 118392 fired transitions, 1410 secs || 120528 markings, 436475 edges, 83 markings/sec, 1410 secs
lola: STP completed || 1 tries, 118822 fired transitions, 1415 secs || 120960 markings, 438516 edges, 86 markings/sec, 1415 secs
lola: STP completed || 1 tries, 119254 fired transitions, 1420 secs || 121392 markings, 440557 edges, 86 markings/sec, 1420 secs
lola: STP completed || 1 tries, 119686 fired transitions, 1425 secs || 121826 markings, 442644 edges, 87 markings/sec, 1425 secs
lola: STP completed || 1 tries, 120120 fired transitions, 1430 secs || 122238 markings, 444575 edges, 82 markings/sec, 1430 secs
lola: STP completed || 1 tries, 120555 fired transitions, 1435 secs || 122651 markings, 446448 edges, 83 markings/sec, 1435 secs
lola: STP completed || 1 tries, 120986 fired transitions, 1440 secs || 123083 markings, 448433 edges, 86 markings/sec, 1440 secs
lola: STP completed || 1 tries, 121419 fired transitions, 1445 secs || 123512 markings, 450547 edges, 86 markings/sec, 1445 secs
lola: STP completed || 1 tries, 121857 fired transitions, 1450 secs || 123901 markings, 452396 edges, 78 markings/sec, 1450 secs
lola: STP completed || 1 tries, 122292 fired transitions, 1455 secs || 124322 markings, 454353 edges, 84 markings/sec, 1455 secs
lola: STP completed || 1 tries, 122725 fired transitions, 1460 secs || 124755 markings, 456458 edges, 87 markings/sec, 1460 secs
lola: STP completed || 1 tries, 123138 fired transitions, 1465 secs || 125190 markings, 458475 edges, 87 markings/sec, 1465 secs
lola: STP completed || 1 tries, 123559 fired transitions, 1470 secs || 125623 markings, 460524 edges, 87 markings/sec, 1470 secs
lola: STP completed || 1 tries, 123990 fired transitions, 1475 secs || 126055 markings, 462560 edges, 86 markings/sec, 1475 secs
lola: STP completed || 1 tries, 124422 fired transitions, 1480 secs || 126488 markings, 464573 edges, 87 markings/sec, 1480 secs
lola: STP completed || 1 tries, 124854 fired transitions, 1485 secs || 126920 markings, 466680 edges, 86 markings/sec, 1485 secs
lola: STP completed || 1 tries, 125289 fired transitions, 1490 secs || 127327 markings, 468579 edges, 81 markings/sec, 1490 secs
lola: STP completed || 1 tries, 125725 fired transitions, 1495 secs || 127736 markings, 470531 edges, 82 markings/sec, 1495 secs
lola: STP completed || 1 tries, 126137 fired transitions, 1500 secs || 128169 markings, 472542 edges, 87 markings/sec, 1500 secs
lola: STP completed || 1 tries, 126567 fired transitions, 1505 secs || 128600 markings, 474561 edges, 86 markings/sec, 1505 secs
lola: STP completed || 1 tries, 127000 fired transitions, 1510 secs || 129031 markings, 476645 edges, 86 markings/sec, 1510 secs
lola: STP completed || 1 tries, 127431 fired transitions, 1515 secs || 129462 markings, 478633 edges, 86 markings/sec, 1515 secs
lola: STP completed || 1 tries, 127862 fired transitions, 1520 secs || 129893 markings, 480731 edges, 86 markings/sec, 1520 secs
lola: STP completed || 1 tries, 128297 fired transitions, 1525 secs || 130298 markings, 482607 edges, 81 markings/sec, 1525 secs
lola: STP completed || 1 tries, 128735 fired transitions, 1530 secs || 130678 markings, 484435 edges, 76 markings/sec, 1530 secs
lola: STP completed || 1 tries, 129173 fired transitions, 1535 secs || 131057 markings, 486276 edges, 76 markings/sec, 1535 secs
lola: STP completed || 1 tries, 129609 fired transitions, 1540 secs || 131465 markings, 488247 edges, 82 markings/sec, 1540 secs
lola: STP completed || 1 tries, 130040 fired transitions, 1545 secs || 131897 markings, 490310 edges, 86 markings/sec, 1545 secs
lola: STP completed || 1 tries, 130472 fired transitions, 1550 secs || 132302 markings, 492237 edges, 81 markings/sec, 1550 secs
lola: STP completed || 1 tries, 130905 fired transitions, 1555 secs || 132704 markings, 494196 edges, 80 markings/sec, 1555 secs
lola: STP completed || 1 tries, 131337 fired transitions, 1560 secs || 133110 markings, 496128 edges, 81 markings/sec, 1560 secs
lola: STP completed || 1 tries, 131761 fired transitions, 1565 secs || 133513 markings, 498066 edges, 81 markings/sec, 1565 secs
lola: STP completed || 1 tries, 132138 fired transitions, 1570 secs || 133924 markings, 500027 edges, 82 markings/sec, 1570 secs
lola: STP completed || 1 tries, 132572 fired transitions, 1575 secs || 134353 markings, 502114 edges, 86 markings/sec, 1575 secs
lola: STP completed || 1 tries, 133007 fired transitions, 1580 secs || 134770 markings, 504102 edges, 83 markings/sec, 1580 secs
lola: STP completed || 1 tries, 133439 fired transitions, 1585 secs || 135200 markings, 506166 edges, 86 markings/sec, 1585 secs
lola: STP completed || 1 tries, 133871 fired transitions, 1590 secs || 135629 markings, 508214 edges, 86 markings/sec, 1590 secs
lola: STP completed || 1 tries, 134300 fired transitions, 1595 secs || 136050 markings, 510260 edges, 84 markings/sec, 1595 secs
lola: STP completed || 1 tries, 134737 fired transitions, 1600 secs || 136485 markings, 512319 edges, 87 markings/sec, 1600 secs
lola: STP completed || 1 tries, 135170 fired transitions, 1605 secs || 136921 markings, 514441 edges, 87 markings/sec, 1605 secs
lola: STP completed || 1 tries, 135603 fired transitions, 1610 secs || 137357 markings, 516524 edges, 87 markings/sec, 1610 secs
lola: STP completed || 1 tries, 136036 fired transitions, 1615 secs || 137792 markings, 518618 edges, 87 markings/sec, 1615 secs
lola: STP completed || 1 tries, 136470 fired transitions, 1620 secs || 138229 markings, 520765 edges, 87 markings/sec, 1620 secs
lola: STP completed || 1 tries, 136903 fired transitions, 1625 secs || 138664 markings, 522884 edges, 87 markings/sec, 1625 secs
lola: STP completed || 1 tries, 137336 fired transitions, 1630 secs || 139099 markings, 525047 edges, 87 markings/sec, 1630 secs
lola: STP completed || 1 tries, 137770 fired transitions, 1635 secs || 139534 markings, 527151 edges, 87 markings/sec, 1635 secs
lola: STP completed || 1 tries, 138205 fired transitions, 1640 secs || 139969 markings, 529290 edges, 87 markings/sec, 1640 secs
lola: STP completed || 1 tries, 138642 fired transitions, 1645 secs || 140402 markings, 531399 edges, 87 markings/sec, 1645 secs
lola: STP completed || 1 tries, 139078 fired transitions, 1650 secs || 140835 markings, 533518 edges, 87 markings/sec, 1650 secs
lola: STP completed || 1 tries, 139512 fired transitions, 1655 secs || 141271 markings, 535658 edges, 87 markings/sec, 1655 secs
lola: STP completed || 1 tries, 139947 fired transitions, 1660 secs || 141709 markings, 537805 edges, 88 markings/sec, 1660 secs
lola: STP completed || 1 tries, 140380 fired transitions, 1665 secs || 142145 markings, 539914 edges, 87 markings/sec, 1665 secs
lola: STP completed || 1 tries, 140816 fired transitions, 1670 secs || 142582 markings, 542137 edges, 87 markings/sec, 1670 secs
lola: STP completed || 1 tries, 141250 fired transitions, 1675 secs || 143018 markings, 544324 edges, 87 markings/sec, 1675 secs
lola: STP completed || 1 tries, 141684 fired transitions, 1680 secs || 143456 markings, 546326 edges, 88 markings/sec, 1680 secs
lola: STP completed || 1 tries, 142117 fired transitions, 1685 secs || 143891 markings, 548435 edges, 87 markings/sec, 1685 secs
lola: STP completed || 1 tries, 142551 fired transitions, 1690 secs || 144326 markings, 550478 edges, 87 markings/sec, 1690 secs
lola: STP completed || 1 tries, 142984 fired transitions, 1695 secs || 144760 markings, 552506 edges, 87 markings/sec, 1695 secs
lola: STP completed || 1 tries, 143417 fired transitions, 1700 secs || 145194 markings, 554619 edges, 87 markings/sec, 1700 secs
lola: STP completed || 1 tries, 143851 fired transitions, 1705 secs || 145629 markings, 556685 edges, 87 markings/sec, 1705 secs
lola: STP completed || 1 tries, 144285 fired transitions, 1710 secs || 146064 markings, 558758 edges, 87 markings/sec, 1710 secs
lola: STP completed || 1 tries, 144719 fired transitions, 1715 secs || 146499 markings, 560843 edges, 87 markings/sec, 1715 secs
lola: STP completed || 1 tries, 145152 fired transitions, 1720 secs || 146935 markings, 562979 edges, 87 markings/sec, 1720 secs
lola: STP completed || 1 tries, 145587 fired transitions, 1725 secs || 147369 markings, 565035 edges, 87 markings/sec, 1725 secs
lola: STP completed || 1 tries, 146021 fired transitions, 1730 secs || 147806 markings, 567183 edges, 87 markings/sec, 1730 secs
lola: STP completed || 1 tries, 146455 fired transitions, 1735 secs || 148241 markings, 569348 edges, 87 markings/sec, 1735 secs
lola: STP completed || 1 tries, 146890 fired transitions, 1740 secs || 148676 markings, 571470 edges, 87 markings/sec, 1740 secs
lola: STP completed || 1 tries, 147325 fired transitions, 1745 secs || 149113 markings, 573654 edges, 87 markings/sec, 1745 secs
lola: STP completed || 1 tries, 147758 fired transitions, 1750 secs || 149550 markings, 575575 edges, 87 markings/sec, 1750 secs
lola: STP completed || 1 tries, 148192 fired transitions, 1755 secs || 149983 markings, 577713 edges, 87 markings/sec, 1755 secs
lola: STP completed || 1 tries, 148624 fired transitions, 1760 secs || 150417 markings, 579734 edges, 87 markings/sec, 1760 secs
lola: STP completed || 1 tries, 149057 fired transitions, 1765 secs || 150851 markings, 581833 edges, 87 markings/sec, 1765 secs
lola: STP completed || 1 tries, 149490 fired transitions, 1770 secs || 151286 markings, 583932 edges, 87 markings/sec, 1770 secs
lola: STP completed || 1 tries, 149921 fired transitions, 1775 secs || 151720 markings, 586005 edges, 87 markings/sec, 1775 secs
lola: STP completed || 1 tries, 150354 fired transitions, 1780 secs || 152154 markings, 588080 edges, 87 markings/sec, 1780 secs
lola: STP completed || 1 tries, 150787 fired transitions, 1785 secs || 152589 markings, 590159 edges, 87 markings/sec, 1785 secs
lola: STP completed || 1 tries, 151220 fired transitions, 1790 secs || 153023 markings, 592220 edges, 87 markings/sec, 1790 secs
lola: STP completed || 1 tries, 151654 fired transitions, 1795 secs || 153459 markings, 594339 edges, 87 markings/sec, 1795 secs
lola: STP completed || 1 tries, 152087 fired transitions, 1800 secs || 153879 markings, 596401 edges, 84 markings/sec, 1800 secs
lola: STP completed || 1 tries, 152520 fired transitions, 1805 secs || 154318 markings, 598569 edges, 88 markings/sec, 1805 secs
lola: STP completed || 1 tries, 152954 fired transitions, 1810 secs || 154758 markings, 600731 edges, 88 markings/sec, 1810 secs
lola: STP completed || 1 tries, 153387 fired transitions, 1815 secs || 155200 markings, 602966 edges, 88 markings/sec, 1815 secs
lola: STP completed || 1 tries, 153821 fired transitions, 1820 secs || 155640 markings, 604874 edges, 88 markings/sec, 1820 secs
lola: STP completed || 1 tries, 154255 fired transitions, 1825 secs || 156079 markings, 606967 edges, 88 markings/sec, 1825 secs
lola: STP completed || 1 tries, 154689 fired transitions, 1830 secs || 156518 markings, 609093 edges, 88 markings/sec, 1830 secs
lola: STP completed || 1 tries, 155122 fired transitions, 1835 secs || 156956 markings, 611166 edges, 88 markings/sec, 1835 secs
lola: STP completed || 1 tries, 155557 fired transitions, 1840 secs || 157396 markings, 613234 edges, 88 markings/sec, 1840 secs
lola: STP completed || 1 tries, 155990 fired transitions, 1845 secs || 157835 markings, 615367 edges, 88 markings/sec, 1845 secs
lola: STP completed || 1 tries, 156423 fired transitions, 1850 secs || 158275 markings, 617502 edges, 88 markings/sec, 1850 secs
lola: STP completed || 1 tries, 156857 fired transitions, 1855 secs || 158714 markings, 619586 edges, 88 markings/sec, 1855 secs
lola: STP completed || 1 tries, 157293 fired transitions, 1860 secs || 159150 markings, 621685 edges, 87 markings/sec, 1860 secs
lola: STP completed || 1 tries, 157730 fired transitions, 1865 secs || 159585 markings, 623798 edges, 87 markings/sec, 1865 secs
lola: STP completed || 1 tries, 158168 fired transitions, 1870 secs || 160020 markings, 625935 edges, 87 markings/sec, 1870 secs
lola: STP completed || 1 tries, 158606 fired transitions, 1875 secs || 160456 markings, 628086 edges, 87 markings/sec, 1875 secs
lola: STP completed || 1 tries, 159044 fired transitions, 1880 secs || 160892 markings, 630235 edges, 87 markings/sec, 1880 secs
lola: STP completed || 1 tries, 159483 fired transitions, 1885 secs || 161329 markings, 632390 edges, 87 markings/sec, 1885 secs
lola: STP completed || 1 tries, 159919 fired transitions, 1890 secs || 161765 markings, 634078 edges, 87 markings/sec, 1890 secs
lola: STP completed || 1 tries, 160357 fired transitions, 1895 secs || 162201 markings, 635837 edges, 87 markings/sec, 1895 secs
lola: STP completed || 1 tries, 160794 fired transitions, 1900 secs || 162636 markings, 637726 edges, 87 markings/sec, 1900 secs
lola: STP completed || 1 tries, 161231 fired transitions, 1905 secs || 163070 markings, 639921 edges, 87 markings/sec, 1905 secs
lola: STP completed || 1 tries, 161669 fired transitions, 1910 secs || 163505 markings, 642029 edges, 87 markings/sec, 1910 secs
lola: STP completed || 1 tries, 162106 fired transitions, 1915 secs || 163938 markings, 644251 edges, 87 markings/sec, 1915 secs
lola: STP completed || 1 tries, 162543 fired transitions, 1920 secs || 164372 markings, 646359 edges, 87 markings/sec, 1920 secs
lola: STP completed || 1 tries, 162980 fired transitions, 1925 secs || 164805 markings, 648578 edges, 87 markings/sec, 1925 secs
lola: STP completed || 1 tries, 163418 fired transitions, 1930 secs || 165241 markings, 650736 edges, 87 markings/sec, 1930 secs
lola: STP completed || 1 tries, 163858 fired transitions, 1935 secs || 165679 markings, 652944 edges, 88 markings/sec, 1935 secs
lola: STP completed || 1 tries, 164297 fired transitions, 1940 secs || 166117 markings, 655139 edges, 88 markings/sec, 1940 secs
lola: STP completed || 1 tries, 164735 fired transitions, 1945 secs || 166556 markings, 657350 edges, 88 markings/sec, 1945 secs
lola: STP completed || 1 tries, 165173 fired transitions, 1950 secs || 166993 markings, 659547 edges, 87 markings/sec, 1950 secs
lola: STP completed || 1 tries, 165611 fired transitions, 1955 secs || 167430 markings, 661612 edges, 87 markings/sec, 1955 secs
lola: STP completed || 1 tries, 166048 fired transitions, 1960 secs || 167864 markings, 663737 edges, 87 markings/sec, 1960 secs
lola: STP completed || 1 tries, 166486 fired transitions, 1965 secs || 168299 markings, 665913 edges, 87 markings/sec, 1965 secs
lola: STP completed || 1 tries, 166922 fired transitions, 1970 secs || 168734 markings, 667947 edges, 87 markings/sec, 1970 secs
lola: STP completed || 1 tries, 167359 fired transitions, 1975 secs || 169169 markings, 670061 edges, 87 markings/sec, 1975 secs
lola: STP completed || 1 tries, 167796 fired transitions, 1980 secs || 169602 markings, 672194 edges, 87 markings/sec, 1980 secs
lola: STP completed || 1 tries, 168234 fired transitions, 1985 secs || 170032 markings, 674256 edges, 86 markings/sec, 1985 secs
lola: STP completed || 1 tries, 168672 fired transitions, 1990 secs || 170462 markings, 676336 edges, 86 markings/sec, 1990 secs
lola: STP completed || 1 tries, 169109 fired transitions, 1995 secs || 170895 markings, 678351 edges, 87 markings/sec, 1995 secs
lola: STP completed || 1 tries, 169546 fired transitions, 2000 secs || 171323 markings, 680451 edges, 86 markings/sec, 2000 secs
lola: STP completed || 1 tries, 169984 fired transitions, 2005 secs || 171756 markings, 682670 edges, 87 markings/sec, 2005 secs
lola: STP completed || 1 tries, 170420 fired transitions, 2010 secs || 172186 markings, 684671 edges, 86 markings/sec, 2010 secs
lola: STP completed || 1 tries, 170857 fired transitions, 2015 secs || 172617 markings, 686789 edges, 86 markings/sec, 2015 secs
lola: STP completed || 1 tries, 171294 fired transitions, 2020 secs || 173050 markings, 688847 edges, 87 markings/sec, 2020 secs
lola: STP completed || 1 tries, 171723 fired transitions, 2025 secs || 173471 markings, 690915 edges, 84 markings/sec, 2025 secs
lola: STP completed || 1 tries, 172161 fired transitions, 2030 secs || 173901 markings, 693047 edges, 86 markings/sec, 2030 secs
lola: STP completed || 1 tries, 172598 fired transitions, 2035 secs || 174334 markings, 694967 edges, 87 markings/sec, 2035 secs
lola: STP completed || 1 tries, 173035 fired transitions, 2040 secs || 174763 markings, 697141 edges, 86 markings/sec, 2040 secs
lola: STP completed || 1 tries, 173472 fired transitions, 2045 secs || 175197 markings, 699345 edges, 87 markings/sec, 2045 secs
lola: STP completed || 1 tries, 173909 fired transitions, 2050 secs || 175628 markings, 701352 edges, 86 markings/sec, 2050 secs
lola: STP completed || 1 tries, 174347 fired transitions, 2055 secs || 176059 markings, 703460 edges, 86 markings/sec, 2055 secs
lola: STP completed || 1 tries, 174786 fired transitions, 2060 secs || 176493 markings, 705485 edges, 87 markings/sec, 2060 secs
lola: STP completed || 1 tries, 175222 fired transitions, 2065 secs || 176922 markings, 707551 edges, 86 markings/sec, 2065 secs
lola: STP completed || 1 tries, 175659 fired transitions, 2070 secs || 177353 markings, 709734 edges, 86 markings/sec, 2070 secs
lola: STP completed || 1 tries, 176096 fired transitions, 2075 secs || 177786 markings, 711623 edges, 87 markings/sec, 2075 secs
lola: STP completed || 1 tries, 176532 fired transitions, 2080 secs || 178214 markings, 713759 edges, 86 markings/sec, 2080 secs
lola: STP completed || 1 tries, 176951 fired transitions, 2085 secs || 178645 markings, 715767 edges, 86 markings/sec, 2085 secs
lola: STP completed || 1 tries, 177387 fired transitions, 2090 secs || 179076 markings, 717872 edges, 86 markings/sec, 2090 secs
lola: STP completed || 1 tries, 177823 fired transitions, 2095 secs || 179506 markings, 719922 edges, 86 markings/sec, 2095 secs
lola: STP completed || 1 tries, 178261 fired transitions, 2100 secs || 179935 markings, 721965 edges, 86 markings/sec, 2100 secs
lola: STP completed || 1 tries, 178698 fired transitions, 2105 secs || 180366 markings, 724001 edges, 86 markings/sec, 2105 secs
lola: STP completed || 1 tries, 179135 fired transitions, 2110 secs || 180796 markings, 726068 edges, 86 markings/sec, 2110 secs
lola: STP completed || 1 tries, 179569 fired transitions, 2115 secs || 181218 markings, 728106 edges, 84 markings/sec, 2115 secs
lola: STP completed || 1 tries, 180005 fired transitions, 2120 secs || 181647 markings, 730147 edges, 86 markings/sec, 2120 secs
lola: STP completed || 1 tries, 180443 fired transitions, 2125 secs || 182079 markings, 732284 edges, 86 markings/sec, 2125 secs
lola: STP completed || 1 tries, 180881 fired transitions, 2130 secs || 182509 markings, 734397 edges, 86 markings/sec, 2130 secs
lola: STP completed || 1 tries, 181318 fired transitions, 2135 secs || 182940 markings, 736526 edges, 86 markings/sec, 2135 secs
lola: STP completed || 1 tries, 181756 fired transitions, 2140 secs || 183374 markings, 738702 edges, 87 markings/sec, 2140 secs
lola: STP completed || 1 tries, 182184 fired transitions, 2145 secs || 183802 markings, 740709 edges, 86 markings/sec, 2145 secs
lola: STP completed || 1 tries, 182599 fired transitions, 2150 secs || 184214 markings, 742723 edges, 82 markings/sec, 2150 secs
lola: STP completed || 1 tries, 183015 fired transitions, 2155 secs || 184630 markings, 744803 edges, 83 markings/sec, 2155 secs
lola: STP completed || 1 tries, 183430 fired transitions, 2160 secs || 185042 markings, 746713 edges, 82 markings/sec, 2160 secs
lola: STP completed || 1 tries, 183845 fired transitions, 2165 secs || 185456 markings, 748721 edges, 83 markings/sec, 2165 secs
lola: STP completed || 1 tries, 184261 fired transitions, 2170 secs || 185871 markings, 750652 edges, 83 markings/sec, 2170 secs
lola: STP completed || 1 tries, 184676 fired transitions, 2175 secs || 186283 markings, 752649 edges, 82 markings/sec, 2175 secs
lola: STP completed || 1 tries, 185112 fired transitions, 2180 secs || 186687 markings, 754671 edges, 81 markings/sec, 2180 secs
lola: STP completed || 1 tries, 185527 fired transitions, 2185 secs || 187098 markings, 756550 edges, 82 markings/sec, 2185 secs
lola: STP completed || 1 tries, 185961 fired transitions, 2190 secs || 187499 markings, 758561 edges, 80 markings/sec, 2190 secs
lola: STP completed || 1 tries, 186378 fired transitions, 2195 secs || 187914 markings, 760628 edges, 83 markings/sec, 2195 secs
lola: STP completed || 1 tries, 186813 fired transitions, 2200 secs || 188318 markings, 762524 edges, 81 markings/sec, 2200 secs
lola: STP completed || 1 tries, 187228 fired transitions, 2205 secs || 188727 markings, 764502 edges, 82 markings/sec, 2205 secs
lola: STP completed || 1 tries, 187644 fired transitions, 2210 secs || 189136 markings, 766545 edges, 82 markings/sec, 2210 secs
lola: STP completed || 1 tries, 188059 fired transitions, 2215 secs || 189546 markings, 768458 edges, 82 markings/sec, 2215 secs
lola: STP completed || 1 tries, 188495 fired transitions, 2220 secs || 189950 markings, 770422 edges, 81 markings/sec, 2220 secs
lola: STP completed || 1 tries, 188932 fired transitions, 2225 secs || 190381 markings, 772599 edges, 86 markings/sec, 2225 secs
lola: STP completed || 1 tries, 189368 fired transitions, 2230 secs || 190813 markings, 774672 edges, 86 markings/sec, 2230 secs
lola: STP completed || 1 tries, 189806 fired transitions, 2235 secs || 191246 markings, 776796 edges, 87 markings/sec, 2235 secs
lola: STP completed || 1 tries, 190243 fired transitions, 2240 secs || 191677 markings, 778906 edges, 86 markings/sec, 2240 secs
lola: STP completed || 1 tries, 190680 fired transitions, 2245 secs || 192107 markings, 780978 edges, 86 markings/sec, 2245 secs
lola: STP completed || 1 tries, 191118 fired transitions, 2250 secs || 192538 markings, 783127 edges, 86 markings/sec, 2250 secs
lola: STP completed || 1 tries, 191554 fired transitions, 2255 secs || 192970 markings, 785187 edges, 86 markings/sec, 2255 secs
lola: STP completed || 1 tries, 191992 fired transitions, 2260 secs || 193403 markings, 787381 edges, 87 markings/sec, 2260 secs
lola: STP completed || 1 tries, 192430 fired transitions, 2265 secs || 193837 markings, 789428 edges, 87 markings/sec, 2265 secs
lola: STP completed || 1 tries, 192866 fired transitions, 2270 secs || 194270 markings, 791635 edges, 87 markings/sec, 2270 secs
lola: STP completed || 1 tries, 193303 fired transitions, 2275 secs || 194702 markings, 793706 edges, 86 markings/sec, 2275 secs
lola: STP completed || 1 tries, 193740 fired transitions, 2280 secs || 195134 markings, 795863 edges, 86 markings/sec, 2280 secs
lola: STP completed || 1 tries, 194176 fired transitions, 2285 secs || 195562 markings, 797922 edges, 86 markings/sec, 2285 secs
lola: STP completed || 1 tries, 194613 fired transitions, 2290 secs || 195994 markings, 800106 edges, 86 markings/sec, 2290 secs
lola: STP completed || 1 tries, 195049 fired transitions, 2295 secs || 196424 markings, 801845 edges, 86 markings/sec, 2295 secs
lola: STP completed || 1 tries, 195485 fired transitions, 2300 secs || 196857 markings, 803502 edges, 87 markings/sec, 2300 secs
lola: STP completed || 1 tries, 195921 fired transitions, 2305 secs || 197290 markings, 805241 edges, 87 markings/sec, 2305 secs
lola: STP completed || 1 tries, 196356 fired transitions, 2310 secs || 197722 markings, 806895 edges, 86 markings/sec, 2310 secs
lola: STP completed || 1 tries, 196792 fired transitions, 2315 secs || 198153 markings, 808624 edges, 86 markings/sec, 2315 secs
lola: STP completed || 1 tries, 197228 fired transitions, 2320 secs || 198583 markings, 810212 edges, 86 markings/sec, 2320 secs
lola: STP completed || 1 tries, 197663 fired transitions, 2325 secs || 199012 markings, 812357 edges, 86 markings/sec, 2325 secs
lola: STP completed || 1 tries, 198099 fired transitions, 2330 secs || 199445 markings, 814369 edges, 87 markings/sec, 2330 secs
lola: STP completed || 1 tries, 198535 fired transitions, 2335 secs || 199875 markings, 816461 edges, 86 markings/sec, 2335 secs
lola: STP completed || 1 tries, 198970 fired transitions, 2340 secs || 200306 markings, 818478 edges, 86 markings/sec, 2340 secs
lola: STP completed || 1 tries, 199406 fired transitions, 2345 secs || 200733 markings, 820561 edges, 85 markings/sec, 2345 secs
lola: STP completed || 1 tries, 199842 fired transitions, 2350 secs || 201163 markings, 822612 edges, 86 markings/sec, 2350 secs
lola: STP completed || 1 tries, 200278 fired transitions, 2355 secs || 201594 markings, 824692 edges, 86 markings/sec, 2355 secs
lola: STP completed || 1 tries, 200715 fired transitions, 2360 secs || 202024 markings, 826767 edges, 86 markings/sec, 2360 secs
lola: STP completed || 1 tries, 201151 fired transitions, 2365 secs || 202454 markings, 828825 edges, 86 markings/sec, 2365 secs
lola: STP completed || 1 tries, 201587 fired transitions, 2370 secs || 202885 markings, 830938 edges, 86 markings/sec, 2370 secs
lola: STP completed || 1 tries, 202025 fired transitions, 2375 secs || 203314 markings, 833067 edges, 86 markings/sec, 2375 secs
lola: STP completed || 1 tries, 202464 fired transitions, 2380 secs || 203753 markings, 835213 edges, 88 markings/sec, 2380 secs
lola: STP completed || 1 tries, 202904 fired transitions, 2385 secs || 204192 markings, 837422 edges, 88 markings/sec, 2385 secs
lola: STP completed || 1 tries, 203342 fired transitions, 2390 secs || 204629 markings, 839448 edges, 87 markings/sec, 2390 secs
lola: STP completed || 1 tries, 203780 fired transitions, 2395 secs || 205067 markings, 841609 edges, 88 markings/sec, 2395 secs
lola: STP completed || 1 tries, 204219 fired transitions, 2400 secs || 205492 markings, 843723 edges, 85 markings/sec, 2400 secs
lola: STP completed || 1 tries, 204657 fired transitions, 2405 secs || 205915 markings, 845701 edges, 85 markings/sec, 2405 secs
lola: STP completed || 1 tries, 205096 fired transitions, 2410 secs || 206349 markings, 847821 edges, 87 markings/sec, 2410 secs
lola: STP completed || 1 tries, 205535 fired transitions, 2415 secs || 206785 markings, 849905 edges, 87 markings/sec, 2415 secs
lola: STP completed || 1 tries, 205973 fired transitions, 2420 secs || 207218 markings, 851990 edges, 87 markings/sec, 2420 secs
lola: STP completed || 1 tries, 206411 fired transitions, 2425 secs || 207640 markings, 854115 edges, 84 markings/sec, 2425 secs
lola: STP completed || 1 tries, 206850 fired transitions, 2430 secs || 208077 markings, 856172 edges, 87 markings/sec, 2430 secs
lola: STP completed || 1 tries, 207287 fired transitions, 2435 secs || 208514 markings, 858303 edges, 87 markings/sec, 2435 secs
lola: STP completed || 1 tries, 207726 fired transitions, 2440 secs || 208953 markings, 860387 edges, 88 markings/sec, 2440 secs
lola: STP completed || 1 tries, 208162 fired transitions, 2445 secs || 209389 markings, 862557 edges, 87 markings/sec, 2445 secs
lola: STP completed || 1 tries, 208600 fired transitions, 2450 secs || 209827 markings, 864721 edges, 88 markings/sec, 2450 secs
lola: STP completed || 1 tries, 209039 fired transitions, 2455 secs || 210266 markings, 866845 edges, 88 markings/sec, 2455 secs
lola: STP completed || 1 tries, 209477 fired transitions, 2460 secs || 210705 markings, 869053 edges, 88 markings/sec, 2460 secs
lola: STP completed || 1 tries, 209916 fired transitions, 2465 secs || 211143 markings, 871162 edges, 88 markings/sec, 2465 secs
lola: STP completed || 1 tries, 210355 fired transitions, 2470 secs || 211583 markings, 873344 edges, 88 markings/sec, 2470 secs
lola: STP completed || 1 tries, 210794 fired transitions, 2475 secs || 212021 markings, 875466 edges, 88 markings/sec, 2475 secs
lola: STP completed || 1 tries, 211233 fired transitions, 2480 secs || 212461 markings, 877579 edges, 88 markings/sec, 2480 secs
lola: STP completed || 1 tries, 211673 fired transitions, 2485 secs || 212900 markings, 879532 edges, 88 markings/sec, 2485 secs
lola: STP completed || 1 tries, 212112 fired transitions, 2490 secs || 213339 markings, 881237 edges, 88 markings/sec, 2490 secs
lola: STP completed || 1 tries, 212551 fired transitions, 2495 secs || 213774 markings, 882973 edges, 87 markings/sec, 2495 secs
lola: STP completed || 1 tries, 212988 fired transitions, 2500 secs || 214210 markings, 884709 edges, 87 markings/sec, 2500 secs
lola: STP completed || 1 tries, 213426 fired transitions, 2505 secs || 214646 markings, 886388 edges, 87 markings/sec, 2505 secs
lola: STP completed || 1 tries, 213865 fired transitions, 2510 secs || 215080 markings, 887995 edges, 87 markings/sec, 2510 secs
lola: STP completed || 1 tries, 214303 fired transitions, 2515 secs || 215515 markings, 890099 edges, 87 markings/sec, 2515 secs
lola: STP completed || 1 tries, 214742 fired transitions, 2520 secs || 215952 markings, 892205 edges, 87 markings/sec, 2520 secs
lola: STP completed || 1 tries, 215181 fired transitions, 2525 secs || 216390 markings, 894251 edges, 88 markings/sec, 2525 secs
lola: STP completed || 1 tries, 215619 fired transitions, 2530 secs || 216827 markings, 896343 edges, 87 markings/sec, 2530 secs
lola: STP completed || 1 tries, 216058 fired transitions, 2535 secs || 217266 markings, 898436 edges, 88 markings/sec, 2535 secs
lola: STP completed || 1 tries, 216496 fired transitions, 2540 secs || 217705 markings, 900538 edges, 88 markings/sec, 2540 secs
lola: STP completed || 1 tries, 216936 fired transitions, 2545 secs || 218144 markings, 902643 edges, 88 markings/sec, 2545 secs
lola: STP completed || 1 tries, 217374 fired transitions, 2550 secs || 218579 markings, 904760 edges, 87 markings/sec, 2550 secs
lola: STP completed || 1 tries, 217813 fired transitions, 2555 secs || 219015 markings, 906912 edges, 87 markings/sec, 2555 secs
lola: STP completed || 1 tries, 218252 fired transitions, 2560 secs || 219450 markings, 909024 edges, 87 markings/sec, 2560 secs
lola: STP completed || 1 tries, 218691 fired transitions, 2565 secs || 219884 markings, 911094 edges, 87 markings/sec, 2565 secs
lola: STP completed || 1 tries, 219129 fired transitions, 2570 secs || 220303 markings, 913158 edges, 84 markings/sec, 2570 secs
lola: STP completed || 1 tries, 219569 fired transitions, 2575 secs || 220740 markings, 915354 edges, 87 markings/sec, 2575 secs
lola: STP completed || 1 tries, 220008 fired transitions, 2580 secs || 221161 markings, 917357 edges, 84 markings/sec, 2580 secs
lola: STP completed || 1 tries, 220446 fired transitions, 2585 secs || 221598 markings, 919473 edges, 87 markings/sec, 2585 secs
lola: STP completed || 1 tries, 220886 fired transitions, 2590 secs || 222033 markings, 921651 edges, 87 markings/sec, 2590 secs
lola: STP completed || 1 tries, 221323 fired transitions, 2595 secs || 222466 markings, 923666 edges, 87 markings/sec, 2595 secs
lola: STP completed || 1 tries, 221761 fired transitions, 2600 secs || 222901 markings, 925807 edges, 87 markings/sec, 2600 secs
lola: STP completed || 1 tries, 222198 fired transitions, 2605 secs || 223337 markings, 927876 edges, 87 markings/sec, 2605 secs
lola: STP completed || 1 tries, 222636 fired transitions, 2610 secs || 223770 markings, 929972 edges, 87 markings/sec, 2610 secs
lola: STP completed || 1 tries, 223075 fired transitions, 2615 secs || 224176 markings, 932003 edges, 81 markings/sec, 2615 secs
lola: STP completed || 1 tries, 223513 fired transitions, 2620 secs || 224601 markings, 934011 edges, 85 markings/sec, 2620 secs
lola: STP completed || 1 tries, 223950 fired transitions, 2625 secs || 225027 markings, 936085 edges, 85 markings/sec, 2625 secs
lola: STP completed || 1 tries, 224367 fired transitions, 2630 secs || 225444 markings, 938167 edges, 83 markings/sec, 2630 secs
lola: STP completed || 1 tries, 224781 fired transitions, 2635 secs || 225857 markings, 940043 edges, 83 markings/sec, 2635 secs
lola: STP completed || 1 tries, 225194 fired transitions, 2640 secs || 226267 markings, 942063 edges, 82 markings/sec, 2640 secs
lola: STP completed || 1 tries, 225610 fired transitions, 2645 secs || 226683 markings, 944072 edges, 83 markings/sec, 2645 secs
lola: STP completed || 1 tries, 226025 fired transitions, 2650 secs || 227097 markings, 946109 edges, 83 markings/sec, 2650 secs
lola: STP completed || 1 tries, 226441 fired transitions, 2655 secs || 227513 markings, 948058 edges, 83 markings/sec, 2655 secs
lola: STP completed || 1 tries, 226856 fired transitions, 2660 secs || 227926 markings, 950140 edges, 83 markings/sec, 2660 secs
lola: STP completed || 1 tries, 227273 fired transitions, 2665 secs || 228342 markings, 952143 edges, 83 markings/sec, 2665 secs
lola: STP completed || 1 tries, 227687 fired transitions, 2670 secs || 228755 markings, 954160 edges, 83 markings/sec, 2670 secs
lola: STP completed || 1 tries, 228102 fired transitions, 2675 secs || 229171 markings, 956202 edges, 83 markings/sec, 2675 secs
lola: STP completed || 1 tries, 228517 fired transitions, 2680 secs || 229585 markings, 957676 edges, 83 markings/sec, 2680 secs
lola: STP completed || 1 tries, 228931 fired transitions, 2685 secs || 229998 markings, 959260 edges, 83 markings/sec, 2685 secs
lola: STP completed || 1 tries, 229347 fired transitions, 2690 secs || 230414 markings, 960931 edges, 83 markings/sec, 2690 secs
lola: STP completed || 1 tries, 229763 fired transitions, 2695 secs || 230830 markings, 962555 edges, 83 markings/sec, 2695 secs
lola: STP completed || 1 tries, 230180 fired transitions, 2700 secs || 231246 markings, 964127 edges, 83 markings/sec, 2700 secs
lola: STP completed || 1 tries, 230609 fired transitions, 2705 secs || 231649 markings, 965759 edges, 81 markings/sec, 2705 secs
lola: STP completed || 1 tries, 231022 fired transitions, 2710 secs || 232059 markings, 967702 edges, 82 markings/sec, 2710 secs
lola: STP completed || 1 tries, 231455 fired transitions, 2715 secs || 232459 markings, 969596 edges, 80 markings/sec, 2715 secs
lola: STP completed || 1 tries, 231886 fired transitions, 2720 secs || 232893 markings, 971647 edges, 87 markings/sec, 2720 secs
lola: STP completed || 1 tries, 232307 fired transitions, 2725 secs || 233313 markings, 973690 edges, 84 markings/sec, 2725 secs
lola: STP completed || 1 tries, 232722 fired transitions, 2730 secs || 233726 markings, 975656 edges, 83 markings/sec, 2730 secs
lola: STP completed || 1 tries, 233138 fired transitions, 2735 secs || 234140 markings, 977599 edges, 83 markings/sec, 2735 secs
lola: STP completed || 1 tries, 233552 fired transitions, 2740 secs || 234552 markings, 979595 edges, 82 markings/sec, 2740 secs
lola: STP completed || 1 tries, 233967 fired transitions, 2745 secs || 234967 markings, 981545 edges, 83 markings/sec, 2745 secs
lola: STP completed || 1 tries, 234382 fired transitions, 2750 secs || 235379 markings, 983498 edges, 82 markings/sec, 2750 secs
lola: STP completed || 1 tries, 234796 fired transitions, 2755 secs || 235792 markings, 985534 edges, 83 markings/sec, 2755 secs
lola: STP completed || 1 tries, 235213 fired transitions, 2760 secs || 236209 markings, 987554 edges, 83 markings/sec, 2760 secs
lola: STP completed || 1 tries, 235628 fired transitions, 2765 secs || 236622 markings, 989578 edges, 83 markings/sec, 2765 secs
lola: STP completed || 1 tries, 236045 fired transitions, 2770 secs || 237038 markings, 991643 edges, 83 markings/sec, 2770 secs
lola: STP completed || 1 tries, 236460 fired transitions, 2775 secs || 237451 markings, 993592 edges, 83 markings/sec, 2775 secs
lola: STP completed || 1 tries, 236876 fired transitions, 2780 secs || 237864 markings, 995619 edges, 83 markings/sec, 2780 secs
lola: STP completed || 1 tries, 237291 fired transitions, 2785 secs || 238279 markings, 997660 edges, 83 markings/sec, 2785 secs
lola: STP completed || 1 tries, 237706 fired transitions, 2790 secs || 238693 markings, 999587 edges, 83 markings/sec, 2790 secs
lola: STP completed || 1 tries, 238121 fired transitions, 2795 secs || 239107 markings, 1001579 edges, 83 markings/sec, 2795 secs
lola: STP completed || 1 tries, 238535 fired transitions, 2800 secs || 239519 markings, 1003649 edges, 82 markings/sec, 2800 secs
lola: STP completed || 1 tries, 238950 fired transitions, 2805 secs || 239933 markings, 1005530 edges, 83 markings/sec, 2805 secs
lola: STP completed || 1 tries, 239365 fired transitions, 2810 secs || 240346 markings, 1007550 edges, 83 markings/sec, 2810 secs
lola: STP completed || 1 tries, 239782 fired transitions, 2815 secs || 240762 markings, 1009581 edges, 83 markings/sec, 2815 secs
lola: STP completed || 1 tries, 240196 fired transitions, 2820 secs || 241173 markings, 1011516 edges, 82 markings/sec, 2820 secs
lola: STP completed || 1 tries, 240610 fired transitions, 2825 secs || 241586 markings, 1013523 edges, 83 markings/sec, 2825 secs
lola: STP completed || 1 tries, 241027 fired transitions, 2830 secs || 242002 markings, 1015428 edges, 83 markings/sec, 2830 secs
lola: STP completed || 1 tries, 241441 fired transitions, 2835 secs || 242413 markings, 1017440 edges, 82 markings/sec, 2835 secs
lola: STP completed || 1 tries, 241856 fired transitions, 2840 secs || 242827 markings, 1019475 edges, 83 markings/sec, 2840 secs
lola: STP completed || 1 tries, 242271 fired transitions, 2845 secs || 243241 markings, 1021481 edges, 83 markings/sec, 2845 secs
lola: STP completed || 1 tries, 242687 fired transitions, 2850 secs || 243657 markings, 1023550 edges, 83 markings/sec, 2850 secs
lola: STP completed || 1 tries, 243103 fired transitions, 2855 secs || 244071 markings, 1025501 edges, 83 markings/sec, 2855 secs
lola: STP completed || 1 tries, 243518 fired transitions, 2860 secs || 244486 markings, 1027564 edges, 83 markings/sec, 2860 secs
lola: STP completed || 1 tries, 243933 fired transitions, 2865 secs || 244900 markings, 1029602 edges, 83 markings/sec, 2865 secs
lola: STP completed || 1 tries, 244349 fired transitions, 2870 secs || 245314 markings, 1031585 edges, 83 markings/sec, 2870 secs
lola: STP completed || 1 tries, 244765 fired transitions, 2875 secs || 245730 markings, 1033485 edges, 83 markings/sec, 2875 secs
lola: STP completed || 1 tries, 245180 fired transitions, 2880 secs || 246144 markings, 1035015 edges, 83 markings/sec, 2880 secs
lola: STP completed || 1 tries, 245594 fired transitions, 2885 secs || 246556 markings, 1037000 edges, 82 markings/sec, 2885 secs
lola: STP completed || 1 tries, 246008 fired transitions, 2890 secs || 246968 markings, 1039003 edges, 82 markings/sec, 2890 secs
lola: STP completed || 1 tries, 246422 fired transitions, 2895 secs || 247381 markings, 1040945 edges, 83 markings/sec, 2895 secs
lola: STP completed || 1 tries, 246835 fired transitions, 2900 secs || 247792 markings, 1042980 edges, 82 markings/sec, 2900 secs
lola: STP completed || 1 tries, 247251 fired transitions, 2905 secs || 248207 markings, 1045017 edges, 83 markings/sec, 2905 secs
lola: STP completed || 1 tries, 247667 fired transitions, 2910 secs || 248622 markings, 1046967 edges, 83 markings/sec, 2910 secs
lola: STP completed || 1 tries, 248081 fired transitions, 2915 secs || 249034 markings, 1048952 edges, 82 markings/sec, 2915 secs
lola: STP completed || 1 tries, 248495 fired transitions, 2920 secs || 249448 markings, 1051008 edges, 83 markings/sec, 2920 secs
lola: STP completed || 1 tries, 248910 fired transitions, 2925 secs || 249862 markings, 1053058 edges, 83 markings/sec, 2925 secs
lola: STP completed || 1 tries, 249327 fired transitions, 2930 secs || 250277 markings, 1055024 edges, 83 markings/sec, 2930 secs
lola: STP completed || 1 tries, 249741 fired transitions, 2935 secs || 250689 markings, 1057063 edges, 82 markings/sec, 2935 secs
lola: STP completed || 1 tries, 250157 fired transitions, 2940 secs || 251104 markings, 1059038 edges, 83 markings/sec, 2940 secs
lola: STP completed || 1 tries, 250571 fired transitions, 2945 secs || 251516 markings, 1061113 edges, 82 markings/sec, 2945 secs
lola: STP completed || 1 tries, 250986 fired transitions, 2950 secs || 251930 markings, 1063127 edges, 83 markings/sec, 2950 secs
lola: STP completed || 1 tries, 251402 fired transitions, 2955 secs || 252345 markings, 1064838 edges, 83 markings/sec, 2955 secs
lola: STP completed || 1 tries, 251816 fired transitions, 2960 secs || 252756 markings, 1066867 edges, 82 markings/sec, 2960 secs
lola: STP completed || 1 tries, 252233 fired transitions, 2965 secs || 253172 markings, 1068868 edges, 83 markings/sec, 2965 secs
lola: STP completed || 1 tries, 252650 fired transitions, 2970 secs || 253587 markings, 1070939 edges, 83 markings/sec, 2970 secs
lola: STP completed || 1 tries, 253065 fired transitions, 2975 secs || 254001 markings, 1072928 edges, 83 markings/sec, 2975 secs
lola: STP completed || 1 tries, 253481 fired transitions, 2980 secs || 254416 markings, 1074677 edges, 83 markings/sec, 2980 secs
lola: STP completed || 1 tries, 253895 fired transitions, 2985 secs || 254827 markings, 1076665 edges, 82 markings/sec, 2985 secs
lola: STP completed || 1 tries, 254310 fired transitions, 2990 secs || 255240 markings, 1078708 edges, 83 markings/sec, 2990 secs
lola: STP completed || 1 tries, 254725 fired transitions, 2995 secs || 255653 markings, 1080743 edges, 83 markings/sec, 2995 secs
lola: STP completed || 1 tries, 255140 fired transitions, 3000 secs || 256066 markings, 1082789 edges, 83 markings/sec, 3000 secs
lola: STP completed || 1 tries, 255555 fired transitions, 3005 secs || 256480 markings, 1084745 edges, 83 markings/sec, 3005 secs
lola: STP completed || 1 tries, 255969 fired transitions, 3010 secs || 256892 markings, 1086817 edges, 82 markings/sec, 3010 secs
lola: STP completed || 1 tries, 256386 fired transitions, 3015 secs || 257308 markings, 1088776 edges, 83 markings/sec, 3015 secs
lola: STP completed || 1 tries, 256801 fired transitions, 3020 secs || 257721 markings, 1090710 edges, 83 markings/sec, 3020 secs
lola: STP completed || 1 tries, 257218 fired transitions, 3025 secs || 258138 markings, 1092382 edges, 83 markings/sec, 3025 secs
lola: STP completed || 1 tries, 257634 fired transitions, 3030 secs || 258553 markings, 1094145 edges, 83 markings/sec, 3030 secs
lola: STP completed || 1 tries, 258052 fired transitions, 3035 secs || 258971 markings, 1096166 edges, 84 markings/sec, 3035 secs
lola: STP completed || 1 tries, 258466 fired transitions, 3040 secs || 259384 markings, 1098216 edges, 83 markings/sec, 3040 secs
lola: STP completed || 1 tries, 258881 fired transitions, 3045 secs || 259798 markings, 1100253 edges, 83 markings/sec, 3045 secs
lola: STP completed || 1 tries, 259297 fired transitions, 3050 secs || 260212 markings, 1102329 edges, 83 markings/sec, 3050 secs
lola: STP completed || 1 tries, 259712 fired transitions, 3055 secs || 260627 markings, 1104141 edges, 83 markings/sec, 3055 secs
lola: STP completed || 1 tries, 260127 fired transitions, 3060 secs || 261041 markings, 1105806 edges, 83 markings/sec, 3060 secs
lola: STP completed || 1 tries, 260542 fired transitions, 3065 secs || 261455 markings, 1107830 edges, 83 markings/sec, 3065 secs
lola: STP completed || 1 tries, 260959 fired transitions, 3070 secs || 261871 markings, 1109872 edges, 83 markings/sec, 3070 secs
lola: STP completed || 1 tries, 261374 fired transitions, 3075 secs || 262286 markings, 1111909 edges, 83 markings/sec, 3075 secs
lola: STP completed || 1 tries, 261792 fired transitions, 3080 secs || 262703 markings, 1113702 edges, 83 markings/sec, 3080 secs
lola: STP completed || 1 tries, 262209 fired transitions, 3085 secs || 263120 markings, 1115491 edges, 83 markings/sec, 3085 secs
lola: STP completed || 1 tries, 262622 fired transitions, 3090 secs || 263529 markings, 1117550 edges, 82 markings/sec, 3090 secs
lola: STP completed || 1 tries, 263054 fired transitions, 3095 secs || 263930 markings, 1119421 edges, 80 markings/sec, 3095 secs
lola: STP completed || 1 tries, 263488 fired transitions, 3100 secs || 264367 markings, 1121395 edges, 87 markings/sec, 3100 secs
lola: STP completed || 1 tries, 263921 fired transitions, 3105 secs || 264803 markings, 1123402 edges, 87 markings/sec, 3105 secs
lola: STP completed || 1 tries, 264341 fired transitions, 3110 secs || 265222 markings, 1125300 edges, 84 markings/sec, 3110 secs
lola: STP completed || 1 tries, 264757 fired transitions, 3115 secs || 265634 markings, 1126984 edges, 82 markings/sec, 3115 secs
lola: STP completed || 1 tries, 265170 fired transitions, 3120 secs || 266044 markings, 1128627 edges, 82 markings/sec, 3120 secs
lola: STP completed || 1 tries, 265583 fired transitions, 3125 secs || 266454 markings, 1130485 edges, 82 markings/sec, 3125 secs
lola: STP completed || 1 tries, 266012 fired transitions, 3130 secs || 266856 markings, 1132523 edges, 80 markings/sec, 3130 secs
lola: STP completed || 1 tries, 266445 fired transitions, 3135 secs || 267283 markings, 1134569 edges, 85 markings/sec, 3135 secs
lola: STP completed || 1 tries, 266876 fired transitions, 3140 secs || 267708 markings, 1136706 edges, 85 markings/sec, 3140 secs
lola: STP completed || 1 tries, 267310 fired transitions, 3145 secs || 268135 markings, 1138772 edges, 85 markings/sec, 3145 secs
lola: STP completed || 1 tries, 267743 fired transitions, 3150 secs || 268561 markings, 1140819 edges, 85 markings/sec, 3150 secs
lola: STP completed || 1 tries, 268177 fired transitions, 3155 secs || 268990 markings, 1142943 edges, 86 markings/sec, 3155 secs
lola: STP completed || 1 tries, 268610 fired transitions, 3160 secs || 269418 markings, 1144927 edges, 86 markings/sec, 3160 secs
lola: STP completed || 1 tries, 269044 fired transitions, 3165 secs || 269848 markings, 1146353 edges, 86 markings/sec, 3165 secs
lola: STP completed || 1 tries, 269476 fired transitions, 3170 secs || 270276 markings, 1147684 edges, 86 markings/sec, 3170 secs
lola: STP completed || 1 tries, 269911 fired transitions, 3175 secs || 270699 markings, 1149297 edges, 85 markings/sec, 3175 secs
lola: STP completed || 1 tries, 270347 fired transitions, 3180 secs || 271140 markings, 1151017 edges, 88 markings/sec, 3180 secs
lola: STP completed || 1 tries, 270783 fired transitions, 3185 secs || 271580 markings, 1152725 edges, 88 markings/sec, 3185 secs
lola: STP completed || 1 tries, 271220 fired transitions, 3190 secs || 272020 markings, 1154454 edges, 88 markings/sec, 3190 secs
lola: STP completed || 1 tries, 271654 fired transitions, 3195 secs || 272458 markings, 1156106 edges, 88 markings/sec, 3195 secs
lola: STP completed || 1 tries, 272091 fired transitions, 3200 secs || 272897 markings, 1157826 edges, 88 markings/sec, 3200 secs
lola: STP completed || 1 tries, 272527 fired transitions, 3205 secs || 273338 markings, 1159138 edges, 88 markings/sec, 3205 secs
lola: STP completed || 1 tries, 272964 fired transitions, 3210 secs || 273779 markings, 1160851 edges, 88 markings/sec, 3210 secs
lola: STP completed || 1 tries, 273400 fired transitions, 3215 secs || 274219 markings, 1162566 edges, 88 markings/sec, 3215 secs
lola: STP completed || 1 tries, 273833 fired transitions, 3220 secs || 274658 markings, 1164260 edges, 88 markings/sec, 3220 secs
lola: STP completed || 1 tries, 274260 fired transitions, 3225 secs || 275091 markings, 1165943 edges, 87 markings/sec, 3225 secs
lola: STP completed || 1 tries, 274694 fired transitions, 3230 secs || 275530 markings, 1167641 edges, 88 markings/sec, 3230 secs
lola: STP completed || 1 tries, 275131 fired transitions, 3235 secs || 275971 markings, 1169403 edges, 88 markings/sec, 3235 secs
lola: STP completed || 1 tries, 275568 fired transitions, 3240 secs || 276412 markings, 1171076 edges, 88 markings/sec, 3240 secs
lola: STP completed || 1 tries, 276007 fired transitions, 3245 secs || 276854 markings, 1172695 edges, 88 markings/sec, 3245 secs
lola: STP completed || 1 tries, 276443 fired transitions, 3250 secs || 277296 markings, 1174391 edges, 88 markings/sec, 3250 secs
lola: STP completed || 1 tries, 276881 fired transitions, 3255 secs || 277738 markings, 1176078 edges, 88 markings/sec, 3255 secs
lola: STP completed || 1 tries, 277318 fired transitions, 3260 secs || 278179 markings, 1177755 edges, 88 markings/sec, 3260 secs
lola: STP completed || 1 tries, 277756 fired transitions, 3265 secs || 278621 markings, 1179441 edges, 88 markings/sec, 3265 secs
lola: STP completed || 1 tries, 278194 fired transitions, 3270 secs || 279062 markings, 1181194 edges, 88 markings/sec, 3270 secs
lola: STP completed || 1 tries, 278631 fired transitions, 3275 secs || 279504 markings, 1182922 edges, 88 markings/sec, 3275 secs
lola: STP completed || 1 tries, 279068 fired transitions, 3280 secs || 279945 markings, 1184706 edges, 88 markings/sec, 3280 secs
lola: STP completed || 1 tries, 279506 fired transitions, 3285 secs || 280385 markings, 1186925 edges, 88 markings/sec, 3285 secs
lola: STP completed || 1 tries, 279944 fired transitions, 3290 secs || 280825 markings, 1189010 edges, 88 markings/sec, 3290 secs
lola: STP completed || 1 tries, 280381 fired transitions, 3295 secs || 281265 markings, 1191134 edges, 88 markings/sec, 3295 secs
lola: STP completed || 1 tries, 280819 fired transitions, 3300 secs || 281706 markings, 1193255 edges, 88 markings/sec, 3300 secs
lola: STP completed || 1 tries, 281256 fired transitions, 3305 secs || 282146 markings, 1195293 edges, 88 markings/sec, 3305 secs
lola: STP completed || 1 tries, 281694 fired transitions, 3310 secs || 282586 markings, 1197450 edges, 88 markings/sec, 3310 secs
lola: STP completed || 1 tries, 282130 fired transitions, 3315 secs || 283025 markings, 1199584 edges, 88 markings/sec, 3315 secs
lola: STP completed || 1 tries, 282567 fired transitions, 3320 secs || 283465 markings, 1201716 edges, 88 markings/sec, 3320 secs
lola: STP completed || 1 tries, 283005 fired transitions, 3325 secs || 283906 markings, 1203883 edges, 88 markings/sec, 3325 secs
lola: STP completed || 1 tries, 283444 fired transitions, 3330 secs || 284346 markings, 1206117 edges, 88 markings/sec, 3330 secs
lola: STP completed || 1 tries, 283881 fired transitions, 3335 secs || 284786 markings, 1208174 edges, 88 markings/sec, 3335 secs
lola: STP completed || 1 tries, 284318 fired transitions, 3340 secs || 285225 markings, 1210324 edges, 88 markings/sec, 3340 secs
lola: STP completed || 1 tries, 284755 fired transitions, 3345 secs || 285665 markings, 1212400 edges, 88 markings/sec, 3345 secs
lola: STP completed || 1 tries, 285193 fired transitions, 3350 secs || 286104 markings, 1214546 edges, 88 markings/sec, 3350 secs
lola: STP completed || 1 tries, 285630 fired transitions, 3355 secs || 286544 markings, 1216639 edges, 88 markings/sec, 3355 secs
lola: STP completed || 1 tries, 286028 fired transitions, 3360 secs || 286983 markings, 1218799 edges, 88 markings/sec, 3360 secs
lola: STP completed || 1 tries, 286364 fired transitions, 3365 secs || 287424 markings, 1220895 edges, 88 markings/sec, 3365 secs
lola: STP completed || 1 tries, 286701 fired transitions, 3370 secs || 287865 markings, 1223054 edges, 88 markings/sec, 3370 secs
lola: STP completed || 1 tries, 287039 fired transitions, 3375 secs || 288307 markings, 1225129 edges, 88 markings/sec, 3375 secs
lola: STP completed || 1 tries, 287419 fired transitions, 3380 secs || 288745 markings, 1227249 edges, 88 markings/sec, 3380 secs
lola: STP completed || 1 tries, 287800 fired transitions, 3385 secs || 289182 markings, 1229466 edges, 87 markings/sec, 3385 secs
lola: STP completed || 1 tries, 288182 fired transitions, 3390 secs || 289620 markings, 1231518 edges, 88 markings/sec, 3390 secs
lola: STP completed || 1 tries, 288561 fired transitions, 3395 secs || 290058 markings, 1233678 edges, 88 markings/sec, 3395 secs
lola: STP completed || 1 tries, 288941 fired transitions, 3400 secs || 290495 markings, 1235706 edges, 87 markings/sec, 3400 secs
lola: STP completed || 1 tries, 289327 fired transitions, 3405 secs || 290928 markings, 1237837 edges, 87 markings/sec, 3405 secs
lola: STP completed || 1 tries, 289755 fired transitions, 3410 secs || 291357 markings, 1239859 edges, 86 markings/sec, 3410 secs
lola: STP completed || 1 tries, 290192 fired transitions, 3415 secs || 291797 markings, 1242019 edges, 88 markings/sec, 3415 secs
lola: STP completed || 1 tries, 290629 fired transitions, 3420 secs || 292237 markings, 1244213 edges, 88 markings/sec, 3420 secs
lola: STP completed || 1 tries, 291067 fired transitions, 3425 secs || 292677 markings, 1246316 edges, 88 markings/sec, 3425 secs
lola: STP completed || 1 tries, 291503 fired transitions, 3430 secs || 293117 markings, 1248485 edges, 88 markings/sec, 3430 secs
lola: STP completed || 1 tries, 291939 fired transitions, 3435 secs || 293557 markings, 1250609 edges, 88 markings/sec, 3435 secs
lola: STP completed || 1 tries, 292374 fired transitions, 3440 secs || 293993 markings, 1252740 edges, 87 markings/sec, 3440 secs
lola: STP completed || 1 tries, 292809 fired transitions, 3445 secs || 294432 markings, 1254865 edges, 88 markings/sec, 3445 secs
lola: STP completed || 1 tries, 293247 fired transitions, 3450 secs || 294872 markings, 1257008 edges, 88 markings/sec, 3450 secs
lola: STP completed || 1 tries, 293655 fired transitions, 3455 secs || 295311 markings, 1259203 edges, 88 markings/sec, 3455 secs
lola: STP completed || 1 tries, 294043 fired transitions, 3460 secs || 295752 markings, 1261351 edges, 88 markings/sec, 3460 secs
lola: STP completed || 1 tries, 294479 fired transitions, 3465 secs || 296191 markings, 1263482 edges, 88 markings/sec, 3465 secs
lola: STP completed || 1 tries, 294916 fired transitions, 3470 secs || 296630 markings, 1265633 edges, 88 markings/sec, 3470 secs
lola: STP completed || 1 tries, 295352 fired transitions, 3475 secs || 297069 markings, 1267755 edges, 88 markings/sec, 3475 secs
lola: STP completed || 1 tries, 295789 fired transitions, 3480 secs || 297508 markings, 1269900 edges, 88 markings/sec, 3480 secs
lola: STP completed || 1 tries, 296201 fired transitions, 3485 secs || 297948 markings, 1272087 edges, 88 markings/sec, 3485 secs
lola: STP completed || 1 tries, 296637 fired transitions, 3490 secs || 298387 markings, 1274240 edges, 88 markings/sec, 3490 secs
lola: STP completed || 1 tries, 297075 fired transitions, 3495 secs || 298827 markings, 1276406 edges, 88 markings/sec, 3495 secs
lola: STP completed || 1 tries, 297505 fired transitions, 3500 secs || 299266 markings, 1278569 edges, 88 markings/sec, 3500 secs
lola: STP completed || 1 tries, 297862 fired transitions, 3505 secs || 299705 markings, 1280615 edges, 88 markings/sec, 3505 secs
lola: STP completed || 1 tries, 298298 fired transitions, 3510 secs || 300146 markings, 1282323 edges, 88 markings/sec, 3510 secs
lola: STP completed || 1 tries, 298734 fired transitions, 3515 secs || 300585 markings, 1284264 edges, 88 markings/sec, 3515 secs
lola: STP completed || 1 tries, 299168 fired transitions, 3520 secs || 301024 markings, 1286433 edges, 88 markings/sec, 3520 secs
lola: STP completed || 1 tries, 299606 fired transitions, 3525 secs || 301465 markings, 1288592 edges, 88 markings/sec, 3525 secs
lola: STP completed || 1 tries, 300045 fired transitions, 3530 secs || 301905 markings, 1290748 edges, 88 markings/sec, 3530 secs
lola: STP completed || 1 tries, 300480 fired transitions, 3535 secs || 302344 markings, 1292895 edges, 88 markings/sec, 3535 secs
lola: STP completed || 1 tries, 300912 fired transitions, 3540 secs || 302783 markings, 1295088 edges, 88 markings/sec, 3540 secs
lola: STP completed || 1 tries, 301350 fired transitions, 3545 secs || 303224 markings, 1296900 edges, 88 markings/sec, 3545 secs
lola: STP completed || 1 tries, 301783 fired transitions, 3550 secs || 303665 markings, 1298448 edges, 88 markings/sec, 3550 secs
lola: STP completed || 1 tries, 302188 fired transitions, 3555 secs || 304106 markings, 1300176 edges, 88 markings/sec, 3555 secs
lola: STP completed || 1 tries, 302621 fired transitions, 3560 secs || 304546 markings, 1301893 edges, 88 markings/sec, 3560 secs
lola: time limit reached - aborting
lola: memory consumption: 164820 KB
lola: time consumption: 3568 seconds
BK_STOP 1527353087204
--------------------
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="TokenRing-PT-030"
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/TokenRing-PT-030.tgz
mv TokenRing-PT-030 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 TokenRing-PT-030, 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 r172-smll-152708743300342"
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 ;