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 360K
-rw-r--r-- 1 mcc users 4.2K May 30 21:42 CTLCardinality.txt
-rw-r--r-- 1 mcc users 21K May 30 21:42 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.4K May 29 15:41 CTLFireability.txt
-rw-r--r-- 1 mcc users 21K May 29 15:41 CTLFireability.xml
-rw-r--r-- 1 mcc users 2.8K May 28 09:52 LTLCardinality.txt
-rw-r--r-- 1 mcc users 12K May 28 09:52 LTLCardinality.xml
-rw-r--r-- 1 mcc users 3.3K May 28 08:07 LTLFireability.txt
-rw-r--r-- 1 mcc users 9.9K May 28 08:07 LTLFireability.xml
-rw-r--r-- 1 mcc users 1 May 24 11:17 NewModel
-rw-r--r-- 1 mcc users 4.5K May 28 06:35 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 21K May 28 06:35 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 106 May 26 06:29 ReachabilityDeadlock.txt
-rw-r--r-- 1 mcc users 344 May 26 06:29 ReachabilityDeadlock.xml
-rw-r--r-- 1 mcc users 8.0K May 27 04:04 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 24K May 27 04:04 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.8K May 28 07:31 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K May 28 07:31 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 24 11:17 equiv_col
-rw-r--r-- 1 mcc users 5 May 24 11:17 instance
-rw-r--r-- 1 mcc users 6 May 24 11:17 iscolored
-rw-r--r-- 1 mcc users 166K May 24 11:17 model.pnml
=====================================================================
Generated by BenchKit 2-3637
Executing tool lola
Input is MAPKbis-PT-5310, examination is ReachabilityDeadlock
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r280-csrt-152749169700296
=====================================================================

--------------------
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 MAPKbis-PT-5310-ReachabilityDeadlock-0

=== Now, execution of the tool begins

BK_START 1527789783007

