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 852K
-rw-r--r-- 1 mcc users 8.3K May 15 18:54 CTLCardinality.txt
-rw-r--r-- 1 mcc users 36K May 15 18:54 CTLCardinality.xml
-rw-r--r-- 1 mcc users 22K May 15 18:54 CTLFireability.txt
-rw-r--r-- 1 mcc users 93K 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.3K May 15 18:50 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 4.6K May 15 18:54 LTLCardinality.txt
-rw-r--r-- 1 mcc users 19K May 15 18:54 LTLCardinality.xml
-rw-r--r-- 1 mcc users 11K May 15 18:54 LTLFireability.txt
-rw-r--r-- 1 mcc users 43K May 15 18:54 LTLFireability.xml
-rw-r--r-- 1 mcc users 13K May 15 18:54 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 52K May 15 18:54 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 112 May 15 18:54 ReachabilityDeadlock.txt
-rw-r--r-- 1 mcc users 350 May 15 18:54 ReachabilityDeadlock.xml
-rw-r--r-- 1 mcc users 29K May 15 18:54 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 125K May 15 18:54 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 4.2K May 15 18:54 UpperBounds.txt
-rw-r--r-- 1 mcc users 11K May 15 18:54 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 May 15 18:50 equiv_col
-rw-r--r-- 1 mcc users 2 May 15 18:50 instance
-rw-r--r-- 1 mcc users 6 May 15 18:50 iscolored
-rw-r--r-- 1 mcc users 317K May 15 18:50 model.pnml
=====================================================================
Generated by BenchKit 2-3637
Executing tool lola
Input is LamportFastMutEx-PT-8, examination is ReachabilityDeadlock
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r112-csrt-152666469100153
=====================================================================

--------------------
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 LamportFastMutEx-PT-8-ReachabilityDeadlock-0

=== Now, execution of the tool begins

BK_START 1527019600542

