About the Execution of LoLA for Peterson-COL-5
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 8780.250 | 3569608.00 | 7257996.00 | 367.10 | [undef] | Cannot compute |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Waiting for the VM to be ready (probing ssh)
...................................................
/home/mcc/execution
total 224K
-rw-r--r-- 1 mcc users 4.3K 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 3.0K May 15 18:54 CTLFireability.txt
-rw-r--r-- 1 mcc users 20K May 15 18:54 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K May 15 18:50 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.0K May 15 18:50 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 2.5K May 15 18:54 LTLCardinality.txt
-rw-r--r-- 1 mcc users 12K May 15 18:54 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.8K May 15 18:54 LTLFireability.txt
-rw-r--r-- 1 mcc users 7.4K May 15 18:54 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.6K May 15 18:54 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 17K May 15 18:54 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 105 May 15 18:54 ReachabilityDeadlock.txt
-rw-r--r-- 1 mcc users 343 May 15 18:54 ReachabilityDeadlock.xml
-rw-r--r-- 1 mcc users 3.5K May 15 18:54 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 22K May 15 18:54 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K May 15 18:54 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K May 15 18:54 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 May 15 18:50 equiv_pt
-rw-r--r-- 1 mcc users 2 May 15 18:50 instance
-rw-r--r-- 1 mcc users 5 May 15 18:50 iscolored
-rw-r--r-- 1 mcc users 45K May 15 18:50 model.pnml
=====================================================================
Generated by BenchKit 2-3637
Executing tool lola
Input is Peterson-COL-5, examination is ReachabilityDeadlock
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r112-csrt-152666469600538
=====================================================================
--------------------
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 Peterson-COL-5-ReachabilityDeadlock-0
=== Now, execution of the tool begins
BK_START 1527041400817
info: Time: 3600 - MCC
===========================================================================================
prep: translating Peterson-COL-5 Petri net model.pnml into LoLA format
===========================================================================================
prep: translating COL Petri net complete
prep: added safe information to the net based on GenericPropertiesVerdict
prep: check for too many tokens
===========================================================================================
prep: translating Peterson-COL-5 formula ReachabilityDeadlock into LoLA format
===========================================================================================
prep: translating COL formula complete
vrfy: Checking ReachabilityDeadlock @ Peterson-COL-5 @ 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: 2166/65536 symbol table entries, 6 collisions
lola: preprocessing...
lola: Size of bit vector: 864
lola: finding significant places
lola: 864 places, 1302 transitions, 841 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 2028 transition conflict sets
lola: TASK
lola: reading formula from Peterson-COL-5-ReachabilityDeadlock.task
lola: E (F (DEADLOCK))
lola: rewrite Frontend/Parser/formula_rewrite.k:106
lola: checking reachability of deadlocks
lola: Planning: workflow for deadlock check: siphon||findpath||search) (--findpath=par,--siphontrap=par)
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using deadlock preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: SEARCH (findpath)
lola: findpath: using deadlock preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: findpath: starting randomized, memory-less exploration (--search=findpath)
lola: findpath: searching for paths with maximal depth 1000000 (--depthlimit)
lola: findpath: no retry limit given (--retrylimit)
lola: findpath: transitions are chosen randomly
lola: computing symmetries (--symmetry)
lola: time limit for symmetry computation of 300 seconds given (--symmtimelimit)
lola: computed 0 generators (0 in search tree, 0 by composition)
lola: representing 1 symmetries
lola: 0 dead branches visited in search tree
lola: STP: formula with 26432 variables and 84183 clauses shipped to Minisat
lola: stp: The siphon/trap property does not hold
lola: STP completed || 1 tries, 98548 fired transitions, 0 secs || 146266 markings, 258688 edges, 29253 markings/sec, 0 secs
lola: STP completed || 1 tries, 200122 fired transitions, 5 secs || 305883 markings, 543917 edges, 31923 markings/sec, 5 secs
lola: STP completed || 1 tries, 304360 fired transitions, 10 secs || 464962 markings, 827426 edges, 31816 markings/sec, 10 secs
lola: STP completed || 1 tries, 409277 fired transitions, 15 secs || 621665 markings, 1113271 edges, 31341 markings/sec, 15 secs
lola: STP completed || 1 tries, 509785 fired transitions, 20 secs || 776262 markings, 1389587 edges, 30919 markings/sec, 20 secs
lola: STP completed || 1 tries, 612742 fired transitions, 25 secs || 925130 markings, 1667434 edges, 29774 markings/sec, 25 secs
lola: STP completed || 1 tries, 716064 fired transitions, 30 secs || 1081498 markings, 1946014 edges, 31274 markings/sec, 30 secs
lola: STP completed || 1 tries, 820970 fired transitions, 35 secs || 1237575 markings, 2226187 edges, 31215 markings/sec, 35 secs
lola: STP completed || 1 tries, 938042 fired transitions, 40 secs || 1402968 markings, 2531488 edges, 33079 markings/sec, 40 secs
lola: STP completed || 2 tries, 1055861 fired transitions, 45 secs || 1572318 markings, 2841606 edges, 33870 markings/sec, 45 secs
lola: STP completed || 2 tries, 1173837 fired transitions, 50 secs || 1747208 markings, 3152539 edges, 34978 markings/sec, 50 secs
lola: STP completed || 2 tries, 1287798 fired transitions, 55 secs || 1913589 markings, 3450865 edges, 33276 markings/sec, 55 secs
lola: STP completed || 2 tries, 1392004 fired transitions, 60 secs || 2075774 markings, 3740769 edges, 32437 markings/sec, 60 secs
lola: STP completed || 2 tries, 1508557 fired transitions, 65 secs || 2237050 markings, 4043032 edges, 32255 markings/sec, 65 secs
lola: STP completed || 2 tries, 1625415 fired transitions, 70 secs || 2402791 markings, 4348084 edges, 33148 markings/sec, 70 secs
lola: STP completed || 2 tries, 1740396 fired transitions, 75 secs || 2564327 markings, 4644523 edges, 32307 markings/sec, 75 secs
lola: STP completed || 2 tries, 1858221 fired transitions, 80 secs || 2734186 markings, 4950017 edges, 33972 markings/sec, 80 secs
lola: STP completed || 2 tries, 1974074 fired transitions, 85 secs || 2906937 markings, 5259921 edges, 34550 markings/sec, 85 secs
lola: STP completed || 3 tries, 2079037 fired transitions, 90 secs || 3048107 markings, 5525285 edges, 28234 markings/sec, 90 secs
lola: STP completed || 3 tries, 2183867 fired transitions, 95 secs || 3194525 markings, 5791047 edges, 29284 markings/sec, 95 secs
lola: STP completed || 3 tries, 2288971 fired transitions, 100 secs || 3337413 markings, 6054256 edges, 28578 markings/sec, 100 secs
lola: STP completed || 3 tries, 2394068 fired transitions, 105 secs || 3479068 markings, 6318612 edges, 28331 markings/sec, 105 secs
lola: STP completed || 3 tries, 2499832 fired transitions, 110 secs || 3625588 markings, 6586717 edges, 29304 markings/sec, 110 secs
lola: STP completed || 3 tries, 2602870 fired transitions, 115 secs || 3761569 markings, 6848722 edges, 27196 markings/sec, 115 secs
lola: STP completed || 3 tries, 2706810 fired transitions, 120 secs || 3912628 markings, 7121200 edges, 30212 markings/sec, 120 secs
lola: STP completed || 3 tries, 2811471 fired transitions, 125 secs || 4064595 markings, 7394078 edges, 30393 markings/sec, 125 secs
lola: STP completed || 3 tries, 2915948 fired transitions, 130 secs || 4214357 markings, 7667305 edges, 29952 markings/sec, 130 secs
lola: STP completed || 4 tries, 3023996 fired transitions, 135 secs || 4374817 markings, 7954249 edges, 32092 markings/sec, 135 secs
lola: STP completed || 4 tries, 3138679 fired transitions, 140 secs || 4538921 markings, 8248316 edges, 32821 markings/sec, 140 secs
lola: STP completed || 4 tries, 3253539 fired transitions, 145 secs || 4705481 markings, 8549314 edges, 33312 markings/sec, 145 secs
lola: STP completed || 4 tries, 3367119 fired transitions, 150 secs || 4863492 markings, 8839780 edges, 31602 markings/sec, 150 secs
lola: STP completed || 4 tries, 3480677 fired transitions, 155 secs || 5012924 markings, 9126656 edges, 29886 markings/sec, 155 secs
lola: STP completed || 4 tries, 3594702 fired transitions, 160 secs || 5166848 markings, 9415012 edges, 30785 markings/sec, 160 secs
lola: STP completed || 4 tries, 3710554 fired transitions, 165 secs || 5333851 markings, 9713791 edges, 33401 markings/sec, 165 secs
lola: STP completed || 4 tries, 3825576 fired transitions, 170 secs || 5491543 markings, 10002171 edges, 31538 markings/sec, 170 secs
lola: STP completed || 4 tries, 3939946 fired transitions, 175 secs || 5645392 markings, 10294851 edges, 30770 markings/sec, 175 secs
lola: STP completed || 5 tries, 4048824 fired transitions, 180 secs || 5787474 markings, 10568869 edges, 28416 markings/sec, 180 secs
lola: STP completed || 5 tries, 4165686 fired transitions, 185 secs || 5947909 markings, 10866451 edges, 32087 markings/sec, 185 secs
lola: STP completed || 5 tries, 4280435 fired transitions, 190 secs || 6109546 markings, 11159352 edges, 32327 markings/sec, 190 secs
lola: STP completed || 5 tries, 4395885 fired transitions, 195 secs || 6254761 markings, 11439725 edges, 29043 markings/sec, 195 secs
lola: STP completed || 5 tries, 4502026 fired transitions, 200 secs || 6390866 markings, 11701193 edges, 27221 markings/sec, 200 secs
lola: STP completed || 5 tries, 4608730 fired transitions, 205 secs || 6537757 markings, 11975484 edges, 29378 markings/sec, 205 secs
lola: STP completed || 5 tries, 4722292 fired transitions, 210 secs || 6690784 markings, 12257935 edges, 30605 markings/sec, 210 secs
lola: STP completed || 5 tries, 4836768 fired transitions, 215 secs || 6844806 markings, 12546225 edges, 30804 markings/sec, 215 secs
lola: STP completed || 5 tries, 4952165 fired transitions, 220 secs || 7002757 markings, 12840823 edges, 31590 markings/sec, 220 secs
lola: STP completed || 6 tries, 5067628 fired transitions, 225 secs || 7148842 markings, 13127044 edges, 29217 markings/sec, 225 secs
lola: STP completed || 6 tries, 5182582 fired transitions, 230 secs || 7312170 markings, 13423267 edges, 32666 markings/sec, 230 secs
lola: STP completed || 6 tries, 5297658 fired transitions, 235 secs || 7470830 markings, 13715658 edges, 31732 markings/sec, 235 secs
lola: STP completed || 6 tries, 5412477 fired transitions, 240 secs || 7618026 markings, 14000153 edges, 29439 markings/sec, 240 secs
lola: STP completed || 6 tries, 5518694 fired transitions, 245 secs || 7754099 markings, 14266286 edges, 27215 markings/sec, 245 secs
lola: STP completed || 6 tries, 5622648 fired transitions, 250 secs || 7893081 markings, 14533106 edges, 27796 markings/sec, 250 secs
lola: STP completed || 6 tries, 5725372 fired transitions, 255 secs || 8050249 markings, 14811764 edges, 31434 markings/sec, 255 secs
lola: STP completed || 6 tries, 5828483 fired transitions, 260 secs || 8182893 markings, 15071047 edges, 26529 markings/sec, 260 secs
lola: STP completed || 6 tries, 5932870 fired transitions, 265 secs || 8327429 markings, 15343739 edges, 28907 markings/sec, 265 secs
lola: STP completed || 7 tries, 6037041 fired transitions, 270 secs || 8465798 markings, 15608732 edges, 27674 markings/sec, 270 secs
lola: STP completed || 7 tries, 6141186 fired transitions, 275 secs || 8605787 markings, 15873231 edges, 27998 markings/sec, 275 secs
lola: STP completed || 7 tries, 6244385 fired transitions, 280 secs || 8745222 markings, 16138617 edges, 27887 markings/sec, 280 secs
lola: STP completed || 7 tries, 6345985 fired transitions, 285 secs || 8878716 markings, 16396464 edges, 26699 markings/sec, 285 secs
lola: STP completed || 7 tries, 6444293 fired transitions, 290 secs || 9013653 markings, 16653879 edges, 26987 markings/sec, 290 secs
lola: STP completed || 7 tries, 6554846 fired transitions, 295 secs || 9159409 markings, 16936159 edges, 29151 markings/sec, 295 secs
lola: STP completed || 7 tries, 6671053 fired transitions, 300 secs || 9311664 markings, 17225631 edges, 30451 markings/sec, 300 secs
lola: STP completed || 7 tries, 6786257 fired transitions, 305 secs || 9455632 markings, 17507702 edges, 28794 markings/sec, 305 secs
lola: STP completed || 7 tries, 6901952 fired transitions, 310 secs || 9605335 markings, 17793590 edges, 29941 markings/sec, 310 secs
lola: STP completed || 8 tries, 7017512 fired transitions, 315 secs || 9755896 markings, 18084711 edges, 30112 markings/sec, 315 secs
lola: STP completed || 8 tries, 7133432 fired transitions, 320 secs || 9918381 markings, 18384410 edges, 32497 markings/sec, 320 secs
lola: STP completed || 8 tries, 7244179 fired transitions, 325 secs || 10073652 markings, 18671055 edges, 31054 markings/sec, 325 secs
lola: STP completed || 8 tries, 7351352 fired transitions, 330 secs || 10209712 markings, 18936081 edges, 27212 markings/sec, 330 secs
lola: STP completed || 8 tries, 7458717 fired transitions, 335 secs || 10356251 markings, 19209381 edges, 29308 markings/sec, 335 secs
lola: STP completed || 8 tries, 7570536 fired transitions, 340 secs || 10508164 markings, 19492782 edges, 30383 markings/sec, 340 secs
lola: STP completed || 8 tries, 7686382 fired transitions, 345 secs || 10660865 markings, 19782627 edges, 30540 markings/sec, 345 secs
lola: STP completed || 8 tries, 7802581 fired transitions, 350 secs || 10812959 markings, 20075346 edges, 30419 markings/sec, 350 secs
lola: STP completed || 8 tries, 7918874 fired transitions, 355 secs || 10971089 markings, 20371247 edges, 31626 markings/sec, 355 secs
lola: STP completed || 9 tries, 8026240 fired transitions, 360 secs || 11115775 markings, 20640310 edges, 28937 markings/sec, 360 secs
lola: STP completed || 9 tries, 8131427 fired transitions, 365 secs || 11258867 markings, 20909785 edges, 28618 markings/sec, 365 secs
lola: STP completed || 9 tries, 8236501 fired transitions, 370 secs || 11398443 markings, 21172853 edges, 27915 markings/sec, 370 secs
lola: STP completed || 9 tries, 8348523 fired transitions, 375 secs || 11526560 markings, 21428964 edges, 25623 markings/sec, 375 secs
lola: STP completed || 9 tries, 8461982 fired transitions, 380 secs || 11668081 markings, 21702871 edges, 28304 markings/sec, 380 secs
lola: STP completed || 9 tries, 8576024 fired transitions, 385 secs || 11817889 markings, 21991851 edges, 29962 markings/sec, 385 secs
lola: STP completed || 9 tries, 8691011 fired transitions, 390 secs || 11956793 markings, 22267703 edges, 27781 markings/sec, 390 secs
lola: STP completed || 9 tries, 8804459 fired transitions, 395 secs || 12090884 markings, 22536005 edges, 26818 markings/sec, 395 secs
lola: STP completed || 9 tries, 8919763 fired transitions, 400 secs || 12237517 markings, 22816692 edges, 29327 markings/sec, 400 secs
lola: STP completed || 10 tries, 9033585 fired transitions, 405 secs || 12380745 markings, 23090645 edges, 28646 markings/sec, 405 secs
lola: STP completed || 10 tries, 9148846 fired transitions, 410 secs || 12523433 markings, 23364851 edges, 28538 markings/sec, 410 secs
lola: STP completed || 10 tries, 9261309 fired transitions, 415 secs || 12659799 markings, 23633779 edges, 27273 markings/sec, 415 secs
lola: STP completed || 10 tries, 9371700 fired transitions, 420 secs || 12817520 markings, 23923021 edges, 31544 markings/sec, 420 secs
lola: STP completed || 10 tries, 9485682 fired transitions, 425 secs || 12975271 markings, 24211961 edges, 31550 markings/sec, 425 secs
lola: STP completed || 10 tries, 9598377 fired transitions, 430 secs || 13131390 markings, 24499606 edges, 31224 markings/sec, 430 secs
lola: STP completed || 10 tries, 9712335 fired transitions, 435 secs || 13281820 markings, 24782844 edges, 30086 markings/sec, 435 secs
lola: STP completed || 10 tries, 9826355 fired transitions, 440 secs || 13420548 markings, 25059223 edges, 27746 markings/sec, 440 secs
lola: STP completed || 10 tries, 9938675 fired transitions, 445 secs || 13566841 markings, 25338934 edges, 29259 markings/sec, 445 secs
lola: STP completed || 11 tries, 10051233 fired transitions, 450 secs || 13706172 markings, 25609691 edges, 27866 markings/sec, 450 secs
lola: STP completed || 11 tries, 10164795 fired transitions, 455 secs || 13841617 markings, 25880438 edges, 27089 markings/sec, 455 secs
lola: STP completed || 11 tries, 10278813 fired transitions, 460 secs || 13994911 markings, 26163838 edges, 30659 markings/sec, 460 secs
lola: STP completed || 11 tries, 10391027 fired transitions, 465 secs || 14137964 markings, 26441989 edges, 28611 markings/sec, 465 secs
lola: STP completed || 11 tries, 10505420 fired transitions, 470 secs || 14284640 markings, 26723873 edges, 29335 markings/sec, 470 secs
lola: STP completed || 11 tries, 10617775 fired transitions, 475 secs || 14424454 markings, 27000368 edges, 27963 markings/sec, 475 secs
lola: STP completed || 11 tries, 10728657 fired transitions, 480 secs || 14561238 markings, 27275565 edges, 27357 markings/sec, 480 secs
lola: STP completed || 11 tries, 10839364 fired transitions, 485 secs || 14710378 markings, 27563044 edges, 29828 markings/sec, 485 secs
lola: STP completed || 11 tries, 10952279 fired transitions, 490 secs || 14867181 markings, 27853673 edges, 31361 markings/sec, 490 secs
lola: STP completed || 12 tries, 11063415 fired transitions, 495 secs || 15023209 markings, 28143825 edges, 31206 markings/sec, 495 secs
lola: STP completed || 12 tries, 11176680 fired transitions, 500 secs || 15178984 markings, 28437182 edges, 31155 markings/sec, 500 secs
lola: STP completed || 12 tries, 11290517 fired transitions, 505 secs || 15321345 markings, 28719088 edges, 28472 markings/sec, 505 secs
lola: STP completed || 12 tries, 11402749 fired transitions, 510 secs || 15465227 markings, 28999752 edges, 28776 markings/sec, 510 secs
lola: STP completed || 12 tries, 11516876 fired transitions, 515 secs || 15610789 markings, 29286103 edges, 29112 markings/sec, 515 secs
lola: STP completed || 12 tries, 11630142 fired transitions, 520 secs || 15758641 markings, 29575706 edges, 29570 markings/sec, 520 secs
lola: STP completed || 12 tries, 11744262 fired transitions, 525 secs || 15912315 markings, 29865379 edges, 30735 markings/sec, 525 secs
lola: STP completed || 12 tries, 11858240 fired transitions, 530 secs || 16078432 markings, 30165139 edges, 33223 markings/sec, 530 secs
lola: STP completed || 12 tries, 11971198 fired transitions, 535 secs || 16239335 markings, 30459384 edges, 32181 markings/sec, 535 secs
lola: STP completed || 13 tries, 12084302 fired transitions, 540 secs || 16398322 markings, 30752153 edges, 31797 markings/sec, 540 secs
lola: STP completed || 13 tries, 12200736 fired transitions, 545 secs || 16554302 markings, 31048604 edges, 31196 markings/sec, 545 secs
lola: STP completed || 13 tries, 12313837 fired transitions, 550 secs || 16695787 markings, 31331520 edges, 28297 markings/sec, 550 secs
lola: STP completed || 13 tries, 12425796 fired transitions, 555 secs || 16830530 markings, 31605893 edges, 26949 markings/sec, 555 secs
lola: STP completed || 13 tries, 12531216 fired transitions, 560 secs || 16960065 markings, 31869104 edges, 25907 markings/sec, 560 secs
lola: STP completed || 13 tries, 12635103 fired transitions, 565 secs || 17081189 markings, 32122591 edges, 24225 markings/sec, 565 secs
lola: STP completed || 13 tries, 12742852 fired transitions, 570 secs || 17216594 markings, 32395763 edges, 27081 markings/sec, 570 secs
lola: STP completed || 13 tries, 12846676 fired transitions, 575 secs || 17343778 markings, 32656574 edges, 25437 markings/sec, 575 secs
lola: STP completed || 13 tries, 12950876 fired transitions, 580 secs || 17490362 markings, 32934678 edges, 29317 markings/sec, 580 secs
lola: STP completed || 14 tries, 13055863 fired transitions, 585 secs || 17644937 markings, 33216537 edges, 30915 markings/sec, 585 secs
lola: STP completed || 14 tries, 13172402 fired transitions, 590 secs || 17806044 markings, 33516257 edges, 32221 markings/sec, 590 secs
lola: STP completed || 14 tries, 13284445 fired transitions, 595 secs || 17953519 markings, 33793899 edges, 29495 markings/sec, 595 secs
lola: STP completed || 14 tries, 13392627 fired transitions, 600 secs || 18096727 markings, 34065987 edges, 28642 markings/sec, 600 secs
lola: STP completed || 14 tries, 13500253 fired transitions, 605 secs || 18234256 markings, 34330252 edges, 27506 markings/sec, 605 secs
lola: STP completed || 14 tries, 13606994 fired transitions, 610 secs || 18374770 markings, 34597324 edges, 28103 markings/sec, 610 secs
lola: STP completed || 14 tries, 13717644 fired transitions, 615 secs || 18518969 markings, 34871883 edges, 28840 markings/sec, 615 secs
lola: STP completed || 14 tries, 13829196 fired transitions, 620 secs || 18659565 markings, 35145395 edges, 28119 markings/sec, 620 secs
lola: STP completed || 14 tries, 13941487 fired transitions, 625 secs || 18804644 markings, 35423114 edges, 29016 markings/sec, 625 secs
lola: STP completed || 15 tries, 14056231 fired transitions, 630 secs || 18952372 markings, 35707424 edges, 29546 markings/sec, 630 secs
lola: STP completed || 15 tries, 14164298 fired transitions, 635 secs || 19089186 markings, 35974821 edges, 27363 markings/sec, 635 secs
lola: STP completed || 15 tries, 14271024 fired transitions, 640 secs || 19222190 markings, 36237695 edges, 26601 markings/sec, 640 secs
lola: STP completed || 15 tries, 14379187 fired transitions, 645 secs || 19376039 markings, 36522092 edges, 30770 markings/sec, 645 secs
lola: STP completed || 15 tries, 14494604 fired transitions, 650 secs || 19531430 markings, 36817944 edges, 31078 markings/sec, 650 secs
lola: STP completed || 15 tries, 14609477 fired transitions, 655 secs || 19680450 markings, 37105529 edges, 29804 markings/sec, 655 secs
lola: STP completed || 15 tries, 14727967 fired transitions, 660 secs || 19838882 markings, 37404400 edges, 31686 markings/sec, 660 secs
lola: STP completed || 15 tries, 14843548 fired transitions, 665 secs || 19991102 markings, 37692975 edges, 30444 markings/sec, 665 secs
lola: STP completed || 15 tries, 14959215 fired transitions, 670 secs || 20152055 markings, 37989339 edges, 32191 markings/sec, 670 secs
lola: STP completed || 16 tries, 15074871 fired transitions, 675 secs || 20309975 markings, 38282279 edges, 31584 markings/sec, 675 secs
lola: STP completed || 16 tries, 15191369 fired transitions, 680 secs || 20461391 markings, 38571424 edges, 30283 markings/sec, 680 secs
lola: STP completed || 16 tries, 15310253 fired transitions, 685 secs || 20609814 markings, 38861642 edges, 29685 markings/sec, 685 secs
lola: STP completed || 16 tries, 15429740 fired transitions, 690 secs || 20766282 markings, 39161369 edges, 31294 markings/sec, 690 secs
lola: STP completed || 16 tries, 15546899 fired transitions, 695 secs || 20917061 markings, 39453452 edges, 30156 markings/sec, 695 secs
lola: STP completed || 16 tries, 15664908 fired transitions, 700 secs || 21071005 markings, 39746290 edges, 30789 markings/sec, 700 secs
lola: STP completed || 16 tries, 15783244 fired transitions, 705 secs || 21220866 markings, 40037465 edges, 29972 markings/sec, 705 secs
lola: STP completed || 16 tries, 15898779 fired transitions, 710 secs || 21360448 markings, 40314025 edges, 27916 markings/sec, 710 secs
lola: STP completed || 17 tries, 16011927 fired transitions, 715 secs || 21496711 markings, 40588107 edges, 27253 markings/sec, 715 secs
lola: STP completed || 17 tries, 16121961 fired transitions, 720 secs || 21628980 markings, 40853153 edges, 26454 markings/sec, 720 secs
lola: STP completed || 17 tries, 16227354 fired transitions, 725 secs || 21774812 markings, 41121497 edges, 29166 markings/sec, 725 secs
lola: STP completed || 17 tries, 16337663 fired transitions, 730 secs || 21925193 markings, 41402344 edges, 30076 markings/sec, 730 secs
lola: STP completed || 17 tries, 16450257 fired transitions, 735 secs || 22074142 markings, 41686699 edges, 29790 markings/sec, 735 secs
lola: STP completed || 17 tries, 16562712 fired transitions, 740 secs || 22214602 markings, 41965686 edges, 28092 markings/sec, 740 secs
lola: STP completed || 17 tries, 16669375 fired transitions, 745 secs || 22353307 markings, 42234893 edges, 27741 markings/sec, 745 secs
lola: STP completed || 17 tries, 16773368 fired transitions, 750 secs || 22492547 markings, 42501488 edges, 27848 markings/sec, 750 secs
lola: STP completed || 17 tries, 16877868 fired transitions, 755 secs || 22637830 markings, 42770115 edges, 29057 markings/sec, 755 secs
lola: STP completed || 17 tries, 16985544 fired transitions, 760 secs || 22769447 markings, 43037212 edges, 26323 markings/sec, 760 secs
lola: STP completed || 18 tries, 17099022 fired transitions, 765 secs || 22905651 markings, 43315490 edges, 27241 markings/sec, 765 secs
lola: STP completed || 18 tries, 17214596 fired transitions, 770 secs || 23071331 markings, 43623851 edges, 33136 markings/sec, 770 secs
lola: STP completed || 18 tries, 17329860 fired transitions, 775 secs || 23214788 markings, 43911326 edges, 28691 markings/sec, 775 secs
lola: STP completed || 18 tries, 17445823 fired transitions, 780 secs || 23358788 markings, 44197335 edges, 28800 markings/sec, 780 secs
lola: STP completed || 18 tries, 17561773 fired transitions, 785 secs || 23504173 markings, 44484471 edges, 29077 markings/sec, 785 secs
lola: STP completed || 18 tries, 17677482 fired transitions, 790 secs || 23647112 markings, 44767715 edges, 28588 markings/sec, 790 secs
lola: STP completed || 18 tries, 17793144 fired transitions, 795 secs || 23782629 markings, 45043569 edges, 27103 markings/sec, 795 secs
lola: STP completed || 18 tries, 17908786 fired transitions, 800 secs || 23924681 markings, 45327931 edges, 28410 markings/sec, 800 secs
lola: STP completed || 19 tries, 18024157 fired transitions, 805 secs || 24065000 markings, 45610576 edges, 28064 markings/sec, 805 secs
lola: STP completed || 19 tries, 18137761 fired transitions, 810 secs || 24197535 markings, 45883379 edges, 26507 markings/sec, 810 secs
lola: STP completed || 19 tries, 18250433 fired transitions, 815 secs || 24328650 markings, 46156918 edges, 26223 markings/sec, 815 secs
lola: STP completed || 19 tries, 18364231 fired transitions, 820 secs || 24465433 markings, 46434442 edges, 27357 markings/sec, 820 secs
lola: STP completed || 19 tries, 18480230 fired transitions, 825 secs || 24606129 markings, 46719832 edges, 28139 markings/sec, 825 secs
lola: STP completed || 19 tries, 18582872 fired transitions, 830 secs || 24722799 markings, 46964745 edges, 23334 markings/sec, 830 secs
lola: STP completed || 19 tries, 18684601 fired transitions, 835 secs || 24848804 markings, 47217956 edges, 25201 markings/sec, 835 secs
lola: STP completed || 19 tries, 18786173 fired transitions, 840 secs || 24973023 markings, 47469546 edges, 24844 markings/sec, 840 secs
lola: STP completed || 19 tries, 18888970 fired transitions, 845 secs || 25092648 markings, 47717797 edges, 23925 markings/sec, 845 secs
lola: STP completed || 19 tries, 18994970 fired transitions, 850 secs || 25217561 markings, 47971878 edges, 24983 markings/sec, 850 secs
lola: STP completed || 20 tries, 19098534 fired transitions, 855 secs || 25345767 markings, 48229257 edges, 25641 markings/sec, 855 secs
lola: STP completed || 20 tries, 19207962 fired transitions, 860 secs || 25478987 markings, 48502718 edges, 26644 markings/sec, 860 secs
lola: STP completed || 20 tries, 19312628 fired transitions, 865 secs || 25612477 markings, 48769000 edges, 26698 markings/sec, 865 secs
lola: STP completed || 20 tries, 19417235 fired transitions, 870 secs || 25744633 markings, 49032924 edges, 26431 markings/sec, 870 secs
lola: STP completed || 20 tries, 19527359 fired transitions, 875 secs || 25883357 markings, 49309500 edges, 27745 markings/sec, 875 secs
lola: STP completed || 20 tries, 19645382 fired transitions, 880 secs || 26031365 markings, 49605343 edges, 29602 markings/sec, 880 secs
lola: STP completed || 20 tries, 19761036 fired transitions, 885 secs || 26177925 markings, 49897765 edges, 29312 markings/sec, 885 secs
lola: STP completed || 20 tries, 19877860 fired transitions, 890 secs || 26318694 markings, 50186905 edges, 28154 markings/sec, 890 secs
lola: STP completed || 20 tries, 19996372 fired transitions, 895 secs || 26458912 markings, 50472038 edges, 28044 markings/sec, 895 secs
lola: STP completed || 21 tries, 20114302 fired transitions, 900 secs || 26602895 markings, 50763088 edges, 28797 markings/sec, 900 secs
lola: STP completed || 21 tries, 20230709 fired transitions, 905 secs || 26742553 markings, 51050564 edges, 27932 markings/sec, 905 secs
lola: STP completed || 21 tries, 20348302 fired transitions, 910 secs || 26886054 markings, 51340738 edges, 28700 markings/sec, 910 secs
lola: STP completed || 21 tries, 20465063 fired transitions, 915 secs || 27025096 markings, 51627151 edges, 27808 markings/sec, 915 secs
lola: STP completed || 21 tries, 20582030 fired transitions, 920 secs || 27170668 markings, 51917166 edges, 29114 markings/sec, 920 secs
lola: STP completed || 21 tries, 20699286 fired transitions, 925 secs || 27311562 markings, 52201826 edges, 28179 markings/sec, 925 secs
lola: STP completed || 21 tries, 20815863 fired transitions, 930 secs || 27450171 markings, 52483801 edges, 27722 markings/sec, 930 secs
lola: STP completed || 21 tries, 20931746 fired transitions, 935 secs || 27589306 markings, 52768426 edges, 27827 markings/sec, 935 secs
lola: STP completed || 22 tries, 21047437 fired transitions, 940 secs || 27727882 markings, 53051752 edges, 27715 markings/sec, 940 secs
lola: STP completed || 22 tries, 21164672 fired transitions, 945 secs || 27864161 markings, 53335620 edges, 27256 markings/sec, 945 secs
lola: STP completed || 22 tries, 21277724 fired transitions, 950 secs || 28001777 markings, 53616886 edges, 27523 markings/sec, 950 secs
lola: STP completed || 22 tries, 21390418 fired transitions, 955 secs || 28135939 markings, 53894043 edges, 26832 markings/sec, 955 secs
lola: STP completed || 22 tries, 21502295 fired transitions, 960 secs || 28267924 markings, 54169966 edges, 26397 markings/sec, 960 secs
lola: STP completed || 22 tries, 21614160 fired transitions, 965 secs || 28402524 markings, 54447612 edges, 26920 markings/sec, 965 secs
lola: STP completed || 22 tries, 21726823 fired transitions, 970 secs || 28546120 markings, 54733871 edges, 28719 markings/sec, 970 secs
lola: STP completed || 22 tries, 21839244 fired transitions, 975 secs || 28685084 markings, 55017074 edges, 27793 markings/sec, 975 secs
lola: STP completed || 22 tries, 21950582 fired transitions, 980 secs || 28824628 markings, 55298126 edges, 27909 markings/sec, 980 secs
lola: STP completed || 23 tries, 22063323 fired transitions, 985 secs || 28963354 markings, 55578112 edges, 27745 markings/sec, 985 secs
lola: STP completed || 23 tries, 22175312 fired transitions, 990 secs || 29098021 markings, 55853937 edges, 26933 markings/sec, 990 secs
lola: STP completed || 23 tries, 22287455 fired transitions, 995 secs || 29240204 markings, 56139135 edges, 28437 markings/sec, 995 secs
lola: STP completed || 23 tries, 22400668 fired transitions, 1000 secs || 29382997 markings, 56424173 edges, 28559 markings/sec, 1000 secs
lola: STP completed || 23 tries, 22513459 fired transitions, 1005 secs || 29520837 markings, 56706661 edges, 27568 markings/sec, 1005 secs
lola: STP completed || 23 tries, 22628826 fired transitions, 1010 secs || 29658749 markings, 56991977 edges, 27582 markings/sec, 1010 secs
lola: STP completed || 23 tries, 22744029 fired transitions, 1015 secs || 29793299 markings, 57271773 edges, 26910 markings/sec, 1015 secs
lola: STP completed || 23 tries, 22859598 fired transitions, 1020 secs || 29932117 markings, 57553900 edges, 27764 markings/sec, 1020 secs
lola: STP completed || 23 tries, 22973839 fired transitions, 1025 secs || 30067554 markings, 57830766 edges, 27087 markings/sec, 1025 secs
lola: STP completed || 24 tries, 23086510 fired transitions, 1030 secs || 30222912 markings, 58118852 edges, 31072 markings/sec, 1030 secs
lola: STP completed || 24 tries, 23197580 fired transitions, 1035 secs || 30379037 markings, 58407627 edges, 31225 markings/sec, 1035 secs
lola: STP completed || 24 tries, 23313015 fired transitions, 1040 secs || 30538599 markings, 58703138 edges, 31912 markings/sec, 1040 secs
lola: STP completed || 24 tries, 23430167 fired transitions, 1045 secs || 30699578 markings, 59001057 edges, 32196 markings/sec, 1045 secs
lola: STP completed || 24 tries, 23546202 fired transitions, 1050 secs || 30860482 markings, 59298256 edges, 32181 markings/sec, 1050 secs
lola: STP completed || 24 tries, 23662441 fired transitions, 1055 secs || 31020229 markings, 59595549 edges, 31949 markings/sec, 1055 secs
lola: STP completed || 24 tries, 23777629 fired transitions, 1060 secs || 31183663 markings, 59893103 edges, 32687 markings/sec, 1060 secs
lola: STP completed || 24 tries, 23891958 fired transitions, 1065 secs || 31333713 markings, 60175226 edges, 30010 markings/sec, 1065 secs
lola: STP completed || 25 tries, 24005001 fired transitions, 1070 secs || 31487330 markings, 60462525 edges, 30723 markings/sec, 1070 secs
lola: STP completed || 25 tries, 24120960 fired transitions, 1075 secs || 31640403 markings, 60753205 edges, 30615 markings/sec, 1075 secs
lola: STP completed || 25 tries, 24235069 fired transitions, 1080 secs || 31787961 markings, 61034697 edges, 29512 markings/sec, 1080 secs
lola: STP completed || 25 tries, 24348019 fired transitions, 1085 secs || 31945220 markings, 61326838 edges, 31452 markings/sec, 1085 secs
lola: STP completed || 25 tries, 24460882 fired transitions, 1090 secs || 32091403 markings, 61610896 edges, 29237 markings/sec, 1090 secs
lola: STP completed || 25 tries, 24573967 fired transitions, 1095 secs || 32234829 markings, 61891387 edges, 28685 markings/sec, 1095 secs
lola: STP completed || 25 tries, 24689919 fired transitions, 1100 secs || 32387741 markings, 62181747 edges, 30582 markings/sec, 1100 secs
lola: STP completed || 25 tries, 24805698 fired transitions, 1105 secs || 32533831 markings, 62466562 edges, 29218 markings/sec, 1105 secs
lola: STP completed || 25 tries, 24919846 fired transitions, 1110 secs || 32685416 markings, 62755959 edges, 30317 markings/sec, 1110 secs
lola: STP completed || 26 tries, 25034236 fired transitions, 1115 secs || 32827654 markings, 63035517 edges, 28448 markings/sec, 1115 secs
lola: STP completed || 26 tries, 25152978 fired transitions, 1120 secs || 32977829 markings, 63324381 edges, 30035 markings/sec, 1120 secs
lola: STP completed || 26 tries, 25269998 fired transitions, 1125 secs || 33127724 markings, 63613163 edges, 29979 markings/sec, 1125 secs
lola: STP completed || 26 tries, 25385856 fired transitions, 1130 secs || 33275785 markings, 63899371 edges, 29612 markings/sec, 1130 secs
lola: STP completed || 26 tries, 25501938 fired transitions, 1135 secs || 33418296 markings, 64180524 edges, 28502 markings/sec, 1135 secs
lola: STP completed || 26 tries, 25617121 fired transitions, 1140 secs || 33563996 markings, 64465514 edges, 29140 markings/sec, 1140 secs
lola: STP completed || 26 tries, 25731026 fired transitions, 1145 secs || 33721258 markings, 64755525 edges, 31452 markings/sec, 1145 secs
lola: STP completed || 26 tries, 25848000 fired transitions, 1150 secs || 33881032 markings, 65050645 edges, 31955 markings/sec, 1150 secs
lola: STP completed || 26 tries, 25965387 fired transitions, 1155 secs || 34023292 markings, 65332538 edges, 28452 markings/sec, 1155 secs
lola: STP completed || 27 tries, 26077334 fired transitions, 1160 secs || 34165041 markings, 65609164 edges, 28350 markings/sec, 1160 secs
lola: STP completed || 27 tries, 26191760 fired transitions, 1165 secs || 34311871 markings, 65892569 edges, 29366 markings/sec, 1165 secs
lola: STP completed || 27 tries, 26305518 fired transitions, 1170 secs || 34469349 markings, 66181352 edges, 31496 markings/sec, 1170 secs
lola: STP completed || 27 tries, 26417184 fired transitions, 1175 secs || 34616045 markings, 66463591 edges, 29339 markings/sec, 1175 secs
lola: STP completed || 27 tries, 26530371 fired transitions, 1180 secs || 34752739 markings, 66739554 edges, 27339 markings/sec, 1180 secs
lola: STP completed || 27 tries, 26643325 fired transitions, 1185 secs || 34884079 markings, 67007019 edges, 26268 markings/sec, 1185 secs
lola: STP completed || 27 tries, 26756023 fired transitions, 1190 secs || 35017019 markings, 67277454 edges, 26588 markings/sec, 1190 secs
lola: STP completed || 27 tries, 26871439 fired transitions, 1195 secs || 35147954 markings, 67548599 edges, 26187 markings/sec, 1195 secs
lola: STP completed || 27 tries, 26986296 fired transitions, 1200 secs || 35282546 markings, 67819586 edges, 26918 markings/sec, 1200 secs
lola: STP completed || 28 tries, 27102323 fired transitions, 1205 secs || 35422668 markings, 68095924 edges, 28024 markings/sec, 1205 secs
lola: STP completed || 28 tries, 27218633 fired transitions, 1210 secs || 35556878 markings, 68368603 edges, 26842 markings/sec, 1210 secs
lola: STP completed || 28 tries, 27335024 fired transitions, 1215 secs || 35690089 markings, 68640396 edges, 26642 markings/sec, 1215 secs
lola: STP completed || 28 tries, 27451089 fired transitions, 1220 secs || 35825065 markings, 68913938 edges, 26995 markings/sec, 1220 secs
lola: STP completed || 28 tries, 27567294 fired transitions, 1225 secs || 35974845 markings, 69202744 edges, 29956 markings/sec, 1225 secs
lola: STP completed || 28 tries, 27682652 fired transitions, 1230 secs || 36110015 markings, 69476217 edges, 27034 markings/sec, 1230 secs
lola: STP completed || 28 tries, 27798368 fired transitions, 1235 secs || 36238018 markings, 69744403 edges, 25601 markings/sec, 1235 secs
lola: STP completed || 28 tries, 27914351 fired transitions, 1240 secs || 36370097 markings, 70014965 edges, 26416 markings/sec, 1240 secs
lola: STP completed || 29 tries, 28030346 fired transitions, 1245 secs || 36499278 markings, 70283615 edges, 25836 markings/sec, 1245 secs
lola: STP completed || 29 tries, 28149219 fired transitions, 1250 secs || 36634666 markings, 70561264 edges, 27078 markings/sec, 1250 secs
lola: STP completed || 29 tries, 28268092 fired transitions, 1255 secs || 36771356 markings, 70837948 edges, 27338 markings/sec, 1255 secs
lola: STP completed || 29 tries, 28386742 fired transitions, 1260 secs || 36904136 markings, 71110570 edges, 26556 markings/sec, 1260 secs
lola: STP completed || 29 tries, 28506092 fired transitions, 1265 secs || 37030767 markings, 71380099 edges, 25326 markings/sec, 1265 secs
lola: STP completed || 29 tries, 28625021 fired transitions, 1270 secs || 37156939 markings, 71651450 edges, 25234 markings/sec, 1270 secs
lola: STP completed || 29 tries, 28743905 fired transitions, 1275 secs || 37299961 markings, 71937691 edges, 28604 markings/sec, 1275 secs
lola: STP completed || 29 tries, 28859762 fired transitions, 1280 secs || 37426841 markings, 72206544 edges, 25376 markings/sec, 1280 secs
lola: STP completed || 29 tries, 28978502 fired transitions, 1285 secs || 37556427 markings, 72481754 edges, 25917 markings/sec, 1285 secs
lola: STP completed || 30 tries, 29097596 fired transitions, 1290 secs || 37693321 markings, 72766122 edges, 27379 markings/sec, 1290 secs
lola: STP completed || 30 tries, 29212105 fired transitions, 1295 secs || 37816890 markings, 73031493 edges, 24714 markings/sec, 1295 secs
lola: STP completed || 30 tries, 29331032 fired transitions, 1300 secs || 37951069 markings, 73310995 edges, 26836 markings/sec, 1300 secs
lola: STP completed || 30 tries, 29449883 fired transitions, 1305 secs || 38093547 markings, 73598888 edges, 28496 markings/sec, 1305 secs
lola: STP completed || 30 tries, 29567623 fired transitions, 1310 secs || 38230082 markings, 73880195 edges, 27307 markings/sec, 1310 secs
lola: STP completed || 30 tries, 29685047 fired transitions, 1315 secs || 38365439 markings, 74157042 edges, 27071 markings/sec, 1315 secs
lola: STP completed || 30 tries, 29802878 fired transitions, 1320 secs || 38519952 markings, 74451279 edges, 30903 markings/sec, 1320 secs
lola: STP completed || 30 tries, 29921354 fired transitions, 1325 secs || 38681969 markings, 74750870 edges, 32403 markings/sec, 1325 secs
lola: STP completed || 31 tries, 30040453 fired transitions, 1330 secs || 38842763 markings, 75049671 edges, 32159 markings/sec, 1330 secs
lola: STP completed || 31 tries, 30159230 fired transitions, 1335 secs || 39003532 markings, 75350752 edges, 32154 markings/sec, 1335 secs
lola: STP completed || 31 tries, 30278198 fired transitions, 1340 secs || 39166749 markings, 75651199 edges, 32643 markings/sec, 1340 secs
lola: STP completed || 31 tries, 30396550 fired transitions, 1345 secs || 39330649 markings, 75952400 edges, 32780 markings/sec, 1345 secs
lola: STP completed || 31 tries, 30514447 fired transitions, 1350 secs || 39488390 markings, 76247871 edges, 31548 markings/sec, 1350 secs
lola: STP completed || 31 tries, 30631870 fired transitions, 1355 secs || 39643080 markings, 76538516 edges, 30938 markings/sec, 1355 secs
lola: STP completed || 31 tries, 30749708 fired transitions, 1360 secs || 39794652 markings, 76827475 edges, 30314 markings/sec, 1360 secs
lola: STP completed || 31 tries, 30867492 fired transitions, 1365 secs || 39950380 markings, 77120876 edges, 31146 markings/sec, 1365 secs
lola: STP completed || 31 tries, 30985195 fired transitions, 1370 secs || 40103307 markings, 77410677 edges, 30585 markings/sec, 1370 secs
lola: STP completed || 32 tries, 31102597 fired transitions, 1375 secs || 40252584 markings, 77697944 edges, 29855 markings/sec, 1375 secs
lola: STP completed || 32 tries, 31219877 fired transitions, 1380 secs || 40405745 markings, 77983590 edges, 30632 markings/sec, 1380 secs
lola: STP completed || 32 tries, 31337940 fired transitions, 1385 secs || 40548070 markings, 78266022 edges, 28465 markings/sec, 1385 secs
lola: STP completed || 32 tries, 31456314 fired transitions, 1390 secs || 40699264 markings, 78556328 edges, 30239 markings/sec, 1390 secs
lola: STP completed || 32 tries, 31575404 fired transitions, 1395 secs || 40849463 markings, 78846402 edges, 30040 markings/sec, 1395 secs
lola: STP completed || 32 tries, 31694420 fired transitions, 1400 secs || 40992888 markings, 79130889 edges, 28685 markings/sec, 1400 secs
lola: STP completed || 32 tries, 31813031 fired transitions, 1405 secs || 41133640 markings, 79409980 edges, 28150 markings/sec, 1405 secs
lola: STP completed || 32 tries, 31931107 fired transitions, 1410 secs || 41278109 markings, 79695841 edges, 28894 markings/sec, 1410 secs
lola: STP completed || 33 tries, 32048873 fired transitions, 1415 secs || 41414738 markings, 79974475 edges, 27326 markings/sec, 1415 secs
lola: STP completed || 33 tries, 32167584 fired transitions, 1420 secs || 41554893 markings, 80258698 edges, 28031 markings/sec, 1420 secs
lola: STP completed || 33 tries, 32286574 fired transitions, 1425 secs || 41690416 markings, 80536810 edges, 27105 markings/sec, 1425 secs
lola: STP completed || 33 tries, 32405380 fired transitions, 1430 secs || 41835203 markings, 80821671 edges, 28957 markings/sec, 1430 secs
lola: STP completed || 33 tries, 32520647 fired transitions, 1435 secs || 41971501 markings, 81095017 edges, 27260 markings/sec, 1435 secs
lola: STP completed || 33 tries, 32616441 fired transitions, 1440 secs || 42085859 markings, 81324951 edges, 22872 markings/sec, 1440 secs
lola: STP completed || 33 tries, 32714592 fired transitions, 1445 secs || 42196202 markings, 81557175 edges, 22069 markings/sec, 1445 secs
lola: STP completed || 33 tries, 32810575 fired transitions, 1450 secs || 42310073 markings, 81788726 edges, 22774 markings/sec, 1450 secs
lola: STP completed || 33 tries, 32906655 fired transitions, 1455 secs || 42422992 markings, 82020270 edges, 22584 markings/sec, 1455 secs
lola: STP completed || 34 tries, 33005710 fired transitions, 1460 secs || 42537463 markings, 82262946 edges, 22894 markings/sec, 1460 secs
lola: STP completed || 34 tries, 33107759 fired transitions, 1465 secs || 42664350 markings, 82521362 edges, 25377 markings/sec, 1465 secs
lola: STP completed || 34 tries, 33210280 fired transitions, 1470 secs || 42805879 markings, 82790459 edges, 28306 markings/sec, 1470 secs
lola: STP completed || 34 tries, 33316566 fired transitions, 1475 secs || 42959624 markings, 83074457 edges, 30749 markings/sec, 1475 secs
lola: STP completed || 34 tries, 33433052 fired transitions, 1480 secs || 43112768 markings, 83361802 edges, 30629 markings/sec, 1480 secs
lola: STP completed || 34 tries, 33549289 fired transitions, 1485 secs || 43260210 markings, 83644124 edges, 29488 markings/sec, 1485 secs
lola: STP completed || 34 tries, 33666753 fired transitions, 1490 secs || 43403708 markings, 83922173 edges, 28700 markings/sec, 1490 secs
lola: STP completed || 34 tries, 33785927 fired transitions, 1495 secs || 43544655 markings, 84203289 edges, 28189 markings/sec, 1495 secs
lola: STP completed || 34 tries, 33889900 fired transitions, 1500 secs || 43678430 markings, 84465685 edges, 26755 markings/sec, 1500 secs
lola: STP completed || 34 tries, 33992320 fired transitions, 1505 secs || 43805447 markings, 84721562 edges, 25403 markings/sec, 1505 secs
lola: STP completed || 35 tries, 34095001 fired transitions, 1510 secs || 43929959 markings, 84976273 edges, 24902 markings/sec, 1510 secs
lola: STP completed || 35 tries, 34197123 fired transitions, 1515 secs || 44057028 markings, 85232566 edges, 25414 markings/sec, 1515 secs
lola: STP completed || 35 tries, 34308394 fired transitions, 1520 secs || 44186157 markings, 85495774 edges, 25826 markings/sec, 1520 secs
lola: STP completed || 35 tries, 34420662 fired transitions, 1525 secs || 44323906 markings, 85768745 edges, 27550 markings/sec, 1525 secs
lola: STP completed || 35 tries, 34535421 fired transitions, 1530 secs || 44472551 markings, 86048261 edges, 29729 markings/sec, 1530 secs
lola: STP completed || 35 tries, 34648803 fired transitions, 1535 secs || 44609961 markings, 86324750 edges, 27482 markings/sec, 1535 secs
lola: STP completed || 35 tries, 34760884 fired transitions, 1540 secs || 44739477 markings, 86597272 edges, 25903 markings/sec, 1540 secs
lola: STP completed || 35 tries, 34873329 fired transitions, 1545 secs || 44865016 markings, 86858887 edges, 25108 markings/sec, 1545 secs
lola: STP completed || 35 tries, 34986371 fired transitions, 1550 secs || 44986813 markings, 87116574 edges, 24359 markings/sec, 1550 secs
lola: STP completed || 36 tries, 35096520 fired transitions, 1555 secs || 45117221 markings, 87389989 edges, 26082 markings/sec, 1555 secs
lola: STP completed || 36 tries, 35208022 fired transitions, 1560 secs || 45246990 markings, 87656830 edges, 25954 markings/sec, 1560 secs
lola: STP completed || 36 tries, 35319853 fired transitions, 1565 secs || 45379070 markings, 87926286 edges, 26416 markings/sec, 1565 secs
lola: STP completed || 36 tries, 35432899 fired transitions, 1570 secs || 45506996 markings, 88191292 edges, 25585 markings/sec, 1570 secs
lola: STP completed || 36 tries, 35546085 fired transitions, 1575 secs || 45628270 markings, 88452219 edges, 24255 markings/sec, 1575 secs
lola: STP completed || 36 tries, 35657461 fired transitions, 1580 secs || 45752716 markings, 88712898 edges, 24889 markings/sec, 1580 secs
lola: STP completed || 36 tries, 35769758 fired transitions, 1585 secs || 45882049 markings, 88983562 edges, 25867 markings/sec, 1585 secs
lola: STP completed || 36 tries, 35883225 fired transitions, 1590 secs || 46034036 markings, 89272229 edges, 30397 markings/sec, 1590 secs
lola: STP completed || 36 tries, 35994308 fired transitions, 1595 secs || 46166440 markings, 89541460 edges, 26481 markings/sec, 1595 secs
lola: STP completed || 37 tries, 36105940 fired transitions, 1600 secs || 46290878 markings, 89806988 edges, 24888 markings/sec, 1600 secs
lola: STP completed || 37 tries, 36218846 fired transitions, 1605 secs || 46423259 markings, 90077901 edges, 26476 markings/sec, 1605 secs
lola: STP completed || 37 tries, 36331612 fired transitions, 1610 secs || 46544212 markings, 90342124 edges, 24191 markings/sec, 1610 secs
lola: STP completed || 37 tries, 36443974 fired transitions, 1615 secs || 46681791 markings, 90613330 edges, 27516 markings/sec, 1615 secs
lola: STP completed || 37 tries, 36557152 fired transitions, 1620 secs || 46809544 markings, 90880641 edges, 25551 markings/sec, 1620 secs
lola: STP completed || 37 tries, 36670005 fired transitions, 1625 secs || 46931627 markings, 91142287 edges, 24417 markings/sec, 1625 secs
lola: STP completed || 37 tries, 36786431 fired transitions, 1630 secs || 47063603 markings, 91414188 edges, 26395 markings/sec, 1630 secs
lola: STP completed || 37 tries, 36900255 fired transitions, 1635 secs || 47194686 markings, 91683797 edges, 26217 markings/sec, 1635 secs
lola: STP completed || 38 tries, 37017280 fired transitions, 1640 secs || 47326629 markings, 91956679 edges, 26389 markings/sec, 1640 secs
lola: STP completed || 38 tries, 37134180 fired transitions, 1645 secs || 47457522 markings, 92229990 edges, 26179 markings/sec, 1645 secs
lola: STP completed || 38 tries, 37251236 fired transitions, 1650 secs || 47584377 markings, 92499112 edges, 25371 markings/sec, 1650 secs
lola: STP completed || 38 tries, 37367360 fired transitions, 1655 secs || 47699136 markings, 92756863 edges, 22952 markings/sec, 1655 secs
lola: STP completed || 38 tries, 37481396 fired transitions, 1660 secs || 47823538 markings, 93021830 edges, 24880 markings/sec, 1660 secs
lola: STP completed || 38 tries, 37596681 fired transitions, 1665 secs || 47956649 markings, 93296331 edges, 26622 markings/sec, 1665 secs
lola: STP completed || 38 tries, 37713014 fired transitions, 1670 secs || 48094301 markings, 93577499 edges, 27530 markings/sec, 1670 secs
lola: STP completed || 38 tries, 37828892 fired transitions, 1675 secs || 48229498 markings, 93855206 edges, 27039 markings/sec, 1675 secs
lola: STP completed || 38 tries, 37945351 fired transitions, 1680 secs || 48362043 markings, 94129450 edges, 26509 markings/sec, 1680 secs
lola: STP completed || 39 tries, 38059288 fired transitions, 1685 secs || 48493287 markings, 94400688 edges, 26249 markings/sec, 1685 secs
lola: STP completed || 39 tries, 38165216 fired transitions, 1690 secs || 48603553 markings, 94642688 edges, 22053 markings/sec, 1690 secs
lola: STP completed || 39 tries, 38269399 fired transitions, 1695 secs || 48718601 markings, 94885951 edges, 23010 markings/sec, 1695 secs
lola: STP completed || 39 tries, 38378164 fired transitions, 1700 secs || 48847561 markings, 95147783 edges, 25792 markings/sec, 1700 secs
lola: STP completed || 39 tries, 38489817 fired transitions, 1705 secs || 48976121 markings, 95415653 edges, 25712 markings/sec, 1705 secs
lola: STP completed || 39 tries, 38604090 fired transitions, 1710 secs || 49110965 markings, 95688857 edges, 26969 markings/sec, 1710 secs
lola: STP completed || 39 tries, 38712745 fired transitions, 1715 secs || 49245124 markings, 95956497 edges, 26832 markings/sec, 1715 secs
lola: STP completed || 39 tries, 38816448 fired transitions, 1720 secs || 49371783 markings, 96214642 edges, 25332 markings/sec, 1720 secs
lola: STP completed || 39 tries, 38919259 fired transitions, 1725 secs || 49500657 markings, 96476186 edges, 25775 markings/sec, 1725 secs
lola: STP completed || 40 tries, 39031605 fired transitions, 1730 secs || 49632441 markings, 96749845 edges, 26357 markings/sec, 1730 secs
lola: STP completed || 40 tries, 39138114 fired transitions, 1735 secs || 49756840 markings, 97007229 edges, 24880 markings/sec, 1735 secs
lola: STP completed || 40 tries, 39243717 fired transitions, 1740 secs || 49876224 markings, 97257579 edges, 23877 markings/sec, 1740 secs
lola: STP completed || 40 tries, 39349736 fired transitions, 1745 secs || 50002816 markings, 97513372 edges, 25318 markings/sec, 1745 secs
lola: STP completed || 40 tries, 39463778 fired transitions, 1750 secs || 50141019 markings, 97791926 edges, 27641 markings/sec, 1750 secs
lola: STP completed || 40 tries, 39573940 fired transitions, 1755 secs || 50274041 markings, 98065600 edges, 26604 markings/sec, 1755 secs
lola: STP completed || 40 tries, 39683535 fired transitions, 1760 secs || 50405651 markings, 98339966 edges, 26322 markings/sec, 1760 secs
lola: STP completed || 40 tries, 39790272 fired transitions, 1765 secs || 50536205 markings, 98607234 edges, 26111 markings/sec, 1765 secs
lola: STP completed || 40 tries, 39898279 fired transitions, 1770 secs || 50656603 markings, 98864687 edges, 24080 markings/sec, 1770 secs
lola: STP completed || 41 tries, 40009064 fired transitions, 1775 secs || 50779797 markings, 99123521 edges, 24639 markings/sec, 1775 secs
lola: STP completed || 41 tries, 40120727 fired transitions, 1780 secs || 50893710 markings, 99370966 edges, 22783 markings/sec, 1780 secs
lola: STP completed || 41 tries, 40232525 fired transitions, 1785 secs || 51012148 markings, 99625550 edges, 23688 markings/sec, 1785 secs
lola: STP completed || 41 tries, 40344036 fired transitions, 1790 secs || 51141281 markings, 99887794 edges, 25827 markings/sec, 1790 secs
lola: STP completed || 41 tries, 40455485 fired transitions, 1795 secs || 51263011 markings, 100146808 edges, 24346 markings/sec, 1795 secs
lola: STP completed || 41 tries, 40568948 fired transitions, 1800 secs || 51384803 markings, 100408050 edges, 24358 markings/sec, 1800 secs
lola: STP completed || 41 tries, 40684636 fired transitions, 1805 secs || 51498410 markings, 100664982 edges, 22721 markings/sec, 1805 secs
lola: STP completed || 41 tries, 40800063 fired transitions, 1810 secs || 51620757 markings, 100930897 edges, 24469 markings/sec, 1810 secs
lola: STP completed || 41 tries, 40915253 fired transitions, 1815 secs || 51741373 markings, 101193451 edges, 24123 markings/sec, 1815 secs
lola: STP completed || 42 tries, 41030323 fired transitions, 1820 secs || 51865078 markings, 101458318 edges, 24741 markings/sec, 1820 secs
lola: STP completed || 42 tries, 41144335 fired transitions, 1825 secs || 51991178 markings, 101724193 edges, 25220 markings/sec, 1825 secs
lola: STP completed || 42 tries, 41257608 fired transitions, 1830 secs || 52119835 markings, 101993987 edges, 25731 markings/sec, 1830 secs
lola: STP completed || 42 tries, 41371511 fired transitions, 1835 secs || 52252732 markings, 102264456 edges, 26579 markings/sec, 1835 secs
lola: STP completed || 42 tries, 41485927 fired transitions, 1840 secs || 52379978 markings, 102528878 edges, 25449 markings/sec, 1840 secs
lola: STP completed || 42 tries, 41599483 fired transitions, 1845 secs || 52501841 markings, 102790944 edges, 24373 markings/sec, 1845 secs
lola: STP completed || 42 tries, 41713043 fired transitions, 1850 secs || 52637241 markings, 103067256 edges, 27080 markings/sec, 1850 secs
lola: STP completed || 42 tries, 41826793 fired transitions, 1855 secs || 52765273 markings, 103336259 edges, 25606 markings/sec, 1855 secs
lola: STP completed || 42 tries, 41937941 fired transitions, 1860 secs || 52895143 markings, 103599378 edges, 25974 markings/sec, 1860 secs
lola: STP completed || 43 tries, 42048367 fired transitions, 1865 secs || 53030626 markings, 103870410 edges, 27097 markings/sec, 1865 secs
lola: STP completed || 43 tries, 42159779 fired transitions, 1870 secs || 53163226 markings, 104140182 edges, 26520 markings/sec, 1870 secs
lola: STP completed || 43 tries, 42270202 fired transitions, 1875 secs || 53292532 markings, 104406532 edges, 25861 markings/sec, 1875 secs
lola: STP completed || 43 tries, 42381104 fired transitions, 1880 secs || 53418080 markings, 104667128 edges, 25110 markings/sec, 1880 secs
lola: STP completed || 43 tries, 42494723 fired transitions, 1885 secs || 53541727 markings, 104929384 edges, 24729 markings/sec, 1885 secs
lola: STP completed || 43 tries, 42607336 fired transitions, 1890 secs || 53668054 markings, 105194368 edges, 25265 markings/sec, 1890 secs
lola: STP completed || 43 tries, 42719663 fired transitions, 1895 secs || 53803782 markings, 105463749 edges, 27146 markings/sec, 1895 secs
lola: STP completed || 43 tries, 42833928 fired transitions, 1900 secs || 53941580 markings, 105734739 edges, 27560 markings/sec, 1900 secs
lola: STP completed || 43 tries, 42949001 fired transitions, 1905 secs || 54081535 markings, 106009731 edges, 27991 markings/sec, 1905 secs
lola: STP completed || 44 tries, 43063191 fired transitions, 1910 secs || 54218527 markings, 106280951 edges, 27398 markings/sec, 1910 secs
lola: STP completed || 44 tries, 43176981 fired transitions, 1915 secs || 54350667 markings, 106545724 edges, 26428 markings/sec, 1915 secs
lola: STP completed || 44 tries, 43290786 fired transitions, 1920 secs || 54487647 markings, 106817391 edges, 27396 markings/sec, 1920 secs
lola: STP completed || 44 tries, 43404850 fired transitions, 1925 secs || 54621925 markings, 107086818 edges, 26856 markings/sec, 1925 secs
lola: STP completed || 44 tries, 43519378 fired transitions, 1930 secs || 54748618 markings, 107349526 edges, 25339 markings/sec, 1930 secs
lola: STP completed || 44 tries, 43633446 fired transitions, 1935 secs || 54874563 markings, 107613078 edges, 25189 markings/sec, 1935 secs
lola: STP completed || 44 tries, 43746254 fired transitions, 1940 secs || 54993393 markings, 107871436 edges, 23766 markings/sec, 1940 secs
lola: STP completed || 44 tries, 43857469 fired transitions, 1945 secs || 55104786 markings, 108121789 edges, 22279 markings/sec, 1945 secs
lola: STP completed || 44 tries, 43967185 fired transitions, 1950 secs || 55237843 markings, 108387654 edges, 26611 markings/sec, 1950 secs
lola: STP completed || 45 tries, 44077210 fired transitions, 1955 secs || 55367048 markings, 108649373 edges, 25841 markings/sec, 1955 secs
lola: STP completed || 45 tries, 44187794 fired transitions, 1960 secs || 55492059 markings, 108909609 edges, 25002 markings/sec, 1960 secs
lola: STP completed || 45 tries, 44301541 fired transitions, 1965 secs || 55614076 markings, 109170762 edges, 24403 markings/sec, 1965 secs
lola: STP completed || 45 tries, 44415557 fired transitions, 1970 secs || 55732323 markings, 109428592 edges, 23649 markings/sec, 1970 secs
lola: STP completed || 45 tries, 44529518 fired transitions, 1975 secs || 55861028 markings, 109697323 edges, 25741 markings/sec, 1975 secs
lola: STP completed || 45 tries, 44643132 fired transitions, 1980 secs || 55995570 markings, 109972011 edges, 26908 markings/sec, 1980 secs
lola: STP completed || 45 tries, 44756822 fired transitions, 1985 secs || 56129243 markings, 110244820 edges, 26735 markings/sec, 1985 secs
lola: STP completed || 45 tries, 44870630 fired transitions, 1990 secs || 56262455 markings, 110518177 edges, 26642 markings/sec, 1990 secs
lola: STP completed || 45 tries, 44985020 fired transitions, 1995 secs || 56395451 markings, 110790264 edges, 26599 markings/sec, 1995 secs
lola: STP completed || 46 tries, 45099002 fired transitions, 2000 secs || 56514167 markings, 111050783 edges, 23743 markings/sec, 2000 secs
lola: STP completed || 46 tries, 45211509 fired transitions, 2005 secs || 56640734 markings, 111314629 edges, 25313 markings/sec, 2005 secs
lola: STP completed || 46 tries, 45325555 fired transitions, 2010 secs || 56771086 markings, 111579803 edges, 26070 markings/sec, 2010 secs
lola: STP completed || 46 tries, 45438036 fired transitions, 2015 secs || 56887118 markings, 111833544 edges, 23206 markings/sec, 2015 secs
lola: STP completed || 46 tries, 45548441 fired transitions, 2020 secs || 57017834 markings, 112099530 edges, 26143 markings/sec, 2020 secs
lola: STP completed || 46 tries, 45659935 fired transitions, 2025 secs || 57155099 markings, 112372244 edges, 27453 markings/sec, 2025 secs
lola: STP completed || 46 tries, 45770563 fired transitions, 2030 secs || 57286135 markings, 112637607 edges, 26207 markings/sec, 2030 secs
lola: STP completed || 46 tries, 45880231 fired transitions, 2035 secs || 57414483 markings, 112899143 edges, 25670 markings/sec, 2035 secs
lola: STP completed || 46 tries, 45991290 fired transitions, 2040 secs || 57542284 markings, 113161715 edges, 25560 markings/sec, 2040 secs
lola: STP completed || 47 tries, 46105341 fired transitions, 2045 secs || 57671781 markings, 113429826 edges, 25899 markings/sec, 2045 secs
lola: STP completed || 47 tries, 46217400 fired transitions, 2050 secs || 57793193 markings, 113686321 edges, 24282 markings/sec, 2050 secs
lola: STP completed || 47 tries, 46328225 fired transitions, 2055 secs || 57917766 markings, 113944723 edges, 24915 markings/sec, 2055 secs
lola: STP completed || 47 tries, 46438850 fired transitions, 2060 secs || 58038430 markings, 114201724 edges, 24133 markings/sec, 2060 secs
lola: STP completed || 47 tries, 46549865 fired transitions, 2065 secs || 58163499 markings, 114462293 edges, 25014 markings/sec, 2065 secs
lola: STP completed || 47 tries, 46660638 fired transitions, 2070 secs || 58291371 markings, 114724318 edges, 25574 markings/sec, 2070 secs
lola: STP completed || 47 tries, 46771881 fired transitions, 2075 secs || 58415637 markings, 114983327 edges, 24853 markings/sec, 2075 secs
lola: STP completed || 47 tries, 46885316 fired transitions, 2080 secs || 58545060 markings, 115250389 edges, 25885 markings/sec, 2080 secs
lola: STP completed || 47 tries, 46994815 fired transitions, 2085 secs || 58676178 markings, 115516949 edges, 26224 markings/sec, 2085 secs
lola: STP completed || 48 tries, 47104856 fired transitions, 2090 secs || 58803726 markings, 115779803 edges, 25510 markings/sec, 2090 secs
lola: STP completed || 48 tries, 47217540 fired transitions, 2095 secs || 58933849 markings, 116048130 edges, 26025 markings/sec, 2095 secs
lola: STP completed || 48 tries, 47330442 fired transitions, 2100 secs || 59068301 markings, 116316972 edges, 26890 markings/sec, 2100 secs
lola: STP completed || 48 tries, 47442610 fired transitions, 2105 secs || 59193540 markings, 116579176 edges, 25048 markings/sec, 2105 secs
lola: STP completed || 48 tries, 47556254 fired transitions, 2110 secs || 59320024 markings, 116841359 edges, 25297 markings/sec, 2110 secs
lola: STP completed || 48 tries, 47671188 fired transitions, 2115 secs || 59460956 markings, 117115179 edges, 28186 markings/sec, 2115 secs
lola: STP completed || 48 tries, 47785558 fired transitions, 2120 secs || 59602646 markings, 117387355 edges, 28338 markings/sec, 2120 secs
lola: STP completed || 48 tries, 47900066 fired transitions, 2125 secs || 59737055 markings, 117655022 edges, 26882 markings/sec, 2125 secs
lola: STP completed || 49 tries, 48013911 fired transitions, 2130 secs || 59874575 markings, 117923184 edges, 27504 markings/sec, 2130 secs
lola: STP completed || 49 tries, 48129065 fired transitions, 2135 secs || 60020560 markings, 118203220 edges, 29197 markings/sec, 2135 secs
lola: STP completed || 49 tries, 48243905 fired transitions, 2140 secs || 60167993 markings, 118483664 edges, 29487 markings/sec, 2140 secs
lola: STP completed || 49 tries, 48358577 fired transitions, 2145 secs || 60318848 markings, 118767709 edges, 30171 markings/sec, 2145 secs
lola: STP completed || 49 tries, 48472790 fired transitions, 2150 secs || 60463903 markings, 119044599 edges, 29011 markings/sec, 2150 secs
lola: STP completed || 49 tries, 48579586 fired transitions, 2155 secs || 60585896 markings, 119292937 edges, 24399 markings/sec, 2155 secs
lola: STP completed || 49 tries, 48683972 fired transitions, 2160 secs || 60720793 markings, 119547056 edges, 26979 markings/sec, 2160 secs
lola: STP completed || 49 tries, 48788031 fired transitions, 2165 secs || 60854770 markings, 119799979 edges, 26795 markings/sec, 2165 secs
lola: STP completed || 49 tries, 48891990 fired transitions, 2170 secs || 60972537 markings, 120038545 edges, 23553 markings/sec, 2170 secs
lola: STP completed || 49 tries, 48995635 fired transitions, 2175 secs || 61092125 markings, 120278575 edges, 23918 markings/sec, 2175 secs
lola: STP completed || 50 tries, 49100708 fired transitions, 2180 secs || 61222722 markings, 120531522 edges, 26119 markings/sec, 2180 secs
lola: STP completed || 50 tries, 49208166 fired transitions, 2185 secs || 61353139 markings, 120790419 edges, 26083 markings/sec, 2185 secs
lola: STP completed || 50 tries, 49318255 fired transitions, 2190 secs || 61500995 markings, 121066103 edges, 29571 markings/sec, 2190 secs
lola: STP completed || 50 tries, 49425164 fired transitions, 2195 secs || 61636699 markings, 121327168 edges, 27141 markings/sec, 2195 secs
lola: STP completed || 50 tries, 49528525 fired transitions, 2200 secs || 61761240 markings, 121574096 edges, 24908 markings/sec, 2200 secs
lola: STP completed || 50 tries, 49634489 fired transitions, 2205 secs || 61893442 markings, 121830599 edges, 26440 markings/sec, 2205 secs
lola: STP completed || 50 tries, 49739906 fired transitions, 2210 secs || 62008547 markings, 122072038 edges, 23021 markings/sec, 2210 secs
lola: STP completed || 50 tries, 49849641 fired transitions, 2215 secs || 62144032 markings, 122337222 edges, 27097 markings/sec, 2215 secs
lola: STP completed || 50 tries, 49960008 fired transitions, 2220 secs || 62273068 markings, 122596664 edges, 25807 markings/sec, 2220 secs
lola: STP completed || 51 tries, 50070196 fired transitions, 2225 secs || 62390615 markings, 122845794 edges, 23509 markings/sec, 2225 secs
lola: STP completed || 51 tries, 50178930 fired transitions, 2230 secs || 62508568 markings, 123092617 edges, 23591 markings/sec, 2230 secs
lola: STP completed || 51 tries, 50285136 fired transitions, 2235 secs || 62640702 markings, 123348277 edges, 26427 markings/sec, 2235 secs
lola: STP completed || 51 tries, 50391066 fired transitions, 2240 secs || 62778147 markings, 123608041 edges, 27489 markings/sec, 2240 secs
lola: STP completed || 51 tries, 50496903 fired transitions, 2245 secs || 62901400 markings, 123856711 edges, 24651 markings/sec, 2245 secs
lola: STP completed || 51 tries, 50610922 fired transitions, 2250 secs || 63032340 markings, 124118141 edges, 26188 markings/sec, 2250 secs
lola: STP completed || 51 tries, 50725381 fired transitions, 2255 secs || 63171232 markings, 124390681 edges, 27778 markings/sec, 2255 secs
lola: STP completed || 51 tries, 50839579 fired transitions, 2260 secs || 63309206 markings, 124663307 edges, 27595 markings/sec, 2260 secs
lola: STP completed || 51 tries, 50953227 fired transitions, 2265 secs || 63432271 markings, 124918449 edges, 24613 markings/sec, 2265 secs
lola: STP completed || 52 tries, 51067417 fired transitions, 2270 secs || 63557542 markings, 125178452 edges, 25054 markings/sec, 2270 secs
lola: STP completed || 52 tries, 51181556 fired transitions, 2275 secs || 63673769 markings, 125429268 edges, 23245 markings/sec, 2275 secs
lola: STP completed || 52 tries, 51296323 fired transitions, 2280 secs || 63802363 markings, 125691896 edges, 25719 markings/sec, 2280 secs
lola: STP completed || 52 tries, 51411445 fired transitions, 2285 secs || 63939276 markings, 125966067 edges, 27383 markings/sec, 2285 secs
lola: STP completed || 52 tries, 51524920 fired transitions, 2290 secs || 64069897 markings, 126231684 edges, 26124 markings/sec, 2290 secs
lola: STP completed || 52 tries, 51638926 fired transitions, 2295 secs || 64201620 markings, 126499162 edges, 26345 markings/sec, 2295 secs
lola: STP completed || 52 tries, 51753347 fired transitions, 2300 secs || 64332820 markings, 126768416 edges, 26240 markings/sec, 2300 secs
lola: STP completed || 52 tries, 51867459 fired transitions, 2305 secs || 64461132 markings, 127033757 edges, 25662 markings/sec, 2305 secs
lola: STP completed || 52 tries, 51981558 fired transitions, 2310 secs || 64595266 markings, 127304311 edges, 26827 markings/sec, 2310 secs
lola: STP completed || 53 tries, 52095940 fired transitions, 2315 secs || 64714058 markings, 127561098 edges, 23758 markings/sec, 2315 secs
lola: STP completed || 53 tries, 52210090 fired transitions, 2320 secs || 64847623 markings, 127830201 edges, 26713 markings/sec, 2320 secs
lola: STP completed || 53 tries, 52322525 fired transitions, 2325 secs || 64967681 markings, 128083651 edges, 24012 markings/sec, 2325 secs
lola: STP completed || 53 tries, 52432982 fired transitions, 2330 secs || 65079970 markings, 128329810 edges, 22458 markings/sec, 2330 secs
lola: STP completed || 53 tries, 52544583 fired transitions, 2335 secs || 65210324 markings, 128592196 edges, 26071 markings/sec, 2335 secs
lola: STP completed || 53 tries, 52654656 fired transitions, 2340 secs || 65343888 markings, 128859061 edges, 26713 markings/sec, 2340 secs
lola: STP completed || 53 tries, 52765685 fired transitions, 2345 secs || 65468871 markings, 129115869 edges, 24997 markings/sec, 2345 secs
lola: STP completed || 53 tries, 52875577 fired transitions, 2350 secs || 65599755 markings, 129378340 edges, 26177 markings/sec, 2350 secs
lola: STP completed || 53 tries, 52979244 fired transitions, 2355 secs || 65715558 markings, 129619189 edges, 23161 markings/sec, 2355 secs
lola: STP completed || 54 tries, 53086290 fired transitions, 2360 secs || 65833220 markings, 129864459 edges, 23532 markings/sec, 2360 secs
lola: STP completed || 54 tries, 53192337 fired transitions, 2365 secs || 65947576 markings, 130106541 edges, 22871 markings/sec, 2365 secs
lola: STP completed || 54 tries, 53297881 fired transitions, 2370 secs || 66065673 markings, 130351289 edges, 23619 markings/sec, 2370 secs
lola: STP completed || 54 tries, 53403893 fired transitions, 2375 secs || 66181867 markings, 130594559 edges, 23239 markings/sec, 2375 secs
lola: STP completed || 54 tries, 53513938 fired transitions, 2380 secs || 66300100 markings, 130845448 edges, 23647 markings/sec, 2380 secs
lola: STP completed || 54 tries, 53624603 fired transitions, 2385 secs || 66429961 markings, 131108451 edges, 25972 markings/sec, 2385 secs
lola: STP completed || 54 tries, 53732034 fired transitions, 2390 secs || 66550655 markings, 131359715 edges, 24139 markings/sec, 2390 secs
lola: STP completed || 54 tries, 53836123 fired transitions, 2395 secs || 66672605 markings, 131604921 edges, 24390 markings/sec, 2395 secs
lola: STP completed || 54 tries, 53932237 fired transitions, 2400 secs || 66789793 markings, 131840010 edges, 23438 markings/sec, 2400 secs
lola: STP completed || 55 tries, 54028119 fired transitions, 2405 secs || 66903394 markings, 132071047 edges, 22720 markings/sec, 2405 secs
lola: STP completed || 55 tries, 54130947 fired transitions, 2410 secs || 67025149 markings, 132320227 edges, 24351 markings/sec, 2410 secs
lola: STP completed || 55 tries, 54237330 fired transitions, 2415 secs || 67143901 markings, 132569424 edges, 23750 markings/sec, 2415 secs
lola: STP completed || 55 tries, 54343457 fired transitions, 2420 secs || 67260624 markings, 132814423 edges, 23345 markings/sec, 2420 secs
lola: STP completed || 55 tries, 54449426 fired transitions, 2425 secs || 67379376 markings, 133063469 edges, 23750 markings/sec, 2425 secs
lola: STP completed || 55 tries, 54555672 fired transitions, 2430 secs || 67495455 markings, 133308179 edges, 23216 markings/sec, 2430 secs
lola: STP completed || 55 tries, 54661577 fired transitions, 2435 secs || 67635864 markings, 133571019 edges, 28082 markings/sec, 2435 secs
lola: STP completed || 55 tries, 54767287 fired transitions, 2440 secs || 67773715 markings, 133833585 edges, 27570 markings/sec, 2440 secs
lola: STP completed || 55 tries, 54873092 fired transitions, 2445 secs || 67912270 markings, 134096225 edges, 27711 markings/sec, 2445 secs
lola: STP completed || 55 tries, 54979409 fired transitions, 2450 secs || 68049117 markings, 134353702 edges, 27369 markings/sec, 2450 secs
lola: STP completed || 56 tries, 55085501 fired transitions, 2455 secs || 68184251 markings, 134613726 edges, 27027 markings/sec, 2455 secs
lola: STP completed || 56 tries, 55191999 fired transitions, 2460 secs || 68323201 markings, 134876851 edges, 27790 markings/sec, 2460 secs
lola: STP completed || 56 tries, 55298015 fired transitions, 2465 secs || 68459947 markings, 135136642 edges, 27349 markings/sec, 2465 secs
lola: STP completed || 56 tries, 55404131 fired transitions, 2470 secs || 68591485 markings, 135389843 edges, 26308 markings/sec, 2470 secs
lola: STP completed || 56 tries, 55509693 fired transitions, 2475 secs || 68722451 markings, 135644515 edges, 26193 markings/sec, 2475 secs
lola: STP completed || 56 tries, 55615689 fired transitions, 2480 secs || 68853804 markings, 135899462 edges, 26271 markings/sec, 2480 secs
lola: STP completed || 56 tries, 55721811 fired transitions, 2485 secs || 68986110 markings, 136152947 edges, 26461 markings/sec, 2485 secs
lola: STP completed || 56 tries, 55829515 fired transitions, 2490 secs || 69117151 markings, 136409385 edges, 26208 markings/sec, 2490 secs
lola: STP completed || 56 tries, 55938113 fired transitions, 2495 secs || 69250188 markings, 136667865 edges, 26607 markings/sec, 2495 secs
lola: STP completed || 57 tries, 56045612 fired transitions, 2500 secs || 69380270 markings, 136920419 edges, 26016 markings/sec, 2500 secs
lola: STP completed || 57 tries, 56151584 fired transitions, 2505 secs || 69518336 markings, 137179106 edges, 27613 markings/sec, 2505 secs
lola: STP completed || 57 tries, 56259909 fired transitions, 2510 secs || 69664854 markings, 137449751 edges, 29304 markings/sec, 2510 secs
lola: STP completed || 57 tries, 56374579 fired transitions, 2515 secs || 69798223 markings, 137719671 edges, 26674 markings/sec, 2515 secs
lola: STP completed || 57 tries, 56488628 fired transitions, 2520 secs || 69933493 markings, 137992973 edges, 27054 markings/sec, 2520 secs
lola: STP completed || 57 tries, 56602924 fired transitions, 2525 secs || 70078704 markings, 138269376 edges, 29042 markings/sec, 2525 secs
lola: STP completed || 57 tries, 56713388 fired transitions, 2530 secs || 70213006 markings, 138528560 edges, 26860 markings/sec, 2530 secs
lola: STP completed || 57 tries, 56820989 fired transitions, 2535 secs || 70345343 markings, 138787561 edges, 26467 markings/sec, 2535 secs
lola: STP completed || 57 tries, 56931888 fired transitions, 2540 secs || 70479678 markings, 139051741 edges, 26867 markings/sec, 2540 secs
lola: STP completed || 58 tries, 57042981 fired transitions, 2545 secs || 70614520 markings, 139317335 edges, 26968 markings/sec, 2545 secs
lola: STP completed || 58 tries, 57154779 fired transitions, 2550 secs || 70746549 markings, 139583696 edges, 26406 markings/sec, 2550 secs
lola: STP completed || 58 tries, 57265355 fired transitions, 2555 secs || 70882774 markings, 139845376 edges, 27245 markings/sec, 2555 secs
lola: STP completed || 58 tries, 57377040 fired transitions, 2560 secs || 71016228 markings, 140105589 edges, 26691 markings/sec, 2560 secs
lola: STP completed || 58 tries, 57488811 fired transitions, 2565 secs || 71144041 markings, 140362811 edges, 25563 markings/sec, 2565 secs
lola: STP completed || 58 tries, 57598299 fired transitions, 2570 secs || 71281431 markings, 140624979 edges, 27478 markings/sec, 2570 secs
lola: STP completed || 58 tries, 57704649 fired transitions, 2575 secs || 71418328 markings, 140883143 edges, 27379 markings/sec, 2575 secs
lola: STP completed || 58 tries, 57811064 fired transitions, 2580 secs || 71547901 markings, 141137571 edges, 25915 markings/sec, 2580 secs
lola: STP completed || 58 tries, 57917666 fired transitions, 2585 secs || 71683179 markings, 141394195 edges, 27056 markings/sec, 2585 secs
lola: STP completed || 59 tries, 58026781 fired transitions, 2590 secs || 71814749 markings, 141653208 edges, 26314 markings/sec, 2590 secs
lola: STP completed || 59 tries, 58135044 fired transitions, 2595 secs || 71946024 markings, 141908775 edges, 26255 markings/sec, 2595 secs
lola: STP completed || 59 tries, 58243496 fired transitions, 2600 secs || 72074746 markings, 142162079 edges, 25744 markings/sec, 2600 secs
lola: STP completed || 59 tries, 58352007 fired transitions, 2605 secs || 72203110 markings, 142418854 edges, 25673 markings/sec, 2605 secs
lola: STP completed || 59 tries, 58459608 fired transitions, 2610 secs || 72333126 markings, 142675655 edges, 26003 markings/sec, 2610 secs
lola: STP completed || 59 tries, 58568550 fired transitions, 2615 secs || 72468307 markings, 142933859 edges, 27036 markings/sec, 2615 secs
lola: STP completed || 59 tries, 58678049 fired transitions, 2620 secs || 72599502 markings, 143190485 edges, 26239 markings/sec, 2620 secs
lola: STP completed || 59 tries, 58789249 fired transitions, 2625 secs || 72722603 markings, 143443616 edges, 24620 markings/sec, 2625 secs
lola: STP completed || 59 tries, 58899328 fired transitions, 2630 secs || 72843817 markings, 143695037 edges, 24243 markings/sec, 2630 secs
lola: STP completed || 60 tries, 59008481 fired transitions, 2635 secs || 72961512 markings, 143942616 edges, 23539 markings/sec, 2635 secs
lola: STP completed || 60 tries, 59116771 fired transitions, 2640 secs || 73091060 markings, 144198801 edges, 25910 markings/sec, 2640 secs
lola: STP completed || 60 tries, 59225129 fired transitions, 2645 secs || 73232055 markings, 144462680 edges, 28199 markings/sec, 2645 secs
lola: STP completed || 60 tries, 59336141 fired transitions, 2650 secs || 73372846 markings, 144727779 edges, 28158 markings/sec, 2650 secs
lola: STP completed || 60 tries, 59445654 fired transitions, 2655 secs || 73513055 markings, 144994809 edges, 28042 markings/sec, 2655 secs
lola: STP completed || 60 tries, 59554390 fired transitions, 2660 secs || 73643192 markings, 145256795 edges, 26027 markings/sec, 2660 secs
lola: STP completed || 60 tries, 59664480 fired transitions, 2665 secs || 73769490 markings, 145518392 edges, 25260 markings/sec, 2665 secs
lola: STP completed || 60 tries, 59775160 fired transitions, 2670 secs || 73899013 markings, 145783498 edges, 25905 markings/sec, 2670 secs
lola: STP completed || 60 tries, 59885000 fired transitions, 2675 secs || 74036064 markings, 146052024 edges, 27410 markings/sec, 2675 secs
lola: STP completed || 60 tries, 59992764 fired transitions, 2680 secs || 74167388 markings, 146313511 edges, 26265 markings/sec, 2680 secs
lola: STP completed || 61 tries, 60098831 fired transitions, 2685 secs || 74293551 markings, 146567989 edges, 25233 markings/sec, 2685 secs
lola: STP completed || 61 tries, 60204706 fired transitions, 2690 secs || 74414541 markings, 146818022 edges, 24198 markings/sec, 2690 secs
lola: STP completed || 61 tries, 60312163 fired transitions, 2695 secs || 74538773 markings, 147072803 edges, 24846 markings/sec, 2695 secs
lola: STP completed || 61 tries, 60421780 fired transitions, 2700 secs || 74671743 markings, 147333718 edges, 26594 markings/sec, 2700 secs
lola: STP completed || 61 tries, 60531685 fired transitions, 2705 secs || 74810935 markings, 147596205 edges, 27838 markings/sec, 2705 secs
lola: STP completed || 61 tries, 60640454 fired transitions, 2710 secs || 74946462 markings, 147852521 edges, 27105 markings/sec, 2710 secs
lola: STP completed || 61 tries, 60748056 fired transitions, 2715 secs || 75077972 markings, 148104164 edges, 26302 markings/sec, 2715 secs
lola: STP completed || 61 tries, 60855922 fired transitions, 2720 secs || 75207301 markings, 148354194 edges, 25866 markings/sec, 2720 secs
lola: STP completed || 61 tries, 60952644 fired transitions, 2725 secs || 75334131 markings, 148596342 edges, 25366 markings/sec, 2725 secs
lola: STP completed || 62 tries, 61048206 fired transitions, 2730 secs || 75461632 markings, 148836128 edges, 25500 markings/sec, 2730 secs
lola: STP completed || 62 tries, 61144181 fired transitions, 2735 secs || 75581541 markings, 149067842 edges, 23982 markings/sec, 2735 secs
lola: STP completed || 62 tries, 61248163 fired transitions, 2740 secs || 75710528 markings, 149314494 edges, 25797 markings/sec, 2740 secs
lola: STP completed || 62 tries, 61356696 fired transitions, 2745 secs || 75855270 markings, 149579135 edges, 28948 markings/sec, 2745 secs
lola: STP completed || 62 tries, 61465582 fired transitions, 2750 secs || 75982600 markings, 149828423 edges, 25466 markings/sec, 2750 secs
lola: STP completed || 62 tries, 61572257 fired transitions, 2755 secs || 76105352 markings, 150074735 edges, 24550 markings/sec, 2755 secs
lola: STP completed || 62 tries, 61678883 fired transitions, 2760 secs || 76242950 markings, 150333616 edges, 27520 markings/sec, 2760 secs
lola: STP completed || 62 tries, 61785419 fired transitions, 2765 secs || 76371939 markings, 150582283 edges, 25798 markings/sec, 2765 secs
lola: STP completed || 62 tries, 61893320 fired transitions, 2770 secs || 76506064 markings, 150840805 edges, 26825 markings/sec, 2770 secs
lola: STP completed || 63 tries, 62001177 fired transitions, 2775 secs || 76638065 markings, 151096551 edges, 26400 markings/sec, 2775 secs
lola: STP completed || 63 tries, 62109291 fired transitions, 2780 secs || 76763821 markings, 151348706 edges, 25151 markings/sec, 2780 secs
lola: STP completed || 63 tries, 62217901 fired transitions, 2785 secs || 76912923 markings, 151616309 edges, 29820 markings/sec, 2785 secs
lola: STP completed || 63 tries, 62325048 fired transitions, 2790 secs || 77057569 markings, 151882997 edges, 28929 markings/sec, 2790 secs
lola: STP completed || 63 tries, 62432424 fired transitions, 2795 secs || 77192111 markings, 152141572 edges, 26908 markings/sec, 2795 secs
lola: STP completed || 63 tries, 62538864 fired transitions, 2800 secs || 77319973 markings, 152395654 edges, 25572 markings/sec, 2800 secs
lola: STP completed || 63 tries, 62646986 fired transitions, 2805 secs || 77449306 markings, 152649853 edges, 25867 markings/sec, 2805 secs
lola: STP completed || 63 tries, 62754942 fired transitions, 2810 secs || 77582281 markings, 152910167 edges, 26595 markings/sec, 2810 secs
lola: STP completed || 63 tries, 62863998 fired transitions, 2815 secs || 77707040 markings, 153165689 edges, 24952 markings/sec, 2815 secs
lola: STP completed || 63 tries, 62973184 fired transitions, 2820 secs || 77830525 markings, 153420385 edges, 24697 markings/sec, 2820 secs
lola: STP completed || 64 tries, 63080447 fired transitions, 2825 secs || 77953790 markings, 153671633 edges, 24653 markings/sec, 2825 secs
lola: STP completed || 64 tries, 63186240 fired transitions, 2830 secs || 78080865 markings, 153922184 edges, 25415 markings/sec, 2830 secs
lola: STP completed || 64 tries, 63289864 fired transitions, 2835 secs || 78210030 markings, 154170110 edges, 25833 markings/sec, 2835 secs
lola: STP completed || 64 tries, 63392993 fired transitions, 2840 secs || 78328497 markings, 154407249 edges, 23693 markings/sec, 2840 secs
lola: STP completed || 64 tries, 63497457 fired transitions, 2845 secs || 78450426 markings, 154648439 edges, 24386 markings/sec, 2845 secs
lola: STP completed || 64 tries, 63602588 fired transitions, 2850 secs || 78577840 markings, 154897129 edges, 25483 markings/sec, 2850 secs
lola: STP completed || 64 tries, 63707584 fired transitions, 2855 secs || 78696960 markings, 155141508 edges, 23824 markings/sec, 2855 secs
lola: STP completed || 64 tries, 63815074 fired transitions, 2860 secs || 78830615 markings, 155397091 edges, 26731 markings/sec, 2860 secs
lola: STP completed || 64 tries, 63922005 fired transitions, 2865 secs || 78965725 markings, 155653397 edges, 27022 markings/sec, 2865 secs
lola: STP completed || 65 tries, 64026879 fired transitions, 2870 secs || 79095140 markings, 155903474 edges, 25883 markings/sec, 2870 secs
lola: STP completed || 65 tries, 64130416 fired transitions, 2875 secs || 79226400 markings, 156155417 edges, 26252 markings/sec, 2875 secs
lola: STP completed || 65 tries, 64235558 fired transitions, 2880 secs || 79355103 markings, 156409677 edges, 25741 markings/sec, 2880 secs
lola: STP completed || 65 tries, 64341296 fired transitions, 2885 secs || 79489755 markings, 156664858 edges, 26930 markings/sec, 2885 secs
lola: STP completed || 65 tries, 64446039 fired transitions, 2890 secs || 79624857 markings, 156922062 edges, 27020 markings/sec, 2890 secs
lola: STP completed || 65 tries, 64550242 fired transitions, 2895 secs || 79754222 markings, 157175481 edges, 25873 markings/sec, 2895 secs
lola: STP completed || 65 tries, 64657536 fired transitions, 2900 secs || 79884007 markings, 157429972 edges, 25957 markings/sec, 2900 secs
lola: STP completed || 65 tries, 64763619 fired transitions, 2905 secs || 80027241 markings, 157691820 edges, 28647 markings/sec, 2905 secs
lola: STP completed || 65 tries, 64869618 fired transitions, 2910 secs || 80165916 markings, 157952828 edges, 27735 markings/sec, 2910 secs
lola: STP completed || 65 tries, 64975513 fired transitions, 2915 secs || 80296685 markings, 158209268 edges, 26154 markings/sec, 2915 secs
lola: STP completed || 66 tries, 65081360 fired transitions, 2920 secs || 80424921 markings, 158461852 edges, 25647 markings/sec, 2920 secs
lola: STP completed || 66 tries, 65187389 fired transitions, 2925 secs || 80558494 markings, 158715961 edges, 26715 markings/sec, 2925 secs
lola: STP completed || 66 tries, 65295867 fired transitions, 2930 secs || 80700148 markings, 158978372 edges, 28331 markings/sec, 2930 secs
lola: STP completed || 66 tries, 65406614 fired transitions, 2935 secs || 80846641 markings, 159246753 edges, 29299 markings/sec, 2935 secs
lola: STP completed || 66 tries, 65517094 fired transitions, 2940 secs || 80976439 markings, 159503243 edges, 25960 markings/sec, 2940 secs
lola: STP completed || 66 tries, 65627543 fired transitions, 2945 secs || 81103540 markings, 159763398 edges, 25420 markings/sec, 2945 secs
lola: STP completed || 66 tries, 65738018 fired transitions, 2950 secs || 81231992 markings, 160018161 edges, 25690 markings/sec, 2950 secs
lola: STP completed || 66 tries, 65845242 fired transitions, 2955 secs || 81363078 markings, 160271408 edges, 26217 markings/sec, 2955 secs
lola: STP completed || 66 tries, 65955746 fired transitions, 2960 secs || 81489601 markings, 160526536 edges, 25305 markings/sec, 2960 secs
lola: STP completed || 67 tries, 66064226 fired transitions, 2965 secs || 81621941 markings, 160780117 edges, 26468 markings/sec, 2965 secs
lola: STP completed || 67 tries, 66172571 fired transitions, 2970 secs || 81751073 markings, 161030780 edges, 25826 markings/sec, 2970 secs
lola: STP completed || 67 tries, 66280409 fired transitions, 2975 secs || 81888769 markings, 161286249 edges, 27539 markings/sec, 2975 secs
lola: STP completed || 67 tries, 66386587 fired transitions, 2980 secs || 82017734 markings, 161535551 edges, 25793 markings/sec, 2980 secs
lola: STP completed || 67 tries, 66493352 fired transitions, 2985 secs || 82150557 markings, 161786021 edges, 26565 markings/sec, 2985 secs
lola: STP completed || 67 tries, 66599963 fired transitions, 2990 secs || 82286107 markings, 162038093 edges, 27110 markings/sec, 2990 secs
lola: STP completed || 67 tries, 66708022 fired transitions, 2995 secs || 82413694 markings, 162287764 edges, 25517 markings/sec, 2995 secs
lola: STP completed || 67 tries, 66816912 fired transitions, 3000 secs || 82553970 markings, 162549966 edges, 28055 markings/sec, 3000 secs
lola: STP completed || 67 tries, 66926164 fired transitions, 3005 secs || 82691095 markings, 162810649 edges, 27425 markings/sec, 3005 secs
lola: STP completed || 68 tries, 67038293 fired transitions, 3010 secs || 82824128 markings, 163076615 edges, 26607 markings/sec, 3010 secs
lola: STP completed || 68 tries, 67147368 fired transitions, 3015 secs || 82949999 markings, 163331970 edges, 25174 markings/sec, 3015 secs
lola: STP completed || 68 tries, 67254381 fired transitions, 3020 secs || 83071104 markings, 163580641 edges, 24221 markings/sec, 3020 secs
lola: STP completed || 68 tries, 67360484 fired transitions, 3025 secs || 83196587 markings, 163830361 edges, 25097 markings/sec, 3025 secs
lola: STP completed || 68 tries, 67467616 fired transitions, 3030 secs || 83330581 markings, 164086716 edges, 26799 markings/sec, 3030 secs
lola: STP completed || 68 tries, 67577756 fired transitions, 3035 secs || 83458265 markings, 164343983 edges, 25537 markings/sec, 3035 secs
lola: STP completed || 68 tries, 67685503 fired transitions, 3040 secs || 83585449 markings, 164595949 edges, 25437 markings/sec, 3040 secs
lola: STP completed || 68 tries, 67792811 fired transitions, 3045 secs || 83707939 markings, 164845114 edges, 24498 markings/sec, 3045 secs
lola: STP completed || 68 tries, 67899629 fired transitions, 3050 secs || 83831777 markings, 165091016 edges, 24768 markings/sec, 3050 secs
lola: STP completed || 69 tries, 68006886 fired transitions, 3055 secs || 83955666 markings, 165339294 edges, 24778 markings/sec, 3055 secs
lola: STP completed || 69 tries, 68113804 fired transitions, 3060 secs || 84081904 markings, 165588973 edges, 25248 markings/sec, 3060 secs
lola: STP completed || 69 tries, 68221013 fired transitions, 3065 secs || 84218330 markings, 165839950 edges, 27285 markings/sec, 3065 secs
lola: STP completed || 69 tries, 68326511 fired transitions, 3070 secs || 84348828 markings, 166087593 edges, 26100 markings/sec, 3070 secs
lola: STP completed || 69 tries, 68433553 fired transitions, 3075 secs || 84475320 markings, 166333866 edges, 25298 markings/sec, 3075 secs
lola: STP completed || 69 tries, 68539129 fired transitions, 3080 secs || 84611025 markings, 166585997 edges, 27141 markings/sec, 3080 secs
lola: STP completed || 69 tries, 68645331 fired transitions, 3085 secs || 84729431 markings, 166827754 edges, 23681 markings/sec, 3085 secs
lola: STP completed || 69 tries, 68750956 fired transitions, 3090 secs || 84855284 markings, 167073485 edges, 25171 markings/sec, 3090 secs
lola: STP completed || 69 tries, 68857263 fired transitions, 3095 secs || 84986538 markings, 167319976 edges, 26251 markings/sec, 3095 secs
lola: STP completed || 69 tries, 68963996 fired transitions, 3100 secs || 85108988 markings, 167561975 edges, 24490 markings/sec, 3100 secs
lola: STP completed || 70 tries, 69071470 fired transitions, 3105 secs || 85241576 markings, 167813781 edges, 26518 markings/sec, 3105 secs
lola: STP completed || 70 tries, 69178466 fired transitions, 3110 secs || 85378305 markings, 168068946 edges, 27346 markings/sec, 3110 secs
lola: STP completed || 70 tries, 69285482 fired transitions, 3115 secs || 85511167 markings, 168320277 edges, 26572 markings/sec, 3115 secs
lola: STP completed || 70 tries, 69393472 fired transitions, 3120 secs || 85644844 markings, 168574106 edges, 26735 markings/sec, 3120 secs
lola: STP completed || 70 tries, 69500443 fired transitions, 3125 secs || 85769609 markings, 168819618 edges, 24953 markings/sec, 3125 secs
lola: STP completed || 70 tries, 69607741 fired transitions, 3130 secs || 85888117 markings, 169061891 edges, 23702 markings/sec, 3130 secs
lola: STP completed || 70 tries, 69714518 fired transitions, 3135 secs || 86026275 markings, 169319283 edges, 27632 markings/sec, 3135 secs
lola: STP completed || 70 tries, 69820633 fired transitions, 3140 secs || 86163210 markings, 169575438 edges, 27387 markings/sec, 3140 secs
lola: STP completed || 70 tries, 69926974 fired transitions, 3145 secs || 86288531 markings, 169827675 edges, 25064 markings/sec, 3145 secs
lola: STP completed || 71 tries, 70033255 fired transitions, 3150 secs || 86413806 markings, 170080497 edges, 25055 markings/sec, 3150 secs
lola: STP completed || 71 tries, 70140232 fired transitions, 3155 secs || 86535189 markings, 170331477 edges, 24277 markings/sec, 3155 secs
lola: STP completed || 71 tries, 70241575 fired transitions, 3160 secs || 86655666 markings, 170571908 edges, 24095 markings/sec, 3160 secs
lola: STP completed || 71 tries, 70336715 fired transitions, 3165 secs || 86771842 markings, 170802652 edges, 23235 markings/sec, 3165 secs
lola: STP completed || 71 tries, 70435550 fired transitions, 3170 secs || 86887171 markings, 171037334 edges, 23066 markings/sec, 3170 secs
lola: STP completed || 71 tries, 70543817 fired transitions, 3175 secs || 87015655 markings, 171287029 edges, 25697 markings/sec, 3175 secs
lola: STP completed || 71 tries, 70651957 fired transitions, 3180 secs || 87136802 markings, 171526056 edges, 24229 markings/sec, 3180 secs
lola: STP completed || 71 tries, 70759566 fired transitions, 3185 secs || 87268098 markings, 171775349 edges, 26259 markings/sec, 3185 secs
lola: STP completed || 71 tries, 70866165 fired transitions, 3190 secs || 87404339 markings, 172025686 edges, 27248 markings/sec, 3190 secs
lola: STP completed || 71 tries, 70973922 fired transitions, 3195 secs || 87531821 markings, 172268702 edges, 25496 markings/sec, 3195 secs
lola: STP completed || 72 tries, 71083057 fired transitions, 3200 secs || 87653395 markings, 172515107 edges, 24315 markings/sec, 3200 secs
lola: STP completed || 72 tries, 71191363 fired transitions, 3205 secs || 87776386 markings, 172760587 edges, 24598 markings/sec, 3205 secs
lola: STP completed || 72 tries, 71299516 fired transitions, 3210 secs || 87896189 markings, 173006026 edges, 23961 markings/sec, 3210 secs
lola: STP completed || 72 tries, 71408346 fired transitions, 3215 secs || 88032509 markings, 173260353 edges, 27264 markings/sec, 3215 secs
lola: STP completed || 72 tries, 71516895 fired transitions, 3220 secs || 88166617 markings, 173513277 edges, 26822 markings/sec, 3220 secs
lola: STP completed || 72 tries, 71625100 fired transitions, 3225 secs || 88291702 markings, 173761454 edges, 25017 markings/sec, 3225 secs
lola: STP completed || 72 tries, 71733713 fired transitions, 3230 secs || 88420517 markings, 174013764 edges, 25763 markings/sec, 3230 secs
lola: STP completed || 72 tries, 71842285 fired transitions, 3235 secs || 88543900 markings, 174263297 edges, 24677 markings/sec, 3235 secs
lola: STP completed || 72 tries, 71950837 fired transitions, 3240 secs || 88669407 markings, 174512691 edges, 25101 markings/sec, 3240 secs
lola: STP completed || 73 tries, 72059782 fired transitions, 3245 secs || 88793578 markings, 174763037 edges, 24834 markings/sec, 3245 secs
lola: STP completed || 73 tries, 72169404 fired transitions, 3250 secs || 88916889 markings, 175010185 edges, 24662 markings/sec, 3250 secs
lola: STP completed || 73 tries, 72276711 fired transitions, 3255 secs || 89035850 markings, 175252007 edges, 23792 markings/sec, 3255 secs
lola: STP completed || 73 tries, 72383148 fired transitions, 3260 secs || 89155647 markings, 175492810 edges, 23959 markings/sec, 3260 secs
lola: STP completed || 73 tries, 72490430 fired transitions, 3265 secs || 89273500 markings, 175737609 edges, 23571 markings/sec, 3265 secs
lola: STP completed || 73 tries, 72599506 fired transitions, 3270 secs || 89396631 markings, 175988414 edges, 24626 markings/sec, 3270 secs
lola: STP completed || 73 tries, 72708432 fired transitions, 3275 secs || 89530108 markings, 176244896 edges, 26695 markings/sec, 3275 secs
lola: STP completed || 73 tries, 72817553 fired transitions, 3280 secs || 89669862 markings, 176504175 edges, 27951 markings/sec, 3280 secs
lola: STP completed || 73 tries, 72926998 fired transitions, 3285 secs || 89806055 markings, 176759548 edges, 27239 markings/sec, 3285 secs
lola: STP completed || 74 tries, 73036147 fired transitions, 3290 secs || 89937454 markings, 177010700 edges, 26280 markings/sec, 3290 secs
lola: STP completed || 74 tries, 73145245 fired transitions, 3295 secs || 90062017 markings, 177256871 edges, 24913 markings/sec, 3295 secs
lola: STP completed || 74 tries, 73254123 fired transitions, 3300 secs || 90185506 markings, 177505377 edges, 24698 markings/sec, 3300 secs
lola: STP completed || 74 tries, 73363013 fired transitions, 3305 secs || 90316052 markings, 177758812 edges, 26109 markings/sec, 3305 secs
lola: STP completed || 74 tries, 73472494 fired transitions, 3310 secs || 90438639 markings, 178010018 edges, 24517 markings/sec, 3310 secs
lola: STP completed || 74 tries, 73581724 fired transitions, 3315 secs || 90559980 markings, 178254483 edges, 24268 markings/sec, 3315 secs
lola: STP completed || 74 tries, 73691522 fired transitions, 3320 secs || 90678454 markings, 178494310 edges, 23695 markings/sec, 3320 secs
lola: STP completed || 74 tries, 73800497 fired transitions, 3325 secs || 90796213 markings, 178733649 edges, 23552 markings/sec, 3325 secs
lola: STP completed || 74 tries, 73908795 fired transitions, 3330 secs || 90912756 markings, 178971791 edges, 23309 markings/sec, 3330 secs
lola: STP completed || 75 tries, 74018152 fired transitions, 3335 secs || 91037523 markings, 179220136 edges, 24953 markings/sec, 3335 secs
lola: STP completed || 75 tries, 74127785 fired transitions, 3340 secs || 91182927 markings, 179490684 edges, 29081 markings/sec, 3340 secs
lola: STP completed || 75 tries, 74237654 fired transitions, 3345 secs || 91303473 markings, 179744147 edges, 24109 markings/sec, 3345 secs
lola: STP completed || 75 tries, 74347684 fired transitions, 3350 secs || 91425864 markings, 179997980 edges, 24478 markings/sec, 3350 secs
lola: STP completed || 75 tries, 74457439 fired transitions, 3355 secs || 91548238 markings, 180247966 edges, 24475 markings/sec, 3355 secs
lola: STP completed || 75 tries, 74567406 fired transitions, 3360 secs || 91669893 markings, 180497529 edges, 24331 markings/sec, 3360 secs
lola: STP completed || 75 tries, 74677622 fired transitions, 3365 secs || 91792228 markings, 180748261 edges, 24467 markings/sec, 3365 secs
lola: STP completed || 75 tries, 74788193 fired transitions, 3370 secs || 91915646 markings, 181001926 edges, 24684 markings/sec, 3370 secs
lola: STP completed || 75 tries, 74899149 fired transitions, 3375 secs || 92042283 markings, 181260557 edges, 25327 markings/sec, 3375 secs
lola: STP completed || 76 tries, 75009518 fired transitions, 3380 secs || 92163183 markings, 181513656 edges, 24180 markings/sec, 3380 secs
lola: STP completed || 76 tries, 75118995 fired transitions, 3385 secs || 92291002 markings, 181767754 edges, 25564 markings/sec, 3385 secs
lola: STP completed || 76 tries, 75227325 fired transitions, 3390 secs || 92411722 markings, 182015025 edges, 24144 markings/sec, 3390 secs
lola: STP completed || 76 tries, 75336880 fired transitions, 3395 secs || 92541652 markings, 182269714 edges, 25986 markings/sec, 3395 secs
lola: STP completed || 76 tries, 75446879 fired transitions, 3400 secs || 92669972 markings, 182526088 edges, 25664 markings/sec, 3400 secs
lola: STP completed || 76 tries, 75555844 fired transitions, 3405 secs || 92793792 markings, 182774378 edges, 24764 markings/sec, 3405 secs
lola: STP completed || 76 tries, 75666431 fired transitions, 3410 secs || 92919040 markings, 183025985 edges, 25050 markings/sec, 3410 secs
lola: STP completed || 76 tries, 75774012 fired transitions, 3415 secs || 93039099 markings, 183271511 edges, 24012 markings/sec, 3415 secs
lola: STP completed || 76 tries, 75882464 fired transitions, 3420 secs || 93167669 markings, 183523593 edges, 25714 markings/sec, 3420 secs
lola: STP completed || 76 tries, 75990651 fired transitions, 3425 secs || 93296163 markings, 183772531 edges, 25699 markings/sec, 3425 secs
lola: STP completed || 77 tries, 76097129 fired transitions, 3430 secs || 93435814 markings, 184029617 edges, 27930 markings/sec, 3430 secs
lola: STP completed || 77 tries, 76204237 fired transitions, 3435 secs || 93569622 markings, 184280985 edges, 26762 markings/sec, 3435 secs
lola: STP completed || 77 tries, 76310603 fired transitions, 3440 secs || 93697088 markings, 184527006 edges, 25493 markings/sec, 3440 secs
lola: STP completed || 77 tries, 76416645 fired transitions, 3445 secs || 93820533 markings, 184771149 edges, 24689 markings/sec, 3445 secs
lola: STP completed || 77 tries, 76523648 fired transitions, 3450 secs || 93947918 markings, 185017275 edges, 25477 markings/sec, 3450 secs
lola: STP completed || 77 tries, 76630715 fired transitions, 3455 secs || 94083128 markings, 185269414 edges, 27042 markings/sec, 3455 secs
lola: STP completed || 77 tries, 76738201 fired transitions, 3460 secs || 94216698 markings, 185520838 edges, 26714 markings/sec, 3460 secs
lola: STP completed || 77 tries, 76845717 fired transitions, 3465 secs || 94346436 markings, 185767259 edges, 25948 markings/sec, 3465 secs
lola: STP completed || 77 tries, 76951890 fired transitions, 3470 secs || 94475470 markings, 186014250 edges, 25807 markings/sec, 3470 secs
lola: STP completed || 78 tries, 77058707 fired transitions, 3475 secs || 94591559 markings, 186251429 edges, 23218 markings/sec, 3475 secs
lola: STP completed || 78 tries, 77165572 fired transitions, 3480 secs || 94708692 markings, 186489401 edges, 23427 markings/sec, 3480 secs
lola: STP completed || 78 tries, 77272713 fired transitions, 3485 secs || 94825606 markings, 186726608 edges, 23383 markings/sec, 3485 secs
lola: STP completed || 78 tries, 77378879 fired transitions, 3490 secs || 94948102 markings, 186967597 edges, 24499 markings/sec, 3490 secs
lola: STP completed || 78 tries, 77485284 fired transitions, 3495 secs || 95065476 markings, 187204343 edges, 23475 markings/sec, 3495 secs
lola: STP completed || 78 tries, 77591911 fired transitions, 3500 secs || 95185487 markings, 187442499 edges, 24002 markings/sec, 3500 secs
lola: STP completed || 78 tries, 77699333 fired transitions, 3505 secs || 95320667 markings, 187695220 edges, 27036 markings/sec, 3505 secs
lola: STP completed || 78 tries, 77807580 fired transitions, 3510 secs || 95439557 markings, 187939093 edges, 23778 markings/sec, 3510 secs
lola: STP completed || 78 tries, 77915367 fired transitions, 3515 secs || 95560557 markings, 188185271 edges, 24200 markings/sec, 3515 secs
lola: STP completed || 79 tries, 78023726 fired transitions, 3520 secs || 95683513 markings, 188434659 edges, 24591 markings/sec, 3520 secs
lola: STP completed || 79 tries, 78131253 fired transitions, 3525 secs || 95802819 markings, 188680917 edges, 23861 markings/sec, 3525 secs
lola: STP completed || 79 tries, 78238914 fired transitions, 3530 secs || 95921093 markings, 188924802 edges, 23655 markings/sec, 3530 secs
lola: STP completed || 79 tries, 78345825 fired transitions, 3535 secs || 96046822 markings, 189173651 edges, 25146 markings/sec, 3535 secs
lola: STP completed || 79 tries, 78452026 fired transitions, 3540 secs || 96166720 markings, 189414563 edges, 23980 markings/sec, 3540 secs
lola: STP completed || 79 tries, 78559009 fired transitions, 3545 secs || 96287441 markings, 189659948 edges, 24144 markings/sec, 3545 secs
lola: STP completed || 79 tries, 78666969 fired transitions, 3550 secs || 96408462 markings, 189903781 edges, 24204 markings/sec, 3550 secs
lola: STP completed || 79 tries, 78774765 fired transitions, 3555 secs || 96527267 markings, 190147840 edges, 23761 markings/sec, 3555 secs
lola: STP completed || 79 tries, 78881957 fired transitions, 3560 secs || 96646121 markings, 190390058 edges, 23771 markings/sec, 3560 secs
lola: time limit reached - aborting
BK_STOP 1527044970425
--------------------
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="Peterson-COL-5"
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/Peterson-COL-5.tgz
mv Peterson-COL-5 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 Peterson-COL-5, 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 r112-csrt-152666469600538"
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 ;