info: Time: 3600 - MCC
===========================================================================================
prep: translating MAPKbis-PT-5310 Petri net model.pnml into LoLA format
===========================================================================================
prep: translating PT Petri net complete
prep: check for too many tokens
===========================================================================================
prep: translating MAPKbis-PT-5310 formula ReachabilityDeadlock into LoLA format
===========================================================================================
prep: translating PT formula complete
vrfy: Checking ReachabilityDeadlock @ MAPKbis-PT-5310 @ 3570 seconds
lola: LoLA will run for 3570 seconds at most (--timelimit)
lola: NET
lola: reading net from model.pnml.lola
lola: finished parsing
lola: closed net file model.pnml.lola
lola: 279/65536 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 3392
lola: finding significant places
lola: 106 places, 173 transitions, 49 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 343 transition conflict sets
lola: TASK
lola: reading formula from MAPKbis-PT-5310-ReachabilityDeadlock.task
lola: E (F (DEADLOCK))
lola: rewrite Frontend/Parser/formula_rewrite.k:106
lola: checking reachability of deadlocks
lola: Planning: workflow for deadlock check: siphon||findpath||search) (--findpath=par,--siphontrap=par)
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using deadlock preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: SEARCH (findpath)
lola: findpath: using deadlock preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: findpath: starting randomized, memory-less exploration (--search=findpath)
lola: findpath: searching for paths with maximal depth 1000000 (--depthlimit)
lola: findpath: no retry limit given (--retrylimit)
lola: findpath: transitions are chosen randomly
lola: computing symmetries (--symmetry)
lola: time limit for symmetry computation of 300 seconds given (--symmtimelimit)
lola: computed 0 generators (0 in search tree, 0 by composition)
lola: representing 1 symmetries
lola: 0 dead branches visited in search tree
lola: STP: formula with 3417 variables and 15964 clauses shipped to Minisat
lola: stp: The siphon/trap property does not hold
lola: STP completed || 1 tries, 360161 fired transitions, 0 secs || 312651 markings, 560780 edges, 62530 markings/sec, 0 secs
lola: STP completed || 1 tries, 734934 fired transitions, 5 secs || 604842 markings, 1135433 edges, 58438 markings/sec, 5 secs
lola: STP completed || 2 tries, 1096297 fired transitions, 10 secs || 883910 markings, 1703568 edges, 55814 markings/sec, 10 secs
lola: STP completed || 2 tries, 1440230 fired transitions, 15 secs || 1175130 markings, 2322577 edges, 58244 markings/sec, 15 secs
lola: STP completed || 2 tries, 1816109 fired transitions, 20 secs || 1488883 markings, 3002260 edges, 62751 markings/sec, 20 secs
lola: STP completed || 3 tries, 2291022 fired transitions, 25 secs || 1849646 markings, 3802601 edges, 72153 markings/sec, 25 secs
lola: STP completed || 3 tries, 2781703 fired transitions, 30 secs || 2234656 markings, 4678497 edges, 77002 markings/sec, 30 secs
lola: STP completed || 4 tries, 3269874 fired transitions, 35 secs || 2610064 markings, 5538567 edges, 75082 markings/sec, 35 secs
lola: STP completed || 4 tries, 3751116 fired transitions, 40 secs || 2977334 markings, 6398101 edges, 73454 markings/sec, 40 secs
lola: STP completed || 5 tries, 4228727 fired transitions, 45 secs || 3339341 markings, 7251148 edges, 72401 markings/sec, 45 secs
lola: STP completed || 5 tries, 4700485 fired transitions, 50 secs || 3694840 markings, 8098526 edges, 71100 markings/sec, 50 secs
lola: STP completed || 6 tries, 5175753 fired transitions, 55 secs || 4049510 markings, 8950373 edges, 70934 markings/sec, 55 secs
lola: STP completed || 6 tries, 5553328 fired transitions, 60 secs || 4326798 markings, 9626276 edges, 55458 markings/sec, 60 secs
lola: STP completed || 7 tries, 6022308 fired transitions, 65 secs || 4673471 markings, 10480234 edges, 69335 markings/sec, 65 secs
lola: STP completed || 7 tries, 6500619 fired transitions, 70 secs || 5024343 markings, 11348670 edges, 70174 markings/sec, 70 secs
lola: STP completed || 7 tries, 6973537 fired transitions, 75 secs || 5372880 markings, 12218123 edges, 69707 markings/sec, 75 secs
lola: STP completed || 8 tries, 7439150 fired transitions, 80 secs || 5705756 markings, 13045366 edges, 66575 markings/sec, 80 secs
lola: STP completed || 8 tries, 7898078 fired transitions, 85 secs || 6035269 markings, 13874263 edges, 65903 markings/sec, 85 secs
lola: STP completed || 9 tries, 8359332 fired transitions, 90 secs || 6364022 markings, 14707408 edges, 65751 markings/sec, 90 secs
lola: STP completed || 9 tries, 8811482 fired transitions, 95 secs || 6689720 markings, 15536501 edges, 65140 markings/sec, 95 secs
lola: STP completed || 10 tries, 9257856 fired transitions, 100 secs || 7017335 markings, 16367142 edges, 65523 markings/sec, 100 secs
lola: STP completed || 10 tries, 9712070 fired transitions, 105 secs || 7343043 markings, 17200246 edges, 65142 markings/sec, 105 secs
lola: STP completed || 11 tries, 10164743 fired transitions, 110 secs || 7670284 markings, 18038679 edges, 65448 markings/sec, 110 secs
lola: STP completed || 11 tries, 10606802 fired transitions, 115 secs || 7989366 markings, 18862013 edges, 63816 markings/sec, 115 secs
lola: STP completed || 12 tries, 11061057 fired transitions, 120 secs || 8310141 markings, 19700620 edges, 64155 markings/sec, 120 secs
lola: STP completed || 12 tries, 11520157 fired transitions, 125 secs || 8625791 markings, 20520508 edges, 63130 markings/sec, 125 secs
lola: STP completed || 12 tries, 11972701 fired transitions, 130 secs || 8947982 markings, 21359892 edges, 64438 markings/sec, 130 secs
lola: STP completed || 13 tries, 12451713 fired transitions, 135 secs || 9275119 markings, 22225916 edges, 65427 markings/sec, 135 secs
lola: STP completed || 13 tries, 12909107 fired transitions, 140 secs || 9593773 markings, 23070293 edges, 63731 markings/sec, 140 secs
lola: STP completed || 14 tries, 13372687 fired transitions, 145 secs || 9917485 markings, 23932396 edges, 64742 markings/sec, 145 secs
lola: STP completed || 14 tries, 13828129 fired transitions, 150 secs || 10240683 markings, 24793521 edges, 64640 markings/sec, 150 secs
lola: STP completed || 15 tries, 14300311 fired transitions, 155 secs || 10569672 markings, 25664253 edges, 65798 markings/sec, 155 secs
lola: STP completed || 15 tries, 14766337 fired transitions, 160 secs || 10887224 markings, 26507460 edges, 63510 markings/sec, 160 secs
lola: STP completed || 16 tries, 15225655 fired transitions, 165 secs || 11202055 markings, 27345582 edges, 62966 markings/sec, 165 secs
lola: STP completed || 16 tries, 15709692 fired transitions, 170 secs || 11527495 markings, 28216850 edges, 65088 markings/sec, 170 secs
lola: STP completed || 17 tries, 16174433 fired transitions, 175 secs || 11840691 markings, 29063512 edges, 62639 markings/sec, 175 secs
lola: STP completed || 17 tries, 16667274 fired transitions, 180 secs || 12175366 markings, 29970874 edges, 66935 markings/sec, 180 secs
lola: STP completed || 18 tries, 17145350 fired transitions, 185 secs || 12498757 markings, 30850840 edges, 64678 markings/sec, 185 secs
lola: STP completed || 18 tries, 17606481 fired transitions, 190 secs || 12809217 markings, 31696943 edges, 62092 markings/sec, 190 secs
lola: STP completed || 19 tries, 18079933 fired transitions, 195 secs || 13131681 markings, 32579543 edges, 64493 markings/sec, 195 secs
lola: STP completed || 19 tries, 18569001 fired transitions, 200 secs || 13462404 markings, 33484987 edges, 66145 markings/sec, 200 secs
lola: STP completed || 20 tries, 19025898 fired transitions, 205 secs || 13777870 markings, 34349257 edges, 63093 markings/sec, 205 secs
lola: STP completed || 20 tries, 19486504 fired transitions, 210 secs || 14094465 markings, 35214007 edges, 63319 markings/sec, 210 secs
lola: STP completed || 20 tries, 19972902 fired transitions, 215 secs || 14423010 markings, 36121051 edges, 65709 markings/sec, 215 secs
lola: STP completed || 21 tries, 20456904 fired transitions, 220 secs || 14749845 markings, 37021155 edges, 65367 markings/sec, 220 secs
lola: STP completed || 21 tries, 20928450 fired transitions, 225 secs || 15066416 markings, 37889009 edges, 63314 markings/sec, 225 secs
lola: STP completed || 22 tries, 21435598 fired transitions, 230 secs || 15407817 markings, 38828434 edges, 68280 markings/sec, 230 secs
lola: STP completed || 22 tries, 21894506 fired transitions, 235 secs || 15721845 markings, 39697683 edges, 62806 markings/sec, 235 secs
lola: STP completed || 23 tries, 22354540 fired transitions, 240 secs || 16036356 markings, 40574821 edges, 62902 markings/sec, 240 secs
lola: STP completed || 23 tries, 22825953 fired transitions, 245 secs || 16355354 markings, 41465451 edges, 63800 markings/sec, 245 secs
lola: STP completed || 24 tries, 23293177 fired transitions, 250 secs || 16666050 markings, 42330438 edges, 62139 markings/sec, 250 secs
lola: STP completed || 24 tries, 23796264 fired transitions, 255 secs || 16997514 markings, 43256445 edges, 66293 markings/sec, 255 secs
lola: STP completed || 25 tries, 24282788 fired transitions, 260 secs || 17316638 markings, 44153935 edges, 63825 markings/sec, 260 secs
lola: STP completed || 25 tries, 24771859 fired transitions, 265 secs || 17636840 markings, 45049331 edges, 64040 markings/sec, 265 secs
lola: STP completed || 26 tries, 25252712 fired transitions, 270 secs || 17955617 markings, 45941659 edges, 63755 markings/sec, 270 secs
lola: STP completed || 26 tries, 25732016 fired transitions, 275 secs || 18271008 markings, 46829830 edges, 63078 markings/sec, 275 secs
lola: STP completed || 27 tries, 26219451 fired transitions, 280 secs || 18593922 markings, 47736749 edges, 64583 markings/sec, 280 secs
lola: STP completed || 27 tries, 26697028 fired transitions, 285 secs || 18906174 markings, 48619473 edges, 62450 markings/sec, 285 secs
lola: STP completed || 28 tries, 27162786 fired transitions, 290 secs || 19214055 markings, 49483418 edges, 61576 markings/sec, 290 secs
lola: STP completed || 28 tries, 27675952 fired transitions, 295 secs || 19551018 markings, 50441112 edges, 67393 markings/sec, 295 secs
lola: STP completed || 29 tries, 28159874 fired transitions, 300 secs || 19865500 markings, 51335985 edges, 62896 markings/sec, 300 secs
lola: STP completed || 29 tries, 28625318 fired transitions, 305 secs || 20167123 markings, 52194384 edges, 60325 markings/sec, 305 secs
lola: STP completed || 30 tries, 29104208 fired transitions, 310 secs || 20473755 markings, 53067291 edges, 61326 markings/sec, 310 secs
lola: STP completed || 30 tries, 29606698 fired transitions, 315 secs || 20798755 markings, 53991624 edges, 65000 markings/sec, 315 secs
lola: STP completed || 31 tries, 30081266 fired transitions, 320 secs || 21098821 markings, 54846820 edges, 60013 markings/sec, 320 secs
lola: STP completed || 31 tries, 30570575 fired transitions, 325 secs || 21409836 markings, 55734622 edges, 62203 markings/sec, 325 secs
lola: STP completed || 32 tries, 31079767 fired transitions, 330 secs || 21727729 markings, 56651822 edges, 63579 markings/sec, 330 secs
lola: STP completed || 32 tries, 31560048 fired transitions, 335 secs || 22037160 markings, 57532570 edges, 61886 markings/sec, 335 secs
lola: STP completed || 33 tries, 32021543 fired transitions, 340 secs || 22341549 markings, 58404491 edges, 60878 markings/sec, 340 secs
lola: STP completed || 33 tries, 32492493 fired transitions, 345 secs || 22649120 markings, 59291907 edges, 61514 markings/sec, 345 secs
lola: STP completed || 33 tries, 32964870 fired transitions, 350 secs || 22951962 markings, 60162346 edges, 60568 markings/sec, 350 secs
lola: STP completed || 34 tries, 33432228 fired transitions, 355 secs || 23257834 markings, 61044146 edges, 61174 markings/sec, 355 secs
lola: STP completed || 34 tries, 33914829 fired transitions, 360 secs || 23565889 markings, 61937543 edges, 61611 markings/sec, 360 secs
lola: STP completed || 35 tries, 34408333 fired transitions, 365 secs || 23884188 markings, 62858947 edges, 63660 markings/sec, 365 secs
lola: STP completed || 35 tries, 34913831 fired transitions, 370 secs || 24208748 markings, 63801357 edges, 64912 markings/sec, 370 secs
lola: STP completed || 36 tries, 35419946 fired transitions, 375 secs || 24531423 markings, 64734346 edges, 64535 markings/sec, 375 secs
lola: STP completed || 36 tries, 35940385 fired transitions, 380 secs || 24861919 markings, 65695119 edges, 66099 markings/sec, 380 secs
lola: STP completed || 37 tries, 36449734 fired transitions, 385 secs || 25187369 markings, 66643579 edges, 65090 markings/sec, 385 secs
lola: STP completed || 37 tries, 36916028 fired transitions, 390 secs || 25484081 markings, 67514964 edges, 59342 markings/sec, 390 secs
lola: STP completed || 38 tries, 37380316 fired transitions, 395 secs || 25783447 markings, 68389419 edges, 59873 markings/sec, 395 secs
lola: STP completed || 38 tries, 37843031 fired transitions, 400 secs || 26082754 markings, 69261344 edges, 59861 markings/sec, 400 secs
lola: STP completed || 39 tries, 38305711 fired transitions, 405 secs || 26377794 markings, 70121212 edges, 59008 markings/sec, 405 secs
lola: STP completed || 39 tries, 38765872 fired transitions, 410 secs || 26671329 markings, 70980845 edges, 58707 markings/sec, 410 secs
lola: STP completed || 40 tries, 39140099 fired transitions, 415 secs || 26894780 markings, 71644046 edges, 44690 markings/sec, 415 secs
lola: STP completed || 40 tries, 39511317 fired transitions, 420 secs || 27117961 markings, 72297093 edges, 44636 markings/sec, 420 secs
lola: STP completed || 40 tries, 39871746 fired transitions, 425 secs || 27354567 markings, 72989489 edges, 47321 markings/sec, 425 secs
lola: STP completed || 41 tries, 40227968 fired transitions, 430 secs || 27600534 markings, 73713616 edges, 49193 markings/sec, 430 secs
lola: STP completed || 41 tries, 40588371 fired transitions, 435 secs || 27835985 markings, 74395555 edges, 47090 markings/sec, 435 secs
lola: STP completed || 41 tries, 40954609 fired transitions, 440 secs || 28081012 markings, 75108325 edges, 49005 markings/sec, 440 secs
lola: STP completed || 42 tries, 41338706 fired transitions, 445 secs || 28327879 markings, 75840930 edges, 49373 markings/sec, 445 secs
lola: STP completed || 42 tries, 41724234 fired transitions, 450 secs || 28576018 markings, 76578968 edges, 49628 markings/sec, 450 secs
lola: STP completed || 43 tries, 42108159 fired transitions, 455 secs || 28820862 markings, 77308261 edges, 48969 markings/sec, 455 secs
lola: STP completed || 43 tries, 42490480 fired transitions, 460 secs || 29066734 markings, 78029223 edges, 49174 markings/sec, 460 secs
lola: STP completed || 43 tries, 42873692 fired transitions, 465 secs || 29310957 markings, 78745351 edges, 48845 markings/sec, 465 secs
lola: STP completed || 44 tries, 43257260 fired transitions, 470 secs || 29554155 markings, 79457249 edges, 48640 markings/sec, 470 secs
lola: STP completed || 44 tries, 43624718 fired transitions, 475 secs || 29792018 markings, 80161388 edges, 47573 markings/sec, 475 secs
lola: STP completed || 44 tries, 43986838 fired transitions, 480 secs || 30024520 markings, 80852829 edges, 46500 markings/sec, 480 secs
lola: STP completed || 45 tries, 44348260 fired transitions, 485 secs || 30259715 markings, 81551330 edges, 47039 markings/sec, 485 secs
lola: STP completed || 45 tries, 44710662 fired transitions, 490 secs || 30492358 markings, 82237416 edges, 46529 markings/sec, 490 secs
lola: STP completed || 46 tries, 45077210 fired transitions, 495 secs || 30726249 markings, 82925599 edges, 46778 markings/sec, 495 secs
lola: STP completed || 46 tries, 45446940 fired transitions, 500 secs || 30963212 markings, 83626263 edges, 47393 markings/sec, 500 secs
lola: STP completed || 46 tries, 45809960 fired transitions, 505 secs || 31194824 markings, 84315885 edges, 46322 markings/sec, 505 secs
lola: STP completed || 47 tries, 46171755 fired transitions, 510 secs || 31427604 markings, 85009022 edges, 46556 markings/sec, 510 secs
lola: STP completed || 47 tries, 46536963 fired transitions, 515 secs || 31664939 markings, 85717937 edges, 47467 markings/sec, 515 secs
lola: STP completed || 47 tries, 46922974 fired transitions, 520 secs || 31910672 markings, 86447712 edges, 49147 markings/sec, 520 secs
lola: STP completed || 48 tries, 47305226 fired transitions, 525 secs || 32154117 markings, 87168780 edges, 48689 markings/sec, 525 secs
lola: STP completed || 48 tries, 47692138 fired transitions, 530 secs || 32396467 markings, 87892478 edges, 48470 markings/sec, 530 secs
lola: STP completed || 49 tries, 48076678 fired transitions, 535 secs || 32640375 markings, 88616601 edges, 48782 markings/sec, 535 secs
lola: STP completed || 49 tries, 48463722 fired transitions, 540 secs || 32885313 markings, 89341672 edges, 48988 markings/sec, 540 secs
lola: STP completed || 49 tries, 48850323 fired transitions, 545 secs || 33130196 markings, 90069071 edges, 48977 markings/sec, 545 secs
lola: STP completed || 50 tries, 49237233 fired transitions, 550 secs || 33374181 markings, 90799610 edges, 48797 markings/sec, 550 secs
lola: STP completed || 50 tries, 49624968 fired transitions, 555 secs || 33619675 markings, 91532064 edges, 49099 markings/sec, 555 secs
lola: STP completed || 51 tries, 50011461 fired transitions, 560 secs || 33866352 markings, 92262673 edges, 49335 markings/sec, 560 secs
lola: STP completed || 51 tries, 50398636 fired transitions, 565 secs || 34113265 markings, 92994970 edges, 49383 markings/sec, 565 secs
lola: STP completed || 51 tries, 50788798 fired transitions, 570 secs || 34358132 markings, 93732067 edges, 48973 markings/sec, 570 secs
lola: STP completed || 52 tries, 51176655 fired transitions, 575 secs || 34599415 markings, 94458168 edges, 48257 markings/sec, 575 secs
lola: STP completed || 52 tries, 51612722 fired transitions, 580 secs || 34874841 markings, 95282997 edges, 55085 markings/sec, 580 secs
lola: STP completed || 53 tries, 52043532 fired transitions, 585 secs || 35148615 markings, 96108917 edges, 54755 markings/sec, 585 secs
lola: STP completed || 53 tries, 52429100 fired transitions, 590 secs || 35393957 markings, 96842743 edges, 49068 markings/sec, 590 secs
lola: STP completed || 53 tries, 52816245 fired transitions, 595 secs || 35641041 markings, 97580554 edges, 49417 markings/sec, 595 secs
lola: STP completed || 54 tries, 53203645 fired transitions, 600 secs || 35888325 markings, 98321218 edges, 49457 markings/sec, 600 secs
lola: STP completed || 54 tries, 53591809 fired transitions, 605 secs || 36133149 markings, 99058551 edges, 48965 markings/sec, 605 secs
lola: STP completed || 54 tries, 53978238 fired transitions, 610 secs || 36379471 markings, 99800199 edges, 49264 markings/sec, 610 secs
lola: STP completed || 55 tries, 54365116 fired transitions, 615 secs || 36624103 markings, 100543428 edges, 48926 markings/sec, 615 secs
lola: STP completed || 55 tries, 54749612 fired transitions, 620 secs || 36872479 markings, 101292652 edges, 49675 markings/sec, 620 secs
lola: STP completed || 56 tries, 55136851 fired transitions, 625 secs || 37117583 markings, 102025600 edges, 49021 markings/sec, 625 secs
lola: STP completed || 56 tries, 55524992 fired transitions, 630 secs || 37359141 markings, 102759059 edges, 48312 markings/sec, 630 secs
lola: STP completed || 56 tries, 55910022 fired transitions, 635 secs || 37593475 markings, 103465738 edges, 46867 markings/sec, 635 secs
lola: STP completed || 57 tries, 56287456 fired transitions, 640 secs || 37824290 markings, 104168313 edges, 46163 markings/sec, 640 secs
lola: STP completed || 57 tries, 56651692 fired transitions, 645 secs || 38052890 markings, 104857391 edges, 45720 markings/sec, 645 secs
lola: STP completed || 58 tries, 57016289 fired transitions, 650 secs || 38281606 markings, 105547924 edges, 45743 markings/sec, 650 secs
lola: STP completed || 58 tries, 57382360 fired transitions, 655 secs || 38515652 markings, 106258361 edges, 46809 markings/sec, 655 secs
lola: STP completed || 58 tries, 57767944 fired transitions, 660 secs || 38753245 markings, 106979347 edges, 47519 markings/sec, 660 secs
lola: STP completed || 59 tries, 58156368 fired transitions, 665 secs || 38989500 markings, 107691839 edges, 47251 markings/sec, 665 secs
lola: STP completed || 59 tries, 58570915 fired transitions, 670 secs || 39251113 markings, 108485485 edges, 52323 markings/sec, 670 secs
lola: STP completed || 60 tries, 59078678 fired transitions, 675 secs || 39563603 markings, 109436164 edges, 62498 markings/sec, 675 secs
lola: STP completed || 60 tries, 59583822 fired transitions, 680 secs || 39874485 markings, 110389652 edges, 62176 markings/sec, 680 secs
lola: STP completed || 61 tries, 60091050 fired transitions, 685 secs || 40183516 markings, 111345665 edges, 61806 markings/sec, 685 secs
lola: STP completed || 61 tries, 60597826 fired transitions, 690 secs || 40493757 markings, 112293922 edges, 62048 markings/sec, 690 secs
lola: STP completed || 62 tries, 61106979 fired transitions, 695 secs || 40806421 markings, 113252392 edges, 62533 markings/sec, 695 secs
lola: STP completed || 62 tries, 61614110 fired transitions, 700 secs || 41118100 markings, 114218977 edges, 62336 markings/sec, 700 secs
lola: STP completed || 63 tries, 62120713 fired transitions, 705 secs || 41427266 markings, 115163011 edges, 61833 markings/sec, 705 secs
lola: STP completed || 63 tries, 62625191 fired transitions, 710 secs || 41739318 markings, 116124915 edges, 62410 markings/sec, 710 secs
lola: STP completed || 64 tries, 63134094 fired transitions, 715 secs || 42048863 markings, 117074782 edges, 61909 markings/sec, 715 secs
lola: STP completed || 64 tries, 63631589 fired transitions, 720 secs || 42355451 markings, 118008393 edges, 61318 markings/sec, 720 secs
lola: STP completed || 65 tries, 64027945 fired transitions, 725 secs || 42593948 markings, 118732482 edges, 47699 markings/sec, 725 secs
lola: STP completed || 65 tries, 64425838 fired transitions, 730 secs || 42835404 markings, 119475061 edges, 48291 markings/sec, 730 secs
lola: STP completed || 65 tries, 64823043 fired transitions, 735 secs || 43076166 markings, 120214806 edges, 48152 markings/sec, 735 secs
lola: STP completed || 66 tries, 65220221 fired transitions, 740 secs || 43315788 markings, 120950114 edges, 47924 markings/sec, 740 secs
lola: STP completed || 66 tries, 65618004 fired transitions, 745 secs || 43557555 markings, 121696674 edges, 48353 markings/sec, 745 secs
lola: STP completed || 67 tries, 66015954 fired transitions, 750 secs || 43799326 markings, 122434457 edges, 48354 markings/sec, 750 secs
lola: STP completed || 67 tries, 66413717 fired transitions, 755 secs || 44035172 markings, 123157593 edges, 47169 markings/sec, 755 secs
lola: STP completed || 67 tries, 66811927 fired transitions, 760 secs || 44273016 markings, 123891563 edges, 47569 markings/sec, 760 secs
lola: STP completed || 68 tries, 67209597 fired transitions, 765 secs || 44513425 markings, 124628290 edges, 48082 markings/sec, 765 secs
lola: STP completed || 68 tries, 67606801 fired transitions, 770 secs || 44752287 markings, 125360438 edges, 47772 markings/sec, 770 secs
lola: STP completed || 69 tries, 68000869 fired transitions, 775 secs || 44999160 markings, 126120548 edges, 49375 markings/sec, 775 secs
lola: STP completed || 69 tries, 68390972 fired transitions, 780 secs || 45239136 markings, 126861680 edges, 47995 markings/sec, 780 secs
lola: STP completed || 69 tries, 68784384 fired transitions, 785 secs || 45478526 markings, 127598996 edges, 47878 markings/sec, 785 secs
lola: STP completed || 70 tries, 69178780 fired transitions, 790 secs || 45717853 markings, 128329924 edges, 47865 markings/sec, 790 secs
lola: STP completed || 70 tries, 69574558 fired transitions, 795 secs || 45959065 markings, 129069653 edges, 48242 markings/sec, 795 secs
lola: STP completed || 70 tries, 69970119 fired transitions, 800 secs || 46204461 markings, 129821237 edges, 49079 markings/sec, 800 secs
lola: STP completed || 71 tries, 70368284 fired transitions, 805 secs || 46444314 markings, 130568788 edges, 47971 markings/sec, 805 secs
lola: STP completed || 71 tries, 70765007 fired transitions, 810 secs || 46682444 markings, 131300203 edges, 47626 markings/sec, 810 secs
lola: STP completed || 72 tries, 71161945 fired transitions, 815 secs || 46921235 markings, 132035119 edges, 47758 markings/sec, 815 secs
lola: STP completed || 72 tries, 71555507 fired transitions, 820 secs || 47156644 markings, 132766786 edges, 47082 markings/sec, 820 secs
lola: STP completed || 72 tries, 71953178 fired transitions, 825 secs || 47396622 markings, 133512005 edges, 47996 markings/sec, 825 secs
lola: STP completed || 73 tries, 72350730 fired transitions, 830 secs || 47635814 markings, 134248188 edges, 47838 markings/sec, 830 secs
lola: STP completed || 73 tries, 72747872 fired transitions, 835 secs || 47874416 markings, 134983974 edges, 47720 markings/sec, 835 secs
lola: STP completed || 74 tries, 73146958 fired transitions, 840 secs || 48112923 markings, 135730249 edges, 47701 markings/sec, 840 secs
lola: STP completed || 74 tries, 73544901 fired transitions, 845 secs || 48351540 markings, 136472654 edges, 47723 markings/sec, 845 secs
lola: STP completed || 74 tries, 73943082 fired transitions, 850 secs || 48591008 markings, 137213096 edges, 47894 markings/sec, 850 secs
lola: STP completed || 75 tries, 74341820 fired transitions, 855 secs || 48830888 markings, 137957037 edges, 47976 markings/sec, 855 secs
lola: STP completed || 75 tries, 74739708 fired transitions, 860 secs || 49068543 markings, 138695521 edges, 47531 markings/sec, 860 secs
lola: STP completed || 76 tries, 75140327 fired transitions, 865 secs || 49305810 markings, 139434823 edges, 47453 markings/sec, 865 secs
lola: STP completed || 76 tries, 75540984 fired transitions, 870 secs || 49543213 markings, 140180006 edges, 47481 markings/sec, 870 secs
lola: STP completed || 76 tries, 75939963 fired transitions, 875 secs || 49781591 markings, 140921904 edges, 47676 markings/sec, 875 secs
lola: STP completed || 77 tries, 76338330 fired transitions, 880 secs || 50020146 markings, 141662614 edges, 47711 markings/sec, 880 secs
lola: STP completed || 77 tries, 76739826 fired transitions, 885 secs || 50257016 markings, 142401351 edges, 47374 markings/sec, 885 secs
lola: STP completed || 78 tries, 77137284 fired transitions, 890 secs || 50498109 markings, 143152656 edges, 48219 markings/sec, 890 secs
lola: STP completed || 78 tries, 77535479 fired transitions, 895 secs || 50740314 markings, 143907556 edges, 48441 markings/sec, 895 secs
lola: STP completed || 78 tries, 77935045 fired transitions, 900 secs || 50978817 markings, 144648303 edges, 47701 markings/sec, 900 secs
lola: STP completed || 79 tries, 78333581 fired transitions, 905 secs || 51216386 markings, 145393634 edges, 47514 markings/sec, 905 secs
lola: STP completed || 79 tries, 78732681 fired transitions, 910 secs || 51454260 markings, 146137311 edges, 47575 markings/sec, 910 secs
lola: STP completed || 80 tries, 79132044 fired transitions, 915 secs || 51689248 markings, 146868111 edges, 46998 markings/sec, 915 secs
lola: STP completed || 80 tries, 79530711 fired transitions, 920 secs || 51929903 markings, 147622283 edges, 48131 markings/sec, 920 secs
lola: STP completed || 80 tries, 79930552 fired transitions, 925 secs || 52166916 markings, 148362883 edges, 47403 markings/sec, 925 secs
lola: STP completed || 81 tries, 80328769 fired transitions, 930 secs || 52403804 markings, 149110671 edges, 47378 markings/sec, 930 secs
lola: STP completed || 81 tries, 80726033 fired transitions, 935 secs || 52641398 markings, 149861686 edges, 47519 markings/sec, 935 secs
lola: STP completed || 82 tries, 81125830 fired transitions, 940 secs || 52878326 markings, 150601707 edges, 47386 markings/sec, 940 secs
lola: STP completed || 82 tries, 81526070 fired transitions, 945 secs || 53110988 markings, 151331869 edges, 46532 markings/sec, 945 secs
lola: STP completed || 82 tries, 81923241 fired transitions, 950 secs || 53342551 markings, 152062190 edges, 46313 markings/sec, 950 secs
lola: STP completed || 83 tries, 82314572 fired transitions, 955 secs || 53580446 markings, 152820747 edges, 47579 markings/sec, 955 secs
lola: STP completed || 83 tries, 82713850 fired transitions, 960 secs || 53815802 markings, 153557468 edges, 47071 markings/sec, 960 secs
lola: STP completed || 84 tries, 83112189 fired transitions, 965 secs || 54047784 markings, 154284386 edges, 46396 markings/sec, 965 secs
lola: STP completed || 84 tries, 83513127 fired transitions, 970 secs || 54282018 markings, 155029199 edges, 46847 markings/sec, 970 secs
lola: STP completed || 84 tries, 83911416 fired transitions, 975 secs || 54518994 markings, 155779310 edges, 47395 markings/sec, 975 secs
lola: STP completed || 85 tries, 84310318 fired transitions, 980 secs || 54755371 markings, 156521942 edges, 47275 markings/sec, 980 secs
lola: STP completed || 85 tries, 84708310 fired transitions, 985 secs || 54991340 markings, 157266297 edges, 47194 markings/sec, 985 secs
lola: STP completed || 86 tries, 85099449 fired transitions, 990 secs || 55225605 markings, 158010553 edges, 46853 markings/sec, 990 secs
lola: STP completed || 86 tries, 85489119 fired transitions, 995 secs || 55459094 markings, 158742427 edges, 46698 markings/sec, 995 secs
lola: STP completed || 86 tries, 85875157 fired transitions, 1000 secs || 55687989 markings, 159469614 edges, 45779 markings/sec, 1000 secs
lola: STP completed || 87 tries, 86320579 fired transitions, 1005 secs || 55951103 markings, 160299296 edges, 52623 markings/sec, 1005 secs
lola: STP completed || 87 tries, 86788529 fired transitions, 1010 secs || 56234707 markings, 161198055 edges, 56721 markings/sec, 1010 secs
lola: STP completed || 88 tries, 87260739 fired transitions, 1015 secs || 56518842 markings, 162106556 edges, 56827 markings/sec, 1015 secs
lola: STP completed || 88 tries, 87724575 fired transitions, 1020 secs || 56802667 markings, 163009877 edges, 56765 markings/sec, 1020 secs
lola: STP completed || 89 tries, 88130019 fired transitions, 1025 secs || 57050086 markings, 163791179 edges, 49484 markings/sec, 1025 secs
lola: STP completed || 89 tries, 88529949 fired transitions, 1030 secs || 57286952 markings, 164534738 edges, 47373 markings/sec, 1030 secs
lola: STP completed || 89 tries, 88927848 fired transitions, 1035 secs || 57524440 markings, 165288219 edges, 47498 markings/sec, 1035 secs
lola: STP completed || 90 tries, 89331948 fired transitions, 1040 secs || 57758736 markings, 166027172 edges, 46859 markings/sec, 1040 secs
lola: STP completed || 90 tries, 89737793 fired transitions, 1045 secs || 57992963 markings, 166769891 edges, 46845 markings/sec, 1045 secs
lola: STP completed || 91 tries, 90136474 fired transitions, 1050 secs || 58227999 markings, 167511758 edges, 47007 markings/sec, 1050 secs
lola: STP completed || 91 tries, 90528129 fired transitions, 1055 secs || 58459110 markings, 168245817 edges, 46222 markings/sec, 1055 secs
lola: STP completed || 91 tries, 90910768 fired transitions, 1060 secs || 58687283 markings, 168970175 edges, 45635 markings/sec, 1060 secs
lola: STP completed || 92 tries, 91276876 fired transitions, 1065 secs || 58911943 markings, 169687781 edges, 44932 markings/sec, 1065 secs
lola: STP completed || 92 tries, 91644114 fired transitions, 1070 secs || 59135257 markings, 170397496 edges, 44663 markings/sec, 1070 secs
lola: STP completed || 93 tries, 92016880 fired transitions, 1075 secs || 59361088 markings, 171113468 edges, 45166 markings/sec, 1075 secs
lola: STP completed || 93 tries, 92380886 fired transitions, 1080 secs || 59590030 markings, 171839332 edges, 45788 markings/sec, 1080 secs
lola: STP completed || 93 tries, 92746783 fired transitions, 1085 secs || 59814093 markings, 172547271 edges, 44813 markings/sec, 1085 secs
lola: STP completed || 94 tries, 93114644 fired transitions, 1090 secs || 60036838 markings, 173256075 edges, 44549 markings/sec, 1090 secs
lola: STP completed || 94 tries, 93481552 fired transitions, 1095 secs || 60260593 markings, 173963225 edges, 44751 markings/sec, 1095 secs
lola: STP completed || 94 tries, 93848616 fired transitions, 1100 secs || 60485797 markings, 174684679 edges, 45041 markings/sec, 1100 secs
lola: STP completed || 95 tries, 94215669 fired transitions, 1105 secs || 60708855 markings, 175397018 edges, 44612 markings/sec, 1105 secs
lola: STP completed || 95 tries, 94598921 fired transitions, 1110 secs || 60948018 markings, 176159952 edges, 47833 markings/sec, 1110 secs
lola: STP completed || 96 tries, 95063480 fired transitions, 1115 secs || 61230596 markings, 177061953 edges, 56516 markings/sec, 1115 secs
lola: STP completed || 96 tries, 95499222 fired transitions, 1120 secs || 61504192 markings, 177933192 edges, 54719 markings/sec, 1120 secs
lola: STP completed || 96 tries, 95865795 fired transitions, 1125 secs || 61730130 markings, 178655772 edges, 45188 markings/sec, 1125 secs
lola: STP completed || 97 tries, 96232837 fired transitions, 1130 secs || 61952382 markings, 179367773 edges, 44450 markings/sec, 1130 secs
lola: STP completed || 97 tries, 96629435 fired transitions, 1135 secs || 62196118 markings, 180150957 edges, 48747 markings/sec, 1135 secs
lola: STP completed || 97 tries, 96988844 fired transitions, 1140 secs || 62427425 markings, 180885037 edges, 46261 markings/sec, 1140 secs
lola: STP completed || 98 tries, 97360154 fired transitions, 1145 secs || 62661756 markings, 181630092 edges, 46866 markings/sec, 1145 secs
lola: STP completed || 98 tries, 97724996 fired transitions, 1150 secs || 62890834 markings, 182362128 edges, 45816 markings/sec, 1150 secs
lola: STP completed || 99 tries, 98091622 fired transitions, 1155 secs || 63111607 markings, 183071913 edges, 44155 markings/sec, 1155 secs
lola: STP completed || 99 tries, 98467348 fired transitions, 1160 secs || 63345088 markings, 183813132 edges, 46696 markings/sec, 1160 secs
lola: STP completed || 99 tries, 98871739 fired transitions, 1165 secs || 63581365 markings, 184575083 edges, 47255 markings/sec, 1165 secs
lola: STP completed || 100 tries, 99268777 fired transitions, 1170 secs || 63817303 markings, 185340727 edges, 47188 markings/sec, 1170 secs
lola: STP completed || 100 tries, 99669386 fired transitions, 1175 secs || 64049721 markings, 186080940 edges, 46484 markings/sec, 1175 secs
lola: STP completed || 101 tries, 100069502 fired transitions, 1180 secs || 64283100 markings, 186823142 edges, 46676 markings/sec, 1180 secs
lola: STP completed || 101 tries, 100461285 fired transitions, 1185 secs || 64517489 markings, 187576270 edges, 46878 markings/sec, 1185 secs
lola: STP completed || 101 tries, 100853476 fired transitions, 1190 secs || 64751395 markings, 188333849 edges, 46781 markings/sec, 1190 secs
lola: STP completed || 102 tries, 101245739 fired transitions, 1195 secs || 64984812 markings, 189083129 edges, 46683 markings/sec, 1195 secs
lola: STP completed || 102 tries, 101639347 fired transitions, 1200 secs || 65220883 markings, 189842930 edges, 47214 markings/sec, 1200 secs
lola: STP completed || 103 tries, 102026134 fired transitions, 1205 secs || 65457201 markings, 190603147 edges, 47264 markings/sec, 1205 secs
lola: STP completed || 103 tries, 102420001 fired transitions, 1210 secs || 65688877 markings, 191347642 edges, 46335 markings/sec, 1210 secs
lola: STP completed || 103 tries, 102813074 fired transitions, 1215 secs || 65921743 markings, 192095609 edges, 46573 markings/sec, 1215 secs
lola: STP completed || 104 tries, 103206770 fired transitions, 1220 secs || 66155330 markings, 192844721 edges, 46717 markings/sec, 1220 secs
lola: STP completed || 104 tries, 103598096 fired transitions, 1225 secs || 66386628 markings, 193586486 edges, 46260 markings/sec, 1225 secs
lola: STP completed || 104 tries, 103986926 fired transitions, 1230 secs || 66619559 markings, 194334557 edges, 46586 markings/sec, 1230 secs
lola: STP completed || 105 tries, 104376370 fired transitions, 1235 secs || 66856864 markings, 195100448 edges, 47461 markings/sec, 1235 secs
lola: STP completed || 105 tries, 104763598 fired transitions, 1240 secs || 67092583 markings, 195855182 edges, 47144 markings/sec, 1240 secs
lola: STP completed || 106 tries, 105152759 fired transitions, 1245 secs || 67326771 markings, 196604070 edges, 46838 markings/sec, 1245 secs
lola: STP completed || 106 tries, 105541981 fired transitions, 1250 secs || 67563642 markings, 197365413 edges, 47374 markings/sec, 1250 secs
lola: STP completed || 106 tries, 105929349 fired transitions, 1255 secs || 67803540 markings, 198141249 edges, 47980 markings/sec, 1255 secs
lola: STP completed || 107 tries, 106318298 fired transitions, 1260 secs || 68040964 markings, 198911341 edges, 47485 markings/sec, 1260 secs
lola: STP completed || 107 tries, 106727514 fired transitions, 1265 secs || 68294614 markings, 199725016 edges, 50730 markings/sec, 1265 secs
lola: STP completed || 108 tries, 107091416 fired transitions, 1270 secs || 68517819 markings, 200453312 edges, 44641 markings/sec, 1270 secs
lola: STP completed || 108 tries, 107454963 fired transitions, 1275 secs || 68751487 markings, 201210593 edges, 46734 markings/sec, 1275 secs
lola: STP completed || 108 tries, 107820206 fired transitions, 1280 secs || 68977594 markings, 201943722 edges, 45221 markings/sec, 1280 secs
lola: STP completed || 109 tries, 108186489 fired transitions, 1285 secs || 69204689 markings, 202683942 edges, 45419 markings/sec, 1285 secs
lola: STP completed || 109 tries, 108552507 fired transitions, 1290 secs || 69429672 markings, 203410239 edges, 44997 markings/sec, 1290 secs
lola: STP completed || 109 tries, 108921656 fired transitions, 1295 secs || 69650610 markings, 204129957 edges, 44188 markings/sec, 1295 secs
lola: STP completed || 110 tries, 109287109 fired transitions, 1300 secs || 69877071 markings, 204860834 edges, 45292 markings/sec, 1300 secs
lola: STP completed || 110 tries, 109650799 fired transitions, 1305 secs || 70106830 markings, 205601362 edges, 45952 markings/sec, 1305 secs
lola: STP completed || 111 tries, 110022631 fired transitions, 1310 secs || 70334724 markings, 206339524 edges, 45579 markings/sec, 1310 secs
lola: STP completed || 111 tries, 110391013 fired transitions, 1315 secs || 70554668 markings, 207055682 edges, 43989 markings/sec, 1315 secs
lola: STP completed || 111 tries, 110757726 fired transitions, 1320 secs || 70776223 markings, 207772006 edges, 44311 markings/sec, 1320 secs
lola: STP completed || 112 tries, 111120330 fired transitions, 1325 secs || 70999991 markings, 208503774 edges, 44754 markings/sec, 1325 secs
lola: STP completed || 112 tries, 111488973 fired transitions, 1330 secs || 71218751 markings, 209216371 edges, 43752 markings/sec, 1330 secs
lola: STP completed || 112 tries, 111856003 fired transitions, 1335 secs || 71440124 markings, 209928572 edges, 44275 markings/sec, 1335 secs
lola: STP completed || 113 tries, 112224780 fired transitions, 1340 secs || 71667417 markings, 210680639 edges, 45459 markings/sec, 1340 secs
lola: STP completed || 113 tries, 112592427 fired transitions, 1345 secs || 71889232 markings, 211403198 edges, 44363 markings/sec, 1345 secs
lola: STP completed || 113 tries, 112961054 fired transitions, 1350 secs || 72108634 markings, 212111472 edges, 43880 markings/sec, 1350 secs
lola: STP completed || 114 tries, 113326545 fired transitions, 1355 secs || 72331972 markings, 212830998 edges, 44668 markings/sec, 1355 secs
lola: STP completed || 114 tries, 113691171 fired transitions, 1360 secs || 72560529 markings, 213583097 edges, 45711 markings/sec, 1360 secs
lola: STP completed || 115 tries, 114060289 fired transitions, 1365 secs || 72778809 markings, 214283443 edges, 43656 markings/sec, 1365 secs
lola: STP completed || 115 tries, 114426409 fired transitions, 1370 secs || 73003324 markings, 215012375 edges, 44903 markings/sec, 1370 secs
lola: STP completed || 115 tries, 114818147 fired transitions, 1375 secs || 73236749 markings, 215781989 edges, 46685 markings/sec, 1375 secs
lola: STP completed || 116 tries, 115210162 fired transitions, 1380 secs || 73471984 markings, 216541062 edges, 47047 markings/sec, 1380 secs
lola: STP completed || 116 tries, 115608555 fired transitions, 1385 secs || 73715968 markings, 217346298 edges, 48797 markings/sec, 1385 secs
lola: STP completed || 116 tries, 115994014 fired transitions, 1390 secs || 73950229 markings, 218101350 edges, 46852 markings/sec, 1390 secs
lola: STP completed || 117 tries, 116386311 fired transitions, 1395 secs || 74186496 markings, 218871331 edges, 47253 markings/sec, 1395 secs
lola: STP completed || 117 tries, 116778643 fired transitions, 1400 secs || 74421996 markings, 219638008 edges, 47100 markings/sec, 1400 secs
lola: STP completed || 118 tries, 117170626 fired transitions, 1405 secs || 74658555 markings, 220405095 edges, 47312 markings/sec, 1405 secs
lola: STP completed || 118 tries, 117562822 fired transitions, 1410 secs || 74896326 markings, 221178887 edges, 47554 markings/sec, 1410 secs
lola: STP completed || 118 tries, 117960520 fired transitions, 1415 secs || 75133010 markings, 221951608 edges, 47337 markings/sec, 1415 secs
lola: STP completed || 119 tries, 118351445 fired transitions, 1420 secs || 75370611 markings, 222740294 edges, 47520 markings/sec, 1420 secs
lola: STP completed || 119 tries, 118743378 fired transitions, 1425 secs || 75606749 markings, 223505364 edges, 47228 markings/sec, 1425 secs
lola: STP completed || 120 tries, 119138608 fired transitions, 1430 secs || 75837772 markings, 224259342 edges, 46205 markings/sec, 1430 secs
lola: STP completed || 120 tries, 119534694 fired transitions, 1435 secs || 76067405 markings, 225011771 edges, 45927 markings/sec, 1435 secs
lola: STP completed || 120 tries, 119927379 fired transitions, 1440 secs || 76304254 markings, 225787862 edges, 47370 markings/sec, 1440 secs
lola: STP completed || 121 tries, 120348017 fired transitions, 1445 secs || 76566765 markings, 226641969 edges, 52502 markings/sec, 1445 secs
lola: STP completed || 121 tries, 120858872 fired transitions, 1450 secs || 76879262 markings, 227658172 edges, 62499 markings/sec, 1450 secs
lola: STP completed || 122 tries, 121360674 fired transitions, 1455 secs || 77182471 markings, 228649565 edges, 60642 markings/sec, 1455 secs
lola: STP completed || 122 tries, 121855155 fired transitions, 1460 secs || 77485372 markings, 229640671 edges, 60580 markings/sec, 1460 secs
lola: STP completed || 123 tries, 122280299 fired transitions, 1465 secs || 77745183 markings, 230492037 edges, 51962 markings/sec, 1465 secs
lola: STP completed || 123 tries, 122672801 fired transitions, 1470 secs || 77981054 markings, 231266946 edges, 47174 markings/sec, 1470 secs
lola: STP completed || 124 tries, 123064789 fired transitions, 1475 secs || 78216618 markings, 232035624 edges, 47113 markings/sec, 1475 secs
lola: STP completed || 124 tries, 123456620 fired transitions, 1480 secs || 78454276 markings, 232808831 edges, 47532 markings/sec, 1480 secs
lola: STP completed || 124 tries, 123847502 fired transitions, 1485 secs || 78694160 markings, 233597078 edges, 47977 markings/sec, 1485 secs
lola: STP completed || 125 tries, 124236690 fired transitions, 1490 secs || 78934309 markings, 234382608 edges, 48030 markings/sec, 1490 secs
lola: STP completed || 125 tries, 124627652 fired transitions, 1495 secs || 79174290 markings, 235164890 edges, 47996 markings/sec, 1495 secs
lola: STP completed || 126 tries, 125020515 fired transitions, 1500 secs || 79408701 markings, 235932520 edges, 46882 markings/sec, 1500 secs
lola: STP completed || 126 tries, 125413892 fired transitions, 1505 secs || 79643739 markings, 236703874 edges, 47008 markings/sec, 1505 secs
lola: STP completed || 126 tries, 125807505 fired transitions, 1510 secs || 79877955 markings, 237479051 edges, 46843 markings/sec, 1510 secs
lola: STP completed || 127 tries, 126202319 fired transitions, 1515 secs || 80111809 markings, 238245903 edges, 46771 markings/sec, 1515 secs
lola: STP completed || 127 tries, 126596249 fired transitions, 1520 secs || 80347582 markings, 239010164 edges, 47155 markings/sec, 1520 secs
lola: STP completed || 127 tries, 126990018 fired transitions, 1525 secs || 80583022 markings, 239786872 edges, 47088 markings/sec, 1525 secs
lola: STP completed || 128 tries, 127383243 fired transitions, 1530 secs || 80817567 markings, 240570094 edges, 46909 markings/sec, 1530 secs
lola: STP completed || 128 tries, 127777256 fired transitions, 1535 secs || 81051451 markings, 241342476 edges, 46777 markings/sec, 1535 secs
lola: STP completed || 129 tries, 128171621 fired transitions, 1540 secs || 81286646 markings, 242117335 edges, 47039 markings/sec, 1540 secs
lola: STP completed || 129 tries, 128564750 fired transitions, 1545 secs || 81520974 markings, 242895573 edges, 46866 markings/sec, 1545 secs
lola: STP completed || 129 tries, 128956912 fired transitions, 1550 secs || 81752874 markings, 243659785 edges, 46380 markings/sec, 1550 secs
lola: STP completed || 130 tries, 129350116 fired transitions, 1555 secs || 81988754 markings, 244437820 edges, 47176 markings/sec, 1555 secs
lola: STP completed || 130 tries, 129743442 fired transitions, 1560 secs || 82224844 markings, 245209569 edges, 47218 markings/sec, 1560 secs
lola: STP completed || 131 tries, 130136280 fired transitions, 1565 secs || 82460404 markings, 245992133 edges, 47112 markings/sec, 1565 secs
lola: STP completed || 131 tries, 130528914 fired transitions, 1570 secs || 82694042 markings, 246764475 edges, 46728 markings/sec, 1570 secs
lola: STP completed || 131 tries, 130923400 fired transitions, 1575 secs || 82926016 markings, 247526231 edges, 46395 markings/sec, 1575 secs
lola: STP completed || 132 tries, 131317857 fired transitions, 1580 secs || 83155038 markings, 248289525 edges, 45804 markings/sec, 1580 secs
lola: STP completed || 132 tries, 131712232 fired transitions, 1585 secs || 83384896 markings, 249043574 edges, 45972 markings/sec, 1585 secs
lola: STP completed || 133 tries, 132106776 fired transitions, 1590 secs || 83617406 markings, 249806535 edges, 46502 markings/sec, 1590 secs
lola: STP completed || 133 tries, 132502330 fired transitions, 1595 secs || 83850312 markings, 250574770 edges, 46581 markings/sec, 1595 secs
lola: STP completed || 133 tries, 132895764 fired transitions, 1600 secs || 84084272 markings, 251347367 edges, 46792 markings/sec, 1600 secs
lola: STP completed || 134 tries, 133290414 fired transitions, 1605 secs || 84317334 markings, 252115084 edges, 46612 markings/sec, 1605 secs
lola: STP completed || 134 tries, 133685689 fired transitions, 1610 secs || 84551116 markings, 252890940 edges, 46756 markings/sec, 1610 secs
lola: STP completed || 135 tries, 134078694 fired transitions, 1615 secs || 84780633 markings, 253652748 edges, 45903 markings/sec, 1615 secs
lola: STP completed || 135 tries, 134458735 fired transitions, 1620 secs || 85006476 markings, 254399653 edges, 45169 markings/sec, 1620 secs
lola: STP completed || 135 tries, 134827244 fired transitions, 1625 secs || 85228564 markings, 255134850 edges, 44418 markings/sec, 1625 secs
lola: STP completed || 136 tries, 135196444 fired transitions, 1630 secs || 85449808 markings, 255864109 edges, 44249 markings/sec, 1630 secs
lola: STP completed || 136 tries, 135567516 fired transitions, 1635 secs || 85668080 markings, 256582332 edges, 43654 markings/sec, 1635 secs
lola: STP completed || 136 tries, 135955841 fired transitions, 1640 secs || 85888882 markings, 257306292 edges, 44160 markings/sec, 1640 secs
lola: STP completed || 137 tries, 136327193 fired transitions, 1645 secs || 86106576 markings, 258021862 edges, 43539 markings/sec, 1645 secs
lola: STP completed || 137 tries, 136717277 fired transitions, 1650 secs || 86327725 markings, 258764772 edges, 44230 markings/sec, 1650 secs
lola: STP completed || 138 tries, 137086435 fired transitions, 1655 secs || 86545183 markings, 259482701 edges, 43492 markings/sec, 1655 secs
lola: STP completed || 138 tries, 137467891 fired transitions, 1660 secs || 86768241 markings, 260220008 edges, 44612 markings/sec, 1660 secs
lola: STP completed || 138 tries, 137882264 fired transitions, 1665 secs || 86994326 markings, 260970048 edges, 45217 markings/sec, 1665 secs
lola: STP completed || 139 tries, 138294404 fired transitions, 1670 secs || 87223058 markings, 261726015 edges, 45746 markings/sec, 1670 secs
lola: STP completed || 139 tries, 138708801 fired transitions, 1675 secs || 87449828 markings, 262475678 edges, 45354 markings/sec, 1675 secs
lola: STP completed || 140 tries, 139123504 fired transitions, 1680 secs || 87675567 markings, 263217277 edges, 45148 markings/sec, 1680 secs
lola: STP completed || 140 tries, 139546517 fired transitions, 1685 secs || 87901803 markings, 263963449 edges, 45247 markings/sec, 1685 secs
lola: STP completed || 140 tries, 139969427 fired transitions, 1690 secs || 88127443 markings, 264718460 edges, 45128 markings/sec, 1690 secs
lola: STP completed || 141 tries, 140392896 fired transitions, 1695 secs || 88355275 markings, 265468641 edges, 45566 markings/sec, 1695 secs
lola: STP completed || 141 tries, 140817820 fired transitions, 1700 secs || 88581161 markings, 266219092 edges, 45177 markings/sec, 1700 secs
lola: STP completed || 142 tries, 141244371 fired transitions, 1705 secs || 88806567 markings, 266968669 edges, 45081 markings/sec, 1705 secs
lola: STP completed || 142 tries, 141667631 fired transitions, 1710 secs || 89033527 markings, 267729432 edges, 45392 markings/sec, 1710 secs
lola: STP completed || 143 tries, 142093127 fired transitions, 1715 secs || 89259729 markings, 268482695 edges, 45240 markings/sec, 1715 secs
lola: STP completed || 143 tries, 142515574 fired transitions, 1720 secs || 89490551 markings, 269244289 edges, 46164 markings/sec, 1720 secs
lola: STP completed || 143 tries, 142940130 fired transitions, 1725 secs || 89716909 markings, 269991904 edges, 45272 markings/sec, 1725 secs
lola: STP completed || 144 tries, 143365841 fired transitions, 1730 secs || 89941647 markings, 270738697 edges, 44948 markings/sec, 1730 secs
lola: STP completed || 144 tries, 143792446 fired transitions, 1735 secs || 90166492 markings, 271490283 edges, 44969 markings/sec, 1735 secs
lola: STP completed || 145 tries, 144218308 fired transitions, 1740 secs || 90388517 markings, 272225781 edges, 44405 markings/sec, 1740 secs
lola: STP completed || 145 tries, 144645635 fired transitions, 1745 secs || 90611641 markings, 272976565 edges, 44625 markings/sec, 1745 secs
lola: STP completed || 146 tries, 145072017 fired transitions, 1750 secs || 90835117 markings, 273727433 edges, 44695 markings/sec, 1750 secs
lola: STP completed || 146 tries, 145496852 fired transitions, 1755 secs || 91059791 markings, 274471386 edges, 44935 markings/sec, 1755 secs
lola: STP completed || 146 tries, 145921107 fired transitions, 1760 secs || 91283061 markings, 275211717 edges, 44654 markings/sec, 1760 secs
lola: STP completed || 147 tries, 146345633 fired transitions, 1765 secs || 91509897 markings, 275956612 edges, 45367 markings/sec, 1765 secs
lola: STP completed || 147 tries, 146770561 fired transitions, 1770 secs || 91739758 markings, 276720685 edges, 45972 markings/sec, 1770 secs
lola: STP completed || 148 tries, 147196064 fired transitions, 1775 secs || 91964196 markings, 277468619 edges, 44888 markings/sec, 1775 secs
lola: STP completed || 148 tries, 147623272 fired transitions, 1780 secs || 92188789 markings, 278219012 edges, 44919 markings/sec, 1780 secs
lola: STP completed || 149 tries, 148048329 fired transitions, 1785 secs || 92415054 markings, 278958038 edges, 45253 markings/sec, 1785 secs
lola: STP completed || 149 tries, 148473395 fired transitions, 1790 secs || 92641233 markings, 279714931 edges, 45236 markings/sec, 1790 secs
lola: STP completed || 149 tries, 148898827 fired transitions, 1795 secs || 92865515 markings, 280457492 edges, 44856 markings/sec, 1795 secs
lola: STP completed || 150 tries, 149325021 fired transitions, 1800 secs || 93089630 markings, 281205474 edges, 44823 markings/sec, 1800 secs
lola: STP completed || 150 tries, 149750728 fired transitions, 1805 secs || 93315409 markings, 281961276 edges, 45156 markings/sec, 1805 secs
lola: STP completed || 151 tries, 150175438 fired transitions, 1810 secs || 93541250 markings, 282708093 edges, 45168 markings/sec, 1810 secs
lola: STP completed || 151 tries, 150602232 fired transitions, 1815 secs || 93764892 markings, 283459840 edges, 44728 markings/sec, 1815 secs
lola: STP completed || 152 tries, 151030203 fired transitions, 1820 secs || 93989387 markings, 284205642 edges, 44899 markings/sec, 1820 secs
lola: STP completed || 152 tries, 151456125 fired transitions, 1825 secs || 94212475 markings, 284954432 edges, 44618 markings/sec, 1825 secs
lola: STP completed || 152 tries, 151881290 fired transitions, 1830 secs || 94434971 markings, 285696752 edges, 44499 markings/sec, 1830 secs
lola: STP completed || 153 tries, 152276998 fired transitions, 1835 secs || 94653394 markings, 286428064 edges, 43685 markings/sec, 1835 secs
lola: STP completed || 153 tries, 152677881 fired transitions, 1840 secs || 94878197 markings, 287186684 edges, 44961 markings/sec, 1840 secs
lola: STP completed || 154 tries, 153061971 fired transitions, 1845 secs || 95098393 markings, 287926044 edges, 44039 markings/sec, 1845 secs
lola: STP completed || 154 tries, 153442822 fired transitions, 1850 secs || 95316052 markings, 288652033 edges, 43532 markings/sec, 1850 secs
lola: STP completed || 154 tries, 153833639 fired transitions, 1855 secs || 95534883 markings, 289381949 edges, 43766 markings/sec, 1855 secs
lola: STP completed || 155 tries, 154213281 fired transitions, 1860 secs || 95750141 markings, 290102705 edges, 43052 markings/sec, 1860 secs
lola: STP completed || 155 tries, 154602508 fired transitions, 1865 secs || 95967921 markings, 290828035 edges, 43556 markings/sec, 1865 secs
lola: STP completed || 155 tries, 154974735 fired transitions, 1870 secs || 96183740 markings, 291546884 edges, 43164 markings/sec, 1870 secs
lola: STP completed || 156 tries, 155344499 fired transitions, 1875 secs || 96399590 markings, 292267608 edges, 43170 markings/sec, 1875 secs
lola: STP completed || 156 tries, 155734074 fired transitions, 1880 secs || 96619268 markings, 293012768 edges, 43936 markings/sec, 1880 secs
lola: STP completed || 157 tries, 156150091 fired transitions, 1885 secs || 96843345 markings, 293761979 edges, 44815 markings/sec, 1885 secs
lola: STP completed || 157 tries, 156567128 fired transitions, 1890 secs || 97069359 markings, 294512944 edges, 45203 markings/sec, 1890 secs
lola: STP completed || 157 tries, 156982785 fired transitions, 1895 secs || 97294347 markings, 295262353 edges, 44998 markings/sec, 1895 secs
lola: STP completed || 158 tries, 157398936 fired transitions, 1900 secs || 97517442 markings, 296012997 edges, 44619 markings/sec, 1900 secs
lola: STP completed || 158 tries, 157815578 fired transitions, 1905 secs || 97741006 markings, 296765204 edges, 44713 markings/sec, 1905 secs
lola: STP completed || 159 tries, 158232023 fired transitions, 1910 secs || 97964615 markings, 297510995 edges, 44722 markings/sec, 1910 secs
lola: STP completed || 159 tries, 158647811 fired transitions, 1915 secs || 98188319 markings, 298257697 edges, 44741 markings/sec, 1915 secs
lola: STP completed || 160 tries, 159064422 fired transitions, 1920 secs || 98413186 markings, 299007648 edges, 44973 markings/sec, 1920 secs
lola: STP completed || 160 tries, 159481175 fired transitions, 1925 secs || 98637432 markings, 299768376 edges, 44849 markings/sec, 1925 secs
lola: STP completed || 160 tries, 159895059 fired transitions, 1930 secs || 98861470 markings, 300514479 edges, 44808 markings/sec, 1930 secs
lola: STP completed || 161 tries, 160309594 fired transitions, 1935 secs || 99085583 markings, 301270899 edges, 44823 markings/sec, 1935 secs
lola: STP completed || 161 tries, 160726151 fired transitions, 1940 secs || 99311696 markings, 302031885 edges, 45223 markings/sec, 1940 secs
lola: STP completed || 162 tries, 161140276 fired transitions, 1945 secs || 99541522 markings, 302796880 edges, 45965 markings/sec, 1945 secs
lola: STP completed || 162 tries, 161554407 fired transitions, 1950 secs || 99768607 markings, 303556972 edges, 45417 markings/sec, 1950 secs
lola: STP completed || 162 tries, 161968142 fired transitions, 1955 secs || 99991503 markings, 304297537 edges, 44579 markings/sec, 1955 secs
lola: STP completed || 163 tries, 162383834 fired transitions, 1960 secs || 100214349 markings, 305050699 edges, 44569 markings/sec, 1960 secs
lola: STP completed || 163 tries, 162799269 fired transitions, 1965 secs || 100437072 markings, 305797567 edges, 44545 markings/sec, 1965 secs
lola: STP completed || 164 tries, 163214795 fired transitions, 1970 secs || 100665952 markings, 306571351 edges, 45776 markings/sec, 1970 secs
lola: STP completed || 164 tries, 163640023 fired transitions, 1975 secs || 100905810 markings, 307377121 edges, 47972 markings/sec, 1975 secs
lola: STP completed || 165 tries, 164055353 fired transitions, 1980 secs || 101132007 markings, 308132094 edges, 45239 markings/sec, 1980 secs
lola: STP completed || 165 tries, 164473655 fired transitions, 1985 secs || 101355246 markings, 308888873 edges, 44648 markings/sec, 1985 secs
lola: STP completed || 165 tries, 164891694 fired transitions, 1990 secs || 101578277 markings, 309635735 edges, 44606 markings/sec, 1990 secs
lola: STP completed || 166 tries, 165306739 fired transitions, 1995 secs || 101800747 markings, 310385159 edges, 44494 markings/sec, 1995 secs
lola: STP completed || 166 tries, 165722307 fired transitions, 2000 secs || 102023036 markings, 311130557 edges, 44458 markings/sec, 2000 secs
lola: STP completed || 167 tries, 166137462 fired transitions, 2005 secs || 102250122 markings, 311894504 edges, 45417 markings/sec, 2005 secs
lola: STP completed || 167 tries, 166551330 fired transitions, 2010 secs || 102477947 markings, 312656123 edges, 45565 markings/sec, 2010 secs
lola: STP completed || 167 tries, 166966703 fired transitions, 2015 secs || 102699175 markings, 313404684 edges, 44246 markings/sec, 2015 secs
lola: STP completed || 168 tries, 167383541 fired transitions, 2020 secs || 102921762 markings, 314155460 edges, 44517 markings/sec, 2020 secs
lola: STP completed || 168 tries, 167799834 fired transitions, 2025 secs || 103145185 markings, 314904916 edges, 44685 markings/sec, 2025 secs
lola: STP completed || 169 tries, 168218135 fired transitions, 2030 secs || 103367590 markings, 315655554 edges, 44481 markings/sec, 2030 secs
lola: STP completed || 169 tries, 168636420 fired transitions, 2035 secs || 103590682 markings, 316408872 edges, 44618 markings/sec, 2035 secs
lola: STP completed || 170 tries, 169053647 fired transitions, 2040 secs || 103817387 markings, 317181232 edges, 45341 markings/sec, 2040 secs
lola: STP completed || 170 tries, 169470760 fired transitions, 2045 secs || 104041406 markings, 317938083 edges, 44804 markings/sec, 2045 secs
lola: STP completed || 170 tries, 169886604 fired transitions, 2050 secs || 104267068 markings, 318700222 edges, 45132 markings/sec, 2050 secs
lola: STP completed || 171 tries, 170304431 fired transitions, 2055 secs || 104493981 markings, 319466022 edges, 45383 markings/sec, 2055 secs
lola: STP completed || 171 tries, 170721211 fired transitions, 2060 secs || 104719082 markings, 320228358 edges, 45020 markings/sec, 2060 secs
lola: STP completed || 172 tries, 171139003 fired transitions, 2065 secs || 104941194 markings, 320971694 edges, 44422 markings/sec, 2065 secs
lola: STP completed || 172 tries, 171553491 fired transitions, 2070 secs || 105166360 markings, 321727275 edges, 45033 markings/sec, 2070 secs
lola: STP completed || 172 tries, 171967999 fired transitions, 2075 secs || 105393888 markings, 322493694 edges, 45506 markings/sec, 2075 secs
lola: STP completed || 173 tries, 172383465 fired transitions, 2080 secs || 105620151 markings, 323257346 edges, 45253 markings/sec, 2080 secs
lola: STP completed || 173 tries, 172798844 fired transitions, 2085 secs || 105847504 markings, 324020355 edges, 45471 markings/sec, 2085 secs
lola: STP completed || 174 tries, 173213604 fired transitions, 2090 secs || 106074156 markings, 324782116 edges, 45330 markings/sec, 2090 secs
lola: STP completed || 174 tries, 173630237 fired transitions, 2095 secs || 106301446 markings, 325547504 edges, 45458 markings/sec, 2095 secs
lola: STP completed || 175 tries, 174045813 fired transitions, 2100 secs || 106527482 markings, 326315523 edges, 45207 markings/sec, 2100 secs
lola: STP completed || 175 tries, 174460215 fired transitions, 2105 secs || 106751574 markings, 327073465 edges, 44818 markings/sec, 2105 secs
lola: STP completed || 175 tries, 174870602 fired transitions, 2110 secs || 106969581 markings, 327817565 edges, 43601 markings/sec, 2110 secs
lola: STP completed || 176 tries, 175279959 fired transitions, 2115 secs || 107189874 markings, 328566101 edges, 44059 markings/sec, 2115 secs
lola: STP completed || 176 tries, 175687697 fired transitions, 2120 secs || 107411461 markings, 329317679 edges, 44317 markings/sec, 2120 secs
lola: STP completed || 177 tries, 176096038 fired transitions, 2125 secs || 107638267 markings, 330091611 edges, 45361 markings/sec, 2125 secs
lola: STP completed || 177 tries, 176504395 fired transitions, 2130 secs || 107861292 markings, 330850162 edges, 44605 markings/sec, 2130 secs
lola: STP completed || 177 tries, 176914166 fired transitions, 2135 secs || 108082658 markings, 331597922 edges, 44273 markings/sec, 2135 secs
lola: STP completed || 178 tries, 177324423 fired transitions, 2140 secs || 108304483 markings, 332353554 edges, 44365 markings/sec, 2140 secs
lola: STP completed || 178 tries, 177727044 fired transitions, 2145 secs || 108522548 markings, 333094584 edges, 43613 markings/sec, 2145 secs
lola: STP completed || 179 tries, 178119023 fired transitions, 2150 secs || 108735907 markings, 333810950 edges, 42672 markings/sec, 2150 secs
lola: STP completed || 179 tries, 178510938 fired transitions, 2155 secs || 108948485 markings, 334535677 edges, 42516 markings/sec, 2155 secs
lola: STP completed || 179 tries, 178894649 fired transitions, 2160 secs || 109163978 markings, 335266250 edges, 43099 markings/sec, 2160 secs
lola: STP completed || 180 tries, 179286400 fired transitions, 2165 secs || 109379328 markings, 335998824 edges, 43070 markings/sec, 2165 secs
lola: STP completed || 180 tries, 179673937 fired transitions, 2170 secs || 109592741 markings, 336725029 edges, 42683 markings/sec, 2170 secs
lola: STP completed || 181 tries, 180049424 fired transitions, 2175 secs || 109807420 markings, 337453539 edges, 42936 markings/sec, 2175 secs
lola: STP completed || 181 tries, 180420087 fired transitions, 2180 secs || 110021813 markings, 338174890 edges, 42879 markings/sec, 2180 secs
lola: STP completed || 181 tries, 180804311 fired transitions, 2185 secs || 110235645 markings, 338899685 edges, 42766 markings/sec, 2185 secs
lola: STP completed || 182 tries, 181183883 fired transitions, 2190 secs || 110447779 markings, 339612805 edges, 42427 markings/sec, 2190 secs
lola: STP completed || 182 tries, 181585221 fired transitions, 2195 secs || 110659690 markings, 340329483 edges, 42382 markings/sec, 2195 secs
lola: STP completed || 182 tries, 181972193 fired transitions, 2200 secs || 110871844 markings, 341057687 edges, 42431 markings/sec, 2200 secs
lola: STP completed || 183 tries, 182344371 fired transitions, 2205 secs || 111086295 markings, 341783482 edges, 42890 markings/sec, 2205 secs
lola: STP completed || 183 tries, 182715165 fired transitions, 2210 secs || 111299897 markings, 342515613 edges, 42720 markings/sec, 2210 secs
lola: STP completed || 184 tries, 183086629 fired transitions, 2215 secs || 111512692 markings, 343235806 edges, 42559 markings/sec, 2215 secs
lola: STP completed || 184 tries, 183457494 fired transitions, 2220 secs || 111725267 markings, 343959263 edges, 42515 markings/sec, 2220 secs
lola: STP completed || 184 tries, 183856419 fired transitions, 2225 secs || 111941932 markings, 344702662 edges, 43333 markings/sec, 2225 secs
lola: STP completed || 185 tries, 184237068 fired transitions, 2230 secs || 112154043 markings, 345429658 edges, 42422 markings/sec, 2230 secs
lola: STP completed || 185 tries, 184609253 fired transitions, 2235 secs || 112367273 markings, 346158839 edges, 42646 markings/sec, 2235 secs
lola: STP completed || 185 tries, 184979600 fired transitions, 2240 secs || 112581444 markings, 346887100 edges, 42834 markings/sec, 2240 secs
lola: STP completed || 186 tries, 185351756 fired transitions, 2245 secs || 112794435 markings, 347609792 edges, 42598 markings/sec, 2245 secs
lola: STP completed || 186 tries, 185723264 fired transitions, 2250 secs || 113007603 markings, 348325826 edges, 42634 markings/sec, 2250 secs
lola: STP completed || 187 tries, 186105230 fired transitions, 2255 secs || 113228654 markings, 349073326 edges, 44210 markings/sec, 2255 secs
lola: STP completed || 187 tries, 186532693 fired transitions, 2260 secs || 113442763 markings, 349799734 edges, 42822 markings/sec, 2260 secs
lola: STP completed || 187 tries, 186962529 fired transitions, 2265 secs || 113658088 markings, 350534883 edges, 43065 markings/sec, 2265 secs
lola: STP completed || 188 tries, 187392222 fired transitions, 2270 secs || 113873059 markings, 351272292 edges, 42994 markings/sec, 2270 secs
lola: STP completed || 188 tries, 187820450 fired transitions, 2275 secs || 114088364 markings, 352003764 edges, 43061 markings/sec, 2275 secs
lola: STP completed || 189 tries, 188250470 fired transitions, 2280 secs || 114303964 markings, 352738716 edges, 43120 markings/sec, 2280 secs
lola: STP completed || 189 tries, 188680499 fired transitions, 2285 secs || 114519749 markings, 353473992 edges, 43157 markings/sec, 2285 secs
lola: STP completed || 190 tries, 189111682 fired transitions, 2290 secs || 114734580 markings, 354208105 edges, 42966 markings/sec, 2290 secs
lola: STP completed || 190 tries, 189540210 fired transitions, 2295 secs || 114949608 markings, 354941168 edges, 43006 markings/sec, 2295 secs
lola: STP completed || 190 tries, 189970123 fired transitions, 2300 secs || 115163949 markings, 355678355 edges, 42868 markings/sec, 2300 secs
lola: STP completed || 191 tries, 190399092 fired transitions, 2305 secs || 115379027 markings, 356410062 edges, 43016 markings/sec, 2305 secs
lola: STP completed || 191 tries, 190827103 fired transitions, 2310 secs || 115594447 markings, 357143689 edges, 43084 markings/sec, 2310 secs
lola: STP completed || 192 tries, 191257130 fired transitions, 2315 secs || 115809782 markings, 357880286 edges, 43067 markings/sec, 2315 secs
lola: STP completed || 192 tries, 191685603 fired transitions, 2320 secs || 116024908 markings, 358617763 edges, 43025 markings/sec, 2320 secs
lola: STP completed || 193 tries, 192115780 fired transitions, 2325 secs || 116240400 markings, 359354976 edges, 43098 markings/sec, 2325 secs
lola: STP completed || 193 tries, 192545577 fired transitions, 2330 secs || 116454825 markings, 360089523 edges, 42885 markings/sec, 2330 secs
lola: STP completed || 193 tries, 192973792 fired transitions, 2335 secs || 116669130 markings, 360834174 edges, 42861 markings/sec, 2335 secs
lola: STP completed || 194 tries, 193403923 fired transitions, 2340 secs || 116883485 markings, 361564777 edges, 42871 markings/sec, 2340 secs
lola: STP completed || 194 tries, 193829460 fired transitions, 2345 secs || 117099903 markings, 362309682 edges, 43284 markings/sec, 2345 secs
lola: STP completed || 195 tries, 194256122 fired transitions, 2350 secs || 117315027 markings, 363052015 edges, 43025 markings/sec, 2350 secs
lola: STP completed || 195 tries, 194672484 fired transitions, 2355 secs || 117526311 markings, 363769666 edges, 42257 markings/sec, 2355 secs
lola: STP completed || 196 tries, 195078187 fired transitions, 2360 secs || 117731601 markings, 364465265 edges, 41058 markings/sec, 2360 secs
lola: STP completed || 196 tries, 195465895 fired transitions, 2365 secs || 117923414 markings, 365119085 edges, 38363 markings/sec, 2365 secs
lola: STP completed || 196 tries, 195850576 fired transitions, 2370 secs || 118129357 markings, 365823223 edges, 41189 markings/sec, 2370 secs
lola: STP completed || 197 tries, 196243530 fired transitions, 2375 secs || 118342818 markings, 366545132 edges, 42692 markings/sec, 2375 secs
lola: STP completed || 197 tries, 196616174 fired transitions, 2380 secs || 118554669 markings, 367262179 edges, 42370 markings/sec, 2380 secs
lola: STP completed || 197 tries, 196988149 fired transitions, 2385 secs || 118766474 markings, 367993380 edges, 42361 markings/sec, 2385 secs
lola: STP completed || 198 tries, 197391510 fired transitions, 2390 secs || 118981200 markings, 368724416 edges, 42945 markings/sec, 2390 secs
lola: STP completed || 198 tries, 197805504 fired transitions, 2395 secs || 119199631 markings, 369474897 edges, 43686 markings/sec, 2395 secs
lola: STP completed || 199 tries, 198222439 fired transitions, 2400 secs || 119415330 markings, 370212934 edges, 43140 markings/sec, 2400 secs
lola: STP completed || 199 tries, 198642266 fired transitions, 2405 secs || 119629900 markings, 370947089 edges, 42914 markings/sec, 2405 secs
lola: STP completed || 200 tries, 199052641 fired transitions, 2410 secs || 119849328 markings, 371708354 edges, 43886 markings/sec, 2410 secs
lola: STP completed || 200 tries, 199469807 fired transitions, 2415 secs || 120068674 markings, 372462357 edges, 43869 markings/sec, 2415 secs
lola: STP completed || 200 tries, 199887534 fired transitions, 2420 secs || 120288784 markings, 373215728 edges, 44022 markings/sec, 2420 secs
lola: STP completed || 201 tries, 200306500 fired transitions, 2425 secs || 120509603 markings, 373972404 edges, 44164 markings/sec, 2425 secs
lola: STP completed || 201 tries, 200726097 fired transitions, 2430 secs || 120729302 markings, 374727494 edges, 43940 markings/sec, 2430 secs
lola: STP completed || 202 tries, 201142257 fired transitions, 2435 secs || 120950486 markings, 375478562 edges, 44237 markings/sec, 2435 secs
lola: STP completed || 202 tries, 201560024 fired transitions, 2440 secs || 121173894 markings, 376239402 edges, 44682 markings/sec, 2440 secs
lola: STP completed || 203 tries, 202092425 fired transitions, 2445 secs || 121447525 markings, 377176786 edges, 54726 markings/sec, 2445 secs
lola: STP completed || 203 tries, 202547506 fired transitions, 2450 secs || 121693676 markings, 378017842 edges, 49230 markings/sec, 2450 secs
lola: STP completed || 203 tries, 202938540 fired transitions, 2455 secs || 121915778 markings, 378783582 edges, 44420 markings/sec, 2455 secs
lola: STP completed || 204 tries, 203339762 fired transitions, 2460 secs || 122135003 markings, 379547152 edges, 43845 markings/sec, 2460 secs
lola: STP completed || 204 tries, 203741809 fired transitions, 2465 secs || 122353643 markings, 380301906 edges, 43728 markings/sec, 2465 secs
lola: STP completed || 205 tries, 204234515 fired transitions, 2470 secs || 122621441 markings, 381225423 edges, 53560 markings/sec, 2470 secs
lola: STP completed || 205 tries, 204713351 fired transitions, 2475 secs || 122880681 markings, 382119031 edges, 51848 markings/sec, 2475 secs
lola: STP completed || 206 tries, 205145167 fired transitions, 2480 secs || 123101780 markings, 382886419 edges, 44220 markings/sec, 2480 secs
lola: STP completed || 206 tries, 205634399 fired transitions, 2485 secs || 123374657 markings, 383815835 edges, 54575 markings/sec, 2485 secs
lola: STP completed || 207 tries, 206135274 fired transitions, 2490 secs || 123654319 markings, 384776428 edges, 55932 markings/sec, 2490 secs
lola: STP completed || 207 tries, 206644978 fired transitions, 2495 secs || 123938362 markings, 385762653 edges, 56809 markings/sec, 2495 secs
lola: STP completed || 208 tries, 207159830 fired transitions, 2500 secs || 124225398 markings, 386756629 edges, 57407 markings/sec, 2500 secs
lola: STP completed || 208 tries, 207599488 fired transitions, 2505 secs || 124468921 markings, 387599621 edges, 48705 markings/sec, 2505 secs
lola: STP completed || 208 tries, 207983010 fired transitions, 2510 secs || 124673709 markings, 388302006 edges, 40958 markings/sec, 2510 secs
lola: STP completed || 209 tries, 208374424 fired transitions, 2515 secs || 124876733 markings, 389000891 edges, 40605 markings/sec, 2515 secs
lola: STP completed || 209 tries, 208781445 fired transitions, 2520 secs || 125087376 markings, 389725875 edges, 42129 markings/sec, 2520 secs
lola: STP completed || 210 tries, 209183830 fired transitions, 2525 secs || 125307776 markings, 390481559 edges, 44080 markings/sec, 2525 secs
lola: STP completed || 210 tries, 209585770 fired transitions, 2530 secs || 125529672 markings, 391241443 edges, 44379 markings/sec, 2530 secs
lola: STP completed || 210 tries, 209976870 fired transitions, 2535 secs || 125751679 markings, 392003478 edges, 44401 markings/sec, 2535 secs
lola: STP completed || 211 tries, 210377545 fired transitions, 2540 secs || 125972867 markings, 392768341 edges, 44238 markings/sec, 2540 secs
lola: STP completed || 211 tries, 210779585 fired transitions, 2545 secs || 126192887 markings, 393529190 edges, 44004 markings/sec, 2545 secs
lola: STP completed || 212 tries, 211184078 fired transitions, 2550 secs || 126409294 markings, 394274426 edges, 43281 markings/sec, 2550 secs
lola: STP completed || 212 tries, 211592815 fired transitions, 2555 secs || 126625027 markings, 395023562 edges, 43147 markings/sec, 2555 secs
lola: STP completed || 212 tries, 211981833 fired transitions, 2560 secs || 126840796 markings, 395767205 edges, 43154 markings/sec, 2560 secs
lola: STP completed || 213 tries, 212388636 fired transitions, 2565 secs || 127055682 markings, 396503299 edges, 42977 markings/sec, 2565 secs
lola: STP completed || 213 tries, 212790366 fired transitions, 2570 secs || 127272567 markings, 397260691 edges, 43377 markings/sec, 2570 secs
lola: STP completed || 214 tries, 213196068 fired transitions, 2575 secs || 127489254 markings, 398019579 edges, 43337 markings/sec, 2575 secs
lola: STP completed || 214 tries, 213693394 fired transitions, 2580 secs || 127762807 markings, 398975076 edges, 54711 markings/sec, 2580 secs
lola: STP completed || 215 tries, 214194802 fired transitions, 2585 secs || 128042622 markings, 399957963 edges, 55963 markings/sec, 2585 secs
lola: STP completed || 215 tries, 214703693 fired transitions, 2590 secs || 128325906 markings, 400946980 edges, 56657 markings/sec, 2590 secs
lola: STP completed || 216 tries, 215208842 fired transitions, 2595 secs || 128608274 markings, 401927259 edges, 56474 markings/sec, 2595 secs
lola: STP completed || 216 tries, 215706881 fired transitions, 2600 secs || 128884801 markings, 402882552 edges, 55305 markings/sec, 2600 secs
lola: STP completed || 217 tries, 216202394 fired transitions, 2605 secs || 129161225 markings, 403852009 edges, 55285 markings/sec, 2605 secs
lola: STP completed || 217 tries, 216698598 fired transitions, 2610 secs || 129437408 markings, 404809442 edges, 55237 markings/sec, 2610 secs
lola: STP completed || 218 tries, 217192836 fired transitions, 2615 secs || 129712091 markings, 405767241 edges, 54937 markings/sec, 2615 secs
lola: STP completed || 218 tries, 217686534 fired transitions, 2620 secs || 129989016 markings, 406725119 edges, 55385 markings/sec, 2620 secs
lola: STP completed || 219 tries, 218179540 fired transitions, 2625 secs || 130263945 markings, 407673739 edges, 54986 markings/sec, 2625 secs
lola: STP completed || 219 tries, 218674411 fired transitions, 2630 secs || 130540337 markings, 408629942 edges, 55278 markings/sec, 2630 secs
lola: STP completed || 220 tries, 219165967 fired transitions, 2635 secs || 130813638 markings, 409576327 edges, 54660 markings/sec, 2635 secs
lola: STP completed || 220 tries, 219659615 fired transitions, 2640 secs || 131089450 markings, 410539686 edges, 55162 markings/sec, 2640 secs
lola: STP completed || 221 tries, 220153698 fired transitions, 2645 secs || 131366854 markings, 411501822 edges, 55481 markings/sec, 2645 secs
lola: STP completed || 221 tries, 220648634 fired transitions, 2650 secs || 131643737 markings, 412464124 edges, 55377 markings/sec, 2650 secs
lola: STP completed || 222 tries, 221143231 fired transitions, 2655 secs || 131918894 markings, 413431412 edges, 55031 markings/sec, 2655 secs
lola: STP completed || 222 tries, 221635568 fired transitions, 2660 secs || 132193577 markings, 414378845 edges, 54937 markings/sec, 2660 secs
lola: STP completed || 223 tries, 222134709 fired transitions, 2665 secs || 132468159 markings, 415339727 edges, 54916 markings/sec, 2665 secs
lola: STP completed || 223 tries, 222632261 fired transitions, 2670 secs || 132737051 markings, 416283459 edges, 53778 markings/sec, 2670 secs
lola: STP completed || 224 tries, 223128113 fired transitions, 2675 secs || 133006033 markings, 417227748 edges, 53796 markings/sec, 2675 secs
lola: STP completed || 224 tries, 223625152 fired transitions, 2680 secs || 133275486 markings, 418168992 edges, 53891 markings/sec, 2680 secs
lola: STP completed || 225 tries, 224122810 fired transitions, 2685 secs || 133544594 markings, 419102033 edges, 53822 markings/sec, 2685 secs
lola: STP completed || 225 tries, 224619383 fired transitions, 2690 secs || 133815427 markings, 420046532 edges, 54167 markings/sec, 2690 secs
lola: STP completed || 226 tries, 225111882 fired transitions, 2695 secs || 134088036 markings, 421003842 edges, 54522 markings/sec, 2695 secs
lola: STP completed || 226 tries, 225607377 fired transitions, 2700 secs || 134362025 markings, 421955159 edges, 54798 markings/sec, 2700 secs
lola: STP completed || 227 tries, 226103163 fired transitions, 2705 secs || 134637628 markings, 422910181 edges, 55121 markings/sec, 2705 secs
lola: STP completed || 227 tries, 226593885 fired transitions, 2710 secs || 134910915 markings, 423868638 edges, 54657 markings/sec, 2710 secs
lola: STP completed || 228 tries, 227089802 fired transitions, 2715 secs || 135186388 markings, 424834499 edges, 55095 markings/sec, 2715 secs
lola: STP completed || 228 tries, 227584597 fired transitions, 2720 secs || 135461394 markings, 425790692 edges, 55001 markings/sec, 2720 secs
lola: STP completed || 229 tries, 228079878 fired transitions, 2725 secs || 135736014 markings, 426757165 edges, 54924 markings/sec, 2725 secs
lola: STP completed || 229 tries, 228573183 fired transitions, 2730 secs || 136009385 markings, 427707906 edges, 54674 markings/sec, 2730 secs
lola: STP completed || 230 tries, 229066728 fired transitions, 2735 secs || 136283087 markings, 428667282 edges, 54740 markings/sec, 2735 secs
lola: STP completed || 230 tries, 229562866 fired transitions, 2740 secs || 136557306 markings, 429635296 edges, 54844 markings/sec, 2740 secs
lola: STP completed || 231 tries, 230057658 fired transitions, 2745 secs || 136830874 markings, 430596936 edges, 54714 markings/sec, 2745 secs
lola: STP completed || 231 tries, 230546738 fired transitions, 2750 secs || 137104009 markings, 431548103 edges, 54627 markings/sec, 2750 secs
lola: STP completed || 232 tries, 231030382 fired transitions, 2755 secs || 137373310 markings, 432501042 edges, 53860 markings/sec, 2755 secs
lola: STP completed || 232 tries, 231525226 fired transitions, 2760 secs || 137646556 markings, 433465141 edges, 54649 markings/sec, 2760 secs
lola: STP completed || 233 tries, 232016961 fired transitions, 2765 secs || 137920267 markings, 434425987 edges, 54742 markings/sec, 2765 secs
lola: STP completed || 233 tries, 232512771 fired transitions, 2770 secs || 138195494 markings, 435392125 edges, 55045 markings/sec, 2770 secs
lola: STP completed || 234 tries, 233008581 fired transitions, 2775 secs || 138470101 markings, 436358413 edges, 54921 markings/sec, 2775 secs
lola: STP completed || 234 tries, 233503359 fired transitions, 2780 secs || 138744840 markings, 437315926 edges, 54948 markings/sec, 2780 secs
lola: STP completed || 234 tries, 233998094 fired transitions, 2785 secs || 139019460 markings, 438282541 edges, 54924 markings/sec, 2785 secs
lola: STP completed || 235 tries, 234494622 fired transitions, 2790 secs || 139294341 markings, 439249720 edges, 54976 markings/sec, 2790 secs
lola: STP completed || 235 tries, 234989880 fired transitions, 2795 secs || 139568078 markings, 440212552 edges, 54747 markings/sec, 2795 secs
lola: STP completed || 236 tries, 235485694 fired transitions, 2800 secs || 139842367 markings, 441173099 edges, 54858 markings/sec, 2800 secs
lola: STP completed || 236 tries, 235981079 fired transitions, 2805 secs || 140115996 markings, 442126673 edges, 54726 markings/sec, 2805 secs
lola: STP completed || 237 tries, 236484804 fired transitions, 2810 secs || 140394258 markings, 443102387 edges, 55652 markings/sec, 2810 secs
lola: STP completed || 237 tries, 236980501 fired transitions, 2815 secs || 140668740 markings, 444059891 edges, 54896 markings/sec, 2815 secs
lola: STP completed || 238 tries, 237474295 fired transitions, 2820 secs || 140941655 markings, 445016634 edges, 54583 markings/sec, 2820 secs
lola: STP completed || 238 tries, 237970788 fired transitions, 2825 secs || 141214268 markings, 445976372 edges, 54523 markings/sec, 2825 secs
lola: STP completed || 239 tries, 238467033 fired transitions, 2830 secs || 141488909 markings, 446935011 edges, 54928 markings/sec, 2830 secs
lola: STP completed || 239 tries, 238963403 fired transitions, 2835 secs || 141761477 markings, 447898509 edges, 54514 markings/sec, 2835 secs
lola: STP completed || 240 tries, 239458844 fired transitions, 2840 secs || 142034234 markings, 448854356 edges, 54551 markings/sec, 2840 secs
lola: STP completed || 240 tries, 239955580 fired transitions, 2845 secs || 142307791 markings, 449816591 edges, 54711 markings/sec, 2845 secs
lola: STP completed || 241 tries, 240445908 fired transitions, 2850 secs || 142574737 markings, 450754628 edges, 53389 markings/sec, 2850 secs
lola: STP completed || 241 tries, 240880844 fired transitions, 2855 secs || 142770472 markings, 451438451 edges, 39147 markings/sec, 2855 secs
lola: STP completed || 242 tries, 241367562 fired transitions, 2860 secs || 143026410 markings, 452332773 edges, 51188 markings/sec, 2860 secs
lola: STP completed || 242 tries, 241864432 fired transitions, 2865 secs || 143296776 markings, 453277695 edges, 54073 markings/sec, 2865 secs
lola: STP completed || 243 tries, 242360726 fired transitions, 2870 secs || 143568842 markings, 454227776 edges, 54413 markings/sec, 2870 secs
lola: STP completed || 243 tries, 242857672 fired transitions, 2875 secs || 143840372 markings, 455187427 edges, 54306 markings/sec, 2875 secs
lola: STP completed || 244 tries, 243353955 fired transitions, 2880 secs || 144112527 markings, 456141529 edges, 54431 markings/sec, 2880 secs
lola: STP completed || 244 tries, 243850670 fired transitions, 2885 secs || 144385286 markings, 457110987 edges, 54552 markings/sec, 2885 secs
lola: STP completed || 245 tries, 244347765 fired transitions, 2890 secs || 144657526 markings, 458081929 edges, 54448 markings/sec, 2890 secs
lola: STP completed || 245 tries, 244843505 fired transitions, 2895 secs || 144929052 markings, 459043469 edges, 54305 markings/sec, 2895 secs
lola: STP completed || 246 tries, 245340186 fired transitions, 2900 secs || 145200844 markings, 460004413 edges, 54358 markings/sec, 2900 secs
lola: STP completed || 246 tries, 245836530 fired transitions, 2905 secs || 145472500 markings, 460964142 edges, 54331 markings/sec, 2905 secs
lola: STP completed || 247 tries, 246332430 fired transitions, 2910 secs || 145744378 markings, 461918679 edges, 54376 markings/sec, 2910 secs
lola: STP completed || 247 tries, 246829191 fired transitions, 2915 secs || 146016728 markings, 462890310 edges, 54470 markings/sec, 2915 secs
lola: STP completed || 248 tries, 247325979 fired transitions, 2920 secs || 146290105 markings, 463847836 edges, 54675 markings/sec, 2920 secs
lola: STP completed || 248 tries, 247822700 fired transitions, 2925 secs || 146561734 markings, 464805128 edges, 54326 markings/sec, 2925 secs
lola: STP completed || 249 tries, 248323386 fired transitions, 2930 secs || 146837396 markings, 465776965 edges, 55132 markings/sec, 2930 secs
lola: STP completed || 249 tries, 248829698 fired transitions, 2935 secs || 147114766 markings, 466757249 edges, 55474 markings/sec, 2935 secs
lola: STP completed || 250 tries, 249335301 fired transitions, 2940 secs || 147391922 markings, 467732423 edges, 55431 markings/sec, 2940 secs
lola: STP completed || 250 tries, 249847934 fired transitions, 2945 secs || 147672191 markings, 468718989 edges, 56054 markings/sec, 2945 secs
lola: STP completed || 251 tries, 250356119 fired transitions, 2950 secs || 147949613 markings, 469699245 edges, 55484 markings/sec, 2950 secs
lola: STP completed || 251 tries, 250869788 fired transitions, 2955 secs || 148230713 markings, 470690804 edges, 56220 markings/sec, 2955 secs
lola: STP completed || 252 tries, 251382616 fired transitions, 2960 secs || 148511043 markings, 471672132 edges, 56066 markings/sec, 2960 secs
lola: STP completed || 252 tries, 251885636 fired transitions, 2965 secs || 148787260 markings, 472644137 edges, 55243 markings/sec, 2965 secs
lola: STP completed || 253 tries, 252381386 fired transitions, 2970 secs || 149058536 markings, 473600873 edges, 54255 markings/sec, 2970 secs
lola: STP completed || 253 tries, 252878475 fired transitions, 2975 secs || 149329262 markings, 474562209 edges, 54145 markings/sec, 2975 secs
lola: STP completed || 254 tries, 253374317 fired transitions, 2980 secs || 149601249 markings, 475516609 edges, 54397 markings/sec, 2980 secs
lola: STP completed || 254 tries, 253870926 fired transitions, 2985 secs || 149871675 markings, 476474921 edges, 54085 markings/sec, 2985 secs
lola: STP completed || 255 tries, 254382106 fired transitions, 2990 secs || 150150237 markings, 477458407 edges, 55712 markings/sec, 2990 secs
lola: STP completed || 255 tries, 254904414 fired transitions, 2995 secs || 150432447 markings, 478453403 edges, 56442 markings/sec, 2995 secs
lola: STP completed || 256 tries, 255419153 fired transitions, 3000 secs || 150712242 markings, 479431695 edges, 55959 markings/sec, 3000 secs
lola: STP completed || 256 tries, 255927565 fired transitions, 3005 secs || 150991033 markings, 480423725 edges, 55758 markings/sec, 3005 secs
lola: STP completed || 257 tries, 256424097 fired transitions, 3010 secs || 151263371 markings, 481380344 edges, 54468 markings/sec, 3010 secs
lola: STP completed || 257 tries, 256920298 fired transitions, 3015 secs || 151535906 markings, 482330787 edges, 54507 markings/sec, 3015 secs
lola: STP completed || 258 tries, 257416884 fired transitions, 3020 secs || 151807033 markings, 483289706 edges, 54225 markings/sec, 3020 secs
lola: STP completed || 258 tries, 257913509 fired transitions, 3025 secs || 152079128 markings, 484245508 edges, 54419 markings/sec, 3025 secs
lola: STP completed || 259 tries, 258419071 fired transitions, 3030 secs || 152355959 markings, 485224348 edges, 55366 markings/sec, 3030 secs
lola: STP completed || 259 tries, 258933149 fired transitions, 3035 secs || 152635552 markings, 486213745 edges, 55919 markings/sec, 3035 secs
lola: STP completed || 260 tries, 259445371 fired transitions, 3040 secs || 152912384 markings, 487196899 edges, 55366 markings/sec, 3040 secs
lola: STP completed || 260 tries, 259958750 fired transitions, 3045 secs || 153191859 markings, 488176355 edges, 55895 markings/sec, 3045 secs
lola: STP completed || 261 tries, 260453375 fired transitions, 3050 secs || 153461526 markings, 489132725 edges, 53933 markings/sec, 3050 secs
lola: STP completed || 261 tries, 260943789 fired transitions, 3055 secs || 153729140 markings, 490084706 edges, 53523 markings/sec, 3055 secs
lola: STP completed || 262 tries, 261439108 fired transitions, 3060 secs || 153998724 markings, 491048051 edges, 53917 markings/sec, 3060 secs
lola: STP completed || 262 tries, 261940667 fired transitions, 3065 secs || 154271671 markings, 492011533 edges, 54589 markings/sec, 3065 secs
lola: STP completed || 263 tries, 262426437 fired transitions, 3070 secs || 154536539 markings, 492947212 edges, 52974 markings/sec, 3070 secs
lola: STP completed || 263 tries, 262910830 fired transitions, 3075 secs || 154800778 markings, 493886237 edges, 52848 markings/sec, 3075 secs
lola: STP completed || 264 tries, 263393360 fired transitions, 3080 secs || 155065041 markings, 494830664 edges, 52853 markings/sec, 3080 secs
lola: STP completed || 264 tries, 263894078 fired transitions, 3085 secs || 155338123 markings, 495798051 edges, 54616 markings/sec, 3085 secs
lola: STP completed || 265 tries, 264392115 fired transitions, 3090 secs || 155610786 markings, 496767475 edges, 54533 markings/sec, 3090 secs
lola: STP completed || 265 tries, 264797557 fired transitions, 3095 secs || 155827468 markings, 497541841 edges, 43336 markings/sec, 3095 secs
lola: STP completed || 266 tries, 265202576 fired transitions, 3100 secs || 156035320 markings, 498268274 edges, 41570 markings/sec, 3100 secs
lola: STP completed || 266 tries, 265606271 fired transitions, 3105 secs || 156246137 markings, 499017956 edges, 42163 markings/sec, 3105 secs
lola: STP completed || 267 tries, 266008189 fired transitions, 3110 secs || 156464302 markings, 499787884 edges, 43633 markings/sec, 3110 secs
lola: STP completed || 267 tries, 266442716 fired transitions, 3115 secs || 156702783 markings, 500635347 edges, 47696 markings/sec, 3115 secs
lola: STP completed || 267 tries, 266954966 fired transitions, 3120 secs || 156978310 markings, 501614699 edges, 55105 markings/sec, 3120 secs
lola: STP completed || 268 tries, 267403203 fired transitions, 3125 secs || 157200998 markings, 502401756 edges, 44538 markings/sec, 3125 secs
lola: STP completed || 268 tries, 267825708 fired transitions, 3130 secs || 157408526 markings, 503141620 edges, 41506 markings/sec, 3130 secs
lola: STP completed || 269 tries, 268330598 fired transitions, 3135 secs || 157675584 markings, 504091322 edges, 53412 markings/sec, 3135 secs
lola: STP completed || 269 tries, 268840013 fired transitions, 3140 secs || 157948406 markings, 505059455 edges, 54564 markings/sec, 3140 secs
lola: STP completed || 270 tries, 269335623 fired transitions, 3145 secs || 158217868 markings, 506023964 edges, 53892 markings/sec, 3145 secs
lola: STP completed || 270 tries, 269832754 fired transitions, 3150 secs || 158484894 markings, 506968600 edges, 53405 markings/sec, 3150 secs
lola: STP completed || 271 tries, 270328878 fired transitions, 3155 secs || 158751558 markings, 507917078 edges, 53333 markings/sec, 3155 secs
lola: STP completed || 271 tries, 270812464 fired transitions, 3160 secs || 159008513 markings, 508824919 edges, 51391 markings/sec, 3160 secs
lola: STP completed || 272 tries, 271318784 fired transitions, 3165 secs || 159279134 markings, 509792133 edges, 54124 markings/sec, 3165 secs
lola: STP completed || 272 tries, 271825236 fired transitions, 3170 secs || 159550738 markings, 510756119 edges, 54321 markings/sec, 3170 secs
lola: STP completed || 273 tries, 272345154 fired transitions, 3175 secs || 159831543 markings, 511743238 edges, 56161 markings/sec, 3175 secs
lola: STP completed || 273 tries, 272859708 fired transitions, 3180 secs || 160107890 markings, 512731909 edges, 55269 markings/sec, 3180 secs
lola: STP completed || 274 tries, 273367376 fired transitions, 3185 secs || 160382445 markings, 513706914 edges, 54911 markings/sec, 3185 secs
lola: STP completed || 274 tries, 273880148 fired transitions, 3190 secs || 160661445 markings, 514697475 edges, 55800 markings/sec, 3190 secs
lola: STP completed || 275 tries, 274401812 fired transitions, 3195 secs || 160947363 markings, 515711376 edges, 57184 markings/sec, 3195 secs
lola: STP completed || 275 tries, 274897409 fired transitions, 3200 secs || 161217553 markings, 516665998 edges, 54038 markings/sec, 3200 secs
lola: STP completed || 276 tries, 275393506 fired transitions, 3205 secs || 161487851 markings, 517635671 edges, 54060 markings/sec, 3205 secs
lola: STP completed || 276 tries, 275889086 fired transitions, 3210 secs || 161754046 markings, 518591356 edges, 53239 markings/sec, 3210 secs
lola: STP completed || 277 tries, 276385646 fired transitions, 3215 secs || 162020774 markings, 519535088 edges, 53346 markings/sec, 3215 secs
lola: STP completed || 277 tries, 276883810 fired transitions, 3220 secs || 162286902 markings, 520484235 edges, 53226 markings/sec, 3220 secs
lola: STP completed || 278 tries, 277380297 fired transitions, 3225 secs || 162555380 markings, 521441361 edges, 53696 markings/sec, 3225 secs
lola: STP completed || 278 tries, 277871330 fired transitions, 3230 secs || 162822757 markings, 522394405 edges, 53475 markings/sec, 3230 secs
lola: STP completed || 279 tries, 278366992 fired transitions, 3235 secs || 163092344 markings, 523355330 edges, 53917 markings/sec, 3235 secs
lola: STP completed || 279 tries, 278864257 fired transitions, 3240 secs || 163360549 markings, 524316667 edges, 53641 markings/sec, 3240 secs
lola: STP completed || 280 tries, 279363717 fired transitions, 3245 secs || 163629368 markings, 525283359 edges, 53764 markings/sec, 3245 secs
lola: STP completed || 280 tries, 279862385 fired transitions, 3250 secs || 163887940 markings, 526213208 edges, 51714 markings/sec, 3250 secs
lola: STP completed || 281 tries, 280343525 fired transitions, 3255 secs || 164142640 markings, 527125275 edges, 50940 markings/sec, 3255 secs
lola: STP completed || 281 tries, 280853369 fired transitions, 3260 secs || 164420815 markings, 528116076 edges, 55635 markings/sec, 3260 secs
lola: STP completed || 282 tries, 281365152 fired transitions, 3265 secs || 164699499 markings, 529112866 edges, 55737 markings/sec, 3265 secs
lola: STP completed || 282 tries, 281878139 fired transitions, 3270 secs || 164978403 markings, 530107981 edges, 55781 markings/sec, 3270 secs
lola: STP completed || 283 tries, 282394261 fired transitions, 3275 secs || 165257588 markings, 531117571 edges, 55837 markings/sec, 3275 secs
lola: STP completed || 283 tries, 282904010 fired transitions, 3280 secs || 165535998 markings, 532110541 edges, 55682 markings/sec, 3280 secs
lola: STP completed || 284 tries, 283417325 fired transitions, 3285 secs || 165815277 markings, 533112123 edges, 55856 markings/sec, 3285 secs
lola: STP completed || 284 tries, 283897259 fired transitions, 3290 secs || 166080076 markings, 534057263 edges, 52960 markings/sec, 3290 secs
lola: STP completed || 285 tries, 284362878 fired transitions, 3295 secs || 166338883 markings, 534980255 edges, 51761 markings/sec, 3295 secs
lola: STP completed || 285 tries, 284828625 fired transitions, 3300 secs || 166597804 markings, 535906477 edges, 51784 markings/sec, 3300 secs
lola: STP completed || 286 tries, 285324516 fired transitions, 3305 secs || 166870542 markings, 536879712 edges, 54548 markings/sec, 3305 secs
lola: STP completed || 286 tries, 285837799 fired transitions, 3310 secs || 167149522 markings, 537879347 edges, 55796 markings/sec, 3310 secs
lola: STP completed || 287 tries, 286352850 fired transitions, 3315 secs || 167422355 markings, 538846848 edges, 54567 markings/sec, 3315 secs
lola: STP completed || 287 tries, 286872851 fired transitions, 3320 secs || 167705239 markings, 539858300 edges, 56577 markings/sec, 3320 secs
lola: STP completed || 288 tries, 287388895 fired transitions, 3325 secs || 167979395 markings, 540835064 edges, 54831 markings/sec, 3325 secs
lola: STP completed || 288 tries, 287909421 fired transitions, 3330 secs || 168245662 markings, 541784389 edges, 53253 markings/sec, 3330 secs
lola: STP completed || 289 tries, 288227544 fired transitions, 3335 secs || 168379561 markings, 542262783 edges, 26780 markings/sec, 3335 secs
lola: STP completed || 289 tries, 288342340 fired transitions, 3340 secs || 168400857 markings, 542344662 edges, 4259 markings/sec, 3340 secs
lola: STP completed || 289 tries, 288609513 fired transitions, 3345 secs || 168457100 markings, 542540362 edges, 11249 markings/sec, 3345 secs
lola: STP completed || 289 tries, 288704142 fired transitions, 3350 secs || 168473189 markings, 542600103 edges, 3218 markings/sec, 3350 secs
lola: STP completed || 289 tries, 288846567 fired transitions, 3355 secs || 168494783 markings, 542678729 edges, 4319 markings/sec, 3355 secs
lola: STP completed || 289 tries, 288904865 fired transitions, 3360 secs || 168501555 markings, 542702964 edges, 1354 markings/sec, 3360 secs

BK_STOP 1527793152007

--------------------
content from stderr:

grep: GenericPropertiesVerdict.xml: No such file or directory
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="MAPKbis-PT-5310"
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/MAPKbis-PT-5310.tgz
mv MAPKbis-PT-5310 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 MAPKbis-PT-5310, 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 r280-csrt-152749169700296"
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 '' ReachabilityDeadlock.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
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 ;