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 3.4M
-rw-r--r-- 1 mcc users 3.2K May 15 18:54 CTLCardinality.txt
-rw-r--r-- 1 mcc users 18K May 15 18:54 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K May 15 18:54 CTLFireability.txt
-rw-r--r-- 1 mcc users 13K May 15 18:54 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K May 15 18:50 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 5.9K May 15 18:50 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 2.6K May 15 18:54 LTLCardinality.txt
-rw-r--r-- 1 mcc users 13K May 15 18:54 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.9K May 15 18:54 LTLFireability.txt
-rw-r--r-- 1 mcc users 9.1K May 15 18:54 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.3K May 15 18:54 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 17K May 15 18:54 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 108 May 15 18:54 ReachabilityDeadlock.txt
-rw-r--r-- 1 mcc users 346 May 15 18:54 ReachabilityDeadlock.xml
-rw-r--r-- 1 mcc users 2.6K May 15 18:54 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 15K May 15 18:54 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K May 15 18:54 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K May 15 18:54 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 15 18:50 equiv_col
-rw-r--r-- 1 mcc users 5 May 15 18:50 instance
-rw-r--r-- 1 mcc users 6 May 15 18:50 iscolored
-rw-r--r-- 1 mcc users 3.2M May 15 18:50 model.pnml
=====================================================================
Generated by BenchKit 2-3637
Executing tool lola
Input is EnergyBus-PT-none, examination is ReachabilityDeadlock
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r076-blw3-152649937300489
=====================================================================

--------------------
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 EnergyBus-PT-none-ReachabilityDeadlock-0

=== Now, execution of the tool begins

BK_START 1526764636544

