About the Execution of LoLA for FlexibleBarrier-PT-18a
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 7994.540 | 3570806.00 | 7261024.00 | 374.60 | [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 436K
-rw-r--r-- 1 mcc users 3.7K May 15 18:54 CTLCardinality.txt
-rw-r--r-- 1 mcc users 21K May 15 18:54 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.7K May 15 18:54 CTLFireability.txt
-rw-r--r-- 1 mcc users 19K 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.1K 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 1.9K May 15 18:54 LTLFireability.txt
-rw-r--r-- 1 mcc users 7.8K May 15 18:54 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.8K 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 3.0K May 15 18:54 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 19K May 15 18:54 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K May 15 18:54 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K May 15 18:54 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 15 18:50 equiv_col
-rw-r--r-- 1 mcc users 4 May 15 18:50 instance
-rw-r--r-- 1 mcc users 6 May 15 18:50 iscolored
-rw-r--r-- 1 mcc users 265K May 15 18:50 model.pnml
=====================================================================
Generated by BenchKit 2-3637
Executing tool lola
Input is FlexibleBarrier-PT-18a, examination is ReachabilityDeadlock
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r088-blw7-152649998200202
=====================================================================
--------------------
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 FlexibleBarrier-PT-18a-ReachabilityDeadlock-0
=== Now, execution of the tool begins
BK_START 1526682974211
info: Time: 3600 - MCC
===========================================================================================
prep: translating FlexibleBarrier-PT-18a Petri net model.pnml into LoLA format
===========================================================================================
prep: translating PT Petri net complete
prep: net is already safe
prep: check for too many tokens
===========================================================================================
prep: translating FlexibleBarrier-PT-18a formula ReachabilityDeadlock into LoLA format
===========================================================================================
prep: translating PT formula complete
vrfy: Checking ReachabilityDeadlock @ FlexibleBarrier-PT-18a @ 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: 1105/65536 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 219
lola: finding significant places
lola: 219 places, 886 transitions, 199 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 634 transition conflict sets
lola: TASK
lola: reading formula from FlexibleBarrier-PT-18a-ReachabilityDeadlock.task
lola: E (F (DEADLOCK))
lola: rewrite Frontend/Parser/formula_rewrite.k:106
lola: checking reachability of deadlocks
lola: Planning: workflow for deadlock check: siphon||findpath||search) (--findpath=par,--siphontrap=par)
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using deadlock preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: SEARCH (findpath)
lola: findpath: using deadlock preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: findpath: starting randomized, memory-less exploration (--search=findpath)
lola: findpath: searching for paths with maximal depth 1000000 (--depthlimit)
lola: findpath: no retry limit given (--retrylimit)
lola: findpath: transitions are chosen randomly
lola: computing symmetries (--symmetry)
lola: time limit for symmetry computation of 300 seconds given (--symmtimelimit)
lola: STP: formula with 13929 variables and 67352 clauses shipped to Minisat
lola: computed 136 generators (31 in search tree, 105 by composition)
lola: representing 3.55687E+14 symmetries
lola: 0 dead branches visited in search tree
lola: stp: The siphon/trap property does not hold
lola: STP completed || 1 tries, 53569 fired transitions, 0 secs || 98008 markings, 160917 edges, 19602 markings/sec, 0 secs
lola: STP completed || 1 tries, 109365 fired transitions, 5 secs || 201091 markings, 335432 edges, 20617 markings/sec, 5 secs
lola: STP completed || 1 tries, 161322 fired transitions, 10 secs || 302176 markings, 514532 edges, 20217 markings/sec, 10 secs
lola: STP completed || 1 tries, 214452 fired transitions, 15 secs || 406771 markings, 686393 edges, 20919 markings/sec, 15 secs
lola: STP completed || 1 tries, 269371 fired transitions, 20 secs || 513038 markings, 859453 edges, 21253 markings/sec, 20 secs
lola: STP completed || 1 tries, 322929 fired transitions, 25 secs || 606161 markings, 1013321 edges, 18625 markings/sec, 25 secs
lola: STP completed || 1 tries, 376074 fired transitions, 30 secs || 705597 markings, 1165251 edges, 19887 markings/sec, 30 secs
lola: STP completed || 1 tries, 430437 fired transitions, 35 secs || 795676 markings, 1301452 edges, 18016 markings/sec, 35 secs
lola: STP completed || 1 tries, 483046 fired transitions, 40 secs || 894532 markings, 1455117 edges, 19771 markings/sec, 40 secs
lola: STP completed || 1 tries, 533226 fired transitions, 45 secs || 995859 markings, 1612698 edges, 20265 markings/sec, 45 secs
lola: STP completed || 1 tries, 581320 fired transitions, 50 secs || 1096921 markings, 1773829 edges, 20212 markings/sec, 50 secs
lola: STP completed || 1 tries, 629816 fired transitions, 55 secs || 1198416 markings, 1934177 edges, 20299 markings/sec, 55 secs
lola: STP completed || 1 tries, 685463 fired transitions, 60 secs || 1297446 markings, 2091097 edges, 19806 markings/sec, 60 secs
lola: STP completed || 1 tries, 740309 fired transitions, 65 secs || 1397656 markings, 2248103 edges, 20042 markings/sec, 65 secs
lola: STP completed || 1 tries, 790426 fired transitions, 70 secs || 1495851 markings, 2404093 edges, 19639 markings/sec, 70 secs
lola: STP completed || 1 tries, 844735 fired transitions, 75 secs || 1594492 markings, 2561719 edges, 19728 markings/sec, 75 secs
lola: STP completed || 1 tries, 893964 fired transitions, 80 secs || 1686244 markings, 2710910 edges, 18350 markings/sec, 80 secs
lola: STP completed || 1 tries, 949705 fired transitions, 85 secs || 1785541 markings, 2868784 edges, 19859 markings/sec, 85 secs
lola: STP completed || 2 tries, 1004450 fired transitions, 90 secs || 1882003 markings, 3018477 edges, 19292 markings/sec, 90 secs
lola: STP completed || 2 tries, 1060279 fired transitions, 95 secs || 1979730 markings, 3166119 edges, 19545 markings/sec, 95 secs
lola: STP completed || 2 tries, 1110050 fired transitions, 100 secs || 2076125 markings, 3315309 edges, 19279 markings/sec, 100 secs
lola: STP completed || 2 tries, 1164844 fired transitions, 105 secs || 2174406 markings, 3471854 edges, 19656 markings/sec, 105 secs
lola: STP completed || 2 tries, 1220249 fired transitions, 110 secs || 2274321 markings, 3630947 edges, 19983 markings/sec, 110 secs
lola: STP completed || 2 tries, 1275798 fired transitions, 115 secs || 2371287 markings, 3778275 edges, 19393 markings/sec, 115 secs
lola: STP completed || 2 tries, 1331528 fired transitions, 120 secs || 2468479 markings, 3927219 edges, 19438 markings/sec, 120 secs
lola: STP completed || 2 tries, 1385359 fired transitions, 125 secs || 2568612 markings, 4089752 edges, 20027 markings/sec, 125 secs
lola: STP completed || 2 tries, 1436174 fired transitions, 130 secs || 2664622 markings, 4243196 edges, 19202 markings/sec, 130 secs
lola: STP completed || 2 tries, 1489214 fired transitions, 135 secs || 2757615 markings, 4394677 edges, 18599 markings/sec, 135 secs
lola: STP completed || 2 tries, 1543807 fired transitions, 140 secs || 2862242 markings, 4566755 edges, 20925 markings/sec, 140 secs
lola: STP completed || 2 tries, 1599362 fired transitions, 145 secs || 2966455 markings, 4740674 edges, 20843 markings/sec, 145 secs
lola: STP completed || 2 tries, 1652104 fired transitions, 150 secs || 3065982 markings, 4895886 edges, 19905 markings/sec, 150 secs
lola: STP completed || 2 tries, 1705503 fired transitions, 155 secs || 3161259 markings, 5040366 edges, 19055 markings/sec, 155 secs
lola: STP completed || 2 tries, 1759163 fired transitions, 160 secs || 3253995 markings, 5181222 edges, 18547 markings/sec, 160 secs
lola: STP completed || 2 tries, 1814201 fired transitions, 165 secs || 3351707 markings, 5335066 edges, 19542 markings/sec, 165 secs
lola: STP completed || 2 tries, 1869690 fired transitions, 170 secs || 3449900 markings, 5491390 edges, 19639 markings/sec, 170 secs
lola: STP completed || 2 tries, 1924906 fired transitions, 175 secs || 3554333 markings, 5662204 edges, 20887 markings/sec, 175 secs
lola: STP completed || 2 tries, 1975178 fired transitions, 180 secs || 3652082 markings, 5817419 edges, 19550 markings/sec, 180 secs
lola: STP completed || 3 tries, 2030704 fired transitions, 185 secs || 3752000 markings, 5978985 edges, 19984 markings/sec, 185 secs
lola: STP completed || 3 tries, 2087247 fired transitions, 190 secs || 3850980 markings, 6135728 edges, 19796 markings/sec, 190 secs
lola: STP completed || 3 tries, 2142755 fired transitions, 195 secs || 3948925 markings, 6289712 edges, 19589 markings/sec, 195 secs
lola: STP completed || 3 tries, 2197904 fired transitions, 200 secs || 4047862 markings, 6449052 edges, 19787 markings/sec, 200 secs
lola: STP completed || 3 tries, 2254173 fired transitions, 205 secs || 4146756 markings, 6605975 edges, 19779 markings/sec, 205 secs
lola: STP completed || 3 tries, 2306916 fired transitions, 210 secs || 4250762 markings, 6776391 edges, 20801 markings/sec, 210 secs
lola: STP completed || 3 tries, 2361333 fired transitions, 215 secs || 4350606 markings, 6933505 edges, 19969 markings/sec, 215 secs
lola: STP completed || 3 tries, 2416754 fired transitions, 220 secs || 4450256 markings, 7089483 edges, 19930 markings/sec, 220 secs
lola: STP completed || 3 tries, 2472367 fired transitions, 225 secs || 4547513 markings, 7236358 edges, 19451 markings/sec, 225 secs
lola: STP completed || 3 tries, 2527354 fired transitions, 230 secs || 4644812 markings, 7387838 edges, 19460 markings/sec, 230 secs
lola: STP completed || 3 tries, 2580557 fired transitions, 235 secs || 4744559 markings, 7545431 edges, 19949 markings/sec, 235 secs
lola: STP completed || 3 tries, 2632960 fired transitions, 240 secs || 4839104 markings, 7684382 edges, 18909 markings/sec, 240 secs
lola: STP completed || 3 tries, 2688371 fired transitions, 245 secs || 4934537 markings, 7827351 edges, 19087 markings/sec, 245 secs
lola: STP completed || 3 tries, 2743559 fired transitions, 250 secs || 5033365 markings, 7981654 edges, 19766 markings/sec, 250 secs
lola: STP completed || 3 tries, 2799184 fired transitions, 255 secs || 5131864 markings, 8137267 edges, 19700 markings/sec, 255 secs
lola: STP completed || 3 tries, 2844111 fired transitions, 260 secs || 5234522 markings, 8303737 edges, 20532 markings/sec, 260 secs
lola: STP completed || 3 tries, 2895780 fired transitions, 265 secs || 5332553 markings, 8461295 edges, 19606 markings/sec, 265 secs
lola: STP completed || 3 tries, 2951225 fired transitions, 270 secs || 5430145 markings, 8609592 edges, 19518 markings/sec, 270 secs
lola: STP completed || 4 tries, 3006421 fired transitions, 275 secs || 5530758 markings, 8771325 edges, 20123 markings/sec, 275 secs
lola: STP completed || 4 tries, 3061418 fired transitions, 280 secs || 5629551 markings, 8927283 edges, 19759 markings/sec, 280 secs
lola: STP completed || 4 tries, 3117497 fired transitions, 285 secs || 5725827 markings, 9082279 edges, 19255 markings/sec, 285 secs
lola: STP completed || 4 tries, 3165419 fired transitions, 290 secs || 5822989 markings, 9236493 edges, 19432 markings/sec, 290 secs
lola: STP completed || 4 tries, 3217818 fired transitions, 295 secs || 5919499 markings, 9393602 edges, 19302 markings/sec, 295 secs
lola: STP completed || 4 tries, 3273347 fired transitions, 300 secs || 6019859 markings, 9556161 edges, 20072 markings/sec, 300 secs
lola: STP completed || 4 tries, 3328559 fired transitions, 305 secs || 6117617 markings, 9707661 edges, 19552 markings/sec, 305 secs
lola: STP completed || 4 tries, 3384645 fired transitions, 310 secs || 6217437 markings, 9870158 edges, 19964 markings/sec, 310 secs
lola: STP completed || 4 tries, 3436889 fired transitions, 315 secs || 6312829 markings, 10014963 edges, 19078 markings/sec, 315 secs
lola: STP completed || 4 tries, 3490833 fired transitions, 320 secs || 6414448 markings, 10183155 edges, 20324 markings/sec, 320 secs
lola: STP completed || 4 tries, 3546069 fired transitions, 325 secs || 6513538 markings, 10344078 edges, 19818 markings/sec, 325 secs
lola: STP completed || 4 tries, 3600930 fired transitions, 330 secs || 6614959 markings, 10514376 edges, 20284 markings/sec, 330 secs
lola: STP completed || 4 tries, 3656504 fired transitions, 335 secs || 6709856 markings, 10655815 edges, 18979 markings/sec, 335 secs
lola: STP completed || 4 tries, 3709937 fired transitions, 340 secs || 6808243 markings, 10809367 edges, 19677 markings/sec, 340 secs
lola: STP completed || 4 tries, 3761756 fired transitions, 345 secs || 6904471 markings, 10953185 edges, 19246 markings/sec, 345 secs
lola: STP completed || 4 tries, 3815509 fired transitions, 350 secs || 6998696 markings, 11102964 edges, 18845 markings/sec, 350 secs
lola: STP completed || 4 tries, 3871792 fired transitions, 355 secs || 7094041 markings, 11249575 edges, 19069 markings/sec, 355 secs
lola: STP completed || 4 tries, 3927917 fired transitions, 360 secs || 7191286 markings, 11403660 edges, 19449 markings/sec, 360 secs
lola: STP completed || 4 tries, 3984464 fired transitions, 365 secs || 7292331 markings, 11572480 edges, 20209 markings/sec, 365 secs
lola: STP completed || 5 tries, 4040385 fired transitions, 370 secs || 7392232 markings, 11735412 edges, 19980 markings/sec, 370 secs
lola: STP completed || 5 tries, 4093084 fired transitions, 375 secs || 7490544 markings, 11893326 edges, 19662 markings/sec, 375 secs
lola: STP completed || 5 tries, 4148759 fired transitions, 380 secs || 7586205 markings, 12039716 edges, 19132 markings/sec, 380 secs
lola: STP completed || 5 tries, 4202833 fired transitions, 385 secs || 7684484 markings, 12194111 edges, 19656 markings/sec, 385 secs
lola: STP completed || 5 tries, 4255778 fired transitions, 390 secs || 7782066 markings, 12349775 edges, 19516 markings/sec, 390 secs
lola: STP completed || 5 tries, 4309223 fired transitions, 395 secs || 7878342 markings, 12503810 edges, 19255 markings/sec, 395 secs
lola: STP completed || 5 tries, 4361883 fired transitions, 400 secs || 7980145 markings, 12673399 edges, 20361 markings/sec, 400 secs
lola: STP completed || 5 tries, 4415863 fired transitions, 405 secs || 8074455 markings, 12827006 edges, 18862 markings/sec, 405 secs
lola: STP completed || 5 tries, 4468708 fired transitions, 410 secs || 8172270 markings, 12990932 edges, 19563 markings/sec, 410 secs
lola: STP completed || 5 tries, 4522610 fired transitions, 415 secs || 8269549 markings, 13152949 edges, 19456 markings/sec, 415 secs
lola: STP completed || 5 tries, 4577818 fired transitions, 420 secs || 8369450 markings, 13319410 edges, 19980 markings/sec, 420 secs
lola: STP completed || 5 tries, 4630443 fired transitions, 425 secs || 8468765 markings, 13484092 edges, 19863 markings/sec, 425 secs
lola: STP completed || 5 tries, 4684659 fired transitions, 430 secs || 8561412 markings, 13631045 edges, 18529 markings/sec, 430 secs
lola: STP completed || 5 tries, 4740498 fired transitions, 435 secs || 8657820 markings, 13795012 edges, 19282 markings/sec, 435 secs
lola: STP completed || 5 tries, 4796042 fired transitions, 440 secs || 8755403 markings, 13958441 edges, 19517 markings/sec, 440 secs
lola: STP completed || 5 tries, 4850837 fired transitions, 445 secs || 8852946 markings, 14113636 edges, 19509 markings/sec, 445 secs
lola: STP completed || 5 tries, 4906186 fired transitions, 450 secs || 8950626 markings, 14272458 edges, 19536 markings/sec, 450 secs
lola: STP completed || 5 tries, 4959016 fired transitions, 455 secs || 9041581 markings, 14418806 edges, 18191 markings/sec, 455 secs
lola: STP completed || 6 tries, 5014704 fired transitions, 460 secs || 9140059 markings, 14576944 edges, 19696 markings/sec, 460 secs
lola: STP completed || 6 tries, 5071078 fired transitions, 465 secs || 9239963 markings, 14740365 edges, 19981 markings/sec, 465 secs
lola: STP completed || 6 tries, 5126013 fired transitions, 470 secs || 9341036 markings, 14909266 edges, 20215 markings/sec, 470 secs
lola: STP completed || 6 tries, 5179460 fired transitions, 475 secs || 9439907 markings, 15071757 edges, 19774 markings/sec, 475 secs
lola: STP completed || 6 tries, 5231968 fired transitions, 480 secs || 9537638 markings, 15229839 edges, 19546 markings/sec, 480 secs
lola: STP completed || 6 tries, 5285604 fired transitions, 485 secs || 9634908 markings, 15382611 edges, 19454 markings/sec, 485 secs
lola: STP completed || 6 tries, 5342118 fired transitions, 490 secs || 9733182 markings, 15541740 edges, 19655 markings/sec, 490 secs
lola: STP completed || 6 tries, 5397686 fired transitions, 495 secs || 9833477 markings, 15703167 edges, 20059 markings/sec, 495 secs
lola: STP completed || 6 tries, 5453467 fired transitions, 500 secs || 9930467 markings, 15853300 edges, 19398 markings/sec, 500 secs
lola: STP completed || 6 tries, 5508019 fired transitions, 505 secs || 10027597 markings, 16004049 edges, 19426 markings/sec, 505 secs
lola: STP completed || 6 tries, 5562006 fired transitions, 510 secs || 10122726 markings, 16154190 edges, 19026 markings/sec, 510 secs
lola: STP completed || 6 tries, 5616720 fired transitions, 515 secs || 10218816 markings, 16303599 edges, 19218 markings/sec, 515 secs
lola: STP completed || 6 tries, 5671472 fired transitions, 520 secs || 10322951 markings, 16480457 edges, 20827 markings/sec, 520 secs
lola: STP completed || 6 tries, 5726945 fired transitions, 525 secs || 10425617 markings, 16652210 edges, 20533 markings/sec, 525 secs
lola: STP completed || 6 tries, 5782747 fired transitions, 530 secs || 10525634 markings, 16814527 edges, 20003 markings/sec, 530 secs
lola: STP completed || 6 tries, 5838217 fired transitions, 535 secs || 10624006 markings, 16973557 edges, 19674 markings/sec, 535 secs
lola: STP completed || 6 tries, 5894139 fired transitions, 540 secs || 10722135 markings, 17131931 edges, 19626 markings/sec, 540 secs
lola: STP completed || 6 tries, 5944405 fired transitions, 545 secs || 10809227 markings, 17272677 edges, 17418 markings/sec, 545 secs
lola: STP completed || 6 tries, 5996453 fired transitions, 550 secs || 10908372 markings, 17431830 edges, 19829 markings/sec, 550 secs
lola: STP completed || 7 tries, 6051770 fired transitions, 555 secs || 11009868 markings, 17592254 edges, 20299 markings/sec, 555 secs
lola: STP completed || 7 tries, 6107301 fired transitions, 560 secs || 11115450 markings, 17767772 edges, 21116 markings/sec, 560 secs
lola: STP completed || 7 tries, 6163385 fired transitions, 565 secs || 11220737 markings, 17946587 edges, 21057 markings/sec, 565 secs
lola: STP completed || 7 tries, 6219502 fired transitions, 570 secs || 11324174 markings, 18119407 edges, 20687 markings/sec, 570 secs
lola: STP completed || 7 tries, 6274479 fired transitions, 575 secs || 11431054 markings, 18305455 edges, 21376 markings/sec, 575 secs
lola: STP completed || 7 tries, 6329816 fired transitions, 580 secs || 11537914 markings, 18488357 edges, 21372 markings/sec, 580 secs
lola: STP completed || 7 tries, 6381775 fired transitions, 585 secs || 11641251 markings, 18664285 edges, 20667 markings/sec, 585 secs
lola: STP completed || 7 tries, 6434364 fired transitions, 590 secs || 11742938 markings, 18837991 edges, 20337 markings/sec, 590 secs
lola: STP completed || 7 tries, 6490390 fired transitions, 595 secs || 11852128 markings, 19029941 edges, 21838 markings/sec, 595 secs
lola: STP completed || 7 tries, 6544847 fired transitions, 600 secs || 11957724 markings, 19215990 edges, 21119 markings/sec, 600 secs
lola: STP completed || 7 tries, 6597898 fired transitions, 605 secs || 12061585 markings, 19396696 edges, 20772 markings/sec, 605 secs
lola: STP completed || 7 tries, 6652723 fired transitions, 610 secs || 12169011 markings, 19583013 edges, 21485 markings/sec, 610 secs
lola: STP completed || 7 tries, 6708944 fired transitions, 615 secs || 12278451 markings, 19777107 edges, 21888 markings/sec, 615 secs
lola: STP completed || 7 tries, 6763438 fired transitions, 620 secs || 12379312 markings, 19946539 edges, 20172 markings/sec, 620 secs
lola: STP completed || 7 tries, 6816988 fired transitions, 625 secs || 12476965 markings, 20104763 edges, 19531 markings/sec, 625 secs
lola: STP completed || 7 tries, 6872149 fired transitions, 630 secs || 12574368 markings, 20259911 edges, 19481 markings/sec, 630 secs
lola: STP completed || 7 tries, 6928315 fired transitions, 635 secs || 12675492 markings, 20426974 edges, 20225 markings/sec, 635 secs
lola: STP completed || 7 tries, 6984503 fired transitions, 640 secs || 12773834 markings, 20581273 edges, 19668 markings/sec, 640 secs
lola: STP completed || 8 tries, 7040432 fired transitions, 645 secs || 12874490 markings, 20752778 edges, 20131 markings/sec, 645 secs
lola: STP completed || 8 tries, 7096197 fired transitions, 650 secs || 12985962 markings, 20953834 edges, 22294 markings/sec, 650 secs
lola: STP completed || 8 tries, 7151802 fired transitions, 655 secs || 13092884 markings, 21142918 edges, 21384 markings/sec, 655 secs
lola: STP completed || 8 tries, 7207738 fired transitions, 660 secs || 13198141 markings, 21328168 edges, 21051 markings/sec, 660 secs
lola: STP completed || 8 tries, 7264172 fired transitions, 665 secs || 13294926 markings, 21481543 edges, 19357 markings/sec, 665 secs
lola: STP completed || 8 tries, 7318987 fired transitions, 670 secs || 13392380 markings, 21638881 edges, 19491 markings/sec, 670 secs
lola: STP completed || 8 tries, 7370747 fired transitions, 675 secs || 13486514 markings, 21793975 edges, 18827 markings/sec, 675 secs
lola: STP completed || 8 tries, 7425629 fired transitions, 680 secs || 13587565 markings, 21964099 edges, 20210 markings/sec, 680 secs
lola: STP completed || 8 tries, 7481394 fired transitions, 685 secs || 13697133 markings, 22161280 edges, 21914 markings/sec, 685 secs
lola: STP completed || 8 tries, 7537590 fired transitions, 690 secs || 13805048 markings, 22351883 edges, 21583 markings/sec, 690 secs
lola: STP completed || 8 tries, 7592680 fired transitions, 695 secs || 13904288 markings, 22512815 edges, 19848 markings/sec, 695 secs
lola: STP completed || 8 tries, 7647720 fired transitions, 700 secs || 14004260 markings, 22676052 edges, 19994 markings/sec, 700 secs
lola: STP completed || 8 tries, 7703196 fired transitions, 705 secs || 14107212 markings, 22851249 edges, 20590 markings/sec, 705 secs
lola: STP completed || 8 tries, 7755179 fired transitions, 710 secs || 14216624 markings, 23046466 edges, 21882 markings/sec, 710 secs
lola: STP completed || 8 tries, 7806467 fired transitions, 715 secs || 14328430 markings, 23249343 edges, 22361 markings/sec, 715 secs
lola: STP completed || 8 tries, 7861490 fired transitions, 720 secs || 14432870 markings, 23430757 edges, 20888 markings/sec, 720 secs
lola: STP completed || 8 tries, 7913316 fired transitions, 725 secs || 14535038 markings, 23600778 edges, 20434 markings/sec, 725 secs
lola: STP completed || 8 tries, 7969153 fired transitions, 730 secs || 14634133 markings, 23763758 edges, 19819 markings/sec, 730 secs
lola: STP completed || 9 tries, 8024006 fired transitions, 735 secs || 14737224 markings, 23939150 edges, 20618 markings/sec, 735 secs
lola: STP completed || 9 tries, 8076920 fired transitions, 740 secs || 14840238 markings, 24115945 edges, 20603 markings/sec, 740 secs
lola: STP completed || 9 tries, 8129019 fired transitions, 745 secs || 14934769 markings, 24273132 edges, 18906 markings/sec, 745 secs
lola: STP completed || 9 tries, 8185385 fired transitions, 750 secs || 15035496 markings, 24442645 edges, 20145 markings/sec, 750 secs
lola: STP completed || 9 tries, 8240228 fired transitions, 755 secs || 15135938 markings, 24610094 edges, 20088 markings/sec, 755 secs
lola: STP completed || 9 tries, 8296491 fired transitions, 760 secs || 15233025 markings, 24759013 edges, 19417 markings/sec, 760 secs
lola: STP completed || 9 tries, 8352239 fired transitions, 765 secs || 15326303 markings, 24904302 edges, 18656 markings/sec, 765 secs
lola: STP completed || 9 tries, 8407683 fired transitions, 770 secs || 15427537 markings, 25071821 edges, 20247 markings/sec, 770 secs
lola: STP completed || 9 tries, 8463522 fired transitions, 775 secs || 15532090 markings, 25252429 edges, 20911 markings/sec, 775 secs
lola: STP completed || 9 tries, 8519260 fired transitions, 780 secs || 15633444 markings, 25421859 edges, 20271 markings/sec, 780 secs
lola: STP completed || 9 tries, 8571333 fired transitions, 785 secs || 15732666 markings, 25584506 edges, 19844 markings/sec, 785 secs
lola: STP completed || 9 tries, 8625903 fired transitions, 790 secs || 15832794 markings, 25745898 edges, 20026 markings/sec, 790 secs
lola: STP completed || 9 tries, 8682304 fired transitions, 795 secs || 15932706 markings, 25906477 edges, 19982 markings/sec, 795 secs
lola: STP completed || 9 tries, 8737615 fired transitions, 800 secs || 16028521 markings, 26055752 edges, 19163 markings/sec, 800 secs
lola: STP completed || 9 tries, 8793185 fired transitions, 805 secs || 16121725 markings, 26196878 edges, 18641 markings/sec, 805 secs
lola: STP completed || 9 tries, 8844791 fired transitions, 810 secs || 16214998 markings, 26344350 edges, 18655 markings/sec, 810 secs
lola: STP completed || 9 tries, 8898067 fired transitions, 815 secs || 16309836 markings, 26488664 edges, 18968 markings/sec, 815 secs
lola: STP completed || 9 tries, 8955163 fired transitions, 820 secs || 16404964 markings, 26637204 edges, 19026 markings/sec, 820 secs
lola: STP completed || 10 tries, 9010142 fired transitions, 825 secs || 16502351 markings, 26795102 edges, 19477 markings/sec, 825 secs
lola: STP completed || 10 tries, 9066204 fired transitions, 830 secs || 16601265 markings, 26955458 edges, 19783 markings/sec, 830 secs
lola: STP completed || 10 tries, 9122422 fired transitions, 835 secs || 16697646 markings, 27109717 edges, 19276 markings/sec, 835 secs
lola: STP completed || 10 tries, 9173510 fired transitions, 840 secs || 16793266 markings, 27262425 edges, 19124 markings/sec, 840 secs
lola: STP completed || 10 tries, 9228040 fired transitions, 845 secs || 16887860 markings, 27411499 edges, 18919 markings/sec, 845 secs
lola: STP completed || 10 tries, 9279198 fired transitions, 850 secs || 16987726 markings, 27574416 edges, 19973 markings/sec, 850 secs
lola: STP completed || 10 tries, 9332170 fired transitions, 855 secs || 17089666 markings, 27740693 edges, 20388 markings/sec, 855 secs
lola: STP completed || 10 tries, 9385489 fired transitions, 860 secs || 17179532 markings, 27875890 edges, 17973 markings/sec, 860 secs
lola: STP completed || 10 tries, 9439455 fired transitions, 865 secs || 17275786 markings, 28020937 edges, 19251 markings/sec, 865 secs
lola: STP completed || 10 tries, 9494176 fired transitions, 870 secs || 17372511 markings, 28169374 edges, 19345 markings/sec, 870 secs
lola: STP completed || 10 tries, 9545183 fired transitions, 875 secs || 17462306 markings, 28312981 edges, 17959 markings/sec, 875 secs
lola: STP completed || 10 tries, 9593728 fired transitions, 880 secs || 17549600 markings, 28447553 edges, 17459 markings/sec, 880 secs
lola: STP completed || 10 tries, 9647055 fired transitions, 885 secs || 17642628 markings, 28600617 edges, 18606 markings/sec, 885 secs
lola: STP completed || 10 tries, 9701992 fired transitions, 890 secs || 17733217 markings, 28744270 edges, 18118 markings/sec, 890 secs
lola: STP completed || 10 tries, 9755927 fired transitions, 895 secs || 17827126 markings, 28892161 edges, 18782 markings/sec, 895 secs
lola: STP completed || 10 tries, 9809645 fired transitions, 900 secs || 17923186 markings, 29049930 edges, 19212 markings/sec, 900 secs
lola: STP completed || 10 tries, 9866624 fired transitions, 905 secs || 18007277 markings, 29186941 edges, 16818 markings/sec, 905 secs
lola: STP completed || 10 tries, 9917855 fired transitions, 910 secs || 18100192 markings, 29338025 edges, 18583 markings/sec, 910 secs
lola: STP completed || 10 tries, 9969685 fired transitions, 915 secs || 18194057 markings, 29481615 edges, 18773 markings/sec, 915 secs
lola: STP completed || 11 tries, 10025692 fired transitions, 920 secs || 18288578 markings, 29627204 edges, 18904 markings/sec, 920 secs
lola: STP completed || 11 tries, 10080661 fired transitions, 925 secs || 18386849 markings, 29784309 edges, 19654 markings/sec, 925 secs
lola: STP completed || 11 tries, 10134154 fired transitions, 930 secs || 18477888 markings, 29929588 edges, 18208 markings/sec, 930 secs
lola: STP completed || 11 tries, 10186452 fired transitions, 935 secs || 18560376 markings, 30056557 edges, 16498 markings/sec, 935 secs
lola: STP completed || 11 tries, 10239713 fired transitions, 940 secs || 18650470 markings, 30198937 edges, 18019 markings/sec, 940 secs
lola: STP completed || 11 tries, 10295359 fired transitions, 945 secs || 18746290 markings, 30355076 edges, 19164 markings/sec, 945 secs
lola: STP completed || 11 tries, 10350934 fired transitions, 950 secs || 18838672 markings, 30511099 edges, 18476 markings/sec, 950 secs
lola: STP completed || 11 tries, 10406758 fired transitions, 955 secs || 18918837 markings, 30648858 edges, 16033 markings/sec, 955 secs
lola: STP completed || 11 tries, 10461821 fired transitions, 960 secs || 19018814 markings, 30811306 edges, 19995 markings/sec, 960 secs
lola: STP completed || 11 tries, 10516761 fired transitions, 965 secs || 19112936 markings, 30957625 edges, 18824 markings/sec, 965 secs
lola: STP completed || 11 tries, 10571937 fired transitions, 970 secs || 19206404 markings, 31100430 edges, 18694 markings/sec, 970 secs
lola: STP completed || 11 tries, 10627104 fired transitions, 975 secs || 19303051 markings, 31257447 edges, 19329 markings/sec, 975 secs
lola: STP completed || 11 tries, 10681061 fired transitions, 980 secs || 19397834 markings, 31408638 edges, 18957 markings/sec, 980 secs
lola: STP completed || 11 tries, 10736517 fired transitions, 985 secs || 19496663 markings, 31575058 edges, 19766 markings/sec, 985 secs
lola: STP completed || 11 tries, 10790304 fired transitions, 990 secs || 19592358 markings, 31726222 edges, 19139 markings/sec, 990 secs
lola: STP completed || 11 tries, 10845024 fired transitions, 995 secs || 19686919 markings, 31872562 edges, 18912 markings/sec, 995 secs
lola: STP completed || 11 tries, 10900604 fired transitions, 1000 secs || 19780649 markings, 32022947 edges, 18746 markings/sec, 1000 secs
lola: STP completed || 11 tries, 10956587 fired transitions, 1005 secs || 19876710 markings, 32178970 edges, 19212 markings/sec, 1005 secs
lola: STP completed || 12 tries, 11011711 fired transitions, 1010 secs || 19974657 markings, 32346224 edges, 19589 markings/sec, 1010 secs
lola: STP completed || 12 tries, 11065123 fired transitions, 1015 secs || 20068242 markings, 32499778 edges, 18717 markings/sec, 1015 secs
lola: STP completed || 12 tries, 11119665 fired transitions, 1020 secs || 20167163 markings, 32668135 edges, 19784 markings/sec, 1020 secs
lola: STP completed || 12 tries, 11174622 fired transitions, 1025 secs || 20266509 markings, 32828631 edges, 19869 markings/sec, 1025 secs
lola: STP completed || 12 tries, 11230243 fired transitions, 1030 secs || 20362441 markings, 32977999 edges, 19186 markings/sec, 1030 secs
lola: STP completed || 12 tries, 11285883 fired transitions, 1035 secs || 20454253 markings, 33130906 edges, 18362 markings/sec, 1035 secs
lola: STP completed || 12 tries, 11341053 fired transitions, 1040 secs || 20543688 markings, 33279281 edges, 17887 markings/sec, 1040 secs
lola: STP completed || 12 tries, 11396933 fired transitions, 1045 secs || 20639096 markings, 33429907 edges, 19082 markings/sec, 1045 secs
lola: STP completed || 12 tries, 11451930 fired transitions, 1050 secs || 20737227 markings, 33595355 edges, 19626 markings/sec, 1050 secs
lola: STP completed || 12 tries, 11506334 fired transitions, 1055 secs || 20834592 markings, 33754563 edges, 19473 markings/sec, 1055 secs
lola: STP completed || 12 tries, 11561660 fired transitions, 1060 secs || 20930963 markings, 33913219 edges, 19274 markings/sec, 1060 secs
lola: STP completed || 12 tries, 11617020 fired transitions, 1065 secs || 21029449 markings, 34075045 edges, 19697 markings/sec, 1065 secs
lola: STP completed || 12 tries, 11671965 fired transitions, 1070 secs || 21122623 markings, 34217286 edges, 18635 markings/sec, 1070 secs
lola: STP completed || 12 tries, 11727684 fired transitions, 1075 secs || 21217066 markings, 34361049 edges, 18889 markings/sec, 1075 secs
lola: STP completed || 12 tries, 11782565 fired transitions, 1080 secs || 21318119 markings, 34519218 edges, 20211 markings/sec, 1080 secs
lola: STP completed || 12 tries, 11840650 fired transitions, 1085 secs || 21424940 markings, 34693401 edges, 21364 markings/sec, 1085 secs
lola: STP completed || 12 tries, 11896489 fired transitions, 1090 secs || 21522555 markings, 34848748 edges, 19523 markings/sec, 1090 secs
lola: STP completed || 12 tries, 11951794 fired transitions, 1095 secs || 21612350 markings, 34985655 edges, 17959 markings/sec, 1095 secs
lola: STP completed || 13 tries, 12006006 fired transitions, 1100 secs || 21709991 markings, 35139555 edges, 19528 markings/sec, 1100 secs
lola: STP completed || 13 tries, 12061665 fired transitions, 1105 secs || 21805243 markings, 35288768 edges, 19050 markings/sec, 1105 secs
lola: STP completed || 13 tries, 12117114 fired transitions, 1110 secs || 21901430 markings, 35444370 edges, 19237 markings/sec, 1110 secs
lola: STP completed || 13 tries, 12173117 fired transitions, 1115 secs || 21999254 markings, 35601033 edges, 19565 markings/sec, 1115 secs
lola: STP completed || 13 tries, 12229701 fired transitions, 1120 secs || 22097758 markings, 35763819 edges, 19701 markings/sec, 1120 secs
lola: STP completed || 13 tries, 12285072 fired transitions, 1125 secs || 22196260 markings, 35923022 edges, 19700 markings/sec, 1125 secs
lola: STP completed || 13 tries, 12340740 fired transitions, 1130 secs || 22294306 markings, 36085319 edges, 19609 markings/sec, 1130 secs
lola: STP completed || 13 tries, 12396675 fired transitions, 1135 secs || 22393022 markings, 36244477 edges, 19743 markings/sec, 1135 secs
lola: STP completed || 13 tries, 12451977 fired transitions, 1140 secs || 22489911 markings, 36395297 edges, 19378 markings/sec, 1140 secs
lola: STP completed || 13 tries, 12508583 fired transitions, 1145 secs || 22588953 markings, 36557488 edges, 19808 markings/sec, 1145 secs
lola: STP completed || 13 tries, 12564356 fired transitions, 1150 secs || 22683399 markings, 36702574 edges, 18889 markings/sec, 1150 secs
lola: STP completed || 13 tries, 12617587 fired transitions, 1155 secs || 22771763 markings, 36844763 edges, 17673 markings/sec, 1155 secs
lola: STP completed || 13 tries, 12672391 fired transitions, 1160 secs || 22872108 markings, 37010718 edges, 20069 markings/sec, 1160 secs
lola: STP completed || 13 tries, 12726790 fired transitions, 1165 secs || 22973164 markings, 37174968 edges, 20211 markings/sec, 1165 secs
lola: STP completed || 13 tries, 12784292 fired transitions, 1170 secs || 23080152 markings, 37349343 edges, 21398 markings/sec, 1170 secs
lola: STP completed || 13 tries, 12842150 fired transitions, 1175 secs || 23181207 markings, 37507231 edges, 20211 markings/sec, 1175 secs
lola: STP completed || 13 tries, 12896750 fired transitions, 1180 secs || 23286780 markings, 37680090 edges, 21115 markings/sec, 1180 secs
lola: STP completed || 13 tries, 12951946 fired transitions, 1185 secs || 23392481 markings, 37864857 edges, 21140 markings/sec, 1185 secs
lola: STP completed || 14 tries, 13007485 fired transitions, 1190 secs || 23496556 markings, 38040659 edges, 20815 markings/sec, 1190 secs
lola: STP completed || 14 tries, 13063397 fired transitions, 1195 secs || 23599508 markings, 38210516 edges, 20590 markings/sec, 1195 secs
lola: STP completed || 14 tries, 13118890 fired transitions, 1200 secs || 23706614 markings, 38399083 edges, 21421 markings/sec, 1200 secs
lola: STP completed || 14 tries, 13174214 fired transitions, 1205 secs || 23812959 markings, 38585520 edges, 21269 markings/sec, 1205 secs
lola: STP completed || 14 tries, 13229171 fired transitions, 1210 secs || 23921170 markings, 38777672 edges, 21642 markings/sec, 1210 secs
lola: STP completed || 14 tries, 13283873 fired transitions, 1215 secs || 24017516 markings, 38931435 edges, 19269 markings/sec, 1215 secs
lola: STP completed || 14 tries, 13338261 fired transitions, 1220 secs || 24117792 markings, 39093429 edges, 20055 markings/sec, 1220 secs
lola: STP completed || 14 tries, 13393706 fired transitions, 1225 secs || 24221664 markings, 39265248 edges, 20774 markings/sec, 1225 secs
lola: STP completed || 14 tries, 13449297 fired transitions, 1230 secs || 24325932 markings, 39441377 edges, 20854 markings/sec, 1230 secs
lola: STP completed || 14 tries, 13503834 fired transitions, 1235 secs || 24433384 markings, 39632783 edges, 21490 markings/sec, 1235 secs
lola: STP completed || 14 tries, 13558703 fired transitions, 1240 secs || 24533317 markings, 39800448 edges, 19987 markings/sec, 1240 secs
lola: STP completed || 14 tries, 13614376 fired transitions, 1245 secs || 24631780 markings, 39962961 edges, 19693 markings/sec, 1245 secs
lola: STP completed || 14 tries, 13669468 fired transitions, 1250 secs || 24730383 markings, 40125266 edges, 19721 markings/sec, 1250 secs
lola: STP completed || 14 tries, 13725144 fired transitions, 1255 secs || 24832362 markings, 40298912 edges, 20396 markings/sec, 1255 secs
lola: STP completed || 14 tries, 13778621 fired transitions, 1260 secs || 24934205 markings, 40469280 edges, 20369 markings/sec, 1260 secs
lola: STP completed || 14 tries, 13833749 fired transitions, 1265 secs || 25039518 markings, 40642952 edges, 21063 markings/sec, 1265 secs
lola: STP completed || 14 tries, 13889356 fired transitions, 1270 secs || 25148257 markings, 40828659 edges, 21748 markings/sec, 1270 secs
lola: STP completed || 14 tries, 13945752 fired transitions, 1275 secs || 25251105 markings, 40994227 edges, 20570 markings/sec, 1275 secs
lola: STP completed || 15 tries, 14001246 fired transitions, 1280 secs || 25355201 markings, 41163680 edges, 20819 markings/sec, 1280 secs
lola: STP completed || 15 tries, 14057135 fired transitions, 1285 secs || 25461871 markings, 41344426 edges, 21334 markings/sec, 1285 secs
lola: STP completed || 15 tries, 14112059 fired transitions, 1290 secs || 25567129 markings, 41518300 edges, 21052 markings/sec, 1290 secs
lola: STP completed || 15 tries, 14167327 fired transitions, 1295 secs || 25664835 markings, 41667405 edges, 19541 markings/sec, 1295 secs
lola: STP completed || 15 tries, 14223597 fired transitions, 1300 secs || 25762007 markings, 41816133 edges, 19434 markings/sec, 1300 secs
lola: STP completed || 15 tries, 14278920 fired transitions, 1305 secs || 25858365 markings, 41964849 edges, 19272 markings/sec, 1305 secs
lola: STP completed || 15 tries, 14334716 fired transitions, 1310 secs || 25957769 markings, 42124419 edges, 19881 markings/sec, 1310 secs
lola: STP completed || 15 tries, 14390810 fired transitions, 1315 secs || 26061860 markings, 42294885 edges, 20818 markings/sec, 1315 secs
lola: STP completed || 15 tries, 14446691 fired transitions, 1320 secs || 26166975 markings, 42472683 edges, 21023 markings/sec, 1320 secs
lola: STP completed || 15 tries, 14503149 fired transitions, 1325 secs || 26270701 markings, 42640731 edges, 20745 markings/sec, 1325 secs
lola: STP completed || 15 tries, 14559355 fired transitions, 1330 secs || 26367454 markings, 42786829 edges, 19351 markings/sec, 1330 secs
lola: STP completed || 15 tries, 14614935 fired transitions, 1335 secs || 26465655 markings, 42940682 edges, 19640 markings/sec, 1335 secs
lola: STP completed || 15 tries, 14670899 fired transitions, 1340 secs || 26563828 markings, 43092408 edges, 19635 markings/sec, 1340 secs
lola: STP completed || 15 tries, 14726766 fired transitions, 1345 secs || 26660794 markings, 43242677 edges, 19393 markings/sec, 1345 secs
lola: STP completed || 15 tries, 14783151 fired transitions, 1350 secs || 26759408 markings, 43398915 edges, 19723 markings/sec, 1350 secs
lola: STP completed || 15 tries, 14839523 fired transitions, 1355 secs || 26858423 markings, 43557096 edges, 19803 markings/sec, 1355 secs
lola: STP completed || 15 tries, 14895258 fired transitions, 1360 secs || 26955975 markings, 43709475 edges, 19510 markings/sec, 1360 secs
lola: STP completed || 15 tries, 14950901 fired transitions, 1365 secs || 27050212 markings, 43850109 edges, 18847 markings/sec, 1365 secs
lola: STP completed || 16 tries, 15005830 fired transitions, 1370 secs || 27148945 markings, 44006065 edges, 19747 markings/sec, 1370 secs
lola: STP completed || 16 tries, 15062090 fired transitions, 1375 secs || 27248171 markings, 44164338 edges, 19845 markings/sec, 1375 secs
lola: STP completed || 16 tries, 15117616 fired transitions, 1380 secs || 27352592 markings, 44335546 edges, 20884 markings/sec, 1380 secs
lola: STP completed || 16 tries, 15172934 fired transitions, 1385 secs || 27458809 markings, 44513538 edges, 21243 markings/sec, 1385 secs
lola: STP completed || 16 tries, 15228637 fired transitions, 1390 secs || 27563059 markings, 44684528 edges, 20850 markings/sec, 1390 secs
lola: STP completed || 16 tries, 15283944 fired transitions, 1395 secs || 27668684 markings, 44859549 edges, 21125 markings/sec, 1395 secs
lola: STP completed || 16 tries, 15339636 fired transitions, 1400 secs || 27776297 markings, 45046620 edges, 21523 markings/sec, 1400 secs
lola: STP completed || 16 tries, 15395111 fired transitions, 1405 secs || 27885796 markings, 45241013 edges, 21900 markings/sec, 1405 secs
lola: STP completed || 16 tries, 15450587 fired transitions, 1410 secs || 27994152 markings, 45429450 edges, 21671 markings/sec, 1410 secs
lola: STP completed || 16 tries, 15505870 fired transitions, 1415 secs || 28103531 markings, 45621381 edges, 21876 markings/sec, 1415 secs
lola: STP completed || 16 tries, 15561089 fired transitions, 1420 secs || 28210881 markings, 45804196 edges, 21470 markings/sec, 1420 secs
lola: STP completed || 16 tries, 15616489 fired transitions, 1425 secs || 28320530 markings, 45997595 edges, 21930 markings/sec, 1425 secs
lola: STP completed || 16 tries, 15671564 fired transitions, 1430 secs || 28430431 markings, 46192271 edges, 21980 markings/sec, 1430 secs
lola: STP completed || 16 tries, 15727068 fired transitions, 1435 secs || 28539083 markings, 46380013 edges, 21730 markings/sec, 1435 secs
lola: STP completed || 16 tries, 15782115 fired transitions, 1440 secs || 28642996 markings, 46551495 edges, 20783 markings/sec, 1440 secs
lola: STP completed || 16 tries, 15837782 fired transitions, 1445 secs || 28749116 markings, 46732991 edges, 21224 markings/sec, 1445 secs
lola: STP completed || 16 tries, 15892517 fired transitions, 1450 secs || 28853576 markings, 46903233 edges, 20892 markings/sec, 1450 secs
lola: STP completed || 16 tries, 15947490 fired transitions, 1455 secs || 28955042 markings, 47065500 edges, 20293 markings/sec, 1455 secs
lola: STP completed || 17 tries, 16002277 fired transitions, 1460 secs || 29060739 markings, 47240565 edges, 21139 markings/sec, 1460 secs
lola: STP completed || 17 tries, 16058092 fired transitions, 1465 secs || 29165416 markings, 47414111 edges, 20935 markings/sec, 1465 secs
lola: STP completed || 17 tries, 16114173 fired transitions, 1470 secs || 29270764 markings, 47589686 edges, 21070 markings/sec, 1470 secs
lola: STP completed || 17 tries, 16170388 fired transitions, 1475 secs || 29378856 markings, 47777543 edges, 21618 markings/sec, 1475 secs
lola: STP completed || 17 tries, 16226141 fired transitions, 1480 secs || 29487474 markings, 47968066 edges, 21724 markings/sec, 1480 secs
lola: STP completed || 17 tries, 16281747 fired transitions, 1485 secs || 29596327 markings, 48161253 edges, 21771 markings/sec, 1485 secs
lola: STP completed || 17 tries, 16336596 fired transitions, 1490 secs || 29703625 markings, 48344956 edges, 21460 markings/sec, 1490 secs
lola: STP completed || 17 tries, 16392236 fired transitions, 1495 secs || 29812571 markings, 48535219 edges, 21789 markings/sec, 1495 secs
lola: STP completed || 17 tries, 16445683 fired transitions, 1500 secs || 29919708 markings, 48721638 edges, 21427 markings/sec, 1500 secs
lola: STP completed || 17 tries, 16501175 fired transitions, 1505 secs || 30028488 markings, 48913280 edges, 21756 markings/sec, 1505 secs
lola: STP completed || 17 tries, 16557173 fired transitions, 1510 secs || 30136736 markings, 49103926 edges, 21650 markings/sec, 1510 secs
lola: STP completed || 17 tries, 16611915 fired transitions, 1515 secs || 30247497 markings, 49304646 edges, 22152 markings/sec, 1515 secs
lola: STP completed || 17 tries, 16667055 fired transitions, 1520 secs || 30357253 markings, 49500176 edges, 21951 markings/sec, 1520 secs
lola: STP completed || 17 tries, 16723002 fired transitions, 1525 secs || 30465895 markings, 49688317 edges, 21728 markings/sec, 1525 secs
lola: STP completed || 17 tries, 16778712 fired transitions, 1530 secs || 30563152 markings, 49837687 edges, 19451 markings/sec, 1530 secs
lola: STP completed || 17 tries, 16834353 fired transitions, 1535 secs || 30660212 markings, 49988888 edges, 19412 markings/sec, 1535 secs
lola: STP completed || 17 tries, 16889477 fired transitions, 1540 secs || 30761519 markings, 50150314 edges, 20261 markings/sec, 1540 secs
lola: STP completed || 17 tries, 16945086 fired transitions, 1545 secs || 30858446 markings, 50302377 edges, 19385 markings/sec, 1545 secs
lola: STP completed || 18 tries, 17001020 fired transitions, 1550 secs || 30957628 markings, 50463527 edges, 19836 markings/sec, 1550 secs
lola: STP completed || 18 tries, 17056432 fired transitions, 1555 secs || 31058815 markings, 50627933 edges, 20237 markings/sec, 1555 secs
lola: STP completed || 18 tries, 17112389 fired transitions, 1560 secs || 31157806 markings, 50787890 edges, 19798 markings/sec, 1560 secs
lola: STP completed || 18 tries, 17168544 fired transitions, 1565 secs || 31254208 markings, 50939015 edges, 19280 markings/sec, 1565 secs
lola: STP completed || 18 tries, 17223789 fired transitions, 1570 secs || 31351494 markings, 51095579 edges, 19457 markings/sec, 1570 secs
lola: STP completed || 18 tries, 17279547 fired transitions, 1575 secs || 31458364 markings, 51280431 edges, 21374 markings/sec, 1575 secs
lola: STP completed || 18 tries, 17333762 fired transitions, 1580 secs || 31560698 markings, 51448784 edges, 20467 markings/sec, 1580 secs
lola: STP completed || 18 tries, 17389486 fired transitions, 1585 secs || 31665576 markings, 51630091 edges, 20976 markings/sec, 1585 secs
lola: STP completed || 18 tries, 17444381 fired transitions, 1590 secs || 31774694 markings, 51822769 edges, 21824 markings/sec, 1590 secs
lola: STP completed || 18 tries, 17500599 fired transitions, 1595 secs || 31881227 markings, 52008855 edges, 21307 markings/sec, 1595 secs
lola: STP completed || 18 tries, 17556770 fired transitions, 1600 secs || 31988566 markings, 52195392 edges, 21468 markings/sec, 1600 secs
lola: STP completed || 18 tries, 17612202 fired transitions, 1605 secs || 32095571 markings, 52383133 edges, 21401 markings/sec, 1605 secs
lola: STP completed || 18 tries, 17668220 fired transitions, 1610 secs || 32204417 markings, 52574353 edges, 21769 markings/sec, 1610 secs
lola: STP completed || 18 tries, 17723378 fired transitions, 1615 secs || 32311904 markings, 52762436 edges, 21497 markings/sec, 1615 secs
lola: STP completed || 18 tries, 17779570 fired transitions, 1620 secs || 32418612 markings, 52946267 edges, 21342 markings/sec, 1620 secs
lola: STP completed || 18 tries, 17833150 fired transitions, 1625 secs || 32522711 markings, 53123804 edges, 20820 markings/sec, 1625 secs
lola: STP completed || 18 tries, 17887279 fired transitions, 1630 secs || 32629857 markings, 53310984 edges, 21429 markings/sec, 1630 secs
lola: STP completed || 18 tries, 17942425 fired transitions, 1635 secs || 32734462 markings, 53490046 edges, 20921 markings/sec, 1635 secs
lola: STP completed || 18 tries, 17997794 fired transitions, 1640 secs || 32834804 markings, 53654120 edges, 20068 markings/sec, 1640 secs
lola: STP completed || 19 tries, 18052178 fired transitions, 1645 secs || 32934101 markings, 53818890 edges, 19859 markings/sec, 1645 secs
lola: STP completed || 19 tries, 18108394 fired transitions, 1650 secs || 33036221 markings, 53984603 edges, 20424 markings/sec, 1650 secs
lola: STP completed || 19 tries, 18163573 fired transitions, 1655 secs || 33139640 markings, 54153932 edges, 20684 markings/sec, 1655 secs
lola: STP completed || 19 tries, 18218923 fired transitions, 1660 secs || 33243082 markings, 54325608 edges, 20688 markings/sec, 1660 secs
lola: STP completed || 19 tries, 18274569 fired transitions, 1665 secs || 33348764 markings, 54508816 edges, 21136 markings/sec, 1665 secs
lola: STP completed || 19 tries, 18330185 fired transitions, 1670 secs || 33456428 markings, 54695437 edges, 21533 markings/sec, 1670 secs
lola: STP completed || 19 tries, 18385823 fired transitions, 1675 secs || 33566876 markings, 54894489 edges, 22090 markings/sec, 1675 secs
lola: STP completed || 19 tries, 18439991 fired transitions, 1680 secs || 33675750 markings, 55088672 edges, 21775 markings/sec, 1680 secs
lola: STP completed || 19 tries, 18495233 fired transitions, 1685 secs || 33785201 markings, 55284397 edges, 21890 markings/sec, 1685 secs
lola: STP completed || 19 tries, 18550580 fired transitions, 1690 secs || 33889474 markings, 55463082 edges, 20855 markings/sec, 1690 secs
lola: STP completed || 19 tries, 18604643 fired transitions, 1695 secs || 34005457 markings, 55666307 edges, 23197 markings/sec, 1695 secs
lola: STP completed || 19 tries, 18656840 fired transitions, 1700 secs || 34113231 markings, 55860366 edges, 21555 markings/sec, 1700 secs
lola: STP completed || 19 tries, 18711609 fired transitions, 1705 secs || 34215929 markings, 56028221 edges, 20540 markings/sec, 1705 secs
lola: STP completed || 19 tries, 18765951 fired transitions, 1710 secs || 34321068 markings, 56203726 edges, 21028 markings/sec, 1710 secs
lola: STP completed || 19 tries, 18822123 fired transitions, 1715 secs || 34420004 markings, 56359671 edges, 19787 markings/sec, 1715 secs
lola: STP completed || 19 tries, 18872649 fired transitions, 1720 secs || 34527169 markings, 56543163 edges, 21433 markings/sec, 1720 secs
lola: STP completed || 19 tries, 18926220 fired transitions, 1725 secs || 34633088 markings, 56727673 edges, 21184 markings/sec, 1725 secs
lola: STP completed || 19 tries, 18981901 fired transitions, 1730 secs || 34739561 markings, 56907547 edges, 21295 markings/sec, 1730 secs
lola: STP completed || 20 tries, 19034881 fired transitions, 1735 secs || 34841021 markings, 57076325 edges, 20292 markings/sec, 1735 secs
lola: STP completed || 20 tries, 19090250 fired transitions, 1740 secs || 34937005 markings, 57229214 edges, 19197 markings/sec, 1740 secs
lola: STP completed || 20 tries, 19146896 fired transitions, 1745 secs || 35045417 markings, 57422268 edges, 21682 markings/sec, 1745 secs
lola: STP completed || 20 tries, 19201942 fired transitions, 1750 secs || 35154643 markings, 57619548 edges, 21845 markings/sec, 1750 secs
lola: STP completed || 20 tries, 19255514 fired transitions, 1755 secs || 35261101 markings, 57797133 edges, 21292 markings/sec, 1755 secs
lola: STP completed || 20 tries, 19314020 fired transitions, 1760 secs || 35374614 markings, 57984954 edges, 22703 markings/sec, 1760 secs
lola: STP completed || 20 tries, 19368162 fired transitions, 1765 secs || 35476944 markings, 58155130 edges, 20466 markings/sec, 1765 secs
lola: STP completed || 20 tries, 19422570 fired transitions, 1770 secs || 35584398 markings, 58336395 edges, 21491 markings/sec, 1770 secs
lola: STP completed || 20 tries, 19477121 fired transitions, 1775 secs || 35682999 markings, 58498504 edges, 19720 markings/sec, 1775 secs
lola: STP completed || 20 tries, 19532518 fired transitions, 1780 secs || 35781424 markings, 58657463 edges, 19685 markings/sec, 1780 secs
lola: STP completed || 20 tries, 19588121 fired transitions, 1785 secs || 35882122 markings, 58823264 edges, 20140 markings/sec, 1785 secs
lola: STP completed || 20 tries, 19643797 fired transitions, 1790 secs || 35980054 markings, 58989170 edges, 19586 markings/sec, 1790 secs
lola: STP completed || 20 tries, 19699526 fired transitions, 1795 secs || 36077645 markings, 59153065 edges, 19518 markings/sec, 1795 secs
lola: STP completed || 20 tries, 19755232 fired transitions, 1800 secs || 36174973 markings, 59314246 edges, 19466 markings/sec, 1800 secs
lola: STP completed || 20 tries, 19810792 fired transitions, 1805 secs || 36280597 markings, 59497040 edges, 21125 markings/sec, 1805 secs
lola: STP completed || 20 tries, 19867968 fired transitions, 1810 secs || 36383016 markings, 59664027 edges, 20484 markings/sec, 1810 secs
lola: STP completed || 20 tries, 19922567 fired transitions, 1815 secs || 36484699 markings, 59843434 edges, 20337 markings/sec, 1815 secs
lola: STP completed || 20 tries, 19978673 fired transitions, 1820 secs || 36588870 markings, 60026349 edges, 20834 markings/sec, 1820 secs
lola: STP completed || 21 tries, 20034099 fired transitions, 1825 secs || 36688697 markings, 60195207 edges, 19965 markings/sec, 1825 secs
lola: STP completed || 21 tries, 20088086 fired transitions, 1830 secs || 36790595 markings, 60365111 edges, 20380 markings/sec, 1830 secs
lola: STP completed || 21 tries, 20144701 fired transitions, 1835 secs || 36900826 markings, 60543482 edges, 22046 markings/sec, 1835 secs
lola: STP completed || 21 tries, 20203190 fired transitions, 1840 secs || 37012586 markings, 60724505 edges, 22352 markings/sec, 1840 secs
lola: STP completed || 21 tries, 20260204 fired transitions, 1845 secs || 37128007 markings, 60914291 edges, 23084 markings/sec, 1845 secs
lola: STP completed || 21 tries, 20318904 fired transitions, 1850 secs || 37243793 markings, 61111668 edges, 23157 markings/sec, 1850 secs
lola: STP completed || 21 tries, 20376910 fired transitions, 1855 secs || 37361234 markings, 61315559 edges, 23488 markings/sec, 1855 secs
lola: STP completed || 21 tries, 20435598 fired transitions, 1860 secs || 37476356 markings, 61513295 edges, 23024 markings/sec, 1860 secs
lola: STP completed || 21 tries, 20492567 fired transitions, 1865 secs || 37594270 markings, 61718867 edges, 23583 markings/sec, 1865 secs
lola: STP completed || 21 tries, 20551598 fired transitions, 1870 secs || 37711097 markings, 61919833 edges, 23365 markings/sec, 1870 secs
lola: STP completed || 21 tries, 20609229 fired transitions, 1875 secs || 37829221 markings, 62128922 edges, 23625 markings/sec, 1875 secs
lola: STP completed || 21 tries, 20667080 fired transitions, 1880 secs || 37947176 markings, 62335105 edges, 23591 markings/sec, 1880 secs
lola: STP completed || 21 tries, 20724585 fired transitions, 1885 secs || 38062571 markings, 62529326 edges, 23079 markings/sec, 1885 secs
lola: STP completed || 21 tries, 20781799 fired transitions, 1890 secs || 38169650 markings, 62692281 edges, 21416 markings/sec, 1890 secs
lola: STP completed || 21 tries, 20839702 fired transitions, 1895 secs || 38276106 markings, 62857145 edges, 21291 markings/sec, 1895 secs
lola: STP completed || 21 tries, 20898349 fired transitions, 1900 secs || 38388402 markings, 63040097 edges, 22459 markings/sec, 1900 secs
lola: STP completed || 21 tries, 20956407 fired transitions, 1905 secs || 38505685 markings, 63246786 edges, 23457 markings/sec, 1905 secs
lola: STP completed || 22 tries, 21015207 fired transitions, 1910 secs || 38614585 markings, 63430232 edges, 21780 markings/sec, 1910 secs
lola: STP completed || 22 tries, 21072244 fired transitions, 1915 secs || 38726813 markings, 63626705 edges, 22446 markings/sec, 1915 secs
lola: STP completed || 22 tries, 21129944 fired transitions, 1920 secs || 38841214 markings, 63829726 edges, 22880 markings/sec, 1920 secs
lola: STP completed || 22 tries, 21187518 fired transitions, 1925 secs || 38944796 markings, 63994456 edges, 20716 markings/sec, 1925 secs
lola: STP completed || 22 tries, 21239671 fired transitions, 1930 secs || 39037391 markings, 64140305 edges, 18519 markings/sec, 1930 secs
lola: STP completed || 22 tries, 21294436 fired transitions, 1935 secs || 39135542 markings, 64300646 edges, 19630 markings/sec, 1935 secs
lola: STP completed || 22 tries, 21351688 fired transitions, 1940 secs || 39242932 markings, 64471066 edges, 21478 markings/sec, 1940 secs
lola: STP completed || 22 tries, 21409298 fired transitions, 1945 secs || 39352687 markings, 64658724 edges, 21951 markings/sec, 1945 secs
lola: STP completed || 22 tries, 21463205 fired transitions, 1950 secs || 39448201 markings, 64818453 edges, 19103 markings/sec, 1950 secs
lola: STP completed || 22 tries, 21518691 fired transitions, 1955 secs || 39549330 markings, 64981040 edges, 20226 markings/sec, 1955 secs
lola: STP completed || 22 tries, 21575981 fired transitions, 1960 secs || 39652471 markings, 65147017 edges, 20628 markings/sec, 1960 secs
lola: STP completed || 22 tries, 21632455 fired transitions, 1965 secs || 39752114 markings, 65313407 edges, 19929 markings/sec, 1965 secs
lola: STP completed || 22 tries, 21689107 fired transitions, 1970 secs || 39846812 markings, 65468562 edges, 18940 markings/sec, 1970 secs
lola: STP completed || 22 tries, 21744366 fired transitions, 1975 secs || 39943671 markings, 65625016 edges, 19372 markings/sec, 1975 secs
lola: STP completed || 22 tries, 21798557 fired transitions, 1980 secs || 40040768 markings, 65787214 edges, 19419 markings/sec, 1980 secs
lola: STP completed || 22 tries, 21853315 fired transitions, 1985 secs || 40136564 markings, 65942109 edges, 19159 markings/sec, 1985 secs
lola: STP completed || 22 tries, 21908329 fired transitions, 1990 secs || 40231379 markings, 66090470 edges, 18963 markings/sec, 1990 secs
lola: STP completed || 22 tries, 21963276 fired transitions, 1995 secs || 40329219 markings, 66248681 edges, 19568 markings/sec, 1995 secs
lola: STP completed || 23 tries, 22016834 fired transitions, 2000 secs || 40423503 markings, 66402959 edges, 18857 markings/sec, 2000 secs
lola: STP completed || 23 tries, 22074069 fired transitions, 2005 secs || 40520512 markings, 66565627 edges, 19402 markings/sec, 2005 secs
lola: STP completed || 23 tries, 22129160 fired transitions, 2010 secs || 40625327 markings, 66751138 edges, 20963 markings/sec, 2010 secs
lola: STP completed || 23 tries, 22184081 fired transitions, 2015 secs || 40720258 markings, 66904452 edges, 18986 markings/sec, 2015 secs
lola: STP completed || 23 tries, 22240015 fired transitions, 2020 secs || 40826616 markings, 67081039 edges, 21272 markings/sec, 2020 secs
lola: STP completed || 23 tries, 22298234 fired transitions, 2025 secs || 40927392 markings, 67242913 edges, 20155 markings/sec, 2025 secs
lola: STP completed || 23 tries, 22352581 fired transitions, 2030 secs || 41024740 markings, 67408044 edges, 19470 markings/sec, 2030 secs
lola: STP completed || 23 tries, 22408410 fired transitions, 2035 secs || 41122645 markings, 67569444 edges, 19581 markings/sec, 2035 secs
lola: STP completed || 23 tries, 22463798 fired transitions, 2040 secs || 41225213 markings, 67736586 edges, 20514 markings/sec, 2040 secs
lola: STP completed || 23 tries, 22520898 fired transitions, 2045 secs || 41332932 markings, 67917247 edges, 21544 markings/sec, 2045 secs
lola: STP completed || 23 tries, 22577920 fired transitions, 2050 secs || 41437452 markings, 68085751 edges, 20904 markings/sec, 2050 secs
lola: STP completed || 23 tries, 22635633 fired transitions, 2055 secs || 41542013 markings, 68252400 edges, 20912 markings/sec, 2055 secs
lola: STP completed || 23 tries, 22692945 fired transitions, 2060 secs || 41650002 markings, 68433124 edges, 21598 markings/sec, 2060 secs
lola: STP completed || 23 tries, 22750745 fired transitions, 2065 secs || 41752366 markings, 68603737 edges, 20473 markings/sec, 2065 secs
lola: STP completed || 23 tries, 22808255 fired transitions, 2070 secs || 41853724 markings, 68763884 edges, 20272 markings/sec, 2070 secs
lola: STP completed || 23 tries, 22862866 fired transitions, 2075 secs || 41952959 markings, 68917593 edges, 19847 markings/sec, 2075 secs
lola: STP completed || 23 tries, 22921286 fired transitions, 2080 secs || 42053183 markings, 69073128 edges, 20045 markings/sec, 2080 secs
lola: STP completed || 23 tries, 22979580 fired transitions, 2085 secs || 42161498 markings, 69245079 edges, 21663 markings/sec, 2085 secs
lola: STP completed || 24 tries, 23037573 fired transitions, 2090 secs || 42274515 markings, 69432144 edges, 22603 markings/sec, 2090 secs
lola: STP completed || 24 tries, 23095512 fired transitions, 2095 secs || 42383188 markings, 69613995 edges, 21735 markings/sec, 2095 secs
lola: STP completed || 24 tries, 23152505 fired transitions, 2100 secs || 42474667 markings, 69767096 edges, 18296 markings/sec, 2100 secs
lola: STP completed || 24 tries, 23207820 fired transitions, 2105 secs || 42568600 markings, 69921777 edges, 18787 markings/sec, 2105 secs
lola: STP completed || 24 tries, 23262673 fired transitions, 2110 secs || 42665180 markings, 70079204 edges, 19316 markings/sec, 2110 secs
lola: STP completed || 24 tries, 23318339 fired transitions, 2115 secs || 42764639 markings, 70246618 edges, 19892 markings/sec, 2115 secs
lola: STP completed || 24 tries, 23373389 fired transitions, 2120 secs || 42865272 markings, 70418619 edges, 20127 markings/sec, 2120 secs
lola: STP completed || 24 tries, 23428127 fired transitions, 2125 secs || 42964133 markings, 70584890 edges, 19772 markings/sec, 2125 secs
lola: STP completed || 24 tries, 23483444 fired transitions, 2130 secs || 43062457 markings, 70748806 edges, 19665 markings/sec, 2130 secs
lola: STP completed || 24 tries, 23540024 fired transitions, 2135 secs || 43161321 markings, 70909434 edges, 19773 markings/sec, 2135 secs
lola: STP completed || 24 tries, 23594950 fired transitions, 2140 secs || 43268592 markings, 71101286 edges, 21454 markings/sec, 2140 secs
lola: STP completed || 24 tries, 23650202 fired transitions, 2145 secs || 43375288 markings, 71287447 edges, 21339 markings/sec, 2145 secs
lola: STP completed || 24 tries, 23705330 fired transitions, 2150 secs || 43486302 markings, 71483945 edges, 22203 markings/sec, 2150 secs
lola: STP completed || 24 tries, 23759264 fired transitions, 2155 secs || 43588624 markings, 71660936 edges, 20464 markings/sec, 2155 secs
lola: STP completed || 24 tries, 23814289 fired transitions, 2160 secs || 43691828 markings, 71824891 edges, 20641 markings/sec, 2160 secs
lola: STP completed || 24 tries, 23869204 fired transitions, 2165 secs || 43788659 markings, 71970781 edges, 19366 markings/sec, 2165 secs
lola: STP completed || 24 tries, 23924189 fired transitions, 2170 secs || 43886109 markings, 72123606 edges, 19490 markings/sec, 2170 secs
lola: STP completed || 24 tries, 23978673 fired transitions, 2175 secs || 43983442 markings, 72272571 edges, 19467 markings/sec, 2175 secs
lola: STP completed || 25 tries, 24032999 fired transitions, 2180 secs || 44078107 markings, 72412626 edges, 18933 markings/sec, 2180 secs
lola: STP completed || 25 tries, 24088271 fired transitions, 2185 secs || 44175387 markings, 72564825 edges, 19456 markings/sec, 2185 secs
lola: STP completed || 25 tries, 24142020 fired transitions, 2190 secs || 44275683 markings, 72721290 edges, 20059 markings/sec, 2190 secs
lola: STP completed || 25 tries, 24199317 fired transitions, 2195 secs || 44371477 markings, 72871346 edges, 19159 markings/sec, 2195 secs
lola: STP completed || 25 tries, 24255933 fired transitions, 2200 secs || 44470317 markings, 73031085 edges, 19768 markings/sec, 2200 secs
lola: STP completed || 25 tries, 24313570 fired transitions, 2205 secs || 44573168 markings, 73193248 edges, 20570 markings/sec, 2205 secs
lola: STP completed || 25 tries, 24370633 fired transitions, 2210 secs || 44678678 markings, 73356977 edges, 21102 markings/sec, 2210 secs
lola: STP completed || 25 tries, 24429367 fired transitions, 2215 secs || 44788112 markings, 73534293 edges, 21887 markings/sec, 2215 secs
lola: STP completed || 25 tries, 24487855 fired transitions, 2220 secs || 44904794 markings, 73739084 edges, 23336 markings/sec, 2220 secs
lola: STP completed || 25 tries, 24546404 fired transitions, 2225 secs || 45019807 markings, 73937562 edges, 23003 markings/sec, 2225 secs
lola: STP completed || 25 tries, 24604768 fired transitions, 2230 secs || 45130450 markings, 74140268 edges, 22129 markings/sec, 2230 secs
lola: STP completed || 25 tries, 24663615 fired transitions, 2235 secs || 45245692 markings, 74337412 edges, 23048 markings/sec, 2235 secs
lola: STP completed || 25 tries, 24721162 fired transitions, 2240 secs || 45350576 markings, 74517069 edges, 20977 markings/sec, 2240 secs
lola: STP completed || 25 tries, 24776167 fired transitions, 2245 secs || 45449003 markings, 74677521 edges, 19685 markings/sec, 2245 secs
lola: STP completed || 25 tries, 24832656 fired transitions, 2250 secs || 45555162 markings, 74858826 edges, 21232 markings/sec, 2250 secs
lola: STP completed || 25 tries, 24888577 fired transitions, 2255 secs || 45664010 markings, 75036174 edges, 21770 markings/sec, 2255 secs
lola: STP completed || 25 tries, 24945451 fired transitions, 2260 secs || 45775984 markings, 75225045 edges, 22395 markings/sec, 2260 secs
lola: STP completed || 26 tries, 25000750 fired transitions, 2265 secs || 45872151 markings, 75378439 edges, 19233 markings/sec, 2265 secs
lola: STP completed || 26 tries, 25055308 fired transitions, 2270 secs || 45969582 markings, 75537895 edges, 19486 markings/sec, 2270 secs
lola: STP completed || 26 tries, 25103915 fired transitions, 2275 secs || 46073187 markings, 75709434 edges, 20721 markings/sec, 2275 secs
lola: STP completed || 26 tries, 25159777 fired transitions, 2280 secs || 46177397 markings, 75884364 edges, 20842 markings/sec, 2280 secs
lola: STP completed || 26 tries, 25215716 fired transitions, 2285 secs || 46281847 markings, 76061493 edges, 20890 markings/sec, 2285 secs
lola: STP completed || 26 tries, 25271702 fired transitions, 2290 secs || 46386405 markings, 76242216 edges, 20912 markings/sec, 2290 secs
lola: STP completed || 26 tries, 25327940 fired transitions, 2295 secs || 46486710 markings, 76416791 edges, 20061 markings/sec, 2295 secs
lola: STP completed || 26 tries, 25384557 fired transitions, 2300 secs || 46592647 markings, 76604688 edges, 21187 markings/sec, 2300 secs
lola: STP completed || 26 tries, 25440868 fired transitions, 2305 secs || 46691482 markings, 76779791 edges, 19767 markings/sec, 2305 secs
lola: STP completed || 26 tries, 25494649 fired transitions, 2310 secs || 46802547 markings, 76972697 edges, 22213 markings/sec, 2310 secs
lola: STP completed || 26 tries, 25552312 fired transitions, 2315 secs || 46918406 markings, 77175868 edges, 23172 markings/sec, 2315 secs
lola: STP completed || 26 tries, 25610100 fired transitions, 2320 secs || 47027957 markings, 77357515 edges, 21910 markings/sec, 2320 secs
lola: STP completed || 26 tries, 25668433 fired transitions, 2325 secs || 47137864 markings, 77544657 edges, 21981 markings/sec, 2325 secs
lola: STP completed || 26 tries, 25726117 fired transitions, 2330 secs || 47246660 markings, 77725821 edges, 21759 markings/sec, 2330 secs
lola: STP completed || 26 tries, 25784193 fired transitions, 2335 secs || 47354694 markings, 77902207 edges, 21607 markings/sec, 2335 secs
lola: STP completed || 26 tries, 25838616 fired transitions, 2340 secs || 47460224 markings, 78076747 edges, 21106 markings/sec, 2340 secs
lola: STP completed || 26 tries, 25893849 fired transitions, 2345 secs || 47559324 markings, 78250930 edges, 19820 markings/sec, 2345 secs
lola: STP completed || 26 tries, 25949948 fired transitions, 2350 secs || 47670903 markings, 78457995 edges, 22316 markings/sec, 2350 secs
lola: STP completed || 27 tries, 26006065 fired transitions, 2355 secs || 47770744 markings, 78630438 edges, 19968 markings/sec, 2355 secs
lola: STP completed || 27 tries, 26059042 fired transitions, 2360 secs || 47875025 markings, 78819077 edges, 20856 markings/sec, 2360 secs
lola: STP completed || 27 tries, 26116158 fired transitions, 2365 secs || 47988016 markings, 79010630 edges, 22598 markings/sec, 2365 secs
lola: STP completed || 27 tries, 26173397 fired transitions, 2370 secs || 48099782 markings, 79206260 edges, 22353 markings/sec, 2370 secs
lola: STP completed || 27 tries, 26231527 fired transitions, 2375 secs || 48208757 markings, 79390534 edges, 21795 markings/sec, 2375 secs
lola: STP completed || 27 tries, 26289470 fired transitions, 2380 secs || 48314616 markings, 79561862 edges, 21172 markings/sec, 2380 secs
lola: STP completed || 27 tries, 26347914 fired transitions, 2385 secs || 48420880 markings, 79732054 edges, 21253 markings/sec, 2385 secs
lola: STP completed || 27 tries, 26405703 fired transitions, 2390 secs || 48521676 markings, 79898420 edges, 20159 markings/sec, 2390 secs
lola: STP completed || 27 tries, 26459161 fired transitions, 2395 secs || 48614895 markings, 80053839 edges, 18644 markings/sec, 2395 secs
lola: STP completed || 27 tries, 26515088 fired transitions, 2400 secs || 48715828 markings, 80223467 edges, 20187 markings/sec, 2400 secs
lola: STP completed || 27 tries, 26570227 fired transitions, 2405 secs || 48813283 markings, 80383514 edges, 19491 markings/sec, 2405 secs
lola: STP completed || 27 tries, 26625429 fired transitions, 2410 secs || 48913917 markings, 80555508 edges, 20127 markings/sec, 2410 secs
lola: STP completed || 27 tries, 26681924 fired transitions, 2415 secs || 49025562 markings, 80750402 edges, 22329 markings/sec, 2415 secs
lola: STP completed || 27 tries, 26738582 fired transitions, 2420 secs || 49128309 markings, 80916802 edges, 20549 markings/sec, 2420 secs
lola: STP completed || 27 tries, 26796843 fired transitions, 2425 secs || 49233140 markings, 81087955 edges, 20966 markings/sec, 2425 secs
lola: STP completed || 27 tries, 26855910 fired transitions, 2430 secs || 49339691 markings, 81265150 edges, 21310 markings/sec, 2430 secs
lola: STP completed || 27 tries, 26913118 fired transitions, 2435 secs || 49452894 markings, 81448305 edges, 22641 markings/sec, 2435 secs
lola: STP completed || 27 tries, 26971418 fired transitions, 2440 secs || 49567570 markings, 81635455 edges, 22935 markings/sec, 2440 secs
lola: STP completed || 28 tries, 27030013 fired transitions, 2445 secs || 49681547 markings, 81820662 edges, 22795 markings/sec, 2445 secs
lola: STP completed || 28 tries, 27087814 fired transitions, 2450 secs || 49795532 markings, 82006643 edges, 22797 markings/sec, 2450 secs
lola: STP completed || 28 tries, 27144879 fired transitions, 2455 secs || 49905156 markings, 82193861 edges, 21925 markings/sec, 2455 secs
lola: STP completed || 28 tries, 27202289 fired transitions, 2460 secs || 50020571 markings, 82388044 edges, 23083 markings/sec, 2460 secs
lola: STP completed || 28 tries, 27259787 fired transitions, 2465 secs || 50139555 markings, 82594332 edges, 23797 markings/sec, 2465 secs
lola: STP completed || 28 tries, 27318091 fired transitions, 2470 secs || 50257466 markings, 82796441 edges, 23582 markings/sec, 2470 secs
lola: STP completed || 28 tries, 27376241 fired transitions, 2475 secs || 50364475 markings, 82957425 edges, 21402 markings/sec, 2475 secs
lola: STP completed || 28 tries, 27433738 fired transitions, 2480 secs || 50471943 markings, 83126595 edges, 21494 markings/sec, 2480 secs
lola: STP completed || 28 tries, 27489345 fired transitions, 2485 secs || 50582667 markings, 83306800 edges, 22145 markings/sec, 2485 secs
lola: STP completed || 28 tries, 27542009 fired transitions, 2490 secs || 50687778 markings, 83470473 edges, 21022 markings/sec, 2490 secs
lola: STP completed || 28 tries, 27599081 fired transitions, 2495 secs || 50794565 markings, 83638237 edges, 21357 markings/sec, 2495 secs
lola: STP completed || 28 tries, 27656058 fired transitions, 2500 secs || 50907547 markings, 83820968 edges, 22596 markings/sec, 2500 secs
lola: STP completed || 28 tries, 27713985 fired transitions, 2505 secs || 51023520 markings, 84015556 edges, 23195 markings/sec, 2505 secs
lola: STP completed || 28 tries, 27771532 fired transitions, 2510 secs || 51138106 markings, 84203744 edges, 22917 markings/sec, 2510 secs
lola: STP completed || 28 tries, 27828385 fired transitions, 2515 secs || 51255467 markings, 84405441 edges, 23472 markings/sec, 2515 secs
lola: STP completed || 28 tries, 27886764 fired transitions, 2520 secs || 51375663 markings, 84616807 edges, 24039 markings/sec, 2520 secs
lola: STP completed || 28 tries, 27944697 fired transitions, 2525 secs || 51490817 markings, 84809823 edges, 23031 markings/sec, 2525 secs
lola: STP completed || 29 tries, 28002032 fired transitions, 2530 secs || 51605995 markings, 85007260 edges, 23036 markings/sec, 2530 secs
lola: STP completed || 29 tries, 28060700 fired transitions, 2535 secs || 51720485 markings, 85205627 edges, 22898 markings/sec, 2535 secs
lola: STP completed || 29 tries, 28118294 fired transitions, 2540 secs || 51832902 markings, 85401845 edges, 22483 markings/sec, 2540 secs
lola: STP completed || 29 tries, 28175922 fired transitions, 2545 secs || 51946241 markings, 85596820 edges, 22668 markings/sec, 2545 secs
lola: STP completed || 29 tries, 28234189 fired transitions, 2550 secs || 52058682 markings, 85788443 edges, 22488 markings/sec, 2550 secs
lola: STP completed || 29 tries, 28292302 fired transitions, 2555 secs || 52169844 markings, 85973099 edges, 22232 markings/sec, 2555 secs
lola: STP completed || 29 tries, 28349487 fired transitions, 2560 secs || 52281516 markings, 86160736 edges, 22334 markings/sec, 2560 secs
lola: STP completed || 29 tries, 28406072 fired transitions, 2565 secs || 52391458 markings, 86347672 edges, 21988 markings/sec, 2565 secs
lola: STP completed || 29 tries, 28463060 fired transitions, 2570 secs || 52500669 markings, 86532966 edges, 21842 markings/sec, 2570 secs
lola: STP completed || 29 tries, 28520514 fired transitions, 2575 secs || 52610870 markings, 86723433 edges, 22040 markings/sec, 2575 secs
lola: STP completed || 29 tries, 28579308 fired transitions, 2580 secs || 52724034 markings, 86922075 edges, 22633 markings/sec, 2580 secs
lola: STP completed || 29 tries, 28635634 fired transitions, 2585 secs || 52825032 markings, 87093938 edges, 20200 markings/sec, 2585 secs
lola: STP completed || 29 tries, 28692327 fired transitions, 2590 secs || 52928793 markings, 87277770 edges, 20752 markings/sec, 2590 secs
lola: STP completed || 29 tries, 28749363 fired transitions, 2595 secs || 53035641 markings, 87467300 edges, 21370 markings/sec, 2595 secs
lola: STP completed || 29 tries, 28806312 fired transitions, 2600 secs || 53140016 markings, 87652244 edges, 20875 markings/sec, 2600 secs
lola: STP completed || 29 tries, 28859837 fired transitions, 2605 secs || 53252167 markings, 87851533 edges, 22430 markings/sec, 2605 secs
lola: STP completed || 29 tries, 28917557 fired transitions, 2610 secs || 53367885 markings, 88054345 edges, 23144 markings/sec, 2610 secs
lola: STP completed || 29 tries, 28975680 fired transitions, 2615 secs || 53486743 markings, 88269143 edges, 23772 markings/sec, 2615 secs
lola: STP completed || 30 tries, 29033130 fired transitions, 2620 secs || 53603326 markings, 88477671 edges, 23317 markings/sec, 2620 secs
lola: STP completed || 30 tries, 29091781 fired transitions, 2625 secs || 53717789 markings, 88677880 edges, 22893 markings/sec, 2625 secs
lola: STP completed || 30 tries, 29146910 fired transitions, 2630 secs || 53831666 markings, 88878312 edges, 22775 markings/sec, 2630 secs
lola: STP completed || 30 tries, 29205231 fired transitions, 2635 secs || 53951292 markings, 89096287 edges, 23925 markings/sec, 2635 secs
lola: STP completed || 30 tries, 29263210 fired transitions, 2640 secs || 54063981 markings, 89281954 edges, 22538 markings/sec, 2640 secs
lola: STP completed || 30 tries, 29320482 fired transitions, 2645 secs || 54176033 markings, 89474555 edges, 22410 markings/sec, 2645 secs
lola: STP completed || 30 tries, 29379919 fired transitions, 2650 secs || 54296914 markings, 89688936 edges, 24176 markings/sec, 2650 secs
lola: STP completed || 30 tries, 29437234 fired transitions, 2655 secs || 54414888 markings, 89901470 edges, 23595 markings/sec, 2655 secs
lola: STP completed || 30 tries, 29495300 fired transitions, 2660 secs || 54532789 markings, 90112868 edges, 23580 markings/sec, 2660 secs
lola: STP completed || 30 tries, 29553791 fired transitions, 2665 secs || 54647432 markings, 90318131 edges, 22929 markings/sec, 2665 secs
lola: STP completed || 30 tries, 29612456 fired transitions, 2670 secs || 54759395 markings, 90508320 edges, 22393 markings/sec, 2670 secs
lola: STP completed || 30 tries, 29670193 fired transitions, 2675 secs || 54871606 markings, 90700563 edges, 22442 markings/sec, 2675 secs
lola: STP completed || 30 tries, 29727298 fired transitions, 2680 secs || 54981407 markings, 90889497 edges, 21960 markings/sec, 2680 secs
lola: STP completed || 30 tries, 29786108 fired transitions, 2685 secs || 55091529 markings, 91080171 edges, 22024 markings/sec, 2685 secs
lola: STP completed || 30 tries, 29844023 fired transitions, 2690 secs || 55204931 markings, 91266920 edges, 22680 markings/sec, 2690 secs
lola: STP completed || 30 tries, 29901373 fired transitions, 2695 secs || 55306187 markings, 91436660 edges, 20251 markings/sec, 2695 secs
lola: STP completed || 30 tries, 29959832 fired transitions, 2700 secs || 55412902 markings, 91619683 edges, 21343 markings/sec, 2700 secs
lola: STP completed || 31 tries, 30017631 fired transitions, 2705 secs || 55527745 markings, 91806859 edges, 22969 markings/sec, 2705 secs
lola: STP completed || 31 tries, 30075339 fired transitions, 2710 secs || 55644276 markings, 92007885 edges, 23306 markings/sec, 2710 secs
lola: STP completed || 31 tries, 30132947 fired transitions, 2715 secs || 55761084 markings, 92209601 edges, 23362 markings/sec, 2715 secs
lola: STP completed || 31 tries, 30190368 fired transitions, 2720 secs || 55879497 markings, 92414950 edges, 23683 markings/sec, 2720 secs
lola: STP completed || 31 tries, 30248674 fired transitions, 2725 secs || 55996206 markings, 92614889 edges, 23342 markings/sec, 2725 secs
lola: STP completed || 31 tries, 30306999 fired transitions, 2730 secs || 56114876 markings, 92822601 edges, 23734 markings/sec, 2730 secs
lola: STP completed || 31 tries, 30365058 fired transitions, 2735 secs || 56232672 markings, 93026324 edges, 23559 markings/sec, 2735 secs
lola: STP completed || 31 tries, 30424666 fired transitions, 2740 secs || 56339276 markings, 93187757 edges, 21321 markings/sec, 2740 secs
lola: STP completed || 31 tries, 30481241 fired transitions, 2745 secs || 56447491 markings, 93358577 edges, 21643 markings/sec, 2745 secs
lola: STP completed || 31 tries, 30538268 fired transitions, 2750 secs || 56561602 markings, 93548868 edges, 22822 markings/sec, 2750 secs
lola: STP completed || 31 tries, 30595638 fired transitions, 2755 secs || 56664463 markings, 93721649 edges, 20572 markings/sec, 2755 secs
lola: STP completed || 31 tries, 30654688 fired transitions, 2760 secs || 56764563 markings, 93879880 edges, 20020 markings/sec, 2760 secs
lola: STP completed || 31 tries, 30713166 fired transitions, 2765 secs || 56868737 markings, 94040929 edges, 20835 markings/sec, 2765 secs
lola: STP completed || 31 tries, 30770385 fired transitions, 2770 secs || 56976773 markings, 94223164 edges, 21607 markings/sec, 2770 secs
lola: STP completed || 31 tries, 30826805 fired transitions, 2775 secs || 57091791 markings, 94429538 edges, 23004 markings/sec, 2775 secs
lola: STP completed || 31 tries, 30883253 fired transitions, 2780 secs || 57204336 markings, 94619908 edges, 22509 markings/sec, 2780 secs
lola: STP completed || 31 tries, 30938492 fired transitions, 2785 secs || 57316167 markings, 94820407 edges, 22366 markings/sec, 2785 secs
lola: STP completed || 31 tries, 30991272 fired transitions, 2790 secs || 57416450 markings, 94986589 edges, 20057 markings/sec, 2790 secs
lola: STP completed || 32 tries, 31047028 fired transitions, 2795 secs || 57516137 markings, 95156083 edges, 19937 markings/sec, 2795 secs
lola: STP completed || 32 tries, 31101413 fired transitions, 2800 secs || 57614129 markings, 95323213 edges, 19598 markings/sec, 2800 secs
lola: STP completed || 32 tries, 31156994 fired transitions, 2805 secs || 57716673 markings, 95501914 edges, 20509 markings/sec, 2805 secs
lola: STP completed || 32 tries, 31212234 fired transitions, 2810 secs || 57821911 markings, 95681892 edges, 21048 markings/sec, 2810 secs
lola: STP completed || 32 tries, 31267588 fired transitions, 2815 secs || 57926275 markings, 95858160 edges, 20873 markings/sec, 2815 secs
lola: STP completed || 32 tries, 31323703 fired transitions, 2820 secs || 58031339 markings, 96039955 edges, 21013 markings/sec, 2820 secs
lola: STP completed || 32 tries, 31378296 fired transitions, 2825 secs || 58132130 markings, 96206612 edges, 20158 markings/sec, 2825 secs
lola: STP completed || 32 tries, 31433888 fired transitions, 2830 secs || 58230646 markings, 96372567 edges, 19703 markings/sec, 2830 secs
lola: STP completed || 32 tries, 31489375 fired transitions, 2835 secs || 58330562 markings, 96542489 edges, 19983 markings/sec, 2835 secs
lola: STP completed || 32 tries, 31543855 fired transitions, 2840 secs || 58436079 markings, 96729791 edges, 21103 markings/sec, 2840 secs
lola: STP completed || 32 tries, 31599587 fired transitions, 2845 secs || 58543315 markings, 96920928 edges, 21447 markings/sec, 2845 secs
lola: STP completed || 32 tries, 31655182 fired transitions, 2850 secs || 58649921 markings, 97112128 edges, 21321 markings/sec, 2850 secs
lola: STP completed || 32 tries, 31710852 fired transitions, 2855 secs || 58757160 markings, 97299930 edges, 21448 markings/sec, 2855 secs
lola: STP completed || 32 tries, 31764743 fired transitions, 2860 secs || 58864729 markings, 97488375 edges, 21514 markings/sec, 2860 secs
lola: STP completed || 32 tries, 31821334 fired transitions, 2865 secs || 58980735 markings, 97697294 edges, 23201 markings/sec, 2865 secs
lola: STP completed || 32 tries, 31878379 fired transitions, 2870 secs || 59090669 markings, 97888884 edges, 21987 markings/sec, 2870 secs
lola: STP completed || 32 tries, 31934640 fired transitions, 2875 secs || 59199368 markings, 98074737 edges, 21740 markings/sec, 2875 secs
lola: STP completed || 32 tries, 31991230 fired transitions, 2880 secs || 59314283 markings, 98281080 edges, 22983 markings/sec, 2880 secs
lola: STP completed || 33 tries, 32047528 fired transitions, 2885 secs || 59422947 markings, 98467318 edges, 21733 markings/sec, 2885 secs
lola: STP completed || 33 tries, 32104481 fired transitions, 2890 secs || 59530917 markings, 98652028 edges, 21594 markings/sec, 2890 secs
lola: STP completed || 33 tries, 32161744 fired transitions, 2895 secs || 59642587 markings, 98846122 edges, 22334 markings/sec, 2895 secs
lola: STP completed || 33 tries, 32218312 fired transitions, 2900 secs || 59755694 markings, 99046920 edges, 22621 markings/sec, 2900 secs
lola: STP completed || 33 tries, 32275349 fired transitions, 2905 secs || 59864408 markings, 99234087 edges, 21743 markings/sec, 2905 secs
lola: STP completed || 33 tries, 32331892 fired transitions, 2910 secs || 59979197 markings, 99439432 edges, 22958 markings/sec, 2910 secs
lola: STP completed || 33 tries, 32388899 fired transitions, 2915 secs || 60087649 markings, 99624931 edges, 21690 markings/sec, 2915 secs
lola: STP completed || 33 tries, 32444369 fired transitions, 2920 secs || 60196498 markings, 99809678 edges, 21770 markings/sec, 2920 secs
lola: STP completed || 33 tries, 32500871 fired transitions, 2925 secs || 60307058 markings, 100005136 edges, 22112 markings/sec, 2925 secs
lola: STP completed || 33 tries, 32556602 fired transitions, 2930 secs || 60405775 markings, 100173083 edges, 19743 markings/sec, 2930 secs
lola: STP completed || 33 tries, 32610721 fired transitions, 2935 secs || 60504109 markings, 100333894 edges, 19667 markings/sec, 2935 secs
lola: STP completed || 33 tries, 32666141 fired transitions, 2940 secs || 60598915 markings, 100493443 edges, 18961 markings/sec, 2940 secs
lola: STP completed || 33 tries, 32721331 fired transitions, 2945 secs || 60704833 markings, 100672029 edges, 21184 markings/sec, 2945 secs
lola: STP completed || 33 tries, 32777195 fired transitions, 2950 secs || 60805284 markings, 100831089 edges, 20090 markings/sec, 2950 secs
lola: STP completed || 33 tries, 32833099 fired transitions, 2955 secs || 60911327 markings, 101007765 edges, 21209 markings/sec, 2955 secs
lola: STP completed || 33 tries, 32888379 fired transitions, 2960 secs || 61017324 markings, 101188177 edges, 21199 markings/sec, 2960 secs
lola: STP completed || 33 tries, 32943121 fired transitions, 2965 secs || 61118199 markings, 101350076 edges, 20175 markings/sec, 2965 secs
lola: STP completed || 33 tries, 32998422 fired transitions, 2970 secs || 61214440 markings, 101494682 edges, 19248 markings/sec, 2970 secs
lola: STP completed || 34 tries, 33053816 fired transitions, 2975 secs || 61311330 markings, 101645075 edges, 19378 markings/sec, 2975 secs
lola: STP completed || 34 tries, 33106764 fired transitions, 2980 secs || 61411339 markings, 101803139 edges, 20002 markings/sec, 2980 secs
lola: STP completed || 34 tries, 33160110 fired transitions, 2985 secs || 61513290 markings, 101967853 edges, 20390 markings/sec, 2985 secs
lola: STP completed || 34 tries, 33213540 fired transitions, 2990 secs || 61617592 markings, 102141381 edges, 20860 markings/sec, 2990 secs
lola: STP completed || 34 tries, 33266607 fired transitions, 2995 secs || 61723855 markings, 102321945 edges, 21253 markings/sec, 2995 secs
lola: STP completed || 34 tries, 33320620 fired transitions, 3000 secs || 61831341 markings, 102495934 edges, 21497 markings/sec, 3000 secs
lola: STP completed || 34 tries, 33375220 fired transitions, 3005 secs || 61928851 markings, 102647772 edges, 19502 markings/sec, 3005 secs
lola: STP completed || 34 tries, 33430534 fired transitions, 3010 secs || 62033769 markings, 102825131 edges, 20984 markings/sec, 3010 secs
lola: STP completed || 34 tries, 33481769 fired transitions, 3015 secs || 62140930 markings, 103013482 edges, 21432 markings/sec, 3015 secs
lola: STP completed || 34 tries, 33534969 fired transitions, 3020 secs || 62245727 markings, 103185999 edges, 20959 markings/sec, 3020 secs
lola: STP completed || 34 tries, 33588666 fired transitions, 3025 secs || 62347995 markings, 103362276 edges, 20454 markings/sec, 3025 secs
lola: STP completed || 34 tries, 33644590 fired transitions, 3030 secs || 62448308 markings, 103530933 edges, 20063 markings/sec, 3030 secs
lola: STP completed || 34 tries, 33700241 fired transitions, 3035 secs || 62548170 markings, 103703392 edges, 19972 markings/sec, 3035 secs
lola: STP completed || 34 tries, 33756473 fired transitions, 3040 secs || 62648608 markings, 103876242 edges, 20088 markings/sec, 3040 secs
lola: STP completed || 34 tries, 33811943 fired transitions, 3045 secs || 62746541 markings, 104036786 edges, 19587 markings/sec, 3045 secs
lola: STP completed || 34 tries, 33867263 fired transitions, 3050 secs || 62848447 markings, 104213150 edges, 20381 markings/sec, 3050 secs
lola: STP completed || 34 tries, 33922811 fired transitions, 3055 secs || 62953131 markings, 104392934 edges, 20937 markings/sec, 3055 secs
lola: STP completed || 34 tries, 33977693 fired transitions, 3060 secs || 63050105 markings, 104560818 edges, 19395 markings/sec, 3060 secs
lola: STP completed || 35 tries, 34032263 fired transitions, 3065 secs || 63153939 markings, 104741144 edges, 20767 markings/sec, 3065 secs
lola: STP completed || 35 tries, 34086735 fired transitions, 3070 secs || 63257689 markings, 104925416 edges, 20750 markings/sec, 3070 secs
lola: STP completed || 35 tries, 34141932 fired transitions, 3075 secs || 63363606 markings, 105118673 edges, 21183 markings/sec, 3075 secs
lola: STP completed || 35 tries, 34195816 fired transitions, 3080 secs || 63468634 markings, 105297384 edges, 21006 markings/sec, 3080 secs
lola: STP completed || 35 tries, 34252115 fired transitions, 3085 secs || 63574131 markings, 105473263 edges, 21099 markings/sec, 3085 secs
lola: STP completed || 35 tries, 34308924 fired transitions, 3090 secs || 63679441 markings, 105652344 edges, 21062 markings/sec, 3090 secs
lola: STP completed || 35 tries, 34365800 fired transitions, 3095 secs || 63783666 markings, 105822879 edges, 20845 markings/sec, 3095 secs
lola: STP completed || 35 tries, 34420968 fired transitions, 3100 secs || 63895283 markings, 106016037 edges, 22323 markings/sec, 3100 secs
lola: STP completed || 35 tries, 34477137 fired transitions, 3105 secs || 64010752 markings, 106220635 edges, 23094 markings/sec, 3105 secs
lola: STP completed || 35 tries, 34534478 fired transitions, 3110 secs || 64125182 markings, 106419156 edges, 22886 markings/sec, 3110 secs
lola: STP completed || 35 tries, 34591132 fired transitions, 3115 secs || 64238487 markings, 106615943 edges, 22661 markings/sec, 3115 secs
lola: STP completed || 35 tries, 34648818 fired transitions, 3120 secs || 64342732 markings, 106797320 edges, 20849 markings/sec, 3120 secs
lola: STP completed || 35 tries, 34705278 fired transitions, 3125 secs || 64458275 markings, 106998544 edges, 23109 markings/sec, 3125 secs
lola: STP completed || 35 tries, 34761359 fired transitions, 3130 secs || 64572991 markings, 107198779 edges, 22943 markings/sec, 3130 secs
lola: STP completed || 35 tries, 34817499 fired transitions, 3135 secs || 64676920 markings, 107366778 edges, 20786 markings/sec, 3135 secs
lola: STP completed || 35 tries, 34873408 fired transitions, 3140 secs || 64785700 markings, 107548413 edges, 21756 markings/sec, 3140 secs
lola: STP completed || 35 tries, 34930326 fired transitions, 3145 secs || 64900707 markings, 107751506 edges, 23001 markings/sec, 3145 secs
lola: STP completed || 35 tries, 34986756 fired transitions, 3150 secs || 65011149 markings, 107940004 edges, 22088 markings/sec, 3150 secs
lola: STP completed || 36 tries, 35043116 fired transitions, 3155 secs || 65120293 markings, 108124754 edges, 21829 markings/sec, 3155 secs
lola: STP completed || 36 tries, 35099851 fired transitions, 3160 secs || 65236057 markings, 108329938 edges, 23153 markings/sec, 3160 secs
lola: STP completed || 36 tries, 35156122 fired transitions, 3165 secs || 65351397 markings, 108535300 edges, 23068 markings/sec, 3165 secs
lola: STP completed || 36 tries, 35212323 fired transitions, 3170 secs || 65459330 markings, 108713244 edges, 21587 markings/sec, 3170 secs
lola: STP completed || 36 tries, 35269039 fired transitions, 3175 secs || 65565234 markings, 108891263 edges, 21181 markings/sec, 3175 secs
lola: STP completed || 36 tries, 35324869 fired transitions, 3180 secs || 65668823 markings, 109065743 edges, 20718 markings/sec, 3180 secs
lola: STP completed || 36 tries, 35381003 fired transitions, 3185 secs || 65780081 markings, 109262415 edges, 22252 markings/sec, 3185 secs
lola: STP completed || 36 tries, 35437429 fired transitions, 3190 secs || 65893049 markings, 109463574 edges, 22594 markings/sec, 3190 secs
lola: STP completed || 36 tries, 35493656 fired transitions, 3195 secs || 65999837 markings, 109646381 edges, 21358 markings/sec, 3195 secs
lola: STP completed || 36 tries, 35549773 fired transitions, 3200 secs || 66107348 markings, 109836327 edges, 21502 markings/sec, 3200 secs
lola: STP completed || 36 tries, 35605576 fired transitions, 3205 secs || 66217561 markings, 110027154 edges, 22043 markings/sec, 3205 secs
lola: STP completed || 36 tries, 35662046 fired transitions, 3210 secs || 66327123 markings, 110214191 edges, 21912 markings/sec, 3210 secs
lola: STP completed || 36 tries, 35718963 fired transitions, 3215 secs || 66443143 markings, 110422629 edges, 23204 markings/sec, 3215 secs
lola: STP completed || 36 tries, 35775628 fired transitions, 3220 secs || 66557448 markings, 110625720 edges, 22861 markings/sec, 3220 secs
lola: STP completed || 36 tries, 35832367 fired transitions, 3225 secs || 66673855 markings, 110837119 edges, 23281 markings/sec, 3225 secs
lola: STP completed || 36 tries, 35887278 fired transitions, 3230 secs || 66781690 markings, 111026075 edges, 21567 markings/sec, 3230 secs
lola: STP completed || 36 tries, 35943292 fired transitions, 3235 secs || 66887858 markings, 111210106 edges, 21234 markings/sec, 3235 secs
lola: STP completed || 36 tries, 35999834 fired transitions, 3240 secs || 66991457 markings, 111394698 edges, 20720 markings/sec, 3240 secs
lola: STP completed || 37 tries, 36055082 fired transitions, 3245 secs || 67102991 markings, 111592776 edges, 22307 markings/sec, 3245 secs
lola: STP completed || 37 tries, 36111928 fired transitions, 3250 secs || 67216614 markings, 111794296 edges, 22725 markings/sec, 3250 secs
lola: STP completed || 37 tries, 36168215 fired transitions, 3255 secs || 67328338 markings, 111991517 edges, 22345 markings/sec, 3255 secs
lola: STP completed || 37 tries, 36224542 fired transitions, 3260 secs || 67443628 markings, 112199264 edges, 23058 markings/sec, 3260 secs
lola: STP completed || 37 tries, 36282656 fired transitions, 3265 secs || 67556885 markings, 112398726 edges, 22651 markings/sec, 3265 secs
lola: STP completed || 37 tries, 36338577 fired transitions, 3270 secs || 67662091 markings, 112571881 edges, 21041 markings/sec, 3270 secs
lola: STP completed || 37 tries, 36395462 fired transitions, 3275 secs || 67768092 markings, 112755957 edges, 21200 markings/sec, 3275 secs
lola: STP completed || 37 tries, 36451931 fired transitions, 3280 secs || 67875069 markings, 112936947 edges, 21395 markings/sec, 3280 secs
lola: STP completed || 37 tries, 36507804 fired transitions, 3285 secs || 67988270 markings, 113139887 edges, 22640 markings/sec, 3285 secs
lola: STP completed || 37 tries, 36563722 fired transitions, 3290 secs || 68105591 markings, 113353623 edges, 23464 markings/sec, 3290 secs
lola: STP completed || 37 tries, 36618094 fired transitions, 3295 secs || 68216809 markings, 113554497 edges, 22244 markings/sec, 3295 secs
lola: STP completed || 37 tries, 36673569 fired transitions, 3300 secs || 68319660 markings, 113734946 edges, 20570 markings/sec, 3300 secs
lola: STP completed || 37 tries, 36724672 fired transitions, 3305 secs || 68422030 markings, 113914721 edges, 20474 markings/sec, 3305 secs
lola: STP completed || 37 tries, 36780297 fired transitions, 3310 secs || 68518303 markings, 114072572 edges, 19255 markings/sec, 3310 secs
lola: STP completed || 37 tries, 36835091 fired transitions, 3315 secs || 68618770 markings, 114247726 edges, 20093 markings/sec, 3315 secs
lola: STP completed || 37 tries, 36887355 fired transitions, 3320 secs || 68717257 markings, 114406332 edges, 19697 markings/sec, 3320 secs
lola: STP completed || 37 tries, 36938634 fired transitions, 3325 secs || 68817685 markings, 114578994 edges, 20086 markings/sec, 3325 secs
lola: STP completed || 37 tries, 36992272 fired transitions, 3330 secs || 68919106 markings, 114744442 edges, 20284 markings/sec, 3330 secs
lola: STP completed || 38 tries, 37045383 fired transitions, 3335 secs || 69018131 markings, 114910512 edges, 19805 markings/sec, 3335 secs
lola: STP completed || 38 tries, 37101286 fired transitions, 3340 secs || 69116652 markings, 115078259 edges, 19704 markings/sec, 3340 secs
lola: STP completed || 38 tries, 37155830 fired transitions, 3345 secs || 69216072 markings, 115247979 edges, 19884 markings/sec, 3345 secs
lola: STP completed || 38 tries, 37209474 fired transitions, 3350 secs || 69316896 markings, 115421051 edges, 20165 markings/sec, 3350 secs
lola: STP completed || 38 tries, 37263387 fired transitions, 3355 secs || 69416968 markings, 115583430 edges, 20014 markings/sec, 3355 secs
lola: STP completed || 38 tries, 37315459 fired transitions, 3360 secs || 69515765 markings, 115748297 edges, 19759 markings/sec, 3360 secs
lola: STP completed || 38 tries, 37368074 fired transitions, 3365 secs || 69612998 markings, 115914492 edges, 19447 markings/sec, 3365 secs
lola: STP completed || 38 tries, 37421959 fired transitions, 3370 secs || 69714925 markings, 116084460 edges, 20385 markings/sec, 3370 secs
lola: STP completed || 38 tries, 37478430 fired transitions, 3375 secs || 69824643 markings, 116273476 edges, 21944 markings/sec, 3375 secs
lola: STP completed || 38 tries, 37534530 fired transitions, 3380 secs || 69934303 markings, 116461971 edges, 21932 markings/sec, 3380 secs
lola: STP completed || 38 tries, 37591657 fired transitions, 3385 secs || 70045348 markings, 116653243 edges, 22209 markings/sec, 3385 secs
lola: STP completed || 38 tries, 37649051 fired transitions, 3390 secs || 70160013 markings, 116864438 edges, 22933 markings/sec, 3390 secs
lola: STP completed || 38 tries, 37704360 fired transitions, 3395 secs || 70269009 markings, 117044407 edges, 21799 markings/sec, 3395 secs
lola: STP completed || 38 tries, 37759743 fired transitions, 3400 secs || 70375779 markings, 117217098 edges, 21354 markings/sec, 3400 secs
lola: STP completed || 38 tries, 37816542 fired transitions, 3405 secs || 70485386 markings, 117402533 edges, 21921 markings/sec, 3405 secs
lola: STP completed || 38 tries, 37871312 fired transitions, 3410 secs || 70594723 markings, 117595414 edges, 21867 markings/sec, 3410 secs
lola: STP completed || 38 tries, 37922556 fired transitions, 3415 secs || 70696059 markings, 117762606 edges, 20267 markings/sec, 3415 secs
lola: STP completed || 38 tries, 37976886 fired transitions, 3420 secs || 70799227 markings, 117938323 edges, 20634 markings/sec, 3420 secs
lola: STP completed || 39 tries, 38031952 fired transitions, 3425 secs || 70903700 markings, 118122038 edges, 20895 markings/sec, 3425 secs
lola: STP completed || 39 tries, 38086797 fired transitions, 3430 secs || 71006691 markings, 118300249 edges, 20598 markings/sec, 3430 secs
lola: STP completed || 39 tries, 38142616 fired transitions, 3435 secs || 71108155 markings, 118480519 edges, 20293 markings/sec, 3435 secs
lola: STP completed || 39 tries, 38197972 fired transitions, 3440 secs || 71213451 markings, 118662704 edges, 21059 markings/sec, 3440 secs
lola: STP completed || 39 tries, 38253009 fired transitions, 3445 secs || 71317012 markings, 118838354 edges, 20712 markings/sec, 3445 secs
lola: STP completed || 39 tries, 38307859 fired transitions, 3450 secs || 71419093 markings, 119009597 edges, 20416 markings/sec, 3450 secs
lola: STP completed || 39 tries, 38363656 fired transitions, 3455 secs || 71524029 markings, 119195318 edges, 20987 markings/sec, 3455 secs
lola: STP completed || 39 tries, 38419012 fired transitions, 3460 secs || 71629161 markings, 119377949 edges, 21026 markings/sec, 3460 secs
lola: STP completed || 39 tries, 38474099 fired transitions, 3465 secs || 71735033 markings, 119549399 edges, 21174 markings/sec, 3465 secs
lola: STP completed || 39 tries, 38529697 fired transitions, 3470 secs || 71838454 markings, 119710461 edges, 20684 markings/sec, 3470 secs
lola: STP completed || 39 tries, 38585644 fired transitions, 3475 secs || 71939662 markings, 119863943 edges, 20242 markings/sec, 3475 secs
lola: STP completed || 39 tries, 38641857 fired transitions, 3480 secs || 72035472 markings, 120008700 edges, 19162 markings/sec, 3480 secs
lola: STP completed || 39 tries, 38697487 fired transitions, 3485 secs || 72127335 markings, 120151006 edges, 18373 markings/sec, 3485 secs
lola: STP completed || 39 tries, 38752902 fired transitions, 3490 secs || 72219809 markings, 120287992 edges, 18495 markings/sec, 3490 secs
lola: STP completed || 39 tries, 38809356 fired transitions, 3495 secs || 72316546 markings, 120435137 edges, 19347 markings/sec, 3495 secs
lola: STP completed || 39 tries, 38865338 fired transitions, 3500 secs || 72417011 markings, 120595087 edges, 20093 markings/sec, 3500 secs
lola: STP completed || 39 tries, 38921125 fired transitions, 3505 secs || 72516803 markings, 120748633 edges, 19958 markings/sec, 3505 secs
lola: STP completed || 39 tries, 38978402 fired transitions, 3510 secs || 72617087 markings, 120902503 edges, 20057 markings/sec, 3510 secs
lola: STP completed || 40 tries, 39034380 fired transitions, 3515 secs || 72718748 markings, 121064910 edges, 20332 markings/sec, 3515 secs
lola: STP completed || 40 tries, 39090155 fired transitions, 3520 secs || 72821199 markings, 121230146 edges, 20490 markings/sec, 3520 secs
lola: STP completed || 40 tries, 39146964 fired transitions, 3525 secs || 72923801 markings, 121395215 edges, 20520 markings/sec, 3525 secs
lola: STP completed || 40 tries, 39203006 fired transitions, 3530 secs || 73028263 markings, 121564792 edges, 20892 markings/sec, 3530 secs
lola: STP completed || 40 tries, 39258736 fired transitions, 3535 secs || 73136744 markings, 121745765 edges, 21696 markings/sec, 3535 secs
lola: STP completed || 40 tries, 39315082 fired transitions, 3540 secs || 73228929 markings, 121895646 edges, 18437 markings/sec, 3540 secs
lola: STP completed || 40 tries, 39371479 fired transitions, 3545 secs || 73333419 markings, 122066761 edges, 20898 markings/sec, 3545 secs
lola: STP completed || 40 tries, 39428633 fired transitions, 3550 secs || 73440612 markings, 122243136 edges, 21439 markings/sec, 3550 secs
lola: STP completed || 40 tries, 39485729 fired transitions, 3555 secs || 73549940 markings, 122429472 edges, 21866 markings/sec, 3555 secs
lola: STP completed || 40 tries, 39542093 fired transitions, 3560 secs || 73661845 markings, 122620158 edges, 22381 markings/sec, 3560 secs
lola: time limit reached - aborting
lola: memory consumption: 7967032 KB
lola: time consumption: 3570 seconds
BK_STOP 1526686545017
--------------------
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="FlexibleBarrier-PT-18a"
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/FlexibleBarrier-PT-18a.tgz
mv FlexibleBarrier-PT-18a 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 FlexibleBarrier-PT-18a, 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 r088-blw7-152649998200202"
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 ;