About the Execution of LoLA for Raft-PT-04
Execution Summary | |||||
Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
15907.570 | 3572004.00 | 7408554.00 | 9752.90 | [undef] | Cannot compute |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Waiting for the VM to be ready (probing ssh)
......................
/home/mcc/execution
total 208K
-rw-r--r-- 1 mcc users 3.8K May 15 18:54 CTLCardinality.txt
-rw-r--r-- 1 mcc users 24K May 15 18:54 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K May 15 18:54 CTLFireability.txt
-rw-r--r-- 1 mcc users 16K May 15 18:54 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K May 15 18:50 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 5.8K May 15 18:50 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 2.4K May 15 18:54 LTLCardinality.txt
-rw-r--r-- 1 mcc users 12K May 15 18:54 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.8K May 15 18:54 LTLFireability.txt
-rw-r--r-- 1 mcc users 9.3K May 15 18:54 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.2K May 15 18:54 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 16K May 15 18:54 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 101 May 15 18:54 ReachabilityDeadlock.txt
-rw-r--r-- 1 mcc users 339 May 15 18:54 ReachabilityDeadlock.xml
-rw-r--r-- 1 mcc users 2.7K May 15 18:54 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 19K May 15 18:54 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.5K May 15 18:54 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.5K May 15 18:54 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 15 18:50 equiv_col
-rw-r--r-- 1 mcc users 3 May 15 18:50 instance
-rw-r--r-- 1 mcc users 6 May 15 18:50 iscolored
-rw-r--r-- 1 mcc users 41K May 15 18:50 model.pnml
=====================================================================
Generated by BenchKit 2-3637
Executing tool lola
Input is Raft-PT-04, examination is ReachabilityDeadlock
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r136-qhx2-152673578800125
=====================================================================
--------------------
content from stdout:
=== Data for post analysis generated by BenchKit (invocation template)
The expected result is a vector of booleans
BOOL_VECTOR
here is the order used to build the result vector(from text file)
FORMULA_NAME Raft-PT-04-ReachabilityDeadlock-0
=== Now, execution of the tool begins
BK_START 1526942925600
info: Time: 3600 - MCC
===========================================================================================
prep: translating Raft-PT-04 Petri net model.pnml into LoLA format
===========================================================================================
prep: translating PT Petri net complete
prep: net is already safe
prep: check for too many tokens
===========================================================================================
prep: translating Raft-PT-04 formula ReachabilityDeadlock into LoLA format
===========================================================================================
prep: translating PT formula complete
vrfy: Checking ReachabilityDeadlock @ Raft-PT-04 @ 3569 seconds
lola: LoLA will run for 3569 seconds at most (--timelimit)
lola: NET
lola: reading net from model.pnml.lola
lola: finished parsing
lola: closed net file model.pnml.lola
lola: 248/65536 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 88
lola: finding significant places
lola: 88 places, 160 transitions, 72 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 155 transition conflict sets
lola: TASK
lola: reading formula from Raft-PT-04-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: computing symmetries (--symmetry)
lola: time limit for symmetry computation of 300 seconds given (--symmtimelimit)
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: computed 12 generators (4 in search tree, 8 by composition)
lola: representing 24 symmetries
lola: 0 dead branches visited in search tree
lola: STP: formula with 3050 variables and 10667 clauses shipped to Minisat
lola: stp: The siphon/trap property does not hold
lola: STP completed || 1 tries, 385024 fired transitions, 0 secs || 218681 markings, 1580657 edges, 43736 markings/sec, 0 secs
lola: STP completed || 1 tries, 774935 fired transitions, 5 secs || 437841 markings, 3171948 edges, 43832 markings/sec, 5 secs
lola: STP completed || 2 tries, 1161227 fired transitions, 10 secs || 656180 markings, 4744418 edges, 43668 markings/sec, 10 secs
lola: STP completed || 2 tries, 1545327 fired transitions, 15 secs || 874592 markings, 6308580 edges, 43682 markings/sec, 15 secs
lola: STP completed || 2 tries, 1944260 fired transitions, 20 secs || 1100549 markings, 7915220 edges, 45191 markings/sec, 20 secs
lola: STP completed || 3 tries, 2342606 fired transitions, 25 secs || 1321300 markings, 9490754 edges, 44150 markings/sec, 25 secs
lola: STP completed || 3 tries, 2732548 fired transitions, 30 secs || 1538476 markings, 11044334 edges, 43435 markings/sec, 30 secs
lola: STP completed || 4 tries, 3115691 fired transitions, 35 secs || 1754289 markings, 12581825 edges, 43163 markings/sec, 35 secs
lola: STP completed || 4 tries, 3493269 fired transitions, 40 secs || 1979775 markings, 14200813 edges, 45097 markings/sec, 40 secs
lola: STP completed || 4 tries, 3855208 fired transitions, 45 secs || 2185487 markings, 15671632 edges, 41142 markings/sec, 45 secs
lola: STP completed || 5 tries, 4213393 fired transitions, 50 secs || 2391084 markings, 17131665 edges, 41119 markings/sec, 50 secs
lola: STP completed || 5 tries, 4572984 fired transitions, 55 secs || 2594673 markings, 18590317 edges, 40718 markings/sec, 55 secs
lola: STP completed || 5 tries, 4934204 fired transitions, 60 secs || 2804540 markings, 20092840 edges, 41973 markings/sec, 60 secs
lola: STP completed || 6 tries, 5319368 fired transitions, 65 secs || 3018477 markings, 21600322 edges, 42787 markings/sec, 65 secs
lola: STP completed || 6 tries, 5713667 fired transitions, 70 secs || 3233954 markings, 23117922 edges, 43095 markings/sec, 70 secs
lola: STP completed || 7 tries, 6107613 fired transitions, 75 secs || 3453977 markings, 24674751 edges, 44005 markings/sec, 75 secs
lola: STP completed || 7 tries, 6481023 fired transitions, 80 secs || 3674230 markings, 26246212 edges, 44051 markings/sec, 80 secs
lola: STP completed || 7 tries, 6869069 fired transitions, 85 secs || 3902236 markings, 27852958 edges, 45601 markings/sec, 85 secs
lola: STP completed || 8 tries, 7255023 fired transitions, 90 secs || 4128830 markings, 29468008 edges, 45319 markings/sec, 90 secs
lola: STP completed || 8 tries, 7657244 fired transitions, 95 secs || 4367053 markings, 31155051 edges, 47645 markings/sec, 95 secs
lola: STP completed || 9 tries, 8018070 fired transitions, 100 secs || 4575100 markings, 32624353 edges, 41609 markings/sec, 100 secs
lola: STP completed || 9 tries, 8401840 fired transitions, 105 secs || 4800414 markings, 34218547 edges, 45063 markings/sec, 105 secs
lola: STP completed || 9 tries, 8802081 fired transitions, 110 secs || 5036178 markings, 35899192 edges, 47153 markings/sec, 110 secs
lola: STP completed || 10 tries, 9175987 fired transitions, 115 secs || 5245501 markings, 37364088 edges, 41865 markings/sec, 115 secs
lola: STP completed || 10 tries, 9569065 fired transitions, 120 secs || 5457499 markings, 38842729 edges, 42400 markings/sec, 120 secs
lola: STP completed || 10 tries, 9958386 fired transitions, 125 secs || 5669636 markings, 40329406 edges, 42427 markings/sec, 125 secs
lola: STP completed || 11 tries, 10344312 fired transitions, 130 secs || 5881967 markings, 41812484 edges, 42466 markings/sec, 130 secs
lola: STP completed || 11 tries, 10729485 fired transitions, 135 secs || 6091734 markings, 43285047 edges, 41953 markings/sec, 135 secs
lola: STP completed || 12 tries, 11103508 fired transitions, 140 secs || 6300259 markings, 44742496 edges, 41705 markings/sec, 140 secs
lola: STP completed || 12 tries, 11458962 fired transitions, 145 secs || 6506581 markings, 46204022 edges, 41264 markings/sec, 145 secs
lola: STP completed || 12 tries, 11814562 fired transitions, 150 secs || 6711122 markings, 47642474 edges, 40908 markings/sec, 150 secs
lola: STP completed || 13 tries, 12172297 fired transitions, 155 secs || 6916029 markings, 49092190 edges, 40981 markings/sec, 155 secs
lola: STP completed || 13 tries, 12523738 fired transitions, 160 secs || 7120928 markings, 50519151 edges, 40980 markings/sec, 160 secs
lola: STP completed || 13 tries, 12909099 fired transitions, 165 secs || 7348194 markings, 52124869 edges, 45453 markings/sec, 165 secs
lola: STP completed || 14 tries, 13292152 fired transitions, 170 secs || 7567235 markings, 53670907 edges, 43808 markings/sec, 170 secs
lola: STP completed || 14 tries, 13643012 fired transitions, 175 secs || 7769191 markings, 55085841 edges, 40391 markings/sec, 175 secs
lola: STP completed || 15 tries, 14005172 fired transitions, 180 secs || 7975553 markings, 56542916 edges, 41272 markings/sec, 180 secs
lola: STP completed || 15 tries, 14399455 fired transitions, 185 secs || 8189928 markings, 58033360 edges, 42875 markings/sec, 185 secs
lola: STP completed || 15 tries, 14793447 fired transitions, 190 secs || 8403456 markings, 59522874 edges, 42706 markings/sec, 190 secs
lola: STP completed || 16 tries, 15173140 fired transitions, 195 secs || 8614224 markings, 61001098 edges, 42154 markings/sec, 195 secs
lola: STP completed || 16 tries, 15559402 fired transitions, 200 secs || 8840958 markings, 62598548 edges, 45347 markings/sec, 200 secs
lola: STP completed || 16 tries, 15921243 fired transitions, 205 secs || 9047524 markings, 64054817 edges, 41313 markings/sec, 205 secs
lola: STP completed || 17 tries, 16288862 fired transitions, 210 secs || 9261071 markings, 65554278 edges, 42709 markings/sec, 210 secs
lola: STP completed || 17 tries, 16652137 fired transitions, 215 secs || 9474626 markings, 67065628 edges, 42711 markings/sec, 215 secs
lola: STP completed || 18 tries, 17015389 fired transitions, 220 secs || 9681644 markings, 68532467 edges, 41404 markings/sec, 220 secs
lola: STP completed || 18 tries, 17376638 fired transitions, 225 secs || 9886793 markings, 69973896 edges, 41030 markings/sec, 225 secs
lola: STP completed || 18 tries, 17739126 fired transitions, 230 secs || 10090388 markings, 71402614 edges, 40719 markings/sec, 230 secs
lola: STP completed || 19 tries, 18111995 fired transitions, 235 secs || 10296768 markings, 72840968 edges, 41276 markings/sec, 235 secs
lola: STP completed || 19 tries, 18511543 fired transitions, 240 secs || 10504417 markings, 74271090 edges, 41530 markings/sec, 240 secs
lola: STP completed || 19 tries, 18913221 fired transitions, 245 secs || 10714733 markings, 75740427 edges, 42063 markings/sec, 245 secs
lola: STP completed || 20 tries, 19283577 fired transitions, 250 secs || 10922695 markings, 77192153 edges, 41592 markings/sec, 250 secs
lola: STP completed || 20 tries, 19647768 fired transitions, 255 secs || 11128417 markings, 78644722 edges, 41144 markings/sec, 255 secs
lola: STP completed || 21 tries, 20012907 fired transitions, 260 secs || 11334778 markings, 80101645 edges, 41272 markings/sec, 260 secs
lola: STP completed || 21 tries, 20414955 fired transitions, 265 secs || 11545918 markings, 81561877 edges, 42228 markings/sec, 265 secs
lola: STP completed || 21 tries, 20816428 fired transitions, 270 secs || 11757548 markings, 83027706 edges, 42326 markings/sec, 270 secs
lola: STP completed || 22 tries, 21218913 fired transitions, 275 secs || 11968637 markings, 84480326 edges, 42218 markings/sec, 275 secs
lola: STP completed || 22 tries, 21620779 fired transitions, 280 secs || 12179869 markings, 85941038 edges, 42246 markings/sec, 280 secs
lola: STP completed || 23 tries, 22020086 fired transitions, 285 secs || 12389919 markings, 87386850 edges, 42010 markings/sec, 285 secs
lola: STP completed || 23 tries, 22382230 fired transitions, 290 secs || 12593320 markings, 88822205 edges, 40680 markings/sec, 290 secs
lola: STP completed || 23 tries, 22766715 fired transitions, 295 secs || 12807735 markings, 90333381 edges, 42883 markings/sec, 295 secs
lola: STP completed || 24 tries, 23161402 fired transitions, 300 secs || 13034011 markings, 91929007 edges, 45255 markings/sec, 300 secs
lola: STP completed || 24 tries, 23521659 fired transitions, 305 secs || 13229249 markings, 93311611 edges, 39048 markings/sec, 305 secs
lola: STP completed || 24 tries, 23882206 fired transitions, 310 secs || 13429270 markings, 94706509 edges, 40004 markings/sec, 310 secs
lola: STP completed || 25 tries, 24266141 fired transitions, 315 secs || 13629014 markings, 96090385 edges, 39949 markings/sec, 315 secs
lola: STP completed || 25 tries, 24663202 fired transitions, 320 secs || 13830644 markings, 97477257 edges, 40326 markings/sec, 320 secs
lola: STP completed || 26 tries, 25056351 fired transitions, 325 secs || 14032868 markings, 98879150 edges, 40445 markings/sec, 325 secs
lola: STP completed || 26 tries, 25418404 fired transitions, 330 secs || 14230230 markings, 100255623 edges, 39472 markings/sec, 330 secs
lola: STP completed || 26 tries, 25780323 fired transitions, 335 secs || 14427735 markings, 101637508 edges, 39501 markings/sec, 335 secs
lola: STP completed || 27 tries, 26161287 fired transitions, 340 secs || 14629239 markings, 103036149 edges, 40301 markings/sec, 340 secs
lola: STP completed || 27 tries, 26559145 fired transitions, 345 secs || 14832995 markings, 104435963 edges, 40751 markings/sec, 345 secs
lola: STP completed || 27 tries, 26956211 fired transitions, 350 secs || 15034803 markings, 105821380 edges, 40362 markings/sec, 350 secs
lola: STP completed || 28 tries, 27346526 fired transitions, 355 secs || 15237235 markings, 107210881 edges, 40486 markings/sec, 355 secs
lola: STP completed || 28 tries, 27743440 fired transitions, 360 secs || 15443900 markings, 108631102 edges, 41333 markings/sec, 360 secs
lola: STP completed || 29 tries, 28176765 fired transitions, 365 secs || 15679587 markings, 110272911 edges, 47137 markings/sec, 365 secs
lola: STP completed || 29 tries, 28636112 fired transitions, 370 secs || 15928573 markings, 111998609 edges, 49797 markings/sec, 370 secs
lola: STP completed || 30 tries, 29022262 fired transitions, 375 secs || 16136504 markings, 113436106 edges, 41586 markings/sec, 375 secs
lola: STP completed || 30 tries, 29407460 fired transitions, 380 secs || 16360367 markings, 115004149 edges, 44773 markings/sec, 380 secs
lola: STP completed || 30 tries, 29808764 fired transitions, 385 secs || 16592297 markings, 116637277 edges, 46386 markings/sec, 385 secs
lola: STP completed || 31 tries, 30180815 fired transitions, 390 secs || 16796771 markings, 118053407 edges, 40895 markings/sec, 390 secs
lola: STP completed || 31 tries, 30583120 fired transitions, 395 secs || 17005625 markings, 119483063 edges, 41771 markings/sec, 395 secs
lola: STP completed || 32 tries, 31009646 fired transitions, 400 secs || 17233476 markings, 121050434 edges, 45570 markings/sec, 400 secs
lola: STP completed || 32 tries, 31475721 fired transitions, 405 secs || 17485314 markings, 122776956 edges, 50368 markings/sec, 405 secs
lola: STP completed || 32 tries, 31941288 fired transitions, 410 secs || 17736108 markings, 124511061 edges, 50159 markings/sec, 410 secs
lola: STP completed || 33 tries, 32364309 fired transitions, 415 secs || 17956908 markings, 126028058 edges, 44160 markings/sec, 415 secs
lola: STP completed || 33 tries, 32766507 fired transitions, 420 secs || 18166089 markings, 127455665 edges, 41836 markings/sec, 420 secs
lola: STP completed || 34 tries, 33162635 fired transitions, 425 secs || 18377072 markings, 128909650 edges, 42197 markings/sec, 425 secs
lola: STP completed || 34 tries, 33535991 fired transitions, 430 secs || 18584451 markings, 130357243 edges, 41476 markings/sec, 430 secs
lola: STP completed || 34 tries, 33899288 fired transitions, 435 secs || 18788118 markings, 131789710 edges, 40733 markings/sec, 435 secs
lola: STP completed || 35 tries, 34261813 fired transitions, 440 secs || 18990864 markings, 133199074 edges, 40549 markings/sec, 440 secs
lola: STP completed || 35 tries, 34626445 fired transitions, 445 secs || 19194836 markings, 134618045 edges, 40794 markings/sec, 445 secs
lola: STP completed || 35 tries, 34987548 fired transitions, 450 secs || 19390032 markings, 135980376 edges, 39039 markings/sec, 450 secs
lola: STP completed || 36 tries, 35397583 fired transitions, 455 secs || 19604524 markings, 137454732 edges, 42898 markings/sec, 455 secs
lola: STP completed || 36 tries, 35864706 fired transitions, 460 secs || 19856901 markings, 139182908 edges, 50475 markings/sec, 460 secs
lola: STP completed || 37 tries, 36327152 fired transitions, 465 secs || 20109300 markings, 140918963 edges, 50480 markings/sec, 465 secs
lola: STP completed || 37 tries, 36785048 fired transitions, 470 secs || 20359897 markings, 142640808 edges, 50119 markings/sec, 470 secs
lola: STP completed || 38 tries, 37205429 fired transitions, 475 secs || 20595230 markings, 144275390 edges, 47067 markings/sec, 475 secs
lola: STP completed || 38 tries, 37589315 fired transitions, 480 secs || 20814105 markings, 145800646 edges, 43775 markings/sec, 480 secs
lola: STP completed || 38 tries, 37973986 fired transitions, 485 secs || 21031351 markings, 147314428 edges, 43449 markings/sec, 485 secs
lola: STP completed || 39 tries, 38339223 fired transitions, 490 secs || 21235658 markings, 148736580 edges, 40861 markings/sec, 490 secs
lola: STP completed || 39 tries, 38702849 fired transitions, 495 secs || 21438465 markings, 150155494 edges, 40561 markings/sec, 495 secs
lola: STP completed || 40 tries, 39068228 fired transitions, 500 secs || 21641237 markings, 151571371 edges, 40554 markings/sec, 500 secs
lola: STP completed || 40 tries, 39429294 fired transitions, 505 secs || 21842997 markings, 152972392 edges, 40352 markings/sec, 505 secs
lola: STP completed || 40 tries, 39791543 fired transitions, 510 secs || 22046242 markings, 154394363 edges, 40649 markings/sec, 510 secs
lola: STP completed || 41 tries, 40156060 fired transitions, 515 secs || 22247623 markings, 155798602 edges, 40276 markings/sec, 515 secs
lola: STP completed || 41 tries, 40517869 fired transitions, 520 secs || 22445531 markings, 157182021 edges, 39582 markings/sec, 520 secs
lola: STP completed || 41 tries, 40881173 fired transitions, 525 secs || 22646509 markings, 158582549 edges, 40196 markings/sec, 525 secs
lola: STP completed || 42 tries, 41243264 fired transitions, 530 secs || 22845588 markings, 159958484 edges, 39816 markings/sec, 530 secs
lola: STP completed || 42 tries, 41606330 fired transitions, 535 secs || 23044555 markings, 161344468 edges, 39793 markings/sec, 535 secs
lola: STP completed || 42 tries, 41968152 fired transitions, 540 secs || 23237455 markings, 162683006 edges, 38580 markings/sec, 540 secs
lola: STP completed || 43 tries, 42330638 fired transitions, 545 secs || 23434817 markings, 164052076 edges, 39472 markings/sec, 545 secs
lola: STP completed || 43 tries, 42695862 fired transitions, 550 secs || 23638095 markings, 165471052 edges, 40656 markings/sec, 550 secs
lola: STP completed || 44 tries, 43066068 fired transitions, 555 secs || 23841001 markings, 166883661 edges, 40581 markings/sec, 555 secs
lola: STP completed || 44 tries, 43468895 fired transitions, 560 secs || 24048887 markings, 168304819 edges, 41577 markings/sec, 560 secs
lola: STP completed || 44 tries, 43871243 fired transitions, 565 secs || 24254938 markings, 169718653 edges, 41210 markings/sec, 565 secs
lola: STP completed || 45 tries, 44268654 fired transitions, 570 secs || 24462744 markings, 171138448 edges, 41561 markings/sec, 570 secs
lola: STP completed || 45 tries, 44666880 fired transitions, 575 secs || 24671382 markings, 172568400 edges, 41728 markings/sec, 575 secs
lola: STP completed || 46 tries, 45057859 fired transitions, 580 secs || 24879230 markings, 173992363 edges, 41570 markings/sec, 580 secs
lola: STP completed || 46 tries, 45422795 fired transitions, 585 secs || 25083109 markings, 175403353 edges, 40776 markings/sec, 585 secs
lola: STP completed || 46 tries, 45789375 fired transitions, 590 secs || 25286469 markings, 176822707 edges, 40672 markings/sec, 590 secs
lola: STP completed || 47 tries, 46171683 fired transitions, 595 secs || 25491741 markings, 178239115 edges, 41054 markings/sec, 595 secs
lola: STP completed || 47 tries, 46574544 fired transitions, 600 secs || 25699273 markings, 179651601 edges, 41506 markings/sec, 600 secs
lola: STP completed || 47 tries, 46978130 fired transitions, 605 secs || 25906899 markings, 181069451 edges, 41525 markings/sec, 605 secs
lola: STP completed || 48 tries, 47345279 fired transitions, 610 secs || 26108941 markings, 182470968 edges, 40408 markings/sec, 610 secs
lola: STP completed || 48 tries, 47711087 fired transitions, 615 secs || 26310017 markings, 183874808 edges, 40215 markings/sec, 615 secs
lola: STP completed || 49 tries, 48084796 fired transitions, 620 secs || 26512027 markings, 185263771 edges, 40402 markings/sec, 620 secs
lola: STP completed || 49 tries, 48485863 fired transitions, 625 secs || 26718898 markings, 186668653 edges, 41374 markings/sec, 625 secs
lola: STP completed || 49 tries, 48889891 fired transitions, 630 secs || 26925554 markings, 188075162 edges, 41331 markings/sec, 630 secs
lola: STP completed || 50 tries, 49282105 fired transitions, 635 secs || 27140438 markings, 189561379 edges, 42977 markings/sec, 635 secs
lola: STP completed || 50 tries, 49648133 fired transitions, 640 secs || 27343816 markings, 190967839 edges, 40676 markings/sec, 640 secs
lola: STP completed || 51 tries, 50014123 fired transitions, 645 secs || 27546517 markings, 192376301 edges, 40540 markings/sec, 645 secs
lola: STP completed || 51 tries, 50377827 fired transitions, 650 secs || 27747002 markings, 193772800 edges, 40097 markings/sec, 650 secs
lola: STP completed || 51 tries, 50743548 fired transitions, 655 secs || 27948576 markings, 195178227 edges, 40315 markings/sec, 655 secs
lola: STP completed || 52 tries, 51116286 fired transitions, 660 secs || 28150713 markings, 196570489 edges, 40427 markings/sec, 660 secs
lola: STP completed || 52 tries, 51513152 fired transitions, 665 secs || 28358175 markings, 197981646 edges, 41492 markings/sec, 665 secs
lola: STP completed || 52 tries, 51909197 fired transitions, 670 secs || 28564799 markings, 199383302 edges, 41325 markings/sec, 670 secs
lola: STP completed || 53 tries, 52310556 fired transitions, 675 secs || 28773573 markings, 200802039 edges, 41755 markings/sec, 675 secs
lola: STP completed || 53 tries, 52715321 fired transitions, 680 secs || 28982243 markings, 202229607 edges, 41734 markings/sec, 680 secs
lola: STP completed || 54 tries, 53106008 fired transitions, 685 secs || 29185665 markings, 203625194 edges, 40684 markings/sec, 685 secs
lola: STP completed || 54 tries, 53471217 fired transitions, 690 secs || 29388350 markings, 205028056 edges, 40537 markings/sec, 690 secs
lola: STP completed || 54 tries, 53836055 fired transitions, 695 secs || 29590623 markings, 206419005 edges, 40455 markings/sec, 695 secs
lola: STP completed || 55 tries, 54200698 fired transitions, 700 secs || 29791772 markings, 207810906 edges, 40230 markings/sec, 700 secs
lola: STP completed || 55 tries, 54566190 fired transitions, 705 secs || 29995030 markings, 209215234 edges, 40652 markings/sec, 705 secs
lola: STP completed || 55 tries, 54931155 fired transitions, 710 secs || 30195756 markings, 210602199 edges, 40145 markings/sec, 710 secs
lola: STP completed || 56 tries, 55321964 fired transitions, 715 secs || 30400593 markings, 212002293 edges, 40967 markings/sec, 715 secs
lola: STP completed || 56 tries, 55718370 fired transitions, 720 secs || 30607199 markings, 213406658 edges, 41321 markings/sec, 720 secs
lola: STP completed || 57 tries, 56169876 fired transitions, 725 secs || 30856565 markings, 215124252 edges, 49873 markings/sec, 725 secs
lola: STP completed || 57 tries, 56599258 fired transitions, 730 secs || 31102310 markings, 216820043 edges, 49149 markings/sec, 730 secs
lola: STP completed || 58 tries, 57024060 fired transitions, 735 secs || 31347378 markings, 218524793 edges, 49014 markings/sec, 735 secs
lola: STP completed || 58 tries, 57435349 fired transitions, 740 secs || 31580858 markings, 220134747 edges, 46696 markings/sec, 740 secs
lola: STP completed || 58 tries, 57800778 fired transitions, 745 secs || 31781836 markings, 221525681 edges, 40196 markings/sec, 745 secs
lola: STP completed || 59 tries, 58165905 fired transitions, 750 secs || 31981739 markings, 222913264 edges, 39981 markings/sec, 750 secs
lola: STP completed || 59 tries, 58529428 fired transitions, 755 secs || 32180309 markings, 224283135 edges, 39714 markings/sec, 755 secs
lola: STP completed || 59 tries, 58894016 fired transitions, 760 secs || 32379499 markings, 225664406 edges, 39838 markings/sec, 760 secs
lola: STP completed || 60 tries, 59287361 fired transitions, 765 secs || 32583527 markings, 227058042 edges, 40806 markings/sec, 765 secs
lola: STP completed || 60 tries, 59681174 fired transitions, 770 secs || 32788471 markings, 228448476 edges, 40989 markings/sec, 770 secs
lola: STP completed || 61 tries, 60075445 fired transitions, 775 secs || 32989461 markings, 229822398 edges, 40198 markings/sec, 775 secs
lola: STP completed || 61 tries, 60460205 fired transitions, 780 secs || 33204262 markings, 231315244 edges, 42960 markings/sec, 780 secs
lola: STP completed || 61 tries, 60822274 fired transitions, 785 secs || 33405392 markings, 232702373 edges, 40226 markings/sec, 785 secs
lola: STP completed || 62 tries, 61204197 fired transitions, 790 secs || 33607726 markings, 234098102 edges, 40467 markings/sec, 790 secs
lola: STP completed || 62 tries, 61600696 fired transitions, 795 secs || 33813302 markings, 235495418 edges, 41115 markings/sec, 795 secs
lola: STP completed || 62 tries, 61996555 fired transitions, 800 secs || 34018457 markings, 236879230 edges, 41031 markings/sec, 800 secs
lola: STP completed || 63 tries, 62362868 fired transitions, 805 secs || 34217373 markings, 238253415 edges, 39783 markings/sec, 805 secs
lola: STP completed || 63 tries, 62725630 fired transitions, 810 secs || 34418190 markings, 239642539 edges, 40163 markings/sec, 810 secs
lola: STP completed || 64 tries, 63100208 fired transitions, 815 secs || 34621328 markings, 241037852 edges, 40628 markings/sec, 815 secs
lola: STP completed || 64 tries, 63502519 fired transitions, 820 secs || 34826313 markings, 242432361 edges, 40997 markings/sec, 820 secs
lola: STP completed || 64 tries, 63906592 fired transitions, 825 secs || 35034766 markings, 243839555 edges, 41691 markings/sec, 825 secs
lola: STP completed || 65 tries, 64343050 fired transitions, 830 secs || 35267846 markings, 245414562 edges, 46616 markings/sec, 830 secs
lola: STP completed || 65 tries, 64748571 fired transitions, 835 secs || 35475734 markings, 246826067 edges, 41578 markings/sec, 835 secs
lola: STP completed || 66 tries, 65166896 fired transitions, 840 secs || 35700314 markings, 248365548 edges, 44916 markings/sec, 840 secs
lola: STP completed || 66 tries, 65532021 fired transitions, 845 secs || 35900073 markings, 249740040 edges, 39952 markings/sec, 845 secs
lola: STP completed || 66 tries, 65896888 fired transitions, 850 secs || 36098508 markings, 251118861 edges, 39687 markings/sec, 850 secs
lola: STP completed || 67 tries, 66289259 fired transitions, 855 secs || 36301552 markings, 252503396 edges, 40609 markings/sec, 855 secs
lola: STP completed || 67 tries, 66690758 fired transitions, 860 secs || 36506009 markings, 253888969 edges, 40891 markings/sec, 860 secs
lola: STP completed || 68 tries, 67089836 fired transitions, 865 secs || 36708587 markings, 255257819 edges, 40516 markings/sec, 865 secs
lola: STP completed || 68 tries, 67492845 fired transitions, 870 secs || 36911839 markings, 256633363 edges, 40650 markings/sec, 870 secs
lola: STP completed || 68 tries, 67893937 fired transitions, 875 secs || 37114119 markings, 258003973 edges, 40456 markings/sec, 875 secs
lola: STP completed || 69 tries, 68267952 fired transitions, 880 secs || 37312419 markings, 259359865 edges, 39660 markings/sec, 880 secs
lola: STP completed || 69 tries, 68633712 fired transitions, 885 secs || 37510873 markings, 260727391 edges, 39691 markings/sec, 885 secs
lola: STP completed || 69 tries, 68999893 fired transitions, 890 secs || 37711462 markings, 262096350 edges, 40118 markings/sec, 890 secs
lola: STP completed || 70 tries, 69401905 fired transitions, 895 secs || 37916589 markings, 263471515 edges, 41025 markings/sec, 895 secs
lola: STP completed || 70 tries, 69804846 fired transitions, 900 secs || 38121092 markings, 264855038 edges, 40901 markings/sec, 900 secs
lola: STP completed || 71 tries, 70188508 fired transitions, 905 secs || 38322424 markings, 266229741 edges, 40266 markings/sec, 905 secs
lola: STP completed || 71 tries, 70552294 fired transitions, 910 secs || 38521868 markings, 267589621 edges, 39889 markings/sec, 910 secs
lola: STP completed || 71 tries, 70917043 fired transitions, 915 secs || 38718129 markings, 268944414 edges, 39252 markings/sec, 915 secs
lola: STP completed || 72 tries, 71280677 fired transitions, 920 secs || 38915186 markings, 270290888 edges, 39411 markings/sec, 920 secs
lola: STP completed || 72 tries, 71644789 fired transitions, 925 secs || 39115108 markings, 271671058 edges, 39984 markings/sec, 925 secs
lola: STP completed || 73 tries, 72011220 fired transitions, 930 secs || 39312491 markings, 273023963 edges, 39477 markings/sec, 930 secs
lola: STP completed || 73 tries, 72409615 fired transitions, 935 secs || 39512141 markings, 274367043 edges, 39930 markings/sec, 935 secs
lola: STP completed || 73 tries, 72810778 fired transitions, 940 secs || 39715644 markings, 275731385 edges, 40701 markings/sec, 940 secs
lola: STP completed || 74 tries, 73194201 fired transitions, 945 secs || 39916681 markings, 277109424 edges, 40207 markings/sec, 945 secs
lola: STP completed || 74 tries, 73560790 fired transitions, 950 secs || 40115352 markings, 278480604 edges, 39734 markings/sec, 950 secs
lola: STP completed || 74 tries, 73927434 fired transitions, 955 secs || 40313055 markings, 279828661 edges, 39541 markings/sec, 955 secs
lola: STP completed || 75 tries, 74318092 fired transitions, 960 secs || 40515861 markings, 281202857 edges, 40561 markings/sec, 960 secs
lola: STP completed || 75 tries, 74714323 fired transitions, 965 secs || 40720023 markings, 282576188 edges, 40832 markings/sec, 965 secs
lola: STP completed || 76 tries, 75109587 fired transitions, 970 secs || 40923641 markings, 283947326 edges, 40724 markings/sec, 970 secs
lola: STP completed || 76 tries, 75512350 fired transitions, 975 secs || 41125019 markings, 285314322 edges, 40276 markings/sec, 975 secs
lola: STP completed || 76 tries, 75913889 fired transitions, 980 secs || 41324806 markings, 286668898 edges, 39957 markings/sec, 980 secs
lola: STP completed || 77 tries, 76309841 fired transitions, 985 secs || 41528951 markings, 288039454 edges, 40829 markings/sec, 985 secs
lola: STP completed || 77 tries, 76706573 fired transitions, 990 secs || 41731379 markings, 289398868 edges, 40486 markings/sec, 990 secs
lola: STP completed || 78 tries, 77095533 fired transitions, 995 secs || 41933220 markings, 290778524 edges, 40368 markings/sec, 995 secs
lola: STP completed || 78 tries, 77467204 fired transitions, 1000 secs || 42116347 markings, 292036122 edges, 36625 markings/sec, 1000 secs
lola: STP completed || 78 tries, 77830566 fired transitions, 1005 secs || 42310070 markings, 293366543 edges, 38745 markings/sec, 1005 secs
lola: STP completed || 79 tries, 78212672 fired transitions, 1010 secs || 42508188 markings, 294723126 edges, 39624 markings/sec, 1010 secs
lola: STP completed || 79 tries, 78610212 fired transitions, 1015 secs || 42709506 markings, 296084132 edges, 40264 markings/sec, 1015 secs
lola: STP completed || 80 tries, 79004415 fired transitions, 1020 secs || 42910257 markings, 297440913 edges, 40150 markings/sec, 1020 secs
lola: STP completed || 80 tries, 79367674 fired transitions, 1025 secs || 43110322 markings, 298817067 edges, 40013 markings/sec, 1025 secs
lola: STP completed || 80 tries, 79731693 fired transitions, 1030 secs || 43308030 markings, 300175663 edges, 39542 markings/sec, 1030 secs
lola: STP completed || 81 tries, 80096144 fired transitions, 1035 secs || 43506749 markings, 301535070 edges, 39744 markings/sec, 1035 secs
lola: STP completed || 81 tries, 80463591 fired transitions, 1040 secs || 43707042 markings, 302916948 edges, 40059 markings/sec, 1040 secs
lola: STP completed || 81 tries, 80830113 fired transitions, 1045 secs || 43906914 markings, 304277928 edges, 39974 markings/sec, 1045 secs
lola: STP completed || 82 tries, 81211857 fired transitions, 1050 secs || 44109590 markings, 305662689 edges, 40535 markings/sec, 1050 secs
lola: STP completed || 82 tries, 81625809 fired transitions, 1055 secs || 44317934 markings, 307076612 edges, 41669 markings/sec, 1055 secs
lola: STP completed || 83 tries, 82048527 fired transitions, 1060 secs || 44536349 markings, 308547197 edges, 43683 markings/sec, 1060 secs
lola: STP completed || 83 tries, 82486036 fired transitions, 1065 secs || 44761456 markings, 310065615 edges, 45021 markings/sec, 1065 secs
lola: STP completed || 83 tries, 82887222 fired transitions, 1070 secs || 44957353 markings, 311379359 edges, 39179 markings/sec, 1070 secs
lola: STP completed || 84 tries, 83257198 fired transitions, 1075 secs || 45151956 markings, 312699908 edges, 38921 markings/sec, 1075 secs
lola: STP completed || 84 tries, 83623915 fired transitions, 1080 secs || 45351773 markings, 314071604 edges, 39963 markings/sec, 1080 secs
lola: STP completed || 84 tries, 83998562 fired transitions, 1085 secs || 45556668 markings, 315481577 edges, 40979 markings/sec, 1085 secs
lola: STP completed || 85 tries, 84381961 fired transitions, 1090 secs || 45767595 markings, 316937222 edges, 42185 markings/sec, 1090 secs
lola: STP completed || 85 tries, 84809515 fired transitions, 1095 secs || 46009496 markings, 318599999 edges, 48380 markings/sec, 1095 secs
lola: STP completed || 86 tries, 85180277 fired transitions, 1100 secs || 46211615 markings, 319981562 edges, 40424 markings/sec, 1100 secs
lola: STP completed || 86 tries, 85548528 fired transitions, 1105 secs || 46410886 markings, 321352684 edges, 39854 markings/sec, 1105 secs
lola: STP completed || 86 tries, 85913818 fired transitions, 1110 secs || 46605577 markings, 322680477 edges, 38938 markings/sec, 1110 secs
lola: STP completed || 87 tries, 86303615 fired transitions, 1115 secs || 46806302 markings, 324027635 edges, 40145 markings/sec, 1115 secs
lola: STP completed || 87 tries, 86694241 fired transitions, 1120 secs || 47004321 markings, 325351289 edges, 39604 markings/sec, 1120 secs
lola: STP completed || 88 tries, 87080157 fired transitions, 1125 secs || 47201131 markings, 326677231 edges, 39362 markings/sec, 1125 secs
lola: STP completed || 88 tries, 87460920 fired transitions, 1130 secs || 47408291 markings, 328096538 edges, 41432 markings/sec, 1130 secs
lola: STP completed || 88 tries, 87862980 fired transitions, 1135 secs || 47629895 markings, 329614491 edges, 44321 markings/sec, 1135 secs
lola: STP completed || 89 tries, 88227361 fired transitions, 1140 secs || 47824915 markings, 330948744 edges, 39004 markings/sec, 1140 secs
lola: STP completed || 89 tries, 88588610 fired transitions, 1145 secs || 48019596 markings, 332277208 edges, 38936 markings/sec, 1145 secs
lola: STP completed || 89 tries, 88962485 fired transitions, 1150 secs || 48225331 markings, 333680312 edges, 41147 markings/sec, 1150 secs
lola: STP completed || 90 tries, 89324648 fired transitions, 1155 secs || 48419826 markings, 335011527 edges, 38899 markings/sec, 1155 secs
lola: STP completed || 90 tries, 89686018 fired transitions, 1160 secs || 48618525 markings, 336382239 edges, 39740 markings/sec, 1160 secs
lola: STP completed || 91 tries, 90052699 fired transitions, 1165 secs || 48817890 markings, 337752349 edges, 39873 markings/sec, 1165 secs
lola: STP completed || 91 tries, 90412976 fired transitions, 1170 secs || 49017670 markings, 339114916 edges, 39956 markings/sec, 1170 secs
lola: STP completed || 91 tries, 90780323 fired transitions, 1175 secs || 49219541 markings, 340487898 edges, 40374 markings/sec, 1175 secs
lola: STP completed || 92 tries, 91158204 fired transitions, 1180 secs || 49421844 markings, 341855071 edges, 40461 markings/sec, 1180 secs
lola: STP completed || 92 tries, 91559280 fired transitions, 1185 secs || 49621665 markings, 343198555 edges, 39964 markings/sec, 1185 secs
lola: STP completed || 92 tries, 91961340 fired transitions, 1190 secs || 49818713 markings, 344520936 edges, 39410 markings/sec, 1190 secs
lola: STP completed || 93 tries, 92320087 fired transitions, 1195 secs || 50014273 markings, 345853461 edges, 39112 markings/sec, 1195 secs
lola: STP completed || 93 tries, 92704890 fired transitions, 1200 secs || 50221139 markings, 347275097 edges, 41373 markings/sec, 1200 secs
lola: STP completed || 94 tries, 93118915 fired transitions, 1205 secs || 50447873 markings, 348825389 edges, 45347 markings/sec, 1205 secs
lola: STP completed || 94 tries, 93536386 fired transitions, 1210 secs || 50656837 markings, 350234784 edges, 41793 markings/sec, 1210 secs
lola: STP completed || 94 tries, 93956707 fired transitions, 1215 secs || 50870582 markings, 351676385 edges, 42749 markings/sec, 1215 secs
lola: STP completed || 95 tries, 94330549 fired transitions, 1220 secs || 51063297 markings, 352989883 edges, 38543 markings/sec, 1220 secs
lola: STP completed || 95 tries, 94741567 fired transitions, 1225 secs || 51292633 markings, 354553991 edges, 45867 markings/sec, 1225 secs
lola: STP completed || 96 tries, 95112120 fired transitions, 1230 secs || 51494482 markings, 355927208 edges, 40370 markings/sec, 1230 secs
lola: STP completed || 96 tries, 95476098 fired transitions, 1235 secs || 51694880 markings, 357297930 edges, 40080 markings/sec, 1235 secs
lola: STP completed || 96 tries, 95843620 fired transitions, 1240 secs || 51892494 markings, 358654222 edges, 39523 markings/sec, 1240 secs
lola: STP completed || 97 tries, 96230633 fired transitions, 1245 secs || 52093750 markings, 360013636 edges, 40251 markings/sec, 1245 secs
lola: STP completed || 97 tries, 96634495 fired transitions, 1250 secs || 52293277 markings, 361335073 edges, 39905 markings/sec, 1250 secs
lola: STP completed || 98 tries, 97035807 fired transitions, 1255 secs || 52496821 markings, 362699228 edges, 40709 markings/sec, 1255 secs
lola: STP completed || 98 tries, 97400216 fired transitions, 1260 secs || 52695898 markings, 364063200 edges, 39815 markings/sec, 1260 secs
lola: STP completed || 98 tries, 97765962 fired transitions, 1265 secs || 52894936 markings, 365424526 edges, 39808 markings/sec, 1265 secs
lola: STP completed || 99 tries, 98131001 fired transitions, 1270 secs || 53086395 markings, 366728790 edges, 38292 markings/sec, 1270 secs
lola: STP completed || 99 tries, 98495001 fired transitions, 1275 secs || 53278158 markings, 368047466 edges, 38353 markings/sec, 1275 secs
lola: STP completed || 99 tries, 98858790 fired transitions, 1280 secs || 53472072 markings, 369374424 edges, 38783 markings/sec, 1280 secs
lola: STP completed || 100 tries, 99239065 fired transitions, 1285 secs || 53682232 markings, 370812434 edges, 42032 markings/sec, 1285 secs
lola: STP completed || 100 tries, 99608947 fired transitions, 1290 secs || 53882622 markings, 372182020 edges, 40078 markings/sec, 1290 secs
lola: STP completed || 101 tries, 100008879 fired transitions, 1295 secs || 54105717 markings, 373713790 edges, 44619 markings/sec, 1295 secs
lola: STP completed || 101 tries, 100386179 fired transitions, 1300 secs || 54314604 markings, 375137232 edges, 41777 markings/sec, 1300 secs
lola: STP completed || 101 tries, 100765358 fired transitions, 1305 secs || 54520756 markings, 376552177 edges, 41230 markings/sec, 1305 secs
lola: STP completed || 102 tries, 101131628 fired transitions, 1310 secs || 54719181 markings, 377902273 edges, 39685 markings/sec, 1310 secs
lola: STP completed || 102 tries, 101495535 fired transitions, 1315 secs || 54916990 markings, 379249440 edges, 39562 markings/sec, 1315 secs
lola: STP completed || 102 tries, 101855903 fired transitions, 1320 secs || 55117649 markings, 380609753 edges, 40132 markings/sec, 1320 secs
lola: STP completed || 103 tries, 102242478 fired transitions, 1325 secs || 55318899 markings, 381967745 edges, 40250 markings/sec, 1325 secs
lola: STP completed || 103 tries, 102657915 fired transitions, 1330 secs || 55529120 markings, 383373169 edges, 42044 markings/sec, 1330 secs
lola: STP completed || 104 tries, 103058021 fired transitions, 1335 secs || 55735857 markings, 384752402 edges, 41347 markings/sec, 1335 secs
lola: STP completed || 104 tries, 103442300 fired transitions, 1340 secs || 55945568 markings, 386184126 edges, 41942 markings/sec, 1340 secs
lola: STP completed || 104 tries, 103805953 fired transitions, 1345 secs || 56138981 markings, 387505079 edges, 38683 markings/sec, 1345 secs
lola: STP completed || 105 tries, 104189355 fired transitions, 1350 secs || 56333561 markings, 388811167 edges, 38916 markings/sec, 1350 secs
lola: STP completed || 105 tries, 104593429 fired transitions, 1355 secs || 56533814 markings, 390142044 edges, 40051 markings/sec, 1355 secs
lola: STP completed || 105 tries, 104991154 fired transitions, 1360 secs || 56733586 markings, 391467960 edges, 39954 markings/sec, 1360 secs
lola: STP completed || 106 tries, 105383011 fired transitions, 1365 secs || 56932243 markings, 392795269 edges, 39731 markings/sec, 1365 secs
lola: STP completed || 106 tries, 105773230 fired transitions, 1370 secs || 57130952 markings, 394124076 edges, 39742 markings/sec, 1370 secs
lola: STP completed || 107 tries, 106168545 fired transitions, 1375 secs || 57329994 markings, 395451289 edges, 39808 markings/sec, 1375 secs
lola: STP completed || 107 tries, 106567730 fired transitions, 1380 secs || 57528890 markings, 396776025 edges, 39779 markings/sec, 1380 secs
lola: STP completed || 107 tries, 106967903 fired transitions, 1385 secs || 57731390 markings, 398120582 edges, 40500 markings/sec, 1385 secs
lola: STP completed || 108 tries, 107369303 fired transitions, 1390 secs || 57933557 markings, 399466932 edges, 40433 markings/sec, 1390 secs
lola: STP completed || 108 tries, 107768853 fired transitions, 1395 secs || 58133840 markings, 400807474 edges, 40057 markings/sec, 1395 secs
lola: STP completed || 109 tries, 108171023 fired transitions, 1400 secs || 58336530 markings, 402154454 edges, 40538 markings/sec, 1400 secs
lola: STP completed || 109 tries, 108573120 fired transitions, 1405 secs || 58538589 markings, 403503290 edges, 40412 markings/sec, 1405 secs
lola: STP completed || 109 tries, 108974774 fired transitions, 1410 secs || 58741371 markings, 404856219 edges, 40556 markings/sec, 1410 secs
lola: STP completed || 110 tries, 109343251 fired transitions, 1415 secs || 58940726 markings, 406215754 edges, 39871 markings/sec, 1415 secs
lola: STP completed || 110 tries, 109710258 fired transitions, 1420 secs || 59138350 markings, 407558095 edges, 39525 markings/sec, 1420 secs
lola: STP completed || 111 tries, 110076668 fired transitions, 1425 secs || 59332599 markings, 408870519 edges, 38850 markings/sec, 1425 secs
lola: STP completed || 111 tries, 110468478 fired transitions, 1430 secs || 59527287 markings, 410175560 edges, 38938 markings/sec, 1430 secs
lola: STP completed || 111 tries, 110862357 fired transitions, 1435 secs || 59723202 markings, 411488329 edges, 39183 markings/sec, 1435 secs
lola: STP completed || 112 tries, 111234761 fired transitions, 1440 secs || 59915931 markings, 412785522 edges, 38546 markings/sec, 1440 secs
lola: STP completed || 112 tries, 111601890 fired transitions, 1445 secs || 60108737 markings, 414092510 edges, 38561 markings/sec, 1445 secs
lola: STP completed || 112 tries, 111963363 fired transitions, 1450 secs || 60300036 markings, 415393479 edges, 38260 markings/sec, 1450 secs
lola: STP completed || 113 tries, 112357876 fired transitions, 1455 secs || 60496005 markings, 416704431 edges, 39194 markings/sec, 1455 secs
lola: STP completed || 113 tries, 112773492 fired transitions, 1460 secs || 60702046 markings, 418076948 edges, 41208 markings/sec, 1460 secs
lola: STP completed || 114 tries, 113177098 fired transitions, 1465 secs || 60909432 markings, 419454629 edges, 41477 markings/sec, 1465 secs
lola: STP completed || 114 tries, 113605696 fired transitions, 1470 secs || 61145014 markings, 421057458 edges, 47116 markings/sec, 1470 secs
lola: STP completed || 114 tries, 113993609 fired transitions, 1475 secs || 61356373 markings, 422500674 edges, 42272 markings/sec, 1475 secs
lola: STP completed || 115 tries, 114398229 fired transitions, 1480 secs || 61561247 markings, 423862600 edges, 40975 markings/sec, 1480 secs
lola: STP completed || 115 tries, 114798126 fired transitions, 1485 secs || 61761316 markings, 425189454 edges, 40014 markings/sec, 1485 secs
lola: STP completed || 116 tries, 115196892 fired transitions, 1490 secs || 61960087 markings, 426503882 edges, 39754 markings/sec, 1490 secs
lola: STP completed || 116 tries, 115600939 fired transitions, 1495 secs || 62152051 markings, 427783674 edges, 38393 markings/sec, 1495 secs
lola: STP completed || 117 tries, 116005194 fired transitions, 1500 secs || 62353978 markings, 429125530 edges, 40385 markings/sec, 1500 secs
lola: STP completed || 117 tries, 116405554 fired transitions, 1505 secs || 62551364 markings, 430435375 edges, 39477 markings/sec, 1505 secs
lola: STP completed || 117 tries, 116809012 fired transitions, 1510 secs || 62748606 markings, 431743430 edges, 39448 markings/sec, 1510 secs
lola: STP completed || 118 tries, 117212730 fired transitions, 1515 secs || 62949318 markings, 433070890 edges, 40142 markings/sec, 1515 secs
lola: STP completed || 118 tries, 117611835 fired transitions, 1520 secs || 63149251 markings, 434396295 edges, 39987 markings/sec, 1520 secs
lola: STP completed || 119 tries, 118010019 fired transitions, 1525 secs || 63348757 markings, 435730546 edges, 39901 markings/sec, 1525 secs
lola: STP completed || 119 tries, 118373026 fired transitions, 1530 secs || 63542554 markings, 437048073 edges, 38759 markings/sec, 1530 secs
lola: STP completed || 119 tries, 118734464 fired transitions, 1535 secs || 63739313 markings, 438379929 edges, 39352 markings/sec, 1535 secs
lola: STP completed || 120 tries, 119096969 fired transitions, 1540 secs || 63935706 markings, 439715065 edges, 39279 markings/sec, 1540 secs
lola: STP completed || 120 tries, 119457695 fired transitions, 1545 secs || 64129749 markings, 441029666 edges, 38809 markings/sec, 1545 secs
lola: STP completed || 120 tries, 119823014 fired transitions, 1550 secs || 64320470 markings, 442325660 edges, 38144 markings/sec, 1550 secs
lola: STP completed || 121 tries, 120184575 fired transitions, 1555 secs || 64513534 markings, 443629039 edges, 38613 markings/sec, 1555 secs
lola: STP completed || 121 tries, 120540476 fired transitions, 1560 secs || 64702072 markings, 444904264 edges, 37708 markings/sec, 1560 secs
lola: STP completed || 121 tries, 120906030 fired transitions, 1565 secs || 64895731 markings, 446211227 edges, 38732 markings/sec, 1565 secs
lola: STP completed || 122 tries, 121273220 fired transitions, 1570 secs || 65092628 markings, 447539708 edges, 39379 markings/sec, 1570 secs
lola: STP completed || 122 tries, 121639463 fired transitions, 1575 secs || 65288161 markings, 448862018 edges, 39107 markings/sec, 1575 secs
lola: STP completed || 123 tries, 122008005 fired transitions, 1580 secs || 65486016 markings, 450196222 edges, 39571 markings/sec, 1580 secs
lola: STP completed || 123 tries, 122375244 fired transitions, 1585 secs || 65683538 markings, 451530251 edges, 39504 markings/sec, 1585 secs
lola: STP completed || 123 tries, 122743524 fired transitions, 1590 secs || 65879687 markings, 452867472 edges, 39230 markings/sec, 1590 secs
lola: STP completed || 124 tries, 123120484 fired transitions, 1595 secs || 66079543 markings, 454216862 edges, 39971 markings/sec, 1595 secs
lola: STP completed || 124 tries, 123519999 fired transitions, 1600 secs || 66281179 markings, 455556207 edges, 40327 markings/sec, 1600 secs
lola: STP completed || 124 tries, 123918499 fired transitions, 1605 secs || 66481876 markings, 456876287 edges, 40139 markings/sec, 1605 secs
lola: STP completed || 125 tries, 124293151 fired transitions, 1610 secs || 66679445 markings, 458210448 edges, 39514 markings/sec, 1610 secs
lola: STP completed || 125 tries, 124660904 fired transitions, 1615 secs || 66878201 markings, 459546579 edges, 39751 markings/sec, 1615 secs
lola: STP completed || 126 tries, 125029053 fired transitions, 1620 secs || 67076783 markings, 460892381 edges, 39716 markings/sec, 1620 secs
lola: STP completed || 126 tries, 125395441 fired transitions, 1625 secs || 67273221 markings, 462225023 edges, 39288 markings/sec, 1625 secs
lola: STP completed || 126 tries, 125761835 fired transitions, 1630 secs || 67469465 markings, 463544358 edges, 39249 markings/sec, 1630 secs
lola: STP completed || 127 tries, 126130184 fired transitions, 1635 secs || 67667787 markings, 464875310 edges, 39664 markings/sec, 1635 secs
lola: STP completed || 127 tries, 126498326 fired transitions, 1640 secs || 67864622 markings, 466208850 edges, 39367 markings/sec, 1640 secs
lola: STP completed || 127 tries, 126865754 fired transitions, 1645 secs || 68062044 markings, 467535988 edges, 39484 markings/sec, 1645 secs
lola: STP completed || 128 tries, 127257652 fired transitions, 1650 secs || 68258879 markings, 468843977 edges, 39367 markings/sec, 1650 secs
lola: STP completed || 128 tries, 127661853 fired transitions, 1655 secs || 68457833 markings, 470159660 edges, 39791 markings/sec, 1655 secs
lola: STP completed || 129 tries, 128066257 fired transitions, 1660 secs || 68655733 markings, 471471238 edges, 39580 markings/sec, 1660 secs
lola: STP completed || 129 tries, 128463316 fired transitions, 1665 secs || 68853333 markings, 472771607 edges, 39520 markings/sec, 1665 secs
lola: STP completed || 129 tries, 128862180 fired transitions, 1670 secs || 69052940 markings, 474092686 edges, 39921 markings/sec, 1670 secs
lola: STP completed || 130 tries, 129265366 fired transitions, 1675 secs || 69251915 markings, 475411393 edges, 39795 markings/sec, 1675 secs
lola: STP completed || 130 tries, 129669997 fired transitions, 1680 secs || 69451961 markings, 476727751 edges, 40009 markings/sec, 1680 secs
lola: STP completed || 131 tries, 130063753 fired transitions, 1685 secs || 69645557 markings, 478020144 edges, 38719 markings/sec, 1685 secs
lola: STP completed || 131 tries, 130429971 fired transitions, 1690 secs || 69839789 markings, 479334384 edges, 38846 markings/sec, 1690 secs
lola: STP completed || 131 tries, 130796901 fired transitions, 1695 secs || 70033600 markings, 480645944 edges, 38762 markings/sec, 1695 secs
lola: STP completed || 132 tries, 131165280 fired transitions, 1700 secs || 70232517 markings, 481986192 edges, 39783 markings/sec, 1700 secs
lola: STP completed || 132 tries, 131532443 fired transitions, 1705 secs || 70426915 markings, 483299864 edges, 38880 markings/sec, 1705 secs
lola: STP completed || 132 tries, 131900130 fired transitions, 1710 secs || 70624176 markings, 484628882 edges, 39452 markings/sec, 1710 secs
lola: STP completed || 133 tries, 132267011 fired transitions, 1715 secs || 70818566 markings, 485937708 edges, 38878 markings/sec, 1715 secs
lola: STP completed || 133 tries, 132633138 fired transitions, 1720 secs || 71013613 markings, 487250358 edges, 39009 markings/sec, 1720 secs
lola: STP completed || 133 tries, 132999031 fired transitions, 1725 secs || 71208176 markings, 488557147 edges, 38913 markings/sec, 1725 secs
lola: STP completed || 134 tries, 133365724 fired transitions, 1730 secs || 71405293 markings, 489884041 edges, 39423 markings/sec, 1730 secs
lola: STP completed || 134 tries, 133733176 fired transitions, 1735 secs || 71601407 markings, 491217711 edges, 39223 markings/sec, 1735 secs
lola: STP completed || 135 tries, 134099485 fired transitions, 1740 secs || 71792674 markings, 492510725 edges, 38253 markings/sec, 1740 secs
lola: STP completed || 135 tries, 134466335 fired transitions, 1745 secs || 71983609 markings, 493801521 edges, 38187 markings/sec, 1745 secs
lola: STP completed || 135 tries, 134832695 fired transitions, 1750 secs || 72174788 markings, 495089230 edges, 38236 markings/sec, 1750 secs
lola: STP completed || 136 tries, 135215128 fired transitions, 1755 secs || 72365829 markings, 496365208 edges, 38208 markings/sec, 1755 secs
lola: STP completed || 136 tries, 135612592 fired transitions, 1760 secs || 72566774 markings, 497681863 edges, 40189 markings/sec, 1760 secs
lola: STP completed || 137 tries, 136010945 fired transitions, 1765 secs || 72768588 markings, 499021087 edges, 40363 markings/sec, 1765 secs
lola: STP completed || 137 tries, 136377489 fired transitions, 1770 secs || 72964478 markings, 500335403 edges, 39178 markings/sec, 1770 secs
lola: STP completed || 137 tries, 136740458 fired transitions, 1775 secs || 73157079 markings, 501634005 edges, 38520 markings/sec, 1775 secs
lola: STP completed || 138 tries, 137113326 fired transitions, 1780 secs || 73349588 markings, 502924250 edges, 38502 markings/sec, 1780 secs
lola: STP completed || 138 tries, 137506241 fired transitions, 1785 secs || 73548993 markings, 504231631 edges, 39881 markings/sec, 1785 secs
lola: STP completed || 138 tries, 137899261 fired transitions, 1790 secs || 73747807 markings, 505546420 edges, 39763 markings/sec, 1790 secs
lola: STP completed || 139 tries, 138296480 fired transitions, 1795 secs || 73946481 markings, 506848124 edges, 39735 markings/sec, 1795 secs
lola: STP completed || 139 tries, 138709888 fired transitions, 1800 secs || 74153499 markings, 508221585 edges, 41404 markings/sec, 1800 secs
lola: STP completed || 140 tries, 139161785 fired transitions, 1805 secs || 74391846 markings, 509807708 edges, 47669 markings/sec, 1805 secs
lola: STP completed || 140 tries, 139562854 fired transitions, 1810 secs || 74613182 markings, 511300972 edges, 44267 markings/sec, 1810 secs
lola: STP completed || 140 tries, 139926085 fired transitions, 1815 secs || 74809256 markings, 512608238 edges, 39215 markings/sec, 1815 secs
lola: STP completed || 141 tries, 140287439 fired transitions, 1820 secs || 75005593 markings, 513931044 edges, 39267 markings/sec, 1820 secs
lola: STP completed || 141 tries, 140650598 fired transitions, 1825 secs || 75202593 markings, 515259203 edges, 39400 markings/sec, 1825 secs
lola: STP completed || 142 tries, 141013002 fired transitions, 1830 secs || 75400096 markings, 516593303 edges, 39501 markings/sec, 1830 secs
lola: STP completed || 142 tries, 141375553 fired transitions, 1835 secs || 75596330 markings, 517926691 edges, 39247 markings/sec, 1835 secs
lola: STP completed || 142 tries, 141737890 fired transitions, 1840 secs || 75792427 markings, 519249869 edges, 39219 markings/sec, 1840 secs
lola: STP completed || 143 tries, 142101808 fired transitions, 1845 secs || 75990001 markings, 520567868 edges, 39515 markings/sec, 1845 secs
lola: STP completed || 143 tries, 142465196 fired transitions, 1850 secs || 76187270 markings, 521886309 edges, 39454 markings/sec, 1850 secs
lola: STP completed || 143 tries, 142827786 fired transitions, 1855 secs || 76383792 markings, 523204889 edges, 39304 markings/sec, 1855 secs
lola: STP completed || 144 tries, 143210201 fired transitions, 1860 secs || 76583084 markings, 524520406 edges, 39858 markings/sec, 1860 secs
lola: STP completed || 144 tries, 143607192 fired transitions, 1865 secs || 76781656 markings, 525828500 edges, 39714 markings/sec, 1865 secs
lola: STP completed || 145 tries, 144004805 fired transitions, 1870 secs || 76979231 markings, 527135114 edges, 39515 markings/sec, 1870 secs
lola: STP completed || 145 tries, 144367131 fired transitions, 1875 secs || 77174272 markings, 528445389 edges, 39008 markings/sec, 1875 secs
lola: STP completed || 145 tries, 144730390 fired transitions, 1880 secs || 77367826 markings, 529738103 edges, 38711 markings/sec, 1880 secs
lola: STP completed || 146 tries, 145122695 fired transitions, 1885 secs || 77579794 markings, 531163034 edges, 42394 markings/sec, 1885 secs
lola: STP completed || 146 tries, 145523615 fired transitions, 1890 secs || 77794720 markings, 532615203 edges, 42985 markings/sec, 1890 secs
lola: STP completed || 146 tries, 145892225 fired transitions, 1895 secs || 77990791 markings, 533935726 edges, 39214 markings/sec, 1895 secs
lola: STP completed || 147 tries, 146259668 fired transitions, 1900 secs || 78188386 markings, 535265436 edges, 39519 markings/sec, 1900 secs
lola: STP completed || 147 tries, 146626133 fired transitions, 1905 secs || 78383833 markings, 536582039 edges, 39089 markings/sec, 1905 secs
lola: STP completed || 147 tries, 146992818 fired transitions, 1910 secs || 78576226 markings, 537861001 edges, 38479 markings/sec, 1910 secs
lola: STP completed || 148 tries, 147383549 fired transitions, 1915 secs || 78774816 markings, 539160791 edges, 39718 markings/sec, 1915 secs
lola: STP completed || 148 tries, 147781148 fired transitions, 1920 secs || 78974559 markings, 540474618 edges, 39949 markings/sec, 1920 secs
lola: STP completed || 149 tries, 148179684 fired transitions, 1925 secs || 79174329 markings, 541786116 edges, 39954 markings/sec, 1925 secs
lola: STP completed || 149 tries, 148577665 fired transitions, 1930 secs || 79368965 markings, 543068408 edges, 38927 markings/sec, 1930 secs
lola: STP completed || 149 tries, 148976071 fired transitions, 1935 secs || 79568970 markings, 544377709 edges, 40001 markings/sec, 1935 secs
lola: STP completed || 150 tries, 149346053 fired transitions, 1940 secs || 79767814 markings, 545713934 edges, 39769 markings/sec, 1940 secs
lola: STP completed || 150 tries, 149712935 fired transitions, 1945 secs || 79965441 markings, 547039287 edges, 39525 markings/sec, 1945 secs
lola: STP completed || 151 tries, 150089222 fired transitions, 1950 secs || 80164838 markings, 548366441 edges, 39879 markings/sec, 1950 secs
lola: STP completed || 151 tries, 150493920 fired transitions, 1955 secs || 80366141 markings, 549685366 edges, 40261 markings/sec, 1955 secs
lola: STP completed || 151 tries, 150899138 fired transitions, 1960 secs || 80566954 markings, 551008304 edges, 40163 markings/sec, 1960 secs
lola: STP completed || 152 tries, 151276523 fired transitions, 1965 secs || 80764360 markings, 552316524 edges, 39481 markings/sec, 1965 secs
lola: STP completed || 152 tries, 151646061 fired transitions, 1970 secs || 80960354 markings, 553632765 edges, 39199 markings/sec, 1970 secs
lola: STP completed || 153 tries, 152014349 fired transitions, 1975 secs || 81155803 markings, 554946546 edges, 39090 markings/sec, 1975 secs
lola: STP completed || 153 tries, 152381233 fired transitions, 1980 secs || 81353776 markings, 556268843 edges, 39595 markings/sec, 1980 secs
lola: STP completed || 153 tries, 152748648 fired transitions, 1985 secs || 81549359 markings, 557582631 edges, 39117 markings/sec, 1985 secs
lola: STP completed || 154 tries, 153117203 fired transitions, 1990 secs || 81743368 markings, 558880781 edges, 38802 markings/sec, 1990 secs
lola: STP completed || 154 tries, 153486202 fired transitions, 1995 secs || 81938981 markings, 560188061 edges, 39123 markings/sec, 1995 secs
lola: STP completed || 154 tries, 153855181 fired transitions, 2000 secs || 82137205 markings, 561523955 edges, 39645 markings/sec, 2000 secs
lola: STP completed || 155 tries, 154241661 fired transitions, 2005 secs || 82337009 markings, 562847144 edges, 39961 markings/sec, 2005 secs
lola: STP completed || 155 tries, 154642611 fired transitions, 2010 secs || 82536166 markings, 564159025 edges, 39831 markings/sec, 2010 secs
lola: STP completed || 156 tries, 155037508 fired transitions, 2015 secs || 82735791 markings, 565467836 edges, 39925 markings/sec, 2015 secs
lola: STP completed || 156 tries, 155406781 fired transitions, 2020 secs || 82933918 markings, 566798204 edges, 39625 markings/sec, 2020 secs
lola: STP completed || 156 tries, 155775590 fired transitions, 2025 secs || 83129651 markings, 568100353 edges, 39147 markings/sec, 2025 secs
lola: STP completed || 157 tries, 156154634 fired transitions, 2030 secs || 83332144 markings, 569457128 edges, 40499 markings/sec, 2030 secs
lola: STP completed || 157 tries, 156561574 fired transitions, 2035 secs || 83553435 markings, 570945526 edges, 44258 markings/sec, 2035 secs
lola: STP completed || 157 tries, 156970737 fired transitions, 2040 secs || 83772941 markings, 572423210 edges, 43901 markings/sec, 2040 secs
lola: STP completed || 158 tries, 157349990 fired transitions, 2045 secs || 83979246 markings, 573798638 edges, 41261 markings/sec, 2045 secs
lola: STP completed || 158 tries, 157719339 fired transitions, 2050 secs || 84172246 markings, 575091896 edges, 38600 markings/sec, 2050 secs
lola: STP completed || 159 tries, 158088340 fired transitions, 2055 secs || 84367460 markings, 576397091 edges, 39043 markings/sec, 2055 secs
lola: STP completed || 159 tries, 158456867 fired transitions, 2060 secs || 84563870 markings, 577711225 edges, 39282 markings/sec, 2060 secs
lola: STP completed || 159 tries, 158825178 fired transitions, 2065 secs || 84760001 markings, 579027770 edges, 39226 markings/sec, 2065 secs
lola: STP completed || 160 tries, 159194326 fired transitions, 2070 secs || 84955995 markings, 580329822 edges, 39199 markings/sec, 2070 secs
lola: STP completed || 160 tries, 159563589 fired transitions, 2075 secs || 85152294 markings, 581645126 edges, 39260 markings/sec, 2075 secs
lola: STP completed || 160 tries, 159932278 fired transitions, 2080 secs || 85348744 markings, 582955684 edges, 39290 markings/sec, 2080 secs
lola: STP completed || 161 tries, 160300254 fired transitions, 2085 secs || 85545001 markings, 584262083 edges, 39251 markings/sec, 2085 secs
lola: STP completed || 161 tries, 160667129 fired transitions, 2090 secs || 85742735 markings, 585585508 edges, 39547 markings/sec, 2090 secs
lola: STP completed || 162 tries, 161034267 fired transitions, 2095 secs || 85937633 markings, 586888237 edges, 38980 markings/sec, 2095 secs
lola: STP completed || 162 tries, 161403562 fired transitions, 2100 secs || 86133617 markings, 588200409 edges, 39197 markings/sec, 2100 secs
lola: STP completed || 162 tries, 161772588 fired transitions, 2105 secs || 86329854 markings, 589510496 edges, 39247 markings/sec, 2105 secs
lola: STP completed || 163 tries, 162140787 fired transitions, 2110 secs || 86526308 markings, 590815145 edges, 39291 markings/sec, 2110 secs
lola: STP completed || 163 tries, 162510364 fired transitions, 2115 secs || 86723499 markings, 592133145 edges, 39438 markings/sec, 2115 secs
lola: STP completed || 163 tries, 162878595 fired transitions, 2120 secs || 86921481 markings, 593453583 edges, 39596 markings/sec, 2120 secs
lola: STP completed || 164 tries, 163246869 fired transitions, 2125 secs || 87118511 markings, 594770670 edges, 39406 markings/sec, 2125 secs
lola: STP completed || 164 tries, 163614060 fired transitions, 2130 secs || 87314832 markings, 596075790 edges, 39264 markings/sec, 2130 secs
lola: STP completed || 164 tries, 163980620 fired transitions, 2135 secs || 87511913 markings, 597387731 edges, 39416 markings/sec, 2135 secs
lola: STP completed || 165 tries, 164375608 fired transitions, 2140 secs || 87713170 markings, 598701333 edges, 40251 markings/sec, 2140 secs
lola: STP completed || 165 tries, 164771660 fired transitions, 2145 secs || 87913382 markings, 600015438 edges, 40042 markings/sec, 2145 secs
lola: STP completed || 166 tries, 165170879 fired transitions, 2150 secs || 88112588 markings, 601311786 edges, 39841 markings/sec, 2150 secs
lola: STP completed || 166 tries, 165569420 fired transitions, 2155 secs || 88311998 markings, 602605443 edges, 39882 markings/sec, 2155 secs
lola: STP completed || 166 tries, 165970328 fired transitions, 2160 secs || 88511532 markings, 603897977 edges, 39907 markings/sec, 2160 secs
lola: STP completed || 167 tries, 166322302 fired transitions, 2165 secs || 88713133 markings, 605241488 edges, 40320 markings/sec, 2165 secs
lola: STP completed || 167 tries, 166719919 fired transitions, 2170 secs || 88930171 markings, 606698705 edges, 43408 markings/sec, 2170 secs
lola: STP completed || 168 tries, 167087132 fired transitions, 2175 secs || 89130049 markings, 608021579 edges, 39976 markings/sec, 2175 secs
lola: STP completed || 168 tries, 167483663 fired transitions, 2180 secs || 89344452 markings, 609461223 edges, 42881 markings/sec, 2180 secs
lola: STP completed || 168 tries, 167848795 fired transitions, 2185 secs || 89540655 markings, 610776647 edges, 39241 markings/sec, 2185 secs
lola: STP completed || 169 tries, 168223383 fired transitions, 2190 secs || 89743136 markings, 612135238 edges, 40496 markings/sec, 2190 secs
lola: STP completed || 169 tries, 168602890 fired transitions, 2195 secs || 89955022 markings, 613547682 edges, 42377 markings/sec, 2195 secs
lola: STP completed || 170 tries, 169019375 fired transitions, 2200 secs || 90182887 markings, 615072102 edges, 45573 markings/sec, 2200 secs
lola: STP completed || 170 tries, 169386280 fired transitions, 2205 secs || 90372658 markings, 616336888 edges, 37954 markings/sec, 2205 secs
lola: STP completed || 170 tries, 169755212 fired transitions, 2210 secs || 90568585 markings, 617644692 edges, 39185 markings/sec, 2210 secs
lola: STP completed || 171 tries, 170124467 fired transitions, 2215 secs || 90766159 markings, 618956682 edges, 39515 markings/sec, 2215 secs
lola: STP completed || 171 tries, 170494120 fired transitions, 2220 secs || 90963875 markings, 620267110 edges, 39543 markings/sec, 2220 secs
lola: STP completed || 171 tries, 170863388 fired transitions, 2225 secs || 91160277 markings, 621565366 edges, 39280 markings/sec, 2225 secs
lola: STP completed || 172 tries, 171255730 fired transitions, 2230 secs || 91358791 markings, 622869842 edges, 39703 markings/sec, 2230 secs
lola: STP completed || 172 tries, 171661688 fired transitions, 2235 secs || 91557880 markings, 624154979 edges, 39818 markings/sec, 2235 secs
lola: STP completed || 173 tries, 172062241 fired transitions, 2240 secs || 91757091 markings, 625458624 edges, 39842 markings/sec, 2240 secs
lola: STP completed || 173 tries, 172431558 fired transitions, 2245 secs || 91953166 markings, 626760987 edges, 39215 markings/sec, 2245 secs
lola: STP completed || 173 tries, 172800846 fired transitions, 2250 secs || 92149337 markings, 628065781 edges, 39234 markings/sec, 2250 secs
lola: STP completed || 174 tries, 173170190 fired transitions, 2255 secs || 92344389 markings, 629371741 edges, 39010 markings/sec, 2255 secs
lola: STP completed || 174 tries, 173539252 fired transitions, 2260 secs || 92540092 markings, 630682261 edges, 39141 markings/sec, 2260 secs
lola: STP completed || 174 tries, 173907364 fired transitions, 2265 secs || 92737157 markings, 631994032 edges, 39413 markings/sec, 2265 secs
lola: STP completed || 175 tries, 174275749 fired transitions, 2270 secs || 92934358 markings, 633307095 edges, 39440 markings/sec, 2270 secs
lola: STP completed || 175 tries, 174643547 fired transitions, 2275 secs || 93129419 markings, 634609978 edges, 39012 markings/sec, 2275 secs
lola: STP completed || 176 tries, 175010880 fired transitions, 2280 secs || 93319600 markings, 635875456 edges, 38036 markings/sec, 2280 secs
lola: STP completed || 176 tries, 175378102 fired transitions, 2285 secs || 93512196 markings, 637161530 edges, 38519 markings/sec, 2285 secs
lola: STP completed || 176 tries, 175743625 fired transitions, 2290 secs || 93707485 markings, 638463348 edges, 39058 markings/sec, 2290 secs
lola: STP completed || 177 tries, 176123581 fired transitions, 2295 secs || 93902662 markings, 639755359 edges, 39035 markings/sec, 2295 secs
lola: STP completed || 177 tries, 176527749 fired transitions, 2300 secs || 94101981 markings, 641055679 edges, 39864 markings/sec, 2300 secs
lola: STP completed || 177 tries, 176933989 fired transitions, 2305 secs || 94290057 markings, 642274912 edges, 37615 markings/sec, 2305 secs
lola: STP completed || 178 tries, 177305948 fired transitions, 2310 secs || 94485365 markings, 643570703 edges, 39062 markings/sec, 2310 secs
lola: STP completed || 178 tries, 177673436 fired transitions, 2315 secs || 94680831 markings, 644869453 edges, 39093 markings/sec, 2315 secs
lola: STP completed || 179 tries, 178047069 fired transitions, 2320 secs || 94878713 markings, 646183953 edges, 39576 markings/sec, 2320 secs
lola: STP completed || 179 tries, 178439099 fired transitions, 2325 secs || 95087424 markings, 647579234 edges, 41742 markings/sec, 2325 secs
lola: STP completed || 179 tries, 178807900 fired transitions, 2330 secs || 95284065 markings, 648884980 edges, 39328 markings/sec, 2330 secs
lola: STP completed || 180 tries, 179181111 fired transitions, 2335 secs || 95481288 markings, 650195815 edges, 39445 markings/sec, 2335 secs
lola: STP completed || 180 tries, 179558123 fired transitions, 2340 secs || 95684090 markings, 651542780 edges, 40560 markings/sec, 2340 secs
lola: STP completed || 180 tries, 179933450 fired transitions, 2345 secs || 95885375 markings, 652875446 edges, 40257 markings/sec, 2345 secs
lola: STP completed || 181 tries, 180297020 fired transitions, 2350 secs || 96082781 markings, 654195993 edges, 39481 markings/sec, 2350 secs
lola: STP completed || 181 tries, 180666620 fired transitions, 2355 secs || 96280793 markings, 655509313 edges, 39602 markings/sec, 2355 secs
lola: STP completed || 182 tries, 181039638 fired transitions, 2360 secs || 96478607 markings, 656820926 edges, 39563 markings/sec, 2360 secs
lola: STP completed || 182 tries, 181445096 fired transitions, 2365 secs || 96678907 markings, 658113004 edges, 40060 markings/sec, 2365 secs
lola: STP completed || 182 tries, 181845543 fired transitions, 2370 secs || 96875529 markings, 659385228 edges, 39324 markings/sec, 2370 secs
lola: STP completed || 183 tries, 182226753 fired transitions, 2375 secs || 97071614 markings, 660674678 edges, 39217 markings/sec, 2375 secs
lola: STP completed || 183 tries, 182594160 fired transitions, 2380 secs || 97266156 markings, 661962002 edges, 38908 markings/sec, 2380 secs
lola: STP completed || 183 tries, 182961759 fired transitions, 2385 secs || 97460043 markings, 663246683 edges, 38777 markings/sec, 2385 secs
lola: STP completed || 184 tries, 183326957 fired transitions, 2390 secs || 97653520 markings, 664525718 edges, 38695 markings/sec, 2390 secs
lola: STP completed || 184 tries, 183695237 fired transitions, 2395 secs || 97845119 markings, 665794578 edges, 38320 markings/sec, 2395 secs
lola: STP completed || 185 tries, 184061500 fired transitions, 2400 secs || 98037342 markings, 667066467 edges, 38445 markings/sec, 2400 secs
lola: STP completed || 185 tries, 184424079 fired transitions, 2405 secs || 98233318 markings, 668354119 edges, 39195 markings/sec, 2405 secs
lola: STP completed || 185 tries, 184828934 fired transitions, 2410 secs || 98454548 markings, 669825014 edges, 44246 markings/sec, 2410 secs
lola: STP completed || 186 tries, 185195779 fired transitions, 2415 secs || 98645003 markings, 671100075 edges, 38091 markings/sec, 2415 secs
lola: STP completed || 186 tries, 185570348 fired transitions, 2420 secs || 98843565 markings, 672424366 edges, 39712 markings/sec, 2420 secs
lola: STP completed || 186 tries, 185975946 fired transitions, 2425 secs || 99073679 markings, 673963222 edges, 46023 markings/sec, 2425 secs
lola: STP completed || 187 tries, 186420888 fired transitions, 2430 secs || 99303690 markings, 675447598 edges, 46002 markings/sec, 2430 secs
lola: STP completed || 187 tries, 186821708 fired transitions, 2435 secs || 99510470 markings, 676782970 edges, 41356 markings/sec, 2435 secs
lola: STP completed || 188 tries, 187205440 fired transitions, 2440 secs || 99706083 markings, 678064258 edges, 39123 markings/sec, 2440 secs
lola: STP completed || 188 tries, 187569666 fired transitions, 2445 secs || 99900400 markings, 679344880 edges, 38863 markings/sec, 2445 secs
lola: STP completed || 188 tries, 187937042 fired transitions, 2450 secs || 100095407 markings, 680634425 edges, 39001 markings/sec, 2450 secs
lola: STP completed || 189 tries, 188303015 fired transitions, 2455 secs || 100288049 markings, 681917648 edges, 38528 markings/sec, 2455 secs
lola: STP completed || 189 tries, 188670129 fired transitions, 2460 secs || 100483045 markings, 683208497 edges, 38999 markings/sec, 2460 secs
lola: STP completed || 190 tries, 189040633 fired transitions, 2465 secs || 100679369 markings, 684517820 edges, 39265 markings/sec, 2465 secs
lola: STP completed || 190 tries, 189436003 fired transitions, 2470 secs || 100876155 markings, 685786432 edges, 39357 markings/sec, 2470 secs
lola: STP completed || 190 tries, 189833636 fired transitions, 2475 secs || 101074749 markings, 687068203 edges, 39719 markings/sec, 2475 secs
lola: STP completed || 191 tries, 190229824 fired transitions, 2480 secs || 101273041 markings, 688335707 edges, 39658 markings/sec, 2480 secs
lola: STP completed || 191 tries, 190621908 fired transitions, 2485 secs || 101467992 markings, 689601625 edges, 38990 markings/sec, 2485 secs
lola: STP completed || 192 tries, 191016441 fired transitions, 2490 secs || 101664675 markings, 690870661 edges, 39337 markings/sec, 2490 secs
lola: STP completed || 192 tries, 191412066 fired transitions, 2495 secs || 101860244 markings, 692132487 edges, 39114 markings/sec, 2495 secs
lola: STP completed || 192 tries, 191808345 fired transitions, 2500 secs || 102059747 markings, 693418236 edges, 39901 markings/sec, 2500 secs
lola: STP completed || 193 tries, 192204850 fired transitions, 2505 secs || 102257970 markings, 694702365 edges, 39645 markings/sec, 2505 secs
lola: STP completed || 193 tries, 192602030 fired transitions, 2510 secs || 102457506 markings, 695987463 edges, 39907 markings/sec, 2510 secs
lola: STP completed || 193 tries, 192997669 fired transitions, 2515 secs || 102656263 markings, 697276577 edges, 39751 markings/sec, 2515 secs
lola: STP completed || 194 tries, 193364987 fired transitions, 2520 secs || 102850724 markings, 698565661 edges, 38892 markings/sec, 2520 secs
lola: STP completed || 194 tries, 193733316 fired transitions, 2525 secs || 103046192 markings, 699846437 edges, 39094 markings/sec, 2525 secs
lola: STP completed || 195 tries, 194099633 fired transitions, 2530 secs || 103241080 markings, 701126568 edges, 38978 markings/sec, 2530 secs
lola: STP completed || 195 tries, 194467336 fired transitions, 2535 secs || 103435064 markings, 702409106 edges, 38797 markings/sec, 2535 secs
lola: STP completed || 195 tries, 194835536 fired transitions, 2540 secs || 103629362 markings, 703678436 edges, 38860 markings/sec, 2540 secs
lola: STP completed || 196 tries, 195208504 fired transitions, 2545 secs || 103826734 markings, 704988689 edges, 39474 markings/sec, 2545 secs
lola: STP completed || 196 tries, 195571812 fired transitions, 2550 secs || 104021523 markings, 706281403 edges, 38958 markings/sec, 2550 secs
lola: STP completed || 196 tries, 195934017 fired transitions, 2555 secs || 104214048 markings, 707555791 edges, 38505 markings/sec, 2555 secs
lola: STP completed || 197 tries, 196296851 fired transitions, 2560 secs || 104407280 markings, 708832624 edges, 38646 markings/sec, 2560 secs
lola: STP completed || 197 tries, 196658502 fired transitions, 2565 secs || 104601439 markings, 710104957 edges, 38832 markings/sec, 2565 secs
lola: STP completed || 198 tries, 197024308 fired transitions, 2570 secs || 104796354 markings, 711392266 edges, 38983 markings/sec, 2570 secs
lola: STP completed || 198 tries, 197425460 fired transitions, 2575 secs || 104992633 markings, 712653494 edges, 39256 markings/sec, 2575 secs
lola: STP completed || 198 tries, 197832016 fired transitions, 2580 secs || 105192007 markings, 713933568 edges, 39875 markings/sec, 2580 secs
lola: STP completed || 199 tries, 198216947 fired transitions, 2585 secs || 105390181 markings, 715226862 edges, 39635 markings/sec, 2585 secs
lola: STP completed || 199 tries, 198585349 fired transitions, 2590 secs || 105586543 markings, 716531063 edges, 39272 markings/sec, 2590 secs
lola: STP completed || 199 tries, 198955513 fired transitions, 2595 secs || 105783674 markings, 717826438 edges, 39426 markings/sec, 2595 secs
lola: STP completed || 200 tries, 199325729 fired transitions, 2600 secs || 105977646 markings, 719113907 edges, 38794 markings/sec, 2600 secs
lola: STP completed || 200 tries, 199694366 fired transitions, 2605 secs || 106169337 markings, 720377185 edges, 38338 markings/sec, 2605 secs
lola: STP completed || 201 tries, 200060651 fired transitions, 2610 secs || 106361021 markings, 721632482 edges, 38337 markings/sec, 2610 secs
lola: STP completed || 201 tries, 200424662 fired transitions, 2615 secs || 106550255 markings, 722873431 edges, 37847 markings/sec, 2615 secs
lola: STP completed || 201 tries, 200794554 fired transitions, 2620 secs || 106746090 markings, 724171604 edges, 39167 markings/sec, 2620 secs
lola: STP completed || 202 tries, 201165887 fired transitions, 2625 secs || 106942940 markings, 725468723 edges, 39370 markings/sec, 2625 secs
lola: STP completed || 202 tries, 201534826 fired transitions, 2630 secs || 107138058 markings, 726739892 edges, 39024 markings/sec, 2630 secs
lola: STP completed || 202 tries, 201904667 fired transitions, 2635 secs || 107332505 markings, 728026557 edges, 38889 markings/sec, 2635 secs
lola: STP completed || 203 tries, 202272754 fired transitions, 2640 secs || 107528340 markings, 729301421 edges, 39167 markings/sec, 2640 secs
lola: STP completed || 203 tries, 202643086 fired transitions, 2645 secs || 107724336 markings, 730590724 edges, 39199 markings/sec, 2645 secs
lola: STP completed || 204 tries, 203014233 fired transitions, 2650 secs || 107920512 markings, 731887440 edges, 39235 markings/sec, 2650 secs
lola: STP completed || 204 tries, 203383288 fired transitions, 2655 secs || 108117045 markings, 733174100 edges, 39307 markings/sec, 2655 secs
lola: STP completed || 204 tries, 203752571 fired transitions, 2660 secs || 108312105 markings, 734451270 edges, 39012 markings/sec, 2660 secs
lola: STP completed || 205 tries, 204121382 fired transitions, 2665 secs || 108507221 markings, 735728113 edges, 39023 markings/sec, 2665 secs
lola: STP completed || 205 tries, 204492027 fired transitions, 2670 secs || 108704815 markings, 737024469 edges, 39519 markings/sec, 2670 secs
lola: STP completed || 205 tries, 204862135 fired transitions, 2675 secs || 108901367 markings, 738330164 edges, 39310 markings/sec, 2675 secs
lola: STP completed || 206 tries, 205250902 fired transitions, 2680 secs || 109097347 markings, 739592638 edges, 39196 markings/sec, 2680 secs
lola: STP completed || 206 tries, 205653340 fired transitions, 2685 secs || 109292781 markings, 740840493 edges, 39087 markings/sec, 2685 secs
lola: STP completed || 207 tries, 206055909 fired transitions, 2690 secs || 109486578 markings, 742070576 edges, 38759 markings/sec, 2690 secs
lola: STP completed || 207 tries, 206458474 fired transitions, 2695 secs || 109684325 markings, 743332109 edges, 39549 markings/sec, 2695 secs
lola: STP completed || 207 tries, 206861801 fired transitions, 2700 secs || 109882357 markings, 744583754 edges, 39606 markings/sec, 2700 secs
lola: STP completed || 208 tries, 207240824 fired transitions, 2705 secs || 110075844 markings, 745834059 edges, 38697 markings/sec, 2705 secs
lola: STP completed || 208 tries, 207608449 fired transitions, 2710 secs || 110268089 markings, 747101688 edges, 38449 markings/sec, 2710 secs
lola: STP completed || 208 tries, 207976600 fired transitions, 2715 secs || 110461471 markings, 748376452 edges, 38676 markings/sec, 2715 secs
lola: STP completed || 209 tries, 208344943 fired transitions, 2720 secs || 110656522 markings, 749652782 edges, 39010 markings/sec, 2720 secs
lola: STP completed || 209 tries, 208735425 fired transitions, 2725 secs || 110866917 markings, 751043423 edges, 42079 markings/sec, 2725 secs
lola: STP completed || 210 tries, 209155336 fired transitions, 2730 secs || 111097292 markings, 752563747 edges, 46075 markings/sec, 2730 secs
lola: STP completed || 210 tries, 209518882 fired transitions, 2735 secs || 111293660 markings, 753853665 edges, 39274 markings/sec, 2735 secs
lola: STP completed || 210 tries, 209885215 fired transitions, 2740 secs || 111489008 markings, 755117942 edges, 39070 markings/sec, 2740 secs
lola: STP completed || 211 tries, 210248600 fired transitions, 2745 secs || 111683293 markings, 756388709 edges, 38857 markings/sec, 2745 secs
lola: STP completed || 211 tries, 210631469 fired transitions, 2750 secs || 111892030 markings, 757762218 edges, 41747 markings/sec, 2750 secs
lola: STP completed || 212 tries, 211056523 fired transitions, 2755 secs || 112121044 markings, 759247460 edges, 45803 markings/sec, 2755 secs
lola: STP completed || 212 tries, 211517197 fired transitions, 2760 secs || 112354914 markings, 760742075 edges, 46774 markings/sec, 2760 secs
lola: STP completed || 212 tries, 211972127 fired transitions, 2765 secs || 112585367 markings, 762214552 edges, 46091 markings/sec, 2765 secs
lola: STP completed || 213 tries, 212392127 fired transitions, 2770 secs || 112811944 markings, 763697843 edges, 45315 markings/sec, 2770 secs
lola: STP completed || 213 tries, 212758190 fired transitions, 2775 secs || 113005179 markings, 764958029 edges, 38647 markings/sec, 2775 secs
lola: STP completed || 214 tries, 213138074 fired transitions, 2780 secs || 113200099 markings, 766221767 edges, 38984 markings/sec, 2780 secs
lola: STP completed || 214 tries, 213542120 fired transitions, 2785 secs || 113396315 markings, 767477187 edges, 39243 markings/sec, 2785 secs
lola: STP completed || 214 tries, 213945643 fired transitions, 2790 secs || 113592645 markings, 768728537 edges, 39266 markings/sec, 2790 secs
lola: STP completed || 215 tries, 214319681 fired transitions, 2795 secs || 113786844 markings, 769988339 edges, 38840 markings/sec, 2795 secs
lola: STP completed || 215 tries, 214685048 fired transitions, 2800 secs || 113979467 markings, 771255318 edges, 38525 markings/sec, 2800 secs
lola: STP completed || 216 tries, 215054222 fired transitions, 2805 secs || 114173181 markings, 772526112 edges, 38743 markings/sec, 2805 secs
lola: STP completed || 216 tries, 215417310 fired transitions, 2810 secs || 114365789 markings, 773769986 edges, 38522 markings/sec, 2810 secs
lola: STP completed || 216 tries, 215781673 fired transitions, 2815 secs || 114560069 markings, 775038759 edges, 38856 markings/sec, 2815 secs
lola: STP completed || 217 tries, 216161819 fired transitions, 2820 secs || 114749970 markings, 776258158 edges, 37980 markings/sec, 2820 secs
lola: STP completed || 217 tries, 216564481 fired transitions, 2825 secs || 114940778 markings, 777471979 edges, 38162 markings/sec, 2825 secs
lola: STP completed || 217 tries, 216965335 fired transitions, 2830 secs || 115136332 markings, 778712747 edges, 39111 markings/sec, 2830 secs
lola: STP completed || 218 tries, 217365136 fired transitions, 2835 secs || 115334275 markings, 779967518 edges, 39589 markings/sec, 2835 secs
lola: STP completed || 218 tries, 217768997 fired transitions, 2840 secs || 115529234 markings, 781211201 edges, 38992 markings/sec, 2840 secs
lola: STP completed || 219 tries, 218171988 fired transitions, 2845 secs || 115735190 markings, 782542593 edges, 41191 markings/sec, 2845 secs
lola: STP completed || 219 tries, 218541874 fired transitions, 2850 secs || 115930903 markings, 783834080 edges, 39143 markings/sec, 2850 secs
lola: STP completed || 219 tries, 218911116 fired transitions, 2855 secs || 116127743 markings, 785115962 edges, 39368 markings/sec, 2855 secs
lola: STP completed || 220 tries, 219306168 fired transitions, 2860 secs || 116326930 markings, 786391936 edges, 39837 markings/sec, 2860 secs
lola: STP completed || 220 tries, 219736862 fired transitions, 2865 secs || 116542479 markings, 787757301 edges, 43110 markings/sec, 2865 secs
lola: STP completed || 221 tries, 220161804 fired transitions, 2870 secs || 116751860 markings, 789086715 edges, 41876 markings/sec, 2870 secs
lola: STP completed || 221 tries, 220580814 fired transitions, 2875 secs || 116958920 markings, 790396640 edges, 41412 markings/sec, 2875 secs
lola: STP completed || 221 tries, 220985490 fired transitions, 2880 secs || 117155086 markings, 791642764 edges, 39233 markings/sec, 2880 secs
lola: STP completed || 222 tries, 221355199 fired transitions, 2885 secs || 117350928 markings, 792914268 edges, 39168 markings/sec, 2885 secs
lola: STP completed || 222 tries, 221724175 fired transitions, 2890 secs || 117546045 markings, 794200821 edges, 39023 markings/sec, 2890 secs
lola: STP completed || 223 tries, 222091313 fired transitions, 2895 secs || 117738137 markings, 795453994 edges, 38418 markings/sec, 2895 secs
lola: STP completed || 223 tries, 222457853 fired transitions, 2900 secs || 117924357 markings, 796659554 edges, 37244 markings/sec, 2900 secs
lola: STP completed || 223 tries, 222823135 fired transitions, 2905 secs || 118111157 markings, 797875336 edges, 37360 markings/sec, 2905 secs
lola: STP completed || 224 tries, 223190555 fired transitions, 2910 secs || 118305526 markings, 799152292 edges, 38874 markings/sec, 2910 secs
lola: STP completed || 224 tries, 223575307 fired transitions, 2915 secs || 118515036 markings, 800522858 edges, 41902 markings/sec, 2915 secs
lola: STP completed || 224 tries, 223936001 fired transitions, 2920 secs || 118708099 markings, 801771993 edges, 38613 markings/sec, 2920 secs
lola: STP completed || 225 tries, 224328786 fired transitions, 2925 secs || 118904887 markings, 803025406 edges, 39358 markings/sec, 2925 secs
lola: STP completed || 225 tries, 224735159 fired transitions, 2930 secs || 119101756 markings, 804269721 edges, 39374 markings/sec, 2930 secs
lola: STP completed || 226 tries, 225137414 fired transitions, 2935 secs || 119301393 markings, 805524988 edges, 39927 markings/sec, 2935 secs
lola: STP completed || 226 tries, 225541962 fired transitions, 2940 secs || 119497866 markings, 806774706 edges, 39295 markings/sec, 2940 secs
lola: STP completed || 226 tries, 225945566 fired transitions, 2945 secs || 119696828 markings, 808040385 edges, 39792 markings/sec, 2945 secs
lola: STP completed || 227 tries, 226345600 fired transitions, 2950 secs || 119897369 markings, 809300375 edges, 40108 markings/sec, 2950 secs
lola: STP completed || 227 tries, 226745333 fired transitions, 2955 secs || 120097727 markings, 810578367 edges, 40072 markings/sec, 2955 secs
lola: STP completed || 228 tries, 227131777 fired transitions, 2960 secs || 120292654 markings, 811821802 edges, 38985 markings/sec, 2960 secs
lola: STP completed || 228 tries, 227495746 fired transitions, 2965 secs || 120488020 markings, 813094635 edges, 39073 markings/sec, 2965 secs
lola: STP completed || 228 tries, 227863229 fired transitions, 2970 secs || 120679460 markings, 814321297 edges, 38288 markings/sec, 2970 secs
lola: STP completed || 229 tries, 228266179 fired transitions, 2975 secs || 120880924 markings, 815613757 edges, 40293 markings/sec, 2975 secs
lola: STP completed || 229 tries, 228686910 fired transitions, 2980 secs || 121092043 markings, 816944727 edges, 42224 markings/sec, 2980 secs
lola: STP completed || 230 tries, 229110333 fired transitions, 2985 secs || 121299372 markings, 818255646 edges, 41466 markings/sec, 2985 secs
lola: STP completed || 230 tries, 229516041 fired transitions, 2990 secs || 121498151 markings, 819512734 edges, 39756 markings/sec, 2990 secs
lola: STP completed || 230 tries, 229920161 fired transitions, 2995 secs || 121698166 markings, 820767507 edges, 40003 markings/sec, 2995 secs
lola: STP completed || 231 tries, 230319522 fired transitions, 3000 secs || 121897730 markings, 822023171 edges, 39913 markings/sec, 3000 secs
lola: STP completed || 231 tries, 230717571 fired transitions, 3005 secs || 122097465 markings, 823272865 edges, 39947 markings/sec, 3005 secs
lola: STP completed || 232 tries, 231108963 fired transitions, 3010 secs || 122294935 markings, 824536583 edges, 39494 markings/sec, 3010 secs
lola: STP completed || 232 tries, 231478957 fired transitions, 3015 secs || 122488930 markings, 825799895 edges, 38799 markings/sec, 3015 secs
lola: STP completed || 232 tries, 231854971 fired transitions, 3020 secs || 122686104 markings, 827083276 edges, 39435 markings/sec, 3020 secs
lola: STP completed || 233 tries, 232282327 fired transitions, 3025 secs || 122903333 markings, 828473549 edges, 43446 markings/sec, 3025 secs
lola: STP completed || 233 tries, 232688033 fired transitions, 3030 secs || 123101360 markings, 829729467 edges, 39605 markings/sec, 3030 secs
lola: STP completed || 234 tries, 233078078 fired transitions, 3035 secs || 123297469 markings, 830979823 edges, 39222 markings/sec, 3035 secs
lola: STP completed || 234 tries, 233448208 fired transitions, 3040 secs || 123491978 markings, 832251855 edges, 38902 markings/sec, 3040 secs
lola: STP completed || 234 tries, 233819622 fired transitions, 3045 secs || 123688858 markings, 833538887 edges, 39376 markings/sec, 3045 secs
lola: STP completed || 235 tries, 234190391 fired transitions, 3050 secs || 123884205 markings, 834807659 edges, 39069 markings/sec, 3050 secs
lola: STP completed || 235 tries, 234560132 fired transitions, 3055 secs || 124078219 markings, 836067896 edges, 38803 markings/sec, 3055 secs
lola: STP completed || 235 tries, 234929760 fired transitions, 3060 secs || 124275172 markings, 837341615 edges, 39391 markings/sec, 3060 secs
lola: STP completed || 236 tries, 235330777 fired transitions, 3065 secs || 124469956 markings, 838569405 edges, 38957 markings/sec, 3065 secs
lola: STP completed || 236 tries, 235734652 fired transitions, 3070 secs || 124658600 markings, 839753132 edges, 37729 markings/sec, 3070 secs
lola: STP completed || 237 tries, 236126721 fired transitions, 3075 secs || 124851528 markings, 840990232 edges, 38586 markings/sec, 3075 secs
lola: STP completed || 237 tries, 236494293 fired transitions, 3080 secs || 125044181 markings, 842228094 edges, 38531 markings/sec, 3080 secs
lola: STP completed || 237 tries, 236862210 fired transitions, 3085 secs || 125236219 markings, 843482436 edges, 38408 markings/sec, 3085 secs
lola: STP completed || 238 tries, 237251186 fired transitions, 3090 secs || 125432094 markings, 844728549 edges, 39175 markings/sec, 3090 secs
lola: STP completed || 238 tries, 237653092 fired transitions, 3095 secs || 125629626 markings, 845955749 edges, 39506 markings/sec, 3095 secs
lola: STP completed || 239 tries, 238049305 fired transitions, 3100 secs || 125826003 markings, 847196015 edges, 39275 markings/sec, 3100 secs
lola: STP completed || 239 tries, 238421921 fired transitions, 3105 secs || 126025487 markings, 848490188 edges, 39897 markings/sec, 3105 secs
lola: STP completed || 239 tries, 238782993 fired transitions, 3110 secs || 126216694 markings, 849732001 edges, 38241 markings/sec, 3110 secs
lola: STP completed || 240 tries, 239152298 fired transitions, 3115 secs || 126410177 markings, 850989855 edges, 38697 markings/sec, 3115 secs
lola: STP completed || 240 tries, 239519657 fired transitions, 3120 secs || 126601594 markings, 852226748 edges, 38283 markings/sec, 3120 secs
lola: STP completed || 240 tries, 239885666 fired transitions, 3125 secs || 126789205 markings, 853447296 edges, 37522 markings/sec, 3125 secs
lola: STP completed || 241 tries, 240251628 fired transitions, 3130 secs || 126976097 markings, 854655222 edges, 37378 markings/sec, 3130 secs
lola: STP completed || 241 tries, 240617174 fired transitions, 3135 secs || 127164911 markings, 855881663 edges, 37763 markings/sec, 3135 secs
lola: STP completed || 241 tries, 240996312 fired transitions, 3140 secs || 127366100 markings, 857188155 edges, 40238 markings/sec, 3140 secs
lola: STP completed || 242 tries, 241363983 fired transitions, 3145 secs || 127561743 markings, 858455488 edges, 39129 markings/sec, 3145 secs
lola: STP completed || 242 tries, 241734565 fired transitions, 3150 secs || 127756641 markings, 859729114 edges, 38980 markings/sec, 3150 secs
lola: STP completed || 243 tries, 242104636 fired transitions, 3155 secs || 127953194 markings, 860995838 edges, 39311 markings/sec, 3155 secs
lola: STP completed || 243 tries, 242474264 fired transitions, 3160 secs || 128149997 markings, 862258061 edges, 39361 markings/sec, 3160 secs
lola: STP completed || 243 tries, 242845958 fired transitions, 3165 secs || 128344737 markings, 863515578 edges, 38948 markings/sec, 3165 secs
lola: STP completed || 244 tries, 243234846 fired transitions, 3170 secs || 128538699 markings, 864755913 edges, 38792 markings/sec, 3170 secs
lola: STP completed || 244 tries, 243635510 fired transitions, 3175 secs || 128733595 markings, 865960580 edges, 38979 markings/sec, 3175 secs
lola: STP completed || 245 tries, 244033709 fired transitions, 3180 secs || 128930606 markings, 867195168 edges, 39402 markings/sec, 3180 secs
lola: STP completed || 245 tries, 244400253 fired transitions, 3185 secs || 129124779 markings, 868444484 edges, 38835 markings/sec, 3185 secs
lola: STP completed || 245 tries, 244768909 fired transitions, 3190 secs || 129320239 markings, 869716502 edges, 39092 markings/sec, 3190 secs
lola: STP completed || 246 tries, 245139314 fired transitions, 3195 secs || 129513476 markings, 870968866 edges, 38647 markings/sec, 3195 secs
lola: STP completed || 246 tries, 245525062 fired transitions, 3200 secs || 129718503 markings, 872295137 edges, 41005 markings/sec, 3200 secs
lola: STP completed || 246 tries, 245890707 fired transitions, 3205 secs || 129908673 markings, 873518381 edges, 38034 markings/sec, 3205 secs
lola: STP completed || 247 tries, 246253604 fired transitions, 3210 secs || 130097638 markings, 874740432 edges, 37793 markings/sec, 3210 secs
lola: STP completed || 247 tries, 246618530 fired transitions, 3215 secs || 130287276 markings, 875966383 edges, 37928 markings/sec, 3215 secs
lola: STP completed || 247 tries, 246982576 fired transitions, 3220 secs || 130477483 markings, 877194276 edges, 38041 markings/sec, 3220 secs
lola: STP completed || 248 tries, 247373092 fired transitions, 3225 secs || 130668827 markings, 878383403 edges, 38269 markings/sec, 3225 secs
lola: STP completed || 248 tries, 247766375 fired transitions, 3230 secs || 130861325 markings, 879585499 edges, 38500 markings/sec, 3230 secs
lola: STP completed || 249 tries, 248151283 fired transitions, 3235 secs || 131057962 markings, 880845361 edges, 39327 markings/sec, 3235 secs
lola: STP completed || 249 tries, 248520703 fired transitions, 3240 secs || 131254417 markings, 882114863 edges, 39291 markings/sec, 3240 secs
lola: STP completed || 249 tries, 248890620 fired transitions, 3245 secs || 131448899 markings, 883369433 edges, 38896 markings/sec, 3245 secs
lola: STP completed || 250 tries, 249282394 fired transitions, 3250 secs || 131639100 markings, 884570837 edges, 38040 markings/sec, 3250 secs
lola: STP completed || 250 tries, 249688043 fired transitions, 3255 secs || 131837314 markings, 885811500 edges, 39643 markings/sec, 3255 secs
lola: STP completed || 251 tries, 250086404 fired transitions, 3260 secs || 132035486 markings, 887051358 edges, 39634 markings/sec, 3260 secs
lola: STP completed || 251 tries, 250455331 fired transitions, 3265 secs || 132230198 markings, 888297128 edges, 38942 markings/sec, 3265 secs
lola: STP completed || 251 tries, 250823967 fired transitions, 3270 secs || 132426091 markings, 889561710 edges, 39179 markings/sec, 3270 secs
lola: STP completed || 252 tries, 251208180 fired transitions, 3275 secs || 132622349 markings, 890808644 edges, 39252 markings/sec, 3275 secs
lola: STP completed || 252 tries, 251648154 fired transitions, 3280 secs || 132845584 markings, 892210478 edges, 44647 markings/sec, 3280 secs
lola: STP completed || 253 tries, 252073205 fired transitions, 3285 secs || 133058470 markings, 893555779 edges, 42577 markings/sec, 3285 secs
lola: STP completed || 253 tries, 252450169 fired transitions, 3290 secs || 133259091 markings, 894855172 edges, 40124 markings/sec, 3290 secs
lola: STP completed || 253 tries, 252845573 fired transitions, 3295 secs || 133470876 markings, 896223638 edges, 42357 markings/sec, 3295 secs
lola: STP completed || 254 tries, 253247345 fired transitions, 3300 secs || 133674445 markings, 897506655 edges, 40714 markings/sec, 3300 secs
lola: STP completed || 254 tries, 253647923 fired transitions, 3305 secs || 133874256 markings, 898749433 edges, 39962 markings/sec, 3305 secs
lola: STP completed || 255 tries, 254044178 fired transitions, 3310 secs || 134068618 markings, 899949611 edges, 38872 markings/sec, 3310 secs
lola: STP completed || 255 tries, 254390135 fired transitions, 3315 secs || 134266219 markings, 901220899 edges, 39520 markings/sec, 3315 secs
lola: STP completed || 255 tries, 254750235 fired transitions, 3320 secs || 134462771 markings, 902488191 edges, 39310 markings/sec, 3320 secs
lola: STP completed || 256 tries, 255120124 fired transitions, 3325 secs || 134659547 markings, 903764532 edges, 39355 markings/sec, 3325 secs
lola: STP completed || 256 tries, 255537446 fired transitions, 3330 secs || 134886019 markings, 905215931 edges, 45294 markings/sec, 3330 secs
lola: STP completed || 256 tries, 255942468 fired transitions, 3335 secs || 135102876 markings, 906624345 edges, 43371 markings/sec, 3335 secs
lola: STP completed || 257 tries, 256342681 fired transitions, 3340 secs || 135295953 markings, 907820066 edges, 38615 markings/sec, 3340 secs
lola: STP completed || 257 tries, 256747095 fired transitions, 3345 secs || 135490943 markings, 909024273 edges, 38998 markings/sec, 3345 secs
lola: STP completed || 258 tries, 257177719 fired transitions, 3350 secs || 135711245 markings, 910424748 edges, 44060 markings/sec, 3350 secs
lola: STP completed || 258 tries, 257565816 fired transitions, 3355 secs || 135919587 markings, 911774255 edges, 41668 markings/sec, 3355 secs
lola: STP completed || 258 tries, 257936711 fired transitions, 3360 secs || 136116754 markings, 913060807 edges, 39433 markings/sec, 3360 secs
lola: STP completed || 259 tries, 258360882 fired transitions, 3365 secs || 136348755 markings, 914557068 edges, 46400 markings/sec, 3365 secs
lola: STP completed || 259 tries, 258735605 fired transitions, 3370 secs || 136542887 markings, 915811647 edges, 38826 markings/sec, 3370 secs
lola: STP completed || 260 tries, 259102575 fired transitions, 3375 secs || 136730985 markings, 917020447 edges, 37620 markings/sec, 3375 secs
lola: STP completed || 260 tries, 259504419 fired transitions, 3380 secs || 136946360 markings, 918409175 edges, 43075 markings/sec, 3380 secs
lola: STP completed || 260 tries, 259931883 fired transitions, 3385 secs || 137178205 markings, 919907689 edges, 46369 markings/sec, 3385 secs
lola: STP completed || 261 tries, 260359813 fired transitions, 3390 secs || 137410843 markings, 921407850 edges, 46528 markings/sec, 3390 secs
lola: STP completed || 261 tries, 260786375 fired transitions, 3395 secs || 137643460 markings, 922895988 edges, 46523 markings/sec, 3395 secs
lola: STP completed || 262 tries, 261210670 fired transitions, 3400 secs || 137875364 markings, 924393029 edges, 46381 markings/sec, 3400 secs
lola: STP completed || 262 tries, 261591902 fired transitions, 3405 secs || 138078144 markings, 925690878 edges, 40556 markings/sec, 3405 secs
lola: STP completed || 262 tries, 261963146 fired transitions, 3410 secs || 138274725 markings, 926948162 edges, 39316 markings/sec, 3410 secs
lola: STP completed || 263 tries, 262336478 fired transitions, 3415 secs || 138472087 markings, 928212515 edges, 39472 markings/sec, 3415 secs
lola: STP completed || 263 tries, 262708157 fired transitions, 3420 secs || 138667779 markings, 929464949 edges, 39138 markings/sec, 3420 secs
lola: STP completed || 264 tries, 263085681 fired transitions, 3425 secs || 138865346 markings, 930722568 edges, 39513 markings/sec, 3425 secs
lola: STP completed || 264 tries, 263482925 fired transitions, 3430 secs || 139063945 markings, 931946913 edges, 39720 markings/sec, 3430 secs
lola: STP completed || 264 tries, 263880792 fired transitions, 3435 secs || 139257329 markings, 933136078 edges, 38677 markings/sec, 3435 secs
lola: STP completed || 265 tries, 264256479 fired transitions, 3440 secs || 139453381 markings, 934373940 edges, 39210 markings/sec, 3440 secs
lola: STP completed || 265 tries, 264624848 fired transitions, 3445 secs || 139649514 markings, 935627302 edges, 39227 markings/sec, 3445 secs
lola: STP completed || 266 tries, 265011953 fired transitions, 3450 secs || 139855694 markings, 936956974 edges, 41236 markings/sec, 3450 secs
lola: STP completed || 266 tries, 265465556 fired transitions, 3455 secs || 140084342 markings, 938368009 edges, 45730 markings/sec, 3455 secs
lola: STP completed || 266 tries, 265870421 fired transitions, 3460 secs || 140281655 markings, 939583864 edges, 39463 markings/sec, 3460 secs
lola: STP completed || 267 tries, 266252587 fired transitions, 3465 secs || 140474805 markings, 940814215 edges, 38630 markings/sec, 3465 secs
lola: STP completed || 267 tries, 266614823 fired transitions, 3470 secs || 140669751 markings, 942059882 edges, 38989 markings/sec, 3470 secs
lola: STP completed || 267 tries, 266985355 fired transitions, 3475 secs || 140865363 markings, 943320753 edges, 39122 markings/sec, 3475 secs
lola: STP completed || 268 tries, 267387308 fired transitions, 3480 secs || 141064262 markings, 944556322 edges, 39780 markings/sec, 3480 secs
lola: STP completed || 268 tries, 267793439 fired transitions, 3485 secs || 141261824 markings, 945790187 edges, 39512 markings/sec, 3485 secs
lola: STP completed || 269 tries, 268238302 fired transitions, 3490 secs || 141494292 markings, 947259384 edges, 46494 markings/sec, 3490 secs
lola: STP completed || 269 tries, 268662516 fired transitions, 3495 secs || 141726296 markings, 948746955 edges, 46401 markings/sec, 3495 secs
lola: STP completed || 270 tries, 269080987 fired transitions, 3500 secs || 141952416 markings, 950195301 edges, 45224 markings/sec, 3500 secs
lola: STP completed || 270 tries, 269453222 fired transitions, 3505 secs || 142147215 markings, 951439085 edges, 38960 markings/sec, 3505 secs
lola: STP completed || 270 tries, 269823917 fired transitions, 3510 secs || 142341252 markings, 952686394 edges, 38807 markings/sec, 3510 secs
lola: STP completed || 271 tries, 270192374 fired transitions, 3515 secs || 142535844 markings, 953921066 edges, 38918 markings/sec, 3515 secs
lola: STP completed || 271 tries, 270561582 fired transitions, 3520 secs || 142731953 markings, 955182394 edges, 39222 markings/sec, 3520 secs
lola: STP completed || 271 tries, 270933171 fired transitions, 3525 secs || 142929659 markings, 956442789 edges, 39541 markings/sec, 3525 secs
lola: STP completed || 272 tries, 271329446 fired transitions, 3530 secs || 143127380 markings, 957673716 edges, 39544 markings/sec, 3530 secs
lola: STP completed || 272 tries, 271738630 fired transitions, 3535 secs || 143331546 markings, 958932282 edges, 40833 markings/sec, 3535 secs
lola: STP completed || 273 tries, 272134707 fired transitions, 3540 secs || 143533761 markings, 960189881 edges, 40443 markings/sec, 3540 secs
lola: STP completed || 273 tries, 272500740 fired transitions, 3545 secs || 143720202 markings, 961380751 edges, 37288 markings/sec, 3545 secs
lola: STP completed || 273 tries, 272597385 fired transitions, 3550 secs || 143735937 markings, 961479965 edges, 3147 markings/sec, 3550 secs
lola: STP completed || 273 tries, 272664862 fired transitions, 3555 secs || 143742952 markings, 961526988 edges, 1403 markings/sec, 3555 secs
lola: time limit reached - aborting
BK_STOP 1526946497604
--------------------
content from stderr:
Segmentation fault
Sequence of Actions to be Executed by the VM
This is useful if one wants to reexecute the tool in the VM from the submitted image disk.
set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="Raft-PT-04"
export BK_EXAMINATION="ReachabilityDeadlock"
export BK_TOOL="lola"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
# this is specific to your benchmark or test
export BIN_DIR="$HOME/BenchKit/bin"
# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi
tar xzf /home/mcc/BenchKit/INPUTS/Raft-PT-04.tgz
mv Raft-PT-04 execution
cd execution
pwd
ls -lh
# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-3637"
echo " Executing tool lola"
echo " Input is Raft-PT-04, examination is ReachabilityDeadlock"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r136-qhx2-152673578800125"
echo "====================================================================="
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "ReachabilityDeadlock" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "ReachabilityDeadlock" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "ReachabilityDeadlock.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property ReachabilityDeadlock.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "ReachabilityDeadlock.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '
echo "FORMULA_NAME $x"
done
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;