About the Execution of LoLA for Raft-PT-05
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 15918.440 | 3491986.00 | 7138075.00 | 14201.10 | [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 224K
-rw-r--r-- 1 mcc users 3.2K May 15 18:54 CTLCardinality.txt
-rw-r--r-- 1 mcc users 19K May 15 18:54 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.1K May 15 18:54 CTLFireability.txt
-rw-r--r-- 1 mcc users 14K May 15 18:54 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K May 15 18:50 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 5.8K May 15 18:50 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 2.4K May 15 18:54 LTLCardinality.txt
-rw-r--r-- 1 mcc users 12K May 15 18:54 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.7K May 15 18:54 LTLFireability.txt
-rw-r--r-- 1 mcc users 7.7K May 15 18:54 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.4K May 15 18:54 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 18K May 15 18:54 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 101 May 15 18:54 ReachabilityDeadlock.txt
-rw-r--r-- 1 mcc users 339 May 15 18:54 ReachabilityDeadlock.xml
-rw-r--r-- 1 mcc users 2.8K May 15 18:54 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 20K May 15 18:54 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.5K May 15 18:54 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.5K May 15 18:54 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 15 18:50 equiv_col
-rw-r--r-- 1 mcc users 3 May 15 18:50 instance
-rw-r--r-- 1 mcc users 6 May 15 18:50 iscolored
-rw-r--r-- 1 mcc users 62K May 15 18:50 model.pnml
=====================================================================
Generated by BenchKit 2-3637
Executing tool lola
Input is Raft-PT-05, examination is ReachabilityDeadlock
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r136-qhx2-152673578800132
=====================================================================
--------------------
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 Raft-PT-05-ReachabilityDeadlock-0
=== Now, execution of the tool begins
BK_START 1526946596946
info: Time: 3600 - MCC
===========================================================================================
prep: translating Raft-PT-05 Petri net model.pnml into LoLA format
===========================================================================================
prep: translating PT Petri net complete
prep: net is already safe
prep: check for too many tokens
===========================================================================================
prep: translating Raft-PT-05 formula ReachabilityDeadlock into LoLA format
===========================================================================================
prep: translating PT formula complete
vrfy: Checking ReachabilityDeadlock @ Raft-PT-05 @ 3569 seconds
lola: LoLA will run for 3569 seconds at most (--timelimit)
lola: NET
lola: reading net from model.pnml.lola
lola: finished parsing
lola: closed net file model.pnml.lola
lola: 371/65536 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 133
lola: finding significant places
lola: 133 places, 238 transitions, 108 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 232 transition conflict sets
lola: TASK
lola: reading formula from Raft-PT-05-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 24 generators (4 in search tree, 20 by composition)
lola: representing 120 symmetries
lola: 0 dead branches visited in search tree
lola: STP: formula with 4559 variables and 16204 clauses shipped to Minisat
lola: stp: The siphon/trap property does not hold
lola: STP completed || 1 tries, 232279 fired transitions, 0 secs || 152184 markings, 1069563 edges, 30437 markings/sec, 0 secs
lola: STP completed || 1 tries, 467756 fired transitions, 5 secs || 306426 markings, 2173320 edges, 30848 markings/sec, 5 secs
lola: STP completed || 1 tries, 704283 fired transitions, 10 secs || 456533 markings, 3246583 edges, 30021 markings/sec, 10 secs
lola: STP completed || 1 tries, 940195 fired transitions, 15 secs || 606551 markings, 4316754 edges, 30004 markings/sec, 15 secs
lola: STP completed || 2 tries, 1174765 fired transitions, 20 secs || 756577 markings, 5370002 edges, 30005 markings/sec, 20 secs
lola: STP completed || 2 tries, 1410346 fired transitions, 25 secs || 908417 markings, 6422653 edges, 30368 markings/sec, 25 secs
lola: STP completed || 2 tries, 1646485 fired transitions, 30 secs || 1060372 markings, 7488001 edges, 30391 markings/sec, 30 secs
lola: STP completed || 2 tries, 1883777 fired transitions, 35 secs || 1213326 markings, 8561535 edges, 30591 markings/sec, 35 secs
lola: STP completed || 3 tries, 2144209 fired transitions, 40 secs || 1385249 markings, 9791351 edges, 34385 markings/sec, 40 secs
lola: STP completed || 3 tries, 2392777 fired transitions, 45 secs || 1548732 markings, 10942033 edges, 32697 markings/sec, 45 secs
lola: STP completed || 3 tries, 2636955 fired transitions, 50 secs || 1708901 markings, 12075222 edges, 32034 markings/sec, 50 secs
lola: STP completed || 3 tries, 2873328 fired transitions, 55 secs || 1864796 markings, 13164171 edges, 31179 markings/sec, 55 secs
lola: STP completed || 4 tries, 3109506 fired transitions, 60 secs || 2016726 markings, 14248636 edges, 30386 markings/sec, 60 secs
lola: STP completed || 4 tries, 3367590 fired transitions, 65 secs || 2189437 markings, 15477394 edges, 34542 markings/sec, 65 secs
lola: STP completed || 4 tries, 3610416 fired transitions, 70 secs || 2345498 markings, 16589289 edges, 31212 markings/sec, 70 secs
lola: STP completed || 4 tries, 3848130 fired transitions, 75 secs || 2501595 markings, 17673845 edges, 31219 markings/sec, 75 secs
lola: STP completed || 5 tries, 4112465 fired transitions, 80 secs || 2678822 markings, 18906380 edges, 35445 markings/sec, 80 secs
lola: STP completed || 5 tries, 4381624 fired transitions, 85 secs || 2858489 markings, 20167063 edges, 35933 markings/sec, 85 secs
lola: STP completed || 5 tries, 4650823 fired transitions, 90 secs || 3041433 markings, 21438939 edges, 36589 markings/sec, 90 secs
lola: STP completed || 5 tries, 4918745 fired transitions, 95 secs || 3221147 markings, 22710029 edges, 35943 markings/sec, 95 secs
lola: STP completed || 6 tries, 5157364 fired transitions, 100 secs || 3376101 markings, 23794642 edges, 30991 markings/sec, 100 secs
lola: STP completed || 6 tries, 5394824 fired transitions, 105 secs || 3530589 markings, 24893642 edges, 30898 markings/sec, 105 secs
lola: STP completed || 6 tries, 5654084 fired transitions, 110 secs || 3703224 markings, 26097576 edges, 34527 markings/sec, 110 secs
lola: STP completed || 6 tries, 5894455 fired transitions, 115 secs || 3858294 markings, 27194946 edges, 31014 markings/sec, 115 secs
lola: STP completed || 7 tries, 6153933 fired transitions, 120 secs || 4027418 markings, 28404440 edges, 33825 markings/sec, 120 secs
lola: STP completed || 7 tries, 6424212 fired transitions, 125 secs || 4207741 markings, 29700437 edges, 36065 markings/sec, 125 secs
lola: STP completed || 7 tries, 6669609 fired transitions, 130 secs || 4366632 markings, 30841435 edges, 31778 markings/sec, 130 secs
lola: STP completed || 7 tries, 6905349 fired transitions, 135 secs || 4521554 markings, 31924976 edges, 30984 markings/sec, 135 secs
lola: STP completed || 8 tries, 7145012 fired transitions, 140 secs || 4679500 markings, 33020009 edges, 31589 markings/sec, 140 secs
lola: STP completed || 8 tries, 7385252 fired transitions, 145 secs || 4835467 markings, 34115502 edges, 31193 markings/sec, 145 secs
lola: STP completed || 8 tries, 7619901 fired transitions, 150 secs || 4987897 markings, 35175766 edges, 30486 markings/sec, 150 secs
lola: STP completed || 8 tries, 7854702 fired transitions, 155 secs || 5140751 markings, 36238682 edges, 30571 markings/sec, 155 secs
lola: STP completed || 9 tries, 8091658 fired transitions, 160 secs || 5295286 markings, 37326215 edges, 30907 markings/sec, 160 secs
lola: STP completed || 9 tries, 8325240 fired transitions, 165 secs || 5441853 markings, 38384327 edges, 29313 markings/sec, 165 secs
lola: STP completed || 9 tries, 8560809 fired transitions, 170 secs || 5590454 markings, 39442050 edges, 29720 markings/sec, 170 secs
lola: STP completed || 9 tries, 8794143 fired transitions, 175 secs || 5740252 markings, 40489199 edges, 29960 markings/sec, 175 secs
lola: STP completed || 10 tries, 9054993 fired transitions, 180 secs || 5914503 markings, 41699440 edges, 34850 markings/sec, 180 secs
lola: STP completed || 10 tries, 9313453 fired transitions, 185 secs || 6087178 markings, 42897412 edges, 34535 markings/sec, 185 secs
lola: STP completed || 10 tries, 9550028 fired transitions, 190 secs || 6237759 markings, 43970581 edges, 30116 markings/sec, 190 secs
lola: STP completed || 10 tries, 9786743 fired transitions, 195 secs || 6390102 markings, 45035165 edges, 30469 markings/sec, 195 secs
lola: STP completed || 11 tries, 10024371 fired transitions, 200 secs || 6544325 markings, 46107215 edges, 30845 markings/sec, 200 secs
lola: STP completed || 11 tries, 10261448 fired transitions, 205 secs || 6695979 markings, 47178107 edges, 30331 markings/sec, 205 secs
lola: STP completed || 11 tries, 10496285 fired transitions, 210 secs || 6850914 markings, 48258400 edges, 30987 markings/sec, 210 secs
lola: STP completed || 11 tries, 10732272 fired transitions, 215 secs || 7005773 markings, 49315380 edges, 30972 markings/sec, 215 secs
lola: STP completed || 11 tries, 10967524 fired transitions, 220 secs || 7160032 markings, 50407375 edges, 30852 markings/sec, 220 secs
lola: STP completed || 12 tries, 11210898 fired transitions, 225 secs || 7318817 markings, 51549922 edges, 31757 markings/sec, 225 secs
lola: STP completed || 12 tries, 11443736 fired transitions, 230 secs || 7471985 markings, 52633044 edges, 30634 markings/sec, 230 secs
lola: STP completed || 12 tries, 11670203 fired transitions, 235 secs || 7629653 markings, 53736562 edges, 31534 markings/sec, 235 secs
lola: STP completed || 12 tries, 11903515 fired transitions, 240 secs || 7783526 markings, 54817977 edges, 30775 markings/sec, 240 secs
lola: STP completed || 13 tries, 12139396 fired transitions, 245 secs || 7933457 markings, 55889026 edges, 29986 markings/sec, 245 secs
lola: STP completed || 13 tries, 12374178 fired transitions, 250 secs || 8082661 markings, 56960555 edges, 29841 markings/sec, 250 secs
lola: STP completed || 13 tries, 12610129 fired transitions, 255 secs || 8238382 markings, 58039550 edges, 31144 markings/sec, 255 secs
lola: STP completed || 13 tries, 12846578 fired transitions, 260 secs || 8393279 markings, 59123823 edges, 30979 markings/sec, 260 secs
lola: STP completed || 14 tries, 13080912 fired transitions, 265 secs || 8549729 markings, 60209211 edges, 31290 markings/sec, 265 secs
lola: STP completed || 14 tries, 13314667 fired transitions, 270 secs || 8707131 markings, 61300699 edges, 31480 markings/sec, 270 secs
lola: STP completed || 14 tries, 13548423 fired transitions, 275 secs || 8858272 markings, 62383753 edges, 30228 markings/sec, 275 secs
lola: STP completed || 14 tries, 13780756 fired transitions, 280 secs || 9011067 markings, 63450101 edges, 30559 markings/sec, 280 secs
lola: STP completed || 15 tries, 14015775 fired transitions, 285 secs || 9163638 markings, 64504975 edges, 30514 markings/sec, 285 secs
lola: STP completed || 15 tries, 14253605 fired transitions, 290 secs || 9318359 markings, 65589490 edges, 30944 markings/sec, 290 secs
lola: STP completed || 15 tries, 14491203 fired transitions, 295 secs || 9473614 markings, 66678468 edges, 31051 markings/sec, 295 secs
lola: STP completed || 15 tries, 14751798 fired transitions, 300 secs || 9648513 markings, 67893812 edges, 34980 markings/sec, 300 secs
lola: STP completed || 16 tries, 15020713 fired transitions, 305 secs || 9835018 markings, 69174347 edges, 37301 markings/sec, 305 secs
lola: STP completed || 16 tries, 15284750 fired transitions, 310 secs || 10022154 markings, 70408356 edges, 37427 markings/sec, 310 secs
lola: STP completed || 16 tries, 15520661 fired transitions, 315 secs || 10183723 markings, 71465371 edges, 32314 markings/sec, 315 secs
lola: STP completed || 16 tries, 15758484 fired transitions, 320 secs || 10346132 markings, 72533555 edges, 32482 markings/sec, 320 secs
lola: STP completed || 17 tries, 16003565 fired transitions, 325 secs || 10511924 markings, 73654986 edges, 33158 markings/sec, 325 secs
lola: STP completed || 17 tries, 16271184 fired transitions, 330 secs || 10700122 markings, 74875369 edges, 37640 markings/sec, 330 secs
lola: STP completed || 17 tries, 16539570 fired transitions, 335 secs || 10882836 markings, 76093957 edges, 36543 markings/sec, 335 secs
lola: STP completed || 17 tries, 16777338 fired transitions, 340 secs || 11041578 markings, 77140403 edges, 31748 markings/sec, 340 secs
lola: STP completed || 18 tries, 17028133 fired transitions, 345 secs || 11213922 markings, 78273478 edges, 34469 markings/sec, 345 secs
lola: STP completed || 18 tries, 17280493 fired transitions, 350 secs || 11385224 markings, 79415416 edges, 34260 markings/sec, 350 secs
lola: STP completed || 18 tries, 17529857 fired transitions, 355 secs || 11543025 markings, 80548383 edges, 31560 markings/sec, 355 secs
lola: STP completed || 18 tries, 17783123 fired transitions, 360 secs || 11708831 markings, 81696295 edges, 33161 markings/sec, 360 secs
lola: STP completed || 19 tries, 18044664 fired transitions, 365 secs || 11876367 markings, 82897449 edges, 33507 markings/sec, 365 secs
lola: STP completed || 19 tries, 18312938 fired transitions, 370 secs || 12049911 markings, 84138114 edges, 34709 markings/sec, 370 secs
lola: STP completed || 19 tries, 18564491 fired transitions, 375 secs || 12209773 markings, 85276243 edges, 31972 markings/sec, 375 secs
lola: STP completed || 19 tries, 18816414 fired transitions, 380 secs || 12366270 markings, 86399008 edges, 31299 markings/sec, 380 secs
lola: STP completed || 20 tries, 19080014 fired transitions, 385 secs || 12535826 markings, 87600505 edges, 33911 markings/sec, 385 secs
lola: STP completed || 20 tries, 19348747 fired transitions, 390 secs || 12715092 markings, 88848572 edges, 35853 markings/sec, 390 secs
lola: STP completed || 20 tries, 19560517 fired transitions, 395 secs || 12851183 markings, 89807250 edges, 27218 markings/sec, 395 secs
lola: STP completed || 20 tries, 19793848 fired transitions, 400 secs || 13001268 markings, 90872423 edges, 30017 markings/sec, 400 secs
lola: STP completed || 21 tries, 20028004 fired transitions, 405 secs || 13146275 markings, 91919317 edges, 29001 markings/sec, 405 secs
lola: STP completed || 21 tries, 20260019 fired transitions, 410 secs || 13290200 markings, 92957481 edges, 28785 markings/sec, 410 secs
lola: STP completed || 21 tries, 20495708 fired transitions, 415 secs || 13437797 markings, 94013929 edges, 29519 markings/sec, 415 secs
lola: STP completed || 21 tries, 20730918 fired transitions, 420 secs || 13587024 markings, 95065376 edges, 29845 markings/sec, 420 secs
lola: STP completed || 21 tries, 20966731 fired transitions, 425 secs || 13738505 markings, 96128692 edges, 30296 markings/sec, 425 secs
lola: STP completed || 22 tries, 21199241 fired transitions, 430 secs || 13885299 markings, 97178014 edges, 29359 markings/sec, 430 secs
lola: STP completed || 22 tries, 21461773 fired transitions, 435 secs || 14053733 markings, 98376598 edges, 33687 markings/sec, 435 secs
lola: STP completed || 22 tries, 21699161 fired transitions, 440 secs || 14201016 markings, 99433069 edges, 29457 markings/sec, 440 secs
lola: STP completed || 22 tries, 21960241 fired transitions, 445 secs || 14375126 markings, 100634413 edges, 34822 markings/sec, 445 secs
lola: STP completed || 23 tries, 22210311 fired transitions, 450 secs || 14538610 markings, 101781098 edges, 32697 markings/sec, 450 secs
lola: STP completed || 23 tries, 22450475 fired transitions, 455 secs || 14692237 markings, 102862231 edges, 30725 markings/sec, 455 secs
lola: STP completed || 23 tries, 22713030 fired transitions, 460 secs || 14859579 markings, 104072946 edges, 33468 markings/sec, 460 secs
lola: STP completed || 23 tries, 22964079 fired transitions, 465 secs || 15023417 markings, 105228905 edges, 32768 markings/sec, 465 secs
lola: STP completed || 24 tries, 23209940 fired transitions, 470 secs || 15181649 markings, 106340260 edges, 31646 markings/sec, 470 secs
lola: STP completed || 24 tries, 23455609 fired transitions, 475 secs || 15345050 markings, 107468752 edges, 32680 markings/sec, 475 secs
lola: STP completed || 24 tries, 23705659 fired transitions, 480 secs || 15506164 markings, 108612125 edges, 32223 markings/sec, 480 secs
lola: STP completed || 24 tries, 23949391 fired transitions, 485 secs || 15664752 markings, 109713670 edges, 31718 markings/sec, 485 secs
lola: STP completed || 25 tries, 24208398 fired transitions, 490 secs || 15835853 markings, 110917923 edges, 34220 markings/sec, 490 secs
lola: STP completed || 25 tries, 24470315 fired transitions, 495 secs || 16009709 markings, 112130657 edges, 34771 markings/sec, 495 secs
lola: STP completed || 25 tries, 24729181 fired transitions, 500 secs || 16180511 markings, 113334712 edges, 34160 markings/sec, 500 secs
lola: STP completed || 25 tries, 24992205 fired transitions, 505 secs || 16353800 markings, 114559063 edges, 34658 markings/sec, 505 secs
lola: STP completed || 26 tries, 25246058 fired transitions, 510 secs || 16515616 markings, 115728304 edges, 32363 markings/sec, 510 secs
lola: STP completed || 26 tries, 25482343 fired transitions, 515 secs || 16668181 markings, 116794459 edges, 30513 markings/sec, 515 secs
lola: STP completed || 26 tries, 25717005 fired transitions, 520 secs || 16820218 markings, 117859443 edges, 30407 markings/sec, 520 secs
lola: STP completed || 26 tries, 25976116 fired transitions, 525 secs || 16990987 markings, 119063695 edges, 34154 markings/sec, 525 secs
lola: STP completed || 27 tries, 26218829 fired transitions, 530 secs || 17143597 markings, 120160431 edges, 30522 markings/sec, 530 secs
lola: STP completed || 27 tries, 26455902 fired transitions, 535 secs || 17290670 markings, 121217324 edges, 29415 markings/sec, 535 secs
lola: STP completed || 27 tries, 26691467 fired transitions, 540 secs || 17441312 markings, 122262410 edges, 30128 markings/sec, 540 secs
lola: STP completed || 27 tries, 26925397 fired transitions, 545 secs || 17595501 markings, 123326201 edges, 30838 markings/sec, 545 secs
lola: STP completed || 28 tries, 27162390 fired transitions, 550 secs || 17748429 markings, 124393840 edges, 30586 markings/sec, 550 secs
lola: STP completed || 28 tries, 27402658 fired transitions, 555 secs || 17903269 markings, 125467812 edges, 30968 markings/sec, 555 secs
lola: STP completed || 28 tries, 27641427 fired transitions, 560 secs || 18058643 markings, 126549458 edges, 31075 markings/sec, 560 secs
lola: STP completed || 28 tries, 27879362 fired transitions, 565 secs || 18214257 markings, 127638378 edges, 31123 markings/sec, 565 secs
lola: STP completed || 29 tries, 28119101 fired transitions, 570 secs || 18369491 markings, 128713256 edges, 31047 markings/sec, 570 secs
lola: STP completed || 29 tries, 28357260 fired transitions, 575 secs || 18523619 markings, 129778249 edges, 30826 markings/sec, 575 secs
lola: STP completed || 29 tries, 28595839 fired transitions, 580 secs || 18678356 markings, 130850093 edges, 30947 markings/sec, 580 secs
lola: STP completed || 29 tries, 28834686 fired transitions, 585 secs || 18828793 markings, 131904817 edges, 30087 markings/sec, 585 secs
lola: STP completed || 30 tries, 29072587 fired transitions, 590 secs || 18979845 markings, 132942746 edges, 30210 markings/sec, 590 secs
lola: STP completed || 30 tries, 29310719 fired transitions, 595 secs || 19129482 markings, 133989457 edges, 29927 markings/sec, 595 secs
lola: STP completed || 30 tries, 29547693 fired transitions, 600 secs || 19279369 markings, 135039864 edges, 29977 markings/sec, 600 secs
lola: STP completed || 30 tries, 29786150 fired transitions, 605 secs || 19432843 markings, 136095526 edges, 30695 markings/sec, 605 secs
lola: STP completed || 31 tries, 30024909 fired transitions, 610 secs || 19581812 markings, 137129209 edges, 29794 markings/sec, 610 secs
lola: STP completed || 31 tries, 30263151 fired transitions, 615 secs || 19734304 markings, 138196721 edges, 30498 markings/sec, 615 secs
lola: STP completed || 31 tries, 30500995 fired transitions, 620 secs || 19886844 markings, 139257820 edges, 30508 markings/sec, 620 secs
lola: STP completed || 31 tries, 30735572 fired transitions, 625 secs || 20039666 markings, 140318964 edges, 30564 markings/sec, 625 secs
lola: STP completed || 31 tries, 30973940 fired transitions, 630 secs || 20190499 markings, 141387587 edges, 30167 markings/sec, 630 secs
lola: STP completed || 32 tries, 31210336 fired transitions, 635 secs || 20328998 markings, 142376704 edges, 27700 markings/sec, 635 secs
lola: STP completed || 32 tries, 31446246 fired transitions, 640 secs || 20475986 markings, 143433518 edges, 29398 markings/sec, 640 secs
lola: STP completed || 32 tries, 31680245 fired transitions, 645 secs || 20624036 markings, 144494483 edges, 29610 markings/sec, 645 secs
lola: STP completed || 32 tries, 31916405 fired transitions, 650 secs || 20776839 markings, 145554669 edges, 30561 markings/sec, 650 secs
lola: STP completed || 33 tries, 32168315 fired transitions, 655 secs || 20941986 markings, 146703035 edges, 33029 markings/sec, 655 secs
lola: STP completed || 33 tries, 32436124 fired transitions, 660 secs || 21117500 markings, 147949899 edges, 35103 markings/sec, 660 secs
lola: STP completed || 33 tries, 32700098 fired transitions, 665 secs || 21290598 markings, 149185838 edges, 34620 markings/sec, 665 secs
lola: STP completed || 33 tries, 32952305 fired transitions, 670 secs || 21454584 markings, 150358443 edges, 32797 markings/sec, 670 secs
lola: STP completed || 34 tries, 33188462 fired transitions, 675 secs || 21605612 markings, 151439976 edges, 30206 markings/sec, 675 secs
lola: STP completed || 34 tries, 33424945 fired transitions, 680 secs || 21754250 markings, 152500750 edges, 29728 markings/sec, 680 secs
lola: STP completed || 34 tries, 33660050 fired transitions, 685 secs || 21901480 markings, 153547074 edges, 29446 markings/sec, 685 secs
lola: STP completed || 34 tries, 33897253 fired transitions, 690 secs || 22052541 markings, 154606302 edges, 30212 markings/sec, 690 secs
lola: STP completed || 35 tries, 34141359 fired transitions, 695 secs || 22211133 markings, 155725989 edges, 31718 markings/sec, 695 secs
lola: STP completed || 35 tries, 34388177 fired transitions, 700 secs || 22370123 markings, 156864217 edges, 31798 markings/sec, 700 secs
lola: STP completed || 35 tries, 34641507 fired transitions, 705 secs || 22531004 markings, 158025914 edges, 32176 markings/sec, 705 secs
lola: STP completed || 35 tries, 34895763 fired transitions, 710 secs || 22693838 markings, 159173873 edges, 32567 markings/sec, 710 secs
lola: STP completed || 36 tries, 35133427 fired transitions, 715 secs || 22843663 markings, 160223185 edges, 29965 markings/sec, 715 secs
lola: STP completed || 36 tries, 35372486 fired transitions, 720 secs || 22998048 markings, 161292097 edges, 30877 markings/sec, 720 secs
lola: STP completed || 36 tries, 35610971 fired transitions, 725 secs || 23147771 markings, 162353519 edges, 29945 markings/sec, 725 secs
lola: STP completed || 36 tries, 35849995 fired transitions, 730 secs || 23295318 markings, 163417318 edges, 29509 markings/sec, 730 secs
lola: STP completed || 37 tries, 36083800 fired transitions, 735 secs || 23445530 markings, 164488358 edges, 30042 markings/sec, 735 secs
lola: STP completed || 37 tries, 36322041 fired transitions, 740 secs || 23598656 markings, 165558138 edges, 30625 markings/sec, 740 secs
lola: STP completed || 37 tries, 36561196 fired transitions, 745 secs || 23753274 markings, 166627623 edges, 30924 markings/sec, 745 secs
lola: STP completed || 37 tries, 36801797 fired transitions, 750 secs || 23905473 markings, 167702044 edges, 30440 markings/sec, 750 secs
lola: STP completed || 38 tries, 37037645 fired transitions, 755 secs || 24057502 markings, 168775243 edges, 30406 markings/sec, 755 secs
lola: STP completed || 38 tries, 37270893 fired transitions, 760 secs || 24211385 markings, 169842005 edges, 30777 markings/sec, 760 secs
lola: STP completed || 38 tries, 37502750 fired transitions, 765 secs || 24364045 markings, 170902807 edges, 30532 markings/sec, 765 secs
lola: STP completed || 38 tries, 37736618 fired transitions, 770 secs || 24514715 markings, 171961467 edges, 30134 markings/sec, 770 secs
lola: STP completed || 38 tries, 37974543 fired transitions, 775 secs || 24665529 markings, 173025393 edges, 30163 markings/sec, 775 secs
lola: STP completed || 39 tries, 38213711 fired transitions, 780 secs || 24821988 markings, 174095833 edges, 31292 markings/sec, 780 secs
lola: STP completed || 39 tries, 38454104 fired transitions, 785 secs || 24974844 markings, 175159430 edges, 30571 markings/sec, 785 secs
lola: STP completed || 39 tries, 38692988 fired transitions, 790 secs || 25122083 markings, 176207277 edges, 29448 markings/sec, 790 secs
lola: STP completed || 39 tries, 38934173 fired transitions, 795 secs || 25272437 markings, 177278066 edges, 30071 markings/sec, 795 secs
lola: STP completed || 40 tries, 39176870 fired transitions, 800 secs || 25437699 markings, 178347588 edges, 33052 markings/sec, 800 secs
lola: STP completed || 40 tries, 39420677 fired transitions, 805 secs || 25604077 markings, 179391047 edges, 33276 markings/sec, 805 secs
lola: STP completed || 40 tries, 39674664 fired transitions, 810 secs || 25780214 markings, 180517275 edges, 35227 markings/sec, 810 secs
lola: STP completed || 40 tries, 39930142 fired transitions, 815 secs || 25957057 markings, 181708491 edges, 35369 markings/sec, 815 secs
lola: STP completed || 41 tries, 40173175 fired transitions, 820 secs || 26110417 markings, 182807259 edges, 30672 markings/sec, 820 secs
lola: STP completed || 41 tries, 40421044 fired transitions, 825 secs || 26269067 markings, 183935522 edges, 31730 markings/sec, 825 secs
lola: STP completed || 41 tries, 40690747 fired transitions, 830 secs || 26449637 markings, 185214093 edges, 36114 markings/sec, 830 secs
lola: STP completed || 41 tries, 40960317 fired transitions, 835 secs || 26628917 markings, 186475471 edges, 35856 markings/sec, 835 secs
lola: STP completed || 42 tries, 41205440 fired transitions, 840 secs || 26790136 markings, 187589073 edges, 32244 markings/sec, 840 secs
lola: STP completed || 42 tries, 41460414 fired transitions, 845 secs || 26954746 markings, 188761358 edges, 32922 markings/sec, 845 secs
lola: STP completed || 42 tries, 41710156 fired transitions, 850 secs || 27110669 markings, 189882240 edges, 31185 markings/sec, 850 secs
lola: STP completed || 42 tries, 41947707 fired transitions, 855 secs || 27260593 markings, 190930825 edges, 29985 markings/sec, 855 secs
lola: STP completed || 43 tries, 42186904 fired transitions, 860 secs || 27409797 markings, 191979401 edges, 29841 markings/sec, 860 secs
lola: STP completed || 43 tries, 42425933 fired transitions, 865 secs || 27565043 markings, 193042995 edges, 31049 markings/sec, 865 secs
lola: STP completed || 43 tries, 42664849 fired transitions, 870 secs || 27716937 markings, 194100884 edges, 30379 markings/sec, 870 secs
lola: STP completed || 43 tries, 42901062 fired transitions, 875 secs || 27864067 markings, 195156397 edges, 29426 markings/sec, 875 secs
lola: STP completed || 44 tries, 43152269 fired transitions, 880 secs || 28018763 markings, 196271974 edges, 30939 markings/sec, 880 secs
lola: STP completed || 44 tries, 43388904 fired transitions, 885 secs || 28164813 markings, 197315729 edges, 29210 markings/sec, 885 secs
lola: STP completed || 44 tries, 43645918 fired transitions, 890 secs || 28329582 markings, 198486170 edges, 32954 markings/sec, 890 secs
lola: STP completed || 44 tries, 43910104 fired transitions, 895 secs || 28498766 markings, 199685651 edges, 33837 markings/sec, 895 secs
lola: STP completed || 45 tries, 44171240 fired transitions, 900 secs || 28670741 markings, 200874682 edges, 34395 markings/sec, 900 secs
lola: STP completed || 45 tries, 44409219 fired transitions, 905 secs || 28820531 markings, 201913368 edges, 29958 markings/sec, 905 secs
lola: STP completed || 45 tries, 44648486 fired transitions, 910 secs || 28974493 markings, 203008758 edges, 30792 markings/sec, 910 secs
lola: STP completed || 45 tries, 44894343 fired transitions, 915 secs || 29131596 markings, 204127646 edges, 31421 markings/sec, 915 secs
lola: STP completed || 46 tries, 45132038 fired transitions, 920 secs || 29278791 markings, 205178128 edges, 29439 markings/sec, 920 secs
lola: STP completed || 46 tries, 45370209 fired transitions, 925 secs || 29429412 markings, 206237932 edges, 30124 markings/sec, 925 secs
lola: STP completed || 46 tries, 45609006 fired transitions, 930 secs || 29576615 markings, 207261198 edges, 29441 markings/sec, 930 secs
lola: STP completed || 46 tries, 45843650 fired transitions, 935 secs || 29727519 markings, 208326533 edges, 30181 markings/sec, 935 secs
lola: STP completed || 47 tries, 46081872 fired transitions, 940 secs || 29882114 markings, 209397872 edges, 30919 markings/sec, 940 secs
lola: STP completed || 47 tries, 46317712 fired transitions, 945 secs || 30036992 markings, 210468760 edges, 30976 markings/sec, 945 secs
lola: STP completed || 47 tries, 46555635 fired transitions, 950 secs || 30191283 markings, 211542831 edges, 30858 markings/sec, 950 secs
lola: STP completed || 47 tries, 46794568 fired transitions, 955 secs || 30345798 markings, 212588495 edges, 30903 markings/sec, 955 secs
lola: STP completed || 48 tries, 47030068 fired transitions, 960 secs || 30491455 markings, 213623852 edges, 29131 markings/sec, 960 secs
lola: STP completed || 48 tries, 47267827 fired transitions, 965 secs || 30634229 markings, 214645160 edges, 28555 markings/sec, 965 secs
lola: STP completed || 48 tries, 47515022 fired transitions, 970 secs || 30787315 markings, 215744182 edges, 30617 markings/sec, 970 secs
lola: STP completed || 48 tries, 47755639 fired transitions, 975 secs || 30938265 markings, 216806668 edges, 30190 markings/sec, 975 secs
lola: STP completed || 48 tries, 47991143 fired transitions, 980 secs || 31086485 markings, 217849250 edges, 29644 markings/sec, 980 secs
lola: STP completed || 49 tries, 48227822 fired transitions, 985 secs || 31233477 markings, 218897032 edges, 29398 markings/sec, 985 secs
lola: STP completed || 49 tries, 48464975 fired transitions, 990 secs || 31379049 markings, 219936090 edges, 29114 markings/sec, 990 secs
lola: STP completed || 49 tries, 48703224 fired transitions, 995 secs || 31526870 markings, 220994892 edges, 29564 markings/sec, 995 secs
lola: STP completed || 49 tries, 48942411 fired transitions, 1000 secs || 31678640 markings, 222054781 edges, 30354 markings/sec, 1000 secs
lola: STP completed || 50 tries, 49180844 fired transitions, 1005 secs || 31830085 markings, 223118274 edges, 30289 markings/sec, 1005 secs
lola: STP completed || 50 tries, 49417102 fired transitions, 1010 secs || 31979396 markings, 224175967 edges, 29862 markings/sec, 1010 secs
lola: STP completed || 50 tries, 49656107 fired transitions, 1015 secs || 32133053 markings, 225243875 edges, 30731 markings/sec, 1015 secs
lola: STP completed || 50 tries, 49895958 fired transitions, 1020 secs || 32285781 markings, 226307066 edges, 30546 markings/sec, 1020 secs
lola: STP completed || 51 tries, 50135455 fired transitions, 1025 secs || 32443056 markings, 227375363 edges, 31455 markings/sec, 1025 secs
lola: STP completed || 51 tries, 50375243 fired transitions, 1030 secs || 32594049 markings, 228449399 edges, 30199 markings/sec, 1030 secs
lola: STP completed || 51 tries, 50614087 fired transitions, 1035 secs || 32747339 markings, 229526057 edges, 30658 markings/sec, 1035 secs
lola: STP completed || 51 tries, 50853011 fired transitions, 1040 secs || 32900566 markings, 230588003 edges, 30645 markings/sec, 1040 secs
lola: STP completed || 52 tries, 51091681 fired transitions, 1045 secs || 33053673 markings, 231641965 edges, 30621 markings/sec, 1045 secs
lola: STP completed || 52 tries, 51327701 fired transitions, 1050 secs || 33201356 markings, 232691206 edges, 29537 markings/sec, 1050 secs
lola: STP completed || 52 tries, 51564173 fired transitions, 1055 secs || 33349303 markings, 233744286 edges, 29589 markings/sec, 1055 secs
lola: STP completed || 52 tries, 51800450 fired transitions, 1060 secs || 33499094 markings, 234808045 edges, 29958 markings/sec, 1060 secs
lola: STP completed || 53 tries, 52037395 fired transitions, 1065 secs || 33649929 markings, 235876660 edges, 30167 markings/sec, 1065 secs
lola: STP completed || 53 tries, 52274276 fired transitions, 1070 secs || 33799262 markings, 236945066 edges, 29867 markings/sec, 1070 secs
lola: STP completed || 53 tries, 52512551 fired transitions, 1075 secs || 33948956 markings, 238017964 edges, 29939 markings/sec, 1075 secs
lola: STP completed || 53 tries, 52751039 fired transitions, 1080 secs || 34102195 markings, 239089653 edges, 30648 markings/sec, 1080 secs
lola: STP completed || 54 tries, 53003599 fired transitions, 1085 secs || 34268409 markings, 240253270 edges, 33243 markings/sec, 1085 secs
lola: STP completed || 54 tries, 53252363 fired transitions, 1090 secs || 34433259 markings, 241399732 edges, 32970 markings/sec, 1090 secs
lola: STP completed || 54 tries, 53490378 fired transitions, 1095 secs || 34587523 markings, 242475560 edges, 30853 markings/sec, 1095 secs
lola: STP completed || 54 tries, 53733233 fired transitions, 1100 secs || 34750624 markings, 243600276 edges, 32620 markings/sec, 1100 secs
lola: STP completed || 54 tries, 53982264 fired transitions, 1105 secs || 34912061 markings, 244739715 edges, 32287 markings/sec, 1105 secs
lola: STP completed || 55 tries, 54236895 fired transitions, 1110 secs || 35079923 markings, 245915983 edges, 33572 markings/sec, 1110 secs
lola: STP completed || 55 tries, 54486596 fired transitions, 1115 secs || 35245422 markings, 247067932 edges, 33100 markings/sec, 1115 secs
lola: STP completed || 55 tries, 54728580 fired transitions, 1120 secs || 35402933 markings, 248163486 edges, 31502 markings/sec, 1120 secs
lola: STP completed || 55 tries, 54966234 fired transitions, 1125 secs || 35552575 markings, 249220178 edges, 29928 markings/sec, 1125 secs
lola: STP completed || 56 tries, 55223279 fired transitions, 1130 secs || 35720508 markings, 250414282 edges, 33587 markings/sec, 1130 secs
lola: STP completed || 56 tries, 55463690 fired transitions, 1135 secs || 35873855 markings, 251506589 edges, 30669 markings/sec, 1135 secs
lola: STP completed || 56 tries, 55701280 fired transitions, 1140 secs || 36027003 markings, 252591858 edges, 30630 markings/sec, 1140 secs
lola: STP completed || 56 tries, 55938794 fired transitions, 1145 secs || 36182125 markings, 253676310 edges, 31024 markings/sec, 1145 secs
lola: STP completed || 57 tries, 56176414 fired transitions, 1150 secs || 36337806 markings, 254754582 edges, 31136 markings/sec, 1150 secs
lola: STP completed || 57 tries, 56413958 fired transitions, 1155 secs || 36489558 markings, 255822452 edges, 30350 markings/sec, 1155 secs
lola: STP completed || 57 tries, 56650868 fired transitions, 1160 secs || 36637626 markings, 256882361 edges, 29614 markings/sec, 1160 secs
lola: STP completed || 57 tries, 56888140 fired transitions, 1165 secs || 36789670 markings, 257950014 edges, 30409 markings/sec, 1165 secs
lola: STP completed || 58 tries, 57114734 fired transitions, 1170 secs || 36941069 markings, 259028191 edges, 30280 markings/sec, 1170 secs
lola: STP completed || 58 tries, 57352550 fired transitions, 1175 secs || 37091177 markings, 260085864 edges, 30022 markings/sec, 1175 secs
lola: STP completed || 58 tries, 57590082 fired transitions, 1180 secs || 37236896 markings, 261129891 edges, 29144 markings/sec, 1180 secs
lola: STP completed || 58 tries, 57825991 fired transitions, 1185 secs || 37384984 markings, 262175505 edges, 29618 markings/sec, 1185 secs
lola: STP completed || 59 tries, 58083780 fired transitions, 1190 secs || 37554245 markings, 263344949 edges, 33852 markings/sec, 1190 secs
lola: STP completed || 59 tries, 58321936 fired transitions, 1195 secs || 37708332 markings, 264416952 edges, 30817 markings/sec, 1195 secs
lola: STP completed || 59 tries, 58558153 fired transitions, 1200 secs || 37860130 markings, 265489247 edges, 30360 markings/sec, 1200 secs
lola: STP completed || 59 tries, 58795938 fired transitions, 1205 secs || 38012504 markings, 266557618 edges, 30475 markings/sec, 1205 secs
lola: STP completed || 60 tries, 59034678 fired transitions, 1210 secs || 38165894 markings, 267629722 edges, 30678 markings/sec, 1210 secs
lola: STP completed || 60 tries, 59273413 fired transitions, 1215 secs || 38319462 markings, 268696285 edges, 30714 markings/sec, 1215 secs
lola: STP completed || 60 tries, 59512169 fired transitions, 1220 secs || 38471231 markings, 269756391 edges, 30354 markings/sec, 1220 secs
lola: STP completed || 60 tries, 59750258 fired transitions, 1225 secs || 38623356 markings, 270818607 edges, 30425 markings/sec, 1225 secs
lola: STP completed || 60 tries, 59987776 fired transitions, 1230 secs || 38774669 markings, 271886405 edges, 30263 markings/sec, 1230 secs
lola: STP completed || 61 tries, 60225552 fired transitions, 1235 secs || 38927701 markings, 272953261 edges, 30606 markings/sec, 1235 secs
lola: STP completed || 61 tries, 60463882 fired transitions, 1240 secs || 39078106 markings, 274012576 edges, 30081 markings/sec, 1240 secs
lola: STP completed || 61 tries, 60699743 fired transitions, 1245 secs || 39231641 markings, 275074302 edges, 30707 markings/sec, 1245 secs
lola: STP completed || 61 tries, 60936795 fired transitions, 1250 secs || 39384862 markings, 276146866 edges, 30644 markings/sec, 1250 secs
lola: STP completed || 62 tries, 61174320 fired transitions, 1255 secs || 39536965 markings, 277226785 edges, 30421 markings/sec, 1255 secs
lola: STP completed || 62 tries, 61413009 fired transitions, 1260 secs || 39689837 markings, 278303832 edges, 30574 markings/sec, 1260 secs
lola: STP completed || 62 tries, 61652553 fired transitions, 1265 secs || 39840947 markings, 279348742 edges, 30222 markings/sec, 1265 secs
lola: STP completed || 62 tries, 61891189 fired transitions, 1270 secs || 39993919 markings, 280410626 edges, 30594 markings/sec, 1270 secs
lola: STP completed || 63 tries, 62128897 fired transitions, 1275 secs || 40141484 markings, 281458221 edges, 29513 markings/sec, 1275 secs
lola: STP completed || 63 tries, 62366447 fired transitions, 1280 secs || 40289945 markings, 282506404 edges, 29692 markings/sec, 1280 secs
lola: STP completed || 63 tries, 62611807 fired transitions, 1285 secs || 40443541 markings, 283600680 edges, 30719 markings/sec, 1285 secs
lola: STP completed || 63 tries, 62849370 fired transitions, 1290 secs || 40592240 markings, 284659729 edges, 29740 markings/sec, 1290 secs
lola: STP completed || 64 tries, 63086893 fired transitions, 1295 secs || 40744389 markings, 285719866 edges, 30430 markings/sec, 1295 secs
lola: STP completed || 64 tries, 63324295 fired transitions, 1300 secs || 40894220 markings, 286777402 edges, 29966 markings/sec, 1300 secs
lola: STP completed || 64 tries, 63561204 fired transitions, 1305 secs || 41039874 markings, 287824931 edges, 29131 markings/sec, 1305 secs
lola: STP completed || 64 tries, 63796302 fired transitions, 1310 secs || 41186636 markings, 288872399 edges, 29352 markings/sec, 1310 secs
lola: STP completed || 65 tries, 64036124 fired transitions, 1315 secs || 41338279 markings, 289934887 edges, 30329 markings/sec, 1315 secs
lola: STP completed || 65 tries, 64275005 fired transitions, 1320 secs || 41491444 markings, 290990854 edges, 30633 markings/sec, 1320 secs
lola: STP completed || 65 tries, 64510817 fired transitions, 1325 secs || 41641972 markings, 292045359 edges, 30106 markings/sec, 1325 secs
lola: STP completed || 65 tries, 64748836 fired transitions, 1330 secs || 41791306 markings, 293092802 edges, 29867 markings/sec, 1330 secs
lola: STP completed || 65 tries, 64988522 fired transitions, 1335 secs || 41944413 markings, 294153218 edges, 30621 markings/sec, 1335 secs
lola: STP completed || 66 tries, 65227541 fired transitions, 1340 secs || 42097621 markings, 295211306 edges, 30642 markings/sec, 1340 secs
lola: STP completed || 66 tries, 65466671 fired transitions, 1345 secs || 42246634 markings, 296262683 edges, 29803 markings/sec, 1345 secs
lola: STP completed || 66 tries, 65704490 fired transitions, 1350 secs || 42398642 markings, 297318056 edges, 30402 markings/sec, 1350 secs
lola: STP completed || 66 tries, 65946401 fired transitions, 1355 secs || 42552888 markings, 298394953 edges, 30849 markings/sec, 1355 secs
lola: STP completed || 67 tries, 66196701 fired transitions, 1360 secs || 42718358 markings, 299537379 edges, 33094 markings/sec, 1360 secs
lola: STP completed || 67 tries, 66434483 fired transitions, 1365 secs || 42871103 markings, 300607791 edges, 30549 markings/sec, 1365 secs
lola: STP completed || 67 tries, 66673898 fired transitions, 1370 secs || 43021713 markings, 301671362 edges, 30122 markings/sec, 1370 secs
lola: STP completed || 67 tries, 66912855 fired transitions, 1375 secs || 43174048 markings, 302739172 edges, 30467 markings/sec, 1375 secs
lola: STP completed || 68 tries, 67151600 fired transitions, 1380 secs || 43325217 markings, 303798917 edges, 30234 markings/sec, 1380 secs
lola: STP completed || 68 tries, 67391057 fired transitions, 1385 secs || 43475382 markings, 304868536 edges, 30033 markings/sec, 1385 secs
lola: STP completed || 68 tries, 67631926 fired transitions, 1390 secs || 43629922 markings, 305945820 edges, 30908 markings/sec, 1390 secs
lola: STP completed || 68 tries, 67894153 fired transitions, 1395 secs || 43804500 markings, 307152370 edges, 34916 markings/sec, 1395 secs
lola: STP completed || 69 tries, 68161711 fired transitions, 1400 secs || 43981338 markings, 308386610 edges, 35368 markings/sec, 1400 secs
lola: STP completed || 69 tries, 68428855 fired transitions, 1405 secs || 44154328 markings, 309605680 edges, 34598 markings/sec, 1405 secs
lola: STP completed || 69 tries, 68692624 fired transitions, 1410 secs || 44323564 markings, 310819559 edges, 33847 markings/sec, 1410 secs
lola: STP completed || 69 tries, 68951935 fired transitions, 1415 secs || 44490379 markings, 312003348 edges, 33363 markings/sec, 1415 secs
lola: STP completed || 70 tries, 69207653 fired transitions, 1420 secs || 44655938 markings, 313182477 edges, 33112 markings/sec, 1420 secs
lola: STP completed || 70 tries, 69469016 fired transitions, 1425 secs || 44820591 markings, 314369781 edges, 32931 markings/sec, 1425 secs
lola: STP completed || 70 tries, 69724357 fired transitions, 1430 secs || 44984123 markings, 315518060 edges, 32706 markings/sec, 1430 secs
lola: STP completed || 70 tries, 69974019 fired transitions, 1435 secs || 45141219 markings, 316647274 edges, 31419 markings/sec, 1435 secs
lola: STP completed || 71 tries, 70241754 fired transitions, 1440 secs || 45315873 markings, 317894718 edges, 34931 markings/sec, 1440 secs
lola: STP completed || 71 tries, 70480735 fired transitions, 1445 secs || 45471857 markings, 318996875 edges, 31197 markings/sec, 1445 secs
lola: STP completed || 71 tries, 70720875 fired transitions, 1450 secs || 45628698 markings, 320073629 edges, 31368 markings/sec, 1450 secs
lola: STP completed || 71 tries, 70959656 fired transitions, 1455 secs || 45781937 markings, 321140506 edges, 30648 markings/sec, 1455 secs
lola: STP completed || 72 tries, 71197388 fired transitions, 1460 secs || 45928549 markings, 322192599 edges, 29322 markings/sec, 1460 secs
lola: STP completed || 72 tries, 71435258 fired transitions, 1465 secs || 46076250 markings, 323242150 edges, 29540 markings/sec, 1465 secs
lola: STP completed || 72 tries, 71673263 fired transitions, 1470 secs || 46224182 markings, 324303051 edges, 29586 markings/sec, 1470 secs
lola: STP completed || 72 tries, 71910955 fired transitions, 1475 secs || 46375585 markings, 325354255 edges, 30281 markings/sec, 1475 secs
lola: STP completed || 73 tries, 72147599 fired transitions, 1480 secs || 46523557 markings, 326407294 edges, 29594 markings/sec, 1480 secs
lola: STP completed || 73 tries, 72383859 fired transitions, 1485 secs || 46669545 markings, 327454765 edges, 29198 markings/sec, 1485 secs
lola: STP completed || 73 tries, 72621181 fired transitions, 1490 secs || 46816444 markings, 328502055 edges, 29380 markings/sec, 1490 secs
lola: STP completed || 73 tries, 72859602 fired transitions, 1495 secs || 46963037 markings, 329548936 edges, 29319 markings/sec, 1495 secs
lola: STP completed || 74 tries, 73101137 fired transitions, 1500 secs || 47118621 markings, 330627702 edges, 31117 markings/sec, 1500 secs
lola: STP completed || 74 tries, 73338688 fired transitions, 1505 secs || 47269795 markings, 331700923 edges, 30235 markings/sec, 1505 secs
lola: STP completed || 74 tries, 73577031 fired transitions, 1510 secs || 47423814 markings, 332772976 edges, 30804 markings/sec, 1510 secs
lola: STP completed || 74 tries, 73812640 fired transitions, 1515 secs || 47574227 markings, 333824658 edges, 30083 markings/sec, 1515 secs
lola: STP completed || 75 tries, 74069157 fired transitions, 1520 secs || 47743736 markings, 335001126 edges, 33902 markings/sec, 1520 secs
lola: STP completed || 75 tries, 74308390 fired transitions, 1525 secs || 47893128 markings, 336071305 edges, 29878 markings/sec, 1525 secs
lola: STP completed || 75 tries, 74546026 fired transitions, 1530 secs || 48042151 markings, 337131589 edges, 29805 markings/sec, 1530 secs
lola: STP completed || 75 tries, 74802067 fired transitions, 1535 secs || 48207873 markings, 338301339 edges, 33144 markings/sec, 1535 secs
lola: STP completed || 76 tries, 75071599 fired transitions, 1540 secs || 48383722 markings, 339542177 edges, 35170 markings/sec, 1540 secs
lola: STP completed || 76 tries, 75338783 fired transitions, 1545 secs || 48554807 markings, 340760376 edges, 34217 markings/sec, 1545 secs
lola: STP completed || 76 tries, 75592334 fired transitions, 1550 secs || 48717056 markings, 341921696 edges, 32450 markings/sec, 1550 secs
lola: STP completed || 76 tries, 75845797 fired transitions, 1555 secs || 48882537 markings, 343074246 edges, 33096 markings/sec, 1555 secs
lola: STP completed || 77 tries, 76092873 fired transitions, 1560 secs || 49043277 markings, 344188175 edges, 32148 markings/sec, 1560 secs
lola: STP completed || 77 tries, 76346955 fired transitions, 1565 secs || 49206201 markings, 345334613 edges, 32585 markings/sec, 1565 secs
lola: STP completed || 77 tries, 76615750 fired transitions, 1570 secs || 49380076 markings, 346574680 edges, 34775 markings/sec, 1570 secs
lola: STP completed || 77 tries, 76884327 fired transitions, 1575 secs || 49552295 markings, 347814083 edges, 34444 markings/sec, 1575 secs
lola: STP completed || 78 tries, 77149610 fired transitions, 1580 secs || 49724740 markings, 349027609 edges, 34489 markings/sec, 1580 secs
lola: STP completed || 78 tries, 77419490 fired transitions, 1585 secs || 49905044 markings, 350286373 edges, 36061 markings/sec, 1585 secs
lola: STP completed || 78 tries, 77685010 fired transitions, 1590 secs || 50082535 markings, 351520547 edges, 35498 markings/sec, 1590 secs
lola: STP completed || 78 tries, 77955007 fired transitions, 1595 secs || 50258639 markings, 352774064 edges, 35221 markings/sec, 1595 secs
lola: STP completed || 79 tries, 78223398 fired transitions, 1600 secs || 50433265 markings, 354020291 edges, 34925 markings/sec, 1600 secs
lola: STP completed || 79 tries, 78482838 fired transitions, 1605 secs || 50600613 markings, 355203913 edges, 33470 markings/sec, 1605 secs
lola: STP completed || 79 tries, 78743162 fired transitions, 1610 secs || 50771143 markings, 356410460 edges, 34106 markings/sec, 1610 secs
lola: STP completed || 80 tries, 79005586 fired transitions, 1615 secs || 50947336 markings, 357631606 edges, 35239 markings/sec, 1615 secs
lola: STP completed || 80 tries, 79249957 fired transitions, 1620 secs || 51108054 markings, 358779898 edges, 32144 markings/sec, 1620 secs
lola: STP completed || 80 tries, 79512373 fired transitions, 1625 secs || 51276160 markings, 359980578 edges, 33621 markings/sec, 1625 secs
lola: STP completed || 80 tries, 79782016 fired transitions, 1630 secs || 51450796 markings, 361214954 edges, 34927 markings/sec, 1630 secs
lola: STP completed || 81 tries, 80052419 fired transitions, 1635 secs || 51629520 markings, 362455700 edges, 35745 markings/sec, 1635 secs
lola: STP completed || 81 tries, 80304834 fired transitions, 1640 secs || 51791844 markings, 363581833 edges, 32465 markings/sec, 1640 secs
lola: STP completed || 81 tries, 80542510 fired transitions, 1645 secs || 51936692 markings, 364624499 edges, 28970 markings/sec, 1645 secs
lola: STP completed || 81 tries, 80789497 fired transitions, 1650 secs || 52093353 markings, 365744910 edges, 31332 markings/sec, 1650 secs
lola: STP completed || 82 tries, 81045392 fired transitions, 1655 secs || 52255813 markings, 366894565 edges, 32492 markings/sec, 1655 secs
lola: STP completed || 82 tries, 81296171 fired transitions, 1660 secs || 52417839 markings, 368041625 edges, 32405 markings/sec, 1660 secs
lola: STP completed || 82 tries, 81548979 fired transitions, 1665 secs || 52581233 markings, 369211270 edges, 32679 markings/sec, 1665 secs
lola: STP completed || 82 tries, 81804902 fired transitions, 1670 secs || 52745654 markings, 370385356 edges, 32884 markings/sec, 1670 secs
lola: STP completed || 83 tries, 82058992 fired transitions, 1675 secs || 52913626 markings, 371563449 edges, 33594 markings/sec, 1675 secs
lola: STP completed || 83 tries, 82328425 fired transitions, 1680 secs || 53093066 markings, 372822012 edges, 35888 markings/sec, 1680 secs
lola: STP completed || 83 tries, 82587758 fired transitions, 1685 secs || 53263576 markings, 374010783 edges, 34102 markings/sec, 1685 secs
lola: STP completed || 83 tries, 82834446 fired transitions, 1690 secs || 53422186 markings, 375126870 edges, 31722 markings/sec, 1690 secs
lola: STP completed || 84 tries, 83090803 fired transitions, 1695 secs || 53593579 markings, 376295658 edges, 34279 markings/sec, 1695 secs
lola: STP completed || 84 tries, 83335022 fired transitions, 1700 secs || 53748313 markings, 377359698 edges, 30947 markings/sec, 1700 secs
lola: STP completed || 84 tries, 83573392 fired transitions, 1705 secs || 53898049 markings, 378425747 edges, 29947 markings/sec, 1705 secs
lola: STP completed || 84 tries, 83811708 fired transitions, 1710 secs || 54048228 markings, 379482842 edges, 30036 markings/sec, 1710 secs
lola: STP completed || 85 tries, 84049749 fired transitions, 1715 secs || 54199254 markings, 380525599 edges, 30205 markings/sec, 1715 secs
lola: STP completed || 85 tries, 84287641 fired transitions, 1720 secs || 54351301 markings, 381589635 edges, 30409 markings/sec, 1720 secs
lola: STP completed || 85 tries, 84524685 fired transitions, 1725 secs || 54497423 markings, 382634617 edges, 29224 markings/sec, 1725 secs
lola: STP completed || 85 tries, 84761491 fired transitions, 1730 secs || 54640361 markings, 383665849 edges, 28588 markings/sec, 1730 secs
lola: STP completed || 85 tries, 84998054 fired transitions, 1735 secs || 54786960 markings, 384691230 edges, 29320 markings/sec, 1735 secs
lola: STP completed || 86 tries, 85257773 fired transitions, 1740 secs || 54949590 markings, 385850136 edges, 32526 markings/sec, 1740 secs
lola: STP completed || 86 tries, 85526991 fired transitions, 1745 secs || 55120164 markings, 387068371 edges, 34115 markings/sec, 1745 secs
lola: STP completed || 86 tries, 85797178 fired transitions, 1750 secs || 55294581 markings, 388305532 edges, 34883 markings/sec, 1750 secs
lola: STP completed || 87 tries, 86039140 fired transitions, 1755 secs || 55444450 markings, 389372329 edges, 29974 markings/sec, 1755 secs
lola: STP completed || 87 tries, 86286801 fired transitions, 1760 secs || 55600008 markings, 390487473 edges, 31112 markings/sec, 1760 secs
lola: STP completed || 87 tries, 86539585 fired transitions, 1765 secs || 55761426 markings, 391643254 edges, 32284 markings/sec, 1765 secs
lola: STP completed || 87 tries, 86782795 fired transitions, 1770 secs || 55916661 markings, 392738411 edges, 31047 markings/sec, 1770 secs
lola: STP completed || 88 tries, 87051860 fired transitions, 1775 secs || 56096819 markings, 393991155 edges, 36032 markings/sec, 1775 secs
lola: STP completed || 88 tries, 87311236 fired transitions, 1780 secs || 56268849 markings, 395187734 edges, 34406 markings/sec, 1780 secs
lola: STP completed || 88 tries, 87550209 fired transitions, 1785 secs || 56417824 markings, 396236302 edges, 29795 markings/sec, 1785 secs
lola: STP completed || 88 tries, 87803164 fired transitions, 1790 secs || 56574839 markings, 397365898 edges, 31403 markings/sec, 1790 secs
lola: STP completed || 89 tries, 88054639 fired transitions, 1795 secs || 56735866 markings, 398503544 edges, 32205 markings/sec, 1795 secs
lola: STP completed || 89 tries, 88291762 fired transitions, 1800 secs || 56883168 markings, 399560456 edges, 29460 markings/sec, 1800 secs
lola: STP completed || 89 tries, 88528647 fired transitions, 1805 secs || 57033526 markings, 400627554 edges, 30072 markings/sec, 1805 secs
lola: STP completed || 89 tries, 88794116 fired transitions, 1810 secs || 57211472 markings, 401879410 edges, 35589 markings/sec, 1810 secs
lola: STP completed || 90 tries, 89031376 fired transitions, 1815 secs || 57362687 markings, 402937091 edges, 30243 markings/sec, 1815 secs
lola: STP completed || 90 tries, 89279390 fired transitions, 1820 secs || 57523342 markings, 404067505 edges, 32131 markings/sec, 1820 secs
lola: STP completed || 90 tries, 89526856 fired transitions, 1825 secs || 57681019 markings, 405165420 edges, 31535 markings/sec, 1825 secs
lola: STP completed || 90 tries, 89764438 fired transitions, 1830 secs || 57833724 markings, 406211083 edges, 30541 markings/sec, 1830 secs
lola: STP completed || 91 tries, 90001645 fired transitions, 1835 secs || 57980487 markings, 407249765 edges, 29353 markings/sec, 1835 secs
lola: STP completed || 91 tries, 90235853 fired transitions, 1840 secs || 58127809 markings, 408303316 edges, 29464 markings/sec, 1840 secs
lola: STP completed || 91 tries, 90473190 fired transitions, 1845 secs || 58274360 markings, 409342069 edges, 29310 markings/sec, 1845 secs
lola: STP completed || 91 tries, 90711077 fired transitions, 1850 secs || 58419419 markings, 410374384 edges, 29012 markings/sec, 1850 secs
lola: STP completed || 91 tries, 90948994 fired transitions, 1855 secs || 58562948 markings, 411398107 edges, 28706 markings/sec, 1855 secs
lola: STP completed || 92 tries, 91187036 fired transitions, 1860 secs || 58706310 markings, 412429246 edges, 28672 markings/sec, 1860 secs
lola: STP completed || 92 tries, 91421583 fired transitions, 1865 secs || 58851300 markings, 413457415 edges, 28998 markings/sec, 1865 secs
lola: STP completed || 92 tries, 91658932 fired transitions, 1870 secs || 58996171 markings, 414493451 edges, 28974 markings/sec, 1870 secs
lola: STP completed || 92 tries, 91897007 fired transitions, 1875 secs || 59145156 markings, 415528749 edges, 29797 markings/sec, 1875 secs
lola: STP completed || 93 tries, 92135678 fired transitions, 1880 secs || 59294662 markings, 416564436 edges, 29901 markings/sec, 1880 secs
lola: STP completed || 93 tries, 92372132 fired transitions, 1885 secs || 59442901 markings, 417614540 edges, 29648 markings/sec, 1885 secs
lola: STP completed || 93 tries, 92607383 fired transitions, 1890 secs || 59592084 markings, 418653109 edges, 29837 markings/sec, 1890 secs
lola: STP completed || 93 tries, 92846460 fired transitions, 1895 secs || 59743373 markings, 419697098 edges, 30258 markings/sec, 1895 secs
lola: STP completed || 94 tries, 93096623 fired transitions, 1900 secs || 59898330 markings, 420804936 edges, 30991 markings/sec, 1900 secs
lola: STP completed || 94 tries, 93333782 fired transitions, 1905 secs || 60042937 markings, 421841490 edges, 28921 markings/sec, 1905 secs
lola: STP completed || 94 tries, 93572431 fired transitions, 1910 secs || 60188417 markings, 422874725 edges, 29096 markings/sec, 1910 secs
lola: STP completed || 94 tries, 93808981 fired transitions, 1915 secs || 60334182 markings, 423903838 edges, 29153 markings/sec, 1915 secs
lola: STP completed || 95 tries, 94046086 fired transitions, 1920 secs || 60482343 markings, 424940310 edges, 29632 markings/sec, 1920 secs
lola: STP completed || 95 tries, 94284009 fired transitions, 1925 secs || 60627191 markings, 425971659 edges, 28970 markings/sec, 1925 secs
lola: STP completed || 95 tries, 94521405 fired transitions, 1930 secs || 60770055 markings, 426999277 edges, 28573 markings/sec, 1930 secs
lola: STP completed || 95 tries, 94759758 fired transitions, 1935 secs || 60915841 markings, 428027524 edges, 29157 markings/sec, 1935 secs
lola: STP completed || 95 tries, 94997615 fired transitions, 1940 secs || 61062967 markings, 429045548 edges, 29425 markings/sec, 1940 secs
lola: STP completed || 96 tries, 95234461 fired transitions, 1945 secs || 61205527 markings, 430064442 edges, 28512 markings/sec, 1945 secs
lola: STP completed || 96 tries, 95470822 fired transitions, 1950 secs || 61348173 markings, 431076761 edges, 28529 markings/sec, 1950 secs
lola: STP completed || 96 tries, 95707525 fired transitions, 1955 secs || 61492062 markings, 432096139 edges, 28778 markings/sec, 1955 secs
lola: STP completed || 96 tries, 95943773 fired transitions, 1960 secs || 61637769 markings, 433116108 edges, 29141 markings/sec, 1960 secs
lola: STP completed || 97 tries, 96182407 fired transitions, 1965 secs || 61786663 markings, 434155123 edges, 29779 markings/sec, 1965 secs
lola: STP completed || 97 tries, 96427376 fired transitions, 1970 secs || 61941960 markings, 435252363 edges, 31059 markings/sec, 1970 secs
lola: STP completed || 97 tries, 96676084 fired transitions, 1975 secs || 62096632 markings, 436358269 edges, 30934 markings/sec, 1975 secs
lola: STP completed || 97 tries, 96914191 fired transitions, 1980 secs || 62244317 markings, 437403322 edges, 29537 markings/sec, 1980 secs
lola: STP completed || 98 tries, 97151845 fired transitions, 1985 secs || 62395135 markings, 438458548 edges, 30164 markings/sec, 1985 secs
lola: STP completed || 98 tries, 97388420 fired transitions, 1990 secs || 62543305 markings, 439499890 edges, 29634 markings/sec, 1990 secs
lola: STP completed || 98 tries, 97625354 fired transitions, 1995 secs || 62690853 markings, 440515516 edges, 29510 markings/sec, 1995 secs
lola: STP completed || 98 tries, 97864673 fired transitions, 2000 secs || 62838651 markings, 441555670 edges, 29560 markings/sec, 2000 secs
lola: STP completed || 99 tries, 98118361 fired transitions, 2005 secs || 62998275 markings, 442683718 edges, 31925 markings/sec, 2005 secs
lola: STP completed || 99 tries, 98373271 fired transitions, 2010 secs || 63161507 markings, 443824097 edges, 32646 markings/sec, 2010 secs
lola: STP completed || 99 tries, 98613889 fired transitions, 2015 secs || 63308636 markings, 444855460 edges, 29426 markings/sec, 2015 secs
lola: STP completed || 99 tries, 98850598 fired transitions, 2020 secs || 63458992 markings, 445903145 edges, 30071 markings/sec, 2020 secs
lola: STP completed || 100 tries, 99086796 fired transitions, 2025 secs || 63604413 markings, 446936336 edges, 29084 markings/sec, 2025 secs
lola: STP completed || 100 tries, 99323149 fired transitions, 2030 secs || 63749273 markings, 447968157 edges, 28972 markings/sec, 2030 secs
lola: STP completed || 100 tries, 99560755 fired transitions, 2035 secs || 63894257 markings, 449005380 edges, 28997 markings/sec, 2035 secs
lola: STP completed || 100 tries, 99799216 fired transitions, 2040 secs || 64042350 markings, 450040339 edges, 29619 markings/sec, 2040 secs
lola: STP completed || 101 tries, 100064316 fired transitions, 2045 secs || 64215705 markings, 451252863 edges, 34671 markings/sec, 2045 secs
lola: STP completed || 101 tries, 100334063 fired transitions, 2050 secs || 64385981 markings, 452483657 edges, 34055 markings/sec, 2050 secs
lola: STP completed || 101 tries, 100590858 fired transitions, 2055 secs || 64550619 markings, 453651349 edges, 32928 markings/sec, 2055 secs
lola: STP completed || 101 tries, 100843669 fired transitions, 2060 secs || 64712261 markings, 454792119 edges, 32328 markings/sec, 2060 secs
lola: STP completed || 102 tries, 101084843 fired transitions, 2065 secs || 64868526 markings, 455886697 edges, 31253 markings/sec, 2065 secs
lola: STP completed || 102 tries, 101323243 fired transitions, 2070 secs || 65020510 markings, 456943281 edges, 30397 markings/sec, 2070 secs
lola: STP completed || 102 tries, 101562661 fired transitions, 2075 secs || 65171255 markings, 457997004 edges, 30149 markings/sec, 2075 secs
lola: STP completed || 102 tries, 101800655 fired transitions, 2080 secs || 65321448 markings, 459040947 edges, 30039 markings/sec, 2080 secs
lola: STP completed || 103 tries, 102039669 fired transitions, 2085 secs || 65471779 markings, 460084322 edges, 30066 markings/sec, 2085 secs
lola: STP completed || 103 tries, 102279042 fired transitions, 2090 secs || 65620734 markings, 461125620 edges, 29791 markings/sec, 2090 secs
lola: STP completed || 103 tries, 102517086 fired transitions, 2095 secs || 65772652 markings, 462176896 edges, 30384 markings/sec, 2095 secs
lola: STP completed || 103 tries, 102755685 fired transitions, 2100 secs || 65921459 markings, 463236494 edges, 29761 markings/sec, 2100 secs
lola: STP completed || 103 tries, 102989627 fired transitions, 2105 secs || 66069261 markings, 464256356 edges, 29560 markings/sec, 2105 secs
lola: STP completed || 104 tries, 103240459 fired transitions, 2110 secs || 66223995 markings, 465369338 edges, 30947 markings/sec, 2110 secs
lola: STP completed || 104 tries, 103509716 fired transitions, 2115 secs || 66392089 markings, 466560405 edges, 33619 markings/sec, 2115 secs
lola: STP completed || 104 tries, 103747870 fired transitions, 2120 secs || 66534781 markings, 467579515 edges, 28538 markings/sec, 2120 secs
lola: STP completed || 105 tries, 104008107 fired transitions, 2125 secs || 66700164 markings, 468734915 edges, 33077 markings/sec, 2125 secs
lola: STP completed || 105 tries, 104253926 fired transitions, 2130 secs || 66851639 markings, 469789659 edges, 30295 markings/sec, 2130 secs
lola: STP completed || 105 tries, 104510657 fired transitions, 2135 secs || 67014721 markings, 470938218 edges, 32616 markings/sec, 2135 secs
lola: STP completed || 105 tries, 104762276 fired transitions, 2140 secs || 67175368 markings, 472039593 edges, 32129 markings/sec, 2140 secs
lola: STP completed || 106 tries, 105013714 fired transitions, 2145 secs || 67336629 markings, 473146440 edges, 32252 markings/sec, 2145 secs
lola: STP completed || 106 tries, 105274147 fired transitions, 2150 secs || 67501888 markings, 474290852 edges, 33052 markings/sec, 2150 secs
lola: STP completed || 106 tries, 105543040 fired transitions, 2155 secs || 67676924 markings, 475513404 edges, 35007 markings/sec, 2155 secs
lola: STP completed || 106 tries, 105794807 fired transitions, 2160 secs || 67836790 markings, 476623760 edges, 31973 markings/sec, 2160 secs
lola: STP completed || 107 tries, 106037979 fired transitions, 2165 secs || 67989566 markings, 477703022 edges, 30555 markings/sec, 2165 secs
lola: STP completed || 107 tries, 106281714 fired transitions, 2170 secs || 68144111 markings, 478789268 edges, 30909 markings/sec, 2170 secs
lola: STP completed || 107 tries, 106521797 fired transitions, 2175 secs || 68295377 markings, 479833263 edges, 30253 markings/sec, 2175 secs
lola: STP completed || 107 tries, 106761082 fired transitions, 2180 secs || 68447930 markings, 480879484 edges, 30511 markings/sec, 2180 secs
lola: STP completed || 108 tries, 107000644 fired transitions, 2185 secs || 68598525 markings, 481918678 edges, 30119 markings/sec, 2185 secs
lola: STP completed || 108 tries, 107240784 fired transitions, 2190 secs || 68749176 markings, 482971405 edges, 30130 markings/sec, 2190 secs
lola: STP completed || 108 tries, 107480702 fired transitions, 2195 secs || 68897952 markings, 484016109 edges, 29755 markings/sec, 2195 secs
lola: STP completed || 108 tries, 107720724 fired transitions, 2200 secs || 69045965 markings, 485061458 edges, 29603 markings/sec, 2200 secs
lola: STP completed || 108 tries, 107961050 fired transitions, 2205 secs || 69195160 markings, 486107337 edges, 29839 markings/sec, 2205 secs
lola: STP completed || 109 tries, 108199711 fired transitions, 2210 secs || 69344146 markings, 487153001 edges, 29797 markings/sec, 2210 secs
lola: STP completed || 109 tries, 108439870 fired transitions, 2215 secs || 69494245 markings, 488196462 edges, 30020 markings/sec, 2215 secs
lola: STP completed || 109 tries, 108679151 fired transitions, 2220 secs || 69643203 markings, 489246102 edges, 29792 markings/sec, 2220 secs
lola: STP completed || 109 tries, 108919431 fired transitions, 2225 secs || 69793747 markings, 490301976 edges, 30109 markings/sec, 2225 secs
lola: STP completed || 110 tries, 109159163 fired transitions, 2230 secs || 69942218 markings, 491358478 edges, 29694 markings/sec, 2230 secs
lola: STP completed || 110 tries, 109397391 fired transitions, 2235 secs || 70093643 markings, 492406128 edges, 30285 markings/sec, 2235 secs
lola: STP completed || 110 tries, 109637183 fired transitions, 2240 secs || 70242951 markings, 493449829 edges, 29862 markings/sec, 2240 secs
lola: STP completed || 110 tries, 109876992 fired transitions, 2245 secs || 70390576 markings, 494488074 edges, 29525 markings/sec, 2245 secs
lola: STP completed || 111 tries, 110117685 fired transitions, 2250 secs || 70542052 markings, 495540586 edges, 30295 markings/sec, 2250 secs
lola: STP completed || 111 tries, 110357882 fired transitions, 2255 secs || 70689201 markings, 496587384 edges, 29430 markings/sec, 2255 secs
lola: STP completed || 111 tries, 110597395 fired transitions, 2260 secs || 70835623 markings, 497627610 edges, 29284 markings/sec, 2260 secs
lola: STP completed || 111 tries, 110835868 fired transitions, 2265 secs || 70981096 markings, 498669645 edges, 29095 markings/sec, 2265 secs
lola: STP completed || 112 tries, 111073831 fired transitions, 2270 secs || 71128369 markings, 499713015 edges, 29455 markings/sec, 2270 secs
lola: STP completed || 112 tries, 111313077 fired transitions, 2275 secs || 71272537 markings, 500747287 edges, 28834 markings/sec, 2275 secs
lola: STP completed || 112 tries, 111552081 fired transitions, 2280 secs || 71420428 markings, 501783224 edges, 29578 markings/sec, 2280 secs
lola: STP completed || 112 tries, 111791153 fired transitions, 2285 secs || 71567505 markings, 502831125 edges, 29415 markings/sec, 2285 secs
lola: STP completed || 113 tries, 112029862 fired transitions, 2290 secs || 71715869 markings, 503868475 edges, 29673 markings/sec, 2290 secs
lola: STP completed || 113 tries, 112268698 fired transitions, 2295 secs || 71863453 markings, 504910261 edges, 29517 markings/sec, 2295 secs
lola: STP completed || 113 tries, 112506735 fired transitions, 2300 secs || 72008863 markings, 505957546 edges, 29082 markings/sec, 2300 secs
lola: STP completed || 113 tries, 112745464 fired transitions, 2305 secs || 72160835 markings, 507014436 edges, 30394 markings/sec, 2305 secs
lola: STP completed || 113 tries, 112983624 fired transitions, 2310 secs || 72305892 markings, 508050022 edges, 29011 markings/sec, 2310 secs
lola: STP completed || 114 tries, 113222899 fired transitions, 2315 secs || 72451249 markings, 509097075 edges, 29071 markings/sec, 2315 secs
lola: STP completed || 114 tries, 113461254 fired transitions, 2320 secs || 72600486 markings, 510148519 edges, 29847 markings/sec, 2320 secs
lola: STP completed || 114 tries, 113699553 fired transitions, 2325 secs || 72749385 markings, 511207586 edges, 29780 markings/sec, 2325 secs
lola: STP completed || 114 tries, 113939395 fired transitions, 2330 secs || 72900822 markings, 512264833 edges, 30287 markings/sec, 2330 secs
lola: STP completed || 115 tries, 114177512 fired transitions, 2335 secs || 73048755 markings, 513320839 edges, 29587 markings/sec, 2335 secs
lola: STP completed || 115 tries, 114415538 fired transitions, 2340 secs || 73196401 markings, 514373209 edges, 29529 markings/sec, 2340 secs
lola: STP completed || 115 tries, 114655821 fired transitions, 2345 secs || 73343668 markings, 515428099 edges, 29453 markings/sec, 2345 secs
lola: STP completed || 115 tries, 114895443 fired transitions, 2350 secs || 73496680 markings, 516489305 edges, 30602 markings/sec, 2350 secs
lola: STP completed || 116 tries, 115135110 fired transitions, 2355 secs || 73641472 markings, 517530670 edges, 28958 markings/sec, 2355 secs
lola: STP completed || 116 tries, 115375092 fired transitions, 2360 secs || 73787413 markings, 518571565 edges, 29188 markings/sec, 2360 secs
lola: STP completed || 116 tries, 115614013 fired transitions, 2365 secs || 73933979 markings, 519616582 edges, 29313 markings/sec, 2365 secs
lola: STP completed || 116 tries, 115852252 fired transitions, 2370 secs || 74080519 markings, 520662071 edges, 29308 markings/sec, 2370 secs
lola: STP completed || 117 tries, 116092047 fired transitions, 2375 secs || 74230462 markings, 521719849 edges, 29989 markings/sec, 2375 secs
lola: STP completed || 117 tries, 116332433 fired transitions, 2380 secs || 74381066 markings, 522768355 edges, 30121 markings/sec, 2380 secs
lola: STP completed || 117 tries, 116571909 fired transitions, 2385 secs || 74531889 markings, 523816678 edges, 30165 markings/sec, 2385 secs
lola: STP completed || 117 tries, 116809022 fired transitions, 2390 secs || 74678903 markings, 524862021 edges, 29403 markings/sec, 2390 secs
lola: STP completed || 118 tries, 117047752 fired transitions, 2395 secs || 74826035 markings, 525908750 edges, 29426 markings/sec, 2395 secs
lola: STP completed || 118 tries, 117284952 fired transitions, 2400 secs || 74973004 markings, 526960665 edges, 29394 markings/sec, 2400 secs
lola: STP completed || 118 tries, 117522696 fired transitions, 2405 secs || 75118950 markings, 528007813 edges, 29189 markings/sec, 2405 secs
lola: STP completed || 118 tries, 117758895 fired transitions, 2410 secs || 75268184 markings, 529050942 edges, 29847 markings/sec, 2410 secs
lola: STP completed || 118 tries, 117996586 fired transitions, 2415 secs || 75418164 markings, 530105318 edges, 29996 markings/sec, 2415 secs
lola: STP completed || 119 tries, 118233957 fired transitions, 2420 secs || 75564855 markings, 531149323 edges, 29338 markings/sec, 2420 secs
lola: STP completed || 119 tries, 118470809 fired transitions, 2425 secs || 75712368 markings, 532191243 edges, 29503 markings/sec, 2425 secs
lola: STP completed || 119 tries, 118708541 fired transitions, 2430 secs || 75860623 markings, 533247447 edges, 29651 markings/sec, 2430 secs
lola: STP completed || 119 tries, 118947469 fired transitions, 2435 secs || 76013614 markings, 534303271 edges, 30598 markings/sec, 2435 secs
lola: STP completed || 120 tries, 119187687 fired transitions, 2440 secs || 76166077 markings, 535364548 edges, 30493 markings/sec, 2440 secs
lola: STP completed || 120 tries, 119426681 fired transitions, 2445 secs || 76316760 markings, 536414439 edges, 30137 markings/sec, 2445 secs
lola: STP completed || 120 tries, 119665940 fired transitions, 2450 secs || 76466690 markings, 537456403 edges, 29986 markings/sec, 2450 secs
lola: STP completed || 120 tries, 119904240 fired transitions, 2455 secs || 76614587 markings, 538501769 edges, 29579 markings/sec, 2455 secs
lola: STP completed || 121 tries, 120143518 fired transitions, 2460 secs || 76765184 markings, 539555393 edges, 30119 markings/sec, 2460 secs
lola: STP completed || 121 tries, 120383149 fired transitions, 2465 secs || 76915041 markings, 540626096 edges, 29971 markings/sec, 2465 secs
lola: STP completed || 121 tries, 120622608 fired transitions, 2470 secs || 77066754 markings, 541681045 edges, 30343 markings/sec, 2470 secs
lola: STP completed || 121 tries, 120863044 fired transitions, 2475 secs || 77221182 markings, 542746515 edges, 30886 markings/sec, 2475 secs
lola: STP completed || 122 tries, 121102218 fired transitions, 2480 secs || 77373245 markings, 543832428 edges, 30413 markings/sec, 2480 secs
lola: STP completed || 122 tries, 121341683 fired transitions, 2485 secs || 77528844 markings, 544949659 edges, 31120 markings/sec, 2485 secs
lola: STP completed || 122 tries, 121579722 fired transitions, 2490 secs || 77679010 markings, 545997951 edges, 30033 markings/sec, 2490 secs
lola: STP completed || 122 tries, 121819003 fired transitions, 2495 secs || 77828476 markings, 547037268 edges, 29893 markings/sec, 2495 secs
lola: STP completed || 123 tries, 122056295 fired transitions, 2500 secs || 77973277 markings, 548077497 edges, 28960 markings/sec, 2500 secs
lola: STP completed || 123 tries, 122294216 fired transitions, 2505 secs || 78122728 markings, 549129134 edges, 29890 markings/sec, 2505 secs
lola: STP completed || 123 tries, 122533575 fired transitions, 2510 secs || 78273178 markings, 550175645 edges, 30090 markings/sec, 2510 secs
lola: STP completed || 123 tries, 122773231 fired transitions, 2515 secs || 78422931 markings, 551213209 edges, 29951 markings/sec, 2515 secs
lola: STP completed || 124 tries, 123013251 fired transitions, 2520 secs || 78572888 markings, 552249309 edges, 29991 markings/sec, 2520 secs
lola: STP completed || 124 tries, 123251108 fired transitions, 2525 secs || 78718246 markings, 553288756 edges, 29072 markings/sec, 2525 secs
lola: STP completed || 124 tries, 123487921 fired transitions, 2530 secs || 78862197 markings, 554320175 edges, 28790 markings/sec, 2530 secs
lola: STP completed || 124 tries, 123725356 fired transitions, 2535 secs || 79008667 markings, 555361789 edges, 29294 markings/sec, 2535 secs
lola: STP completed || 124 tries, 123964567 fired transitions, 2540 secs || 79159835 markings, 556413659 edges, 30234 markings/sec, 2540 secs
lola: STP completed || 125 tries, 124202758 fired transitions, 2545 secs || 79311599 markings, 557462740 edges, 30353 markings/sec, 2545 secs
lola: STP completed || 125 tries, 124441543 fired transitions, 2550 secs || 79461649 markings, 558510613 edges, 30010 markings/sec, 2550 secs
lola: STP completed || 125 tries, 124679255 fired transitions, 2555 secs || 79606854 markings, 559556705 edges, 29041 markings/sec, 2555 secs
lola: STP completed || 125 tries, 124917245 fired transitions, 2560 secs || 79754831 markings, 560613153 edges, 29595 markings/sec, 2560 secs
lola: STP completed || 126 tries, 125155722 fired transitions, 2565 secs || 79905486 markings, 561669911 edges, 30131 markings/sec, 2565 secs
lola: STP completed || 126 tries, 125394283 fired transitions, 2570 secs || 80056416 markings, 562726758 edges, 30186 markings/sec, 2570 secs
lola: STP completed || 126 tries, 125632486 fired transitions, 2575 secs || 80206903 markings, 563779839 edges, 30097 markings/sec, 2575 secs
lola: STP completed || 126 tries, 125869774 fired transitions, 2580 secs || 80356485 markings, 564826887 edges, 29916 markings/sec, 2580 secs
lola: STP completed || 127 tries, 126107273 fired transitions, 2585 secs || 80505402 markings, 565881839 edges, 29783 markings/sec, 2585 secs
lola: STP completed || 127 tries, 126344720 fired transitions, 2590 secs || 80652002 markings, 566935184 edges, 29320 markings/sec, 2590 secs
lola: STP completed || 127 tries, 126582845 fired transitions, 2595 secs || 80799820 markings, 567987815 edges, 29564 markings/sec, 2595 secs
lola: STP completed || 127 tries, 126822005 fired transitions, 2600 secs || 80949909 markings, 569051454 edges, 30018 markings/sec, 2600 secs
lola: STP completed || 128 tries, 127059489 fired transitions, 2605 secs || 81101514 markings, 570092615 edges, 30321 markings/sec, 2605 secs
lola: STP completed || 128 tries, 127299321 fired transitions, 2610 secs || 81252506 markings, 571138266 edges, 30198 markings/sec, 2610 secs
lola: STP completed || 128 tries, 127562753 fired transitions, 2615 secs || 81421862 markings, 572337871 edges, 33871 markings/sec, 2615 secs
lola: STP completed || 128 tries, 127825990 fired transitions, 2620 secs || 81589551 markings, 573540215 edges, 33538 markings/sec, 2620 secs
lola: STP completed || 129 tries, 128071146 fired transitions, 2625 secs || 81740250 markings, 574568755 edges, 30140 markings/sec, 2625 secs
lola: STP completed || 129 tries, 128324624 fired transitions, 2630 secs || 81915518 markings, 575686033 edges, 35054 markings/sec, 2630 secs
lola: STP completed || 129 tries, 128564954 fired transitions, 2635 secs || 82077231 markings, 576707000 edges, 32343 markings/sec, 2635 secs
lola: STP completed || 129 tries, 128820906 fired transitions, 2640 secs || 82249895 markings, 577839804 edges, 34533 markings/sec, 2640 secs
lola: STP completed || 130 tries, 129063315 fired transitions, 2645 secs || 82414378 markings, 578884611 edges, 32897 markings/sec, 2645 secs
lola: STP completed || 130 tries, 129314321 fired transitions, 2650 secs || 82587848 markings, 580013821 edges, 34694 markings/sec, 2650 secs
lola: STP completed || 130 tries, 129569699 fired transitions, 2655 secs || 82751952 markings, 581185703 edges, 32821 markings/sec, 2655 secs
lola: STP completed || 130 tries, 129814785 fired transitions, 2660 secs || 82906836 markings, 582300695 edges, 30977 markings/sec, 2660 secs
lola: STP completed || 131 tries, 130080490 fired transitions, 2665 secs || 83082316 markings, 583549290 edges, 35096 markings/sec, 2665 secs
lola: STP completed || 131 tries, 130317417 fired transitions, 2670 secs || 83229398 markings, 584603414 edges, 29416 markings/sec, 2670 secs
lola: STP completed || 131 tries, 130554634 fired transitions, 2675 secs || 83377126 markings, 585653160 edges, 29546 markings/sec, 2675 secs
lola: STP completed || 131 tries, 130791782 fired transitions, 2680 secs || 83526532 markings, 586715561 edges, 29881 markings/sec, 2680 secs
lola: STP completed || 132 tries, 131029723 fired transitions, 2685 secs || 83676707 markings, 587764362 edges, 30035 markings/sec, 2685 secs
lola: STP completed || 132 tries, 131267717 fired transitions, 2690 secs || 83823362 markings, 588813122 edges, 29331 markings/sec, 2690 secs
lola: STP completed || 132 tries, 131503681 fired transitions, 2695 secs || 83970187 markings, 589858259 edges, 29365 markings/sec, 2695 secs
lola: STP completed || 132 tries, 131740160 fired transitions, 2700 secs || 84119033 markings, 590916982 edges, 29769 markings/sec, 2700 secs
lola: STP completed || 132 tries, 131976926 fired transitions, 2705 secs || 84269144 markings, 591981126 edges, 30022 markings/sec, 2705 secs
lola: STP completed || 133 tries, 132214204 fired transitions, 2710 secs || 84423456 markings, 593051363 edges, 30862 markings/sec, 2710 secs
lola: STP completed || 133 tries, 132452645 fired transitions, 2715 secs || 84573822 markings, 594128572 edges, 30073 markings/sec, 2715 secs
lola: STP completed || 133 tries, 132691681 fired transitions, 2720 secs || 84727476 markings, 595189693 edges, 30731 markings/sec, 2720 secs
lola: STP completed || 133 tries, 132929817 fired transitions, 2725 secs || 84881191 markings, 596251940 edges, 30743 markings/sec, 2725 secs
lola: STP completed || 134 tries, 133169228 fired transitions, 2730 secs || 85029628 markings, 597303587 edges, 29687 markings/sec, 2730 secs
lola: STP completed || 134 tries, 133415681 fired transitions, 2735 secs || 85184441 markings, 598407568 edges, 30963 markings/sec, 2735 secs
lola: STP completed || 134 tries, 133659016 fired transitions, 2740 secs || 85335136 markings, 599476600 edges, 30139 markings/sec, 2740 secs
lola: STP completed || 134 tries, 133913073 fired transitions, 2745 secs || 85498938 markings, 600615733 edges, 32760 markings/sec, 2745 secs
lola: STP completed || 135 tries, 134182814 fired transitions, 2750 secs || 85676710 markings, 601852963 edges, 35554 markings/sec, 2750 secs
lola: STP completed || 135 tries, 134446466 fired transitions, 2755 secs || 85844154 markings, 603046708 edges, 33489 markings/sec, 2755 secs
lola: STP completed || 135 tries, 134681815 fired transitions, 2760 secs || 85990034 markings, 604092430 edges, 29176 markings/sec, 2760 secs
lola: STP completed || 135 tries, 134921268 fired transitions, 2765 secs || 86139651 markings, 605156415 edges, 29923 markings/sec, 2765 secs
lola: STP completed || 136 tries, 135159651 fired transitions, 2770 secs || 86290049 markings, 606213537 edges, 30080 markings/sec, 2770 secs
lola: STP completed || 136 tries, 135397251 fired transitions, 2775 secs || 86441543 markings, 607267562 edges, 30299 markings/sec, 2775 secs
lola: STP completed || 136 tries, 135634799 fired transitions, 2780 secs || 86591580 markings, 608315653 edges, 30007 markings/sec, 2780 secs
lola: STP completed || 136 tries, 135872865 fired transitions, 2785 secs || 86742927 markings, 609380545 edges, 30269 markings/sec, 2785 secs
lola: STP completed || 137 tries, 136110875 fired transitions, 2790 secs || 86898118 markings, 610456196 edges, 31038 markings/sec, 2790 secs
lola: STP completed || 137 tries, 136348088 fired transitions, 2795 secs || 87050219 markings, 611548195 edges, 30420 markings/sec, 2795 secs
lola: STP completed || 137 tries, 136601539 fired transitions, 2800 secs || 87217815 markings, 612696536 edges, 33519 markings/sec, 2800 secs
lola: STP completed || 137 tries, 136854574 fired transitions, 2805 secs || 87382216 markings, 613831525 edges, 32880 markings/sec, 2805 secs
lola: STP completed || 138 tries, 137119657 fired transitions, 2810 secs || 87554148 markings, 615032836 edges, 34386 markings/sec, 2810 secs
lola: STP completed || 138 tries, 137389649 fired transitions, 2815 secs || 87724670 markings, 616264864 edges, 34104 markings/sec, 2815 secs
lola: STP completed || 138 tries, 137629554 fired transitions, 2820 secs || 87875870 markings, 617330954 edges, 30240 markings/sec, 2820 secs
lola: STP completed || 138 tries, 137867729 fired transitions, 2825 secs || 88024410 markings, 618381041 edges, 29708 markings/sec, 2825 secs
lola: STP completed || 139 tries, 138106439 fired transitions, 2830 secs || 88172875 markings, 619427095 edges, 29693 markings/sec, 2830 secs
lola: STP completed || 139 tries, 138344572 fired transitions, 2835 secs || 88323091 markings, 620472585 edges, 30043 markings/sec, 2835 secs
lola: STP completed || 139 tries, 138582769 fired transitions, 2840 secs || 88468319 markings, 621519901 edges, 29046 markings/sec, 2840 secs
lola: STP completed || 139 tries, 138820301 fired transitions, 2845 secs || 88617689 markings, 622583691 edges, 29874 markings/sec, 2845 secs
lola: STP completed || 140 tries, 139057720 fired transitions, 2850 secs || 88766455 markings, 623636954 edges, 29753 markings/sec, 2850 secs
lola: STP completed || 140 tries, 139296178 fired transitions, 2855 secs || 88918265 markings, 624687783 edges, 30362 markings/sec, 2855 secs
lola: STP completed || 140 tries, 139534154 fired transitions, 2860 secs || 89068994 markings, 625738244 edges, 30146 markings/sec, 2860 secs
lola: STP completed || 140 tries, 139772215 fired transitions, 2865 secs || 89220908 markings, 626797477 edges, 30383 markings/sec, 2865 secs
lola: STP completed || 141 tries, 140010535 fired transitions, 2870 secs || 89370891 markings, 627858129 edges, 29997 markings/sec, 2870 secs
lola: STP completed || 141 tries, 140249690 fired transitions, 2875 secs || 89526972 markings, 628918476 edges, 31216 markings/sec, 2875 secs
lola: STP completed || 141 tries, 140488182 fired transitions, 2880 secs || 89681139 markings, 629984216 edges, 30833 markings/sec, 2880 secs
lola: STP completed || 141 tries, 140725733 fired transitions, 2885 secs || 89831572 markings, 631060688 edges, 30087 markings/sec, 2885 secs
lola: STP completed || 141 tries, 140964576 fired transitions, 2890 secs || 89985286 markings, 632125362 edges, 30743 markings/sec, 2890 secs
lola: STP completed || 142 tries, 141202729 fired transitions, 2895 secs || 90137323 markings, 633180121 edges, 30407 markings/sec, 2895 secs
lola: STP completed || 142 tries, 141440311 fired transitions, 2900 secs || 90290326 markings, 634239366 edges, 30601 markings/sec, 2900 secs
lola: STP completed || 142 tries, 141677175 fired transitions, 2905 secs || 90437931 markings, 635293389 edges, 29521 markings/sec, 2905 secs
lola: STP completed || 142 tries, 141915020 fired transitions, 2910 secs || 90585024 markings, 636344221 edges, 29419 markings/sec, 2910 secs
lola: STP completed || 143 tries, 142149965 fired transitions, 2915 secs || 90727181 markings, 637352802 edges, 28431 markings/sec, 2915 secs
lola: STP completed || 143 tries, 142397502 fired transitions, 2920 secs || 90883688 markings, 638446917 edges, 31301 markings/sec, 2920 secs
lola: STP completed || 143 tries, 142635542 fired transitions, 2925 secs || 91029011 markings, 639483668 edges, 29065 markings/sec, 2925 secs
lola: STP completed || 143 tries, 142888906 fired transitions, 2930 secs || 91185040 markings, 640596623 edges, 31206 markings/sec, 2930 secs
lola: STP completed || 144 tries, 143157849 fired transitions, 2935 secs || 91359271 markings, 641835087 edges, 34846 markings/sec, 2935 secs
lola: STP completed || 144 tries, 143417361 fired transitions, 2940 secs || 91527429 markings, 643029129 edges, 33632 markings/sec, 2940 secs
lola: STP completed || 144 tries, 143674169 fired transitions, 2945 secs || 91694672 markings, 644209115 edges, 33449 markings/sec, 2945 secs
lola: STP completed || 144 tries, 143921309 fired transitions, 2950 secs || 91852205 markings, 645303766 edges, 31507 markings/sec, 2950 secs
lola: STP completed || 145 tries, 144158089 fired transitions, 2955 secs || 91999402 markings, 646347321 edges, 29439 markings/sec, 2955 secs
lola: STP completed || 145 tries, 144407222 fired transitions, 2960 secs || 92154278 markings, 647448322 edges, 30975 markings/sec, 2960 secs
lola: STP completed || 145 tries, 144645286 fired transitions, 2965 secs || 92300721 markings, 648492962 edges, 29289 markings/sec, 2965 secs
lola: STP completed || 145 tries, 144887185 fired transitions, 2970 secs || 92452454 markings, 649555418 edges, 30347 markings/sec, 2970 secs
lola: STP completed || 146 tries, 145124035 fired transitions, 2975 secs || 92600682 markings, 650595367 edges, 29646 markings/sec, 2975 secs
lola: STP completed || 146 tries, 145361405 fired transitions, 2980 secs || 92745964 markings, 651633174 edges, 29056 markings/sec, 2980 secs
lola: STP completed || 146 tries, 145596686 fired transitions, 2985 secs || 92892254 markings, 652675939 edges, 29258 markings/sec, 2985 secs
lola: STP completed || 146 tries, 145833187 fired transitions, 2990 secs || 93040025 markings, 653728130 edges, 29554 markings/sec, 2990 secs
lola: STP completed || 147 tries, 146074347 fired transitions, 2995 secs || 93193515 markings, 654809776 edges, 30698 markings/sec, 2995 secs
lola: STP completed || 147 tries, 146310985 fired transitions, 3000 secs || 93346572 markings, 655900171 edges, 30611 markings/sec, 3000 secs
lola: STP completed || 147 tries, 146546822 fired transitions, 3005 secs || 93498989 markings, 656970558 edges, 30483 markings/sec, 3005 secs
lola: STP completed || 147 tries, 146784306 fired transitions, 3010 secs || 93647433 markings, 658022761 edges, 29689 markings/sec, 3010 secs
lola: STP completed || 148 tries, 147022411 fired transitions, 3015 secs || 93794736 markings, 659075856 edges, 29461 markings/sec, 3015 secs
lola: STP completed || 148 tries, 147260784 fired transitions, 3020 secs || 93939521 markings, 660113907 edges, 28957 markings/sec, 3020 secs
lola: STP completed || 148 tries, 147498947 fired transitions, 3025 secs || 94085622 markings, 661156275 edges, 29220 markings/sec, 3025 secs
lola: STP completed || 148 tries, 147736964 fired transitions, 3030 secs || 94235762 markings, 662217206 edges, 30028 markings/sec, 3030 secs
lola: STP completed || 148 tries, 147977377 fired transitions, 3035 secs || 94386595 markings, 663271617 edges, 30167 markings/sec, 3035 secs
lola: STP completed || 149 tries, 148216973 fired transitions, 3040 secs || 94535471 markings, 664320809 edges, 29775 markings/sec, 3040 secs
lola: STP completed || 149 tries, 148454093 fired transitions, 3045 secs || 94680172 markings, 665359085 edges, 28940 markings/sec, 3045 secs
lola: STP completed || 149 tries, 148693265 fired transitions, 3050 secs || 94825333 markings, 666386819 edges, 29032 markings/sec, 3050 secs
lola: STP completed || 149 tries, 148930508 fired transitions, 3055 secs || 94967357 markings, 667405866 edges, 28405 markings/sec, 3055 secs
lola: STP completed || 150 tries, 149167692 fired transitions, 3060 secs || 95112623 markings, 668447212 edges, 29053 markings/sec, 3060 secs
lola: STP completed || 150 tries, 149402164 fired transitions, 3065 secs || 95260879 markings, 669499391 edges, 29651 markings/sec, 3065 secs
lola: STP completed || 150 tries, 149637750 fired transitions, 3070 secs || 95409490 markings, 670556604 edges, 29722 markings/sec, 3070 secs
lola: STP completed || 150 tries, 149874035 fired transitions, 3075 secs || 95560328 markings, 671626337 edges, 30168 markings/sec, 3075 secs
lola: STP completed || 151 tries, 150111907 fired transitions, 3080 secs || 95713130 markings, 672681072 edges, 30560 markings/sec, 3080 secs
lola: STP completed || 151 tries, 150349698 fired transitions, 3085 secs || 95865970 markings, 673735392 edges, 30568 markings/sec, 3085 secs
lola: STP completed || 151 tries, 150588563 fired transitions, 3090 secs || 96014363 markings, 674788308 edges, 29679 markings/sec, 3090 secs
lola: STP completed || 151 tries, 150824572 fired transitions, 3095 secs || 96160159 markings, 675832095 edges, 29159 markings/sec, 3095 secs
lola: STP completed || 152 tries, 151061174 fired transitions, 3100 secs || 96308884 markings, 676901118 edges, 29745 markings/sec, 3100 secs
lola: STP completed || 152 tries, 151298959 fired transitions, 3105 secs || 96456711 markings, 677933185 edges, 29565 markings/sec, 3105 secs
lola: STP completed || 152 tries, 151537127 fired transitions, 3110 secs || 96609224 markings, 678996569 edges, 30503 markings/sec, 3110 secs
lola: STP completed || 152 tries, 151792091 fired transitions, 3115 secs || 96773404 markings, 680139988 edges, 32836 markings/sec, 3115 secs
lola: STP completed || 153 tries, 152029200 fired transitions, 3120 secs || 96926491 markings, 681195770 edges, 30617 markings/sec, 3120 secs
lola: STP completed || 153 tries, 152265545 fired transitions, 3125 secs || 97079129 markings, 682261384 edges, 30528 markings/sec, 3125 secs
lola: STP completed || 153 tries, 152503948 fired transitions, 3130 secs || 97232601 markings, 683339408 edges, 30694 markings/sec, 3130 secs
lola: STP completed || 153 tries, 152757065 fired transitions, 3135 secs || 97400088 markings, 684505177 edges, 33497 markings/sec, 3135 secs
lola: STP completed || 154 tries, 153009876 fired transitions, 3140 secs || 97566096 markings, 685668200 edges, 33202 markings/sec, 3140 secs
lola: STP completed || 154 tries, 153247217 fired transitions, 3145 secs || 97721854 markings, 686741307 edges, 31152 markings/sec, 3145 secs
lola: STP completed || 154 tries, 153501776 fired transitions, 3150 secs || 97887005 markings, 687891784 edges, 33030 markings/sec, 3150 secs
lola: STP completed || 154 tries, 153771274 fired transitions, 3155 secs || 98064369 markings, 689160024 edges, 35473 markings/sec, 3155 secs
lola: STP completed || 155 tries, 154041107 fired transitions, 3160 secs || 98236508 markings, 690401967 edges, 34428 markings/sec, 3160 secs
lola: STP completed || 155 tries, 154294868 fired transitions, 3165 secs || 98399619 markings, 691546417 edges, 32622 markings/sec, 3165 secs
lola: STP completed || 155 tries, 154537176 fired transitions, 3170 secs || 98552882 markings, 692624226 edges, 30653 markings/sec, 3170 secs
lola: STP completed || 155 tries, 154774605 fired transitions, 3175 secs || 98699930 markings, 693676688 edges, 29410 markings/sec, 3175 secs
lola: STP completed || 156 tries, 155010962 fired transitions, 3180 secs || 98847207 markings, 694733147 edges, 29455 markings/sec, 3180 secs
lola: STP completed || 156 tries, 155248144 fired transitions, 3185 secs || 98998430 markings, 695792270 edges, 30245 markings/sec, 3185 secs
lola: STP completed || 156 tries, 155486217 fired transitions, 3190 secs || 99146996 markings, 696849117 edges, 29713 markings/sec, 3190 secs
lola: STP completed || 156 tries, 155723779 fired transitions, 3195 secs || 99302199 markings, 697910665 edges, 31041 markings/sec, 3195 secs
lola: STP completed || 156 tries, 155971197 fired transitions, 3200 secs || 99468413 markings, 699051952 edges, 33243 markings/sec, 3200 secs
lola: STP completed || 157 tries, 156206110 fired transitions, 3205 secs || 99623299 markings, 700115306 edges, 30977 markings/sec, 3205 secs
lola: STP completed || 157 tries, 156443001 fired transitions, 3210 secs || 99775070 markings, 701201061 edges, 30354 markings/sec, 3210 secs
lola: STP completed || 157 tries, 156676963 fired transitions, 3215 secs || 99926241 markings, 702263324 edges, 30234 markings/sec, 3215 secs
lola: STP completed || 157 tries, 156913819 fired transitions, 3220 secs || 100074185 markings, 703302896 edges, 29589 markings/sec, 3220 secs
lola: STP completed || 158 tries, 157147803 fired transitions, 3225 secs || 100223230 markings, 704369921 edges, 29809 markings/sec, 3225 secs
lola: STP completed || 158 tries, 157399806 fired transitions, 3230 secs || 100383844 markings, 705515913 edges, 32123 markings/sec, 3230 secs
lola: STP completed || 158 tries, 157654372 fired transitions, 3235 secs || 100544820 markings, 706659990 edges, 32195 markings/sec, 3235 secs
lola: STP completed || 158 tries, 157906125 fired transitions, 3240 secs || 100707535 markings, 707798354 edges, 32543 markings/sec, 3240 secs
lola: STP completed || 159 tries, 158145905 fired transitions, 3245 secs || 100858469 markings, 708877199 edges, 30187 markings/sec, 3245 secs
lola: STP completed || 159 tries, 158382970 fired transitions, 3250 secs || 101002551 markings, 709914389 edges, 28816 markings/sec, 3250 secs
lola: STP completed || 159 tries, 158618215 fired transitions, 3255 secs || 101150468 markings, 710957008 edges, 29583 markings/sec, 3255 secs
lola: STP completed || 159 tries, 158849645 fired transitions, 3260 secs || 101293414 markings, 711954914 edges, 28589 markings/sec, 3260 secs
lola: STP completed || 160 tries, 159086266 fired transitions, 3265 secs || 101443453 markings, 712997426 edges, 30008 markings/sec, 3265 secs
lola: STP completed || 160 tries, 159324439 fired transitions, 3270 secs || 101594381 markings, 714059075 edges, 30186 markings/sec, 3270 secs
lola: STP completed || 160 tries, 159562255 fired transitions, 3275 secs || 101744663 markings, 715117813 edges, 30056 markings/sec, 3275 secs
lola: STP completed || 160 tries, 159799335 fired transitions, 3280 secs || 101892543 markings, 716173413 edges, 29576 markings/sec, 3280 secs
lola: STP completed || 161 tries, 160033464 fired transitions, 3285 secs || 102041090 markings, 717232228 edges, 29709 markings/sec, 3285 secs
lola: STP completed || 161 tries, 160267358 fired transitions, 3290 secs || 102190359 markings, 718292664 edges, 29854 markings/sec, 3290 secs
lola: STP completed || 161 tries, 160505349 fired transitions, 3295 secs || 102342316 markings, 719358950 edges, 30391 markings/sec, 3295 secs
lola: STP completed || 161 tries, 160744175 fired transitions, 3300 secs || 102497947 markings, 720432772 edges, 31126 markings/sec, 3300 secs
lola: STP completed || 161 tries, 160982085 fired transitions, 3305 secs || 102648166 markings, 721495792 edges, 30044 markings/sec, 3305 secs
lola: STP completed || 162 tries, 161219117 fired transitions, 3310 secs || 102799365 markings, 722572704 edges, 30240 markings/sec, 3310 secs
lola: STP completed || 162 tries, 161455867 fired transitions, 3315 secs || 102949419 markings, 723647404 edges, 30011 markings/sec, 3315 secs
lola: STP completed || 162 tries, 161692840 fired transitions, 3320 secs || 103104758 markings, 724731557 edges, 31068 markings/sec, 3320 secs
lola: STP completed || 162 tries, 161948702 fired transitions, 3325 secs || 103273262 markings, 725921635 edges, 33701 markings/sec, 3325 secs
lola: STP completed || 163 tries, 162219075 fired transitions, 3330 secs || 103452075 markings, 727189090 edges, 35763 markings/sec, 3330 secs
lola: STP completed || 163 tries, 162463742 fired transitions, 3335 secs || 103601868 markings, 728264823 edges, 29959 markings/sec, 3335 secs
lola: STP completed || 163 tries, 162701877 fired transitions, 3340 secs || 103750331 markings, 729312561 edges, 29693 markings/sec, 3340 secs
lola: STP completed || 163 tries, 162938897 fired transitions, 3345 secs || 103896539 markings, 730357862 edges, 29242 markings/sec, 3345 secs
lola: STP completed || 164 tries, 163177947 fired transitions, 3350 secs || 104044020 markings, 731411220 edges, 29496 markings/sec, 3350 secs
lola: STP completed || 164 tries, 163415821 fired transitions, 3355 secs || 104191774 markings, 732455102 edges, 29551 markings/sec, 3355 secs
lola: STP completed || 164 tries, 163654406 fired transitions, 3360 secs || 104339860 markings, 733496775 edges, 29617 markings/sec, 3360 secs
lola: STP completed || 164 tries, 163893655 fired transitions, 3365 secs || 104492021 markings, 734550788 edges, 30432 markings/sec, 3365 secs
lola: STP completed || 165 tries, 164130827 fired transitions, 3370 secs || 104643746 markings, 735606243 edges, 30345 markings/sec, 3370 secs
lola: STP completed || 165 tries, 164376667 fired transitions, 3375 secs || 104801694 markings, 736712459 edges, 31590 markings/sec, 3375 secs
lola: STP completed || 165 tries, 164629497 fired transitions, 3380 secs || 104971608 markings, 737876118 edges, 33983 markings/sec, 3380 secs
lola: STP completed || 165 tries, 164868558 fired transitions, 3385 secs || 105122091 markings, 738919822 edges, 30097 markings/sec, 3385 secs
lola: STP completed || 166 tries, 165119776 fired transitions, 3390 secs || 105281171 markings, 740031633 edges, 31816 markings/sec, 3390 secs
lola: STP completed || 166 tries, 165372259 fired transitions, 3395 secs || 105440896 markings, 741158872 edges, 31945 markings/sec, 3395 secs
lola: STP completed || 166 tries, 165595584 fired transitions, 3400 secs || 105583202 markings, 742132487 edges, 28461 markings/sec, 3400 secs
lola: STP completed || 166 tries, 165612281 fired transitions, 3405 secs || 105591228 markings, 742188416 edges, 1605 markings/sec, 3405 secs
lola: STP completed || 166 tries, 165621997 fired transitions, 3410 secs || 105593699 markings, 742204638 edges, 494 markings/sec, 3410 secs
lola: STP completed || 166 tries, 165740037 fired transitions, 3415 secs || 105594907 markings, 742213092 edges, 242 markings/sec, 3415 secs
lola: STP completed || 166 tries, 165817216 fired transitions, 3420 secs || 105610116 markings, 742320901 edges, 3042 markings/sec, 3420 secs
lola: STP completed || 166 tries, 165907786 fired transitions, 3425 secs || 105611901 markings, 742333259 edges, 357 markings/sec, 3425 secs
lola: STP completed || 166 tries, 165951085 fired transitions, 3430 secs || 105613867 markings, 742346460 edges, 393 markings/sec, 3430 secs
lola: STP completed || 167 tries, 166017659 fired transitions, 3435 secs || 105617070 markings, 742370733 edges, 641 markings/sec, 3435 secs
lola: STP completed || 167 tries, 166191299 fired transitions, 3440 secs || 105624730 markings, 742424239 edges, 1532 markings/sec, 3440 secs
lola: STP completed || 167 tries, 166308142 fired transitions, 3445 secs || 105638510 markings, 742519572 edges, 2756 markings/sec, 3445 secs
lola: STP completed || 167 tries, 166527974 fired transitions, 3450 secs || 105641260 markings, 742538513 edges, 550 markings/sec, 3450 secs
lola: STP completed || 167 tries, 166605144 fired transitions, 3455 secs || 105643689 markings, 742554005 edges, 486 markings/sec, 3455 secs
lola: STP completed || 167 tries, 166712634 fired transitions, 3460 secs || 105650337 markings, 742599887 edges, 1330 markings/sec, 3460 secs
lola: STP completed || 167 tries, 166847865 fired transitions, 3465 secs || 105663285 markings, 742688431 edges, 2590 markings/sec, 3465 secs
lola: STP completed || 167 tries, 166926350 fired transitions, 3470 secs || 105700451 markings, 742953703 edges, 7433 markings/sec, 3470 secs
BK_STOP 1526950088932
--------------------
content from stderr:
Killed
Sequence of Actions to be Executed by the VM
This is useful if one wants to reexecute the tool in the VM from the submitted image disk.
set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="Raft-PT-05"
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/Raft-PT-05.tgz
mv Raft-PT-05 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 Raft-PT-05, 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 r136-qhx2-152673578800132"
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 ;