info: Time: 3600 - MCC
===========================================================================================
prep: translating LamportFastMutEx-PT-8 Petri net model.pnml into LoLA format
===========================================================================================
prep: translating PT Petri net complete
prep: added safe information to the net based on GenericPropertiesVerdict
prep: check for too many tokens
===========================================================================================
prep: translating LamportFastMutEx-PT-8 formula ReachabilityDeadlock into LoLA format
===========================================================================================
prep: translating PT formula complete
vrfy: Checking ReachabilityDeadlock @ LamportFastMutEx-PT-8 @ 3570 seconds
lola: LoLA will run for 3570 seconds at most (--timelimit)
lola: NET
lola: reading net from model.pnml.lola
lola: finished parsing
lola: closed net file model.pnml.lola
lola: 981/65536 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 315
lola: finding significant places
lola: 315 places, 666 transitions, 214 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 947 transition conflict sets
lola: TASK
lola: reading formula from LamportFastMutEx-PT-8-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 28 generators (8 in search tree, 20 by composition)
lola: representing 40320 symmetries
lola: 0 dead branches visited in search tree
lola: STP: formula with 12125 variables and 49918 clauses shipped to Minisat
lola: stp: The siphon/trap property does not hold
lola: STP completed || 1 tries, 87037 fired transitions, 0 secs || 68665 markings, 286642 edges, 13733 markings/sec, 0 secs
lola: STP completed || 1 tries, 169137 fired transitions, 5 secs || 132378 markings, 579652 edges, 12743 markings/sec, 5 secs
lola: STP completed || 1 tries, 245046 fired transitions, 10 secs || 192177 markings, 861690 edges, 11960 markings/sec, 10 secs
lola: STP completed || 1 tries, 316864 fired transitions, 15 secs || 245840 markings, 1113491 edges, 10733 markings/sec, 15 secs
lola: STP completed || 1 tries, 385591 fired transitions, 20 secs || 299126 markings, 1373180 edges, 10657 markings/sec, 20 secs
lola: STP completed || 1 tries, 459818 fired transitions, 25 secs || 356988 markings, 1641928 edges, 11572 markings/sec, 25 secs
lola: STP completed || 1 tries, 546791 fired transitions, 30 secs || 423408 markings, 1958162 edges, 13284 markings/sec, 30 secs
lola: STP completed || 1 tries, 632119 fired transitions, 35 secs || 488278 markings, 2275671 edges, 12974 markings/sec, 35 secs
lola: STP completed || 1 tries, 714521 fired transitions, 40 secs || 551423 markings, 2574233 edges, 12629 markings/sec, 40 secs
lola: STP completed || 1 tries, 798120 fired transitions, 45 secs || 615298 markings, 2884144 edges, 12775 markings/sec, 45 secs
lola: STP completed || 1 tries, 884133 fired transitions, 50 secs || 681140 markings, 3203578 edges, 13168 markings/sec, 50 secs
lola: STP completed || 1 tries, 969165 fired transitions, 55 secs || 746445 markings, 3500942 edges, 13061 markings/sec, 55 secs
lola: STP completed || 2 tries, 1056991 fired transitions, 60 secs || 813018 markings, 3821854 edges, 13315 markings/sec, 60 secs
lola: STP completed || 2 tries, 1146455 fired transitions, 65 secs || 882220 markings, 4146851 edges, 13840 markings/sec, 65 secs
lola: STP completed || 2 tries, 1236895 fired transitions, 70 secs || 950830 markings, 4484250 edges, 13722 markings/sec, 70 secs
lola: STP completed || 2 tries, 1319696 fired transitions, 75 secs || 1013282 markings, 4793980 edges, 12490 markings/sec, 75 secs
lola: STP completed || 2 tries, 1392916 fired transitions, 80 secs || 1073348 markings, 5039543 edges, 12013 markings/sec, 80 secs
lola: STP completed || 2 tries, 1472959 fired transitions, 85 secs || 1133944 markings, 5334978 edges, 12119 markings/sec, 85 secs
lola: STP completed || 2 tries, 1561722 fired transitions, 90 secs || 1200388 markings, 5654189 edges, 13289 markings/sec, 90 secs
lola: STP completed || 2 tries, 1650419 fired transitions, 95 secs || 1266484 markings, 5987720 edges, 13219 markings/sec, 95 secs
lola: STP completed || 2 tries, 1739431 fired transitions, 100 secs || 1333685 markings, 6310962 edges, 13440 markings/sec, 100 secs
lola: STP completed || 2 tries, 1828606 fired transitions, 105 secs || 1401541 markings, 6630239 edges, 13571 markings/sec, 105 secs
lola: STP completed || 2 tries, 1916303 fired transitions, 110 secs || 1468579 markings, 6959351 edges, 13408 markings/sec, 110 secs
lola: STP completed || 3 tries, 2003061 fired transitions, 115 secs || 1532679 markings, 7258570 edges, 12820 markings/sec, 115 secs
lola: STP completed || 3 tries, 2089163 fired transitions, 120 secs || 1597386 markings, 7574590 edges, 12941 markings/sec, 120 secs
lola: STP completed || 3 tries, 2177823 fired transitions, 125 secs || 1664182 markings, 7878095 edges, 13359 markings/sec, 125 secs
lola: STP completed || 3 tries, 2268321 fired transitions, 130 secs || 1733703 markings, 8220278 edges, 13904 markings/sec, 130 secs
lola: STP completed || 3 tries, 2353030 fired transitions, 135 secs || 1798814 markings, 8539525 edges, 13022 markings/sec, 135 secs
lola: STP completed || 3 tries, 2434966 fired transitions, 140 secs || 1862235 markings, 8830282 edges, 12684 markings/sec, 140 secs
lola: STP completed || 3 tries, 2515497 fired transitions, 145 secs || 1924696 markings, 9121876 edges, 12492 markings/sec, 145 secs
lola: STP completed || 3 tries, 2596063 fired transitions, 150 secs || 1989326 markings, 9409624 edges, 12926 markings/sec, 150 secs
lola: STP completed || 3 tries, 2685199 fired transitions, 155 secs || 2056909 markings, 9727903 edges, 13517 markings/sec, 155 secs
lola: STP completed || 3 tries, 2777000 fired transitions, 160 secs || 2126255 markings, 10062924 edges, 13869 markings/sec, 160 secs
lola: STP completed || 3 tries, 2868868 fired transitions, 165 secs || 2196583 markings, 10412923 edges, 14066 markings/sec, 165 secs
lola: STP completed || 3 tries, 2959760 fired transitions, 170 secs || 2266511 markings, 10761901 edges, 13986 markings/sec, 170 secs
lola: STP completed || 4 tries, 3051247 fired transitions, 175 secs || 2336330 markings, 11105724 edges, 13964 markings/sec, 175 secs
lola: STP completed || 4 tries, 3141933 fired transitions, 180 secs || 2405769 markings, 11445547 edges, 13888 markings/sec, 180 secs
lola: STP completed || 4 tries, 3230650 fired transitions, 185 secs || 2473600 markings, 11778829 edges, 13566 markings/sec, 185 secs
lola: STP completed || 4 tries, 3319953 fired transitions, 190 secs || 2541715 markings, 12118471 edges, 13623 markings/sec, 190 secs
lola: STP completed || 4 tries, 3411211 fired transitions, 195 secs || 2612354 markings, 12476385 edges, 14128 markings/sec, 195 secs
lola: STP completed || 4 tries, 3502191 fired transitions, 200 secs || 2682966 markings, 12821892 edges, 14122 markings/sec, 200 secs
lola: STP completed || 4 tries, 3594242 fired transitions, 205 secs || 2756147 markings, 13124515 edges, 14636 markings/sec, 205 secs
lola: STP completed || 4 tries, 3685051 fired transitions, 210 secs || 2827201 markings, 13460520 edges, 14211 markings/sec, 210 secs
lola: STP completed || 4 tries, 3776443 fired transitions, 215 secs || 2895879 markings, 13812224 edges, 13736 markings/sec, 215 secs
lola: STP completed || 4 tries, 3867975 fired transitions, 220 secs || 2966268 markings, 14140180 edges, 14078 markings/sec, 220 secs
lola: STP completed || 4 tries, 3958498 fired transitions, 225 secs || 3036982 markings, 14470295 edges, 14143 markings/sec, 225 secs
lola: STP completed || 5 tries, 4049324 fired transitions, 230 secs || 3107393 markings, 14808027 edges, 14082 markings/sec, 230 secs
lola: STP completed || 5 tries, 4140058 fired transitions, 235 secs || 3177328 markings, 15139864 edges, 13987 markings/sec, 235 secs
lola: STP completed || 5 tries, 4231628 fired transitions, 240 secs || 3246226 markings, 15478231 edges, 13780 markings/sec, 240 secs
lola: STP completed || 5 tries, 4320417 fired transitions, 245 secs || 3313417 markings, 15796943 edges, 13438 markings/sec, 245 secs
lola: STP completed || 5 tries, 4410875 fired transitions, 250 secs || 3381831 markings, 16131336 edges, 13683 markings/sec, 250 secs
lola: STP completed || 5 tries, 4501743 fired transitions, 255 secs || 3452507 markings, 16470422 edges, 14135 markings/sec, 255 secs
lola: STP completed || 5 tries, 4594347 fired transitions, 260 secs || 3521544 markings, 16819686 edges, 13807 markings/sec, 260 secs
lola: STP completed || 5 tries, 4686242 fired transitions, 265 secs || 3590521 markings, 17168475 edges, 13795 markings/sec, 265 secs
lola: STP completed || 5 tries, 4777833 fired transitions, 270 secs || 3658489 markings, 17505998 edges, 13594 markings/sec, 270 secs
lola: STP completed || 5 tries, 4869190 fired transitions, 275 secs || 3727992 markings, 17846163 edges, 13901 markings/sec, 275 secs
lola: STP completed || 5 tries, 4960926 fired transitions, 280 secs || 3797520 markings, 18178821 edges, 13906 markings/sec, 280 secs
lola: STP completed || 6 tries, 5053445 fired transitions, 285 secs || 3866530 markings, 18536473 edges, 13802 markings/sec, 285 secs
lola: STP completed || 6 tries, 5144718 fired transitions, 290 secs || 3936078 markings, 18883634 edges, 13910 markings/sec, 290 secs
lola: STP completed || 6 tries, 5233702 fired transitions, 295 secs || 4008477 markings, 19220397 edges, 14480 markings/sec, 295 secs
lola: STP completed || 6 tries, 5322339 fired transitions, 300 secs || 4075152 markings, 19551870 edges, 13335 markings/sec, 300 secs
lola: STP completed || 6 tries, 5411012 fired transitions, 305 secs || 4142603 markings, 19885313 edges, 13490 markings/sec, 305 secs
lola: STP completed || 6 tries, 5502464 fired transitions, 310 secs || 4213667 markings, 20217925 edges, 14213 markings/sec, 310 secs
lola: STP completed || 6 tries, 5593971 fired transitions, 315 secs || 4282307 markings, 20560453 edges, 13728 markings/sec, 315 secs
lola: STP completed || 6 tries, 5684879 fired transitions, 320 secs || 4350511 markings, 20913900 edges, 13641 markings/sec, 320 secs
lola: STP completed || 6 tries, 5776154 fired transitions, 325 secs || 4420391 markings, 21258218 edges, 13976 markings/sec, 325 secs
lola: STP completed || 6 tries, 5867602 fired transitions, 330 secs || 4489646 markings, 21604457 edges, 13851 markings/sec, 330 secs
lola: STP completed || 6 tries, 5959063 fired transitions, 335 secs || 4558503 markings, 21952955 edges, 13771 markings/sec, 335 secs
lola: STP completed || 7 tries, 6049541 fired transitions, 340 secs || 4627981 markings, 22298388 edges, 13896 markings/sec, 340 secs
lola: STP completed || 7 tries, 6140435 fired transitions, 345 secs || 4698630 markings, 22624191 edges, 14130 markings/sec, 345 secs
lola: STP completed || 7 tries, 6231092 fired transitions, 350 secs || 4769248 markings, 22949205 edges, 14124 markings/sec, 350 secs
lola: STP completed || 7 tries, 6323239 fired transitions, 355 secs || 4836545 markings, 23297975 edges, 13459 markings/sec, 355 secs
lola: STP completed || 7 tries, 6414179 fired transitions, 360 secs || 4910227 markings, 23633251 edges, 14736 markings/sec, 360 secs
lola: STP completed || 7 tries, 6503571 fired transitions, 365 secs || 4980030 markings, 23970391 edges, 13961 markings/sec, 365 secs
lola: STP completed || 7 tries, 6591936 fired transitions, 370 secs || 5045304 markings, 24313121 edges, 13055 markings/sec, 370 secs
lola: STP completed || 7 tries, 6676869 fired transitions, 375 secs || 5111242 markings, 24641014 edges, 13188 markings/sec, 375 secs
lola: STP completed || 7 tries, 6757788 fired transitions, 380 secs || 5174487 markings, 24952420 edges, 12649 markings/sec, 380 secs
lola: STP completed || 7 tries, 6840838 fired transitions, 385 secs || 5239116 markings, 25271259 edges, 12926 markings/sec, 385 secs
lola: STP completed || 7 tries, 6922029 fired transitions, 390 secs || 5301762 markings, 25580109 edges, 12529 markings/sec, 390 secs
lola: STP completed || 8 tries, 7003999 fired transitions, 395 secs || 5363056 markings, 25897874 edges, 12259 markings/sec, 395 secs
lola: STP completed || 8 tries, 7086274 fired transitions, 400 secs || 5425081 markings, 26213791 edges, 12405 markings/sec, 400 secs
lola: STP completed || 8 tries, 7171174 fired transitions, 405 secs || 5488203 markings, 26535270 edges, 12624 markings/sec, 405 secs
lola: STP completed || 8 tries, 7254010 fired transitions, 410 secs || 5550855 markings, 26837012 edges, 12530 markings/sec, 410 secs
lola: STP completed || 8 tries, 7335142 fired transitions, 415 secs || 5611839 markings, 27136736 edges, 12197 markings/sec, 415 secs
lola: STP completed || 8 tries, 7416341 fired transitions, 420 secs || 5673733 markings, 27434873 edges, 12379 markings/sec, 420 secs
lola: STP completed || 8 tries, 7497849 fired transitions, 425 secs || 5734753 markings, 27742626 edges, 12204 markings/sec, 425 secs
lola: STP completed || 8 tries, 7579135 fired transitions, 430 secs || 5795220 markings, 28054979 edges, 12093 markings/sec, 430 secs
lola: STP completed || 8 tries, 7660564 fired transitions, 435 secs || 5855960 markings, 28353574 edges, 12148 markings/sec, 435 secs
lola: STP completed || 8 tries, 7742968 fired transitions, 440 secs || 5916291 markings, 28666457 edges, 12066 markings/sec, 440 secs
lola: STP completed || 8 tries, 7828674 fired transitions, 445 secs || 5981314 markings, 28992250 edges, 13005 markings/sec, 445 secs
lola: STP completed || 8 tries, 7909789 fired transitions, 450 secs || 6043157 markings, 29299264 edges, 12369 markings/sec, 450 secs
lola: STP completed || 8 tries, 7990828 fired transitions, 455 secs || 6104090 markings, 29596131 edges, 12187 markings/sec, 455 secs
lola: STP completed || 9 tries, 8071055 fired transitions, 460 secs || 6161730 markings, 29907840 edges, 11528 markings/sec, 460 secs
lola: STP completed || 9 tries, 8152303 fired transitions, 465 secs || 6222941 markings, 30216874 edges, 12242 markings/sec, 465 secs
lola: STP completed || 9 tries, 8233232 fired transitions, 470 secs || 6283628 markings, 30527879 edges, 12137 markings/sec, 470 secs
lola: STP completed || 9 tries, 8314127 fired transitions, 475 secs || 6345876 markings, 30828365 edges, 12450 markings/sec, 475 secs
lola: STP completed || 9 tries, 8398187 fired transitions, 480 secs || 6409575 markings, 31148107 edges, 12740 markings/sec, 480 secs
lola: STP completed || 9 tries, 8484729 fired transitions, 485 secs || 6473732 markings, 31477249 edges, 12831 markings/sec, 485 secs
lola: STP completed || 9 tries, 8570914 fired transitions, 490 secs || 6538679 markings, 31812817 edges, 12989 markings/sec, 490 secs
lola: STP completed || 9 tries, 8657362 fired transitions, 495 secs || 6603590 markings, 32141777 edges, 12982 markings/sec, 495 secs
lola: STP completed || 9 tries, 8743271 fired transitions, 500 secs || 6668087 markings, 32471005 edges, 12899 markings/sec, 500 secs
lola: STP completed || 9 tries, 8830187 fired transitions, 505 secs || 6734093 markings, 32789566 edges, 13201 markings/sec, 505 secs
lola: STP completed || 9 tries, 8919025 fired transitions, 510 secs || 6799918 markings, 33133592 edges, 13165 markings/sec, 510 secs
lola: STP completed || 10 tries, 9007822 fired transitions, 515 secs || 6867029 markings, 33475562 edges, 13422 markings/sec, 515 secs
lola: STP completed || 10 tries, 9094547 fired transitions, 520 secs || 6930500 markings, 33810798 edges, 12694 markings/sec, 520 secs
lola: STP completed || 10 tries, 9183261 fired transitions, 525 secs || 6994880 markings, 34147012 edges, 12876 markings/sec, 525 secs
lola: STP completed || 10 tries, 9272295 fired transitions, 530 secs || 7060870 markings, 34491069 edges, 13198 markings/sec, 530 secs
lola: STP completed || 10 tries, 9358701 fired transitions, 535 secs || 7124670 markings, 34826163 edges, 12760 markings/sec, 535 secs
lola: STP completed || 10 tries, 9440748 fired transitions, 540 secs || 7186477 markings, 35148473 edges, 12361 markings/sec, 540 secs
lola: STP completed || 10 tries, 9521285 fired transitions, 545 secs || 7247966 markings, 35461172 edges, 12298 markings/sec, 545 secs
lola: STP completed || 10 tries, 9602445 fired transitions, 550 secs || 7309393 markings, 35754171 edges, 12285 markings/sec, 550 secs
lola: STP completed || 10 tries, 9686922 fired transitions, 555 secs || 7373270 markings, 36067693 edges, 12775 markings/sec, 555 secs
lola: STP completed || 10 tries, 9768554 fired transitions, 560 secs || 7433973 markings, 36378903 edges, 12141 markings/sec, 560 secs
lola: STP completed || 10 tries, 9849533 fired transitions, 565 secs || 7494446 markings, 36683740 edges, 12095 markings/sec, 565 secs
lola: STP completed || 10 tries, 9930609 fired transitions, 570 secs || 7556138 markings, 36996127 edges, 12338 markings/sec, 570 secs
lola: STP completed || 11 tries, 10011282 fired transitions, 575 secs || 7616878 markings, 37286374 edges, 12148 markings/sec, 575 secs
lola: STP completed || 11 tries, 10092512 fired transitions, 580 secs || 7677422 markings, 37598713 edges, 12109 markings/sec, 580 secs
lola: STP completed || 11 tries, 10172056 fired transitions, 585 secs || 7739973 markings, 37896591 edges, 12510 markings/sec, 585 secs
lola: STP completed || 11 tries, 10253098 fired transitions, 590 secs || 7801313 markings, 38175186 edges, 12268 markings/sec, 590 secs
lola: STP completed || 11 tries, 10333592 fired transitions, 595 secs || 7863448 markings, 38466445 edges, 12427 markings/sec, 595 secs
lola: STP completed || 11 tries, 10413790 fired transitions, 600 secs || 7923788 markings, 38776847 edges, 12068 markings/sec, 600 secs
lola: STP completed || 11 tries, 10494486 fired transitions, 605 secs || 7985300 markings, 39080410 edges, 12302 markings/sec, 605 secs
lola: STP completed || 11 tries, 10576045 fired transitions, 610 secs || 8046442 markings, 39388568 edges, 12228 markings/sec, 610 secs
lola: STP completed || 11 tries, 10656432 fired transitions, 615 secs || 8107554 markings, 39694771 edges, 12222 markings/sec, 615 secs
lola: STP completed || 11 tries, 10738271 fired transitions, 620 secs || 8169512 markings, 40018217 edges, 12392 markings/sec, 620 secs
lola: STP completed || 11 tries, 10823351 fired transitions, 625 secs || 8236027 markings, 40334087 edges, 13303 markings/sec, 625 secs
lola: STP completed || 11 tries, 10909655 fired transitions, 630 secs || 8299564 markings, 40668761 edges, 12707 markings/sec, 630 secs
lola: STP completed || 11 tries, 10994381 fired transitions, 635 secs || 8363283 markings, 40993562 edges, 12744 markings/sec, 635 secs
lola: STP completed || 12 tries, 11075816 fired transitions, 640 secs || 8423808 markings, 41305601 edges, 12105 markings/sec, 640 secs
lola: STP completed || 12 tries, 11157306 fired transitions, 645 secs || 8485587 markings, 41615997 edges, 12356 markings/sec, 645 secs
lola: STP completed || 12 tries, 11239068 fired transitions, 650 secs || 8546560 markings, 41928422 edges, 12195 markings/sec, 650 secs
lola: STP completed || 12 tries, 11323085 fired transitions, 655 secs || 8608229 markings, 42258826 edges, 12334 markings/sec, 655 secs
lola: STP completed || 12 tries, 11408394 fired transitions, 660 secs || 8673055 markings, 42578729 edges, 12965 markings/sec, 660 secs
lola: STP completed || 12 tries, 11492989 fired transitions, 665 secs || 8736943 markings, 42906152 edges, 12778 markings/sec, 665 secs
lola: STP completed || 12 tries, 11580873 fired transitions, 670 secs || 8804176 markings, 43232054 edges, 13447 markings/sec, 670 secs
lola: STP completed || 12 tries, 11667914 fired transitions, 675 secs || 8868622 markings, 43572755 edges, 12889 markings/sec, 675 secs
lola: STP completed || 12 tries, 11754929 fired transitions, 680 secs || 8932623 markings, 43907401 edges, 12800 markings/sec, 680 secs
lola: STP completed || 12 tries, 11841247 fired transitions, 685 secs || 8995560 markings, 44242312 edges, 12587 markings/sec, 685 secs
lola: STP completed || 12 tries, 11927127 fired transitions, 690 secs || 9058072 markings, 44572203 edges, 12502 markings/sec, 690 secs
lola: STP completed || 13 tries, 12013126 fired transitions, 695 secs || 9123314 markings, 44885540 edges, 13048 markings/sec, 695 secs
lola: STP completed || 13 tries, 12098928 fired transitions, 700 secs || 9187088 markings, 45210771 edges, 12755 markings/sec, 700 secs
lola: STP completed || 13 tries, 12184130 fired transitions, 705 secs || 9250996 markings, 45542044 edges, 12782 markings/sec, 705 secs
lola: STP completed || 13 tries, 12266293 fired transitions, 710 secs || 9312376 markings, 45874743 edges, 12276 markings/sec, 710 secs
lola: STP completed || 13 tries, 12347414 fired transitions, 715 secs || 9374321 markings, 46195637 edges, 12389 markings/sec, 715 secs
lola: STP completed || 13 tries, 12428466 fired transitions, 720 secs || 9435024 markings, 46497743 edges, 12141 markings/sec, 720 secs
lola: STP completed || 13 tries, 12512994 fired transitions, 725 secs || 9498972 markings, 46825472 edges, 12790 markings/sec, 725 secs
lola: STP completed || 13 tries, 12600199 fired transitions, 730 secs || 9563842 markings, 47150432 edges, 12974 markings/sec, 730 secs
lola: STP completed || 13 tries, 12685505 fired transitions, 735 secs || 9628148 markings, 47481449 edges, 12861 markings/sec, 735 secs
lola: STP completed || 13 tries, 12772006 fired transitions, 740 secs || 9694130 markings, 47791113 edges, 13196 markings/sec, 740 secs
lola: STP completed || 13 tries, 12859728 fired transitions, 745 secs || 9759322 markings, 48121412 edges, 13038 markings/sec, 745 secs
lola: STP completed || 13 tries, 12949008 fired transitions, 750 secs || 9825517 markings, 48462510 edges, 13239 markings/sec, 750 secs
lola: STP completed || 14 tries, 13035554 fired transitions, 755 secs || 9890933 markings, 48786899 edges, 13083 markings/sec, 755 secs
lola: STP completed || 14 tries, 13110441 fired transitions, 760 secs || 9944599 markings, 49061227 edges, 10733 markings/sec, 760 secs
lola: STP completed || 14 tries, 13179821 fired transitions, 765 secs || 9999919 markings, 49362249 edges, 11064 markings/sec, 765 secs
lola: STP completed || 14 tries, 13267197 fired transitions, 770 secs || 10065278 markings, 49697117 edges, 13072 markings/sec, 770 secs
lola: STP completed || 14 tries, 13359819 fired transitions, 775 secs || 10135841 markings, 50048556 edges, 14113 markings/sec, 775 secs
lola: STP completed || 14 tries, 13449655 fired transitions, 780 secs || 10203444 markings, 50388628 edges, 13521 markings/sec, 780 secs
lola: STP completed || 14 tries, 13532296 fired transitions, 785 secs || 10264462 markings, 50715099 edges, 12204 markings/sec, 785 secs
lola: STP completed || 14 tries, 13614301 fired transitions, 790 secs || 10327397 markings, 51034640 edges, 12587 markings/sec, 790 secs
lola: STP completed || 14 tries, 13697313 fired transitions, 795 secs || 10392544 markings, 51353283 edges, 13029 markings/sec, 795 secs
lola: STP completed || 14 tries, 13778729 fired transitions, 800 secs || 10453662 markings, 51664187 edges, 12224 markings/sec, 800 secs
lola: STP completed || 14 tries, 13860150 fired transitions, 805 secs || 10515708 markings, 51969902 edges, 12409 markings/sec, 805 secs
lola: STP completed || 14 tries, 13941540 fired transitions, 810 secs || 10578648 markings, 52257819 edges, 12588 markings/sec, 810 secs
lola: STP completed || 15 tries, 14022985 fired transitions, 815 secs || 10640627 markings, 52562433 edges, 12396 markings/sec, 815 secs
lola: STP completed || 15 tries, 14104436 fired transitions, 820 secs || 10702059 markings, 52884049 edges, 12286 markings/sec, 820 secs
lola: STP completed || 15 tries, 14186193 fired transitions, 825 secs || 10762598 markings, 53194192 edges, 12108 markings/sec, 825 secs
lola: STP completed || 15 tries, 14268375 fired transitions, 830 secs || 10820595 markings, 53506081 edges, 11599 markings/sec, 830 secs
lola: STP completed || 15 tries, 14359647 fired transitions, 835 secs || 10889157 markings, 53866646 edges, 13712 markings/sec, 835 secs
lola: STP completed || 15 tries, 14451850 fired transitions, 840 secs || 10957833 markings, 54245672 edges, 13735 markings/sec, 840 secs
lola: STP completed || 15 tries, 14545178 fired transitions, 845 secs || 11026965 markings, 54602568 edges, 13826 markings/sec, 845 secs
lola: STP completed || 15 tries, 14638889 fired transitions, 850 secs || 11096035 markings, 54976621 edges, 13814 markings/sec, 850 secs
lola: STP completed || 15 tries, 14733162 fired transitions, 855 secs || 11167932 markings, 55340058 edges, 14379 markings/sec, 855 secs
lola: STP completed || 15 tries, 14820595 fired transitions, 860 secs || 11234309 markings, 55663655 edges, 13275 markings/sec, 860 secs
lola: STP completed || 15 tries, 14907737 fired transitions, 865 secs || 11299083 markings, 55994208 edges, 12955 markings/sec, 865 secs
lola: STP completed || 15 tries, 14999847 fired transitions, 870 secs || 11365667 markings, 56357263 edges, 13317 markings/sec, 870 secs
lola: STP completed || 16 tries, 15080744 fired transitions, 875 secs || 11424739 markings, 56651505 edges, 11814 markings/sec, 875 secs
lola: STP completed || 16 tries, 15171163 fired transitions, 880 secs || 11486967 markings, 56977973 edges, 12446 markings/sec, 880 secs
lola: STP completed || 16 tries, 15261866 fired transitions, 885 secs || 11552425 markings, 57312117 edges, 13092 markings/sec, 885 secs
lola: STP completed || 16 tries, 15343670 fired transitions, 890 secs || 11612332 markings, 57613968 edges, 11981 markings/sec, 890 secs
lola: STP completed || 16 tries, 15424842 fired transitions, 895 secs || 11673928 markings, 57910515 edges, 12319 markings/sec, 895 secs
lola: STP completed || 16 tries, 15506308 fired transitions, 900 secs || 11733962 markings, 58216351 edges, 12007 markings/sec, 900 secs
lola: STP completed || 16 tries, 15590856 fired transitions, 905 secs || 11795320 markings, 58515802 edges, 12272 markings/sec, 905 secs
lola: STP completed || 16 tries, 15672057 fired transitions, 910 secs || 11854435 markings, 58829497 edges, 11823 markings/sec, 910 secs
lola: STP completed || 16 tries, 15755733 fired transitions, 915 secs || 11917839 markings, 59150734 edges, 12681 markings/sec, 915 secs
lola: STP completed || 16 tries, 15846178 fired transitions, 920 secs || 11986449 markings, 59504101 edges, 13722 markings/sec, 920 secs
lola: STP completed || 16 tries, 15938334 fired transitions, 925 secs || 12055715 markings, 59850616 edges, 13853 markings/sec, 925 secs
lola: STP completed || 17 tries, 16031697 fired transitions, 930 secs || 12128018 markings, 60186915 edges, 14461 markings/sec, 930 secs
lola: STP completed || 17 tries, 16124850 fired transitions, 935 secs || 12200437 markings, 60521512 edges, 14484 markings/sec, 935 secs
lola: STP completed || 17 tries, 16217730 fired transitions, 940 secs || 12269999 markings, 60886148 edges, 13912 markings/sec, 940 secs
lola: STP completed || 17 tries, 16310955 fired transitions, 945 secs || 12340415 markings, 61240715 edges, 14083 markings/sec, 945 secs
lola: STP completed || 17 tries, 16403496 fired transitions, 950 secs || 12410072 markings, 61597623 edges, 13931 markings/sec, 950 secs
lola: STP completed || 17 tries, 16496578 fired transitions, 955 secs || 12480572 markings, 61951280 edges, 14100 markings/sec, 955 secs
lola: STP completed || 17 tries, 16589584 fired transitions, 960 secs || 12551209 markings, 62301967 edges, 14127 markings/sec, 960 secs
lola: STP completed || 17 tries, 16682616 fired transitions, 965 secs || 12621914 markings, 62654602 edges, 14141 markings/sec, 965 secs
lola: STP completed || 17 tries, 16775803 fired transitions, 970 secs || 12691591 markings, 63017833 edges, 13935 markings/sec, 970 secs
lola: STP completed || 17 tries, 16868842 fired transitions, 975 secs || 12761217 markings, 63371954 edges, 13925 markings/sec, 975 secs
lola: STP completed || 17 tries, 16962591 fired transitions, 980 secs || 12831367 markings, 63735556 edges, 14030 markings/sec, 980 secs
lola: STP completed || 18 tries, 17055848 fired transitions, 985 secs || 12900261 markings, 64104315 edges, 13779 markings/sec, 985 secs
lola: STP completed || 18 tries, 17149051 fired transitions, 990 secs || 12971662 markings, 64474556 edges, 14280 markings/sec, 990 secs
lola: STP completed || 18 tries, 17242219 fired transitions, 995 secs || 13042464 markings, 64835729 edges, 14160 markings/sec, 995 secs
lola: STP completed || 18 tries, 17335473 fired transitions, 1000 secs || 13113507 markings, 65183447 edges, 14209 markings/sec, 1000 secs
lola: STP completed || 18 tries, 17428340 fired transitions, 1005 secs || 13184626 markings, 65534881 edges, 14224 markings/sec, 1005 secs
lola: STP completed || 18 tries, 17521603 fired transitions, 1010 secs || 13254926 markings, 65881215 edges, 14060 markings/sec, 1010 secs
lola: STP completed || 18 tries, 17614987 fired transitions, 1015 secs || 13324143 markings, 66250882 edges, 13843 markings/sec, 1015 secs
lola: STP completed || 18 tries, 17709502 fired transitions, 1020 secs || 13398980 markings, 66540541 edges, 14967 markings/sec, 1020 secs
lola: STP completed || 18 tries, 17804796 fired transitions, 1025 secs || 13473720 markings, 66870837 edges, 14948 markings/sec, 1025 secs
lola: STP completed || 18 tries, 17889494 fired transitions, 1030 secs || 13537588 markings, 67195081 edges, 12774 markings/sec, 1030 secs
lola: STP completed || 18 tries, 17970913 fired transitions, 1035 secs || 13599944 markings, 67494780 edges, 12471 markings/sec, 1035 secs
lola: STP completed || 19 tries, 18052336 fired transitions, 1040 secs || 13660877 markings, 67806776 edges, 12187 markings/sec, 1040 secs
lola: STP completed || 19 tries, 18141319 fired transitions, 1045 secs || 13727999 markings, 68166235 edges, 13424 markings/sec, 1045 secs
lola: STP completed || 19 tries, 18234382 fired transitions, 1050 secs || 13799717 markings, 68519483 edges, 14344 markings/sec, 1050 secs
lola: STP completed || 19 tries, 18327450 fired transitions, 1055 secs || 13869686 markings, 68884187 edges, 13994 markings/sec, 1055 secs
lola: STP completed || 19 tries, 18423375 fired transitions, 1060 secs || 13941917 markings, 69254302 edges, 14446 markings/sec, 1060 secs
lola: STP completed || 19 tries, 18516190 fired transitions, 1065 secs || 14012902 markings, 69619611 edges, 14197 markings/sec, 1065 secs
lola: STP completed || 19 tries, 18608721 fired transitions, 1070 secs || 14081898 markings, 69982043 edges, 13799 markings/sec, 1070 secs
lola: STP completed || 19 tries, 18701893 fired transitions, 1075 secs || 14152109 markings, 70333483 edges, 14042 markings/sec, 1075 secs
lola: STP completed || 19 tries, 18794929 fired transitions, 1080 secs || 14221355 markings, 70704539 edges, 13849 markings/sec, 1080 secs
lola: STP completed || 19 tries, 18887685 fired transitions, 1085 secs || 14291722 markings, 71054877 edges, 14073 markings/sec, 1085 secs
lola: STP completed || 19 tries, 18980722 fired transitions, 1090 secs || 14361598 markings, 71417939 edges, 13975 markings/sec, 1090 secs
lola: STP completed || 20 tries, 19074001 fired transitions, 1095 secs || 14431041 markings, 71781042 edges, 13889 markings/sec, 1095 secs
lola: STP completed || 20 tries, 19166174 fired transitions, 1100 secs || 14502527 markings, 72121074 edges, 14297 markings/sec, 1100 secs
lola: STP completed || 20 tries, 19258791 fired transitions, 1105 secs || 14574368 markings, 72467940 edges, 14368 markings/sec, 1105 secs
lola: STP completed || 20 tries, 19351986 fired transitions, 1110 secs || 14645914 markings, 72815004 edges, 14309 markings/sec, 1110 secs
lola: STP completed || 20 tries, 19445273 fired transitions, 1115 secs || 14717174 markings, 73158284 edges, 14252 markings/sec, 1115 secs
lola: STP completed || 20 tries, 19538228 fired transitions, 1120 secs || 14787412 markings, 73519250 edges, 14048 markings/sec, 1120 secs
lola: STP completed || 20 tries, 19632201 fired transitions, 1125 secs || 14861429 markings, 73861505 edges, 14803 markings/sec, 1125 secs
lola: STP completed || 20 tries, 19724268 fired transitions, 1130 secs || 14931243 markings, 74210510 edges, 13963 markings/sec, 1130 secs
lola: STP completed || 20 tries, 19813808 fired transitions, 1135 secs || 14997904 markings, 74557489 edges, 13332 markings/sec, 1135 secs
lola: STP completed || 20 tries, 19905098 fired transitions, 1140 secs || 15068414 markings, 74893923 edges, 14102 markings/sec, 1140 secs
lola: STP completed || 20 tries, 19997683 fired transitions, 1145 secs || 15138395 markings, 75240450 edges, 13996 markings/sec, 1145 secs
lola: STP completed || 21 tries, 20090545 fired transitions, 1150 secs || 15208222 markings, 75599474 edges, 13965 markings/sec, 1150 secs
lola: STP completed || 21 tries, 20183621 fired transitions, 1155 secs || 15279116 markings, 75966163 edges, 14179 markings/sec, 1155 secs
lola: STP completed || 21 tries, 20273971 fired transitions, 1160 secs || 15348873 markings, 76308066 edges, 13951 markings/sec, 1160 secs
lola: STP completed || 21 tries, 20362628 fired transitions, 1165 secs || 15416251 markings, 76648583 edges, 13476 markings/sec, 1165 secs
lola: STP completed || 21 tries, 20455368 fired transitions, 1170 secs || 15487050 markings, 76993139 edges, 14160 markings/sec, 1170 secs
lola: STP completed || 21 tries, 20548525 fired transitions, 1175 secs || 15559534 markings, 77351266 edges, 14497 markings/sec, 1175 secs
lola: STP completed || 21 tries, 20641273 fired transitions, 1180 secs || 15629704 markings, 77693654 edges, 14034 markings/sec, 1180 secs
lola: STP completed || 21 tries, 20734190 fired transitions, 1185 secs || 15699666 markings, 78045672 edges, 13992 markings/sec, 1185 secs
lola: STP completed || 21 tries, 20827073 fired transitions, 1190 secs || 15769758 markings, 78407171 edges, 14018 markings/sec, 1190 secs
lola: STP completed || 21 tries, 20920015 fired transitions, 1195 secs || 15839214 markings, 78768729 edges, 13891 markings/sec, 1195 secs
lola: STP completed || 22 tries, 21010627 fired transitions, 1200 secs || 15907728 markings, 79115785 edges, 13703 markings/sec, 1200 secs
lola: STP completed || 22 tries, 21099200 fired transitions, 1205 secs || 15974981 markings, 79452514 edges, 13451 markings/sec, 1205 secs
lola: STP completed || 22 tries, 21189041 fired transitions, 1210 secs || 16041904 markings, 79813358 edges, 13385 markings/sec, 1210 secs
lola: STP completed || 22 tries, 21281117 fired transitions, 1215 secs || 16111531 markings, 80172828 edges, 13925 markings/sec, 1215 secs
lola: STP completed || 22 tries, 21371147 fired transitions, 1220 secs || 16179533 markings, 80506931 edges, 13600 markings/sec, 1220 secs
lola: STP completed || 22 tries, 21462630 fired transitions, 1225 secs || 16248745 markings, 80862279 edges, 13842 markings/sec, 1225 secs
lola: STP completed || 22 tries, 21555705 fired transitions, 1230 secs || 16319161 markings, 81218564 edges, 14083 markings/sec, 1230 secs
lola: STP completed || 22 tries, 21648449 fired transitions, 1235 secs || 16389572 markings, 81545880 edges, 14082 markings/sec, 1235 secs
lola: STP completed || 22 tries, 21741539 fired transitions, 1240 secs || 16459126 markings, 81904743 edges, 13911 markings/sec, 1240 secs
lola: STP completed || 22 tries, 21834428 fired transitions, 1245 secs || 16527453 markings, 82281501 edges, 13665 markings/sec, 1245 secs
lola: STP completed || 22 tries, 21927400 fired transitions, 1250 secs || 16596695 markings, 82644178 edges, 13848 markings/sec, 1250 secs
lola: STP completed || 23 tries, 22020329 fired transitions, 1255 secs || 16667019 markings, 82995053 edges, 14065 markings/sec, 1255 secs
lola: STP completed || 23 tries, 22114157 fired transitions, 1260 secs || 16736932 markings, 83352831 edges, 13983 markings/sec, 1260 secs
lola: STP completed || 23 tries, 22207161 fired transitions, 1265 secs || 16806184 markings, 83714578 edges, 13850 markings/sec, 1265 secs
lola: STP completed || 23 tries, 22300552 fired transitions, 1270 secs || 16876387 markings, 84091218 edges, 14041 markings/sec, 1270 secs
lola: STP completed || 23 tries, 22393526 fired transitions, 1275 secs || 16946442 markings, 84453185 edges, 14011 markings/sec, 1275 secs
lola: STP completed || 23 tries, 22486121 fired transitions, 1280 secs || 17016678 markings, 84815016 edges, 14047 markings/sec, 1280 secs
lola: STP completed || 23 tries, 22579277 fired transitions, 1285 secs || 17086105 markings, 85175773 edges, 13885 markings/sec, 1285 secs
lola: STP completed || 23 tries, 22672363 fired transitions, 1290 secs || 17156603 markings, 85520553 edges, 14100 markings/sec, 1290 secs
lola: STP completed || 23 tries, 22763233 fired transitions, 1295 secs || 17223824 markings, 85894163 edges, 13444 markings/sec, 1295 secs
lola: STP completed || 23 tries, 22856631 fired transitions, 1300 secs || 17292730 markings, 86269767 edges, 13781 markings/sec, 1300 secs
lola: STP completed || 23 tries, 22949924 fired transitions, 1305 secs || 17363056 markings, 86631822 edges, 14065 markings/sec, 1305 secs
lola: STP completed || 24 tries, 23043051 fired transitions, 1310 secs || 17432742 markings, 86974068 edges, 13937 markings/sec, 1310 secs
lola: STP completed || 24 tries, 23135522 fired transitions, 1315 secs || 17500718 markings, 87346757 edges, 13595 markings/sec, 1315 secs
lola: STP completed || 24 tries, 23228404 fired transitions, 1320 secs || 17571701 markings, 87708589 edges, 14197 markings/sec, 1320 secs
lola: STP completed || 24 tries, 23321211 fired transitions, 1325 secs || 17643344 markings, 88050825 edges, 14329 markings/sec, 1325 secs
lola: STP completed || 24 tries, 23410683 fired transitions, 1330 secs || 17710107 markings, 88382725 edges, 13353 markings/sec, 1330 secs
lola: STP completed || 24 tries, 23492350 fired transitions, 1335 secs || 17766372 markings, 88693825 edges, 11253 markings/sec, 1335 secs
lola: STP completed || 24 tries, 23573618 fired transitions, 1340 secs || 17824708 markings, 88992663 edges, 11667 markings/sec, 1340 secs
lola: STP completed || 24 tries, 23653598 fired transitions, 1345 secs || 17882890 markings, 89298988 edges, 11636 markings/sec, 1345 secs
lola: STP completed || 24 tries, 23732596 fired transitions, 1350 secs || 17941432 markings, 89595151 edges, 11708 markings/sec, 1350 secs
lola: STP completed || 24 tries, 23813052 fired transitions, 1355 secs || 17999088 markings, 89900913 edges, 11531 markings/sec, 1355 secs
lola: STP completed || 24 tries, 23894276 fired transitions, 1360 secs || 18057052 markings, 90203451 edges, 11593 markings/sec, 1360 secs
lola: STP completed || 24 tries, 23974912 fired transitions, 1365 secs || 18115724 markings, 90501610 edges, 11734 markings/sec, 1365 secs
lola: STP completed || 25 tries, 24055727 fired transitions, 1370 secs || 18174712 markings, 90799257 edges, 11798 markings/sec, 1370 secs
lola: STP completed || 25 tries, 24132935 fired transitions, 1375 secs || 18232870 markings, 91118391 edges, 11632 markings/sec, 1375 secs
lola: STP completed || 25 tries, 24209321 fired transitions, 1380 secs || 18291105 markings, 91423108 edges, 11647 markings/sec, 1380 secs
lola: STP completed || 25 tries, 24285642 fired transitions, 1385 secs || 18349547 markings, 91724416 edges, 11688 markings/sec, 1385 secs
lola: STP completed || 25 tries, 24366541 fired transitions, 1390 secs || 18407794 markings, 92028112 edges, 11649 markings/sec, 1390 secs
lola: STP completed || 25 tries, 24447899 fired transitions, 1395 secs || 18464959 markings, 92341898 edges, 11433 markings/sec, 1395 secs
lola: STP completed || 25 tries, 24526118 fired transitions, 1400 secs || 18522822 markings, 92627797 edges, 11573 markings/sec, 1400 secs
lola: STP completed || 25 tries, 24600628 fired transitions, 1405 secs || 18578960 markings, 92921224 edges, 11228 markings/sec, 1405 secs
lola: STP completed || 25 tries, 24693784 fired transitions, 1410 secs || 18647606 markings, 93293758 edges, 13729 markings/sec, 1410 secs
lola: STP completed || 25 tries, 24779851 fired transitions, 1415 secs || 18712598 markings, 93614360 edges, 12998 markings/sec, 1415 secs
lola: STP completed || 25 tries, 24861590 fired transitions, 1420 secs || 18777181 markings, 93920335 edges, 12917 markings/sec, 1420 secs
lola: STP completed || 25 tries, 24943215 fired transitions, 1425 secs || 18843582 markings, 94229794 edges, 13280 markings/sec, 1425 secs
lola: STP completed || 26 tries, 25028266 fired transitions, 1430 secs || 18908336 markings, 94555765 edges, 12951 markings/sec, 1430 secs
lola: STP completed || 26 tries, 25117153 fired transitions, 1435 secs || 18973904 markings, 94904049 edges, 13114 markings/sec, 1435 secs
lola: STP completed || 26 tries, 25199902 fired transitions, 1440 secs || 19037348 markings, 95208063 edges, 12689 markings/sec, 1440 secs
lola: STP completed || 26 tries, 25281223 fired transitions, 1445 secs || 19096951 markings, 95538041 edges, 11921 markings/sec, 1445 secs
lola: STP completed || 26 tries, 25362715 fired transitions, 1450 secs || 19157219 markings, 95854914 edges, 12054 markings/sec, 1450 secs
lola: STP completed || 26 tries, 25444106 fired transitions, 1455 secs || 19218192 markings, 96171444 edges, 12195 markings/sec, 1455 secs
lola: STP completed || 26 tries, 25525437 fired transitions, 1460 secs || 19280053 markings, 96455080 edges, 12372 markings/sec, 1460 secs
lola: STP completed || 26 tries, 25610967 fired transitions, 1465 secs || 19344198 markings, 96779833 edges, 12829 markings/sec, 1465 secs
lola: STP completed || 26 tries, 25698119 fired transitions, 1470 secs || 19410548 markings, 97093753 edges, 13270 markings/sec, 1470 secs
lola: STP completed || 26 tries, 25783440 fired transitions, 1475 secs || 19471795 markings, 97434957 edges, 12249 markings/sec, 1475 secs
lola: STP completed || 26 tries, 25868472 fired transitions, 1480 secs || 19533761 markings, 97769557 edges, 12393 markings/sec, 1480 secs
lola: STP completed || 26 tries, 25949978 fired transitions, 1485 secs || 19594296 markings, 98105754 edges, 12107 markings/sec, 1485 secs
lola: STP completed || 27 tries, 26032145 fired transitions, 1490 secs || 19654490 markings, 98445776 edges, 12039 markings/sec, 1490 secs
lola: STP completed || 27 tries, 26113491 fired transitions, 1495 secs || 19715578 markings, 98763855 edges, 12218 markings/sec, 1495 secs
lola: STP completed || 27 tries, 26195852 fired transitions, 1500 secs || 19778284 markings, 99079646 edges, 12541 markings/sec, 1500 secs
lola: STP completed || 27 tries, 26277291 fired transitions, 1505 secs || 19840548 markings, 99391988 edges, 12453 markings/sec, 1505 secs
lola: STP completed || 27 tries, 26358494 fired transitions, 1510 secs || 19906832 markings, 99634031 edges, 13257 markings/sec, 1510 secs
lola: STP completed || 27 tries, 26439790 fired transitions, 1515 secs || 19974110 markings, 99909687 edges, 13456 markings/sec, 1515 secs
lola: STP completed || 27 tries, 26521221 fired transitions, 1520 secs || 20034263 markings, 100226493 edges, 12031 markings/sec, 1520 secs
lola: STP completed || 27 tries, 26602717 fired transitions, 1525 secs || 20096456 markings, 100550290 edges, 12439 markings/sec, 1525 secs
lola: STP completed || 27 tries, 26684152 fired transitions, 1530 secs || 20158951 markings, 100870772 edges, 12499 markings/sec, 1530 secs
lola: STP completed || 27 tries, 26765566 fired transitions, 1535 secs || 20219645 markings, 101176097 edges, 12139 markings/sec, 1535 secs
lola: STP completed || 27 tries, 26847025 fired transitions, 1540 secs || 20279430 markings, 101506343 edges, 11957 markings/sec, 1540 secs
lola: STP completed || 27 tries, 26933929 fired transitions, 1545 secs || 20344892 markings, 101842822 edges, 13092 markings/sec, 1545 secs
lola: STP completed || 28 tries, 27023330 fired transitions, 1550 secs || 20411393 markings, 102196555 edges, 13300 markings/sec, 1550 secs
lola: STP completed || 28 tries, 27112340 fired transitions, 1555 secs || 20477420 markings, 102547360 edges, 13205 markings/sec, 1555 secs
lola: STP completed || 28 tries, 27204814 fired transitions, 1560 secs || 20546340 markings, 102891131 edges, 13784 markings/sec, 1560 secs
lola: STP completed || 28 tries, 27296466 fired transitions, 1565 secs || 20614132 markings, 103234278 edges, 13558 markings/sec, 1565 secs
lola: STP completed || 28 tries, 27386075 fired transitions, 1570 secs || 20681916 markings, 103568656 edges, 13557 markings/sec, 1570 secs
lola: STP completed || 28 tries, 27475782 fired transitions, 1575 secs || 20746374 markings, 103913786 edges, 12892 markings/sec, 1575 secs
lola: STP completed || 28 tries, 27565756 fired transitions, 1580 secs || 20812151 markings, 104256120 edges, 13155 markings/sec, 1580 secs
lola: STP completed || 28 tries, 27655892 fired transitions, 1585 secs || 20880264 markings, 104597515 edges, 13623 markings/sec, 1585 secs
lola: STP completed || 28 tries, 27745122 fired transitions, 1590 secs || 20945969 markings, 104953218 edges, 13141 markings/sec, 1590 secs
lola: STP completed || 28 tries, 27833460 fired transitions, 1595 secs || 21010665 markings, 105312018 edges, 12939 markings/sec, 1595 secs
lola: STP completed || 28 tries, 27916193 fired transitions, 1600 secs || 21070948 markings, 105617827 edges, 12057 markings/sec, 1600 secs
lola: STP completed || 29 tries, 28006560 fired transitions, 1605 secs || 21138947 markings, 105971035 edges, 13600 markings/sec, 1605 secs
lola: STP completed || 29 tries, 28089815 fired transitions, 1610 secs || 21201738 markings, 106293718 edges, 12558 markings/sec, 1610 secs
lola: STP completed || 29 tries, 28171241 fired transitions, 1615 secs || 21262558 markings, 106600051 edges, 12164 markings/sec, 1615 secs
lola: STP completed || 29 tries, 28252608 fired transitions, 1620 secs || 21323138 markings, 106914207 edges, 12116 markings/sec, 1620 secs
lola: STP completed || 29 tries, 28337363 fired transitions, 1625 secs || 21384932 markings, 107235294 edges, 12359 markings/sec, 1625 secs
lola: STP completed || 29 tries, 28427851 fired transitions, 1630 secs || 21452299 markings, 107590665 edges, 13473 markings/sec, 1630 secs
lola: STP completed || 29 tries, 28517680 fired transitions, 1635 secs || 21519944 markings, 107932131 edges, 13529 markings/sec, 1635 secs
lola: STP completed || 29 tries, 28607277 fired transitions, 1640 secs || 21586475 markings, 108269933 edges, 13306 markings/sec, 1640 secs
lola: STP completed || 29 tries, 28690259 fired transitions, 1645 secs || 21653640 markings, 108517452 edges, 13433 markings/sec, 1645 secs
lola: STP completed || 29 tries, 28766515 fired transitions, 1650 secs || 21714705 markings, 108770542 edges, 12213 markings/sec, 1650 secs
lola: STP completed || 29 tries, 28846711 fired transitions, 1655 secs || 21777620 markings, 109082711 edges, 12583 markings/sec, 1655 secs
lola: STP completed || 29 tries, 28936077 fired transitions, 1660 secs || 21842616 markings, 109447639 edges, 12999 markings/sec, 1660 secs
lola: STP completed || 30 tries, 29025454 fired transitions, 1665 secs || 21904777 markings, 109786334 edges, 12432 markings/sec, 1665 secs
lola: STP completed || 30 tries, 29115951 fired transitions, 1670 secs || 21974688 markings, 110105919 edges, 13982 markings/sec, 1670 secs
lola: STP completed || 30 tries, 29203301 fired transitions, 1675 secs || 22040260 markings, 110439987 edges, 13114 markings/sec, 1675 secs
lola: STP completed || 30 tries, 29287447 fired transitions, 1680 secs || 22103888 markings, 110745592 edges, 12726 markings/sec, 1680 secs
lola: STP completed || 30 tries, 29374759 fired transitions, 1685 secs || 22168967 markings, 111088287 edges, 13016 markings/sec, 1685 secs
lola: STP completed || 30 tries, 29465835 fired transitions, 1690 secs || 22235797 markings, 111439280 edges, 13366 markings/sec, 1690 secs
lola: STP completed || 30 tries, 29550740 fired transitions, 1695 secs || 22297596 markings, 111777242 edges, 12360 markings/sec, 1695 secs
lola: STP completed || 30 tries, 29630810 fired transitions, 1700 secs || 22356331 markings, 112091393 edges, 11747 markings/sec, 1700 secs
lola: STP completed || 30 tries, 29704517 fired transitions, 1705 secs || 22413378 markings, 112370121 edges, 11409 markings/sec, 1705 secs
lola: STP completed || 30 tries, 29774708 fired transitions, 1710 secs || 22468864 markings, 112656236 edges, 11097 markings/sec, 1710 secs
lola: STP completed || 30 tries, 29855055 fired transitions, 1715 secs || 22525988 markings, 112962662 edges, 11425 markings/sec, 1715 secs
lola: STP completed || 30 tries, 29936778 fired transitions, 1720 secs || 22584898 markings, 113279856 edges, 11782 markings/sec, 1720 secs
lola: STP completed || 31 tries, 30018708 fired transitions, 1725 secs || 22646979 markings, 113601877 edges, 12416 markings/sec, 1725 secs
lola: STP completed || 31 tries, 30100429 fired transitions, 1730 secs || 22707926 markings, 113918921 edges, 12189 markings/sec, 1730 secs
lola: STP completed || 31 tries, 30181928 fired transitions, 1735 secs || 22770549 markings, 114185221 edges, 12525 markings/sec, 1735 secs
lola: STP completed || 31 tries, 30263438 fired transitions, 1740 secs || 22834228 markings, 114469181 edges, 12736 markings/sec, 1740 secs
lola: STP completed || 31 tries, 30345059 fired transitions, 1745 secs || 22895368 markings, 114790469 edges, 12228 markings/sec, 1745 secs
lola: STP completed || 31 tries, 30430629 fired transitions, 1750 secs || 22959743 markings, 115114194 edges, 12875 markings/sec, 1750 secs
lola: STP completed || 31 tries, 30516883 fired transitions, 1755 secs || 23023493 markings, 115448810 edges, 12750 markings/sec, 1755 secs
lola: STP completed || 31 tries, 30603351 fired transitions, 1760 secs || 23087436 markings, 115796145 edges, 12789 markings/sec, 1760 secs
lola: STP completed || 31 tries, 30690088 fired transitions, 1765 secs || 23152777 markings, 116130636 edges, 13068 markings/sec, 1765 secs
lola: STP completed || 31 tries, 30778735 fired transitions, 1770 secs || 23219832 markings, 116469736 edges, 13411 markings/sec, 1770 secs
lola: STP completed || 31 tries, 30868632 fired transitions, 1775 secs || 23286642 markings, 116828673 edges, 13362 markings/sec, 1775 secs
lola: STP completed || 31 tries, 30958277 fired transitions, 1780 secs || 23351130 markings, 117183518 edges, 12898 markings/sec, 1780 secs
lola: STP completed || 32 tries, 31048311 fired transitions, 1785 secs || 23416638 markings, 117539404 edges, 13102 markings/sec, 1785 secs
lola: STP completed || 32 tries, 31138186 fired transitions, 1790 secs || 23481994 markings, 117899001 edges, 13071 markings/sec, 1790 secs
lola: STP completed || 32 tries, 31228076 fired transitions, 1795 secs || 23548383 markings, 118251870 edges, 13278 markings/sec, 1795 secs
lola: STP completed || 32 tries, 31317710 fired transitions, 1800 secs || 23615120 markings, 118603985 edges, 13347 markings/sec, 1800 secs
lola: STP completed || 32 tries, 31407564 fired transitions, 1805 secs || 23683081 markings, 118939377 edges, 13592 markings/sec, 1805 secs
lola: STP completed || 32 tries, 31496822 fired transitions, 1810 secs || 23750441 markings, 119283125 edges, 13472 markings/sec, 1810 secs
lola: STP completed || 32 tries, 31586603 fired transitions, 1815 secs || 23817509 markings, 119626389 edges, 13414 markings/sec, 1815 secs
lola: STP completed || 32 tries, 31674386 fired transitions, 1820 secs || 23884636 markings, 119952352 edges, 13425 markings/sec, 1820 secs
lola: STP completed || 32 tries, 31761810 fired transitions, 1825 secs || 23952156 markings, 120259788 edges, 13504 markings/sec, 1825 secs
lola: STP completed || 32 tries, 31851294 fired transitions, 1830 secs || 24018380 markings, 120601159 edges, 13245 markings/sec, 1830 secs
lola: STP completed || 32 tries, 31940541 fired transitions, 1835 secs || 24084266 markings, 120958644 edges, 13177 markings/sec, 1835 secs
lola: STP completed || 33 tries, 32029196 fired transitions, 1840 secs || 24149724 markings, 121299756 edges, 13092 markings/sec, 1840 secs
lola: STP completed || 33 tries, 32117150 fired transitions, 1845 secs || 24214375 markings, 121637919 edges, 12930 markings/sec, 1845 secs
lola: STP completed || 33 tries, 32198645 fired transitions, 1850 secs || 24275219 markings, 121955837 edges, 12169 markings/sec, 1850 secs
lola: STP completed || 33 tries, 32279744 fired transitions, 1855 secs || 24335593 markings, 122270034 edges, 12075 markings/sec, 1855 secs
lola: STP completed || 33 tries, 32363953 fired transitions, 1860 secs || 24396711 markings, 122601594 edges, 12224 markings/sec, 1860 secs
lola: STP completed || 33 tries, 32445544 fired transitions, 1865 secs || 24457479 markings, 122917292 edges, 12154 markings/sec, 1865 secs
lola: STP completed || 33 tries, 32531901 fired transitions, 1870 secs || 24521931 markings, 123247142 edges, 12890 markings/sec, 1870 secs
lola: STP completed || 33 tries, 32613386 fired transitions, 1875 secs || 24583044 markings, 123551107 edges, 12223 markings/sec, 1875 secs
lola: STP completed || 33 tries, 32694764 fired transitions, 1880 secs || 24643589 markings, 123864403 edges, 12109 markings/sec, 1880 secs
lola: STP completed || 33 tries, 32776062 fired transitions, 1885 secs || 24705369 markings, 124176944 edges, 12356 markings/sec, 1885 secs
lola: STP completed || 33 tries, 32857389 fired transitions, 1890 secs || 24766687 markings, 124486868 edges, 12264 markings/sec, 1890 secs
lola: STP completed || 33 tries, 32939045 fired transitions, 1895 secs || 24827953 markings, 124808167 edges, 12253 markings/sec, 1895 secs
lola: STP completed || 34 tries, 33020524 fired transitions, 1900 secs || 24889710 markings, 125133801 edges, 12351 markings/sec, 1900 secs
lola: STP completed || 34 tries, 33101963 fired transitions, 1905 secs || 24950884 markings, 125453558 edges, 12235 markings/sec, 1905 secs
lola: STP completed || 34 tries, 33183274 fired transitions, 1910 secs || 25011022 markings, 125773303 edges, 12028 markings/sec, 1910 secs
lola: STP completed || 34 tries, 33267302 fired transitions, 1915 secs || 25075100 markings, 126105291 edges, 12816 markings/sec, 1915 secs
lola: STP completed || 34 tries, 33349226 fired transitions, 1920 secs || 25136326 markings, 126427360 edges, 12245 markings/sec, 1920 secs
lola: STP completed || 34 tries, 33423118 fired transitions, 1925 secs || 25190534 markings, 126717669 edges, 10842 markings/sec, 1925 secs
lola: STP completed || 34 tries, 33491899 fired transitions, 1930 secs || 25244319 markings, 126995369 edges, 10757 markings/sec, 1930 secs
lola: STP completed || 34 tries, 33562923 fired transitions, 1935 secs || 25297211 markings, 127269236 edges, 10578 markings/sec, 1935 secs
lola: STP completed || 34 tries, 33632727 fired transitions, 1940 secs || 25348465 markings, 127558206 edges, 10251 markings/sec, 1940 secs
lola: STP completed || 34 tries, 33704838 fired transitions, 1945 secs || 25401922 markings, 127841922 edges, 10691 markings/sec, 1945 secs
lola: STP completed || 34 tries, 33772078 fired transitions, 1950 secs || 25455741 markings, 128108616 edges, 10764 markings/sec, 1950 secs
lola: STP completed || 34 tries, 33842364 fired transitions, 1955 secs || 25512139 markings, 128384531 edges, 11280 markings/sec, 1955 secs
lola: STP completed || 34 tries, 33921821 fired transitions, 1960 secs || 25571751 markings, 128691673 edges, 11922 markings/sec, 1960 secs
lola: STP completed || 35 tries, 34008846 fired transitions, 1965 secs || 25634974 markings, 129029944 edges, 12645 markings/sec, 1965 secs
lola: STP completed || 35 tries, 34088455 fired transitions, 1970 secs || 25692179 markings, 129345510 edges, 11441 markings/sec, 1970 secs
lola: STP completed || 35 tries, 34168359 fired transitions, 1975 secs || 25750557 markings, 129637831 edges, 11676 markings/sec, 1975 secs
lola: STP completed || 35 tries, 34248119 fired transitions, 1980 secs || 25807743 markings, 129916484 edges, 11437 markings/sec, 1980 secs
lola: STP completed || 35 tries, 34320308 fired transitions, 1985 secs || 25863149 markings, 130152169 edges, 11081 markings/sec, 1985 secs
lola: STP completed || 35 tries, 34402448 fired transitions, 1990 secs || 25922363 markings, 130447357 edges, 11843 markings/sec, 1990 secs
lola: STP completed || 35 tries, 34485078 fired transitions, 1995 secs || 25987381 markings, 130720429 edges, 13004 markings/sec, 1995 secs
lola: STP completed || 35 tries, 34566729 fired transitions, 2000 secs || 26047290 markings, 130996134 edges, 11982 markings/sec, 2000 secs
lola: STP completed || 35 tries, 34642947 fired transitions, 2005 secs || 26108562 markings, 131273866 edges, 12254 markings/sec, 2005 secs
lola: STP completed || 35 tries, 34713428 fired transitions, 2010 secs || 26167046 markings, 131593682 edges, 11697 markings/sec, 2010 secs
lola: STP completed || 35 tries, 34784281 fired transitions, 2015 secs || 26222861 markings, 131865384 edges, 11163 markings/sec, 2015 secs
lola: STP completed || 35 tries, 34855030 fired transitions, 2020 secs || 26275415 markings, 132144007 edges, 10511 markings/sec, 2020 secs
lola: STP completed || 35 tries, 34926024 fired transitions, 2025 secs || 26328775 markings, 132415319 edges, 10672 markings/sec, 2025 secs
lola: STP completed || 35 tries, 34997837 fired transitions, 2030 secs || 26381810 markings, 132688021 edges, 10607 markings/sec, 2030 secs
lola: STP completed || 36 tries, 35079263 fired transitions, 2035 secs || 26441900 markings, 133017182 edges, 12018 markings/sec, 2035 secs
lola: STP completed || 36 tries, 35160748 fired transitions, 2040 secs || 26502200 markings, 133337632 edges, 12060 markings/sec, 2040 secs
lola: STP completed || 36 tries, 35242201 fired transitions, 2045 secs || 26561235 markings, 133673682 edges, 11807 markings/sec, 2045 secs
lola: STP completed || 36 tries, 35324600 fired transitions, 2050 secs || 26622158 markings, 134004756 edges, 12185 markings/sec, 2050 secs
lola: STP completed || 36 tries, 35414958 fired transitions, 2055 secs || 26689705 markings, 134350715 edges, 13509 markings/sec, 2055 secs
lola: STP completed || 36 tries, 35503849 fired transitions, 2060 secs || 26756213 markings, 134686067 edges, 13302 markings/sec, 2060 secs
lola: STP completed || 36 tries, 35593336 fired transitions, 2065 secs || 26822132 markings, 135041481 edges, 13184 markings/sec, 2065 secs
lola: STP completed || 36 tries, 35682825 fired transitions, 2070 secs || 26889407 markings, 135386694 edges, 13455 markings/sec, 2070 secs
lola: STP completed || 36 tries, 35773075 fired transitions, 2075 secs || 26955751 markings, 135750629 edges, 13269 markings/sec, 2075 secs
lola: STP completed || 36 tries, 35862209 fired transitions, 2080 secs || 27021720 markings, 136108991 edges, 13194 markings/sec, 2080 secs
lola: STP completed || 36 tries, 35949927 fired transitions, 2085 secs || 27086961 markings, 136446192 edges, 13048 markings/sec, 2085 secs
lola: STP completed || 37 tries, 36039273 fired transitions, 2090 secs || 27153755 markings, 136787622 edges, 13359 markings/sec, 2090 secs
lola: STP completed || 37 tries, 36127301 fired transitions, 2095 secs || 27218060 markings, 137142486 edges, 12861 markings/sec, 2095 secs
lola: STP completed || 37 tries, 36220429 fired transitions, 2100 secs || 27287883 markings, 137513714 edges, 13965 markings/sec, 2100 secs
lola: STP completed || 37 tries, 36312838 fired transitions, 2105 secs || 27355136 markings, 137906436 edges, 13451 markings/sec, 2105 secs
lola: STP completed || 37 tries, 36404136 fired transitions, 2110 secs || 27424033 markings, 138256434 edges, 13779 markings/sec, 2110 secs
lola: STP completed || 37 tries, 36497200 fired transitions, 2115 secs || 27494167 markings, 138609665 edges, 14027 markings/sec, 2115 secs
lola: STP completed || 37 tries, 36590455 fired transitions, 2120 secs || 27564493 markings, 138979185 edges, 14065 markings/sec, 2120 secs
lola: STP completed || 37 tries, 36682549 fired transitions, 2125 secs || 27633580 markings, 139332704 edges, 13817 markings/sec, 2125 secs
lola: STP completed || 37 tries, 36774466 fired transitions, 2130 secs || 27702672 markings, 139681667 edges, 13818 markings/sec, 2130 secs
lola: STP completed || 37 tries, 36865244 fired transitions, 2135 secs || 27771624 markings, 140025118 edges, 13790 markings/sec, 2135 secs
lola: STP completed || 37 tries, 36951082 fired transitions, 2140 secs || 27835103 markings, 140369197 edges, 12696 markings/sec, 2140 secs
lola: STP completed || 38 tries, 37035361 fired transitions, 2145 secs || 27898824 markings, 140692453 edges, 12744 markings/sec, 2145 secs
lola: STP completed || 38 tries, 37118072 fired transitions, 2150 secs || 27959588 markings, 141029482 edges, 12153 markings/sec, 2150 secs
lola: STP completed || 38 tries, 37201624 fired transitions, 2155 secs || 28021646 markings, 141337172 edges, 12412 markings/sec, 2155 secs
lola: STP completed || 38 tries, 37285450 fired transitions, 2160 secs || 28081384 markings, 141675347 edges, 11948 markings/sec, 2160 secs
lola: STP completed || 38 tries, 37359278 fired transitions, 2165 secs || 28135812 markings, 141937239 edges, 10886 markings/sec, 2165 secs
lola: STP completed || 38 tries, 37432824 fired transitions, 2170 secs || 28189420 markings, 142206447 edges, 10722 markings/sec, 2170 secs
lola: STP completed || 38 tries, 37507360 fired transitions, 2175 secs || 28243058 markings, 142491614 edges, 10728 markings/sec, 2175 secs
lola: STP completed || 38 tries, 37589963 fired transitions, 2180 secs || 28300028 markings, 142775674 edges, 11394 markings/sec, 2180 secs
lola: STP completed || 38 tries, 37672511 fired transitions, 2185 secs || 28359061 markings, 143034617 edges, 11807 markings/sec, 2185 secs
lola: STP completed || 38 tries, 37754336 fired transitions, 2190 secs || 28414914 markings, 143340373 edges, 11171 markings/sec, 2190 secs
lola: STP completed || 38 tries, 37836633 fired transitions, 2195 secs || 28471406 markings, 143662078 edges, 11298 markings/sec, 2195 secs
lola: STP completed || 38 tries, 37913042 fired transitions, 2200 secs || 28530140 markings, 143965396 edges, 11747 markings/sec, 2200 secs
lola: STP completed || 38 tries, 37991241 fired transitions, 2205 secs || 28588263 markings, 144268866 edges, 11625 markings/sec, 2205 secs
lola: STP completed || 39 tries, 38070294 fired transitions, 2210 secs || 28644984 markings, 144571550 edges, 11344 markings/sec, 2210 secs
lola: STP completed || 39 tries, 38147796 fired transitions, 2215 secs || 28704231 markings, 144860576 edges, 11849 markings/sec, 2215 secs
lola: STP completed || 39 tries, 38225163 fired transitions, 2220 secs || 28762180 markings, 145159342 edges, 11590 markings/sec, 2220 secs
lola: STP completed || 39 tries, 38301302 fired transitions, 2225 secs || 28818172 markings, 145453099 edges, 11198 markings/sec, 2225 secs
lola: STP completed || 39 tries, 38379194 fired transitions, 2230 secs || 28875121 markings, 145752027 edges, 11390 markings/sec, 2230 secs
lola: STP completed || 39 tries, 38455762 fired transitions, 2235 secs || 28930766 markings, 146036636 edges, 11129 markings/sec, 2235 secs
lola: STP completed || 39 tries, 38530003 fired transitions, 2240 secs || 28982344 markings, 146301162 edges, 10316 markings/sec, 2240 secs
lola: STP completed || 39 tries, 38602617 fired transitions, 2245 secs || 29035882 markings, 146575570 edges, 10708 markings/sec, 2245 secs
lola: STP completed || 39 tries, 38684775 fired transitions, 2250 secs || 29095552 markings, 146912204 edges, 11934 markings/sec, 2250 secs
lola: STP completed || 39 tries, 38771839 fired transitions, 2255 secs || 29160472 markings, 147257736 edges, 12984 markings/sec, 2255 secs
lola: STP completed || 39 tries, 38858987 fired transitions, 2260 secs || 29224398 markings, 147589220 edges, 12785 markings/sec, 2260 secs
lola: STP completed || 39 tries, 38936156 fired transitions, 2265 secs || 29283699 markings, 147887505 edges, 11860 markings/sec, 2265 secs
lola: STP completed || 40 tries, 39013822 fired transitions, 2270 secs || 29345631 markings, 148198795 edges, 12386 markings/sec, 2270 secs
lola: STP completed || 40 tries, 39090311 fired transitions, 2275 secs || 29407098 markings, 148517115 edges, 12293 markings/sec, 2275 secs
lola: STP completed || 40 tries, 39167316 fired transitions, 2280 secs || 29468416 markings, 148813262 edges, 12264 markings/sec, 2280 secs
lola: STP completed || 40 tries, 39248568 fired transitions, 2285 secs || 29526439 markings, 149116695 edges, 11605 markings/sec, 2285 secs
lola: STP completed || 40 tries, 39331513 fired transitions, 2290 secs || 29582627 markings, 149416102 edges, 11238 markings/sec, 2290 secs
lola: STP completed || 40 tries, 39413404 fired transitions, 2295 secs || 29637847 markings, 149710015 edges, 11044 markings/sec, 2295 secs
lola: STP completed || 40 tries, 39494637 fired transitions, 2300 secs || 29694501 markings, 150008340 edges, 11331 markings/sec, 2300 secs
lola: STP completed || 40 tries, 39575776 fired transitions, 2305 secs || 29751322 markings, 150302734 edges, 11364 markings/sec, 2305 secs
lola: STP completed || 40 tries, 39657090 fired transitions, 2310 secs || 29807871 markings, 150608551 edges, 11310 markings/sec, 2310 secs
lola: STP completed || 40 tries, 39738745 fired transitions, 2315 secs || 29864263 markings, 150895055 edges, 11278 markings/sec, 2315 secs
lola: STP completed || 40 tries, 39819903 fired transitions, 2320 secs || 29921940 markings, 151192871 edges, 11535 markings/sec, 2320 secs
lola: STP completed || 40 tries, 39901912 fired transitions, 2325 secs || 29977263 markings, 151477136 edges, 11065 markings/sec, 2325 secs
lola: STP completed || 40 tries, 39983000 fired transitions, 2330 secs || 30034616 markings, 151760253 edges, 11471 markings/sec, 2330 secs
lola: STP completed || 41 tries, 40064197 fired transitions, 2335 secs || 30091712 markings, 152053777 edges, 11419 markings/sec, 2335 secs
lola: STP completed || 41 tries, 40145301 fired transitions, 2340 secs || 30148787 markings, 152344669 edges, 11415 markings/sec, 2340 secs
lola: STP completed || 41 tries, 40226111 fired transitions, 2345 secs || 30208836 markings, 152636223 edges, 12010 markings/sec, 2345 secs
lola: STP completed || 41 tries, 40307428 fired transitions, 2350 secs || 30265680 markings, 152935768 edges, 11369 markings/sec, 2350 secs
lola: STP completed || 41 tries, 40388978 fired transitions, 2355 secs || 30319899 markings, 153229633 edges, 10844 markings/sec, 2355 secs
lola: STP completed || 41 tries, 40469886 fired transitions, 2360 secs || 30376902 markings, 153520779 edges, 11401 markings/sec, 2360 secs
lola: STP completed || 41 tries, 40549543 fired transitions, 2365 secs || 30433715 markings, 153821548 edges, 11363 markings/sec, 2365 secs
lola: STP completed || 41 tries, 40632885 fired transitions, 2370 secs || 30495761 markings, 154142337 edges, 12409 markings/sec, 2370 secs
lola: STP completed || 41 tries, 40720335 fired transitions, 2375 secs || 30560824 markings, 154480710 edges, 13013 markings/sec, 2375 secs
lola: STP completed || 41 tries, 40809677 fired transitions, 2380 secs || 30627217 markings, 154832132 edges, 13279 markings/sec, 2380 secs
lola: STP completed || 41 tries, 40899765 fired transitions, 2385 secs || 30693101 markings, 155195995 edges, 13177 markings/sec, 2385 secs
lola: STP completed || 41 tries, 40981946 fired transitions, 2390 secs || 30756538 markings, 155537689 edges, 12687 markings/sec, 2390 secs
lola: STP completed || 42 tries, 41060724 fired transitions, 2395 secs || 30816235 markings, 155837077 edges, 11939 markings/sec, 2395 secs
lola: STP completed || 42 tries, 41150094 fired transitions, 2400 secs || 30884059 markings, 156179592 edges, 13565 markings/sec, 2400 secs
lola: STP completed || 42 tries, 41242574 fired transitions, 2405 secs || 30953587 markings, 156527378 edges, 13906 markings/sec, 2405 secs
lola: STP completed || 42 tries, 41333012 fired transitions, 2410 secs || 31018304 markings, 156880250 edges, 12943 markings/sec, 2410 secs
lola: STP completed || 42 tries, 41414896 fired transitions, 2415 secs || 31078857 markings, 157210065 edges, 12111 markings/sec, 2415 secs
lola: STP completed || 42 tries, 41488198 fired transitions, 2420 secs || 31138713 markings, 157518995 edges, 11971 markings/sec, 2420 secs
lola: STP completed || 42 tries, 41561166 fired transitions, 2425 secs || 31198618 markings, 157808518 edges, 11981 markings/sec, 2425 secs
lola: STP completed || 42 tries, 41637373 fired transitions, 2430 secs || 31251578 markings, 158083729 edges, 10592 markings/sec, 2430 secs
lola: STP completed || 42 tries, 41717118 fired transitions, 2435 secs || 31309563 markings, 158401029 edges, 11597 markings/sec, 2435 secs
lola: STP completed || 42 tries, 41799313 fired transitions, 2440 secs || 31374235 markings, 158671580 edges, 12934 markings/sec, 2440 secs
lola: STP completed || 42 tries, 41880434 fired transitions, 2445 secs || 31430845 markings, 158986472 edges, 11322 markings/sec, 2445 secs
lola: STP completed || 42 tries, 41960550 fired transitions, 2450 secs || 31482482 markings, 159261711 edges, 10327 markings/sec, 2450 secs
lola: STP completed || 43 tries, 42041759 fired transitions, 2455 secs || 31533579 markings, 159534889 edges, 10219 markings/sec, 2455 secs
lola: STP completed || 43 tries, 42121341 fired transitions, 2460 secs || 31588007 markings, 159803884 edges, 10886 markings/sec, 2460 secs
lola: STP completed || 43 tries, 42201477 fired transitions, 2465 secs || 31639516 markings, 160084561 edges, 10302 markings/sec, 2465 secs
lola: STP completed || 43 tries, 42283085 fired transitions, 2470 secs || 31690977 markings, 160357898 edges, 10292 markings/sec, 2470 secs
lola: STP completed || 43 tries, 42364570 fired transitions, 2475 secs || 31745267 markings, 160622953 edges, 10858 markings/sec, 2475 secs
lola: STP completed || 43 tries, 42444785 fired transitions, 2480 secs || 31799691 markings, 160899135 edges, 10885 markings/sec, 2480 secs
lola: STP completed || 43 tries, 42523741 fired transitions, 2485 secs || 31853262 markings, 161179412 edges, 10714 markings/sec, 2485 secs
lola: STP completed || 43 tries, 42603747 fired transitions, 2490 secs || 31907195 markings, 161459276 edges, 10787 markings/sec, 2490 secs
lola: STP completed || 43 tries, 42682796 fired transitions, 2495 secs || 31960941 markings, 161741655 edges, 10749 markings/sec, 2495 secs
lola: STP completed || 43 tries, 42754078 fired transitions, 2500 secs || 32011842 markings, 162023780 edges, 10180 markings/sec, 2500 secs
lola: STP completed || 43 tries, 42825038 fired transitions, 2505 secs || 32064711 markings, 162317124 edges, 10574 markings/sec, 2505 secs
lola: STP completed || 43 tries, 42897299 fired transitions, 2510 secs || 32117385 markings, 162600347 edges, 10535 markings/sec, 2510 secs
lola: STP completed || 43 tries, 42980855 fired transitions, 2515 secs || 32172576 markings, 162875793 edges, 11038 markings/sec, 2515 secs
lola: STP completed || 44 tries, 43064857 fired transitions, 2520 secs || 32226092 markings, 163158442 edges, 10703 markings/sec, 2520 secs
lola: STP completed || 44 tries, 43148917 fired transitions, 2525 secs || 32278107 markings, 163441994 edges, 10403 markings/sec, 2525 secs
lola: STP completed || 44 tries, 43231224 fired transitions, 2530 secs || 32332437 markings, 163739093 edges, 10866 markings/sec, 2530 secs
lola: STP completed || 44 tries, 43312341 fired transitions, 2535 secs || 32385818 markings, 164018023 edges, 10676 markings/sec, 2535 secs
lola: STP completed || 44 tries, 43394284 fired transitions, 2540 secs || 32444211 markings, 164320702 edges, 11679 markings/sec, 2540 secs
lola: STP completed || 44 tries, 43468377 fired transitions, 2545 secs || 32498598 markings, 164609879 edges, 10877 markings/sec, 2545 secs
lola: STP completed || 44 tries, 43539104 fired transitions, 2550 secs || 32552730 markings, 164878982 edges, 10826 markings/sec, 2550 secs
lola: STP completed || 44 tries, 43613016 fired transitions, 2555 secs || 32608247 markings, 165173055 edges, 11103 markings/sec, 2555 secs
lola: STP completed || 44 tries, 43694079 fired transitions, 2560 secs || 32668105 markings, 165495627 edges, 11972 markings/sec, 2560 secs
lola: STP completed || 44 tries, 43766890 fired transitions, 2565 secs || 32720358 markings, 165795265 edges, 10451 markings/sec, 2565 secs
lola: STP completed || 44 tries, 43839244 fired transitions, 2570 secs || 32773838 markings, 166077647 edges, 10696 markings/sec, 2570 secs
lola: STP completed || 44 tries, 43918766 fired transitions, 2575 secs || 32836584 markings, 166378972 edges, 12549 markings/sec, 2575 secs
lola: STP completed || 44 tries, 43998300 fired transitions, 2580 secs || 32898468 markings, 166705043 edges, 12377 markings/sec, 2580 secs
lola: STP completed || 45 tries, 44081894 fired transitions, 2585 secs || 32956101 markings, 167034694 edges, 11527 markings/sec, 2585 secs
lola: STP completed || 45 tries, 44173382 fired transitions, 2590 secs || 33025753 markings, 167385311 edges, 13930 markings/sec, 2590 secs
lola: STP completed || 45 tries, 44264319 fired transitions, 2595 secs || 33093778 markings, 167723505 edges, 13605 markings/sec, 2595 secs
lola: STP completed || 45 tries, 44353637 fired transitions, 2600 secs || 33159839 markings, 168082739 edges, 13212 markings/sec, 2600 secs
lola: STP completed || 45 tries, 44434554 fired transitions, 2605 secs || 33219071 markings, 168382493 edges, 11846 markings/sec, 2605 secs
lola: STP completed || 45 tries, 44514679 fired transitions, 2610 secs || 33277966 markings, 168696899 edges, 11779 markings/sec, 2610 secs
lola: STP completed || 45 tries, 44597893 fired transitions, 2615 secs || 33335882 markings, 169012735 edges, 11583 markings/sec, 2615 secs
lola: STP completed || 45 tries, 44681328 fired transitions, 2620 secs || 33393338 markings, 169320422 edges, 11491 markings/sec, 2620 secs
lola: STP completed || 45 tries, 44764693 fired transitions, 2625 secs || 33450348 markings, 169621681 edges, 11402 markings/sec, 2625 secs
lola: STP completed || 45 tries, 44848615 fired transitions, 2630 secs || 33507830 markings, 169931010 edges, 11496 markings/sec, 2630 secs
lola: STP completed || 45 tries, 44931873 fired transitions, 2635 secs || 33565642 markings, 170238220 edges, 11562 markings/sec, 2635 secs
lola: STP completed || 46 tries, 45014909 fired transitions, 2640 secs || 33623893 markings, 170550045 edges, 11650 markings/sec, 2640 secs
lola: STP completed || 46 tries, 45097991 fired transitions, 2645 secs || 33683743 markings, 170831990 edges, 11970 markings/sec, 2645 secs
lola: STP completed || 46 tries, 45179930 fired transitions, 2650 secs || 33749229 markings, 171080380 edges, 13097 markings/sec, 2650 secs
lola: STP completed || 46 tries, 45269653 fired transitions, 2655 secs || 33824852 markings, 171383522 edges, 15125 markings/sec, 2655 secs
lola: STP completed || 46 tries, 45359916 fired transitions, 2660 secs || 33893910 markings, 171732345 edges, 13812 markings/sec, 2660 secs
lola: STP completed || 46 tries, 45450847 fired transitions, 2665 secs || 33960883 markings, 172083200 edges, 13395 markings/sec, 2665 secs
lola: STP completed || 46 tries, 45542590 fired transitions, 2670 secs || 34029072 markings, 172446337 edges, 13638 markings/sec, 2670 secs
lola: STP completed || 46 tries, 45634654 fired transitions, 2675 secs || 34097830 markings, 172798107 edges, 13752 markings/sec, 2675 secs
lola: STP completed || 46 tries, 45726516 fired transitions, 2680 secs || 34165877 markings, 173156468 edges, 13609 markings/sec, 2680 secs
lola: STP completed || 46 tries, 45820951 fired transitions, 2685 secs || 34235889 markings, 173533669 edges, 14002 markings/sec, 2685 secs
lola: STP completed || 46 tries, 45914476 fired transitions, 2690 secs || 34303221 markings, 173896867 edges, 13466 markings/sec, 2690 secs
lola: STP completed || 47 tries, 46004700 fired transitions, 2695 secs || 34368191 markings, 174248913 edges, 12994 markings/sec, 2695 secs
lola: STP completed || 47 tries, 46092348 fired transitions, 2700 secs || 34433715 markings, 174568050 edges, 13105 markings/sec, 2700 secs
lola: STP completed || 47 tries, 46181540 fired transitions, 2705 secs || 34500056 markings, 174916211 edges, 13268 markings/sec, 2705 secs
lola: STP completed || 47 tries, 46269689 fired transitions, 2710 secs || 34565409 markings, 175239407 edges, 13071 markings/sec, 2710 secs
lola: STP completed || 47 tries, 46357024 fired transitions, 2715 secs || 34629859 markings, 175579587 edges, 12890 markings/sec, 2715 secs
lola: STP completed || 47 tries, 46439106 fired transitions, 2720 secs || 34689610 markings, 175902550 edges, 11950 markings/sec, 2720 secs
lola: STP completed || 47 tries, 46521374 fired transitions, 2725 secs || 34747756 markings, 176213127 edges, 11629 markings/sec, 2725 secs
lola: STP completed || 47 tries, 46604424 fired transitions, 2730 secs || 34804191 markings, 176516474 edges, 11287 markings/sec, 2730 secs
lola: STP completed || 47 tries, 46686467 fired transitions, 2735 secs || 34863077 markings, 176820796 edges, 11777 markings/sec, 2735 secs
lola: STP completed || 47 tries, 46762454 fired transitions, 2740 secs || 34915866 markings, 177126916 edges, 10558 markings/sec, 2740 secs
lola: STP completed || 47 tries, 46835071 fired transitions, 2745 secs || 34969333 markings, 177405713 edges, 10693 markings/sec, 2745 secs
lola: STP completed || 47 tries, 46905697 fired transitions, 2750 secs || 35022434 markings, 177682639 edges, 10620 markings/sec, 2750 secs
lola: STP completed || 47 tries, 46976735 fired transitions, 2755 secs || 35075541 markings, 177946437 edges, 10621 markings/sec, 2755 secs
lola: STP completed || 48 tries, 47047773 fired transitions, 2760 secs || 35128715 markings, 178218228 edges, 10635 markings/sec, 2760 secs
lola: STP completed || 48 tries, 47118665 fired transitions, 2765 secs || 35181026 markings, 178498013 edges, 10462 markings/sec, 2765 secs
lola: STP completed || 48 tries, 47196271 fired transitions, 2770 secs || 35239081 markings, 178747291 edges, 11611 markings/sec, 2770 secs
lola: STP completed || 48 tries, 47279505 fired transitions, 2775 secs || 35302066 markings, 178987253 edges, 12597 markings/sec, 2775 secs
lola: STP completed || 48 tries, 47362809 fired transitions, 2780 secs || 35361641 markings, 179238986 edges, 11915 markings/sec, 2780 secs
lola: STP completed || 48 tries, 47446140 fired transitions, 2785 secs || 35423988 markings, 179506230 edges, 12469 markings/sec, 2785 secs
lola: STP completed || 48 tries, 47530332 fired transitions, 2790 secs || 35485016 markings, 179791061 edges, 12206 markings/sec, 2790 secs
lola: STP completed || 48 tries, 47613076 fired transitions, 2795 secs || 35543602 markings, 180119203 edges, 11717 markings/sec, 2795 secs
lola: STP completed || 48 tries, 47695637 fired transitions, 2800 secs || 35603915 markings, 180403100 edges, 12063 markings/sec, 2800 secs
lola: STP completed || 48 tries, 47778706 fired transitions, 2805 secs || 35661571 markings, 180728935 edges, 11531 markings/sec, 2805 secs
lola: STP completed || 48 tries, 47861740 fired transitions, 2810 secs || 35719703 markings, 181046665 edges, 11626 markings/sec, 2810 secs
lola: STP completed || 48 tries, 47944782 fired transitions, 2815 secs || 35777897 markings, 181357592 edges, 11639 markings/sec, 2815 secs
lola: STP completed || 49 tries, 48027461 fired transitions, 2820 secs || 35836022 markings, 181675974 edges, 11625 markings/sec, 2820 secs
lola: STP completed || 49 tries, 48110515 fired transitions, 2825 secs || 35894333 markings, 181989033 edges, 11662 markings/sec, 2825 secs
lola: STP completed || 49 tries, 48193628 fired transitions, 2830 secs || 35954053 markings, 182293368 edges, 11944 markings/sec, 2830 secs
lola: STP completed || 49 tries, 48276768 fired transitions, 2835 secs || 36010281 markings, 182585305 edges, 11246 markings/sec, 2835 secs
lola: STP completed || 49 tries, 48359846 fired transitions, 2840 secs || 36065641 markings, 182870141 edges, 11072 markings/sec, 2840 secs
lola: STP completed || 49 tries, 48440817 fired transitions, 2845 secs || 36121156 markings, 183156107 edges, 11103 markings/sec, 2845 secs
lola: STP completed || 49 tries, 48522232 fired transitions, 2850 secs || 36176188 markings, 183462136 edges, 11006 markings/sec, 2850 secs
lola: STP completed || 49 tries, 48602787 fired transitions, 2855 secs || 36237624 markings, 183773485 edges, 12287 markings/sec, 2855 secs
lola: STP completed || 49 tries, 48680526 fired transitions, 2860 secs || 36297215 markings, 184060280 edges, 11918 markings/sec, 2860 secs
lola: STP completed || 49 tries, 48759896 fired transitions, 2865 secs || 36355915 markings, 184363169 edges, 11740 markings/sec, 2865 secs
lola: STP completed || 49 tries, 48839502 fired transitions, 2870 secs || 36414165 markings, 184661316 edges, 11650 markings/sec, 2870 secs
lola: STP completed || 49 tries, 48919254 fired transitions, 2875 secs || 36472723 markings, 184960682 edges, 11712 markings/sec, 2875 secs
lola: STP completed || 49 tries, 48998342 fired transitions, 2880 secs || 36533299 markings, 185270597 edges, 12115 markings/sec, 2880 secs
lola: STP completed || 50 tries, 49078358 fired transitions, 2885 secs || 36594111 markings, 185593771 edges, 12162 markings/sec, 2885 secs
lola: STP completed || 50 tries, 49158113 fired transitions, 2890 secs || 36653903 markings, 185913746 edges, 11958 markings/sec, 2890 secs
lola: STP completed || 50 tries, 49238223 fired transitions, 2895 secs || 36709398 markings, 186221448 edges, 11099 markings/sec, 2895 secs
lola: STP completed || 50 tries, 49317057 fired transitions, 2900 secs || 36766796 markings, 186529650 edges, 11480 markings/sec, 2900 secs
lola: STP completed || 50 tries, 49396614 fired transitions, 2905 secs || 36825076 markings, 186840209 edges, 11656 markings/sec, 2905 secs
lola: STP completed || 50 tries, 49476473 fired transitions, 2910 secs || 36884184 markings, 187142506 edges, 11822 markings/sec, 2910 secs
lola: STP completed || 50 tries, 49556191 fired transitions, 2915 secs || 36943945 markings, 187455889 edges, 11952 markings/sec, 2915 secs
lola: STP completed || 50 tries, 49635415 fired transitions, 2920 secs || 37004856 markings, 187747086 edges, 12182 markings/sec, 2920 secs
lola: STP completed || 50 tries, 49718663 fired transitions, 2925 secs || 37064920 markings, 188014722 edges, 12013 markings/sec, 2925 secs
lola: STP completed || 50 tries, 49800718 fired transitions, 2930 secs || 37123890 markings, 188294290 edges, 11794 markings/sec, 2930 secs
lola: STP completed || 50 tries, 49883534 fired transitions, 2935 secs || 37187020 markings, 188575660 edges, 12626 markings/sec, 2935 secs
lola: STP completed || 50 tries, 49965940 fired transitions, 2940 secs || 37247989 markings, 188850407 edges, 12194 markings/sec, 2940 secs
lola: STP completed || 51 tries, 50048240 fired transitions, 2945 secs || 37307191 markings, 189144026 edges, 11840 markings/sec, 2945 secs
lola: STP completed || 51 tries, 50139614 fired transitions, 2950 secs || 37373440 markings, 189535745 edges, 13250 markings/sec, 2950 secs
lola: STP completed || 51 tries, 50228875 fired transitions, 2955 secs || 37439097 markings, 189890437 edges, 13131 markings/sec, 2955 secs
lola: STP completed || 51 tries, 50309696 fired transitions, 2960 secs || 37499597 markings, 190154574 edges, 12100 markings/sec, 2960 secs
lola: STP completed || 51 tries, 50391392 fired transitions, 2965 secs || 37556549 markings, 190462533 edges, 11390 markings/sec, 2965 secs
lola: STP completed || 51 tries, 50473300 fired transitions, 2970 secs || 37615182 markings, 190737381 edges, 11727 markings/sec, 2970 secs
lola: STP completed || 51 tries, 50555751 fired transitions, 2975 secs || 37672910 markings, 191033889 edges, 11546 markings/sec, 2975 secs
lola: STP completed || 51 tries, 50637593 fired transitions, 2980 secs || 37732959 markings, 191310364 edges, 12010 markings/sec, 2980 secs
lola: STP completed || 51 tries, 50718906 fired transitions, 2985 secs || 37794317 markings, 191602517 edges, 12272 markings/sec, 2985 secs
lola: STP completed || 51 tries, 50802616 fired transitions, 2990 secs || 37853505 markings, 191917645 edges, 11838 markings/sec, 2990 secs
lola: STP completed || 51 tries, 50884583 fired transitions, 2995 secs || 37912491 markings, 192226991 edges, 11797 markings/sec, 2995 secs
lola: STP completed || 51 tries, 50967536 fired transitions, 3000 secs || 37971333 markings, 192565578 edges, 11768 markings/sec, 3000 secs
lola: STP completed || 52 tries, 51046215 fired transitions, 3005 secs || 38029637 markings, 192900349 edges, 11661 markings/sec, 3005 secs
lola: STP completed || 52 tries, 51125614 fired transitions, 3010 secs || 38087378 markings, 193203206 edges, 11548 markings/sec, 3010 secs
lola: STP completed || 52 tries, 51205155 fired transitions, 3015 secs || 38145379 markings, 193514948 edges, 11600 markings/sec, 3015 secs
lola: STP completed || 52 tries, 51284768 fired transitions, 3020 secs || 38202634 markings, 193827612 edges, 11451 markings/sec, 3020 secs
lola: STP completed || 52 tries, 51363960 fired transitions, 3025 secs || 38261437 markings, 194120468 edges, 11761 markings/sec, 3025 secs
lola: STP completed || 52 tries, 51442928 fired transitions, 3030 secs || 38318384 markings, 194425614 edges, 11389 markings/sec, 3030 secs
lola: STP completed || 52 tries, 51522504 fired transitions, 3035 secs || 38376197 markings, 194715888 edges, 11563 markings/sec, 3035 secs
lola: STP completed || 52 tries, 51601847 fired transitions, 3040 secs || 38435641 markings, 195001056 edges, 11889 markings/sec, 3040 secs
lola: STP completed || 52 tries, 51681303 fired transitions, 3045 secs || 38493858 markings, 195300087 edges, 11643 markings/sec, 3045 secs
lola: STP completed || 52 tries, 51759363 fired transitions, 3050 secs || 38552341 markings, 195593128 edges, 11697 markings/sec, 3050 secs
lola: STP completed || 52 tries, 51838077 fired transitions, 3055 secs || 38609539 markings, 195892211 edges, 11440 markings/sec, 3055 secs
lola: STP completed || 52 tries, 51917048 fired transitions, 3060 secs || 38665893 markings, 196227108 edges, 11271 markings/sec, 3060 secs
lola: STP completed || 52 tries, 51996526 fired transitions, 3065 secs || 38724067 markings, 196552125 edges, 11635 markings/sec, 3065 secs
lola: STP completed || 53 tries, 52079738 fired transitions, 3070 secs || 38782427 markings, 196875475 edges, 11672 markings/sec, 3070 secs
lola: STP completed || 53 tries, 52162766 fired transitions, 3075 secs || 38841781 markings, 197194225 edges, 11871 markings/sec, 3075 secs
lola: STP completed || 53 tries, 52245753 fired transitions, 3080 secs || 38900258 markings, 197517591 edges, 11695 markings/sec, 3080 secs
lola: STP completed || 53 tries, 52327963 fired transitions, 3085 secs || 38960618 markings, 197822723 edges, 12072 markings/sec, 3085 secs
lola: STP completed || 53 tries, 52409677 fired transitions, 3090 secs || 39023182 markings, 198092775 edges, 12513 markings/sec, 3090 secs
lola: STP completed || 53 tries, 52492379 fired transitions, 3095 secs || 39084664 markings, 198386484 edges, 12296 markings/sec, 3095 secs
lola: STP completed || 53 tries, 52575354 fired transitions, 3100 secs || 39144827 markings, 198684197 edges, 12033 markings/sec, 3100 secs
lola: STP completed || 53 tries, 52657984 fired transitions, 3105 secs || 39203693 markings, 198993229 edges, 11773 markings/sec, 3105 secs
lola: STP completed || 53 tries, 52739403 fired transitions, 3110 secs || 39262902 markings, 199299104 edges, 11842 markings/sec, 3110 secs
lola: STP completed || 53 tries, 52822789 fired transitions, 3115 secs || 39321054 markings, 199608283 edges, 11630 markings/sec, 3115 secs
lola: STP completed || 53 tries, 52905833 fired transitions, 3120 secs || 39380263 markings, 199870398 edges, 11842 markings/sec, 3120 secs
lola: STP completed || 53 tries, 52989189 fired transitions, 3125 secs || 39439284 markings, 200129402 edges, 11804 markings/sec, 3125 secs
lola: STP completed || 54 tries, 53072898 fired transitions, 3130 secs || 39497612 markings, 200398378 edges, 11666 markings/sec, 3130 secs
lola: STP completed || 54 tries, 53156366 fired transitions, 3135 secs || 39556519 markings, 200656416 edges, 11781 markings/sec, 3135 secs
lola: STP completed || 54 tries, 53239999 fired transitions, 3140 secs || 39614750 markings, 200928931 edges, 11646 markings/sec, 3140 secs
lola: STP completed || 54 tries, 53323813 fired transitions, 3145 secs || 39672637 markings, 201213419 edges, 11577 markings/sec, 3145 secs
lola: STP completed || 54 tries, 53407208 fired transitions, 3150 secs || 39737445 markings, 201505077 edges, 12962 markings/sec, 3150 secs
lola: STP completed || 54 tries, 53490626 fired transitions, 3155 secs || 39794776 markings, 201828814 edges, 11466 markings/sec, 3155 secs
lola: STP completed || 54 tries, 53573848 fired transitions, 3160 secs || 39853555 markings, 202135908 edges, 11756 markings/sec, 3160 secs
lola: STP completed || 54 tries, 53656456 fired transitions, 3165 secs || 39914189 markings, 202399031 edges, 12127 markings/sec, 3165 secs
lola: STP completed || 54 tries, 53738622 fired transitions, 3170 secs || 39976560 markings, 202656903 edges, 12474 markings/sec, 3170 secs
lola: STP completed || 54 tries, 53821125 fired transitions, 3175 secs || 40038540 markings, 202906183 edges, 12396 markings/sec, 3175 secs
lola: STP completed || 54 tries, 53904821 fired transitions, 3180 secs || 40102023 markings, 203178387 edges, 12697 markings/sec, 3180 secs
lola: STP completed || 54 tries, 53990844 fired transitions, 3185 secs || 40167743 markings, 203461497 edges, 13144 markings/sec, 3185 secs
lola: STP completed || 55 tries, 54073885 fired transitions, 3190 secs || 40230448 markings, 203734645 edges, 12541 markings/sec, 3190 secs
lola: STP completed || 55 tries, 54156631 fired transitions, 3195 secs || 40289810 markings, 204011662 edges, 11872 markings/sec, 3195 secs
lola: STP completed || 55 tries, 54239595 fired transitions, 3200 secs || 40351975 markings, 204291726 edges, 12433 markings/sec, 3200 secs
lola: STP completed || 55 tries, 54322808 fired transitions, 3205 secs || 40410411 markings, 204605720 edges, 11687 markings/sec, 3205 secs
lola: STP completed || 55 tries, 54406276 fired transitions, 3210 secs || 40467287 markings, 204917677 edges, 11375 markings/sec, 3210 secs
lola: STP completed || 55 tries, 54490279 fired transitions, 3215 secs || 40523777 markings, 205239648 edges, 11298 markings/sec, 3215 secs
lola: STP completed || 55 tries, 54573930 fired transitions, 3220 secs || 40581609 markings, 205537611 edges, 11566 markings/sec, 3220 secs
lola: STP completed || 55 tries, 54656992 fired transitions, 3225 secs || 40640373 markings, 205844575 edges, 11753 markings/sec, 3225 secs
lola: STP completed || 55 tries, 54740291 fired transitions, 3230 secs || 40700889 markings, 206157510 edges, 12103 markings/sec, 3230 secs
lola: STP completed || 55 tries, 54823755 fired transitions, 3235 secs || 40758689 markings, 206479816 edges, 11560 markings/sec, 3235 secs
lola: STP completed || 55 tries, 54907054 fired transitions, 3240 secs || 40817464 markings, 206764167 edges, 11755 markings/sec, 3240 secs
lola: STP completed || 55 tries, 54990201 fired transitions, 3245 secs || 40877147 markings, 207052651 edges, 11937 markings/sec, 3245 secs
lola: STP completed || 56 tries, 55073565 fired transitions, 3250 secs || 40936281 markings, 207355226 edges, 11827 markings/sec, 3250 secs
lola: STP completed || 56 tries, 55156913 fired transitions, 3255 secs || 40991288 markings, 207654711 edges, 11001 markings/sec, 3255 secs
lola: STP completed || 56 tries, 55240783 fired transitions, 3260 secs || 41045510 markings, 207943845 edges, 10844 markings/sec, 3260 secs
lola: STP completed || 56 tries, 55324258 fired transitions, 3265 secs || 41101112 markings, 208214663 edges, 11120 markings/sec, 3265 secs
lola: STP completed || 56 tries, 55408109 fired transitions, 3270 secs || 41158176 markings, 208469418 edges, 11413 markings/sec, 3270 secs
lola: STP completed || 56 tries, 55491653 fired transitions, 3275 secs || 41213357 markings, 208763089 edges, 11036 markings/sec, 3275 secs
lola: STP completed || 56 tries, 55574253 fired transitions, 3280 secs || 41270075 markings, 209055108 edges, 11344 markings/sec, 3280 secs
lola: STP completed || 56 tries, 55656459 fired transitions, 3285 secs || 41324432 markings, 209348737 edges, 10871 markings/sec, 3285 secs
lola: STP completed || 56 tries, 55738539 fired transitions, 3290 secs || 41380086 markings, 209639079 edges, 11131 markings/sec, 3290 secs
lola: STP completed || 56 tries, 55821345 fired transitions, 3295 secs || 41438042 markings, 209959215 edges, 11591 markings/sec, 3295 secs
lola: STP completed || 56 tries, 55904678 fired transitions, 3300 secs || 41495528 markings, 210274856 edges, 11497 markings/sec, 3300 secs
lola: STP completed || 56 tries, 55984719 fired transitions, 3305 secs || 41552034 markings, 210583917 edges, 11301 markings/sec, 3305 secs
lola: STP completed || 57 tries, 56066568 fired transitions, 3310 secs || 41609164 markings, 210893827 edges, 11426 markings/sec, 3310 secs
lola: STP completed || 57 tries, 56149631 fired transitions, 3315 secs || 41668001 markings, 211196394 edges, 11767 markings/sec, 3315 secs
lola: STP completed || 57 tries, 56232383 fired transitions, 3320 secs || 41727472 markings, 211489037 edges, 11894 markings/sec, 3320 secs
lola: STP completed || 57 tries, 56314807 fired transitions, 3325 secs || 41785118 markings, 211801575 edges, 11529 markings/sec, 3325 secs
lola: STP completed || 57 tries, 56397130 fired transitions, 3330 secs || 41843836 markings, 212106414 edges, 11744 markings/sec, 3330 secs
lola: STP completed || 57 tries, 56479556 fired transitions, 3335 secs || 41901559 markings, 212416032 edges, 11545 markings/sec, 3335 secs
lola: STP completed || 57 tries, 56551252 fired transitions, 3340 secs || 41953557 markings, 212718775 edges, 10400 markings/sec, 3340 secs
lola: STP completed || 57 tries, 56622022 fired transitions, 3345 secs || 42006525 markings, 213006185 edges, 10594 markings/sec, 3345 secs
lola: STP completed || 57 tries, 56693097 fired transitions, 3350 secs || 42059780 markings, 213278517 edges, 10651 markings/sec, 3350 secs
lola: STP completed || 57 tries, 56770496 fired transitions, 3355 secs || 42115089 markings, 213573204 edges, 11062 markings/sec, 3355 secs
lola: STP completed || 57 tries, 56853615 fired transitions, 3360 secs || 42174229 markings, 213873537 edges, 11828 markings/sec, 3360 secs
lola: STP completed || 57 tries, 56937344 fired transitions, 3365 secs || 42231439 markings, 214191086 edges, 11442 markings/sec, 3365 secs
lola: STP completed || 58 tries, 57020671 fired transitions, 3370 secs || 42289643 markings, 214515065 edges, 11641 markings/sec, 3370 secs
lola: STP completed || 58 tries, 57103220 fired transitions, 3375 secs || 42347560 markings, 214828401 edges, 11583 markings/sec, 3375 secs
lola: STP completed || 58 tries, 57186122 fired transitions, 3380 secs || 42405354 markings, 215130785 edges, 11559 markings/sec, 3380 secs
lola: STP completed || 58 tries, 57271048 fired transitions, 3385 secs || 42464832 markings, 215459836 edges, 11896 markings/sec, 3385 secs
lola: STP completed || 58 tries, 57354298 fired transitions, 3390 secs || 42523034 markings, 215780953 edges, 11640 markings/sec, 3390 secs
lola: STP completed || 58 tries, 57437342 fired transitions, 3395 secs || 42582202 markings, 216086302 edges, 11834 markings/sec, 3395 secs
lola: STP completed || 58 tries, 57520200 fired transitions, 3400 secs || 42639951 markings, 216390661 edges, 11550 markings/sec, 3400 secs
lola: STP completed || 58 tries, 57604487 fired transitions, 3405 secs || 42700441 markings, 216714509 edges, 12098 markings/sec, 3405 secs
lola: STP completed || 58 tries, 57696190 fired transitions, 3410 secs || 42765958 markings, 217078892 edges, 13103 markings/sec, 3410 secs
lola: STP completed || 58 tries, 57775887 fired transitions, 3415 secs || 42823807 markings, 217394342 edges, 11570 markings/sec, 3415 secs
lola: STP completed || 58 tries, 57856206 fired transitions, 3420 secs || 42881649 markings, 217699780 edges, 11568 markings/sec, 3420 secs
lola: STP completed || 58 tries, 57937492 fired transitions, 3425 secs || 42938903 markings, 218005869 edges, 11451 markings/sec, 3425 secs
lola: STP completed || 59 tries, 58020012 fired transitions, 3430 secs || 42995828 markings, 218301382 edges, 11385 markings/sec, 3430 secs
lola: STP completed || 59 tries, 58105518 fired transitions, 3435 secs || 43059445 markings, 218643555 edges, 12723 markings/sec, 3435 secs
lola: STP completed || 59 tries, 58198455 fired transitions, 3440 secs || 43127809 markings, 219011019 edges, 13673 markings/sec, 3440 secs
lola: STP completed || 59 tries, 58290822 fired transitions, 3445 secs || 43196244 markings, 219369089 edges, 13687 markings/sec, 3445 secs
lola: STP completed || 59 tries, 58378203 fired transitions, 3450 secs || 43259937 markings, 219717490 edges, 12739 markings/sec, 3450 secs
lola: STP completed || 59 tries, 58449332 fired transitions, 3455 secs || 43312053 markings, 219987461 edges, 10423 markings/sec, 3455 secs
lola: STP completed || 59 tries, 58526908 fired transitions, 3460 secs || 43369370 markings, 220289358 edges, 11463 markings/sec, 3460 secs
lola: STP completed || 59 tries, 58608469 fired transitions, 3465 secs || 43425612 markings, 220612286 edges, 11248 markings/sec, 3465 secs
lola: STP completed || 59 tries, 58702524 fired transitions, 3470 secs || 43493801 markings, 220981098 edges, 13638 markings/sec, 3470 secs
lola: STP completed || 59 tries, 58798418 fired transitions, 3475 secs || 43562027 markings, 221319351 edges, 13645 markings/sec, 3475 secs
lola: STP completed || 59 tries, 58894513 fired transitions, 3480 secs || 43630732 markings, 221705939 edges, 13741 markings/sec, 3480 secs
lola: STP completed || 59 tries, 58988993 fired transitions, 3485 secs || 43699629 markings, 222070201 edges, 13779 markings/sec, 3485 secs
lola: STP completed || 60 tries, 59083912 fired transitions, 3490 secs || 43771083 markings, 222412839 edges, 14291 markings/sec, 3490 secs
lola: STP completed || 60 tries, 59180082 fired transitions, 3495 secs || 43844000 markings, 222748554 edges, 14583 markings/sec, 3495 secs
lola: STP completed || 60 tries, 59274723 fired transitions, 3500 secs || 43914584 markings, 223127071 edges, 14117 markings/sec, 3500 secs
lola: STP completed || 60 tries, 59369936 fired transitions, 3505 secs || 43985054 markings, 223504480 edges, 14094 markings/sec, 3505 secs
lola: STP completed || 60 tries, 59465423 fired transitions, 3510 secs || 44055800 markings, 223884924 edges, 14149 markings/sec, 3510 secs
lola: STP completed || 60 tries, 59551028 fired transitions, 3515 secs || 44120474 markings, 224232302 edges, 12935 markings/sec, 3515 secs
lola: STP completed || 60 tries, 59631412 fired transitions, 3520 secs || 44182391 markings, 224554148 edges, 12383 markings/sec, 3520 secs
lola: STP completed || 60 tries, 59714817 fired transitions, 3525 secs || 44245877 markings, 224883105 edges, 12697 markings/sec, 3525 secs
lola: STP completed || 60 tries, 59799297 fired transitions, 3530 secs || 44309611 markings, 225242187 edges, 12747 markings/sec, 3530 secs
lola: STP completed || 60 tries, 59893782 fired transitions, 3535 secs || 44374416 markings, 225620327 edges, 12961 markings/sec, 3535 secs
lola: STP completed || 60 tries, 59988800 fired transitions, 3540 secs || 44443410 markings, 225988435 edges, 13799 markings/sec, 3540 secs
lola: STP completed || 61 tries, 60083690 fired transitions, 3545 secs || 44512832 markings, 226355861 edges, 13884 markings/sec, 3545 secs
lola: STP completed || 61 tries, 60179762 fired transitions, 3550 secs || 44584434 markings, 226740888 edges, 14320 markings/sec, 3550 secs
lola: STP completed || 61 tries, 60273679 fired transitions, 3555 secs || 44653412 markings, 227113905 edges, 13796 markings/sec, 3555 secs
lola: STP completed || 61 tries, 60368125 fired transitions, 3560 secs || 44720758 markings, 227457364 edges, 13469 markings/sec, 3560 secs
lola: time limit reached - aborting
lola: memory consumption: 1958364 KB
lola: time consumption: 3570 seconds
lola: caught signal User defined signal 2 - aborting LoLA
lola: memory consumption: 1958820 KB
lola: time consumption: 3570 seconds

BK_STOP 1527023171081

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

Sequence of Actions to be Executed by the VM

This is useful if one wants to reexecute the tool in the VM from the submitted image disk.

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="LamportFastMutEx-PT-8"
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/LamportFastMutEx-PT-8.tgz
mv LamportFastMutEx-PT-8 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 LamportFastMutEx-PT-8, 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-152666469100153"
echo "====================================================================="
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "ReachabilityDeadlock" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "ReachabilityDeadlock" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "ReachabilityDeadlock.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property ReachabilityDeadlock.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "ReachabilityDeadlock.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '' ReachabilityDeadlock.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;