info: Time: 3600 - MCC
===========================================================================================
prep: translating EnergyBus-PT-none Petri net model.pnml into LoLA format
===========================================================================================
prep: translating PT Petri net complete
prep: net is already safe
prep: check for too many tokens
===========================================================================================
prep: translating EnergyBus-PT-none formula ReachabilityDeadlock into LoLA format
===========================================================================================
prep: translating PT formula complete
vrfy: Checking ReachabilityDeadlock @ EnergyBus-PT-none @ 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: 4587/65536 symbol table entries, 981 collisions
lola: preprocessing...
lola: Size of bit vector: 157
lola: finding significant places
lola: 157 places, 4430 transitions, 134 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 1049 transition conflict sets
lola: TASK
lola: reading formula from EnergyBus-PT-none-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 4 generators (3 in search tree, 1 by composition)
lola: representing 12 symmetries
lola: 0 dead branches visited in search tree
lola: STP: formula with 59319 variables and 775734 clauses shipped to Minisat
lola: stp: The siphon/trap property does not hold
lola: STP completed || 1 tries, 14051 fired transitions, 0 secs || 24808 markings, 45314 edges, 4962 markings/sec, 0 secs
lola: STP completed || 1 tries, 27634 fired transitions, 5 secs || 46665 markings, 85594 edges, 4371 markings/sec, 5 secs
lola: STP completed || 1 tries, 43095 fired transitions, 10 secs || 67021 markings, 123635 edges, 4071 markings/sec, 10 secs
lola: STP completed || 1 tries, 60391 fired transitions, 15 secs || 89326 markings, 164918 edges, 4461 markings/sec, 15 secs
lola: STP completed || 1 tries, 78468 fired transitions, 20 secs || 110341 markings, 203453 edges, 4203 markings/sec, 20 secs
lola: STP completed || 1 tries, 92982 fired transitions, 25 secs || 133645 markings, 246119 edges, 4661 markings/sec, 25 secs
lola: STP completed || 1 tries, 107273 fired transitions, 30 secs || 156771 markings, 289547 edges, 4625 markings/sec, 30 secs
lola: STP completed || 1 tries, 120527 fired transitions, 35 secs || 178115 markings, 331306 edges, 4269 markings/sec, 35 secs
lola: STP completed || 1 tries, 137598 fired transitions, 40 secs || 200174 markings, 372742 edges, 4412 markings/sec, 40 secs
lola: STP completed || 1 tries, 155543 fired transitions, 45 secs || 222441 markings, 415118 edges, 4453 markings/sec, 45 secs
lola: STP completed || 1 tries, 170159 fired transitions, 50 secs || 241423 markings, 451052 edges, 3796 markings/sec, 50 secs
lola: STP completed || 1 tries, 184355 fired transitions, 55 secs || 262490 markings, 491602 edges, 4213 markings/sec, 55 secs
lola: STP completed || 1 tries, 200090 fired transitions, 60 secs || 285109 markings, 535644 edges, 4524 markings/sec, 60 secs
lola: STP completed || 1 tries, 212132 fired transitions, 65 secs || 302455 markings, 569590 edges, 3469 markings/sec, 65 secs
lola: STP completed || 1 tries, 226668 fired transitions, 70 secs || 322519 markings, 608923 edges, 4013 markings/sec, 70 secs
lola: STP completed || 1 tries, 243078 fired transitions, 75 secs || 344204 markings, 650146 edges, 4337 markings/sec, 75 secs
lola: STP completed || 1 tries, 255910 fired transitions, 80 secs || 362403 markings, 684848 edges, 3640 markings/sec, 80 secs
lola: STP completed || 1 tries, 274794 fired transitions, 85 secs || 381674 markings, 721222 edges, 3854 markings/sec, 85 secs
lola: STP completed || 1 tries, 288601 fired transitions, 90 secs || 403457 markings, 763909 edges, 4357 markings/sec, 90 secs
lola: STP completed || 1 tries, 301224 fired transitions, 95 secs || 425593 markings, 807220 edges, 4427 markings/sec, 95 secs
lola: STP completed || 1 tries, 317510 fired transitions, 100 secs || 443469 markings, 840753 edges, 3575 markings/sec, 100 secs
lola: STP completed || 1 tries, 333940 fired transitions, 105 secs || 465002 markings, 880836 edges, 4307 markings/sec, 105 secs
lola: STP completed || 1 tries, 347967 fired transitions, 110 secs || 482216 markings, 914075 edges, 3443 markings/sec, 110 secs
lola: STP completed || 1 tries, 363847 fired transitions, 115 secs || 499170 markings, 946476 edges, 3391 markings/sec, 115 secs
lola: STP completed || 1 tries, 378214 fired transitions, 120 secs || 520020 markings, 985924 edges, 4170 markings/sec, 120 secs
lola: STP completed || 1 tries, 395073 fired transitions, 125 secs || 540152 markings, 1025147 edges, 4026 markings/sec, 125 secs
lola: STP completed || 1 tries, 409518 fired transitions, 130 secs || 559700 markings, 1062368 edges, 3910 markings/sec, 130 secs
lola: STP completed || 1 tries, 427212 fired transitions, 135 secs || 581606 markings, 1105733 edges, 4381 markings/sec, 135 secs
lola: STP completed || 1 tries, 441237 fired transitions, 140 secs || 602061 markings, 1145990 edges, 4091 markings/sec, 140 secs
lola: STP completed || 1 tries, 459172 fired transitions, 145 secs || 623604 markings, 1187478 edges, 4309 markings/sec, 145 secs
lola: STP completed || 1 tries, 474029 fired transitions, 150 secs || 641485 markings, 1222872 edges, 3576 markings/sec, 150 secs
lola: STP completed || 1 tries, 489178 fired transitions, 155 secs || 664866 markings, 1269036 edges, 4676 markings/sec, 155 secs
lola: STP completed || 1 tries, 505758 fired transitions, 160 secs || 683962 markings, 1306034 edges, 3819 markings/sec, 160 secs
lola: STP completed || 1 tries, 520004 fired transitions, 165 secs || 701911 markings, 1342319 edges, 3590 markings/sec, 165 secs
lola: STP completed || 1 tries, 534980 fired transitions, 170 secs || 720214 markings, 1378828 edges, 3661 markings/sec, 170 secs
lola: STP completed || 1 tries, 549435 fired transitions, 175 secs || 738596 markings, 1414931 edges, 3676 markings/sec, 175 secs
lola: STP completed || 1 tries, 565307 fired transitions, 180 secs || 758273 markings, 1453679 edges, 3935 markings/sec, 180 secs
lola: STP completed || 1 tries, 579573 fired transitions, 185 secs || 775257 markings, 1486850 edges, 3397 markings/sec, 185 secs
lola: STP completed || 1 tries, 595108 fired transitions, 190 secs || 795388 markings, 1526200 edges, 4026 markings/sec, 190 secs
lola: STP completed || 1 tries, 608845 fired transitions, 195 secs || 815285 markings, 1566738 edges, 3979 markings/sec, 195 secs
lola: STP completed || 1 tries, 624409 fired transitions, 200 secs || 830953 markings, 1597920 edges, 3134 markings/sec, 200 secs
lola: STP completed || 1 tries, 639228 fired transitions, 205 secs || 849595 markings, 1634068 edges, 3728 markings/sec, 205 secs
lola: STP completed || 1 tries, 656866 fired transitions, 210 secs || 869019 markings, 1673317 edges, 3885 markings/sec, 210 secs
lola: STP completed || 1 tries, 670447 fired transitions, 215 secs || 887691 markings, 1710101 edges, 3734 markings/sec, 215 secs
lola: STP completed || 1 tries, 685932 fired transitions, 220 secs || 904927 markings, 1744232 edges, 3447 markings/sec, 220 secs
lola: STP completed || 1 tries, 700464 fired transitions, 225 secs || 926529 markings, 1785414 edges, 4320 markings/sec, 225 secs
lola: STP completed || 1 tries, 717759 fired transitions, 230 secs || 945601 markings, 1822869 edges, 3814 markings/sec, 230 secs
lola: STP completed || 1 tries, 732999 fired transitions, 235 secs || 964650 markings, 1860703 edges, 3810 markings/sec, 235 secs
lola: STP completed || 1 tries, 747309 fired transitions, 240 secs || 984646 markings, 1899255 edges, 3999 markings/sec, 240 secs
lola: STP completed || 1 tries, 766444 fired transitions, 245 secs || 1005285 markings, 1939672 edges, 4128 markings/sec, 245 secs
lola: STP completed || 1 tries, 780607 fired transitions, 250 secs || 1023978 markings, 1977511 edges, 3739 markings/sec, 250 secs
lola: STP completed || 1 tries, 798049 fired transitions, 255 secs || 1045851 markings, 2020640 edges, 4375 markings/sec, 255 secs
lola: STP completed || 1 tries, 815283 fired transitions, 260 secs || 1064936 markings, 2058691 edges, 3817 markings/sec, 260 secs
lola: STP completed || 1 tries, 834958 fired transitions, 265 secs || 1088166 markings, 2106124 edges, 4646 markings/sec, 265 secs
lola: STP completed || 1 tries, 847058 fired transitions, 270 secs || 1102302 markings, 2133917 edges, 2827 markings/sec, 270 secs
lola: STP completed || 1 tries, 863337 fired transitions, 275 secs || 1120822 markings, 2169997 edges, 3704 markings/sec, 275 secs
lola: STP completed || 1 tries, 877520 fired transitions, 280 secs || 1138327 markings, 2204587 edges, 3501 markings/sec, 280 secs
lola: STP completed || 1 tries, 895418 fired transitions, 285 secs || 1159945 markings, 2249119 edges, 4324 markings/sec, 285 secs
lola: STP completed || 1 tries, 911443 fired transitions, 290 secs || 1179465 markings, 2288587 edges, 3904 markings/sec, 290 secs
lola: STP completed || 1 tries, 925780 fired transitions, 295 secs || 1200125 markings, 2328429 edges, 4132 markings/sec, 295 secs
lola: STP completed || 1 tries, 944114 fired transitions, 300 secs || 1221066 markings, 2369487 edges, 4188 markings/sec, 300 secs
lola: STP completed || 1 tries, 959179 fired transitions, 305 secs || 1241057 markings, 2408638 edges, 3998 markings/sec, 305 secs
lola: STP completed || 1 tries, 972692 fired transitions, 310 secs || 1260318 markings, 2447560 edges, 3852 markings/sec, 310 secs
lola: STP completed || 1 tries, 985334 fired transitions, 315 secs || 1276736 markings, 2480482 edges, 3284 markings/sec, 315 secs
lola: STP completed || 1 tries, 999679 fired transitions, 320 secs || 1297967 markings, 2524496 edges, 4246 markings/sec, 320 secs
lola: STP completed || 2 tries, 1015872 fired transitions, 325 secs || 1313586 markings, 2554916 edges, 3124 markings/sec, 325 secs
lola: STP completed || 2 tries, 1032751 fired transitions, 330 secs || 1335649 markings, 2598745 edges, 4413 markings/sec, 330 secs
lola: STP completed || 2 tries, 1048722 fired transitions, 335 secs || 1353710 markings, 2636699 edges, 3612 markings/sec, 335 secs
lola: STP completed || 2 tries, 1067146 fired transitions, 340 secs || 1375080 markings, 2678557 edges, 4274 markings/sec, 340 secs
lola: STP completed || 2 tries, 1082041 fired transitions, 345 secs || 1394072 markings, 2715977 edges, 3798 markings/sec, 345 secs
lola: STP completed || 2 tries, 1095292 fired transitions, 350 secs || 1411147 markings, 2750591 edges, 3415 markings/sec, 350 secs
lola: STP completed || 2 tries, 1111754 fired transitions, 355 secs || 1431903 markings, 2792287 edges, 4151 markings/sec, 355 secs
lola: STP completed || 2 tries, 1126738 fired transitions, 360 secs || 1453950 markings, 2837638 edges, 4409 markings/sec, 360 secs
lola: STP completed || 2 tries, 1143061 fired transitions, 365 secs || 1480315 markings, 2891029 edges, 5273 markings/sec, 365 secs
lola: STP completed || 2 tries, 1159690 fired transitions, 370 secs || 1500915 markings, 2931649 edges, 4120 markings/sec, 370 secs
lola: STP completed || 2 tries, 1178076 fired transitions, 375 secs || 1522983 markings, 2977179 edges, 4414 markings/sec, 375 secs
lola: STP completed || 2 tries, 1194649 fired transitions, 380 secs || 1542326 markings, 3016272 edges, 3869 markings/sec, 380 secs
lola: STP completed || 2 tries, 1210059 fired transitions, 385 secs || 1560737 markings, 3053610 edges, 3682 markings/sec, 385 secs
lola: STP completed || 2 tries, 1224410 fired transitions, 390 secs || 1576950 markings, 3086987 edges, 3243 markings/sec, 390 secs
lola: STP completed || 2 tries, 1236449 fired transitions, 395 secs || 1592702 markings, 3119011 edges, 3150 markings/sec, 395 secs
lola: STP completed || 2 tries, 1252221 fired transitions, 400 secs || 1614950 markings, 3164229 edges, 4450 markings/sec, 400 secs
lola: STP completed || 2 tries, 1267156 fired transitions, 405 secs || 1635296 markings, 3206390 edges, 4069 markings/sec, 405 secs
lola: STP completed || 2 tries, 1282122 fired transitions, 410 secs || 1652595 markings, 3241151 edges, 3460 markings/sec, 410 secs
lola: STP completed || 2 tries, 1297690 fired transitions, 415 secs || 1671372 markings, 3280321 edges, 3755 markings/sec, 415 secs
lola: STP completed || 2 tries, 1313232 fired transitions, 420 secs || 1690291 markings, 3318301 edges, 3784 markings/sec, 420 secs
lola: STP completed || 2 tries, 1328583 fired transitions, 425 secs || 1709754 markings, 3358634 edges, 3893 markings/sec, 425 secs
lola: STP completed || 2 tries, 1342256 fired transitions, 430 secs || 1729242 markings, 3396172 edges, 3898 markings/sec, 430 secs
lola: STP completed || 2 tries, 1358240 fired transitions, 435 secs || 1747765 markings, 3432869 edges, 3705 markings/sec, 435 secs
lola: STP completed || 2 tries, 1374227 fired transitions, 440 secs || 1766704 markings, 3472421 edges, 3788 markings/sec, 440 secs
lola: STP completed || 2 tries, 1390978 fired transitions, 445 secs || 1788934 markings, 3518539 edges, 4446 markings/sec, 445 secs
lola: STP completed || 2 tries, 1403547 fired transitions, 450 secs || 1807400 markings, 3556119 edges, 3693 markings/sec, 450 secs
lola: STP completed || 2 tries, 1419885 fired transitions, 455 secs || 1827445 markings, 3596135 edges, 4009 markings/sec, 455 secs
lola: STP completed || 2 tries, 1434716 fired transitions, 460 secs || 1846564 markings, 3636477 edges, 3824 markings/sec, 460 secs
lola: STP completed || 2 tries, 1448280 fired transitions, 465 secs || 1865529 markings, 3674597 edges, 3793 markings/sec, 465 secs
lola: STP completed || 2 tries, 1464864 fired transitions, 470 secs || 1887011 markings, 3719974 edges, 4296 markings/sec, 470 secs
lola: STP completed || 2 tries, 1478527 fired transitions, 475 secs || 1901047 markings, 3748662 edges, 2807 markings/sec, 475 secs
lola: STP completed || 2 tries, 1489473 fired transitions, 480 secs || 1913779 markings, 3774201 edges, 2546 markings/sec, 480 secs
lola: STP completed || 2 tries, 1504186 fired transitions, 485 secs || 1931340 markings, 3809711 edges, 3512 markings/sec, 485 secs
lola: STP completed || 2 tries, 1521051 fired transitions, 490 secs || 1952555 markings, 3852591 edges, 4243 markings/sec, 490 secs
lola: STP completed || 2 tries, 1536623 fired transitions, 495 secs || 1971179 markings, 3890142 edges, 3725 markings/sec, 495 secs
lola: STP completed || 2 tries, 1554144 fired transitions, 500 secs || 1991093 markings, 3931392 edges, 3983 markings/sec, 500 secs
lola: STP completed || 2 tries, 1569806 fired transitions, 505 secs || 2007329 markings, 3963958 edges, 3247 markings/sec, 505 secs
lola: STP completed || 2 tries, 1585112 fired transitions, 510 secs || 2025745 markings, 3999621 edges, 3683 markings/sec, 510 secs
lola: STP completed || 2 tries, 1602082 fired transitions, 515 secs || 2044758 markings, 4039527 edges, 3803 markings/sec, 515 secs
lola: STP completed || 2 tries, 1618919 fired transitions, 520 secs || 2064154 markings, 4077567 edges, 3879 markings/sec, 520 secs
lola: STP completed || 2 tries, 1635238 fired transitions, 525 secs || 2081466 markings, 4112730 edges, 3462 markings/sec, 525 secs
lola: STP completed || 2 tries, 1649348 fired transitions, 530 secs || 2099712 markings, 4149755 edges, 3649 markings/sec, 530 secs
lola: STP completed || 2 tries, 1666368 fired transitions, 535 secs || 2123084 markings, 4198563 edges, 4674 markings/sec, 535 secs
lola: STP completed || 2 tries, 1679441 fired transitions, 540 secs || 2140851 markings, 4236126 edges, 3553 markings/sec, 540 secs
lola: STP completed || 2 tries, 1695167 fired transitions, 545 secs || 2162145 markings, 4280476 edges, 4259 markings/sec, 545 secs
lola: STP completed || 2 tries, 1710110 fired transitions, 550 secs || 2182090 markings, 4322507 edges, 3989 markings/sec, 550 secs
lola: STP completed || 2 tries, 1728424 fired transitions, 555 secs || 2201743 markings, 4363554 edges, 3931 markings/sec, 555 secs
lola: STP completed || 2 tries, 1745251 fired transitions, 560 secs || 2223882 markings, 4408825 edges, 4428 markings/sec, 560 secs
lola: STP completed || 2 tries, 1760278 fired transitions, 565 secs || 2243711 markings, 4449461 edges, 3966 markings/sec, 565 secs
lola: STP completed || 2 tries, 1775230 fired transitions, 570 secs || 2264039 markings, 4490325 edges, 4066 markings/sec, 570 secs
lola: STP completed || 2 tries, 1790600 fired transitions, 575 secs || 2282179 markings, 4527614 edges, 3628 markings/sec, 575 secs
lola: STP completed || 2 tries, 1803933 fired transitions, 580 secs || 2302415 markings, 4569348 edges, 4047 markings/sec, 580 secs
lola: STP completed || 2 tries, 1821698 fired transitions, 585 secs || 2324841 markings, 4616003 edges, 4485 markings/sec, 585 secs
lola: STP completed || 2 tries, 1835084 fired transitions, 590 secs || 2341492 markings, 4650337 edges, 3330 markings/sec, 590 secs
lola: STP completed || 2 tries, 1850593 fired transitions, 595 secs || 2358800 markings, 4686067 edges, 3462 markings/sec, 595 secs
lola: STP completed || 2 tries, 1867285 fired transitions, 600 secs || 2376022 markings, 4721314 edges, 3444 markings/sec, 600 secs
lola: STP completed || 2 tries, 1881128 fired transitions, 605 secs || 2391513 markings, 4752648 edges, 3098 markings/sec, 605 secs
lola: STP completed || 2 tries, 1898657 fired transitions, 610 secs || 2412939 markings, 4796876 edges, 4285 markings/sec, 610 secs
lola: STP completed || 2 tries, 1913698 fired transitions, 615 secs || 2433153 markings, 4839277 edges, 4043 markings/sec, 615 secs
lola: STP completed || 2 tries, 1932479 fired transitions, 620 secs || 2452272 markings, 4878130 edges, 3824 markings/sec, 620 secs
lola: STP completed || 2 tries, 1949405 fired transitions, 625 secs || 2471156 markings, 4917994 edges, 3777 markings/sec, 625 secs
lola: STP completed || 2 tries, 1968982 fired transitions, 630 secs || 2493684 markings, 4966506 edges, 4506 markings/sec, 630 secs
lola: STP completed || 2 tries, 1983809 fired transitions, 635 secs || 2510469 markings, 5003370 edges, 3357 markings/sec, 635 secs
lola: STP completed || 3 tries, 2000791 fired transitions, 640 secs || 2532069 markings, 5048459 edges, 4320 markings/sec, 640 secs
lola: STP completed || 3 tries, 2015856 fired transitions, 645 secs || 2545235 markings, 5076197 edges, 2633 markings/sec, 645 secs
lola: STP completed || 3 tries, 2033852 fired transitions, 650 secs || 2563611 markings, 5114889 edges, 3675 markings/sec, 650 secs
lola: STP completed || 3 tries, 2048654 fired transitions, 655 secs || 2585985 markings, 5161576 edges, 4475 markings/sec, 655 secs
lola: STP completed || 3 tries, 2065391 fired transitions, 660 secs || 2606538 markings, 5204545 edges, 4111 markings/sec, 660 secs
lola: STP completed || 3 tries, 2083318 fired transitions, 665 secs || 2627488 markings, 5248635 edges, 4190 markings/sec, 665 secs
lola: STP completed || 3 tries, 2100625 fired transitions, 670 secs || 2648920 markings, 5293117 edges, 4286 markings/sec, 670 secs
lola: STP completed || 3 tries, 2113273 fired transitions, 675 secs || 2670673 markings, 5338158 edges, 4351 markings/sec, 675 secs
lola: STP completed || 3 tries, 2131553 fired transitions, 680 secs || 2692235 markings, 5383445 edges, 4312 markings/sec, 680 secs
lola: STP completed || 3 tries, 2146016 fired transitions, 685 secs || 2709077 markings, 5416528 edges, 3368 markings/sec, 685 secs
lola: STP completed || 3 tries, 2162576 fired transitions, 690 secs || 2729342 markings, 5458846 edges, 4053 markings/sec, 690 secs
lola: STP completed || 3 tries, 2180735 fired transitions, 695 secs || 2747989 markings, 5497343 edges, 3729 markings/sec, 695 secs
lola: STP completed || 3 tries, 2195978 fired transitions, 700 secs || 2765789 markings, 5535346 edges, 3560 markings/sec, 700 secs
lola: STP completed || 3 tries, 2209289 fired transitions, 705 secs || 2786206 markings, 5576774 edges, 4083 markings/sec, 705 secs
lola: STP completed || 3 tries, 2224895 fired transitions, 710 secs || 2805487 markings, 5617043 edges, 3856 markings/sec, 710 secs
lola: STP completed || 3 tries, 2239167 fired transitions, 715 secs || 2824369 markings, 5655500 edges, 3776 markings/sec, 715 secs
lola: STP completed || 3 tries, 2257356 fired transitions, 720 secs || 2847228 markings, 5703413 edges, 4572 markings/sec, 720 secs
lola: STP completed || 3 tries, 2273809 fired transitions, 725 secs || 2869169 markings, 5748638 edges, 4388 markings/sec, 725 secs
lola: STP completed || 3 tries, 2292226 fired transitions, 730 secs || 2890842 markings, 5792308 edges, 4335 markings/sec, 730 secs
lola: STP completed || 3 tries, 2303407 fired transitions, 735 secs || 2898145 markings, 5807242 edges, 1461 markings/sec, 735 secs
lola: STP completed || 3 tries, 2322958 fired transitions, 740 secs || 2918027 markings, 5849262 edges, 3976 markings/sec, 740 secs
lola: STP completed || 3 tries, 2339398 fired transitions, 745 secs || 2936517 markings, 5886816 edges, 3698 markings/sec, 745 secs
lola: STP completed || 3 tries, 2353532 fired transitions, 750 secs || 2955437 markings, 5924607 edges, 3784 markings/sec, 750 secs
lola: STP completed || 3 tries, 2370317 fired transitions, 755 secs || 2974280 markings, 5963898 edges, 3769 markings/sec, 755 secs
lola: STP completed || 3 tries, 2386424 fired transitions, 760 secs || 2995800 markings, 6009732 edges, 4304 markings/sec, 760 secs
lola: STP completed || 3 tries, 2402523 fired transitions, 765 secs || 3016551 markings, 6053274 edges, 4150 markings/sec, 765 secs
lola: STP completed || 3 tries, 2416336 fired transitions, 770 secs || 3033318 markings, 6086669 edges, 3353 markings/sec, 770 secs
lola: STP completed || 3 tries, 2432188 fired transitions, 775 secs || 3052878 markings, 6127076 edges, 3912 markings/sec, 775 secs
lola: STP completed || 3 tries, 2449597 fired transitions, 780 secs || 3072491 markings, 6167498 edges, 3923 markings/sec, 780 secs
lola: STP completed || 3 tries, 2464695 fired transitions, 785 secs || 3088334 markings, 6201544 edges, 3169 markings/sec, 785 secs
lola: STP completed || 3 tries, 2478500 fired transitions, 790 secs || 3108313 markings, 6243437 edges, 3996 markings/sec, 790 secs
lola: STP completed || 3 tries, 2494970 fired transitions, 795 secs || 3128187 markings, 6283479 edges, 3975 markings/sec, 795 secs
lola: STP completed || 3 tries, 2510804 fired transitions, 800 secs || 3146332 markings, 6322329 edges, 3629 markings/sec, 800 secs
lola: STP completed || 3 tries, 2526214 fired transitions, 805 secs || 3165973 markings, 6364721 edges, 3928 markings/sec, 805 secs
lola: STP completed || 3 tries, 2541263 fired transitions, 810 secs || 3187641 markings, 6411332 edges, 4334 markings/sec, 810 secs
lola: STP completed || 3 tries, 2555215 fired transitions, 815 secs || 3209616 markings, 6459356 edges, 4395 markings/sec, 815 secs
lola: STP completed || 3 tries, 2569728 fired transitions, 820 secs || 3230943 markings, 6504210 edges, 4265 markings/sec, 820 secs
lola: STP completed || 3 tries, 2585351 fired transitions, 825 secs || 3252329 markings, 6551832 edges, 4277 markings/sec, 825 secs
lola: STP completed || 3 tries, 2600182 fired transitions, 830 secs || 3270733 markings, 6589674 edges, 3681 markings/sec, 830 secs
lola: STP completed || 3 tries, 2615584 fired transitions, 835 secs || 3286887 markings, 6622325 edges, 3231 markings/sec, 835 secs
lola: STP completed || 3 tries, 2632120 fired transitions, 840 secs || 3308957 markings, 6667264 edges, 4414 markings/sec, 840 secs
lola: STP completed || 3 tries, 2647884 fired transitions, 845 secs || 3330315 markings, 6714615 edges, 4272 markings/sec, 845 secs
lola: STP completed || 3 tries, 2659014 fired transitions, 850 secs || 3342920 markings, 6741848 edges, 2521 markings/sec, 850 secs
lola: STP completed || 3 tries, 2672452 fired transitions, 855 secs || 3360990 markings, 6781814 edges, 3614 markings/sec, 855 secs
lola: STP completed || 3 tries, 2688879 fired transitions, 860 secs || 3383197 markings, 6831312 edges, 4441 markings/sec, 860 secs
lola: STP completed || 3 tries, 2706174 fired transitions, 865 secs || 3403585 markings, 6875108 edges, 4078 markings/sec, 865 secs
lola: STP completed || 3 tries, 2720942 fired transitions, 870 secs || 3422595 markings, 6920902 edges, 3802 markings/sec, 870 secs
lola: STP completed || 3 tries, 2735567 fired transitions, 875 secs || 3444143 markings, 6967757 edges, 4310 markings/sec, 875 secs
lola: STP completed || 3 tries, 2747900 fired transitions, 880 secs || 3457129 markings, 6994171 edges, 2597 markings/sec, 880 secs
lola: STP completed || 3 tries, 2763702 fired transitions, 885 secs || 3478139 markings, 7036758 edges, 4202 markings/sec, 885 secs
lola: STP completed || 3 tries, 2777935 fired transitions, 890 secs || 3495613 markings, 7072650 edges, 3495 markings/sec, 890 secs
lola: STP completed || 3 tries, 2795595 fired transitions, 895 secs || 3518835 markings, 7123060 edges, 4644 markings/sec, 895 secs
lola: STP completed || 3 tries, 2810498 fired transitions, 900 secs || 3541497 markings, 7169967 edges, 4532 markings/sec, 900 secs
lola: STP completed || 3 tries, 2824347 fired transitions, 905 secs || 3559747 markings, 7208485 edges, 3650 markings/sec, 905 secs
lola: STP completed || 3 tries, 2834738 fired transitions, 910 secs || 3565547 markings, 7220031 edges, 1160 markings/sec, 910 secs
lola: STP completed || 3 tries, 2851747 fired transitions, 915 secs || 3583119 markings, 7261552 edges, 3514 markings/sec, 915 secs
lola: STP completed || 3 tries, 2865126 fired transitions, 920 secs || 3597434 markings, 7291322 edges, 2863 markings/sec, 920 secs
lola: STP completed || 3 tries, 2879897 fired transitions, 925 secs || 3612789 markings, 7325712 edges, 3071 markings/sec, 925 secs
lola: STP completed || 3 tries, 2893492 fired transitions, 930 secs || 3627722 markings, 7356209 edges, 2987 markings/sec, 930 secs
lola: STP completed || 3 tries, 2910636 fired transitions, 935 secs || 3648022 markings, 7401942 edges, 4060 markings/sec, 935 secs
lola: STP completed || 3 tries, 2928195 fired transitions, 940 secs || 3670807 markings, 7451138 edges, 4557 markings/sec, 940 secs
lola: STP completed || 3 tries, 2944930 fired transitions, 945 secs || 3688646 markings, 7488004 edges, 3568 markings/sec, 945 secs
lola: STP completed || 3 tries, 2960046 fired transitions, 950 secs || 3704506 markings, 7519744 edges, 3172 markings/sec, 950 secs
lola: STP completed || 3 tries, 2976656 fired transitions, 955 secs || 3723783 markings, 7561278 edges, 3855 markings/sec, 955 secs
lola: STP completed || 3 tries, 2993331 fired transitions, 960 secs || 3744075 markings, 7606098 edges, 4058 markings/sec, 960 secs
lola: STP completed || 4 tries, 3009068 fired transitions, 965 secs || 3761794 markings, 7643835 edges, 3544 markings/sec, 965 secs
lola: STP completed || 4 tries, 3024257 fired transitions, 970 secs || 3779737 markings, 7680547 edges, 3589 markings/sec, 970 secs
lola: STP completed || 4 tries, 3036896 fired transitions, 975 secs || 3798418 markings, 7718917 edges, 3736 markings/sec, 975 secs
lola: STP completed || 4 tries, 3051952 fired transitions, 980 secs || 3815201 markings, 7757061 edges, 3357 markings/sec, 980 secs
lola: STP completed || 4 tries, 3067574 fired transitions, 985 secs || 3832737 markings, 7794386 edges, 3507 markings/sec, 985 secs
lola: STP completed || 4 tries, 3080007 fired transitions, 990 secs || 3842990 markings, 7817047 edges, 2051 markings/sec, 990 secs
lola: STP completed || 4 tries, 3096924 fired transitions, 995 secs || 3862023 markings, 7857007 edges, 3807 markings/sec, 995 secs
lola: STP completed || 4 tries, 3110345 fired transitions, 1000 secs || 3881370 markings, 7899177 edges, 3869 markings/sec, 1000 secs
lola: STP completed || 4 tries, 3127146 fired transitions, 1005 secs || 3903257 markings, 7944143 edges, 4377 markings/sec, 1005 secs
lola: STP completed || 4 tries, 3142740 fired transitions, 1010 secs || 3922162 markings, 7986677 edges, 3781 markings/sec, 1010 secs
lola: STP completed || 4 tries, 3159865 fired transitions, 1015 secs || 3946118 markings, 8039197 edges, 4791 markings/sec, 1015 secs
lola: STP completed || 4 tries, 3177493 fired transitions, 1020 secs || 3969062 markings, 8088239 edges, 4589 markings/sec, 1020 secs
lola: STP completed || 4 tries, 3195172 fired transitions, 1025 secs || 3991332 markings, 8140619 edges, 4454 markings/sec, 1025 secs
lola: STP completed || 4 tries, 3208728 fired transitions, 1030 secs || 4008297 markings, 8178730 edges, 3393 markings/sec, 1030 secs
lola: STP completed || 4 tries, 3226080 fired transitions, 1035 secs || 4028199 markings, 8222375 edges, 3980 markings/sec, 1035 secs
lola: STP completed || 4 tries, 3243798 fired transitions, 1040 secs || 4046308 markings, 8259944 edges, 3622 markings/sec, 1040 secs
lola: STP completed || 4 tries, 3260946 fired transitions, 1045 secs || 4064945 markings, 8299163 edges, 3727 markings/sec, 1045 secs
lola: STP completed || 4 tries, 3276170 fired transitions, 1050 secs || 4087064 markings, 8345941 edges, 4424 markings/sec, 1050 secs
lola: STP completed || 4 tries, 3292580 fired transitions, 1055 secs || 4107082 markings, 8391566 edges, 4004 markings/sec, 1055 secs
lola: STP completed || 4 tries, 3305992 fired transitions, 1060 secs || 4127515 markings, 8439874 edges, 4087 markings/sec, 1060 secs
lola: STP completed || 4 tries, 3318938 fired transitions, 1065 secs || 4147522 markings, 8481324 edges, 4001 markings/sec, 1065 secs
lola: STP completed || 4 tries, 3335869 fired transitions, 1070 secs || 4169177 markings, 8528311 edges, 4331 markings/sec, 1070 secs
lola: STP completed || 4 tries, 3352315 fired transitions, 1075 secs || 4187504 markings, 8568587 edges, 3665 markings/sec, 1075 secs
lola: STP completed || 4 tries, 3369985 fired transitions, 1080 secs || 4208547 markings, 8611282 edges, 4209 markings/sec, 1080 secs
lola: STP completed || 4 tries, 3384340 fired transitions, 1085 secs || 4224505 markings, 8646927 edges, 3192 markings/sec, 1085 secs
lola: STP completed || 4 tries, 3395908 fired transitions, 1090 secs || 4234825 markings, 8669252 edges, 2064 markings/sec, 1090 secs
lola: STP completed || 4 tries, 3411470 fired transitions, 1095 secs || 4255266 markings, 8715403 edges, 4088 markings/sec, 1095 secs
lola: STP completed || 4 tries, 3427886 fired transitions, 1100 secs || 4272560 markings, 8751640 edges, 3459 markings/sec, 1100 secs
lola: STP completed || 4 tries, 3440876 fired transitions, 1105 secs || 4289388 markings, 8786430 edges, 3366 markings/sec, 1105 secs
lola: STP completed || 4 tries, 3456361 fired transitions, 1110 secs || 4306587 markings, 8823803 edges, 3440 markings/sec, 1110 secs
lola: STP completed || 4 tries, 3469272 fired transitions, 1115 secs || 4322896 markings, 8857804 edges, 3262 markings/sec, 1115 secs
lola: STP completed || 4 tries, 3486903 fired transitions, 1120 secs || 4342711 markings, 8901378 edges, 3963 markings/sec, 1120 secs
lola: STP completed || 4 tries, 3501823 fired transitions, 1125 secs || 4365389 markings, 8952756 edges, 4536 markings/sec, 1125 secs
lola: STP completed || 4 tries, 3515486 fired transitions, 1130 secs || 4379412 markings, 8981917 edges, 2805 markings/sec, 1130 secs
lola: STP completed || 4 tries, 3530518 fired transitions, 1135 secs || 4394320 markings, 9012222 edges, 2982 markings/sec, 1135 secs
lola: STP completed || 4 tries, 3545804 fired transitions, 1140 secs || 4413368 markings, 9051388 edges, 3810 markings/sec, 1140 secs
lola: STP completed || 4 tries, 3559469 fired transitions, 1145 secs || 4426551 markings, 9079164 edges, 2637 markings/sec, 1145 secs
lola: STP completed || 4 tries, 3577582 fired transitions, 1150 secs || 4443981 markings, 9117221 edges, 3486 markings/sec, 1150 secs
lola: STP completed || 4 tries, 3592538 fired transitions, 1155 secs || 4467345 markings, 9170489 edges, 4673 markings/sec, 1155 secs
lola: STP completed || 4 tries, 3608869 fired transitions, 1160 secs || 4483615 markings, 9207131 edges, 3254 markings/sec, 1160 secs
lola: STP completed || 4 tries, 3622283 fired transitions, 1165 secs || 4498069 markings, 9236449 edges, 2891 markings/sec, 1165 secs
lola: STP completed || 4 tries, 3641383 fired transitions, 1170 secs || 4519194 markings, 9282201 edges, 4225 markings/sec, 1170 secs
lola: STP completed || 4 tries, 3653663 fired transitions, 1175 secs || 4540518 markings, 9337054 edges, 4265 markings/sec, 1175 secs
lola: STP completed || 4 tries, 3669014 fired transitions, 1180 secs || 4557951 markings, 9377395 edges, 3487 markings/sec, 1180 secs
lola: STP completed || 4 tries, 3684635 fired transitions, 1185 secs || 4575404 markings, 9413636 edges, 3491 markings/sec, 1185 secs
lola: STP completed || 4 tries, 3700483 fired transitions, 1190 secs || 4596006 markings, 9459208 edges, 4120 markings/sec, 1190 secs
lola: STP completed || 4 tries, 3715589 fired transitions, 1195 secs || 4613058 markings, 9495793 edges, 3410 markings/sec, 1195 secs
lola: STP completed || 4 tries, 3732751 fired transitions, 1200 secs || 4634754 markings, 9540178 edges, 4339 markings/sec, 1200 secs
lola: STP completed || 4 tries, 3747411 fired transitions, 1205 secs || 4654507 markings, 9586636 edges, 3951 markings/sec, 1205 secs
lola: STP completed || 4 tries, 3765826 fired transitions, 1210 secs || 4677867 markings, 9645106 edges, 4672 markings/sec, 1210 secs
lola: STP completed || 4 tries, 3781441 fired transitions, 1215 secs || 4697703 markings, 9689374 edges, 3967 markings/sec, 1215 secs
lola: STP completed || 4 tries, 3797161 fired transitions, 1220 secs || 4715286 markings, 9730637 edges, 3517 markings/sec, 1220 secs
lola: STP completed || 4 tries, 3810093 fired transitions, 1225 secs || 4730202 markings, 9765686 edges, 2983 markings/sec, 1225 secs
lola: STP completed || 4 tries, 3826110 fired transitions, 1230 secs || 4747984 markings, 9803360 edges, 3556 markings/sec, 1230 secs
lola: STP completed || 4 tries, 3836478 fired transitions, 1235 secs || 4757431 markings, 9824819 edges, 1889 markings/sec, 1235 secs
lola: STP completed || 4 tries, 3852541 fired transitions, 1240 secs || 4775855 markings, 9867883 edges, 3685 markings/sec, 1240 secs
lola: STP completed || 4 tries, 3867312 fired transitions, 1245 secs || 4794528 markings, 9907983 edges, 3735 markings/sec, 1245 secs
lola: STP completed || 4 tries, 3880695 fired transitions, 1250 secs || 4811350 markings, 9944829 edges, 3364 markings/sec, 1250 secs
lola: STP completed || 4 tries, 3898658 fired transitions, 1255 secs || 4829376 markings, 9981357 edges, 3605 markings/sec, 1255 secs
lola: STP completed || 4 tries, 3914531 fired transitions, 1260 secs || 4849680 markings, 10023783 edges, 4061 markings/sec, 1260 secs
lola: STP completed || 4 tries, 3929151 fired transitions, 1265 secs || 4866579 markings, 10062664 edges, 3380 markings/sec, 1265 secs
lola: STP completed || 4 tries, 3945353 fired transitions, 1270 secs || 4884092 markings, 10100342 edges, 3503 markings/sec, 1270 secs
lola: STP completed || 4 tries, 3960843 fired transitions, 1275 secs || 4902443 markings, 10139104 edges, 3670 markings/sec, 1275 secs
lola: STP completed || 4 tries, 3975164 fired transitions, 1280 secs || 4922426 markings, 10186247 edges, 3997 markings/sec, 1280 secs
lola: STP completed || 4 tries, 3988888 fired transitions, 1285 secs || 4939739 markings, 10221680 edges, 3463 markings/sec, 1285 secs
lola: STP completed || 5 tries, 4003501 fired transitions, 1290 secs || 4955691 markings, 10255296 edges, 3190 markings/sec, 1290 secs
lola: STP completed || 5 tries, 4017362 fired transitions, 1295 secs || 4972455 markings, 10291175 edges, 3353 markings/sec, 1295 secs
lola: STP completed || 5 tries, 4033535 fired transitions, 1300 secs || 4989677 markings, 10329516 edges, 3444 markings/sec, 1300 secs
lola: STP completed || 5 tries, 4049397 fired transitions, 1305 secs || 5007679 markings, 10367036 edges, 3600 markings/sec, 1305 secs
lola: STP completed || 5 tries, 4063796 fired transitions, 1310 secs || 5026476 markings, 10405591 edges, 3759 markings/sec, 1310 secs
lola: STP completed || 5 tries, 4076867 fired transitions, 1315 secs || 5039996 markings, 10434264 edges, 2704 markings/sec, 1315 secs
lola: STP completed || 5 tries, 4090531 fired transitions, 1320 secs || 5056801 markings, 10469143 edges, 3361 markings/sec, 1320 secs
lola: STP completed || 5 tries, 4106079 fired transitions, 1325 secs || 5074584 markings, 10506082 edges, 3557 markings/sec, 1325 secs
lola: STP completed || 5 tries, 4122159 fired transitions, 1330 secs || 5093156 markings, 10546495 edges, 3714 markings/sec, 1330 secs
lola: STP completed || 5 tries, 4131843 fired transitions, 1335 secs || 5101165 markings, 10563808 edges, 1602 markings/sec, 1335 secs
lola: STP completed || 5 tries, 4143703 fired transitions, 1340 secs || 5118537 markings, 10608033 edges, 3474 markings/sec, 1340 secs
lola: STP completed || 5 tries, 4161199 fired transitions, 1345 secs || 5138050 markings, 10655722 edges, 3903 markings/sec, 1345 secs
lola: STP completed || 5 tries, 4178035 fired transitions, 1350 secs || 5157687 markings, 10697674 edges, 3927 markings/sec, 1350 secs
lola: STP completed || 5 tries, 4195972 fired transitions, 1355 secs || 5177478 markings, 10740294 edges, 3958 markings/sec, 1355 secs
lola: STP completed || 5 tries, 4210133 fired transitions, 1360 secs || 5197796 markings, 10784201 edges, 4064 markings/sec, 1360 secs
lola: STP completed || 5 tries, 4226560 fired transitions, 1365 secs || 5214738 markings, 10821090 edges, 3388 markings/sec, 1365 secs
lola: STP completed || 5 tries, 4241912 fired transitions, 1370 secs || 5233744 markings, 10864123 edges, 3801 markings/sec, 1370 secs
lola: STP completed || 5 tries, 4257421 fired transitions, 1375 secs || 5251178 markings, 10904907 edges, 3487 markings/sec, 1375 secs
lola: STP completed || 5 tries, 4274917 fired transitions, 1380 secs || 5271515 markings, 10950878 edges, 4067 markings/sec, 1380 secs
lola: STP completed || 5 tries, 4291231 fired transitions, 1385 secs || 5289985 markings, 10996874 edges, 3694 markings/sec, 1385 secs
lola: STP completed || 5 tries, 4309257 fired transitions, 1390 secs || 5309846 markings, 11039761 edges, 3972 markings/sec, 1390 secs
lola: STP completed || 5 tries, 4325923 fired transitions, 1395 secs || 5330365 markings, 11082699 edges, 4104 markings/sec, 1395 secs
lola: STP completed || 5 tries, 4341179 fired transitions, 1400 secs || 5347727 markings, 11118882 edges, 3472 markings/sec, 1400 secs
lola: STP completed || 5 tries, 4356600 fired transitions, 1405 secs || 5367128 markings, 11159911 edges, 3880 markings/sec, 1405 secs
lola: STP completed || 5 tries, 4370988 fired transitions, 1410 secs || 5384479 markings, 11199212 edges, 3470 markings/sec, 1410 secs
lola: STP completed || 5 tries, 4384971 fired transitions, 1415 secs || 5398852 markings, 11234884 edges, 2875 markings/sec, 1415 secs
lola: STP completed || 5 tries, 4398735 fired transitions, 1420 secs || 5414385 markings, 11270613 edges, 3107 markings/sec, 1420 secs
lola: STP completed || 5 tries, 4416004 fired transitions, 1425 secs || 5435011 markings, 11319102 edges, 4125 markings/sec, 1425 secs
lola: STP completed || 5 tries, 4432718 fired transitions, 1430 secs || 5453491 markings, 11358479 edges, 3696 markings/sec, 1430 secs
lola: STP completed || 5 tries, 4446384 fired transitions, 1435 secs || 5471623 markings, 11397400 edges, 3626 markings/sec, 1435 secs
lola: STP completed || 5 tries, 4461943 fired transitions, 1440 secs || 5491693 markings, 11440867 edges, 4014 markings/sec, 1440 secs
lola: STP completed || 5 tries, 4478857 fired transitions, 1445 secs || 5509795 markings, 11487121 edges, 3620 markings/sec, 1445 secs
lola: STP completed || 5 tries, 4495289 fired transitions, 1450 secs || 5528505 markings, 11532219 edges, 3742 markings/sec, 1450 secs
lola: STP completed || 5 tries, 4510564 fired transitions, 1455 secs || 5546189 markings, 11574799 edges, 3537 markings/sec, 1455 secs
lola: STP completed || 5 tries, 4526534 fired transitions, 1460 secs || 5562532 markings, 11613530 edges, 3269 markings/sec, 1460 secs
lola: STP completed || 5 tries, 4543468 fired transitions, 1465 secs || 5581060 markings, 11655516 edges, 3706 markings/sec, 1465 secs
lola: STP completed || 5 tries, 4558254 fired transitions, 1470 secs || 5592706 markings, 11679729 edges, 2329 markings/sec, 1470 secs
lola: STP completed || 5 tries, 4573406 fired transitions, 1475 secs || 5609523 markings, 11715129 edges, 3363 markings/sec, 1475 secs
lola: STP completed || 5 tries, 4589027 fired transitions, 1480 secs || 5627348 markings, 11761737 edges, 3565 markings/sec, 1480 secs
lola: STP completed || 5 tries, 4603638 fired transitions, 1485 secs || 5645964 markings, 11803779 edges, 3723 markings/sec, 1485 secs
lola: STP completed || 5 tries, 4616856 fired transitions, 1490 secs || 5660183 markings, 11833660 edges, 2844 markings/sec, 1490 secs
lola: STP completed || 5 tries, 4631676 fired transitions, 1495 secs || 5678558 markings, 11871848 edges, 3675 markings/sec, 1495 secs
lola: STP completed || 5 tries, 4648861 fired transitions, 1500 secs || 5696000 markings, 11909582 edges, 3488 markings/sec, 1500 secs
lola: STP completed || 5 tries, 4663589 fired transitions, 1505 secs || 5714306 markings, 11946781 edges, 3661 markings/sec, 1505 secs
lola: STP completed || 5 tries, 4679385 fired transitions, 1510 secs || 5732882 markings, 11984214 edges, 3715 markings/sec, 1510 secs
lola: STP completed || 5 tries, 4694514 fired transitions, 1515 secs || 5755033 markings, 12031629 edges, 4430 markings/sec, 1515 secs
lola: STP completed || 5 tries, 4709750 fired transitions, 1520 secs || 5769371 markings, 12062657 edges, 2868 markings/sec, 1520 secs
lola: STP completed || 5 tries, 4723283 fired transitions, 1525 secs || 5785305 markings, 12096021 edges, 3187 markings/sec, 1525 secs
lola: STP completed || 5 tries, 4734949 fired transitions, 1530 secs || 5798952 markings, 12126481 edges, 2729 markings/sec, 1530 secs
lola: STP completed || 5 tries, 4743399 fired transitions, 1535 secs || 5805483 markings, 12140807 edges, 1306 markings/sec, 1535 secs
lola: STP completed || 5 tries, 4756018 fired transitions, 1540 secs || 5822114 markings, 12174501 edges, 3326 markings/sec, 1540 secs
lola: STP completed || 5 tries, 4772328 fired transitions, 1545 secs || 5843563 markings, 12220103 edges, 4290 markings/sec, 1545 secs
lola: STP completed || 5 tries, 4787100 fired transitions, 1550 secs || 5862608 markings, 12259324 edges, 3809 markings/sec, 1550 secs
lola: STP completed || 5 tries, 4802273 fired transitions, 1555 secs || 5881213 markings, 12300324 edges, 3721 markings/sec, 1555 secs
lola: STP completed || 5 tries, 4817035 fired transitions, 1560 secs || 5899226 markings, 12341750 edges, 3603 markings/sec, 1560 secs
lola: STP completed || 5 tries, 4833824 fired transitions, 1565 secs || 5916910 markings, 12378942 edges, 3537 markings/sec, 1565 secs
lola: STP completed || 5 tries, 4847870 fired transitions, 1570 secs || 5932114 markings, 12415742 edges, 3041 markings/sec, 1570 secs
lola: STP completed || 5 tries, 4863521 fired transitions, 1575 secs || 5950022 markings, 12459031 edges, 3582 markings/sec, 1575 secs
lola: STP completed || 5 tries, 4881906 fired transitions, 1580 secs || 5971486 markings, 12508068 edges, 4293 markings/sec, 1580 secs
lola: STP completed || 5 tries, 4897973 fired transitions, 1585 secs || 5989438 markings, 12548249 edges, 3590 markings/sec, 1585 secs
lola: STP completed || 5 tries, 4912235 fired transitions, 1590 secs || 6006363 markings, 12584019 edges, 3385 markings/sec, 1590 secs
lola: STP completed || 5 tries, 4928651 fired transitions, 1595 secs || 6027657 markings, 12630478 edges, 4259 markings/sec, 1595 secs
lola: STP completed || 5 tries, 4945558 fired transitions, 1600 secs || 6046805 markings, 12674121 edges, 3830 markings/sec, 1600 secs
lola: STP completed || 5 tries, 4958749 fired transitions, 1605 secs || 6058476 markings, 12699857 edges, 2334 markings/sec, 1605 secs
lola: STP completed || 5 tries, 4975625 fired transitions, 1610 secs || 6076087 markings, 12738248 edges, 3522 markings/sec, 1610 secs
lola: STP completed || 5 tries, 4989942 fired transitions, 1615 secs || 6094951 markings, 12780821 edges, 3773 markings/sec, 1615 secs
lola: STP completed || 6 tries, 5006471 fired transitions, 1620 secs || 6108404 markings, 12820311 edges, 2691 markings/sec, 1620 secs
lola: STP completed || 6 tries, 5022290 fired transitions, 1625 secs || 6126280 markings, 12863864 edges, 3575 markings/sec, 1625 secs
lola: STP completed || 6 tries, 5039498 fired transitions, 1630 secs || 6144843 markings, 12905551 edges, 3713 markings/sec, 1630 secs
lola: STP completed || 6 tries, 5053839 fired transitions, 1635 secs || 6160512 markings, 12939333 edges, 3134 markings/sec, 1635 secs
lola: STP completed || 6 tries, 5069360 fired transitions, 1640 secs || 6178682 markings, 12979646 edges, 3634 markings/sec, 1640 secs
lola: STP completed || 6 tries, 5082872 fired transitions, 1645 secs || 6196470 markings, 13018472 edges, 3558 markings/sec, 1645 secs
lola: STP completed || 6 tries, 5096573 fired transitions, 1650 secs || 6213136 markings, 13055579 edges, 3333 markings/sec, 1650 secs
lola: STP completed || 6 tries, 5111132 fired transitions, 1655 secs || 6230451 markings, 13096166 edges, 3463 markings/sec, 1655 secs
lola: STP completed || 6 tries, 5127591 fired transitions, 1660 secs || 6251309 markings, 13141786 edges, 4172 markings/sec, 1660 secs
lola: STP completed || 6 tries, 5145629 fired transitions, 1665 secs || 6271476 markings, 13189133 edges, 4033 markings/sec, 1665 secs
lola: STP completed || 6 tries, 5161881 fired transitions, 1670 secs || 6289869 markings, 13231203 edges, 3679 markings/sec, 1670 secs
lola: STP completed || 6 tries, 5176932 fired transitions, 1675 secs || 6309164 markings, 13273574 edges, 3859 markings/sec, 1675 secs
lola: STP completed || 6 tries, 5195406 fired transitions, 1680 secs || 6331619 markings, 13322060 edges, 4491 markings/sec, 1680 secs
lola: STP completed || 6 tries, 5210969 fired transitions, 1685 secs || 6350979 markings, 13365135 edges, 3872 markings/sec, 1685 secs
lola: STP completed || 6 tries, 5228196 fired transitions, 1690 secs || 6372482 markings, 13414861 edges, 4301 markings/sec, 1690 secs
lola: STP completed || 6 tries, 5244059 fired transitions, 1695 secs || 6394225 markings, 13463912 edges, 4349 markings/sec, 1695 secs
lola: STP completed || 6 tries, 5258574 fired transitions, 1700 secs || 6413777 markings, 13510434 edges, 3910 markings/sec, 1700 secs
lola: STP completed || 6 tries, 5275110 fired transitions, 1705 secs || 6436365 markings, 13562866 edges, 4518 markings/sec, 1705 secs
lola: STP completed || 6 tries, 5290662 fired transitions, 1710 secs || 6456248 markings, 13609550 edges, 3977 markings/sec, 1710 secs
lola: STP completed || 6 tries, 5307944 fired transitions, 1715 secs || 6476731 markings, 13656112 edges, 4097 markings/sec, 1715 secs
lola: STP completed || 6 tries, 5315909 fired transitions, 1720 secs || 6481714 markings, 13665795 edges, 997 markings/sec, 1720 secs
lola: STP completed || 6 tries, 5329691 fired transitions, 1725 secs || 6502268 markings, 13710600 edges, 4111 markings/sec, 1725 secs
lola: STP completed || 6 tries, 5344181 fired transitions, 1730 secs || 6520481 markings, 13749237 edges, 3643 markings/sec, 1730 secs
lola: STP completed || 6 tries, 5363361 fired transitions, 1735 secs || 6540875 markings, 13792327 edges, 4079 markings/sec, 1735 secs
lola: STP completed || 6 tries, 5378731 fired transitions, 1740 secs || 6562079 markings, 13843415 edges, 4241 markings/sec, 1740 secs
lola: STP completed || 6 tries, 5393173 fired transitions, 1745 secs || 6579098 markings, 13881714 edges, 3404 markings/sec, 1745 secs
lola: STP completed || 6 tries, 5408287 fired transitions, 1750 secs || 6598869 markings, 13929276 edges, 3954 markings/sec, 1750 secs
lola: STP completed || 6 tries, 5425780 fired transitions, 1755 secs || 6621157 markings, 13978480 edges, 4458 markings/sec, 1755 secs
lola: STP completed || 6 tries, 5441096 fired transitions, 1760 secs || 6641062 markings, 14020929 edges, 3981 markings/sec, 1760 secs
lola: STP completed || 6 tries, 5457532 fired transitions, 1765 secs || 6663236 markings, 14073071 edges, 4435 markings/sec, 1765 secs
lola: STP completed || 6 tries, 5473497 fired transitions, 1770 secs || 6684774 markings, 14124864 edges, 4308 markings/sec, 1770 secs
lola: STP completed || 6 tries, 5489993 fired transitions, 1775 secs || 6704287 markings, 14167442 edges, 3903 markings/sec, 1775 secs
lola: STP completed || 6 tries, 5507550 fired transitions, 1780 secs || 6723646 markings, 14210004 edges, 3872 markings/sec, 1780 secs
lola: STP completed || 6 tries, 5522680 fired transitions, 1785 secs || 6743622 markings, 14253079 edges, 3995 markings/sec, 1785 secs
lola: STP completed || 6 tries, 5536648 fired transitions, 1790 secs || 6757357 markings, 14282809 edges, 2747 markings/sec, 1790 secs
lola: STP completed || 6 tries, 5548018 fired transitions, 1795 secs || 6765012 markings, 14298895 edges, 1531 markings/sec, 1795 secs
lola: STP completed || 6 tries, 5566139 fired transitions, 1800 secs || 6785661 markings, 14343799 edges, 4130 markings/sec, 1800 secs
lola: STP completed || 6 tries, 5582816 fired transitions, 1805 secs || 6806057 markings, 14392223 edges, 4079 markings/sec, 1805 secs
lola: STP completed || 6 tries, 5598317 fired transitions, 1810 secs || 6824383 markings, 14431373 edges, 3665 markings/sec, 1810 secs
lola: STP completed || 6 tries, 5613301 fired transitions, 1815 secs || 6845699 markings, 14476044 edges, 4263 markings/sec, 1815 secs
lola: STP completed || 6 tries, 5634063 fired transitions, 1820 secs || 6868535 markings, 14528377 edges, 4567 markings/sec, 1820 secs
lola: STP completed || 6 tries, 5649559 fired transitions, 1825 secs || 6887904 markings, 14573289 edges, 3874 markings/sec, 1825 secs
lola: STP completed || 6 tries, 5664222 fired transitions, 1830 secs || 6907614 markings, 14614910 edges, 3942 markings/sec, 1830 secs
lola: STP completed || 6 tries, 5679971 fired transitions, 1835 secs || 6930877 markings, 14667723 edges, 4653 markings/sec, 1835 secs
lola: STP completed || 6 tries, 5698593 fired transitions, 1840 secs || 6954198 markings, 14718179 edges, 4664 markings/sec, 1840 secs
lola: STP completed || 6 tries, 5713906 fired transitions, 1845 secs || 6978069 markings, 14770852 edges, 4774 markings/sec, 1845 secs
lola: STP completed || 6 tries, 5729711 fired transitions, 1850 secs || 6996199 markings, 14810931 edges, 3626 markings/sec, 1850 secs
lola: STP completed || 6 tries, 5744532 fired transitions, 1855 secs || 7015514 markings, 14854957 edges, 3863 markings/sec, 1855 secs
lola: STP completed || 6 tries, 5762255 fired transitions, 1860 secs || 7035496 markings, 14896735 edges, 3996 markings/sec, 1860 secs
lola: STP completed || 6 tries, 5772773 fired transitions, 1865 secs || 7044383 markings, 14914372 edges, 1777 markings/sec, 1865 secs
lola: STP completed || 6 tries, 5787950 fired transitions, 1870 secs || 7063657 markings, 14960163 edges, 3855 markings/sec, 1870 secs
lola: STP completed || 6 tries, 5806400 fired transitions, 1875 secs || 7084136 markings, 15009577 edges, 4096 markings/sec, 1875 secs
lola: STP completed || 6 tries, 5825508 fired transitions, 1880 secs || 7103460 markings, 15055093 edges, 3865 markings/sec, 1880 secs
lola: STP completed || 6 tries, 5841316 fired transitions, 1885 secs || 7120723 markings, 15094603 edges, 3453 markings/sec, 1885 secs
lola: STP completed || 6 tries, 5857822 fired transitions, 1890 secs || 7139030 markings, 15137649 edges, 3661 markings/sec, 1890 secs
lola: STP completed || 6 tries, 5874736 fired transitions, 1895 secs || 7162005 markings, 15187455 edges, 4595 markings/sec, 1895 secs
lola: STP completed || 6 tries, 5887859 fired transitions, 1900 secs || 7181923 markings, 15230460 edges, 3984 markings/sec, 1900 secs
lola: STP completed || 6 tries, 5902374 fired transitions, 1905 secs || 7200491 markings, 15272668 edges, 3714 markings/sec, 1905 secs
lola: STP completed || 6 tries, 5920729 fired transitions, 1910 secs || 7221101 markings, 15323662 edges, 4122 markings/sec, 1910 secs
lola: STP completed || 6 tries, 5937241 fired transitions, 1915 secs || 7246306 markings, 15387481 edges, 5041 markings/sec, 1915 secs
lola: STP completed || 6 tries, 5954301 fired transitions, 1920 secs || 7268146 markings, 15439387 edges, 4368 markings/sec, 1920 secs
lola: STP completed || 6 tries, 5970293 fired transitions, 1925 secs || 7286931 markings, 15488140 edges, 3757 markings/sec, 1925 secs
lola: STP completed || 6 tries, 5986196 fired transitions, 1930 secs || 7308270 markings, 15542944 edges, 4268 markings/sec, 1930 secs
lola: STP completed || 7 tries, 6003907 fired transitions, 1935 secs || 7327839 markings, 15590705 edges, 3914 markings/sec, 1935 secs
lola: STP completed || 7 tries, 6021021 fired transitions, 1940 secs || 7349395 markings, 15637201 edges, 4311 markings/sec, 1940 secs
lola: STP completed || 7 tries, 6037169 fired transitions, 1945 secs || 7367824 markings, 15678322 edges, 3686 markings/sec, 1945 secs
lola: STP completed || 7 tries, 6051496 fired transitions, 1950 secs || 7390595 markings, 15731145 edges, 4554 markings/sec, 1950 secs
lola: STP completed || 7 tries, 6065041 fired transitions, 1955 secs || 7405880 markings, 15764856 edges, 3057 markings/sec, 1955 secs
lola: STP completed || 7 tries, 6083244 fired transitions, 1960 secs || 7427212 markings, 15810799 edges, 4266 markings/sec, 1960 secs
lola: STP completed || 7 tries, 6097978 fired transitions, 1965 secs || 7444790 markings, 15847894 edges, 3516 markings/sec, 1965 secs
lola: STP completed || 7 tries, 6115084 fired transitions, 1970 secs || 7465993 markings, 15899831 edges, 4241 markings/sec, 1970 secs
lola: STP completed || 7 tries, 6128578 fired transitions, 1975 secs || 7484747 markings, 15944251 edges, 3751 markings/sec, 1975 secs
lola: STP completed || 7 tries, 6143128 fired transitions, 1980 secs || 7508279 markings, 16002471 edges, 4706 markings/sec, 1980 secs
lola: STP completed || 7 tries, 6157984 fired transitions, 1985 secs || 7525889 markings, 16040305 edges, 3522 markings/sec, 1985 secs
lola: STP completed || 7 tries, 6172976 fired transitions, 1990 secs || 7546189 markings, 16088397 edges, 4060 markings/sec, 1990 secs
lola: STP completed || 7 tries, 6182033 fired transitions, 1995 secs || 7553344 markings, 16103595 edges, 1431 markings/sec, 1995 secs
lola: STP completed || 7 tries, 6192201 fired transitions, 2000 secs || 7561583 markings, 16121578 edges, 1648 markings/sec, 2000 secs
lola: STP completed || 7 tries, 6203313 fired transitions, 2005 secs || 7569576 markings, 16138884 edges, 1599 markings/sec, 2005 secs
lola: STP completed || 7 tries, 6212710 fired transitions, 2010 secs || 7578469 markings, 16158884 edges, 1779 markings/sec, 2010 secs
lola: STP completed || 7 tries, 6225388 fired transitions, 2015 secs || 7593936 markings, 16193257 edges, 3093 markings/sec, 2015 secs
lola: STP completed || 7 tries, 6241572 fired transitions, 2020 secs || 7615461 markings, 16240612 edges, 4305 markings/sec, 2020 secs
lola: STP completed || 7 tries, 6255688 fired transitions, 2025 secs || 7630616 markings, 16273079 edges, 3031 markings/sec, 2025 secs
lola: STP completed || 7 tries, 6270951 fired transitions, 2030 secs || 7646497 markings, 16307377 edges, 3176 markings/sec, 2030 secs
lola: STP completed || 7 tries, 6280360 fired transitions, 2035 secs || 7655569 markings, 16327521 edges, 1814 markings/sec, 2035 secs
lola: STP completed || 7 tries, 6290060 fired transitions, 2040 secs || 7661593 markings, 16339626 edges, 1205 markings/sec, 2040 secs
lola: STP completed || 7 tries, 6303868 fired transitions, 2045 secs || 7679737 markings, 16379945 edges, 3629 markings/sec, 2045 secs
lola: STP completed || 7 tries, 6323743 fired transitions, 2050 secs || 7700749 markings, 16424825 edges, 4202 markings/sec, 2050 secs
lola: STP completed || 7 tries, 6340731 fired transitions, 2055 secs || 7717759 markings, 16465982 edges, 3402 markings/sec, 2055 secs
lola: STP completed || 7 tries, 6350214 fired transitions, 2060 secs || 7727046 markings, 16485038 edges, 1857 markings/sec, 2060 secs
lola: STP completed || 7 tries, 6367147 fired transitions, 2065 secs || 7748577 markings, 16535908 edges, 4306 markings/sec, 2065 secs
lola: STP completed || 7 tries, 6380391 fired transitions, 2070 secs || 7765992 markings, 16574416 edges, 3483 markings/sec, 2070 secs
lola: STP completed || 7 tries, 6396290 fired transitions, 2075 secs || 7785484 markings, 16615853 edges, 3898 markings/sec, 2075 secs
lola: STP completed || 7 tries, 6412906 fired transitions, 2080 secs || 7804636 markings, 16658854 edges, 3830 markings/sec, 2080 secs
lola: STP completed || 7 tries, 6427831 fired transitions, 2085 secs || 7822357 markings, 16695811 edges, 3544 markings/sec, 2085 secs
lola: STP completed || 7 tries, 6443466 fired transitions, 2090 secs || 7838668 markings, 16729551 edges, 3262 markings/sec, 2090 secs
lola: STP completed || 7 tries, 6459754 fired transitions, 2095 secs || 7856144 markings, 16766091 edges, 3495 markings/sec, 2095 secs
lola: STP completed || 7 tries, 6475510 fired transitions, 2100 secs || 7875639 markings, 16809343 edges, 3899 markings/sec, 2100 secs
lola: STP completed || 7 tries, 6491578 fired transitions, 2105 secs || 7893330 markings, 16845855 edges, 3538 markings/sec, 2105 secs
lola: STP completed || 7 tries, 6505553 fired transitions, 2110 secs || 7909758 markings, 16884745 edges, 3286 markings/sec, 2110 secs
lola: STP completed || 7 tries, 6521851 fired transitions, 2115 secs || 7929822 markings, 16928837 edges, 4013 markings/sec, 2115 secs
lola: STP completed || 7 tries, 6534064 fired transitions, 2120 secs || 7947485 markings, 16965401 edges, 3533 markings/sec, 2120 secs
lola: STP completed || 7 tries, 6546483 fired transitions, 2125 secs || 7963800 markings, 17000674 edges, 3263 markings/sec, 2125 secs
lola: STP completed || 7 tries, 6560544 fired transitions, 2130 secs || 7982060 markings, 17039794 edges, 3652 markings/sec, 2130 secs
lola: STP completed || 7 tries, 6571071 fired transitions, 2135 secs || 7994454 markings, 17066483 edges, 2479 markings/sec, 2135 secs
lola: STP completed || 7 tries, 6582395 fired transitions, 2140 secs || 8005068 markings, 17088938 edges, 2123 markings/sec, 2140 secs
lola: STP completed || 7 tries, 6595608 fired transitions, 2145 secs || 8016074 markings, 17112584 edges, 2201 markings/sec, 2145 secs
lola: STP completed || 7 tries, 6607230 fired transitions, 2150 secs || 8035428 markings, 17152725 edges, 3871 markings/sec, 2150 secs
lola: STP completed || 7 tries, 6625753 fired transitions, 2155 secs || 8052907 markings, 17191236 edges, 3496 markings/sec, 2155 secs
lola: STP completed || 7 tries, 6641910 fired transitions, 2160 secs || 8072837 markings, 17233581 edges, 3986 markings/sec, 2160 secs
lola: STP completed || 7 tries, 6659148 fired transitions, 2165 secs || 8093886 markings, 17278049 edges, 4210 markings/sec, 2165 secs
lola: STP completed || 7 tries, 6675206 fired transitions, 2170 secs || 8114866 markings, 17322760 edges, 4196 markings/sec, 2170 secs
lola: STP completed || 7 tries, 6689739 fired transitions, 2175 secs || 8133185 markings, 17364558 edges, 3664 markings/sec, 2175 secs
lola: STP completed || 7 tries, 6706788 fired transitions, 2180 secs || 8151950 markings, 17409327 edges, 3753 markings/sec, 2180 secs
lola: STP completed || 7 tries, 6720916 fired transitions, 2185 secs || 8173079 markings, 17459247 edges, 4226 markings/sec, 2185 secs
lola: STP completed || 7 tries, 6737508 fired transitions, 2190 secs || 8196372 markings, 17510191 edges, 4659 markings/sec, 2190 secs
lola: STP completed || 7 tries, 6754877 fired transitions, 2195 secs || 8218644 markings, 17563273 edges, 4454 markings/sec, 2195 secs
lola: STP completed || 7 tries, 6768532 fired transitions, 2200 secs || 8237178 markings, 17606639 edges, 3707 markings/sec, 2200 secs
lola: STP completed || 7 tries, 6785085 fired transitions, 2205 secs || 8254074 markings, 17645816 edges, 3379 markings/sec, 2205 secs
lola: STP completed || 7 tries, 6802683 fired transitions, 2210 secs || 8272222 markings, 17684918 edges, 3630 markings/sec, 2210 secs
lola: STP completed || 7 tries, 6817394 fired transitions, 2215 secs || 8292539 markings, 17729615 edges, 4063 markings/sec, 2215 secs
lola: STP completed || 7 tries, 6832994 fired transitions, 2220 secs || 8309244 markings, 17765876 edges, 3341 markings/sec, 2220 secs
lola: STP completed || 7 tries, 6845254 fired transitions, 2225 secs || 8320561 markings, 17792626 edges, 2263 markings/sec, 2225 secs
lola: STP completed || 7 tries, 6856131 fired transitions, 2230 secs || 8326236 markings, 17803925 edges, 1135 markings/sec, 2230 secs
lola: STP completed || 7 tries, 6869669 fired transitions, 2235 secs || 8344275 markings, 17843449 edges, 3608 markings/sec, 2235 secs
lola: STP completed || 7 tries, 6882795 fired transitions, 2240 secs || 8361495 markings, 17880432 edges, 3444 markings/sec, 2240 secs
lola: STP completed || 7 tries, 6896878 fired transitions, 2245 secs || 8376340 markings, 17912199 edges, 2969 markings/sec, 2245 secs
lola: STP completed || 7 tries, 6910778 fired transitions, 2250 secs || 8393350 markings, 17950459 edges, 3402 markings/sec, 2250 secs
lola: STP completed || 7 tries, 6923028 fired transitions, 2255 secs || 8400733 markings, 17966551 edges, 1477 markings/sec, 2255 secs
lola: STP completed || 7 tries, 6936583 fired transitions, 2260 secs || 8412836 markings, 17992303 edges, 2421 markings/sec, 2260 secs
lola: STP completed || 7 tries, 6949717 fired transitions, 2265 secs || 8428222 markings, 18026349 edges, 3077 markings/sec, 2265 secs
lola: STP completed || 7 tries, 6963743 fired transitions, 2270 secs || 8446866 markings, 18067334 edges, 3729 markings/sec, 2270 secs
lola: STP completed || 7 tries, 6977741 fired transitions, 2275 secs || 8459902 markings, 18095084 edges, 2607 markings/sec, 2275 secs
lola: STP completed || 7 tries, 6994663 fired transitions, 2280 secs || 8479632 markings, 18137699 edges, 3946 markings/sec, 2280 secs
lola: STP completed || 8 tries, 7009119 fired transitions, 2285 secs || 8497797 markings, 18178297 edges, 3633 markings/sec, 2285 secs
lola: STP completed || 8 tries, 7021837 fired transitions, 2290 secs || 8514696 markings, 18214776 edges, 3380 markings/sec, 2290 secs
lola: STP completed || 8 tries, 7036740 fired transitions, 2295 secs || 8533483 markings, 18254238 edges, 3757 markings/sec, 2295 secs
lola: STP completed || 8 tries, 7053904 fired transitions, 2300 secs || 8553636 markings, 18299949 edges, 4031 markings/sec, 2300 secs
lola: STP completed || 8 tries, 7069802 fired transitions, 2305 secs || 8573578 markings, 18342856 edges, 3988 markings/sec, 2305 secs
lola: STP completed || 8 tries, 7088122 fired transitions, 2310 secs || 8594841 markings, 18389166 edges, 4253 markings/sec, 2310 secs
lola: STP completed || 8 tries, 7102664 fired transitions, 2315 secs || 8612926 markings, 18427698 edges, 3617 markings/sec, 2315 secs
lola: STP completed || 8 tries, 7118893 fired transitions, 2320 secs || 8635241 markings, 18479064 edges, 4463 markings/sec, 2320 secs
lola: STP completed || 8 tries, 7132713 fired transitions, 2325 secs || 8658363 markings, 18537431 edges, 4624 markings/sec, 2325 secs
lola: STP completed || 8 tries, 7146058 fired transitions, 2330 secs || 8672556 markings, 18567661 edges, 2839 markings/sec, 2330 secs
lola: STP completed || 8 tries, 7164248 fired transitions, 2335 secs || 8693241 markings, 18613881 edges, 4137 markings/sec, 2335 secs
lola: STP completed || 8 tries, 7181856 fired transitions, 2340 secs || 8716137 markings, 18663893 edges, 4579 markings/sec, 2340 secs
lola: STP completed || 8 tries, 7193185 fired transitions, 2345 secs || 8726678 markings, 18686832 edges, 2108 markings/sec, 2345 secs
lola: STP completed || 8 tries, 7211744 fired transitions, 2350 secs || 8747198 markings, 18731027 edges, 4104 markings/sec, 2350 secs
lola: STP completed || 8 tries, 7225644 fired transitions, 2355 secs || 8761716 markings, 18762102 edges, 2904 markings/sec, 2355 secs
lola: STP completed || 8 tries, 7236680 fired transitions, 2360 secs || 8768446 markings, 18776798 edges, 1346 markings/sec, 2360 secs
lola: STP completed || 8 tries, 7247638 fired transitions, 2365 secs || 8776340 markings, 18794569 edges, 1579 markings/sec, 2365 secs
lola: STP completed || 8 tries, 7263714 fired transitions, 2370 secs || 8797405 markings, 18842215 edges, 4213 markings/sec, 2370 secs
lola: STP completed || 8 tries, 7275711 fired transitions, 2375 secs || 8812650 markings, 18876042 edges, 3049 markings/sec, 2375 secs
lola: STP completed || 8 tries, 7292950 fired transitions, 2380 secs || 8832793 markings, 18919020 edges, 4029 markings/sec, 2380 secs
lola: STP completed || 8 tries, 7306211 fired transitions, 2385 secs || 8850453 markings, 18957859 edges, 3532 markings/sec, 2385 secs
lola: STP completed || 8 tries, 7319515 fired transitions, 2390 secs || 8865491 markings, 18989207 edges, 3008 markings/sec, 2390 secs
lola: STP completed || 8 tries, 7335644 fired transitions, 2395 secs || 8882865 markings, 19027425 edges, 3475 markings/sec, 2395 secs
lola: STP completed || 8 tries, 7348323 fired transitions, 2400 secs || 8893455 markings, 19051550 edges, 2118 markings/sec, 2400 secs
lola: STP completed || 8 tries, 7357829 fired transitions, 2405 secs || 8900370 markings, 19066761 edges, 1383 markings/sec, 2405 secs
lola: STP completed || 8 tries, 7368731 fired transitions, 2410 secs || 8906838 markings, 19080756 edges, 1294 markings/sec, 2410 secs
lola: STP completed || 8 tries, 7379364 fired transitions, 2415 secs || 8913943 markings, 19096893 edges, 1421 markings/sec, 2415 secs
lola: STP completed || 8 tries, 7395352 fired transitions, 2420 secs || 8931488 markings, 19135297 edges, 3509 markings/sec, 2420 secs
lola: STP completed || 8 tries, 7414060 fired transitions, 2425 secs || 8953988 markings, 19184229 edges, 4500 markings/sec, 2425 secs
lola: STP completed || 8 tries, 7432665 fired transitions, 2430 secs || 8972508 markings, 19228109 edges, 3704 markings/sec, 2430 secs
lola: STP completed || 8 tries, 7450055 fired transitions, 2435 secs || 8991294 markings, 19268486 edges, 3757 markings/sec, 2435 secs
lola: STP completed || 8 tries, 7466523 fired transitions, 2440 secs || 9011888 markings, 19310605 edges, 4119 markings/sec, 2440 secs
lola: STP completed || 8 tries, 7488413 fired transitions, 2445 secs || 9033454 markings, 19360709 edges, 4313 markings/sec, 2445 secs
lola: STP completed || 8 tries, 7501538 fired transitions, 2450 secs || 9050888 markings, 19397727 edges, 3487 markings/sec, 2450 secs
lola: STP completed || 8 tries, 7517469 fired transitions, 2455 secs || 9072475 markings, 19446110 edges, 4317 markings/sec, 2455 secs
lola: STP completed || 8 tries, 7536330 fired transitions, 2460 secs || 9093567 markings, 19490534 edges, 4218 markings/sec, 2460 secs
lola: STP completed || 8 tries, 7551306 fired transitions, 2465 secs || 9109694 markings, 19525791 edges, 3225 markings/sec, 2465 secs
lola: STP completed || 8 tries, 7564019 fired transitions, 2470 secs || 9124495 markings, 19557337 edges, 2960 markings/sec, 2470 secs
lola: STP completed || 8 tries, 7579878 fired transitions, 2475 secs || 9144037 markings, 19600975 edges, 3908 markings/sec, 2475 secs
lola: STP completed || 8 tries, 7594783 fired transitions, 2480 secs || 9162343 markings, 19641290 edges, 3661 markings/sec, 2480 secs
lola: STP completed || 8 tries, 7605598 fired transitions, 2485 secs || 9170284 markings, 19658686 edges, 1588 markings/sec, 2485 secs
lola: STP completed || 8 tries, 7619694 fired transitions, 2490 secs || 9185572 markings, 19691575 edges, 3058 markings/sec, 2490 secs
lola: STP completed || 8 tries, 7637006 fired transitions, 2495 secs || 9205004 markings, 19735681 edges, 3886 markings/sec, 2495 secs
lola: STP completed || 8 tries, 7649466 fired transitions, 2500 secs || 9222120 markings, 19771884 edges, 3423 markings/sec, 2500 secs
lola: STP completed || 8 tries, 7661464 fired transitions, 2505 secs || 9233538 markings, 19796991 edges, 2284 markings/sec, 2505 secs
lola: STP completed || 8 tries, 7677338 fired transitions, 2510 secs || 9253240 markings, 19842867 edges, 3940 markings/sec, 2510 secs
lola: STP completed || 8 tries, 7692521 fired transitions, 2515 secs || 9274512 markings, 19891036 edges, 4254 markings/sec, 2515 secs
lola: STP completed || 8 tries, 7709003 fired transitions, 2520 secs || 9293624 markings, 19933478 edges, 3822 markings/sec, 2520 secs
lola: STP completed || 8 tries, 7727667 fired transitions, 2525 secs || 9314114 markings, 19977722 edges, 4098 markings/sec, 2525 secs
lola: STP completed || 8 tries, 7742628 fired transitions, 2530 secs || 9335396 markings, 20023539 edges, 4256 markings/sec, 2530 secs
lola: STP completed || 8 tries, 7760528 fired transitions, 2535 secs || 9360793 markings, 20079126 edges, 5079 markings/sec, 2535 secs
lola: STP completed || 8 tries, 7775751 fired transitions, 2540 secs || 9384056 markings, 20129893 edges, 4653 markings/sec, 2540 secs
lola: STP completed || 8 tries, 7791230 fired transitions, 2545 secs || 9402802 markings, 20169568 edges, 3749 markings/sec, 2545 secs
lola: STP completed || 8 tries, 7807690 fired transitions, 2550 secs || 9424301 markings, 20217009 edges, 4300 markings/sec, 2550 secs
lola: STP completed || 8 tries, 7821434 fired transitions, 2555 secs || 9442716 markings, 20257062 edges, 3683 markings/sec, 2555 secs
lola: STP completed || 8 tries, 7836884 fired transitions, 2560 secs || 9463347 markings, 20302716 edges, 4126 markings/sec, 2560 secs
lola: STP completed || 8 tries, 7852767 fired transitions, 2565 secs || 9483914 markings, 20348264 edges, 4113 markings/sec, 2565 secs
lola: STP completed || 8 tries, 7869847 fired transitions, 2570 secs || 9503734 markings, 20394520 edges, 3964 markings/sec, 2570 secs
lola: STP completed || 8 tries, 7882449 fired transitions, 2575 secs || 9520433 markings, 20432627 edges, 3340 markings/sec, 2575 secs
lola: STP completed || 8 tries, 7897352 fired transitions, 2580 secs || 9540066 markings, 20474468 edges, 3927 markings/sec, 2580 secs
lola: STP completed || 8 tries, 7909123 fired transitions, 2585 secs || 9553174 markings, 20502730 edges, 2622 markings/sec, 2585 secs
lola: STP completed || 8 tries, 7927560 fired transitions, 2590 secs || 9575917 markings, 20554926 edges, 4549 markings/sec, 2590 secs
lola: STP completed || 8 tries, 7942070 fired transitions, 2595 secs || 9593496 markings, 20592144 edges, 3516 markings/sec, 2595 secs
lola: STP completed || 8 tries, 7958631 fired transitions, 2600 secs || 9612366 markings, 20633778 edges, 3774 markings/sec, 2600 secs
lola: STP completed || 8 tries, 7972749 fired transitions, 2605 secs || 9635155 markings, 20684803 edges, 4558 markings/sec, 2605 secs
lola: STP completed || 8 tries, 7983708 fired transitions, 2610 secs || 9644666 markings, 20705528 edges, 1902 markings/sec, 2610 secs
lola: STP completed || 8 tries, 7999417 fired transitions, 2615 secs || 9664036 markings, 20746968 edges, 3874 markings/sec, 2615 secs
lola: STP completed || 9 tries, 8014255 fired transitions, 2620 secs || 9681887 markings, 20787798 edges, 3570 markings/sec, 2620 secs
lola: STP completed || 9 tries, 8028561 fired transitions, 2625 secs || 9699644 markings, 20825900 edges, 3551 markings/sec, 2625 secs
lola: STP completed || 9 tries, 8043431 fired transitions, 2630 secs || 9717046 markings, 20864291 edges, 3480 markings/sec, 2630 secs
lola: STP completed || 9 tries, 8055004 fired transitions, 2635 secs || 9731518 markings, 20896486 edges, 2894 markings/sec, 2635 secs
lola: STP completed || 9 tries, 8070350 fired transitions, 2640 secs || 9747200 markings, 20929482 edges, 3136 markings/sec, 2640 secs
lola: STP completed || 9 tries, 8084716 fired transitions, 2645 secs || 9760098 markings, 20957000 edges, 2580 markings/sec, 2645 secs
lola: STP completed || 9 tries, 8091934 fired transitions, 2650 secs || 9768575 markings, 20975991 edges, 1695 markings/sec, 2650 secs
lola: STP completed || 9 tries, 8104796 fired transitions, 2655 secs || 9785402 markings, 21014459 edges, 3365 markings/sec, 2655 secs
lola: STP completed || 9 tries, 8119344 fired transitions, 2660 secs || 9808476 markings, 21065071 edges, 4615 markings/sec, 2660 secs
lola: STP completed || 9 tries, 8135859 fired transitions, 2665 secs || 9829902 markings, 21110476 edges, 4285 markings/sec, 2665 secs
lola: STP completed || 9 tries, 8151548 fired transitions, 2670 secs || 9847738 markings, 21148800 edges, 3567 markings/sec, 2670 secs
lola: STP completed || 9 tries, 8167116 fired transitions, 2675 secs || 9864137 markings, 21183382 edges, 3280 markings/sec, 2675 secs
lola: STP completed || 9 tries, 8181645 fired transitions, 2680 secs || 9881039 markings, 21218642 edges, 3380 markings/sec, 2680 secs
lola: STP completed || 9 tries, 8195430 fired transitions, 2685 secs || 9896956 markings, 21253786 edges, 3183 markings/sec, 2685 secs
lola: STP completed || 9 tries, 8211852 fired transitions, 2690 secs || 9918439 markings, 21300641 edges, 4297 markings/sec, 2690 secs
lola: STP completed || 9 tries, 8226848 fired transitions, 2695 secs || 9938331 markings, 21343456 edges, 3978 markings/sec, 2695 secs
lola: STP completed || 9 tries, 8243791 fired transitions, 2700 secs || 9955943 markings, 21381555 edges, 3522 markings/sec, 2700 secs
lola: STP completed || 9 tries, 8258936 fired transitions, 2705 secs || 9974787 markings, 21422989 edges, 3769 markings/sec, 2705 secs
lola: STP completed || 9 tries, 8275453 fired transitions, 2710 secs || 9996552 markings, 21471527 edges, 4353 markings/sec, 2710 secs
lola: STP completed || 9 tries, 8289743 fired transitions, 2715 secs || 10017904 markings, 21519379 edges, 4270 markings/sec, 2715 secs
lola: STP completed || 9 tries, 8304283 fired transitions, 2720 secs || 10037702 markings, 21564009 edges, 3960 markings/sec, 2720 secs
lola: STP completed || 9 tries, 8320426 fired transitions, 2725 secs || 10057034 markings, 21607952 edges, 3866 markings/sec, 2725 secs
lola: STP completed || 9 tries, 8339000 fired transitions, 2730 secs || 10079205 markings, 21655728 edges, 4434 markings/sec, 2730 secs
lola: STP completed || 9 tries, 8355242 fired transitions, 2735 secs || 10100692 markings, 21702955 edges, 4297 markings/sec, 2735 secs
lola: STP completed || 9 tries, 8367146 fired transitions, 2740 secs || 10118498 markings, 21743776 edges, 3561 markings/sec, 2740 secs
lola: STP completed || 9 tries, 8379458 fired transitions, 2745 secs || 10136997 markings, 21783997 edges, 3700 markings/sec, 2745 secs
lola: STP completed || 9 tries, 8397632 fired transitions, 2750 secs || 10159256 markings, 21833110 edges, 4452 markings/sec, 2750 secs
lola: STP completed || 9 tries, 8412966 fired transitions, 2755 secs || 10179635 markings, 21875714 edges, 4076 markings/sec, 2755 secs
lola: STP completed || 9 tries, 8428776 fired transitions, 2760 secs || 10197397 markings, 21912880 edges, 3552 markings/sec, 2760 secs
lola: STP completed || 9 tries, 8435528 fired transitions, 2765 secs || 10204872 markings, 21929233 edges, 1495 markings/sec, 2765 secs
lola: STP completed || 9 tries, 8449148 fired transitions, 2770 secs || 10224431 markings, 21972623 edges, 3912 markings/sec, 2770 secs
lola: STP completed || 9 tries, 8464691 fired transitions, 2775 secs || 10247668 markings, 22025532 edges, 4647 markings/sec, 2775 secs
lola: STP completed || 9 tries, 8482117 fired transitions, 2780 secs || 10272375 markings, 22081759 edges, 4941 markings/sec, 2780 secs
lola: STP completed || 9 tries, 8498883 fired transitions, 2785 secs || 10291303 markings, 22123227 edges, 3786 markings/sec, 2785 secs
lola: STP completed || 9 tries, 8514616 fired transitions, 2790 secs || 10312354 markings, 22172791 edges, 4210 markings/sec, 2790 secs
lola: STP completed || 9 tries, 8528243 fired transitions, 2795 secs || 10332924 markings, 22218882 edges, 4114 markings/sec, 2795 secs
lola: STP completed || 9 tries, 8543894 fired transitions, 2800 secs || 10353588 markings, 22265540 edges, 4133 markings/sec, 2800 secs
lola: STP completed || 9 tries, 8558565 fired transitions, 2805 secs || 10376221 markings, 22316625 edges, 4527 markings/sec, 2805 secs
lola: STP completed || 9 tries, 8575310 fired transitions, 2810 secs || 10394487 markings, 22354858 edges, 3653 markings/sec, 2810 secs
lola: STP completed || 9 tries, 8591638 fired transitions, 2815 secs || 10416051 markings, 22401315 edges, 4313 markings/sec, 2815 secs
lola: STP completed || 9 tries, 8605536 fired transitions, 2820 secs || 10435461 markings, 22443374 edges, 3882 markings/sec, 2820 secs
lola: STP completed || 9 tries, 8618891 fired transitions, 2825 secs || 10455644 markings, 22490165 edges, 4037 markings/sec, 2825 secs
lola: STP completed || 9 tries, 8633887 fired transitions, 2830 secs || 10474008 markings, 22529862 edges, 3673 markings/sec, 2830 secs
lola: STP completed || 9 tries, 8644710 fired transitions, 2835 secs || 10491811 markings, 22568754 edges, 3561 markings/sec, 2835 secs
lola: STP completed || 9 tries, 8659241 fired transitions, 2840 secs || 10504695 markings, 22597683 edges, 2577 markings/sec, 2840 secs
lola: STP completed || 9 tries, 8676088 fired transitions, 2845 secs || 10527461 markings, 22646466 edges, 4553 markings/sec, 2845 secs
lola: STP completed || 9 tries, 8693761 fired transitions, 2850 secs || 10552072 markings, 22698637 edges, 4922 markings/sec, 2850 secs
lola: STP completed || 9 tries, 8707513 fired transitions, 2855 secs || 10572697 markings, 22743733 edges, 4125 markings/sec, 2855 secs
lola: STP completed || 9 tries, 8724776 fired transitions, 2860 secs || 10595158 markings, 22793534 edges, 4492 markings/sec, 2860 secs
lola: STP completed || 9 tries, 8741035 fired transitions, 2865 secs || 10614588 markings, 22835902 edges, 3886 markings/sec, 2865 secs
lola: STP completed || 9 tries, 8754618 fired transitions, 2870 secs || 10634707 markings, 22880233 edges, 4024 markings/sec, 2870 secs
lola: STP completed || 9 tries, 8771377 fired transitions, 2875 secs || 10657624 markings, 22932440 edges, 4583 markings/sec, 2875 secs
lola: STP completed || 9 tries, 8788116 fired transitions, 2880 secs || 10677776 markings, 22976960 edges, 4030 markings/sec, 2880 secs
lola: STP completed || 9 tries, 8804300 fired transitions, 2885 secs || 10697348 markings, 23021070 edges, 3914 markings/sec, 2885 secs
lola: STP completed || 9 tries, 8821144 fired transitions, 2890 secs || 10712497 markings, 23053904 edges, 3030 markings/sec, 2890 secs
lola: STP completed || 9 tries, 8831962 fired transitions, 2895 secs || 10719998 markings, 23069459 edges, 1500 markings/sec, 2895 secs
lola: STP completed || 9 tries, 8846066 fired transitions, 2900 secs || 10736823 markings, 23106789 edges, 3365 markings/sec, 2900 secs
lola: STP completed || 9 tries, 8861820 fired transitions, 2905 secs || 10757034 markings, 23150627 edges, 4042 markings/sec, 2905 secs
lola: STP completed || 9 tries, 8876619 fired transitions, 2910 secs || 10774773 markings, 23189094 edges, 3548 markings/sec, 2910 secs
lola: STP completed || 9 tries, 8889286 fired transitions, 2915 secs || 10787110 markings, 23214734 edges, 2467 markings/sec, 2915 secs
lola: STP completed || 9 tries, 8904302 fired transitions, 2920 secs || 10807450 markings, 23258899 edges, 4068 markings/sec, 2920 secs
lola: STP completed || 9 tries, 8923011 fired transitions, 2925 secs || 10828072 markings, 23302443 edges, 4124 markings/sec, 2925 secs
lola: STP completed || 9 tries, 8936515 fired transitions, 2930 secs || 10841439 markings, 23330877 edges, 2673 markings/sec, 2930 secs
lola: STP completed || 9 tries, 8951865 fired transitions, 2935 secs || 10859658 markings, 23370060 edges, 3644 markings/sec, 2935 secs
lola: STP completed || 9 tries, 8968162 fired transitions, 2940 secs || 10882676 markings, 23419620 edges, 4604 markings/sec, 2940 secs
lola: STP completed || 9 tries, 8982218 fired transitions, 2945 secs || 10902954 markings, 23464593 edges, 4056 markings/sec, 2945 secs
lola: STP completed || 9 tries, 8997278 fired transitions, 2950 secs || 10920808 markings, 23504053 edges, 3571 markings/sec, 2950 secs
lola: STP completed || 10 tries, 9014160 fired transitions, 2955 secs || 10943784 markings, 23555705 edges, 4595 markings/sec, 2955 secs
lola: STP completed || 10 tries, 9027788 fired transitions, 2960 secs || 10965103 markings, 23600291 edges, 4264 markings/sec, 2960 secs
lola: STP completed || 10 tries, 9042940 fired transitions, 2965 secs || 10982028 markings, 23639520 edges, 3385 markings/sec, 2965 secs
lola: STP completed || 10 tries, 9058258 fired transitions, 2970 secs || 10998372 markings, 23673658 edges, 3269 markings/sec, 2970 secs
lola: STP completed || 10 tries, 9074415 fired transitions, 2975 secs || 11020530 markings, 23720235 edges, 4432 markings/sec, 2975 secs
lola: STP completed || 10 tries, 9089465 fired transitions, 2980 secs || 11039394 markings, 23760831 edges, 3773 markings/sec, 2980 secs
lola: STP completed || 10 tries, 9103491 fired transitions, 2985 secs || 11054792 markings, 23794298 edges, 3080 markings/sec, 2985 secs
lola: STP completed || 10 tries, 9116171 fired transitions, 2990 secs || 11075954 markings, 23840303 edges, 4232 markings/sec, 2990 secs
lola: STP completed || 10 tries, 9131075 fired transitions, 2995 secs || 11094922 markings, 23879969 edges, 3794 markings/sec, 2995 secs
lola: STP completed || 10 tries, 9143402 fired transitions, 3000 secs || 11103333 markings, 23896835 edges, 1682 markings/sec, 3000 secs
lola: STP completed || 10 tries, 9159522 fired transitions, 3005 secs || 11122923 markings, 23939757 edges, 3918 markings/sec, 3005 secs
lola: STP completed || 10 tries, 9178681 fired transitions, 3010 secs || 11145262 markings, 23989566 edges, 4468 markings/sec, 3010 secs
lola: STP completed || 10 tries, 9192789 fired transitions, 3015 secs || 11159844 markings, 24021675 edges, 2916 markings/sec, 3015 secs
lola: STP completed || 10 tries, 9205917 fired transitions, 3020 secs || 11174086 markings, 24053102 edges, 2848 markings/sec, 3020 secs
lola: STP completed || 10 tries, 9220503 fired transitions, 3025 secs || 11194796 markings, 24097535 edges, 4142 markings/sec, 3025 secs
lola: STP completed || 10 tries, 9234918 fired transitions, 3030 secs || 11216300 markings, 24144804 edges, 4301 markings/sec, 3030 secs
lola: STP completed || 10 tries, 9250577 fired transitions, 3035 secs || 11237140 markings, 24190108 edges, 4168 markings/sec, 3035 secs
lola: STP completed || 10 tries, 9265060 fired transitions, 3040 secs || 11251075 markings, 24221376 edges, 2787 markings/sec, 3040 secs
lola: STP completed || 10 tries, 9281533 fired transitions, 3045 secs || 11271093 markings, 24267262 edges, 4004 markings/sec, 3045 secs
lola: STP completed || 10 tries, 9298839 fired transitions, 3050 secs || 11293526 markings, 24317414 edges, 4487 markings/sec, 3050 secs
lola: STP completed || 10 tries, 9315696 fired transitions, 3055 secs || 11312566 markings, 24361134 edges, 3808 markings/sec, 3055 secs
lola: STP completed || 10 tries, 9335304 fired transitions, 3060 secs || 11338087 markings, 24418111 edges, 5104 markings/sec, 3060 secs
lola: STP completed || 10 tries, 9354633 fired transitions, 3065 secs || 11359676 markings, 24466574 edges, 4318 markings/sec, 3065 secs
lola: STP completed || 10 tries, 9371743 fired transitions, 3070 secs || 11379630 markings, 24510311 edges, 3991 markings/sec, 3070 secs
lola: STP completed || 10 tries, 9386247 fired transitions, 3075 secs || 11405344 markings, 24570288 edges, 5143 markings/sec, 3075 secs
lola: STP completed || 10 tries, 9400906 fired transitions, 3080 secs || 11423649 markings, 24609141 edges, 3661 markings/sec, 3080 secs
lola: STP completed || 10 tries, 9418098 fired transitions, 3085 secs || 11439895 markings, 24645616 edges, 3249 markings/sec, 3085 secs
lola: STP completed || 10 tries, 9435418 fired transitions, 3090 secs || 11456971 markings, 24684895 edges, 3415 markings/sec, 3090 secs
lola: STP completed || 10 tries, 9454415 fired transitions, 3095 secs || 11480873 markings, 24737052 edges, 4780 markings/sec, 3095 secs
lola: STP completed || 10 tries, 9468934 fired transitions, 3100 secs || 11501109 markings, 24781092 edges, 4047 markings/sec, 3100 secs
lola: STP completed || 10 tries, 9481844 fired transitions, 3105 secs || 11522618 markings, 24830913 edges, 4302 markings/sec, 3105 secs
lola: STP completed || 10 tries, 9500578 fired transitions, 3110 secs || 11547436 markings, 24886796 edges, 4964 markings/sec, 3110 secs
lola: STP completed || 10 tries, 9514129 fired transitions, 3115 secs || 11562493 markings, 24918708 edges, 3011 markings/sec, 3115 secs
lola: STP completed || 10 tries, 9525083 fired transitions, 3120 secs || 11571143 markings, 24938031 edges, 1730 markings/sec, 3120 secs
lola: STP completed || 10 tries, 9534894 fired transitions, 3125 secs || 11577757 markings, 24953102 edges, 1323 markings/sec, 3125 secs
lola: STP completed || 10 tries, 9554107 fired transitions, 3130 secs || 11598752 markings, 24999911 edges, 4199 markings/sec, 3130 secs
lola: STP completed || 10 tries, 9570093 fired transitions, 3135 secs || 11617782 markings, 25042541 edges, 3806 markings/sec, 3135 secs
lola: STP completed || 10 tries, 9586776 fired transitions, 3140 secs || 11636144 markings, 25083092 edges, 3672 markings/sec, 3140 secs
lola: STP completed || 10 tries, 9601707 fired transitions, 3145 secs || 11655694 markings, 25127251 edges, 3910 markings/sec, 3145 secs
lola: STP completed || 10 tries, 9619188 fired transitions, 3150 secs || 11673665 markings, 25166211 edges, 3594 markings/sec, 3150 secs
lola: STP completed || 10 tries, 9634956 fired transitions, 3155 secs || 11694699 markings, 25210835 edges, 4207 markings/sec, 3155 secs
lola: STP completed || 10 tries, 9648799 fired transitions, 3160 secs || 11713847 markings, 25252808 edges, 3830 markings/sec, 3160 secs
lola: STP completed || 10 tries, 9663068 fired transitions, 3165 secs || 11734085 markings, 25297718 edges, 4048 markings/sec, 3165 secs
lola: STP completed || 10 tries, 9676972 fired transitions, 3170 secs || 11750749 markings, 25334804 edges, 3333 markings/sec, 3170 secs
lola: STP completed || 10 tries, 9691487 fired transitions, 3175 secs || 11768107 markings, 25373489 edges, 3472 markings/sec, 3175 secs
lola: STP completed || 10 tries, 9708420 fired transitions, 3180 secs || 11789470 markings, 25419838 edges, 4273 markings/sec, 3180 secs
lola: STP completed || 10 tries, 9723511 fired transitions, 3185 secs || 11812308 markings, 25468977 edges, 4568 markings/sec, 3185 secs
lola: STP completed || 10 tries, 9741826 fired transitions, 3190 secs || 11833426 markings, 25514442 edges, 4224 markings/sec, 3190 secs
lola: STP completed || 10 tries, 9758197 fired transitions, 3195 secs || 11855879 markings, 25567945 edges, 4491 markings/sec, 3195 secs
lola: STP completed || 10 tries, 9774062 fired transitions, 3200 secs || 11875282 markings, 25611197 edges, 3881 markings/sec, 3200 secs
lola: STP completed || 10 tries, 9794651 fired transitions, 3205 secs || 11901922 markings, 25670050 edges, 5328 markings/sec, 3205 secs
lola: STP completed || 10 tries, 9813962 fired transitions, 3210 secs || 11923617 markings, 25716946 edges, 4339 markings/sec, 3210 secs
lola: STP completed || 10 tries, 9829164 fired transitions, 3215 secs || 11941163 markings, 25756753 edges, 3509 markings/sec, 3215 secs
lola: STP completed || 10 tries, 9842821 fired transitions, 3220 secs || 11959312 markings, 25797418 edges, 3630 markings/sec, 3220 secs
lola: STP completed || 10 tries, 9860649 fired transitions, 3225 secs || 11984027 markings, 25853539 edges, 4943 markings/sec, 3225 secs
lola: STP completed || 10 tries, 9873694 fired transitions, 3230 secs || 11999050 markings, 25887179 edges, 3005 markings/sec, 3230 secs
lola: STP completed || 10 tries, 9886122 fired transitions, 3235 secs || 12010865 markings, 25912958 edges, 2363 markings/sec, 3235 secs
lola: STP completed || 10 tries, 9902630 fired transitions, 3240 secs || 12032631 markings, 25960729 edges, 4353 markings/sec, 3240 secs
lola: STP completed || 10 tries, 9918065 fired transitions, 3245 secs || 12051212 markings, 26001895 edges, 3716 markings/sec, 3245 secs
lola: STP completed || 10 tries, 9932619 fired transitions, 3250 secs || 12068164 markings, 26039969 edges, 3390 markings/sec, 3250 secs
lola: STP completed || 10 tries, 9948994 fired transitions, 3255 secs || 12086925 markings, 26081589 edges, 3752 markings/sec, 3255 secs
lola: STP completed || 10 tries, 9961737 fired transitions, 3260 secs || 12101416 markings, 26112675 edges, 2898 markings/sec, 3260 secs
lola: STP completed || 10 tries, 9979844 fired transitions, 3265 secs || 12122386 markings, 26158269 edges, 4194 markings/sec, 3265 secs
lola: STP completed || 10 tries, 9993001 fired transitions, 3270 secs || 12144623 markings, 26206832 edges, 4447 markings/sec, 3270 secs
lola: STP completed || 11 tries, 10005453 fired transitions, 3275 secs || 12160807 markings, 26244637 edges, 3237 markings/sec, 3275 secs
lola: STP completed || 11 tries, 10020538 fired transitions, 3280 secs || 12178094 markings, 26281346 edges, 3457 markings/sec, 3280 secs
lola: STP completed || 11 tries, 10038017 fired transitions, 3285 secs || 12193514 markings, 26313849 edges, 3084 markings/sec, 3285 secs
lola: STP completed || 11 tries, 10056870 fired transitions, 3290 secs || 12213930 markings, 26357800 edges, 4083 markings/sec, 3290 secs
lola: STP completed || 11 tries, 10071820 fired transitions, 3295 secs || 12235753 markings, 26408783 edges, 4365 markings/sec, 3295 secs
lola: STP completed || 11 tries, 10089223 fired transitions, 3300 secs || 12255402 markings, 26453935 edges, 3930 markings/sec, 3300 secs
lola: STP completed || 11 tries, 10103781 fired transitions, 3305 secs || 12274188 markings, 26495893 edges, 3757 markings/sec, 3305 secs
lola: STP completed || 11 tries, 10117582 fired transitions, 3310 secs || 12293461 markings, 26538247 edges, 3855 markings/sec, 3310 secs
lola: STP completed || 11 tries, 10133021 fired transitions, 3315 secs || 12310612 markings, 26575148 edges, 3430 markings/sec, 3315 secs
lola: STP completed || 11 tries, 10150371 fired transitions, 3320 secs || 12332397 markings, 26626028 edges, 4357 markings/sec, 3320 secs
lola: STP completed || 11 tries, 10165828 fired transitions, 3325 secs || 12355658 markings, 26678124 edges, 4652 markings/sec, 3325 secs
lola: STP completed || 11 tries, 10184185 fired transitions, 3330 secs || 12380092 markings, 26730630 edges, 4887 markings/sec, 3330 secs
lola: STP completed || 11 tries, 10199627 fired transitions, 3335 secs || 12403428 markings, 26781161 edges, 4667 markings/sec, 3335 secs
lola: STP completed || 11 tries, 10215818 fired transitions, 3340 secs || 12421415 markings, 26821921 edges, 3597 markings/sec, 3340 secs
lola: STP completed || 11 tries, 10233742 fired transitions, 3345 secs || 12439550 markings, 26862468 edges, 3627 markings/sec, 3345 secs
lola: STP completed || 11 tries, 10249205 fired transitions, 3350 secs || 12462176 markings, 26911578 edges, 4525 markings/sec, 3350 secs
lola: STP completed || 11 tries, 10264868 fired transitions, 3355 secs || 12482975 markings, 26956996 edges, 4160 markings/sec, 3355 secs
lola: STP completed || 11 tries, 10279853 fired transitions, 3360 secs || 12500815 markings, 26995183 edges, 3568 markings/sec, 3360 secs
lola: STP completed || 11 tries, 10295004 fired transitions, 3365 secs || 12517724 markings, 27031802 edges, 3382 markings/sec, 3365 secs
lola: STP completed || 11 tries, 10308556 fired transitions, 3370 secs || 12531675 markings, 27063377 edges, 2790 markings/sec, 3370 secs
lola: STP completed || 11 tries, 10322969 fired transitions, 3375 secs || 12549754 markings, 27104232 edges, 3616 markings/sec, 3375 secs
lola: STP completed || 11 tries, 10338109 fired transitions, 3380 secs || 12569106 markings, 27145315 edges, 3870 markings/sec, 3380 secs
lola: STP completed || 11 tries, 10352463 fired transitions, 3385 secs || 12584541 markings, 27178798 edges, 3087 markings/sec, 3385 secs
lola: STP completed || 11 tries, 10369285 fired transitions, 3390 secs || 12605116 markings, 27222495 edges, 4115 markings/sec, 3390 secs
lola: STP completed || 11 tries, 10384865 fired transitions, 3395 secs || 12624230 markings, 27263915 edges, 3823 markings/sec, 3395 secs
lola: STP completed || 11 tries, 10403489 fired transitions, 3400 secs || 12646946 markings, 27315580 edges, 4543 markings/sec, 3400 secs
lola: STP completed || 11 tries, 10416058 fired transitions, 3405 secs || 12664237 markings, 27354445 edges, 3458 markings/sec, 3405 secs
lola: STP completed || 11 tries, 10432622 fired transitions, 3410 secs || 12684052 markings, 27398622 edges, 3963 markings/sec, 3410 secs
lola: STP completed || 11 tries, 10442789 fired transitions, 3415 secs || 12692586 markings, 27416449 edges, 1707 markings/sec, 3415 secs
lola: STP completed || 11 tries, 10451643 fired transitions, 3420 secs || 12700328 markings, 27432797 edges, 1548 markings/sec, 3420 secs
lola: STP completed || 11 tries, 10469201 fired transitions, 3425 secs || 12721003 markings, 27478217 edges, 4135 markings/sec, 3425 secs
lola: STP completed || 11 tries, 10489496 fired transitions, 3430 secs || 12740472 markings, 27521935 edges, 3894 markings/sec, 3430 secs
lola: STP completed || 11 tries, 10507663 fired transitions, 3435 secs || 12763973 markings, 27573309 edges, 4700 markings/sec, 3435 secs
lola: STP completed || 11 tries, 10525875 fired transitions, 3440 secs || 12786243 markings, 27621011 edges, 4454 markings/sec, 3440 secs
lola: STP completed || 11 tries, 10541916 fired transitions, 3445 secs || 12806193 markings, 27665427 edges, 3990 markings/sec, 3445 secs
lola: STP completed || 11 tries, 10555921 fired transitions, 3450 secs || 12822793 markings, 27700685 edges, 3320 markings/sec, 3450 secs
lola: STP completed || 11 tries, 10569082 fired transitions, 3455 secs || 12844581 markings, 27748872 edges, 4358 markings/sec, 3455 secs
lola: STP completed || 11 tries, 10583548 fired transitions, 3460 secs || 12861390 markings, 27787712 edges, 3362 markings/sec, 3460 secs
lola: STP completed || 11 tries, 10599756 fired transitions, 3465 secs || 12882150 markings, 27831465 edges, 4152 markings/sec, 3465 secs
lola: STP completed || 11 tries, 10617831 fired transitions, 3470 secs || 12902232 markings, 27876471 edges, 4016 markings/sec, 3470 secs
lola: STP completed || 11 tries, 10631579 fired transitions, 3475 secs || 12923654 markings, 27923468 edges, 4284 markings/sec, 3475 secs
lola: STP completed || 11 tries, 10645503 fired transitions, 3480 secs || 12942805 markings, 27964510 edges, 3830 markings/sec, 3480 secs
lola: STP completed || 11 tries, 10660483 fired transitions, 3485 secs || 12960515 markings, 28003776 edges, 3542 markings/sec, 3485 secs
lola: STP completed || 11 tries, 10678851 fired transitions, 3490 secs || 12981607 markings, 28048756 edges, 4218 markings/sec, 3490 secs
lola: STP completed || 11 tries, 10696717 fired transitions, 3495 secs || 13002396 markings, 28098622 edges, 4158 markings/sec, 3495 secs
lola: STP completed || 11 tries, 10711508 fired transitions, 3500 secs || 13019734 markings, 28138523 edges, 3468 markings/sec, 3500 secs
lola: STP completed || 11 tries, 10729852 fired transitions, 3505 secs || 13039766 markings, 28182590 edges, 4006 markings/sec, 3505 secs
lola: STP completed || 11 tries, 10743969 fired transitions, 3510 secs || 13057882 markings, 28222318 edges, 3623 markings/sec, 3510 secs
lola: STP completed || 11 tries, 10759627 fired transitions, 3515 secs || 13074986 markings, 28261905 edges, 3421 markings/sec, 3515 secs
lola: STP completed || 11 tries, 10777008 fired transitions, 3520 secs || 13096110 markings, 28308087 edges, 4225 markings/sec, 3520 secs
lola: STP completed || 11 tries, 10795918 fired transitions, 3525 secs || 13118496 markings, 28359379 edges, 4477 markings/sec, 3525 secs
lola: STP completed || 11 tries, 10813488 fired transitions, 3530 secs || 13138509 markings, 28403984 edges, 4003 markings/sec, 3530 secs
lola: STP completed || 11 tries, 10831215 fired transitions, 3535 secs || 13157003 markings, 28445014 edges, 3699 markings/sec, 3535 secs
lola: STP completed || 11 tries, 10849308 fired transitions, 3540 secs || 13176002 markings, 28488059 edges, 3800 markings/sec, 3540 secs
lola: STP completed || 11 tries, 10865181 fired transitions, 3545 secs || 13193425 markings, 28527180 edges, 3485 markings/sec, 3545 secs
lola: STP completed || 11 tries, 10882398 fired transitions, 3550 secs || 13215904 markings, 28577878 edges, 4496 markings/sec, 3550 secs
lola: STP completed || 11 tries, 10894997 fired transitions, 3555 secs || 13232745 markings, 28614076 edges, 3368 markings/sec, 3555 secs
lola: STP completed || 11 tries, 10912650 fired transitions, 3560 secs || 13251183 markings, 28657807 edges, 3688 markings/sec, 3560 secs
lola: time limit reached - aborting
lola: memory consumption: 684328 KB
lola: time consumption: 3570 seconds

BK_STOP 1526768206819

--------------------
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="EnergyBus-PT-none"
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/EnergyBus-PT-none.tgz
mv EnergyBus-PT-none 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 EnergyBus-PT-none, 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 r076-blw3-152649937300489"
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 ;