About the Execution of LoLA for LamportFastMutEx-COL-8
Execution Summary | |||||
Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
2035.400 | 3570685.00 | 7263020.00 | 511.50 | [undef] | Cannot compute |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Waiting for the VM to be ready (probing ssh)
..................
/home/mcc/execution
total 204K
-rw-r--r-- 1 mcc users 3.3K May 15 18:54 CTLCardinality.txt
-rw-r--r-- 1 mcc users 17K May 15 18:54 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.6K May 15 18:54 CTLFireability.txt
-rw-r--r-- 1 mcc users 16K May 15 18:54 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K May 15 18:50 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.3K May 15 18:50 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 2.4K May 15 18:54 LTLCardinality.txt
-rw-r--r-- 1 mcc users 11K May 15 18:54 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.0K May 15 18:54 LTLFireability.txt
-rw-r--r-- 1 mcc users 8.6K May 15 18:54 LTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K May 15 18:54 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 20K May 15 18:54 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 113 May 15 18:54 ReachabilityDeadlock.txt
-rw-r--r-- 1 mcc users 351 May 15 18:54 ReachabilityDeadlock.xml
-rw-r--r-- 1 mcc users 2.8K May 15 18:54 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 16K May 15 18:54 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K May 15 18:54 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K May 15 18:54 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 May 15 18:50 equiv_pt
-rw-r--r-- 1 mcc users 2 May 15 18:50 instance
-rw-r--r-- 1 mcc users 5 May 15 18:50 iscolored
-rw-r--r-- 1 mcc users 44K May 15 18:50 model.pnml
=====================================================================
Generated by BenchKit 2-3637
Executing tool lola
Input is LamportFastMutEx-COL-8, examination is ReachabilityDeadlock
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r112-csrt-152666469000104
=====================================================================
--------------------
content from stdout:
=== Data for post analysis generated by BenchKit (invocation template)
The expected result is a vector of booleans
BOOL_VECTOR
here is the order used to build the result vector(from text file)
FORMULA_NAME LamportFastMutEx-COL-8-ReachabilityDeadlock-0
=== Now, execution of the tool begins
BK_START 1527014336431
info: Time: 3600 - MCC
===========================================================================================
prep: translating LamportFastMutEx-COL-8 Petri net model.pnml into LoLA format
===========================================================================================
prep: translating COL Petri net complete
prep: added safe information to the net based on GenericPropertiesVerdict
prep: check for too many tokens
===========================================================================================
prep: translating LamportFastMutEx-COL-8 formula ReachabilityDeadlock into LoLA format
===========================================================================================
prep: translating COL formula complete
vrfy: Checking ReachabilityDeadlock @ LamportFastMutEx-COL-8 @ 3570 seconds
lola: LoLA will run for 3570 seconds at most (--timelimit)
lola: NET
lola: reading net from model.pnml.lola
lola: finished parsing
lola: closed net file model.pnml.lola
lola: 981/65536 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 315
lola: finding significant places
lola: 315 places, 666 transitions, 214 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 947 transition conflict sets
lola: TASK
lola: reading formula from LamportFastMutEx-COL-8-ReachabilityDeadlock.task
lola: E (F (DEADLOCK))
lola: rewrite Frontend/Parser/formula_rewrite.k:106
lola: checking reachability of deadlocks
lola: Planning: workflow for deadlock check: siphon||findpath||search) (--findpath=par,--siphontrap=par)
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using deadlock preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: SEARCH (findpath)
lola: findpath: using deadlock preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: findpath: starting randomized, memory-less exploration (--search=findpath)
lola: findpath: searching for paths with maximal depth 1000000 (--depthlimit)
lola: findpath: no retry limit given (--retrylimit)
lola: computing symmetries (--symmetry)
lola: time limit for symmetry computation of 300 seconds given (--symmtimelimit)
lola: findpath: transitions are chosen randomly
lola: computed 28 generators (8 in search tree, 20 by composition)
lola: representing 40320 symmetries
lola: 0 dead branches visited in search tree
lola: STP: formula with 12125 variables and 49918 clauses shipped to Minisat
lola: stp: The siphon/trap property does not hold
lola: STP completed || 1 tries, 69539 fired transitions, 0 secs || 55011 markings, 223917 edges, 11002 markings/sec, 0 secs
lola: STP completed || 1 tries, 139924 fired transitions, 5 secs || 111687 markings, 470443 edges, 11335 markings/sec, 5 secs
lola: STP completed || 1 tries, 207761 fired transitions, 10 secs || 168060 markings, 707938 edges, 11275 markings/sec, 10 secs
lola: STP completed || 1 tries, 283418 fired transitions, 15 secs || 224599 markings, 949988 edges, 11308 markings/sec, 15 secs
lola: STP completed || 1 tries, 362277 fired transitions, 20 secs || 279496 markings, 1201838 edges, 10979 markings/sec, 20 secs
lola: STP completed || 1 tries, 432005 fired transitions, 25 secs || 335090 markings, 1455804 edges, 11119 markings/sec, 25 secs
lola: STP completed || 1 tries, 499993 fired transitions, 30 secs || 387054 markings, 1695905 edges, 10393 markings/sec, 30 secs
lola: STP completed || 1 tries, 572603 fired transitions, 35 secs || 444859 markings, 1953958 edges, 11561 markings/sec, 35 secs
lola: STP completed || 1 tries, 649119 fired transitions, 40 secs || 501040 markings, 2208993 edges, 11236 markings/sec, 40 secs
lola: STP completed || 1 tries, 722259 fired transitions, 45 secs || 556906 markings, 2477771 edges, 11173 markings/sec, 45 secs
lola: STP completed || 1 tries, 795833 fired transitions, 50 secs || 614263 markings, 2745425 edges, 11471 markings/sec, 50 secs
lola: STP completed || 1 tries, 869337 fired transitions, 55 secs || 671220 markings, 3002032 edges, 11391 markings/sec, 55 secs
lola: STP completed || 1 tries, 926571 fired transitions, 60 secs || 713590 markings, 3202275 edges, 8474 markings/sec, 60 secs
lola: STP completed || 1 tries, 970577 fired transitions, 65 secs || 746552 markings, 3355567 edges, 6592 markings/sec, 65 secs
lola: STP completed || 2 tries, 1014706 fired transitions, 70 secs || 779495 markings, 3502245 edges, 6589 markings/sec, 70 secs
lola: STP completed || 2 tries, 1058898 fired transitions, 75 secs || 811921 markings, 3653865 edges, 6485 markings/sec, 75 secs
lola: STP completed || 2 tries, 1104115 fired transitions, 80 secs || 845037 markings, 3813817 edges, 6623 markings/sec, 80 secs
lola: STP completed || 2 tries, 1150445 fired transitions, 85 secs || 879431 markings, 3973134 edges, 6879 markings/sec, 85 secs
lola: STP completed || 2 tries, 1196251 fired transitions, 90 secs || 914200 markings, 4132030 edges, 6954 markings/sec, 90 secs
lola: STP completed || 2 tries, 1242699 fired transitions, 95 secs || 947824 markings, 4297526 edges, 6725 markings/sec, 95 secs
lola: STP completed || 2 tries, 1288563 fired transitions, 100 secs || 981966 markings, 4456245 edges, 6828 markings/sec, 100 secs
lola: STP completed || 2 tries, 1335104 fired transitions, 105 secs || 1016124 markings, 4623044 edges, 6832 markings/sec, 105 secs
lola: STP completed || 2 tries, 1381034 fired transitions, 110 secs || 1050049 markings, 4782310 edges, 6785 markings/sec, 110 secs
lola: STP completed || 2 tries, 1427515 fired transitions, 115 secs || 1083689 markings, 4944881 edges, 6728 markings/sec, 115 secs
lola: STP completed || 2 tries, 1473023 fired transitions, 120 secs || 1117781 markings, 5104810 edges, 6818 markings/sec, 120 secs
lola: STP completed || 2 tries, 1519333 fired transitions, 125 secs || 1152566 markings, 5265334 edges, 6957 markings/sec, 125 secs
lola: STP completed || 2 tries, 1565456 fired transitions, 130 secs || 1186103 markings, 5435113 edges, 6707 markings/sec, 130 secs
lola: STP completed || 2 tries, 1611915 fired transitions, 135 secs || 1219364 markings, 5601815 edges, 6652 markings/sec, 135 secs
lola: STP completed || 2 tries, 1686811 fired transitions, 140 secs || 1274310 markings, 5864736 edges, 10989 markings/sec, 140 secs
lola: STP completed || 2 tries, 1761952 fired transitions, 145 secs || 1331461 markings, 6144484 edges, 11430 markings/sec, 145 secs
lola: STP completed || 2 tries, 1836753 fired transitions, 150 secs || 1388841 markings, 6416448 edges, 11476 markings/sec, 150 secs
lola: STP completed || 2 tries, 1911963 fired transitions, 155 secs || 1445050 markings, 6685379 edges, 11242 markings/sec, 155 secs
lola: STP completed || 2 tries, 1986953 fired transitions, 160 secs || 1500905 markings, 6956790 edges, 11171 markings/sec, 160 secs
lola: STP completed || 3 tries, 2061870 fired transitions, 165 secs || 1557741 markings, 7221109 edges, 11367 markings/sec, 165 secs
lola: STP completed || 3 tries, 2135911 fired transitions, 170 secs || 1614738 markings, 7495647 edges, 11399 markings/sec, 170 secs
lola: STP completed || 3 tries, 2212376 fired transitions, 175 secs || 1670441 markings, 7777297 edges, 11141 markings/sec, 175 secs
lola: STP completed || 3 tries, 2286943 fired transitions, 180 secs || 1730161 markings, 8053692 edges, 11944 markings/sec, 180 secs
lola: STP completed || 3 tries, 2362578 fired transitions, 185 secs || 1789458 markings, 8325958 edges, 11859 markings/sec, 185 secs
lola: STP completed || 3 tries, 2437258 fired transitions, 190 secs || 1848097 markings, 8617755 edges, 11728 markings/sec, 190 secs
lola: STP completed || 3 tries, 2511537 fired transitions, 195 secs || 1907005 markings, 8904046 edges, 11782 markings/sec, 195 secs
lola: STP completed || 3 tries, 2586298 fired transitions, 200 secs || 1965775 markings, 9187267 edges, 11754 markings/sec, 200 secs
lola: STP completed || 3 tries, 2661801 fired transitions, 205 secs || 2025883 markings, 9460830 edges, 12022 markings/sec, 205 secs
lola: STP completed || 3 tries, 2735811 fired transitions, 210 secs || 2084885 markings, 9737586 edges, 11800 markings/sec, 210 secs
lola: STP completed || 3 tries, 2809385 fired transitions, 215 secs || 2143768 markings, 10015425 edges, 11777 markings/sec, 215 secs
lola: STP completed || 3 tries, 2882751 fired transitions, 220 secs || 2203383 markings, 10306718 edges, 11923 markings/sec, 220 secs
lola: STP completed || 3 tries, 2956180 fired transitions, 225 secs || 2262363 markings, 10598254 edges, 11796 markings/sec, 225 secs
lola: STP completed || 4 tries, 3031519 fired transitions, 230 secs || 2320806 markings, 10890200 edges, 11689 markings/sec, 230 secs
lola: STP completed || 4 tries, 3095102 fired transitions, 235 secs || 2369721 markings, 11125428 edges, 9783 markings/sec, 235 secs
lola: STP completed || 4 tries, 3141239 fired transitions, 240 secs || 2403309 markings, 11283274 edges, 6718 markings/sec, 240 secs
lola: STP completed || 4 tries, 3211702 fired transitions, 245 secs || 2452496 markings, 11525166 edges, 9837 markings/sec, 245 secs
lola: STP completed || 4 tries, 3285543 fired transitions, 250 secs || 2506277 markings, 11787221 edges, 10756 markings/sec, 250 secs
lola: STP completed || 4 tries, 3359311 fired transitions, 255 secs || 2561011 markings, 12052781 edges, 10947 markings/sec, 255 secs
lola: STP completed || 4 tries, 3431535 fired transitions, 260 secs || 2616452 markings, 12321811 edges, 11088 markings/sec, 260 secs
lola: STP completed || 4 tries, 3502930 fired transitions, 265 secs || 2671901 markings, 12593808 edges, 11090 markings/sec, 265 secs
lola: STP completed || 4 tries, 3575464 fired transitions, 270 secs || 2726804 markings, 12866927 edges, 10981 markings/sec, 270 secs
lola: STP completed || 4 tries, 3648494 fired transitions, 275 secs || 2782063 markings, 13137115 edges, 11052 markings/sec, 275 secs
lola: STP completed || 4 tries, 3724242 fired transitions, 280 secs || 2839449 markings, 13423024 edges, 11477 markings/sec, 280 secs
lola: STP completed || 4 tries, 3798451 fired transitions, 285 secs || 2898229 markings, 13697647 edges, 11756 markings/sec, 285 secs
lola: STP completed || 4 tries, 3872832 fired transitions, 290 secs || 2957948 markings, 13975940 edges, 11944 markings/sec, 290 secs
lola: STP completed || 4 tries, 3947683 fired transitions, 295 secs || 3017781 markings, 14257419 edges, 11967 markings/sec, 295 secs
lola: STP completed || 5 tries, 4024367 fired transitions, 300 secs || 3079264 markings, 14546079 edges, 12297 markings/sec, 300 secs
lola: STP completed || 5 tries, 4102165 fired transitions, 305 secs || 3139615 markings, 14841297 edges, 12070 markings/sec, 305 secs
lola: STP completed || 5 tries, 4181205 fired transitions, 310 secs || 3197073 markings, 15155331 edges, 11492 markings/sec, 310 secs
lola: STP completed || 5 tries, 4258102 fired transitions, 315 secs || 3257386 markings, 15449688 edges, 12063 markings/sec, 315 secs
lola: STP completed || 5 tries, 4334813 fired transitions, 320 secs || 3317421 markings, 15741390 edges, 12007 markings/sec, 320 secs
lola: STP completed || 5 tries, 4412675 fired transitions, 325 secs || 3375752 markings, 16035582 edges, 11666 markings/sec, 325 secs
lola: STP completed || 5 tries, 4489951 fired transitions, 330 secs || 3434502 markings, 16328410 edges, 11750 markings/sec, 330 secs
lola: STP completed || 5 tries, 4566981 fired transitions, 335 secs || 3493524 markings, 16627756 edges, 11804 markings/sec, 335 secs
lola: STP completed || 5 tries, 4643503 fired transitions, 340 secs || 3553929 markings, 16920618 edges, 12081 markings/sec, 340 secs
lola: STP completed || 5 tries, 4720495 fired transitions, 345 secs || 3614106 markings, 17207526 edges, 12035 markings/sec, 345 secs
lola: STP completed || 5 tries, 4797065 fired transitions, 350 secs || 3675556 markings, 17497093 edges, 12290 markings/sec, 350 secs
lola: STP completed || 5 tries, 4873586 fired transitions, 355 secs || 3735853 markings, 17790347 edges, 12059 markings/sec, 355 secs
lola: STP completed || 5 tries, 4949472 fired transitions, 360 secs || 3794939 markings, 18087279 edges, 11817 markings/sec, 360 secs
lola: STP completed || 6 tries, 5024226 fired transitions, 365 secs || 3854505 markings, 18382063 edges, 11913 markings/sec, 365 secs
lola: STP completed || 6 tries, 5100664 fired transitions, 370 secs || 3914320 markings, 18676737 edges, 11963 markings/sec, 370 secs
lola: STP completed || 6 tries, 5176499 fired transitions, 375 secs || 3973752 markings, 18974366 edges, 11886 markings/sec, 375 secs
lola: STP completed || 6 tries, 5252519 fired transitions, 380 secs || 4034751 markings, 19255123 edges, 12200 markings/sec, 380 secs
lola: STP completed || 6 tries, 5329224 fired transitions, 385 secs || 4094819 markings, 19545402 edges, 12014 markings/sec, 385 secs
lola: STP completed || 6 tries, 5406901 fired transitions, 390 secs || 4154291 markings, 19836255 edges, 11894 markings/sec, 390 secs
lola: STP completed || 6 tries, 5485261 fired transitions, 395 secs || 4213648 markings, 20134958 edges, 11871 markings/sec, 395 secs
lola: STP completed || 6 tries, 5563517 fired transitions, 400 secs || 4274312 markings, 20423826 edges, 12133 markings/sec, 400 secs
lola: STP completed || 6 tries, 5641113 fired transitions, 405 secs || 4335191 markings, 20704800 edges, 12176 markings/sec, 405 secs
lola: STP completed || 6 tries, 5718641 fired transitions, 410 secs || 4394789 markings, 21007432 edges, 11920 markings/sec, 410 secs
lola: STP completed || 6 tries, 5795884 fired transitions, 415 secs || 4454786 markings, 21302445 edges, 11999 markings/sec, 415 secs
lola: STP completed || 6 tries, 5872340 fired transitions, 420 secs || 4514989 markings, 21596233 edges, 12041 markings/sec, 420 secs
lola: STP completed || 6 tries, 5947919 fired transitions, 425 secs || 4574371 markings, 21887151 edges, 11876 markings/sec, 425 secs
lola: STP completed || 7 tries, 6025467 fired transitions, 430 secs || 4631883 markings, 22182023 edges, 11502 markings/sec, 430 secs
lola: STP completed || 7 tries, 6101641 fired transitions, 435 secs || 4690770 markings, 22462366 edges, 11777 markings/sec, 435 secs
lola: STP completed || 7 tries, 6178142 fired transitions, 440 secs || 4750717 markings, 22768804 edges, 11989 markings/sec, 440 secs
lola: STP completed || 7 tries, 6254528 fired transitions, 445 secs || 4810595 markings, 23062944 edges, 11976 markings/sec, 445 secs
lola: STP completed || 7 tries, 6331555 fired transitions, 450 secs || 4870344 markings, 23353618 edges, 11950 markings/sec, 450 secs
lola: STP completed || 7 tries, 6408740 fired transitions, 455 secs || 4929844 markings, 23642375 edges, 11900 markings/sec, 455 secs
lola: STP completed || 7 tries, 6485404 fired transitions, 460 secs || 4989910 markings, 23941893 edges, 12013 markings/sec, 460 secs
lola: STP completed || 7 tries, 6562114 fired transitions, 465 secs || 5048384 markings, 24243692 edges, 11695 markings/sec, 465 secs
lola: STP completed || 7 tries, 6638226 fired transitions, 470 secs || 5107759 markings, 24531870 edges, 11875 markings/sec, 470 secs
lola: STP completed || 7 tries, 6714660 fired transitions, 475 secs || 5167661 markings, 24829834 edges, 11980 markings/sec, 475 secs
lola: STP completed || 7 tries, 6790771 fired transitions, 480 secs || 5226474 markings, 25132330 edges, 11763 markings/sec, 480 secs
lola: STP completed || 7 tries, 6866520 fired transitions, 485 secs || 5286800 markings, 25434796 edges, 12065 markings/sec, 485 secs
lola: STP completed || 7 tries, 6944773 fired transitions, 490 secs || 5348443 markings, 25744242 edges, 12329 markings/sec, 490 secs
lola: STP completed || 8 tries, 7022597 fired transitions, 495 secs || 5410552 markings, 26051258 edges, 12422 markings/sec, 495 secs
lola: STP completed || 8 tries, 7101173 fired transitions, 500 secs || 5471995 markings, 26345110 edges, 12289 markings/sec, 500 secs
lola: STP completed || 8 tries, 7180136 fired transitions, 505 secs || 5533450 markings, 26654695 edges, 12291 markings/sec, 505 secs
lola: STP completed || 8 tries, 7258958 fired transitions, 510 secs || 5593442 markings, 26948529 edges, 11998 markings/sec, 510 secs
lola: STP completed || 8 tries, 7337630 fired transitions, 515 secs || 5651219 markings, 27256615 edges, 11555 markings/sec, 515 secs
lola: STP completed || 8 tries, 7416369 fired transitions, 520 secs || 5710475 markings, 27549017 edges, 11851 markings/sec, 520 secs
lola: STP completed || 8 tries, 7494122 fired transitions, 525 secs || 5771580 markings, 27846029 edges, 12221 markings/sec, 525 secs
lola: STP completed || 8 tries, 7571162 fired transitions, 530 secs || 5835437 markings, 28126794 edges, 12771 markings/sec, 530 secs
lola: STP completed || 8 tries, 7647985 fired transitions, 535 secs || 5896954 markings, 28433628 edges, 12303 markings/sec, 535 secs
lola: STP completed || 8 tries, 7724703 fired transitions, 540 secs || 5959174 markings, 28743597 edges, 12444 markings/sec, 540 secs
lola: STP completed || 8 tries, 7803525 fired transitions, 545 secs || 6019184 markings, 29049690 edges, 12002 markings/sec, 545 secs
lola: STP completed || 8 tries, 7882086 fired transitions, 550 secs || 6080754 markings, 29347140 edges, 12314 markings/sec, 550 secs
lola: STP completed || 8 tries, 7959338 fired transitions, 555 secs || 6143255 markings, 29641454 edges, 12500 markings/sec, 555 secs
lola: STP completed || 9 tries, 8036227 fired transitions, 560 secs || 6201069 markings, 29949771 edges, 11563 markings/sec, 560 secs
lola: STP completed || 9 tries, 8113645 fired transitions, 565 secs || 6259165 markings, 30222223 edges, 11619 markings/sec, 565 secs
lola: STP completed || 9 tries, 8190758 fired transitions, 570 secs || 6314367 markings, 30499661 edges, 11040 markings/sec, 570 secs
lola: STP completed || 9 tries, 8266633 fired transitions, 575 secs || 6368214 markings, 30777257 edges, 10769 markings/sec, 575 secs
lola: STP completed || 9 tries, 8342583 fired transitions, 580 secs || 6423263 markings, 31050095 edges, 11010 markings/sec, 580 secs
lola: STP completed || 9 tries, 8418973 fired transitions, 585 secs || 6478282 markings, 31309912 edges, 11004 markings/sec, 585 secs
lola: STP completed || 9 tries, 8497147 fired transitions, 590 secs || 6534123 markings, 31586458 edges, 11168 markings/sec, 590 secs
lola: STP completed || 9 tries, 8572738 fired transitions, 595 secs || 6589555 markings, 31856158 edges, 11086 markings/sec, 595 secs
lola: STP completed || 9 tries, 8646277 fired transitions, 600 secs || 6645748 markings, 32120625 edges, 11239 markings/sec, 600 secs
lola: STP completed || 9 tries, 8720572 fired transitions, 605 secs || 6701021 markings, 32416926 edges, 11055 markings/sec, 605 secs
lola: STP completed || 9 tries, 8794843 fired transitions, 610 secs || 6757209 markings, 32710549 edges, 11238 markings/sec, 610 secs
lola: STP completed || 9 tries, 8868836 fired transitions, 615 secs || 6812350 markings, 32988674 edges, 11028 markings/sec, 615 secs
lola: STP completed || 9 tries, 8945977 fired transitions, 620 secs || 6871878 markings, 33265899 edges, 11906 markings/sec, 620 secs
lola: STP completed || 10 tries, 9025157 fired transitions, 625 secs || 6931486 markings, 33552649 edges, 11922 markings/sec, 625 secs
lola: STP completed || 10 tries, 9103680 fired transitions, 630 secs || 6993169 markings, 33841918 edges, 12337 markings/sec, 630 secs
lola: STP completed || 10 tries, 9182328 fired transitions, 635 secs || 7051601 markings, 34141303 edges, 11686 markings/sec, 635 secs
lola: STP completed || 10 tries, 9261205 fired transitions, 640 secs || 7111733 markings, 34438061 edges, 12026 markings/sec, 640 secs
lola: STP completed || 10 tries, 9340404 fired transitions, 645 secs || 7172028 markings, 34739186 edges, 12059 markings/sec, 645 secs
lola: STP completed || 10 tries, 9420397 fired transitions, 650 secs || 7230546 markings, 35039316 edges, 11704 markings/sec, 650 secs
lola: STP completed || 10 tries, 9498798 fired transitions, 655 secs || 7289061 markings, 35337955 edges, 11703 markings/sec, 655 secs
lola: STP completed || 10 tries, 9578071 fired transitions, 660 secs || 7348296 markings, 35634581 edges, 11847 markings/sec, 660 secs
lola: STP completed || 10 tries, 9657325 fired transitions, 665 secs || 7408642 markings, 35930649 edges, 12069 markings/sec, 665 secs
lola: STP completed || 10 tries, 9736027 fired transitions, 670 secs || 7468222 markings, 36233253 edges, 11916 markings/sec, 670 secs
lola: STP completed || 10 tries, 9814767 fired transitions, 675 secs || 7528536 markings, 36529627 edges, 12063 markings/sec, 675 secs
lola: STP completed || 10 tries, 9894535 fired transitions, 680 secs || 7585937 markings, 36844663 edges, 11480 markings/sec, 680 secs
lola: STP completed || 10 tries, 9973713 fired transitions, 685 secs || 7647204 markings, 37151744 edges, 12253 markings/sec, 685 secs
lola: STP completed || 11 tries, 10053467 fired transitions, 690 secs || 7708491 markings, 37440427 edges, 12257 markings/sec, 690 secs
lola: STP completed || 11 tries, 10131311 fired transitions, 695 secs || 7768385 markings, 37754211 edges, 11979 markings/sec, 695 secs
lola: STP completed || 11 tries, 10208952 fired transitions, 700 secs || 7828915 markings, 38053317 edges, 12106 markings/sec, 700 secs
lola: STP completed || 11 tries, 10287337 fired transitions, 705 secs || 7889304 markings, 38368783 edges, 12078 markings/sec, 705 secs
lola: STP completed || 11 tries, 10366799 fired transitions, 710 secs || 7949952 markings, 38663506 edges, 12130 markings/sec, 710 secs
lola: STP completed || 11 tries, 10445226 fired transitions, 715 secs || 8010954 markings, 38969890 edges, 12200 markings/sec, 715 secs
lola: STP completed || 11 tries, 10525577 fired transitions, 720 secs || 8072251 markings, 39267922 edges, 12259 markings/sec, 720 secs
lola: STP completed || 11 tries, 10605370 fired transitions, 725 secs || 8138812 markings, 39514365 edges, 13312 markings/sec, 725 secs
lola: STP completed || 11 tries, 10685638 fired transitions, 730 secs || 8200643 markings, 39827363 edges, 12366 markings/sec, 730 secs
lola: STP completed || 11 tries, 10764739 fired transitions, 735 secs || 8265223 markings, 40081109 edges, 12916 markings/sec, 735 secs
lola: STP completed || 11 tries, 10845473 fired transitions, 740 secs || 8324374 markings, 40377028 edges, 11830 markings/sec, 740 secs
lola: STP completed || 11 tries, 10925599 fired transitions, 745 secs || 8386626 markings, 40670128 edges, 12450 markings/sec, 745 secs
lola: STP completed || 12 tries, 11005841 fired transitions, 750 secs || 8446762 markings, 40988525 edges, 12027 markings/sec, 750 secs
lola: STP completed || 12 tries, 11082242 fired transitions, 755 secs || 8505060 markings, 41278526 edges, 11660 markings/sec, 755 secs
lola: STP completed || 12 tries, 11132474 fired transitions, 760 secs || 8542660 markings, 41456047 edges, 7520 markings/sec, 760 secs
lola: STP completed || 12 tries, 11181578 fired transitions, 765 secs || 8579326 markings, 41618366 edges, 7333 markings/sec, 765 secs
lola: STP completed || 12 tries, 11230268 fired transitions, 770 secs || 8617266 markings, 41767097 edges, 7588 markings/sec, 770 secs
lola: STP completed || 12 tries, 11305160 fired transitions, 775 secs || 8676218 markings, 42055505 edges, 11790 markings/sec, 775 secs
lola: STP completed || 12 tries, 11380816 fired transitions, 780 secs || 8736247 markings, 42353273 edges, 12006 markings/sec, 780 secs
lola: STP completed || 12 tries, 11457558 fired transitions, 785 secs || 8795950 markings, 42660478 edges, 11941 markings/sec, 785 secs
lola: STP completed || 12 tries, 11534645 fired transitions, 790 secs || 8855335 markings, 42967125 edges, 11877 markings/sec, 790 secs
lola: STP completed || 12 tries, 11610822 fired transitions, 795 secs || 8915510 markings, 43257286 edges, 12035 markings/sec, 795 secs
lola: STP completed || 12 tries, 11689851 fired transitions, 800 secs || 8974098 markings, 43553796 edges, 11718 markings/sec, 800 secs
lola: STP completed || 12 tries, 11768311 fired transitions, 805 secs || 9032866 markings, 43846198 edges, 11754 markings/sec, 805 secs
lola: STP completed || 12 tries, 11846987 fired transitions, 810 secs || 9092714 markings, 44146909 edges, 11970 markings/sec, 810 secs
lola: STP completed || 12 tries, 11927895 fired transitions, 815 secs || 9153091 markings, 44404453 edges, 12075 markings/sec, 815 secs
lola: STP completed || 13 tries, 12008995 fired transitions, 820 secs || 9213038 markings, 44696280 edges, 11989 markings/sec, 820 secs
lola: STP completed || 13 tries, 12087448 fired transitions, 825 secs || 9276251 markings, 44975596 edges, 12643 markings/sec, 825 secs
lola: STP completed || 13 tries, 12164261 fired transitions, 830 secs || 9337752 markings, 45244863 edges, 12300 markings/sec, 830 secs
lola: STP completed || 13 tries, 12242762 fired transitions, 835 secs || 9400585 markings, 45471971 edges, 12567 markings/sec, 835 secs
lola: STP completed || 13 tries, 12318520 fired transitions, 840 secs || 9462854 markings, 45742249 edges, 12454 markings/sec, 840 secs
lola: STP completed || 13 tries, 12395120 fired transitions, 845 secs || 9522418 markings, 46039214 edges, 11913 markings/sec, 845 secs
lola: STP completed || 13 tries, 12472607 fired transitions, 850 secs || 9581457 markings, 46362819 edges, 11808 markings/sec, 850 secs
lola: STP completed || 13 tries, 12549076 fired transitions, 855 secs || 9641556 markings, 46650921 edges, 12020 markings/sec, 855 secs
lola: STP completed || 13 tries, 12625576 fired transitions, 860 secs || 9703584 markings, 46947412 edges, 12406 markings/sec, 860 secs
lola: STP completed || 13 tries, 12706582 fired transitions, 865 secs || 9763265 markings, 47255531 edges, 11936 markings/sec, 865 secs
lola: STP completed || 13 tries, 12786535 fired transitions, 870 secs || 9822106 markings, 47571030 edges, 11768 markings/sec, 870 secs
lola: STP completed || 13 tries, 12864594 fired transitions, 875 secs || 9882148 markings, 47861179 edges, 12008 markings/sec, 875 secs
lola: STP completed || 13 tries, 12943028 fired transitions, 880 secs || 9942199 markings, 48154554 edges, 12010 markings/sec, 880 secs
lola: STP completed || 14 tries, 13023466 fired transitions, 885 secs || 10001907 markings, 48455690 edges, 11942 markings/sec, 885 secs
lola: STP completed || 14 tries, 13103678 fired transitions, 890 secs || 10061297 markings, 48756543 edges, 11878 markings/sec, 890 secs
lola: STP completed || 14 tries, 13183480 fired transitions, 895 secs || 10119588 markings, 49064618 edges, 11658 markings/sec, 895 secs
lola: STP completed || 14 tries, 13263163 fired transitions, 900 secs || 10176939 markings, 49375501 edges, 11470 markings/sec, 900 secs
lola: STP completed || 14 tries, 13343199 fired transitions, 905 secs || 10236324 markings, 49681585 edges, 11877 markings/sec, 905 secs
lola: STP completed || 14 tries, 13421227 fired transitions, 910 secs || 10294636 markings, 49984455 edges, 11662 markings/sec, 910 secs
lola: STP completed || 14 tries, 13498453 fired transitions, 915 secs || 10352935 markings, 50281725 edges, 11660 markings/sec, 915 secs
lola: STP completed || 14 tries, 13577186 fired transitions, 920 secs || 10413286 markings, 50558626 edges, 12070 markings/sec, 920 secs
lola: STP completed || 14 tries, 13655018 fired transitions, 925 secs || 10473796 markings, 50847560 edges, 12102 markings/sec, 925 secs
lola: STP completed || 14 tries, 13732844 fired transitions, 930 secs || 10532004 markings, 51155093 edges, 11642 markings/sec, 930 secs
lola: STP completed || 14 tries, 13811768 fired transitions, 935 secs || 10594662 markings, 51401664 edges, 12532 markings/sec, 935 secs
lola: STP completed || 14 tries, 13891438 fired transitions, 940 secs || 10654916 markings, 51679692 edges, 12051 markings/sec, 940 secs
lola: STP completed || 14 tries, 13970321 fired transitions, 945 secs || 10715600 markings, 51966385 edges, 12137 markings/sec, 945 secs
lola: STP completed || 15 tries, 14049799 fired transitions, 950 secs || 10773475 markings, 52253665 edges, 11575 markings/sec, 950 secs
lola: STP completed || 15 tries, 14127371 fired transitions, 955 secs || 10834039 markings, 52524469 edges, 12113 markings/sec, 955 secs
lola: STP completed || 15 tries, 14203963 fired transitions, 960 secs || 10895312 markings, 52818395 edges, 12255 markings/sec, 960 secs
lola: STP completed || 15 tries, 14281524 fired transitions, 965 secs || 10956371 markings, 53120367 edges, 12212 markings/sec, 965 secs
lola: STP completed || 15 tries, 14358486 fired transitions, 970 secs || 11014644 markings, 53423997 edges, 11655 markings/sec, 970 secs
lola: STP completed || 15 tries, 14435105 fired transitions, 975 secs || 11073464 markings, 53732434 edges, 11764 markings/sec, 975 secs
lola: STP completed || 15 tries, 14512998 fired transitions, 980 secs || 11132093 markings, 54052555 edges, 11726 markings/sec, 980 secs
lola: STP completed || 15 tries, 14593383 fired transitions, 985 secs || 11189397 markings, 54372848 edges, 11461 markings/sec, 985 secs
lola: STP completed || 15 tries, 14672021 fired transitions, 990 secs || 11248267 markings, 54686709 edges, 11774 markings/sec, 990 secs
lola: STP completed || 15 tries, 14751095 fired transitions, 995 secs || 11309352 markings, 54963376 edges, 12217 markings/sec, 995 secs
lola: STP completed || 15 tries, 14829167 fired transitions, 1000 secs || 11373387 markings, 55202075 edges, 12807 markings/sec, 1000 secs
lola: STP completed || 15 tries, 14906843 fired transitions, 1005 secs || 11435062 markings, 55483771 edges, 12335 markings/sec, 1005 secs
lola: STP completed || 15 tries, 14983940 fired transitions, 1010 secs || 11494759 markings, 55782445 edges, 11939 markings/sec, 1010 secs
lola: STP completed || 16 tries, 15063535 fired transitions, 1015 secs || 11553876 markings, 56098411 edges, 11823 markings/sec, 1015 secs
lola: STP completed || 16 tries, 15143237 fired transitions, 1020 secs || 11614289 markings, 56413972 edges, 12083 markings/sec, 1020 secs
lola: STP completed || 16 tries, 15223626 fired transitions, 1025 secs || 11673541 markings, 56717271 edges, 11850 markings/sec, 1025 secs
lola: STP completed || 16 tries, 15302533 fired transitions, 1030 secs || 11736420 markings, 56985919 edges, 12576 markings/sec, 1030 secs
lola: STP completed || 16 tries, 15380908 fired transitions, 1035 secs || 11797517 markings, 57261551 edges, 12219 markings/sec, 1035 secs
lola: STP completed || 16 tries, 15458088 fired transitions, 1040 secs || 11859147 markings, 57537783 edges, 12326 markings/sec, 1040 secs
lola: STP completed || 16 tries, 15534939 fired transitions, 1045 secs || 11919708 markings, 57819167 edges, 12112 markings/sec, 1045 secs
lola: STP completed || 16 tries, 15610023 fired transitions, 1050 secs || 11980151 markings, 58105252 edges, 12089 markings/sec, 1050 secs
lola: STP completed || 16 tries, 15684858 fired transitions, 1055 secs || 12043925 markings, 58356267 edges, 12755 markings/sec, 1055 secs
lola: STP completed || 16 tries, 15760068 fired transitions, 1060 secs || 12103644 markings, 58650447 edges, 11944 markings/sec, 1060 secs
lola: STP completed || 16 tries, 15836598 fired transitions, 1065 secs || 12162604 markings, 58954239 edges, 11792 markings/sec, 1065 secs
lola: STP completed || 16 tries, 15913879 fired transitions, 1070 secs || 12223426 markings, 59241265 edges, 12164 markings/sec, 1070 secs
lola: STP completed || 16 tries, 15989769 fired transitions, 1075 secs || 12282591 markings, 59531385 edges, 11833 markings/sec, 1075 secs
lola: STP completed || 17 tries, 16066291 fired transitions, 1080 secs || 12341519 markings, 59836591 edges, 11786 markings/sec, 1080 secs
lola: STP completed || 17 tries, 16140922 fired transitions, 1085 secs || 12404796 markings, 60098912 edges, 12655 markings/sec, 1085 secs
lola: STP completed || 17 tries, 16215623 fired transitions, 1090 secs || 12464883 markings, 60393221 edges, 12017 markings/sec, 1090 secs
lola: STP completed || 17 tries, 16290081 fired transitions, 1095 secs || 12524172 markings, 60706104 edges, 11858 markings/sec, 1095 secs
lola: STP completed || 17 tries, 16364046 fired transitions, 1100 secs || 12587856 markings, 60964945 edges, 12737 markings/sec, 1100 secs
lola: STP completed || 17 tries, 16439049 fired transitions, 1105 secs || 12651690 markings, 61197361 edges, 12767 markings/sec, 1105 secs
lola: STP completed || 17 tries, 16514391 fired transitions, 1110 secs || 12714838 markings, 61456208 edges, 12630 markings/sec, 1110 secs
lola: STP completed || 17 tries, 16589970 fired transitions, 1115 secs || 12774744 markings, 61763610 edges, 11981 markings/sec, 1115 secs
lola: STP completed || 17 tries, 16666636 fired transitions, 1120 secs || 12833571 markings, 62058511 edges, 11765 markings/sec, 1120 secs
lola: STP completed || 17 tries, 16742943 fired transitions, 1125 secs || 12892449 markings, 62367368 edges, 11776 markings/sec, 1125 secs
lola: STP completed || 17 tries, 16820644 fired transitions, 1130 secs || 12951956 markings, 62660180 edges, 11901 markings/sec, 1130 secs
lola: STP completed || 17 tries, 16898586 fired transitions, 1135 secs || 13011821 markings, 62959781 edges, 11973 markings/sec, 1135 secs
lola: STP completed || 17 tries, 16975957 fired transitions, 1140 secs || 13071767 markings, 63262272 edges, 11989 markings/sec, 1140 secs
lola: STP completed || 18 tries, 17054761 fired transitions, 1145 secs || 13128840 markings, 63550232 edges, 11415 markings/sec, 1145 secs
lola: STP completed || 18 tries, 17133215 fired transitions, 1150 secs || 13188294 markings, 63842702 edges, 11891 markings/sec, 1150 secs
lola: STP completed || 18 tries, 17213180 fired transitions, 1155 secs || 13249068 markings, 64120515 edges, 12155 markings/sec, 1155 secs
lola: STP completed || 18 tries, 17291957 fired transitions, 1160 secs || 13310419 markings, 64390828 edges, 12270 markings/sec, 1160 secs
lola: STP completed || 18 tries, 17371770 fired transitions, 1165 secs || 13369352 markings, 64692617 edges, 11787 markings/sec, 1165 secs
lola: STP completed || 18 tries, 17452248 fired transitions, 1170 secs || 13428139 markings, 64987655 edges, 11757 markings/sec, 1170 secs
lola: STP completed || 18 tries, 17532241 fired transitions, 1175 secs || 13488285 markings, 65284058 edges, 12029 markings/sec, 1175 secs
lola: STP completed || 18 tries, 17609973 fired transitions, 1180 secs || 13548155 markings, 65563225 edges, 11974 markings/sec, 1180 secs
lola: STP completed || 18 tries, 17688331 fired transitions, 1185 secs || 13605638 markings, 65859299 edges, 11497 markings/sec, 1185 secs
lola: STP completed || 18 tries, 17766227 fired transitions, 1190 secs || 13667302 markings, 66131226 edges, 12333 markings/sec, 1190 secs
lola: STP completed || 18 tries, 17844394 fired transitions, 1195 secs || 13726940 markings, 66425622 edges, 11928 markings/sec, 1195 secs
lola: STP completed || 18 tries, 17923621 fired transitions, 1200 secs || 13785839 markings, 66728571 edges, 11780 markings/sec, 1200 secs
lola: STP completed || 19 tries, 18001906 fired transitions, 1205 secs || 13845100 markings, 67029448 edges, 11852 markings/sec, 1205 secs
lola: STP completed || 19 tries, 18080723 fired transitions, 1210 secs || 13905294 markings, 67322199 edges, 12039 markings/sec, 1210 secs
lola: STP completed || 19 tries, 18159192 fired transitions, 1215 secs || 13969362 markings, 67572720 edges, 12814 markings/sec, 1215 secs
lola: STP completed || 19 tries, 18238130 fired transitions, 1220 secs || 14034987 markings, 67812599 edges, 13125 markings/sec, 1220 secs
lola: STP completed || 19 tries, 18318429 fired transitions, 1225 secs || 14098593 markings, 68055774 edges, 12721 markings/sec, 1225 secs
lola: STP completed || 19 tries, 18397555 fired transitions, 1230 secs || 14159002 markings, 68334818 edges, 12082 markings/sec, 1230 secs
lola: STP completed || 19 tries, 18477691 fired transitions, 1235 secs || 14216362 markings, 68636732 edges, 11472 markings/sec, 1235 secs
lola: STP completed || 19 tries, 18555934 fired transitions, 1240 secs || 14275714 markings, 68953097 edges, 11870 markings/sec, 1240 secs
lola: STP completed || 19 tries, 18633940 fired transitions, 1245 secs || 14335746 markings, 69248472 edges, 12006 markings/sec, 1245 secs
lola: STP completed || 19 tries, 18712048 fired transitions, 1250 secs || 14395112 markings, 69540622 edges, 11873 markings/sec, 1250 secs
lola: STP completed || 19 tries, 18791360 fired transitions, 1255 secs || 14454969 markings, 69845021 edges, 11971 markings/sec, 1255 secs
lola: STP completed || 19 tries, 18870665 fired transitions, 1260 secs || 14514059 markings, 70151005 edges, 11818 markings/sec, 1260 secs
lola: STP completed || 19 tries, 18949370 fired transitions, 1265 secs || 14571554 markings, 70465006 edges, 11499 markings/sec, 1265 secs
lola: STP completed || 20 tries, 19027253 fired transitions, 1270 secs || 14628683 markings, 70792676 edges, 11426 markings/sec, 1270 secs
lola: STP completed || 20 tries, 19105507 fired transitions, 1275 secs || 14687744 markings, 71093446 edges, 11812 markings/sec, 1275 secs
lola: STP completed || 20 tries, 19185567 fired transitions, 1280 secs || 14746985 markings, 71368170 edges, 11848 markings/sec, 1280 secs
lola: STP completed || 20 tries, 19263672 fired transitions, 1285 secs || 14806236 markings, 71671543 edges, 11850 markings/sec, 1285 secs
lola: STP completed || 20 tries, 19342237 fired transitions, 1290 secs || 14864201 markings, 71976546 edges, 11593 markings/sec, 1290 secs
lola: STP completed || 20 tries, 19419849 fired transitions, 1295 secs || 14923000 markings, 72284969 edges, 11760 markings/sec, 1295 secs
lola: STP completed || 20 tries, 19496412 fired transitions, 1300 secs || 14981613 markings, 72591967 edges, 11723 markings/sec, 1300 secs
lola: STP completed || 20 tries, 19572424 fired transitions, 1305 secs || 15042296 markings, 72874471 edges, 12137 markings/sec, 1305 secs
lola: STP completed || 20 tries, 19647725 fired transitions, 1310 secs || 15101969 markings, 73172701 edges, 11935 markings/sec, 1310 secs
lola: STP completed || 20 tries, 19723689 fired transitions, 1315 secs || 15162893 markings, 73479717 edges, 12185 markings/sec, 1315 secs
lola: STP completed || 20 tries, 19803126 fired transitions, 1320 secs || 15224648 markings, 73774058 edges, 12351 markings/sec, 1320 secs
lola: STP completed || 20 tries, 19884066 fired transitions, 1325 secs || 15284285 markings, 74089927 edges, 11927 markings/sec, 1325 secs
lola: STP completed || 20 tries, 19964016 fired transitions, 1330 secs || 15346235 markings, 74378218 edges, 12390 markings/sec, 1330 secs
lola: STP completed || 21 tries, 20044003 fired transitions, 1335 secs || 15408382 markings, 74665453 edges, 12429 markings/sec, 1335 secs
lola: STP completed || 21 tries, 20121973 fired transitions, 1340 secs || 15469320 markings, 74976146 edges, 12188 markings/sec, 1340 secs
lola: STP completed || 21 tries, 20198744 fired transitions, 1345 secs || 15531308 markings, 75286511 edges, 12398 markings/sec, 1345 secs
lola: STP completed || 21 tries, 20277204 fired transitions, 1350 secs || 15592460 markings, 75585060 edges, 12230 markings/sec, 1350 secs
lola: STP completed || 21 tries, 20355453 fired transitions, 1355 secs || 15654435 markings, 75875062 edges, 12395 markings/sec, 1355 secs
lola: STP completed || 21 tries, 20432734 fired transitions, 1360 secs || 15714671 markings, 76191543 edges, 12047 markings/sec, 1360 secs
lola: STP completed || 21 tries, 20510910 fired transitions, 1365 secs || 15774419 markings, 76515008 edges, 11950 markings/sec, 1365 secs
lola: STP completed || 21 tries, 20588976 fired transitions, 1370 secs || 15834881 markings, 76831947 edges, 12092 markings/sec, 1370 secs
lola: STP completed || 21 tries, 20665537 fired transitions, 1375 secs || 15899467 markings, 77097480 edges, 12917 markings/sec, 1375 secs
lola: STP completed || 21 tries, 20742960 fired transitions, 1380 secs || 15960946 markings, 77378410 edges, 12296 markings/sec, 1380 secs
lola: STP completed || 21 tries, 20821295 fired transitions, 1385 secs || 16021954 markings, 77671946 edges, 12202 markings/sec, 1385 secs
lola: STP completed || 21 tries, 20898979 fired transitions, 1390 secs || 16085597 markings, 77940719 edges, 12729 markings/sec, 1390 secs
lola: STP completed || 21 tries, 20975256 fired transitions, 1395 secs || 16147074 markings, 78252762 edges, 12295 markings/sec, 1395 secs
lola: STP completed || 22 tries, 21051381 fired transitions, 1400 secs || 16205969 markings, 78556791 edges, 11779 markings/sec, 1400 secs
lola: STP completed || 22 tries, 21126011 fired transitions, 1405 secs || 16266478 markings, 78848444 edges, 12102 markings/sec, 1405 secs
lola: STP completed || 22 tries, 21201167 fired transitions, 1410 secs || 16326999 markings, 79135812 edges, 12104 markings/sec, 1410 secs
lola: STP completed || 22 tries, 21278217 fired transitions, 1415 secs || 16386224 markings, 79427019 edges, 11845 markings/sec, 1415 secs
lola: STP completed || 22 tries, 21356262 fired transitions, 1420 secs || 16444177 markings, 79747421 edges, 11591 markings/sec, 1420 secs
lola: STP completed || 22 tries, 21435178 fired transitions, 1425 secs || 16502947 markings, 80065978 edges, 11754 markings/sec, 1425 secs
lola: STP completed || 22 tries, 21514825 fired transitions, 1430 secs || 16562173 markings, 80376205 edges, 11845 markings/sec, 1430 secs
lola: STP completed || 22 tries, 21593986 fired transitions, 1435 secs || 16619883 markings, 80690696 edges, 11542 markings/sec, 1435 secs
lola: STP completed || 22 tries, 21671484 fired transitions, 1440 secs || 16679564 markings, 80992905 edges, 11936 markings/sec, 1440 secs
lola: STP completed || 22 tries, 21748826 fired transitions, 1445 secs || 16739546 markings, 81308871 edges, 11996 markings/sec, 1445 secs
lola: STP completed || 22 tries, 21826366 fired transitions, 1450 secs || 16798409 markings, 81613557 edges, 11773 markings/sec, 1450 secs
lola: STP completed || 22 tries, 21903883 fired transitions, 1455 secs || 16857857 markings, 81906777 edges, 11890 markings/sec, 1455 secs
lola: STP completed || 22 tries, 21979571 fired transitions, 1460 secs || 16918316 markings, 82182850 edges, 12092 markings/sec, 1460 secs
lola: STP completed || 23 tries, 22055752 fired transitions, 1465 secs || 16977604 markings, 82457212 edges, 11858 markings/sec, 1465 secs
lola: STP completed || 23 tries, 22132063 fired transitions, 1470 secs || 17037146 markings, 82752216 edges, 11908 markings/sec, 1470 secs
lola: STP completed || 23 tries, 22207129 fired transitions, 1475 secs || 17096691 markings, 83063296 edges, 11909 markings/sec, 1475 secs
lola: STP completed || 23 tries, 22281320 fired transitions, 1480 secs || 17153153 markings, 83367723 edges, 11292 markings/sec, 1480 secs
lola: STP completed || 23 tries, 22355980 fired transitions, 1485 secs || 17208620 markings, 83640705 edges, 11093 markings/sec, 1485 secs
lola: STP completed || 23 tries, 22400779 fired transitions, 1490 secs || 17240844 markings, 83809092 edges, 6445 markings/sec, 1490 secs
lola: STP completed || 23 tries, 22444974 fired transitions, 1495 secs || 17272134 markings, 83979728 edges, 6258 markings/sec, 1495 secs
lola: STP completed || 23 tries, 22488995 fired transitions, 1500 secs || 17304062 markings, 84143646 edges, 6386 markings/sec, 1500 secs
lola: STP completed || 23 tries, 22533113 fired transitions, 1505 secs || 17337589 markings, 84283663 edges, 6705 markings/sec, 1505 secs
lola: STP completed || 23 tries, 22577221 fired transitions, 1510 secs || 17368761 markings, 84452151 edges, 6234 markings/sec, 1510 secs
lola: STP completed || 23 tries, 22621230 fired transitions, 1515 secs || 17400275 markings, 84618840 edges, 6303 markings/sec, 1515 secs
lola: STP completed || 23 tries, 22665240 fired transitions, 1520 secs || 17433743 markings, 84739031 edges, 6694 markings/sec, 1520 secs
lola: STP completed || 23 tries, 22709291 fired transitions, 1525 secs || 17467537 markings, 84871626 edges, 6759 markings/sec, 1525 secs
lola: STP completed || 23 tries, 22753217 fired transitions, 1530 secs || 17500772 markings, 85014128 edges, 6647 markings/sec, 1530 secs
lola: STP completed || 23 tries, 22803035 fired transitions, 1535 secs || 17537968 markings, 85203276 edges, 7439 markings/sec, 1535 secs
lola: STP completed || 23 tries, 22880268 fired transitions, 1540 secs || 17594551 markings, 85457970 edges, 11317 markings/sec, 1540 secs
lola: STP completed || 23 tries, 22955374 fired transitions, 1545 secs || 17648479 markings, 85759842 edges, 10786 markings/sec, 1545 secs
lola: STP completed || 24 tries, 23026565 fired transitions, 1550 secs || 17702916 markings, 86038039 edges, 10887 markings/sec, 1550 secs
lola: STP completed || 24 tries, 23100873 fired transitions, 1555 secs || 17756500 markings, 86333500 edges, 10717 markings/sec, 1555 secs
lola: STP completed || 24 tries, 23174859 fired transitions, 1560 secs || 17810022 markings, 86625233 edges, 10704 markings/sec, 1560 secs
lola: STP completed || 24 tries, 23249782 fired transitions, 1565 secs || 17865295 markings, 86900408 edges, 11055 markings/sec, 1565 secs
lola: STP completed || 24 tries, 23323008 fired transitions, 1570 secs || 17920088 markings, 87185698 edges, 10959 markings/sec, 1570 secs
lola: STP completed || 24 tries, 23398029 fired transitions, 1575 secs || 17976208 markings, 87448680 edges, 11224 markings/sec, 1575 secs
lola: STP completed || 24 tries, 23474475 fired transitions, 1580 secs || 18035414 markings, 87735866 edges, 11841 markings/sec, 1580 secs
lola: STP completed || 24 tries, 23551539 fired transitions, 1585 secs || 18094720 markings, 88025312 edges, 11861 markings/sec, 1585 secs
lola: STP completed || 24 tries, 23626227 fired transitions, 1590 secs || 18149885 markings, 88306753 edges, 11033 markings/sec, 1590 secs
lola: STP completed || 24 tries, 23700807 fired transitions, 1595 secs || 18207944 markings, 88571419 edges, 11612 markings/sec, 1595 secs
lola: STP completed || 24 tries, 23776669 fired transitions, 1600 secs || 18262381 markings, 88841597 edges, 10887 markings/sec, 1600 secs
lola: STP completed || 24 tries, 23854062 fired transitions, 1605 secs || 18318072 markings, 89109738 edges, 11138 markings/sec, 1605 secs
lola: STP completed || 24 tries, 23933867 fired transitions, 1610 secs || 18377806 markings, 89403475 edges, 11947 markings/sec, 1610 secs
lola: STP completed || 25 tries, 24011041 fired transitions, 1615 secs || 18437830 markings, 89683594 edges, 12005 markings/sec, 1615 secs
lola: STP completed || 25 tries, 24072549 fired transitions, 1620 secs || 18479896 markings, 89899666 edges, 8413 markings/sec, 1620 secs
lola: STP completed || 25 tries, 24149656 fired transitions, 1625 secs || 18532640 markings, 90177843 edges, 10549 markings/sec, 1625 secs
lola: STP completed || 25 tries, 24220689 fired transitions, 1630 secs || 18585769 markings, 90444961 edges, 10626 markings/sec, 1630 secs
lola: STP completed || 25 tries, 24290976 fired transitions, 1635 secs || 18641522 markings, 90734989 edges, 11151 markings/sec, 1635 secs
lola: STP completed || 25 tries, 24362775 fired transitions, 1640 secs || 18695003 markings, 91022752 edges, 10696 markings/sec, 1640 secs
lola: STP completed || 25 tries, 24434430 fired transitions, 1645 secs || 18750739 markings, 91298170 edges, 11147 markings/sec, 1645 secs
lola: STP completed || 25 tries, 24506761 fired transitions, 1650 secs || 18803813 markings, 91572131 edges, 10615 markings/sec, 1650 secs
lola: STP completed || 25 tries, 24579430 fired transitions, 1655 secs || 18856906 markings, 91832875 edges, 10619 markings/sec, 1655 secs
lola: STP completed || 25 tries, 24655433 fired transitions, 1660 secs || 18912738 markings, 92096104 edges, 11166 markings/sec, 1660 secs
lola: STP completed || 25 tries, 24726354 fired transitions, 1665 secs || 18967551 markings, 92351804 edges, 10963 markings/sec, 1665 secs
lola: STP completed || 25 tries, 24799694 fired transitions, 1670 secs || 19022980 markings, 92631835 edges, 11086 markings/sec, 1670 secs
lola: STP completed || 25 tries, 24873133 fired transitions, 1675 secs || 19074729 markings, 92911070 edges, 10350 markings/sec, 1675 secs
lola: STP completed || 25 tries, 24944966 fired transitions, 1680 secs || 19127576 markings, 93191910 edges, 10569 markings/sec, 1680 secs
lola: STP completed || 26 tries, 25019795 fired transitions, 1685 secs || 19180716 markings, 93466186 edges, 10628 markings/sec, 1685 secs
lola: STP completed || 26 tries, 25091424 fired transitions, 1690 secs || 19236284 markings, 93727304 edges, 11114 markings/sec, 1690 secs
lola: STP completed || 26 tries, 25162548 fired transitions, 1695 secs || 19289309 markings, 94001567 edges, 10605 markings/sec, 1695 secs
lola: STP completed || 26 tries, 25206654 fired transitions, 1700 secs || 19320401 markings, 94170156 edges, 6218 markings/sec, 1700 secs
lola: STP completed || 26 tries, 25251172 fired transitions, 1705 secs || 19356030 markings, 94299098 edges, 7126 markings/sec, 1705 secs
lola: STP completed || 26 tries, 25302736 fired transitions, 1710 secs || 19395001 markings, 94470370 edges, 7794 markings/sec, 1710 secs
lola: STP completed || 26 tries, 25369723 fired transitions, 1715 secs || 19445442 markings, 94687948 edges, 10088 markings/sec, 1715 secs
lola: STP completed || 26 tries, 25442264 fired transitions, 1720 secs || 19500822 markings, 94927981 edges, 11076 markings/sec, 1720 secs
lola: STP completed || 26 tries, 25497677 fired transitions, 1725 secs || 19539675 markings, 95137642 edges, 7771 markings/sec, 1725 secs
lola: STP completed || 26 tries, 25571541 fired transitions, 1730 secs || 19593872 markings, 95421820 edges, 10839 markings/sec, 1730 secs
lola: STP completed || 26 tries, 25646337 fired transitions, 1735 secs || 19650324 markings, 95703501 edges, 11290 markings/sec, 1735 secs
lola: STP completed || 26 tries, 25720100 fired transitions, 1740 secs || 19708189 markings, 95977314 edges, 11573 markings/sec, 1740 secs
lola: STP completed || 26 tries, 25795406 fired transitions, 1745 secs || 19763723 markings, 96292180 edges, 11107 markings/sec, 1745 secs
lola: STP completed || 26 tries, 25869502 fired transitions, 1750 secs || 19820494 markings, 96591716 edges, 11354 markings/sec, 1750 secs
lola: STP completed || 26 tries, 25947082 fired transitions, 1755 secs || 19876817 markings, 96888405 edges, 11265 markings/sec, 1755 secs
lola: STP completed || 27 tries, 26024714 fired transitions, 1760 secs || 19932971 markings, 97171380 edges, 11231 markings/sec, 1760 secs
lola: STP completed || 27 tries, 26104837 fired transitions, 1765 secs || 19987520 markings, 97449581 edges, 10910 markings/sec, 1765 secs
lola: STP completed || 27 tries, 26185905 fired transitions, 1770 secs || 20040724 markings, 97747156 edges, 10641 markings/sec, 1770 secs
lola: STP completed || 27 tries, 26265234 fired transitions, 1775 secs || 20095651 markings, 98023102 edges, 10985 markings/sec, 1775 secs
lola: STP completed || 27 tries, 26344802 fired transitions, 1780 secs || 20150005 markings, 98306739 edges, 10871 markings/sec, 1780 secs
lola: STP completed || 27 tries, 26423867 fired transitions, 1785 secs || 20205173 markings, 98601043 edges, 11034 markings/sec, 1785 secs
lola: STP completed || 27 tries, 26500093 fired transitions, 1790 secs || 20262066 markings, 98895264 edges, 11379 markings/sec, 1790 secs
lola: STP completed || 27 tries, 26576612 fired transitions, 1795 secs || 20319388 markings, 99189775 edges, 11464 markings/sec, 1795 secs
lola: STP completed || 27 tries, 26653965 fired transitions, 1800 secs || 20376950 markings, 99480331 edges, 11512 markings/sec, 1800 secs
lola: STP completed || 27 tries, 26731497 fired transitions, 1805 secs || 20433181 markings, 99759563 edges, 11246 markings/sec, 1805 secs
lola: STP completed || 27 tries, 26807993 fired transitions, 1810 secs || 20487959 markings, 100061770 edges, 10956 markings/sec, 1810 secs
lola: STP completed || 27 tries, 26884386 fired transitions, 1815 secs || 20546595 markings, 100337443 edges, 11727 markings/sec, 1815 secs
lola: STP completed || 27 tries, 26960869 fired transitions, 1820 secs || 20604391 markings, 100612780 edges, 11559 markings/sec, 1820 secs
lola: STP completed || 28 tries, 27037469 fired transitions, 1825 secs || 20662642 markings, 100889189 edges, 11650 markings/sec, 1825 secs
lola: STP completed || 28 tries, 27113020 fired transitions, 1830 secs || 20720303 markings, 101173506 edges, 11532 markings/sec, 1830 secs
lola: STP completed || 28 tries, 27190528 fired transitions, 1835 secs || 20775671 markings, 101467163 edges, 11074 markings/sec, 1835 secs
lola: STP completed || 28 tries, 27267407 fired transitions, 1840 secs || 20832970 markings, 101725959 edges, 11460 markings/sec, 1840 secs
lola: STP completed || 28 tries, 27344905 fired transitions, 1845 secs || 20888666 markings, 101990720 edges, 11139 markings/sec, 1845 secs
lola: STP completed || 28 tries, 27422433 fired transitions, 1850 secs || 20946679 markings, 102263105 edges, 11603 markings/sec, 1850 secs
lola: STP completed || 28 tries, 27500237 fired transitions, 1855 secs || 21002823 markings, 102548003 edges, 11229 markings/sec, 1855 secs
lola: STP completed || 28 tries, 27572947 fired transitions, 1860 secs || 21060099 markings, 102843859 edges, 11455 markings/sec, 1860 secs
lola: STP completed || 28 tries, 27650917 fired transitions, 1865 secs || 21115357 markings, 103142219 edges, 11052 markings/sec, 1865 secs
lola: STP completed || 28 tries, 27728575 fired transitions, 1870 secs || 21174696 markings, 103418846 edges, 11868 markings/sec, 1870 secs
lola: STP completed || 28 tries, 27809033 fired transitions, 1875 secs || 21230419 markings, 103726566 edges, 11145 markings/sec, 1875 secs
lola: STP completed || 28 tries, 27887799 fired transitions, 1880 secs || 21286806 markings, 104015603 edges, 11277 markings/sec, 1880 secs
lola: STP completed || 28 tries, 27966671 fired transitions, 1885 secs || 21342672 markings, 104291937 edges, 11173 markings/sec, 1885 secs
lola: STP completed || 29 tries, 28045584 fired transitions, 1890 secs || 21398314 markings, 104583095 edges, 11128 markings/sec, 1890 secs
lola: STP completed || 29 tries, 28122900 fired transitions, 1895 secs || 21455506 markings, 104892178 edges, 11438 markings/sec, 1895 secs
lola: STP completed || 29 tries, 28202214 fired transitions, 1900 secs || 21514390 markings, 105174570 edges, 11777 markings/sec, 1900 secs
lola: STP completed || 29 tries, 28280577 fired transitions, 1905 secs || 21572297 markings, 105492127 edges, 11581 markings/sec, 1905 secs
lola: STP completed || 29 tries, 28356904 fired transitions, 1910 secs || 21630330 markings, 105788004 edges, 11607 markings/sec, 1910 secs
lola: STP completed || 29 tries, 28434221 fired transitions, 1915 secs || 21686709 markings, 106074588 edges, 11276 markings/sec, 1915 secs
lola: STP completed || 29 tries, 28509873 fired transitions, 1920 secs || 21740890 markings, 106371839 edges, 10836 markings/sec, 1920 secs
lola: STP completed || 29 tries, 28585235 fired transitions, 1925 secs || 21797430 markings, 106649830 edges, 11308 markings/sec, 1925 secs
lola: STP completed || 29 tries, 28661801 fired transitions, 1930 secs || 21853494 markings, 106943242 edges, 11213 markings/sec, 1930 secs
lola: STP completed || 29 tries, 28739018 fired transitions, 1935 secs || 21910346 markings, 107212280 edges, 11370 markings/sec, 1935 secs
lola: STP completed || 29 tries, 28814838 fired transitions, 1940 secs || 21963830 markings, 107488673 edges, 10697 markings/sec, 1940 secs
lola: STP completed || 29 tries, 28889356 fired transitions, 1945 secs || 22015452 markings, 107784986 edges, 10324 markings/sec, 1945 secs
lola: STP completed || 29 tries, 28964979 fired transitions, 1950 secs || 22067948 markings, 108066247 edges, 10499 markings/sec, 1950 secs
lola: STP completed || 30 tries, 29039968 fired transitions, 1955 secs || 22120495 markings, 108358206 edges, 10509 markings/sec, 1955 secs
lola: STP completed || 30 tries, 29115122 fired transitions, 1960 secs || 22176071 markings, 108591341 edges, 11115 markings/sec, 1960 secs
lola: STP completed || 30 tries, 29189044 fired transitions, 1965 secs || 22231978 markings, 108844334 edges, 11181 markings/sec, 1965 secs
lola: STP completed || 30 tries, 29263252 fired transitions, 1970 secs || 22284320 markings, 109128679 edges, 10468 markings/sec, 1970 secs
lola: STP completed || 30 tries, 29337418 fired transitions, 1975 secs || 22337513 markings, 109394335 edges, 10639 markings/sec, 1975 secs
lola: STP completed || 30 tries, 29412703 fired transitions, 1980 secs || 22389780 markings, 109668050 edges, 10453 markings/sec, 1980 secs
lola: STP completed || 30 tries, 29489148 fired transitions, 1985 secs || 22446439 markings, 109916946 edges, 11332 markings/sec, 1985 secs
lola: STP completed || 30 tries, 29565329 fired transitions, 1990 secs || 22499375 markings, 110211371 edges, 10587 markings/sec, 1990 secs
lola: STP completed || 30 tries, 29641706 fired transitions, 1995 secs || 22552774 markings, 110492857 edges, 10680 markings/sec, 1995 secs
lola: STP completed || 30 tries, 29717651 fired transitions, 2000 secs || 22607338 markings, 110768105 edges, 10913 markings/sec, 2000 secs
lola: STP completed || 30 tries, 29794914 fired transitions, 2005 secs || 22660496 markings, 111041664 edges, 10632 markings/sec, 2005 secs
lola: STP completed || 30 tries, 29870217 fired transitions, 2010 secs || 22713764 markings, 111314967 edges, 10654 markings/sec, 2010 secs
lola: STP completed || 30 tries, 29943893 fired transitions, 2015 secs || 22767031 markings, 111605516 edges, 10653 markings/sec, 2015 secs
lola: STP completed || 31 tries, 30017698 fired transitions, 2020 secs || 22819779 markings, 111877860 edges, 10550 markings/sec, 2020 secs
lola: STP completed || 31 tries, 30090078 fired transitions, 2025 secs || 22875524 markings, 112150053 edges, 11149 markings/sec, 2025 secs
lola: STP completed || 31 tries, 30163667 fired transitions, 2030 secs || 22931124 markings, 112425515 edges, 11120 markings/sec, 2030 secs
lola: STP completed || 31 tries, 30236883 fired transitions, 2035 secs || 22987952 markings, 112719679 edges, 11366 markings/sec, 2035 secs
lola: STP completed || 31 tries, 30310921 fired transitions, 2040 secs || 23045770 markings, 113035989 edges, 11564 markings/sec, 2040 secs
lola: STP completed || 31 tries, 30387009 fired transitions, 2045 secs || 23100857 markings, 113341808 edges, 11017 markings/sec, 2045 secs
lola: STP completed || 31 tries, 30461051 fired transitions, 2050 secs || 23154820 markings, 113636279 edges, 10793 markings/sec, 2050 secs
lola: STP completed || 31 tries, 30535782 fired transitions, 2055 secs || 23210449 markings, 113941682 edges, 11126 markings/sec, 2055 secs
lola: STP completed || 31 tries, 30610856 fired transitions, 2060 secs || 23264742 markings, 114226832 edges, 10859 markings/sec, 2060 secs
lola: STP completed || 31 tries, 30686190 fired transitions, 2065 secs || 23324577 markings, 114466423 edges, 11967 markings/sec, 2065 secs
lola: STP completed || 31 tries, 30763307 fired transitions, 2070 secs || 23383148 markings, 114728500 edges, 11714 markings/sec, 2070 secs
lola: STP completed || 31 tries, 30841713 fired transitions, 2075 secs || 23439980 markings, 115021471 edges, 11366 markings/sec, 2075 secs
lola: STP completed || 31 tries, 30920226 fired transitions, 2080 secs || 23498690 markings, 115313588 edges, 11742 markings/sec, 2080 secs
lola: STP completed || 31 tries, 30998554 fired transitions, 2085 secs || 23558353 markings, 115558243 edges, 11933 markings/sec, 2085 secs
lola: STP completed || 32 tries, 31076970 fired transitions, 2090 secs || 23616716 markings, 115836804 edges, 11673 markings/sec, 2090 secs
lola: STP completed || 32 tries, 31154798 fired transitions, 2095 secs || 23672882 markings, 116130174 edges, 11233 markings/sec, 2095 secs
lola: STP completed || 32 tries, 31232468 fired transitions, 2100 secs || 23729513 markings, 116429348 edges, 11326 markings/sec, 2100 secs
lola: STP completed || 32 tries, 31310907 fired transitions, 2105 secs || 23786404 markings, 116718034 edges, 11378 markings/sec, 2105 secs
lola: STP completed || 32 tries, 31388580 fired transitions, 2110 secs || 23843361 markings, 116998804 edges, 11391 markings/sec, 2110 secs
lola: STP completed || 32 tries, 31462121 fired transitions, 2115 secs || 23898752 markings, 117276760 edges, 11078 markings/sec, 2115 secs
lola: STP completed || 32 tries, 31536974 fired transitions, 2120 secs || 23954322 markings, 117547415 edges, 11114 markings/sec, 2120 secs
lola: STP completed || 32 tries, 31611923 fired transitions, 2125 secs || 24008283 markings, 117842224 edges, 10792 markings/sec, 2125 secs
lola: STP completed || 32 tries, 31689982 fired transitions, 2130 secs || 24071153 markings, 118117907 edges, 12574 markings/sec, 2130 secs
lola: STP completed || 32 tries, 31765400 fired transitions, 2135 secs || 24129332 markings, 118425347 edges, 11636 markings/sec, 2135 secs
lola: STP completed || 32 tries, 31822923 fired transitions, 2140 secs || 24174103 markings, 118612657 edges, 8954 markings/sec, 2140 secs
lola: STP completed || 32 tries, 31871985 fired transitions, 2145 secs || 24211048 markings, 118801850 edges, 7389 markings/sec, 2145 secs
lola: STP completed || 32 tries, 31943534 fired transitions, 2150 secs || 24266538 markings, 119080898 edges, 11098 markings/sec, 2150 secs
lola: STP completed || 33 tries, 32021254 fired transitions, 2155 secs || 24325296 markings, 119385631 edges, 11752 markings/sec, 2155 secs
lola: STP completed || 33 tries, 32097946 fired transitions, 2160 secs || 24385054 markings, 119680700 edges, 11952 markings/sec, 2160 secs
lola: STP completed || 33 tries, 32174010 fired transitions, 2165 secs || 24442838 markings, 119995955 edges, 11557 markings/sec, 2165 secs
lola: STP completed || 33 tries, 32251049 fired transitions, 2170 secs || 24499802 markings, 120307689 edges, 11393 markings/sec, 2170 secs
lola: STP completed || 33 tries, 32330198 fired transitions, 2175 secs || 24558508 markings, 120568185 edges, 11741 markings/sec, 2175 secs
lola: STP completed || 33 tries, 32408343 fired transitions, 2180 secs || 24622592 markings, 120815840 edges, 12817 markings/sec, 2180 secs
lola: STP completed || 33 tries, 32486351 fired transitions, 2185 secs || 24679804 markings, 121100615 edges, 11442 markings/sec, 2185 secs
lola: STP completed || 33 tries, 32564876 fired transitions, 2190 secs || 24737127 markings, 121389934 edges, 11465 markings/sec, 2190 secs
lola: STP completed || 33 tries, 32642201 fired transitions, 2195 secs || 24796345 markings, 121670755 edges, 11844 markings/sec, 2195 secs
lola: STP completed || 33 tries, 32719648 fired transitions, 2200 secs || 24854025 markings, 121991838 edges, 11536 markings/sec, 2200 secs
lola: STP completed || 33 tries, 32797969 fired transitions, 2205 secs || 24909658 markings, 122298359 edges, 11127 markings/sec, 2205 secs
lola: STP completed || 33 tries, 32877676 fired transitions, 2210 secs || 24966138 markings, 122579666 edges, 11296 markings/sec, 2210 secs
lola: STP completed || 33 tries, 32957964 fired transitions, 2215 secs || 25022471 markings, 122857279 edges, 11267 markings/sec, 2215 secs
lola: STP completed || 34 tries, 33036041 fired transitions, 2220 secs || 25081892 markings, 123144332 edges, 11884 markings/sec, 2220 secs
lola: STP completed || 34 tries, 33113636 fired transitions, 2225 secs || 25138754 markings, 123435009 edges, 11372 markings/sec, 2225 secs
lola: STP completed || 34 tries, 33192156 fired transitions, 2230 secs || 25192314 markings, 123752193 edges, 10712 markings/sec, 2230 secs
lola: STP completed || 34 tries, 33269681 fired transitions, 2235 secs || 25248691 markings, 124058218 edges, 11275 markings/sec, 2235 secs
lola: STP completed || 34 tries, 33347533 fired transitions, 2240 secs || 25306023 markings, 124359819 edges, 11466 markings/sec, 2240 secs
lola: STP completed || 34 tries, 33425199 fired transitions, 2245 secs || 25363037 markings, 124656938 edges, 11403 markings/sec, 2245 secs
lola: STP completed || 34 tries, 33496885 fired transitions, 2250 secs || 25416974 markings, 124930313 edges, 10787 markings/sec, 2250 secs
lola: STP completed || 34 tries, 33574756 fired transitions, 2255 secs || 25474710 markings, 125229230 edges, 11547 markings/sec, 2255 secs
lola: STP completed || 34 tries, 33651959 fired transitions, 2260 secs || 25535034 markings, 125501290 edges, 12065 markings/sec, 2260 secs
lola: STP completed || 34 tries, 33729499 fired transitions, 2265 secs || 25591613 markings, 125808636 edges, 11316 markings/sec, 2265 secs
lola: STP completed || 34 tries, 33807048 fired transitions, 2270 secs || 25651247 markings, 126078949 edges, 11927 markings/sec, 2270 secs
lola: STP completed || 34 tries, 33885683 fired transitions, 2275 secs || 25707015 markings, 126374165 edges, 11154 markings/sec, 2275 secs
lola: STP completed || 34 tries, 33964196 fired transitions, 2280 secs || 25761574 markings, 126665060 edges, 10912 markings/sec, 2280 secs
lola: STP completed || 35 tries, 34040667 fired transitions, 2285 secs || 25815669 markings, 126962173 edges, 10819 markings/sec, 2285 secs
lola: STP completed || 35 tries, 34115723 fired transitions, 2290 secs || 25869966 markings, 127246892 edges, 10859 markings/sec, 2290 secs
lola: STP completed || 35 tries, 34190310 fired transitions, 2295 secs || 25923894 markings, 127530335 edges, 10786 markings/sec, 2295 secs
lola: STP completed || 35 tries, 34267285 fired transitions, 2300 secs || 25981747 markings, 127834781 edges, 11571 markings/sec, 2300 secs
lola: STP completed || 35 tries, 34345493 fired transitions, 2305 secs || 26040906 markings, 128138491 edges, 11832 markings/sec, 2305 secs
lola: STP completed || 35 tries, 34423880 fired transitions, 2310 secs || 26097497 markings, 128432884 edges, 11318 markings/sec, 2310 secs
lola: STP completed || 35 tries, 34505291 fired transitions, 2315 secs || 26151537 markings, 128723344 edges, 10808 markings/sec, 2315 secs
lola: STP completed || 35 tries, 34586314 fired transitions, 2320 secs || 26205636 markings, 129025596 edges, 10820 markings/sec, 2320 secs
lola: STP completed || 35 tries, 34666108 fired transitions, 2325 secs || 26268718 markings, 129273328 edges, 12616 markings/sec, 2325 secs
lola: STP completed || 35 tries, 34746954 fired transitions, 2330 secs || 26327243 markings, 129572596 edges, 11705 markings/sec, 2330 secs
lola: STP completed || 35 tries, 34827406 fired transitions, 2335 secs || 26385087 markings, 129862512 edges, 11569 markings/sec, 2335 secs
lola: STP completed || 35 tries, 34908788 fired transitions, 2340 secs || 26441892 markings, 130163835 edges, 11361 markings/sec, 2340 secs
lola: STP completed || 35 tries, 34989914 fired transitions, 2345 secs || 26496931 markings, 130476869 edges, 11008 markings/sec, 2345 secs
lola: STP completed || 36 tries, 35068430 fired transitions, 2350 secs || 26548270 markings, 130786027 edges, 10268 markings/sec, 2350 secs
lola: STP completed || 36 tries, 35146354 fired transitions, 2355 secs || 26603801 markings, 131117059 edges, 11106 markings/sec, 2355 secs
lola: STP completed || 36 tries, 35224153 fired transitions, 2360 secs || 26660834 markings, 131438908 edges, 11407 markings/sec, 2360 secs
lola: STP completed || 36 tries, 35301295 fired transitions, 2365 secs || 26719956 markings, 131766342 edges, 11824 markings/sec, 2365 secs
lola: STP completed || 36 tries, 35378953 fired transitions, 2370 secs || 26777199 markings, 132083516 edges, 11449 markings/sec, 2370 secs
lola: STP completed || 36 tries, 35455338 fired transitions, 2375 secs || 26837261 markings, 132381948 edges, 12012 markings/sec, 2375 secs
lola: STP completed || 36 tries, 35532700 fired transitions, 2380 secs || 26897953 markings, 132674661 edges, 12138 markings/sec, 2380 secs
lola: STP completed || 36 tries, 35610218 fired transitions, 2385 secs || 26958970 markings, 132923393 edges, 12203 markings/sec, 2385 secs
lola: STP completed || 36 tries, 35689380 fired transitions, 2390 secs || 27016620 markings, 133167411 edges, 11530 markings/sec, 2390 secs
lola: STP completed || 36 tries, 35764063 fired transitions, 2395 secs || 27072144 markings, 133453495 edges, 11105 markings/sec, 2395 secs
lola: STP completed || 36 tries, 35839759 fired transitions, 2400 secs || 27126124 markings, 133739461 edges, 10796 markings/sec, 2400 secs
lola: STP completed || 36 tries, 35917728 fired transitions, 2405 secs || 27180604 markings, 134043108 edges, 10896 markings/sec, 2405 secs
lola: STP completed || 36 tries, 35994715 fired transitions, 2410 secs || 27235556 markings, 134350641 edges, 10990 markings/sec, 2410 secs
lola: STP completed || 37 tries, 36069984 fired transitions, 2415 secs || 27290231 markings, 134625111 edges, 10935 markings/sec, 2415 secs
lola: STP completed || 37 tries, 36122826 fired transitions, 2420 secs || 27329786 markings, 134795772 edges, 7911 markings/sec, 2420 secs
lola: STP completed || 37 tries, 36165913 fired transitions, 2425 secs || 27360062 markings, 134961141 edges, 6055 markings/sec, 2425 secs
lola: STP completed || 37 tries, 36209744 fired transitions, 2430 secs || 27391260 markings, 135121721 edges, 6240 markings/sec, 2430 secs
lola: STP completed || 37 tries, 36277551 fired transitions, 2435 secs || 27442356 markings, 135380867 edges, 10219 markings/sec, 2435 secs
lola: STP completed || 37 tries, 36351326 fired transitions, 2440 secs || 27500231 markings, 135623573 edges, 11575 markings/sec, 2440 secs
lola: STP completed || 37 tries, 36427276 fired transitions, 2445 secs || 27559728 markings, 135876918 edges, 11899 markings/sec, 2445 secs
lola: STP completed || 37 tries, 36504355 fired transitions, 2450 secs || 27615640 markings, 136162034 edges, 11182 markings/sec, 2450 secs
lola: STP completed || 37 tries, 36581335 fired transitions, 2455 secs || 27676140 markings, 136403451 edges, 12100 markings/sec, 2455 secs
lola: STP completed || 37 tries, 36659456 fired transitions, 2460 secs || 27734173 markings, 136673110 edges, 11607 markings/sec, 2460 secs
lola: STP completed || 37 tries, 36736976 fired transitions, 2465 secs || 27794316 markings, 136920354 edges, 12029 markings/sec, 2465 secs
lola: STP completed || 37 tries, 36815686 fired transitions, 2470 secs || 27852839 markings, 137188764 edges, 11705 markings/sec, 2470 secs
lola: STP completed || 37 tries, 36892533 fired transitions, 2475 secs || 27912552 markings, 137435729 edges, 11943 markings/sec, 2475 secs
lola: STP completed || 37 tries, 36970292 fired transitions, 2480 secs || 27972002 markings, 137683331 edges, 11890 markings/sec, 2480 secs
lola: STP completed || 38 tries, 37046286 fired transitions, 2485 secs || 28029638 markings, 137969463 edges, 11527 markings/sec, 2485 secs
lola: STP completed || 38 tries, 37122692 fired transitions, 2490 secs || 28086389 markings, 138259038 edges, 11350 markings/sec, 2490 secs
lola: STP completed || 38 tries, 37199320 fired transitions, 2495 secs || 28142617 markings, 138524113 edges, 11246 markings/sec, 2495 secs
lola: STP completed || 38 tries, 37274943 fired transitions, 2500 secs || 28197509 markings, 138815482 edges, 10978 markings/sec, 2500 secs
lola: STP completed || 38 tries, 37349374 fired transitions, 2505 secs || 28253221 markings, 139089150 edges, 11142 markings/sec, 2505 secs
lola: STP completed || 38 tries, 37424812 fired transitions, 2510 secs || 28308523 markings, 139389681 edges, 11060 markings/sec, 2510 secs
lola: STP completed || 38 tries, 37500965 fired transitions, 2515 secs || 28365676 markings, 139683168 edges, 11431 markings/sec, 2515 secs
lola: STP completed || 38 tries, 37572043 fired transitions, 2520 secs || 28425077 markings, 139912367 edges, 11880 markings/sec, 2520 secs
lola: STP completed || 38 tries, 37641679 fired transitions, 2525 secs || 28479953 markings, 140196287 edges, 10975 markings/sec, 2525 secs
lola: STP completed || 38 tries, 37714431 fired transitions, 2530 secs || 28533989 markings, 140482398 edges, 10807 markings/sec, 2530 secs
lola: STP completed || 38 tries, 37785768 fired transitions, 2535 secs || 28587657 markings, 140749406 edges, 10734 markings/sec, 2535 secs
lola: STP completed || 38 tries, 37858119 fired transitions, 2540 secs || 28643119 markings, 140997580 edges, 11092 markings/sec, 2540 secs
lola: STP completed || 38 tries, 37931611 fired transitions, 2545 secs || 28696140 markings, 141280841 edges, 10604 markings/sec, 2545 secs
lola: STP completed || 39 tries, 38004903 fired transitions, 2550 secs || 28750542 markings, 141567891 edges, 10880 markings/sec, 2550 secs
lola: STP completed || 39 tries, 38078078 fired transitions, 2555 secs || 28804115 markings, 141860776 edges, 10715 markings/sec, 2555 secs
lola: STP completed || 39 tries, 38154867 fired transitions, 2560 secs || 28860109 markings, 142161991 edges, 11199 markings/sec, 2560 secs
lola: STP completed || 39 tries, 38231588 fired transitions, 2565 secs || 28916767 markings, 142438662 edges, 11332 markings/sec, 2565 secs
lola: STP completed || 39 tries, 38307043 fired transitions, 2570 secs || 28971789 markings, 142728500 edges, 11004 markings/sec, 2570 secs
lola: STP completed || 39 tries, 38383225 fired transitions, 2575 secs || 29026769 markings, 143023282 edges, 10996 markings/sec, 2575 secs
lola: STP completed || 39 tries, 38460772 fired transitions, 2580 secs || 29082544 markings, 143314410 edges, 11155 markings/sec, 2580 secs
lola: STP completed || 39 tries, 38535917 fired transitions, 2585 secs || 29137401 markings, 143609342 edges, 10971 markings/sec, 2585 secs
lola: STP completed || 39 tries, 38611494 fired transitions, 2590 secs || 29193175 markings, 143903926 edges, 11155 markings/sec, 2590 secs
lola: STP completed || 39 tries, 38686991 fired transitions, 2595 secs || 29249137 markings, 144186960 edges, 11192 markings/sec, 2595 secs
lola: STP completed || 39 tries, 38762912 fired transitions, 2600 secs || 29305223 markings, 144467010 edges, 11217 markings/sec, 2600 secs
lola: STP completed || 39 tries, 38838577 fired transitions, 2605 secs || 29363007 markings, 144721523 edges, 11557 markings/sec, 2605 secs
lola: STP completed || 39 tries, 38914263 fired transitions, 2610 secs || 29420329 markings, 144992984 edges, 11464 markings/sec, 2610 secs
lola: STP completed || 39 tries, 38989247 fired transitions, 2615 secs || 29476468 markings, 145279349 edges, 11228 markings/sec, 2615 secs
lola: STP completed || 40 tries, 39064684 fired transitions, 2620 secs || 29532102 markings, 145560431 edges, 11127 markings/sec, 2620 secs
lola: STP completed || 40 tries, 39139491 fired transitions, 2625 secs || 29586328 markings, 145840873 edges, 10845 markings/sec, 2625 secs
lola: STP completed || 40 tries, 39214780 fired transitions, 2630 secs || 29643922 markings, 146111629 edges, 11519 markings/sec, 2630 secs
lola: STP completed || 40 tries, 39291370 fired transitions, 2635 secs || 29702368 markings, 146377912 edges, 11689 markings/sec, 2635 secs
lola: STP completed || 40 tries, 39366760 fired transitions, 2640 secs || 29759755 markings, 146657904 edges, 11477 markings/sec, 2640 secs
lola: STP completed || 40 tries, 39442943 fired transitions, 2645 secs || 29816100 markings, 146938176 edges, 11269 markings/sec, 2645 secs
lola: STP completed || 40 tries, 39519179 fired transitions, 2650 secs || 29870340 markings, 147227101 edges, 10848 markings/sec, 2650 secs
lola: STP completed || 40 tries, 39593102 fired transitions, 2655 secs || 29924709 markings, 147508357 edges, 10874 markings/sec, 2655 secs
lola: STP completed || 40 tries, 39667148 fired transitions, 2660 secs || 29980059 markings, 147781366 edges, 11070 markings/sec, 2660 secs
lola: STP completed || 40 tries, 39741693 fired transitions, 2665 secs || 30037390 markings, 148057592 edges, 11466 markings/sec, 2665 secs
lola: STP completed || 40 tries, 39816344 fired transitions, 2670 secs || 30095031 markings, 148327779 edges, 11528 markings/sec, 2670 secs
lola: STP completed || 40 tries, 39891395 fired transitions, 2675 secs || 30151386 markings, 148608283 edges, 11271 markings/sec, 2675 secs
lola: STP completed || 40 tries, 39940779 fired transitions, 2680 secs || 30187451 markings, 148785111 edges, 7213 markings/sec, 2680 secs
lola: STP completed || 41 tries, 40015609 fired transitions, 2685 secs || 30241124 markings, 149052727 edges, 10735 markings/sec, 2685 secs
lola: STP completed || 41 tries, 40090475 fired transitions, 2690 secs || 30296334 markings, 149329707 edges, 11042 markings/sec, 2690 secs
lola: STP completed || 41 tries, 40165022 fired transitions, 2695 secs || 30348237 markings, 149604290 edges, 10381 markings/sec, 2695 secs
lola: STP completed || 41 tries, 40240142 fired transitions, 2700 secs || 30399885 markings, 149880064 edges, 10330 markings/sec, 2700 secs
lola: STP completed || 41 tries, 40315048 fired transitions, 2705 secs || 30451233 markings, 150161185 edges, 10270 markings/sec, 2705 secs
lola: STP completed || 41 tries, 40389121 fired transitions, 2710 secs || 30504144 markings, 150431473 edges, 10582 markings/sec, 2710 secs
lola: STP completed || 41 tries, 40462360 fired transitions, 2715 secs || 30558818 markings, 150685871 edges, 10935 markings/sec, 2715 secs
lola: STP completed || 41 tries, 40536683 fired transitions, 2720 secs || 30613896 markings, 150943754 edges, 11016 markings/sec, 2720 secs
lola: STP completed || 41 tries, 40611956 fired transitions, 2725 secs || 30668565 markings, 151203223 edges, 10934 markings/sec, 2725 secs
lola: STP completed || 41 tries, 40687250 fired transitions, 2730 secs || 30719951 markings, 151492805 edges, 10277 markings/sec, 2730 secs
lola: STP completed || 41 tries, 40762310 fired transitions, 2735 secs || 30771228 markings, 151789169 edges, 10255 markings/sec, 2735 secs
lola: STP completed || 41 tries, 40837571 fired transitions, 2740 secs || 30822390 markings, 152086054 edges, 10232 markings/sec, 2740 secs
lola: STP completed || 41 tries, 40912159 fired transitions, 2745 secs || 30875208 markings, 152363388 edges, 10564 markings/sec, 2745 secs
lola: STP completed || 41 tries, 40985590 fired transitions, 2750 secs || 30929755 markings, 152647735 edges, 10909 markings/sec, 2750 secs
lola: STP completed || 42 tries, 41060818 fired transitions, 2755 secs || 30986489 markings, 152924617 edges, 11347 markings/sec, 2755 secs
lola: STP completed || 42 tries, 41137300 fired transitions, 2760 secs || 31042640 markings, 153191820 edges, 11230 markings/sec, 2760 secs
lola: STP completed || 42 tries, 41212282 fired transitions, 2765 secs || 31099385 markings, 153475504 edges, 11349 markings/sec, 2765 secs
lola: STP completed || 42 tries, 41286844 fired transitions, 2770 secs || 31155462 markings, 153767785 edges, 11215 markings/sec, 2770 secs
lola: STP completed || 42 tries, 41362174 fired transitions, 2775 secs || 31211641 markings, 154061563 edges, 11236 markings/sec, 2775 secs
lola: STP completed || 42 tries, 41436593 fired transitions, 2780 secs || 31268555 markings, 154351334 edges, 11383 markings/sec, 2780 secs
lola: STP completed || 42 tries, 41511388 fired transitions, 2785 secs || 31323731 markings, 154643065 edges, 11035 markings/sec, 2785 secs
lola: STP completed || 42 tries, 41585959 fired transitions, 2790 secs || 31378249 markings, 154936962 edges, 10904 markings/sec, 2790 secs
lola: STP completed || 42 tries, 41660892 fired transitions, 2795 secs || 31433567 markings, 155223509 edges, 11064 markings/sec, 2795 secs
lola: STP completed || 42 tries, 41735618 fired transitions, 2800 secs || 31489061 markings, 155519109 edges, 11099 markings/sec, 2800 secs
lola: STP completed || 42 tries, 41809916 fired transitions, 2805 secs || 31545207 markings, 155809686 edges, 11229 markings/sec, 2805 secs
lola: STP completed || 42 tries, 41885535 fired transitions, 2810 secs || 31600417 markings, 156101458 edges, 11042 markings/sec, 2810 secs
lola: STP completed || 42 tries, 41962431 fired transitions, 2815 secs || 31654721 markings, 156412567 edges, 10861 markings/sec, 2815 secs
lola: STP completed || 43 tries, 42038803 fired transitions, 2820 secs || 31712324 markings, 156687560 edges, 11521 markings/sec, 2820 secs
lola: STP completed || 43 tries, 42115274 fired transitions, 2825 secs || 31767179 markings, 156981502 edges, 10971 markings/sec, 2825 secs
lola: STP completed || 43 tries, 42192030 fired transitions, 2830 secs || 31820829 markings, 157290019 edges, 10730 markings/sec, 2830 secs
lola: STP completed || 43 tries, 42268641 fired transitions, 2835 secs || 31874396 markings, 157595205 edges, 10713 markings/sec, 2835 secs
lola: STP completed || 43 tries, 42319417 fired transitions, 2840 secs || 31911346 markings, 157786742 edges, 7390 markings/sec, 2840 secs
lola: STP completed || 43 tries, 42366341 fired transitions, 2845 secs || 31944663 markings, 157962183 edges, 6663 markings/sec, 2845 secs
lola: STP completed || 43 tries, 42424292 fired transitions, 2850 secs || 31984288 markings, 158194694 edges, 7925 markings/sec, 2850 secs
lola: STP completed || 43 tries, 42498326 fired transitions, 2855 secs || 32043601 markings, 158481506 edges, 11863 markings/sec, 2855 secs
lola: STP completed || 43 tries, 42572409 fired transitions, 2860 secs || 32101440 markings, 158775881 edges, 11568 markings/sec, 2860 secs
lola: STP completed || 43 tries, 42646018 fired transitions, 2865 secs || 32158543 markings, 159079186 edges, 11421 markings/sec, 2865 secs
lola: STP completed || 43 tries, 42719974 fired transitions, 2870 secs || 32218567 markings, 159362351 edges, 12005 markings/sec, 2870 secs
lola: STP completed || 43 tries, 42794804 fired transitions, 2875 secs || 32276512 markings, 159638208 edges, 11589 markings/sec, 2875 secs
lola: STP completed || 43 tries, 42869942 fired transitions, 2880 secs || 32333609 markings, 159938599 edges, 11419 markings/sec, 2880 secs
lola: STP completed || 43 tries, 42945676 fired transitions, 2885 secs || 32390629 markings, 160245834 edges, 11404 markings/sec, 2885 secs
lola: STP completed || 44 tries, 43020980 fired transitions, 2890 secs || 32451531 markings, 160509031 edges, 12180 markings/sec, 2890 secs
lola: STP completed || 44 tries, 43093712 fired transitions, 2895 secs || 32507272 markings, 160808674 edges, 11148 markings/sec, 2895 secs
lola: STP completed || 44 tries, 43170540 fired transitions, 2900 secs || 32558905 markings, 161086937 edges, 10327 markings/sec, 2900 secs
lola: STP completed || 44 tries, 43246910 fired transitions, 2905 secs || 32610607 markings, 161374363 edges, 10340 markings/sec, 2905 secs
lola: STP completed || 44 tries, 43322063 fired transitions, 2910 secs || 32662587 markings, 161669593 edges, 10396 markings/sec, 2910 secs
lola: STP completed || 44 tries, 43398377 fired transitions, 2915 secs || 32715984 markings, 161946236 edges, 10679 markings/sec, 2915 secs
lola: STP completed || 44 tries, 43475067 fired transitions, 2920 secs || 32769876 markings, 162220191 edges, 10778 markings/sec, 2920 secs
lola: STP completed || 44 tries, 43549304 fired transitions, 2925 secs || 32828388 markings, 162490076 edges, 11702 markings/sec, 2925 secs
lola: STP completed || 44 tries, 43625422 fired transitions, 2930 secs || 32885114 markings, 162776131 edges, 11345 markings/sec, 2930 secs
lola: STP completed || 44 tries, 43701721 fired transitions, 2935 secs || 32939742 markings, 163067030 edges, 10926 markings/sec, 2935 secs
lola: STP completed || 44 tries, 43778608 fired transitions, 2940 secs || 32992939 markings, 163368751 edges, 10639 markings/sec, 2940 secs
lola: STP completed || 44 tries, 43855423 fired transitions, 2945 secs || 33046150 markings, 163677228 edges, 10642 markings/sec, 2945 secs
lola: STP completed || 44 tries, 43931495 fired transitions, 2950 secs || 33100714 markings, 163981240 edges, 10913 markings/sec, 2950 secs
lola: STP completed || 45 tries, 44007500 fired transitions, 2955 secs || 33156999 markings, 164268254 edges, 11257 markings/sec, 2955 secs
lola: STP completed || 45 tries, 44083889 fired transitions, 2960 secs || 33210997 markings, 164573698 edges, 10800 markings/sec, 2960 secs
lola: STP completed || 45 tries, 44159960 fired transitions, 2965 secs || 33266608 markings, 164842997 edges, 11122 markings/sec, 2965 secs
lola: STP completed || 45 tries, 44236211 fired transitions, 2970 secs || 33320741 markings, 165128367 edges, 10827 markings/sec, 2970 secs
lola: STP completed || 45 tries, 44312972 fired transitions, 2975 secs || 33375550 markings, 165402986 edges, 10962 markings/sec, 2975 secs
lola: STP completed || 45 tries, 44389746 fired transitions, 2980 secs || 33429016 markings, 165677350 edges, 10693 markings/sec, 2980 secs
lola: STP completed || 45 tries, 44466556 fired transitions, 2985 secs || 33481629 markings, 165968538 edges, 10523 markings/sec, 2985 secs
lola: STP completed || 45 tries, 44543205 fired transitions, 2990 secs || 33535993 markings, 166240927 edges, 10873 markings/sec, 2990 secs
lola: STP completed || 45 tries, 44619910 fired transitions, 2995 secs || 33587711 markings, 166538938 edges, 10344 markings/sec, 2995 secs
lola: STP completed || 45 tries, 44697098 fired transitions, 3000 secs || 33639447 markings, 166839253 edges, 10347 markings/sec, 3000 secs
lola: STP completed || 45 tries, 44773020 fired transitions, 3005 secs || 33693898 markings, 167127420 edges, 10890 markings/sec, 3005 secs
lola: STP completed || 45 tries, 44849820 fired transitions, 3010 secs || 33746899 markings, 167418223 edges, 10600 markings/sec, 3010 secs
lola: STP completed || 45 tries, 44926121 fired transitions, 3015 secs || 33801402 markings, 167695562 edges, 10901 markings/sec, 3015 secs
lola: STP completed || 46 tries, 45002714 fired transitions, 3020 secs || 33855779 markings, 167963617 edges, 10875 markings/sec, 3020 secs
lola: STP completed || 46 tries, 45080038 fired transitions, 3025 secs || 33910669 markings, 168232714 edges, 10978 markings/sec, 3025 secs
lola: STP completed || 46 tries, 45157190 fired transitions, 3030 secs || 33964029 markings, 168535992 edges, 10672 markings/sec, 3030 secs
lola: STP completed || 46 tries, 45233758 fired transitions, 3035 secs || 34018073 markings, 168838757 edges, 10809 markings/sec, 3035 secs
lola: STP completed || 46 tries, 45309776 fired transitions, 3040 secs || 34072809 markings, 169138657 edges, 10947 markings/sec, 3040 secs
lola: STP completed || 46 tries, 45385326 fired transitions, 3045 secs || 34126399 markings, 169437283 edges, 10718 markings/sec, 3045 secs
lola: STP completed || 46 tries, 45461563 fired transitions, 3050 secs || 34180938 markings, 169742250 edges, 10908 markings/sec, 3050 secs
lola: STP completed || 46 tries, 45536949 fired transitions, 3055 secs || 34234848 markings, 170036314 edges, 10782 markings/sec, 3055 secs
lola: STP completed || 46 tries, 45613012 fired transitions, 3060 secs || 34290278 markings, 170331101 edges, 11086 markings/sec, 3060 secs
lola: STP completed || 46 tries, 45685312 fired transitions, 3065 secs || 34342113 markings, 170607079 edges, 10367 markings/sec, 3065 secs
lola: STP completed || 46 tries, 45730570 fired transitions, 3070 secs || 34374448 markings, 170767804 edges, 6467 markings/sec, 3070 secs
lola: STP completed || 46 tries, 45771672 fired transitions, 3075 secs || 34404103 markings, 170918840 edges, 5931 markings/sec, 3075 secs
lola: STP completed || 46 tries, 45822822 fired transitions, 3080 secs || 34439526 markings, 171112870 edges, 7085 markings/sec, 3080 secs
lola: STP completed || 46 tries, 45894070 fired transitions, 3085 secs || 34492536 markings, 171394987 edges, 10602 markings/sec, 3085 secs
lola: STP completed || 46 tries, 45965665 fired transitions, 3090 secs || 34543980 markings, 171678447 edges, 10289 markings/sec, 3090 secs
lola: STP completed || 47 tries, 46037002 fired transitions, 3095 secs || 34596986 markings, 171957658 edges, 10601 markings/sec, 3095 secs
lola: STP completed || 47 tries, 46109897 fired transitions, 3100 secs || 34651895 markings, 172244566 edges, 10982 markings/sec, 3100 secs
lola: STP completed || 47 tries, 46183939 fired transitions, 3105 secs || 34707713 markings, 172535712 edges, 11164 markings/sec, 3105 secs
lola: STP completed || 47 tries, 46259879 fired transitions, 3110 secs || 34765607 markings, 172798314 edges, 11579 markings/sec, 3110 secs
lola: STP completed || 47 tries, 46334650 fired transitions, 3115 secs || 34821797 markings, 173078813 edges, 11238 markings/sec, 3115 secs
lola: STP completed || 47 tries, 46411231 fired transitions, 3120 secs || 34874391 markings, 173375330 edges, 10519 markings/sec, 3120 secs
lola: STP completed || 47 tries, 46488054 fired transitions, 3125 secs || 34927331 markings, 173672851 edges, 10588 markings/sec, 3125 secs
lola: STP completed || 47 tries, 46562465 fired transitions, 3130 secs || 34982946 markings, 173952331 edges, 11123 markings/sec, 3130 secs
lola: STP completed || 47 tries, 46638182 fired transitions, 3135 secs || 35037445 markings, 174215925 edges, 10900 markings/sec, 3135 secs
lola: STP completed || 47 tries, 46711904 fired transitions, 3140 secs || 35091603 markings, 174498734 edges, 10832 markings/sec, 3140 secs
lola: STP completed || 47 tries, 46786312 fired transitions, 3145 secs || 35144054 markings, 174779729 edges, 10490 markings/sec, 3145 secs
lola: STP completed || 47 tries, 46862085 fired transitions, 3150 secs || 35197941 markings, 175051099 edges, 10777 markings/sec, 3150 secs
lola: STP completed || 47 tries, 46937986 fired transitions, 3155 secs || 35250113 markings, 175340681 edges, 10434 markings/sec, 3155 secs
lola: STP completed || 48 tries, 47014086 fired transitions, 3160 secs || 35305152 markings, 175602186 edges, 11008 markings/sec, 3160 secs
lola: STP completed || 48 tries, 47088354 fired transitions, 3165 secs || 35361092 markings, 175901395 edges, 11188 markings/sec, 3165 secs
lola: STP completed || 48 tries, 47162820 fired transitions, 3170 secs || 35416184 markings, 176185886 edges, 11018 markings/sec, 3170 secs
lola: STP completed || 48 tries, 47239256 fired transitions, 3175 secs || 35469865 markings, 176483244 edges, 10736 markings/sec, 3175 secs
lola: STP completed || 48 tries, 47315091 fired transitions, 3180 secs || 35521544 markings, 176786726 edges, 10336 markings/sec, 3180 secs
lola: STP completed || 48 tries, 47391701 fired transitions, 3185 secs || 35574745 markings, 177064654 edges, 10640 markings/sec, 3185 secs
lola: STP completed || 48 tries, 47466593 fired transitions, 3190 secs || 35628299 markings, 177340262 edges, 10711 markings/sec, 3190 secs
lola: STP completed || 48 tries, 47541149 fired transitions, 3195 secs || 35682100 markings, 177613406 edges, 10760 markings/sec, 3195 secs
lola: STP completed || 48 tries, 47616138 fired transitions, 3200 secs || 35736218 markings, 177885166 edges, 10824 markings/sec, 3200 secs
lola: STP completed || 48 tries, 47692840 fired transitions, 3205 secs || 35791334 markings, 178173063 edges, 11023 markings/sec, 3205 secs
lola: STP completed || 48 tries, 47769000 fired transitions, 3210 secs || 35845515 markings, 178475589 edges, 10836 markings/sec, 3210 secs
lola: STP completed || 48 tries, 47845511 fired transitions, 3215 secs || 35897892 markings, 178787281 edges, 10475 markings/sec, 3215 secs
lola: STP completed || 48 tries, 47921313 fired transitions, 3220 secs || 35957711 markings, 179047235 edges, 11964 markings/sec, 3220 secs
lola: STP completed || 48 tries, 47997408 fired transitions, 3225 secs || 36013353 markings, 179349482 edges, 11128 markings/sec, 3225 secs
lola: STP completed || 49 tries, 48074019 fired transitions, 3230 secs || 36068809 markings, 179661319 edges, 11091 markings/sec, 3230 secs
lola: STP completed || 49 tries, 48128176 fired transitions, 3235 secs || 36107934 markings, 179886735 edges, 7825 markings/sec, 3235 secs
lola: STP completed || 49 tries, 48176043 fired transitions, 3240 secs || 36142060 markings, 180055316 edges, 6825 markings/sec, 3240 secs
lola: STP completed || 49 tries, 48223828 fired transitions, 3245 secs || 36177492 markings, 180216415 edges, 7086 markings/sec, 3245 secs
lola: STP completed || 49 tries, 48270932 fired transitions, 3250 secs || 36211339 markings, 180385141 edges, 6769 markings/sec, 3250 secs
lola: STP completed || 49 tries, 48317272 fired transitions, 3255 secs || 36244264 markings, 180560727 edges, 6585 markings/sec, 3255 secs
lola: STP completed || 49 tries, 48372848 fired transitions, 3260 secs || 36286301 markings, 180777188 edges, 8407 markings/sec, 3260 secs
lola: STP completed || 49 tries, 48447505 fired transitions, 3265 secs || 36338543 markings, 181086289 edges, 10448 markings/sec, 3265 secs
lola: STP completed || 49 tries, 48522615 fired transitions, 3270 secs || 36389771 markings, 181388034 edges, 10246 markings/sec, 3270 secs
lola: STP completed || 49 tries, 48598168 fired transitions, 3275 secs || 36441453 markings, 181679438 edges, 10336 markings/sec, 3275 secs
lola: STP completed || 49 tries, 48673885 fired transitions, 3280 secs || 36495478 markings, 181953272 edges, 10805 markings/sec, 3280 secs
lola: STP completed || 49 tries, 48748607 fired transitions, 3285 secs || 36548634 markings, 182232427 edges, 10631 markings/sec, 3285 secs
lola: STP completed || 49 tries, 48823970 fired transitions, 3290 secs || 36601687 markings, 182511747 edges, 10611 markings/sec, 3290 secs
lola: STP completed || 49 tries, 48899309 fired transitions, 3295 secs || 36653736 markings, 182793057 edges, 10410 markings/sec, 3295 secs
lola: STP completed || 49 tries, 48975729 fired transitions, 3300 secs || 36706412 markings, 183067356 edges, 10535 markings/sec, 3300 secs
lola: STP completed || 50 tries, 49049876 fired transitions, 3305 secs || 36759425 markings, 183361663 edges, 10603 markings/sec, 3305 secs
lola: STP completed || 50 tries, 49125457 fired transitions, 3310 secs || 36811566 markings, 183652994 edges, 10428 markings/sec, 3310 secs
lola: STP completed || 50 tries, 49201785 fired transitions, 3315 secs || 36864884 markings, 183930304 edges, 10664 markings/sec, 3315 secs
lola: STP completed || 50 tries, 49276755 fired transitions, 3320 secs || 36917528 markings, 184189289 edges, 10529 markings/sec, 3320 secs
lola: STP completed || 50 tries, 49350919 fired transitions, 3325 secs || 36970927 markings, 184455798 edges, 10680 markings/sec, 3325 secs
lola: STP completed || 50 tries, 49422377 fired transitions, 3330 secs || 37020944 markings, 184739773 edges, 10003 markings/sec, 3330 secs
lola: STP completed || 50 tries, 49493674 fired transitions, 3335 secs || 37070392 markings, 185023756 edges, 9890 markings/sec, 3335 secs
lola: STP completed || 50 tries, 49563440 fired transitions, 3340 secs || 37121370 markings, 185305377 edges, 10196 markings/sec, 3340 secs
lola: STP completed || 50 tries, 49633722 fired transitions, 3345 secs || 37174374 markings, 185579829 edges, 10601 markings/sec, 3345 secs
lola: STP completed || 50 tries, 49704967 fired transitions, 3350 secs || 37227071 markings, 185844059 edges, 10539 markings/sec, 3350 secs
lola: STP completed || 50 tries, 49778433 fired transitions, 3355 secs || 37281941 markings, 186104275 edges, 10974 markings/sec, 3355 secs
lola: STP completed || 50 tries, 49851219 fired transitions, 3360 secs || 37335676 markings, 186363697 edges, 10747 markings/sec, 3360 secs
lola: STP completed || 50 tries, 49923522 fired transitions, 3365 secs || 37389094 markings, 186622136 edges, 10684 markings/sec, 3365 secs
lola: STP completed || 50 tries, 49997861 fired transitions, 3370 secs || 37441244 markings, 186901713 edges, 10430 markings/sec, 3370 secs
lola: STP completed || 51 tries, 50072563 fired transitions, 3375 secs || 37494381 markings, 187170541 edges, 10627 markings/sec, 3375 secs
lola: STP completed || 51 tries, 50149733 fired transitions, 3380 secs || 37545134 markings, 187433291 edges, 10151 markings/sec, 3380 secs
lola: STP completed || 51 tries, 50226018 fired transitions, 3385 secs || 37598316 markings, 187683801 edges, 10636 markings/sec, 3385 secs
lola: STP completed || 51 tries, 50305166 fired transitions, 3390 secs || 37651338 markings, 187977454 edges, 10604 markings/sec, 3390 secs
lola: STP completed || 51 tries, 50382641 fired transitions, 3395 secs || 37705186 markings, 188268046 edges, 10770 markings/sec, 3395 secs
lola: STP completed || 51 tries, 50463331 fired transitions, 3400 secs || 37759954 markings, 188539899 edges, 10954 markings/sec, 3400 secs
lola: STP completed || 51 tries, 50543358 fired transitions, 3405 secs || 37813683 markings, 188832459 edges, 10746 markings/sec, 3405 secs
lola: STP completed || 51 tries, 50625060 fired transitions, 3410 secs || 37868877 markings, 189132135 edges, 11039 markings/sec, 3410 secs
lola: STP completed || 51 tries, 50706018 fired transitions, 3415 secs || 37925266 markings, 189416378 edges, 11278 markings/sec, 3415 secs
lola: STP completed || 51 tries, 50782834 fired transitions, 3420 secs || 37982239 markings, 189711693 edges, 11395 markings/sec, 3420 secs
lola: STP completed || 51 tries, 50862231 fired transitions, 3425 secs || 38039323 markings, 190025007 edges, 11417 markings/sec, 3425 secs
lola: STP completed || 51 tries, 50942587 fired transitions, 3430 secs || 38095034 markings, 190310988 edges, 11142 markings/sec, 3430 secs
lola: STP completed || 52 tries, 51022363 fired transitions, 3435 secs || 38148888 markings, 190590759 edges, 10771 markings/sec, 3435 secs
lola: STP completed || 52 tries, 51102836 fired transitions, 3440 secs || 38202915 markings, 190857676 edges, 10805 markings/sec, 3440 secs
lola: STP completed || 52 tries, 51184143 fired transitions, 3445 secs || 38257694 markings, 191123224 edges, 10956 markings/sec, 3445 secs
lola: STP completed || 52 tries, 51265068 fired transitions, 3450 secs || 38311848 markings, 191399652 edges, 10831 markings/sec, 3450 secs
lola: STP completed || 52 tries, 51345564 fired transitions, 3455 secs || 38366553 markings, 191670344 edges, 10941 markings/sec, 3455 secs
lola: STP completed || 52 tries, 51422457 fired transitions, 3460 secs || 38421435 markings, 191935222 edges, 10976 markings/sec, 3460 secs
lola: STP completed || 52 tries, 51500479 fired transitions, 3465 secs || 38475297 markings, 192222050 edges, 10772 markings/sec, 3465 secs
lola: STP completed || 52 tries, 51579663 fired transitions, 3470 secs || 38528663 markings, 192479545 edges, 10673 markings/sec, 3470 secs
lola: STP completed || 52 tries, 51658116 fired transitions, 3475 secs || 38582711 markings, 192761345 edges, 10810 markings/sec, 3475 secs
lola: STP completed || 52 tries, 51736262 fired transitions, 3480 secs || 38636408 markings, 193039601 edges, 10739 markings/sec, 3480 secs
lola: STP completed || 52 tries, 51813314 fired transitions, 3485 secs || 38689620 markings, 193329033 edges, 10642 markings/sec, 3485 secs
lola: STP completed || 52 tries, 51890039 fired transitions, 3490 secs || 38742975 markings, 193615115 edges, 10671 markings/sec, 3490 secs
lola: STP completed || 52 tries, 51967460 fired transitions, 3495 secs || 38795990 markings, 193897256 edges, 10603 markings/sec, 3495 secs
lola: STP completed || 53 tries, 52043869 fired transitions, 3500 secs || 38849196 markings, 194179280 edges, 10641 markings/sec, 3500 secs
lola: STP completed || 53 tries, 52119993 fired transitions, 3505 secs || 38903317 markings, 194463346 edges, 10824 markings/sec, 3505 secs
lola: STP completed || 53 tries, 52195538 fired transitions, 3510 secs || 38957844 markings, 194743683 edges, 10905 markings/sec, 3510 secs
lola: STP completed || 53 tries, 52273674 fired transitions, 3515 secs || 39013928 markings, 195011016 edges, 11217 markings/sec, 3515 secs
lola: STP completed || 53 tries, 52351764 fired transitions, 3520 secs || 39066465 markings, 195328172 edges, 10507 markings/sec, 3520 secs
lola: STP completed || 53 tries, 52429785 fired transitions, 3525 secs || 39121087 markings, 195635161 edges, 10924 markings/sec, 3525 secs
lola: STP completed || 53 tries, 52506862 fired transitions, 3530 secs || 39176203 markings, 195938785 edges, 11023 markings/sec, 3530 secs
lola: STP completed || 53 tries, 52582689 fired transitions, 3535 secs || 39229847 markings, 196221635 edges, 10729 markings/sec, 3535 secs
lola: STP completed || 53 tries, 52659461 fired transitions, 3540 secs || 39284997 markings, 196486654 edges, 11030 markings/sec, 3540 secs
lola: STP completed || 53 tries, 52733564 fired transitions, 3545 secs || 39338355 markings, 196748772 edges, 10672 markings/sec, 3545 secs
lola: STP completed || 53 tries, 52806269 fired transitions, 3550 secs || 39390345 markings, 197015265 edges, 10398 markings/sec, 3550 secs
lola: STP completed || 53 tries, 52878284 fired transitions, 3555 secs || 39441812 markings, 197288079 edges, 10293 markings/sec, 3555 secs
lola: STP completed || 53 tries, 52950493 fired transitions, 3560 secs || 39494555 markings, 197568181 edges, 10549 markings/sec, 3560 secs
lola: time limit reached - aborting
lola: memory consumption: 1873212 KB
lola: time consumption: 3571 seconds
BK_STOP 1527017907116
--------------------
content from stderr:
Sequence of Actions to be Executed by the VM
This is useful if one wants to reexecute the tool in the VM from the submitted image disk.
set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="LamportFastMutEx-COL-8"
export BK_EXAMINATION="ReachabilityDeadlock"
export BK_TOOL="lola"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
# this is specific to your benchmark or test
export BIN_DIR="$HOME/BenchKit/bin"
# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi
tar xzf /home/mcc/BenchKit/INPUTS/LamportFastMutEx-COL-8.tgz
mv LamportFastMutEx-COL-8 execution
cd execution
pwd
ls -lh
# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-3637"
echo " Executing tool lola"
echo " Input is LamportFastMutEx-COL-8, examination is ReachabilityDeadlock"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r112-csrt-152666469000104"
echo "====================================================================="
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "ReachabilityDeadlock" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "ReachabilityDeadlock" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "ReachabilityDeadlock.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property ReachabilityDeadlock.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "ReachabilityDeadlock.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '
echo "FORMULA_NAME $x"
done
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;