About the Execution of LoLA for Raft-PT-08
Execution Summary | |||||
Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
15902.580 | 3571181.00 | 7383736.00 | 6971.70 | [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 332K
-rw-r--r-- 1 mcc users 3.2K May 15 18:54 CTLCardinality.txt
-rw-r--r-- 1 mcc users 19K May 15 18:54 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.6K May 15 18:54 CTLFireability.txt
-rw-r--r-- 1 mcc users 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 5.8K May 15 18:50 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 2.1K May 15 18:54 LTLCardinality.txt
-rw-r--r-- 1 mcc users 8.9K May 15 18:54 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.8K May 15 18:54 LTLFireability.txt
-rw-r--r-- 1 mcc users 11K May 15 18:54 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.9K May 15 18:54 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 22K May 15 18:54 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 101 May 15 18:54 ReachabilityDeadlock.txt
-rw-r--r-- 1 mcc users 339 May 15 18:54 ReachabilityDeadlock.xml
-rw-r--r-- 1 mcc users 3.3K May 15 18:54 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 24K May 15 18:54 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.5K May 15 18:54 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.5K 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 3 May 15 18:50 instance
-rw-r--r-- 1 mcc users 6 May 15 18:50 iscolored
-rw-r--r-- 1 mcc users 156K May 15 18:50 model.pnml
=====================================================================
Generated by BenchKit 2-3637
Executing tool lola
Input is Raft-PT-08, examination is ReachabilityDeadlock
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r136-qhx2-152673578900153
=====================================================================
--------------------
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 Raft-PT-08-ReachabilityDeadlock-0
=== Now, execution of the tool begins
BK_START 1526954426647
info: Time: 3600 - MCC
===========================================================================================
prep: translating Raft-PT-08 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 Raft-PT-08 formula ReachabilityDeadlock into LoLA format
===========================================================================================
prep: translating PT formula complete
vrfy: Checking ReachabilityDeadlock @ Raft-PT-08 @ 3569 seconds
lola: LoLA will run for 3569 seconds at most (--timelimit)
lola: NET
lola: reading net from model.pnml.lola
lola: finished parsing
lola: closed net file model.pnml.lola
lola: 896/65536 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 328
lola: finding significant places
lola: 328 places, 568 transitions, 264 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 559 transition conflict sets
lola: TASK
lola: reading formula from Raft-PT-08-ReachabilityDeadlock.task
lola: E (F (DEADLOCK))
lola: rewrite Frontend/Parser/formula_rewrite.k:106
lola: checking reachability of deadlocks
lola: Planning: workflow for deadlock check: siphon||findpath||search) (--findpath=par,--siphontrap=par)
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using deadlock preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: SEARCH (findpath)
lola: findpath: using deadlock preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: findpath: starting randomized, memory-less exploration (--search=findpath)
lola: findpath: searching for paths with maximal depth 1000000 (--depthlimit)
lola: findpath: no retry limit given (--retrylimit)
lola: computing symmetries (--symmetry)
lola: time limit for symmetry computation of 300 seconds given (--symmtimelimit)
lola: findpath: transitions are chosen randomly
lola: computed 90 generators (8 in search tree, 82 by composition)
lola: representing 40320 symmetries
lola: 0 dead branches visited in search tree
lola: STP: formula with 10994 variables and 40003 clauses shipped to Minisat
lola: stp: The siphon/trap property does not hold
lola: STP completed || 1 tries, 78731 fired transitions, 0 secs || 70940 markings, 491756 edges, 14188 markings/sec, 0 secs
lola: STP completed || 1 tries, 156921 fired transitions, 5 secs || 143426 markings, 1003974 edges, 14497 markings/sec, 5 secs
lola: STP completed || 1 tries, 234418 fired transitions, 10 secs || 215063 markings, 1506774 edges, 14327 markings/sec, 10 secs
lola: STP completed || 1 tries, 314365 fired transitions, 15 secs || 289437 markings, 2027079 edges, 14875 markings/sec, 15 secs
lola: STP completed || 1 tries, 392961 fired transitions, 20 secs || 361578 markings, 2533033 edges, 14428 markings/sec, 20 secs
lola: STP completed || 1 tries, 472252 fired transitions, 25 secs || 435741 markings, 3056425 edges, 14833 markings/sec, 25 secs
lola: STP completed || 1 tries, 553102 fired transitions, 30 secs || 510577 markings, 3574509 edges, 14967 markings/sec, 30 secs
lola: STP completed || 1 tries, 637235 fired transitions, 35 secs || 586664 markings, 4122809 edges, 15217 markings/sec, 35 secs
lola: STP completed || 1 tries, 716245 fired transitions, 40 secs || 659441 markings, 4644980 edges, 14555 markings/sec, 40 secs
lola: STP completed || 1 tries, 795874 fired transitions, 45 secs || 733782 markings, 5171678 edges, 14868 markings/sec, 45 secs
lola: STP completed || 1 tries, 878563 fired transitions, 50 secs || 810053 markings, 5702396 edges, 15254 markings/sec, 50 secs
lola: STP completed || 1 tries, 958135 fired transitions, 55 secs || 882109 markings, 6210598 edges, 14411 markings/sec, 55 secs
lola: STP completed || 2 tries, 1038042 fired transitions, 60 secs || 954201 markings, 6720988 edges, 14418 markings/sec, 60 secs
lola: STP completed || 2 tries, 1117907 fired transitions, 65 secs || 1026439 markings, 7223495 edges, 14448 markings/sec, 65 secs
lola: STP completed || 2 tries, 1200533 fired transitions, 70 secs || 1101253 markings, 7753606 edges, 14963 markings/sec, 70 secs
lola: STP completed || 2 tries, 1284807 fired transitions, 75 secs || 1178887 markings, 8303676 edges, 15527 markings/sec, 75 secs
lola: STP completed || 2 tries, 1363688 fired transitions, 80 secs || 1252556 markings, 8821875 edges, 14734 markings/sec, 80 secs
lola: STP completed || 2 tries, 1442993 fired transitions, 85 secs || 1326167 markings, 9335910 edges, 14722 markings/sec, 85 secs
lola: STP completed || 2 tries, 1522270 fired transitions, 90 secs || 1399438 markings, 9848272 edges, 14654 markings/sec, 90 secs
lola: STP completed || 2 tries, 1602508 fired transitions, 95 secs || 1472547 markings, 10361218 edges, 14622 markings/sec, 95 secs
lola: STP completed || 2 tries, 1685252 fired transitions, 100 secs || 1548456 markings, 10892512 edges, 15182 markings/sec, 100 secs
lola: STP completed || 2 tries, 1767425 fired transitions, 105 secs || 1622371 markings, 11429134 edges, 14783 markings/sec, 105 secs
lola: STP completed || 2 tries, 1853790 fired transitions, 110 secs || 1700470 markings, 11992221 edges, 15620 markings/sec, 110 secs
lola: STP completed || 2 tries, 1935845 fired transitions, 115 secs || 1775529 markings, 12522360 edges, 15012 markings/sec, 115 secs
lola: STP completed || 3 tries, 2015724 fired transitions, 120 secs || 1848928 markings, 13032613 edges, 14680 markings/sec, 120 secs
lola: STP completed || 3 tries, 2099934 fired transitions, 125 secs || 1928598 markings, 13596658 edges, 15934 markings/sec, 125 secs
lola: STP completed || 3 tries, 2181257 fired transitions, 130 secs || 2005822 markings, 14099678 edges, 15445 markings/sec, 130 secs
lola: STP completed || 3 tries, 2263417 fired transitions, 135 secs || 2081344 markings, 14629078 edges, 15104 markings/sec, 135 secs
lola: STP completed || 3 tries, 2342336 fired transitions, 140 secs || 2154147 markings, 15156980 edges, 14561 markings/sec, 140 secs
lola: STP completed || 3 tries, 2427220 fired transitions, 145 secs || 2230749 markings, 15713016 edges, 15320 markings/sec, 145 secs
lola: STP completed || 3 tries, 2510635 fired transitions, 150 secs || 2306726 markings, 16257714 edges, 15195 markings/sec, 150 secs
lola: STP completed || 3 tries, 2596643 fired transitions, 155 secs || 2385840 markings, 16818788 edges, 15823 markings/sec, 155 secs
lola: STP completed || 3 tries, 2678745 fired transitions, 160 secs || 2462064 markings, 17354602 edges, 15245 markings/sec, 160 secs
lola: STP completed || 3 tries, 2762474 fired transitions, 165 secs || 2540502 markings, 17896914 edges, 15688 markings/sec, 165 secs
lola: STP completed || 3 tries, 2842060 fired transitions, 170 secs || 2613438 markings, 18413213 edges, 14587 markings/sec, 170 secs
lola: STP completed || 3 tries, 2920893 fired transitions, 175 secs || 2685836 markings, 18920387 edges, 14480 markings/sec, 175 secs
lola: STP completed || 4 tries, 3000072 fired transitions, 180 secs || 2759528 markings, 19432399 edges, 14738 markings/sec, 180 secs
lola: STP completed || 4 tries, 3079308 fired transitions, 185 secs || 2832403 markings, 19941688 edges, 14575 markings/sec, 185 secs
lola: STP completed || 4 tries, 3158977 fired transitions, 190 secs || 2905420 markings, 20446822 edges, 14603 markings/sec, 190 secs
lola: STP completed || 4 tries, 3237918 fired transitions, 195 secs || 2978460 markings, 20963989 edges, 14608 markings/sec, 195 secs
lola: STP completed || 4 tries, 3319484 fired transitions, 200 secs || 3053003 markings, 21483019 edges, 14909 markings/sec, 200 secs
lola: STP completed || 4 tries, 3398663 fired transitions, 205 secs || 3126470 markings, 22007965 edges, 14693 markings/sec, 205 secs
lola: STP completed || 4 tries, 3478106 fired transitions, 210 secs || 3201161 markings, 22537763 edges, 14938 markings/sec, 210 secs
lola: STP completed || 4 tries, 3565047 fired transitions, 215 secs || 3280753 markings, 23090341 edges, 15918 markings/sec, 215 secs
lola: STP completed || 4 tries, 3644008 fired transitions, 220 secs || 3354470 markings, 23586325 edges, 14743 markings/sec, 220 secs
lola: STP completed || 4 tries, 3723250 fired transitions, 225 secs || 3427546 markings, 24098046 edges, 14615 markings/sec, 225 secs
lola: STP completed || 4 tries, 3801665 fired transitions, 230 secs || 3500967 markings, 24585597 edges, 14684 markings/sec, 230 secs
lola: STP completed || 4 tries, 3881200 fired transitions, 235 secs || 3574895 markings, 25109536 edges, 14786 markings/sec, 235 secs
lola: STP completed || 4 tries, 3961668 fired transitions, 240 secs || 3647233 markings, 25641764 edges, 14468 markings/sec, 240 secs
lola: STP completed || 5 tries, 4040835 fired transitions, 245 secs || 3720972 markings, 26155673 edges, 14748 markings/sec, 245 secs
lola: STP completed || 5 tries, 4120569 fired transitions, 250 secs || 3795241 markings, 26695192 edges, 14854 markings/sec, 250 secs
lola: STP completed || 5 tries, 4200192 fired transitions, 255 secs || 3868189 markings, 27221747 edges, 14590 markings/sec, 255 secs
lola: STP completed || 5 tries, 4279744 fired transitions, 260 secs || 3940340 markings, 27743868 edges, 14430 markings/sec, 260 secs
lola: STP completed || 5 tries, 4359302 fired transitions, 265 secs || 4012356 markings, 28270462 edges, 14403 markings/sec, 265 secs
lola: STP completed || 5 tries, 4439085 fired transitions, 270 secs || 4085836 markings, 28811741 edges, 14696 markings/sec, 270 secs
lola: STP completed || 5 tries, 4518130 fired transitions, 275 secs || 4158874 markings, 29336514 edges, 14608 markings/sec, 275 secs
lola: STP completed || 5 tries, 4597511 fired transitions, 280 secs || 4232425 markings, 29863391 edges, 14710 markings/sec, 280 secs
lola: STP completed || 5 tries, 4677246 fired transitions, 285 secs || 4308581 markings, 30397718 edges, 15231 markings/sec, 285 secs
lola: STP completed || 5 tries, 4756633 fired transitions, 290 secs || 4382691 markings, 30932071 edges, 14822 markings/sec, 290 secs
lola: STP completed || 5 tries, 4836123 fired transitions, 295 secs || 4456755 markings, 31470517 edges, 14813 markings/sec, 295 secs
lola: STP completed || 5 tries, 4915956 fired transitions, 300 secs || 4530104 markings, 32001883 edges, 14670 markings/sec, 300 secs
lola: STP completed || 5 tries, 4995506 fired transitions, 305 secs || 4603744 markings, 32534714 edges, 14728 markings/sec, 305 secs
lola: STP completed || 6 tries, 5075319 fired transitions, 310 secs || 4679784 markings, 33078539 edges, 15208 markings/sec, 310 secs
lola: STP completed || 6 tries, 5154144 fired transitions, 315 secs || 4752864 markings, 33599933 edges, 14616 markings/sec, 315 secs
lola: STP completed || 6 tries, 5233588 fired transitions, 320 secs || 4827673 markings, 34131465 edges, 14962 markings/sec, 320 secs
lola: STP completed || 6 tries, 5313840 fired transitions, 325 secs || 4901602 markings, 34664383 edges, 14786 markings/sec, 325 secs
lola: STP completed || 6 tries, 5394165 fired transitions, 330 secs || 4974315 markings, 35170091 edges, 14543 markings/sec, 330 secs
lola: STP completed || 6 tries, 5474580 fired transitions, 335 secs || 5046770 markings, 35686088 edges, 14491 markings/sec, 335 secs
lola: STP completed || 6 tries, 5555727 fired transitions, 340 secs || 5121427 markings, 36205578 edges, 14931 markings/sec, 340 secs
lola: STP completed || 6 tries, 5642023 fired transitions, 345 secs || 5199898 markings, 36761767 edges, 15694 markings/sec, 345 secs
lola: STP completed || 6 tries, 5721652 fired transitions, 350 secs || 5273266 markings, 37276125 edges, 14674 markings/sec, 350 secs
lola: STP completed || 6 tries, 5803580 fired transitions, 355 secs || 5348680 markings, 37813657 edges, 15083 markings/sec, 355 secs
lola: STP completed || 6 tries, 5888174 fired transitions, 360 secs || 5429371 markings, 38374630 edges, 16138 markings/sec, 360 secs
lola: STP completed || 6 tries, 5969915 fired transitions, 365 secs || 5506486 markings, 38920160 edges, 15423 markings/sec, 365 secs
lola: STP completed || 7 tries, 6049742 fired transitions, 370 secs || 5580954 markings, 39436598 edges, 14894 markings/sec, 370 secs
lola: STP completed || 7 tries, 6129766 fired transitions, 375 secs || 5653554 markings, 39976733 edges, 14520 markings/sec, 375 secs
lola: STP completed || 7 tries, 6209786 fired transitions, 380 secs || 5724811 markings, 40558872 edges, 14251 markings/sec, 380 secs
lola: STP completed || 7 tries, 6289687 fired transitions, 385 secs || 5794861 markings, 41146992 edges, 14010 markings/sec, 385 secs
lola: STP completed || 7 tries, 6369690 fired transitions, 390 secs || 5865993 markings, 41732563 edges, 14226 markings/sec, 390 secs
lola: STP completed || 7 tries, 6449525 fired transitions, 395 secs || 5935142 markings, 42314857 edges, 13830 markings/sec, 395 secs
lola: STP completed || 7 tries, 6528862 fired transitions, 400 secs || 6005297 markings, 42893422 edges, 14031 markings/sec, 400 secs
lola: STP completed || 7 tries, 6608923 fired transitions, 405 secs || 6073515 markings, 43485718 edges, 13644 markings/sec, 405 secs
lola: STP completed || 7 tries, 6692109 fired transitions, 410 secs || 6146588 markings, 44081618 edges, 14615 markings/sec, 410 secs
lola: STP completed || 7 tries, 6778087 fired transitions, 415 secs || 6220864 markings, 44687736 edges, 14855 markings/sec, 415 secs
lola: STP completed || 7 tries, 6858103 fired transitions, 420 secs || 6292422 markings, 45271006 edges, 14312 markings/sec, 420 secs
lola: STP completed || 7 tries, 6938137 fired transitions, 425 secs || 6362058 markings, 45861731 edges, 13927 markings/sec, 425 secs
lola: STP completed || 8 tries, 7018525 fired transitions, 430 secs || 6432607 markings, 46461304 edges, 14110 markings/sec, 430 secs
lola: STP completed || 8 tries, 7098336 fired transitions, 435 secs || 6503110 markings, 47037248 edges, 14101 markings/sec, 435 secs
lola: STP completed || 8 tries, 7178470 fired transitions, 440 secs || 6571067 markings, 47621249 edges, 13591 markings/sec, 440 secs
lola: STP completed || 8 tries, 7260081 fired transitions, 445 secs || 6641120 markings, 48206074 edges, 14011 markings/sec, 445 secs
lola: STP completed || 8 tries, 7340243 fired transitions, 450 secs || 6711837 markings, 48780512 edges, 14143 markings/sec, 450 secs
lola: STP completed || 8 tries, 7421047 fired transitions, 455 secs || 6781943 markings, 49368518 edges, 14021 markings/sec, 455 secs
lola: STP completed || 8 tries, 7501670 fired transitions, 460 secs || 6850953 markings, 49949471 edges, 13802 markings/sec, 460 secs
lola: STP completed || 8 tries, 7581404 fired transitions, 465 secs || 6920219 markings, 50526020 edges, 13853 markings/sec, 465 secs
lola: STP completed || 8 tries, 7662494 fired transitions, 470 secs || 6989452 markings, 51119698 edges, 13847 markings/sec, 470 secs
lola: STP completed || 8 tries, 7743058 fired transitions, 475 secs || 7060671 markings, 51701163 edges, 14244 markings/sec, 475 secs
lola: STP completed || 8 tries, 7824547 fired transitions, 480 secs || 7134102 markings, 52306255 edges, 14686 markings/sec, 480 secs
lola: STP completed || 8 tries, 7907016 fired transitions, 485 secs || 7206055 markings, 52886592 edges, 14391 markings/sec, 485 secs
lola: STP completed || 8 tries, 7986042 fired transitions, 490 secs || 7277813 markings, 53483024 edges, 14352 markings/sec, 490 secs
lola: STP completed || 9 tries, 8066731 fired transitions, 495 secs || 7346959 markings, 54071066 edges, 13829 markings/sec, 495 secs
lola: STP completed || 9 tries, 8147126 fired transitions, 500 secs || 7414891 markings, 54644925 edges, 13586 markings/sec, 500 secs
lola: STP completed || 9 tries, 8227689 fired transitions, 505 secs || 7484404 markings, 55218291 edges, 13903 markings/sec, 505 secs
lola: STP completed || 9 tries, 8314253 fired transitions, 510 secs || 7559005 markings, 55828097 edges, 14920 markings/sec, 510 secs
lola: STP completed || 9 tries, 8394142 fired transitions, 515 secs || 7627495 markings, 56396241 edges, 13698 markings/sec, 515 secs
lola: STP completed || 9 tries, 8474785 fired transitions, 520 secs || 7695605 markings, 56988380 edges, 13622 markings/sec, 520 secs
lola: STP completed || 9 tries, 8555001 fired transitions, 525 secs || 7765972 markings, 57570582 edges, 14073 markings/sec, 525 secs
lola: STP completed || 9 tries, 8635216 fired transitions, 530 secs || 7834053 markings, 58136006 edges, 13616 markings/sec, 530 secs
lola: STP completed || 9 tries, 8715542 fired transitions, 535 secs || 7902955 markings, 58709793 edges, 13780 markings/sec, 535 secs
lola: STP completed || 9 tries, 8797027 fired transitions, 540 secs || 7972717 markings, 59326022 edges, 13952 markings/sec, 540 secs
lola: STP completed || 9 tries, 8877496 fired transitions, 545 secs || 8045211 markings, 59907969 edges, 14499 markings/sec, 545 secs
lola: STP completed || 9 tries, 8958192 fired transitions, 550 secs || 8117704 markings, 60501332 edges, 14499 markings/sec, 550 secs
lola: STP completed || 10 tries, 9038359 fired transitions, 555 secs || 8186376 markings, 61090836 edges, 13734 markings/sec, 555 secs
lola: STP completed || 10 tries, 9118891 fired transitions, 560 secs || 8256866 markings, 61671228 edges, 14098 markings/sec, 560 secs
lola: STP completed || 10 tries, 9198550 fired transitions, 565 secs || 8327496 markings, 62247330 edges, 14126 markings/sec, 565 secs
lola: STP completed || 10 tries, 9278512 fired transitions, 570 secs || 8398707 markings, 62830021 edges, 14242 markings/sec, 570 secs
lola: STP completed || 10 tries, 9358711 fired transitions, 575 secs || 8470838 markings, 63419018 edges, 14426 markings/sec, 575 secs
lola: STP completed || 10 tries, 9438070 fired transitions, 580 secs || 8541305 markings, 63978786 edges, 14093 markings/sec, 580 secs
lola: STP completed || 10 tries, 9518385 fired transitions, 585 secs || 8610298 markings, 64567823 edges, 13799 markings/sec, 585 secs
lola: STP completed || 10 tries, 9597624 fired transitions, 590 secs || 8680392 markings, 65136868 edges, 14019 markings/sec, 590 secs
lola: STP completed || 10 tries, 9677698 fired transitions, 595 secs || 8748975 markings, 65713669 edges, 13717 markings/sec, 595 secs
lola: STP completed || 10 tries, 9757900 fired transitions, 600 secs || 8819447 markings, 66291682 edges, 14094 markings/sec, 600 secs
lola: STP completed || 10 tries, 9837346 fired transitions, 605 secs || 8886410 markings, 66898305 edges, 13393 markings/sec, 605 secs
lola: STP completed || 10 tries, 9917525 fired transitions, 610 secs || 8956448 markings, 67483386 edges, 14008 markings/sec, 610 secs
lola: STP completed || 10 tries, 9997517 fired transitions, 615 secs || 9025399 markings, 68064740 edges, 13790 markings/sec, 615 secs
lola: STP completed || 11 tries, 10077519 fired transitions, 620 secs || 9094722 markings, 68644149 edges, 13865 markings/sec, 620 secs
lola: STP completed || 11 tries, 10157415 fired transitions, 625 secs || 9164245 markings, 69218937 edges, 13905 markings/sec, 625 secs
lola: STP completed || 11 tries, 10237439 fired transitions, 630 secs || 9235131 markings, 69799380 edges, 14177 markings/sec, 630 secs
lola: STP completed || 11 tries, 10317710 fired transitions, 635 secs || 9305661 markings, 70384833 edges, 14106 markings/sec, 635 secs
lola: STP completed || 11 tries, 10397198 fired transitions, 640 secs || 9377949 markings, 70972324 edges, 14458 markings/sec, 640 secs
lola: STP completed || 11 tries, 10476856 fired transitions, 645 secs || 9448363 markings, 71553899 edges, 14083 markings/sec, 645 secs
lola: STP completed || 11 tries, 10556820 fired transitions, 650 secs || 9520311 markings, 72130055 edges, 14390 markings/sec, 650 secs
lola: STP completed || 11 tries, 10636472 fired transitions, 655 secs || 9587159 markings, 72719806 edges, 13370 markings/sec, 655 secs
lola: STP completed || 11 tries, 10716374 fired transitions, 660 secs || 9658704 markings, 73296027 edges, 14309 markings/sec, 660 secs
lola: STP completed || 11 tries, 10796646 fired transitions, 665 secs || 9728247 markings, 73891369 edges, 13909 markings/sec, 665 secs
lola: STP completed || 11 tries, 10876457 fired transitions, 670 secs || 9800900 markings, 74468647 edges, 14531 markings/sec, 670 secs
lola: STP completed || 11 tries, 10956580 fired transitions, 675 secs || 9871314 markings, 75041800 edges, 14083 markings/sec, 675 secs
lola: STP completed || 12 tries, 11036881 fired transitions, 680 secs || 9941738 markings, 75624110 edges, 14085 markings/sec, 680 secs
lola: STP completed || 12 tries, 11119418 fired transitions, 685 secs || 10014882 markings, 76225595 edges, 14629 markings/sec, 685 secs
lola: STP completed || 12 tries, 11206362 fired transitions, 690 secs || 10088623 markings, 76843306 edges, 14748 markings/sec, 690 secs
lola: STP completed || 12 tries, 11286575 fired transitions, 695 secs || 10157024 markings, 77410330 edges, 13680 markings/sec, 695 secs
lola: STP completed || 12 tries, 11367340 fired transitions, 700 secs || 10225673 markings, 78004363 edges, 13730 markings/sec, 700 secs
lola: STP completed || 12 tries, 11447562 fired transitions, 705 secs || 10294607 markings, 78572758 edges, 13787 markings/sec, 705 secs
lola: STP completed || 12 tries, 11527717 fired transitions, 710 secs || 10363494 markings, 79130801 edges, 13777 markings/sec, 710 secs
lola: STP completed || 12 tries, 11608071 fired transitions, 715 secs || 10432875 markings, 79699860 edges, 13876 markings/sec, 715 secs
lola: STP completed || 12 tries, 11688641 fired transitions, 720 secs || 10502245 markings, 80264733 edges, 13874 markings/sec, 720 secs
lola: STP completed || 12 tries, 11769296 fired transitions, 725 secs || 10571122 markings, 80838964 edges, 13775 markings/sec, 725 secs
lola: STP completed || 12 tries, 11849725 fired transitions, 730 secs || 10639028 markings, 81404242 edges, 13581 markings/sec, 730 secs
lola: STP completed || 12 tries, 11930080 fired transitions, 735 secs || 10706566 markings, 81980044 edges, 13508 markings/sec, 735 secs
lola: STP completed || 13 tries, 12010565 fired transitions, 740 secs || 10778389 markings, 82551702 edges, 14365 markings/sec, 740 secs
lola: STP completed || 13 tries, 12091342 fired transitions, 745 secs || 10848983 markings, 83137460 edges, 14119 markings/sec, 745 secs
lola: STP completed || 13 tries, 12175006 fired transitions, 750 secs || 10920463 markings, 83731276 edges, 14296 markings/sec, 750 secs
lola: STP completed || 13 tries, 12257720 fired transitions, 755 secs || 10992776 markings, 84341172 edges, 14463 markings/sec, 755 secs
lola: STP completed || 13 tries, 12337540 fired transitions, 760 secs || 11061662 markings, 84903272 edges, 13777 markings/sec, 760 secs
lola: STP completed || 13 tries, 12417899 fired transitions, 765 secs || 11132392 markings, 85489596 edges, 14146 markings/sec, 765 secs
lola: STP completed || 13 tries, 12501480 fired transitions, 770 secs || 11203937 markings, 86088568 edges, 14309 markings/sec, 770 secs
lola: STP completed || 13 tries, 12587194 fired transitions, 775 secs || 11276582 markings, 86697297 edges, 14529 markings/sec, 775 secs
lola: STP completed || 13 tries, 12668103 fired transitions, 780 secs || 11350119 markings, 87327273 edges, 14707 markings/sec, 780 secs
lola: STP completed || 13 tries, 12754115 fired transitions, 785 secs || 11423592 markings, 87942740 edges, 14695 markings/sec, 785 secs
lola: STP completed || 13 tries, 12837149 fired transitions, 790 secs || 11495632 markings, 88520490 edges, 14408 markings/sec, 790 secs
lola: STP completed || 13 tries, 12920150 fired transitions, 795 secs || 11566089 markings, 89113743 edges, 14091 markings/sec, 795 secs
lola: STP completed || 14 tries, 13002663 fired transitions, 800 secs || 11637047 markings, 89727391 edges, 14192 markings/sec, 800 secs
lola: STP completed || 14 tries, 13086355 fired transitions, 805 secs || 11709011 markings, 90323017 edges, 14393 markings/sec, 805 secs
lola: STP completed || 14 tries, 13170391 fired transitions, 810 secs || 11781756 markings, 90926697 edges, 14549 markings/sec, 810 secs
lola: STP completed || 14 tries, 13252874 fired transitions, 815 secs || 11853904 markings, 91520098 edges, 14430 markings/sec, 815 secs
lola: STP completed || 14 tries, 13333213 fired transitions, 820 secs || 11924337 markings, 92096092 edges, 14087 markings/sec, 820 secs
lola: STP completed || 14 tries, 13413693 fired transitions, 825 secs || 11995166 markings, 92667257 edges, 14166 markings/sec, 825 secs
lola: STP completed || 14 tries, 13494382 fired transitions, 830 secs || 12066339 markings, 93251508 edges, 14235 markings/sec, 830 secs
lola: STP completed || 14 tries, 13574853 fired transitions, 835 secs || 12136163 markings, 93817984 edges, 13965 markings/sec, 835 secs
lola: STP completed || 14 tries, 13655340 fired transitions, 840 secs || 12204164 markings, 94404623 edges, 13600 markings/sec, 840 secs
lola: STP completed || 14 tries, 13735302 fired transitions, 845 secs || 12274583 markings, 94976006 edges, 14084 markings/sec, 845 secs
lola: STP completed || 14 tries, 13815793 fired transitions, 850 secs || 12346512 markings, 95564375 edges, 14386 markings/sec, 850 secs
lola: STP completed || 14 tries, 13896270 fired transitions, 855 secs || 12416307 markings, 96146078 edges, 13959 markings/sec, 855 secs
lola: STP completed || 14 tries, 13976972 fired transitions, 860 secs || 12488070 markings, 96739280 edges, 14353 markings/sec, 860 secs
lola: STP completed || 15 tries, 14057559 fired transitions, 865 secs || 12556717 markings, 97333438 edges, 13729 markings/sec, 865 secs
lola: STP completed || 15 tries, 14138921 fired transitions, 870 secs || 12628123 markings, 97918324 edges, 14281 markings/sec, 870 secs
lola: STP completed || 15 tries, 14225281 fired transitions, 875 secs || 12703592 markings, 98543004 edges, 15094 markings/sec, 875 secs
lola: STP completed || 15 tries, 14305069 fired transitions, 880 secs || 12773945 markings, 99150593 edges, 14071 markings/sec, 880 secs
lola: STP completed || 15 tries, 14385589 fired transitions, 885 secs || 12847549 markings, 99736406 edges, 14721 markings/sec, 885 secs
lola: STP completed || 15 tries, 14467158 fired transitions, 890 secs || 12918207 markings, 100340813 edges, 14132 markings/sec, 890 secs
lola: STP completed || 15 tries, 14547920 fired transitions, 895 secs || 12988256 markings, 100938424 edges, 14010 markings/sec, 895 secs
lola: STP completed || 15 tries, 14628321 fired transitions, 900 secs || 13059061 markings, 101520732 edges, 14161 markings/sec, 900 secs
lola: STP completed || 15 tries, 14709161 fired transitions, 905 secs || 13129848 markings, 102110639 edges, 14157 markings/sec, 905 secs
lola: STP completed || 15 tries, 14789432 fired transitions, 910 secs || 13201330 markings, 102685428 edges, 14296 markings/sec, 910 secs
lola: STP completed || 15 tries, 14869905 fired transitions, 915 secs || 13271324 markings, 103271388 edges, 13999 markings/sec, 915 secs
lola: STP completed || 15 tries, 14950365 fired transitions, 920 secs || 13341371 markings, 103874975 edges, 14009 markings/sec, 920 secs
lola: STP completed || 16 tries, 15030212 fired transitions, 925 secs || 13410644 markings, 104439600 edges, 13855 markings/sec, 925 secs
lola: STP completed || 16 tries, 15110290 fired transitions, 930 secs || 13479246 markings, 105013352 edges, 13720 markings/sec, 930 secs
lola: STP completed || 16 tries, 15190693 fired transitions, 935 secs || 13550465 markings, 105594482 edges, 14244 markings/sec, 935 secs
lola: STP completed || 16 tries, 15270781 fired transitions, 940 secs || 13618685 markings, 106160427 edges, 13644 markings/sec, 940 secs
lola: STP completed || 16 tries, 15350773 fired transitions, 945 secs || 13687480 markings, 106730620 edges, 13759 markings/sec, 945 secs
lola: STP completed || 16 tries, 15429916 fired transitions, 950 secs || 13756084 markings, 107310896 edges, 13721 markings/sec, 950 secs
lola: STP completed || 16 tries, 15510330 fired transitions, 955 secs || 13827844 markings, 107876134 edges, 14352 markings/sec, 955 secs
lola: STP completed || 16 tries, 15590533 fired transitions, 960 secs || 13898294 markings, 108442533 edges, 14090 markings/sec, 960 secs
lola: STP completed || 16 tries, 15670872 fired transitions, 965 secs || 13968007 markings, 109028688 edges, 13943 markings/sec, 965 secs
lola: STP completed || 16 tries, 15750876 fired transitions, 970 secs || 14038186 markings, 109608083 edges, 14036 markings/sec, 970 secs
lola: STP completed || 16 tries, 15831133 fired transitions, 975 secs || 14108791 markings, 110177332 edges, 14121 markings/sec, 975 secs
lola: STP completed || 16 tries, 15911858 fired transitions, 980 secs || 14178908 markings, 110773120 edges, 14023 markings/sec, 980 secs
lola: STP completed || 16 tries, 15992448 fired transitions, 985 secs || 14246758 markings, 111356543 edges, 13570 markings/sec, 985 secs
lola: STP completed || 17 tries, 16073053 fired transitions, 990 secs || 14317014 markings, 111937359 edges, 14051 markings/sec, 990 secs
lola: STP completed || 17 tries, 16153506 fired transitions, 995 secs || 14389900 markings, 112506988 edges, 14577 markings/sec, 995 secs
lola: STP completed || 17 tries, 16233655 fired transitions, 1000 secs || 14459704 markings, 113075974 edges, 13961 markings/sec, 1000 secs
lola: STP completed || 17 tries, 16313352 fired transitions, 1005 secs || 14526267 markings, 113662981 edges, 13313 markings/sec, 1005 secs
lola: STP completed || 17 tries, 16393049 fired transitions, 1010 secs || 14596353 markings, 114248497 edges, 14017 markings/sec, 1010 secs
lola: STP completed || 17 tries, 16473302 fired transitions, 1015 secs || 14664608 markings, 114827243 edges, 13651 markings/sec, 1015 secs
lola: STP completed || 17 tries, 16553186 fired transitions, 1020 secs || 14736519 markings, 115409405 edges, 14382 markings/sec, 1020 secs
lola: STP completed || 17 tries, 16634272 fired transitions, 1025 secs || 14807227 markings, 115987963 edges, 14142 markings/sec, 1025 secs
lola: STP completed || 17 tries, 16714862 fired transitions, 1030 secs || 14875465 markings, 116557254 edges, 13648 markings/sec, 1030 secs
lola: STP completed || 17 tries, 16796044 fired transitions, 1035 secs || 14945375 markings, 117148126 edges, 13982 markings/sec, 1035 secs
lola: STP completed || 17 tries, 16876615 fired transitions, 1040 secs || 15014315 markings, 117714877 edges, 13788 markings/sec, 1040 secs
lola: STP completed || 17 tries, 16957245 fired transitions, 1045 secs || 15083553 markings, 118318135 edges, 13848 markings/sec, 1045 secs
lola: STP completed || 18 tries, 17037022 fired transitions, 1050 secs || 15152763 markings, 118890435 edges, 13842 markings/sec, 1050 secs
lola: STP completed || 18 tries, 17117417 fired transitions, 1055 secs || 15222204 markings, 119471843 edges, 13888 markings/sec, 1055 secs
lola: STP completed || 18 tries, 17197769 fired transitions, 1060 secs || 15293325 markings, 120043944 edges, 14224 markings/sec, 1060 secs
lola: STP completed || 18 tries, 17278159 fired transitions, 1065 secs || 15363649 markings, 120609036 edges, 14065 markings/sec, 1065 secs
lola: STP completed || 18 tries, 17358494 fired transitions, 1070 secs || 15434807 markings, 121180596 edges, 14232 markings/sec, 1070 secs
lola: STP completed || 18 tries, 17438897 fired transitions, 1075 secs || 15504788 markings, 121751843 edges, 13996 markings/sec, 1075 secs
lola: STP completed || 18 tries, 17519033 fired transitions, 1080 secs || 15575656 markings, 122330630 edges, 14174 markings/sec, 1080 secs
lola: STP completed || 18 tries, 17599645 fired transitions, 1085 secs || 15642572 markings, 122925408 edges, 13383 markings/sec, 1085 secs
lola: STP completed || 18 tries, 17680055 fired transitions, 1090 secs || 15713717 markings, 123504020 edges, 14229 markings/sec, 1090 secs
lola: STP completed || 18 tries, 17760553 fired transitions, 1095 secs || 15783753 markings, 124092744 edges, 14007 markings/sec, 1095 secs
lola: STP completed || 18 tries, 17840971 fired transitions, 1100 secs || 15854955 markings, 124684589 edges, 14240 markings/sec, 1100 secs
lola: STP completed || 18 tries, 17921027 fired transitions, 1105 secs || 15925153 markings, 125272596 edges, 14040 markings/sec, 1105 secs
lola: STP completed || 19 tries, 18001409 fired transitions, 1110 secs || 15996535 markings, 125849306 edges, 14276 markings/sec, 1110 secs
lola: STP completed || 19 tries, 18081749 fired transitions, 1115 secs || 16067307 markings, 126421012 edges, 14154 markings/sec, 1115 secs
lola: STP completed || 19 tries, 18162027 fired transitions, 1120 secs || 16136866 markings, 127009742 edges, 13912 markings/sec, 1120 secs
lola: STP completed || 19 tries, 18242939 fired transitions, 1125 secs || 16209177 markings, 127582922 edges, 14462 markings/sec, 1125 secs
lola: STP completed || 19 tries, 18323606 fired transitions, 1130 secs || 16279695 markings, 128174923 edges, 14104 markings/sec, 1130 secs
lola: STP completed || 19 tries, 18403937 fired transitions, 1135 secs || 16350459 markings, 128754278 edges, 14153 markings/sec, 1135 secs
lola: STP completed || 19 tries, 18484428 fired transitions, 1140 secs || 16419457 markings, 129334315 edges, 13800 markings/sec, 1140 secs
lola: STP completed || 19 tries, 18564034 fired transitions, 1145 secs || 16492227 markings, 129914519 edges, 14554 markings/sec, 1145 secs
lola: STP completed || 19 tries, 18644255 fired transitions, 1150 secs || 16563664 markings, 130501381 edges, 14287 markings/sec, 1150 secs
lola: STP completed || 19 tries, 18725713 fired transitions, 1155 secs || 16634809 markings, 131093763 edges, 14229 markings/sec, 1155 secs
lola: STP completed || 19 tries, 18806388 fired transitions, 1160 secs || 16705132 markings, 131676714 edges, 14065 markings/sec, 1160 secs
lola: STP completed || 19 tries, 18886736 fired transitions, 1165 secs || 16775917 markings, 132263641 edges, 14157 markings/sec, 1165 secs
lola: STP completed || 19 tries, 18967084 fired transitions, 1170 secs || 16847119 markings, 132855915 edges, 14240 markings/sec, 1170 secs
lola: STP completed || 20 tries, 19047351 fired transitions, 1175 secs || 16921471 markings, 133440531 edges, 14870 markings/sec, 1175 secs
lola: STP completed || 20 tries, 19128019 fired transitions, 1180 secs || 16990825 markings, 134034372 edges, 13871 markings/sec, 1180 secs
lola: STP completed || 20 tries, 19208299 fired transitions, 1185 secs || 17059559 markings, 134628777 edges, 13747 markings/sec, 1185 secs
lola: STP completed || 20 tries, 19288553 fired transitions, 1190 secs || 17130074 markings, 135214793 edges, 14103 markings/sec, 1190 secs
lola: STP completed || 20 tries, 19368893 fired transitions, 1195 secs || 17202309 markings, 135803525 edges, 14447 markings/sec, 1195 secs
lola: STP completed || 20 tries, 19451455 fired transitions, 1200 secs || 17274625 markings, 136396550 edges, 14463 markings/sec, 1200 secs
lola: STP completed || 20 tries, 19535364 fired transitions, 1205 secs || 17346116 markings, 137012706 edges, 14298 markings/sec, 1205 secs
lola: STP completed || 20 tries, 19621840 fired transitions, 1210 secs || 17423536 markings, 137633559 edges, 15484 markings/sec, 1210 secs
lola: STP completed || 20 tries, 19704869 fired transitions, 1215 secs || 17494280 markings, 138230285 edges, 14149 markings/sec, 1215 secs
lola: STP completed || 20 tries, 19784941 fired transitions, 1220 secs || 17564108 markings, 138802885 edges, 13966 markings/sec, 1220 secs
lola: STP completed || 20 tries, 19871125 fired transitions, 1225 secs || 17638543 markings, 139417281 edges, 14887 markings/sec, 1225 secs
lola: STP completed || 20 tries, 19956070 fired transitions, 1230 secs || 17712524 markings, 140024577 edges, 14796 markings/sec, 1230 secs
lola: STP completed || 21 tries, 20036198 fired transitions, 1235 secs || 17781346 markings, 140597524 edges, 13764 markings/sec, 1235 secs
lola: STP completed || 21 tries, 20116645 fired transitions, 1240 secs || 17851523 markings, 141180692 edges, 14035 markings/sec, 1240 secs
lola: STP completed || 21 tries, 20197020 fired transitions, 1245 secs || 17922876 markings, 141760281 edges, 14271 markings/sec, 1245 secs
lola: STP completed || 21 tries, 20277224 fired transitions, 1250 secs || 17993098 markings, 142349916 edges, 14044 markings/sec, 1250 secs
lola: STP completed || 21 tries, 20357057 fired transitions, 1255 secs || 18062608 markings, 142919013 edges, 13902 markings/sec, 1255 secs
lola: STP completed || 21 tries, 20437700 fired transitions, 1260 secs || 18135003 markings, 143507579 edges, 14479 markings/sec, 1260 secs
lola: STP completed || 21 tries, 20517937 fired transitions, 1265 secs || 18204430 markings, 144085173 edges, 13885 markings/sec, 1265 secs
lola: STP completed || 21 tries, 20598131 fired transitions, 1270 secs || 18274800 markings, 144669756 edges, 14074 markings/sec, 1270 secs
lola: STP completed || 21 tries, 20677868 fired transitions, 1275 secs || 18344217 markings, 145252517 edges, 13883 markings/sec, 1275 secs
lola: STP completed || 21 tries, 20761671 fired transitions, 1280 secs || 18416538 markings, 145873383 edges, 14464 markings/sec, 1280 secs
lola: STP completed || 21 tries, 20845699 fired transitions, 1285 secs || 18492304 markings, 146483165 edges, 15153 markings/sec, 1285 secs
lola: STP completed || 21 tries, 20925156 fired transitions, 1290 secs || 18564151 markings, 147057954 edges, 14369 markings/sec, 1290 secs
lola: STP completed || 22 tries, 21004904 fired transitions, 1295 secs || 18635895 markings, 147633603 edges, 14349 markings/sec, 1295 secs
lola: STP completed || 22 tries, 21084550 fired transitions, 1300 secs || 18704388 markings, 148204349 edges, 13699 markings/sec, 1300 secs
lola: STP completed || 22 tries, 21168100 fired transitions, 1305 secs || 18777870 markings, 148805802 edges, 14696 markings/sec, 1305 secs
lola: STP completed || 22 tries, 21254606 fired transitions, 1310 secs || 18852037 markings, 149435144 edges, 14833 markings/sec, 1310 secs
lola: STP completed || 22 tries, 21337289 fired transitions, 1315 secs || 18926655 markings, 150037132 edges, 14924 markings/sec, 1315 secs
lola: STP completed || 22 tries, 21422686 fired transitions, 1320 secs || 19001937 markings, 150655582 edges, 15056 markings/sec, 1320 secs
lola: STP completed || 22 tries, 21502475 fired transitions, 1325 secs || 19072136 markings, 151238577 edges, 14040 markings/sec, 1325 secs
lola: STP completed || 22 tries, 21582273 fired transitions, 1330 secs || 19142641 markings, 151809007 edges, 14101 markings/sec, 1330 secs
lola: STP completed || 22 tries, 21662320 fired transitions, 1335 secs || 19212756 markings, 152403183 edges, 14023 markings/sec, 1335 secs
lola: STP completed || 22 tries, 21742307 fired transitions, 1340 secs || 19283231 markings, 152973874 edges, 14095 markings/sec, 1340 secs
lola: STP completed || 22 tries, 21822604 fired transitions, 1345 secs || 19355354 markings, 153553118 edges, 14425 markings/sec, 1345 secs
lola: STP completed || 22 tries, 21902807 fired transitions, 1350 secs || 19425561 markings, 154143584 edges, 14041 markings/sec, 1350 secs
lola: STP completed || 22 tries, 21983331 fired transitions, 1355 secs || 19494043 markings, 154732424 edges, 13696 markings/sec, 1355 secs
lola: STP completed || 23 tries, 22063476 fired transitions, 1360 secs || 19566360 markings, 155304846 edges, 14463 markings/sec, 1360 secs
lola: STP completed || 23 tries, 22143449 fired transitions, 1365 secs || 19637140 markings, 155878413 edges, 14156 markings/sec, 1365 secs
lola: STP completed || 23 tries, 22223697 fired transitions, 1370 secs || 19707355 markings, 156449616 edges, 14043 markings/sec, 1370 secs
lola: STP completed || 23 tries, 22303148 fired transitions, 1375 secs || 19779193 markings, 157031231 edges, 14368 markings/sec, 1375 secs
lola: STP completed || 23 tries, 22383436 fired transitions, 1380 secs || 19849970 markings, 157623484 edges, 14155 markings/sec, 1380 secs
lola: STP completed || 23 tries, 22463806 fired transitions, 1385 secs || 19920152 markings, 158225568 edges, 14036 markings/sec, 1385 secs
lola: STP completed || 23 tries, 22544285 fired transitions, 1390 secs || 19993226 markings, 158813835 edges, 14615 markings/sec, 1390 secs
lola: STP completed || 23 tries, 22624636 fired transitions, 1395 secs || 20066108 markings, 159383067 edges, 14576 markings/sec, 1395 secs
lola: STP completed || 23 tries, 22705066 fired transitions, 1400 secs || 20139836 markings, 159968488 edges, 14746 markings/sec, 1400 secs
lola: STP completed || 23 tries, 22785692 fired transitions, 1405 secs || 20211587 markings, 160542588 edges, 14350 markings/sec, 1405 secs
lola: STP completed || 23 tries, 22866350 fired transitions, 1410 secs || 20281528 markings, 161145199 edges, 13988 markings/sec, 1410 secs
lola: STP completed || 23 tries, 22952137 fired transitions, 1415 secs || 20353887 markings, 161775359 edges, 14472 markings/sec, 1415 secs
lola: STP completed || 24 tries, 23036583 fired transitions, 1420 secs || 20426390 markings, 162388502 edges, 14501 markings/sec, 1420 secs
lola: STP completed || 24 tries, 23122425 fired transitions, 1425 secs || 20502300 markings, 163002149 edges, 15182 markings/sec, 1425 secs
lola: STP completed || 24 tries, 23204131 fired transitions, 1430 secs || 20571250 markings, 163610554 edges, 13790 markings/sec, 1430 secs
lola: STP completed || 24 tries, 23284862 fired transitions, 1435 secs || 20642837 markings, 164209750 edges, 14317 markings/sec, 1435 secs
lola: STP completed || 24 tries, 23365354 fired transitions, 1440 secs || 20714122 markings, 164798210 edges, 14257 markings/sec, 1440 secs
lola: STP completed || 24 tries, 23445988 fired transitions, 1445 secs || 20786756 markings, 165392343 edges, 14527 markings/sec, 1445 secs
lola: STP completed || 24 tries, 23526536 fired transitions, 1450 secs || 20857974 markings, 165975315 edges, 14244 markings/sec, 1450 secs
lola: STP completed || 24 tries, 23607108 fired transitions, 1455 secs || 20929090 markings, 166563152 edges, 14223 markings/sec, 1455 secs
lola: STP completed || 24 tries, 23687827 fired transitions, 1460 secs || 21002101 markings, 167155883 edges, 14602 markings/sec, 1460 secs
lola: STP completed || 24 tries, 23768556 fired transitions, 1465 secs || 21073671 markings, 167773704 edges, 14314 markings/sec, 1465 secs
lola: STP completed || 24 tries, 23849003 fired transitions, 1470 secs || 21145826 markings, 168373736 edges, 14431 markings/sec, 1470 secs
lola: STP completed || 24 tries, 23929917 fired transitions, 1475 secs || 21217107 markings, 168986933 edges, 14256 markings/sec, 1475 secs
lola: STP completed || 25 tries, 24010080 fired transitions, 1480 secs || 21290797 markings, 169565094 edges, 14738 markings/sec, 1480 secs
lola: STP completed || 25 tries, 24090098 fired transitions, 1485 secs || 21361092 markings, 170137393 edges, 14059 markings/sec, 1485 secs
lola: STP completed || 25 tries, 24172769 fired transitions, 1490 secs || 21432493 markings, 170727182 edges, 14280 markings/sec, 1490 secs
lola: STP completed || 25 tries, 24255712 fired transitions, 1495 secs || 21504587 markings, 171320022 edges, 14419 markings/sec, 1495 secs
lola: STP completed || 25 tries, 24336423 fired transitions, 1500 secs || 21577234 markings, 171900021 edges, 14529 markings/sec, 1500 secs
lola: STP completed || 25 tries, 24416799 fired transitions, 1505 secs || 21646445 markings, 172475836 edges, 13842 markings/sec, 1505 secs
lola: STP completed || 25 tries, 24497928 fired transitions, 1510 secs || 21715668 markings, 173067078 edges, 13845 markings/sec, 1510 secs
lola: STP completed || 25 tries, 24578634 fired transitions, 1515 secs || 21784530 markings, 173655729 edges, 13772 markings/sec, 1515 secs
lola: STP completed || 25 tries, 24659149 fired transitions, 1520 secs || 21853581 markings, 174239178 edges, 13810 markings/sec, 1520 secs
lola: STP completed || 25 tries, 24739920 fired transitions, 1525 secs || 21927265 markings, 174814388 edges, 14737 markings/sec, 1525 secs
lola: STP completed || 25 tries, 24820349 fired transitions, 1530 secs || 21995850 markings, 175402730 edges, 13717 markings/sec, 1530 secs
lola: STP completed || 25 tries, 24900719 fired transitions, 1535 secs || 22065452 markings, 175966282 edges, 13920 markings/sec, 1535 secs
lola: STP completed || 25 tries, 24981343 fired transitions, 1540 secs || 22135703 markings, 176528787 edges, 14050 markings/sec, 1540 secs
lola: STP completed || 26 tries, 25061804 fired transitions, 1545 secs || 22203646 markings, 177108416 edges, 13589 markings/sec, 1545 secs
lola: STP completed || 26 tries, 25142392 fired transitions, 1550 secs || 22274166 markings, 177686458 edges, 14104 markings/sec, 1550 secs
lola: STP completed || 26 tries, 25223169 fired transitions, 1555 secs || 22344621 markings, 178263949 edges, 14091 markings/sec, 1555 secs
lola: STP completed || 26 tries, 25303858 fired transitions, 1560 secs || 22414551 markings, 178853052 edges, 13986 markings/sec, 1560 secs
lola: STP completed || 26 tries, 25384872 fired transitions, 1565 secs || 22483841 markings, 179450999 edges, 13858 markings/sec, 1565 secs
lola: STP completed || 26 tries, 25465852 fired transitions, 1570 secs || 22554910 markings, 180036930 edges, 14214 markings/sec, 1570 secs
lola: STP completed || 26 tries, 25546652 fired transitions, 1575 secs || 22623103 markings, 180632336 edges, 13639 markings/sec, 1575 secs
lola: STP completed || 26 tries, 25627296 fired transitions, 1580 secs || 22691647 markings, 181220008 edges, 13709 markings/sec, 1580 secs
lola: STP completed || 26 tries, 25707539 fired transitions, 1585 secs || 22759100 markings, 181811000 edges, 13491 markings/sec, 1585 secs
lola: STP completed || 26 tries, 25788068 fired transitions, 1590 secs || 22828573 markings, 182399661 edges, 13895 markings/sec, 1590 secs
lola: STP completed || 26 tries, 25868956 fired transitions, 1595 secs || 22899899 markings, 182976251 edges, 14265 markings/sec, 1595 secs
lola: STP completed || 26 tries, 25949488 fired transitions, 1600 secs || 22970684 markings, 183550881 edges, 14157 markings/sec, 1600 secs
lola: STP completed || 27 tries, 26030068 fired transitions, 1605 secs || 23040803 markings, 184141243 edges, 14024 markings/sec, 1605 secs
lola: STP completed || 27 tries, 26117541 fired transitions, 1610 secs || 23116022 markings, 184769167 edges, 15044 markings/sec, 1610 secs
lola: STP completed || 27 tries, 26197533 fired transitions, 1615 secs || 23184496 markings, 185331652 edges, 13695 markings/sec, 1615 secs
lola: STP completed || 27 tries, 26278158 fired transitions, 1620 secs || 23252435 markings, 185915622 edges, 13588 markings/sec, 1620 secs
lola: STP completed || 27 tries, 26358236 fired transitions, 1625 secs || 23322421 markings, 186478372 edges, 13997 markings/sec, 1625 secs
lola: STP completed || 27 tries, 26438569 fired transitions, 1630 secs || 23391922 markings, 187063603 edges, 13900 markings/sec, 1630 secs
lola: STP completed || 27 tries, 26519570 fired transitions, 1635 secs || 23465856 markings, 187667694 edges, 14787 markings/sec, 1635 secs
lola: STP completed || 27 tries, 26602078 fired transitions, 1640 secs || 23538958 markings, 188259200 edges, 14620 markings/sec, 1640 secs
lola: STP completed || 27 tries, 26682778 fired transitions, 1645 secs || 23607767 markings, 188842019 edges, 13762 markings/sec, 1645 secs
lola: STP completed || 27 tries, 26763501 fired transitions, 1650 secs || 23677718 markings, 189423566 edges, 13990 markings/sec, 1650 secs
lola: STP completed || 27 tries, 26844136 fired transitions, 1655 secs || 23746744 markings, 189998007 edges, 13805 markings/sec, 1655 secs
lola: STP completed || 27 tries, 26924909 fired transitions, 1660 secs || 23817485 markings, 190575887 edges, 14148 markings/sec, 1660 secs
lola: STP completed || 28 tries, 27005348 fired transitions, 1665 secs || 23892814 markings, 191147836 edges, 15066 markings/sec, 1665 secs
lola: STP completed || 28 tries, 27086677 fired transitions, 1670 secs || 23964019 markings, 191754881 edges, 14241 markings/sec, 1670 secs
lola: STP completed || 28 tries, 27167616 fired transitions, 1675 secs || 24035850 markings, 192346080 edges, 14366 markings/sec, 1675 secs
lola: STP completed || 28 tries, 27248410 fired transitions, 1680 secs || 24107135 markings, 192950235 edges, 14257 markings/sec, 1680 secs
lola: STP completed || 28 tries, 27328950 fired transitions, 1685 secs || 24176907 markings, 193524101 edges, 13954 markings/sec, 1685 secs
lola: STP completed || 28 tries, 27409507 fired transitions, 1690 secs || 24247016 markings, 194088285 edges, 14022 markings/sec, 1690 secs
lola: STP completed || 28 tries, 27490204 fired transitions, 1695 secs || 24317520 markings, 194666927 edges, 14101 markings/sec, 1695 secs
lola: STP completed || 28 tries, 27570342 fired transitions, 1700 secs || 24386576 markings, 195239771 edges, 13811 markings/sec, 1700 secs
lola: STP completed || 28 tries, 27649832 fired transitions, 1705 secs || 24457140 markings, 195825259 edges, 14113 markings/sec, 1705 secs
lola: STP completed || 28 tries, 27728922 fired transitions, 1710 secs || 24527221 markings, 196396162 edges, 14016 markings/sec, 1710 secs
lola: STP completed || 28 tries, 27808623 fired transitions, 1715 secs || 24596487 markings, 196960810 edges, 13853 markings/sec, 1715 secs
lola: STP completed || 28 tries, 27888162 fired transitions, 1720 secs || 24667033 markings, 197533785 edges, 14109 markings/sec, 1720 secs
lola: STP completed || 28 tries, 27970280 fired transitions, 1725 secs || 24738952 markings, 198130147 edges, 14384 markings/sec, 1725 secs
lola: STP completed || 29 tries, 28053509 fired transitions, 1730 secs || 24811303 markings, 198748093 edges, 14470 markings/sec, 1730 secs
lola: STP completed || 29 tries, 28134191 fired transitions, 1735 secs || 24884331 markings, 199336045 edges, 14606 markings/sec, 1735 secs
lola: STP completed || 29 tries, 28214907 fired transitions, 1740 secs || 24955661 markings, 199926799 edges, 14266 markings/sec, 1740 secs
lola: STP completed || 29 tries, 28295407 fired transitions, 1745 secs || 25027395 markings, 200512892 edges, 14347 markings/sec, 1745 secs
lola: STP completed || 29 tries, 28380086 fired transitions, 1750 secs || 25101444 markings, 201129448 edges, 14810 markings/sec, 1750 secs
lola: STP completed || 29 tries, 28465288 fired transitions, 1755 secs || 25177828 markings, 201749529 edges, 15277 markings/sec, 1755 secs
lola: STP completed || 29 tries, 28550826 fired transitions, 1760 secs || 25252538 markings, 202374605 edges, 14942 markings/sec, 1760 secs
lola: STP completed || 29 tries, 28631775 fired transitions, 1765 secs || 25321866 markings, 202958026 edges, 13866 markings/sec, 1765 secs
lola: STP completed || 29 tries, 28712570 fired transitions, 1770 secs || 25391354 markings, 203535462 edges, 13898 markings/sec, 1770 secs
lola: STP completed || 29 tries, 28792579 fired transitions, 1775 secs || 25460854 markings, 204108332 edges, 13900 markings/sec, 1775 secs
lola: STP completed || 29 tries, 28873082 fired transitions, 1780 secs || 25530687 markings, 204688076 edges, 13967 markings/sec, 1780 secs
lola: STP completed || 29 tries, 28952411 fired transitions, 1785 secs || 25599104 markings, 205251475 edges, 13683 markings/sec, 1785 secs
lola: STP completed || 30 tries, 29032806 fired transitions, 1790 secs || 25668250 markings, 205829503 edges, 13829 markings/sec, 1790 secs
lola: STP completed || 30 tries, 29117715 fired transitions, 1795 secs || 25740716 markings, 206450560 edges, 14493 markings/sec, 1795 secs
lola: STP completed || 30 tries, 29197943 fired transitions, 1800 secs || 25812215 markings, 207035748 edges, 14300 markings/sec, 1800 secs
lola: STP completed || 30 tries, 29278501 fired transitions, 1805 secs || 25883532 markings, 207609194 edges, 14263 markings/sec, 1805 secs
lola: STP completed || 30 tries, 29359340 fired transitions, 1810 secs || 25954537 markings, 208196223 edges, 14201 markings/sec, 1810 secs
lola: STP completed || 30 tries, 29441301 fired transitions, 1815 secs || 26025096 markings, 208804164 edges, 14112 markings/sec, 1815 secs
lola: STP completed || 30 tries, 29527930 fired transitions, 1820 secs || 26098982 markings, 209443154 edges, 14777 markings/sec, 1820 secs
lola: STP completed || 30 tries, 29608660 fired transitions, 1825 secs || 26172293 markings, 210003252 edges, 14662 markings/sec, 1825 secs
lola: STP completed || 30 tries, 29689760 fired transitions, 1830 secs || 26242252 markings, 210597889 edges, 13992 markings/sec, 1830 secs
lola: STP completed || 30 tries, 29770451 fired transitions, 1835 secs || 26312947 markings, 211193294 edges, 14139 markings/sec, 1835 secs
lola: STP completed || 30 tries, 29851301 fired transitions, 1840 secs || 26384765 markings, 211783401 edges, 14364 markings/sec, 1840 secs
lola: STP completed || 30 tries, 29931781 fired transitions, 1845 secs || 26456223 markings, 212384019 edges, 14292 markings/sec, 1845 secs
lola: STP completed || 31 tries, 30012158 fired transitions, 1850 secs || 26526910 markings, 212975760 edges, 14137 markings/sec, 1850 secs
lola: STP completed || 31 tries, 30096044 fired transitions, 1855 secs || 26599099 markings, 213586940 edges, 14438 markings/sec, 1855 secs
lola: STP completed || 31 tries, 30176135 fired transitions, 1860 secs || 26667120 markings, 214168735 edges, 13604 markings/sec, 1860 secs
lola: STP completed || 31 tries, 30257460 fired transitions, 1865 secs || 26739669 markings, 214763791 edges, 14510 markings/sec, 1865 secs
lola: STP completed || 31 tries, 30337659 fired transitions, 1870 secs || 26810482 markings, 215334767 edges, 14163 markings/sec, 1870 secs
lola: STP completed || 31 tries, 30419892 fired transitions, 1875 secs || 26883432 markings, 215950750 edges, 14590 markings/sec, 1875 secs
lola: STP completed || 31 tries, 30504821 fired transitions, 1880 secs || 26956487 markings, 216560379 edges, 14611 markings/sec, 1880 secs
lola: STP completed || 31 tries, 30583973 fired transitions, 1885 secs || 27028984 markings, 217098974 edges, 14499 markings/sec, 1885 secs
lola: STP completed || 31 tries, 30667379 fired transitions, 1890 secs || 27105106 markings, 217636969 edges, 15224 markings/sec, 1890 secs
lola: STP completed || 31 tries, 30752216 fired transitions, 1895 secs || 27182536 markings, 218199523 edges, 15486 markings/sec, 1895 secs
lola: STP completed || 31 tries, 30832632 fired transitions, 1900 secs || 27254896 markings, 218777510 edges, 14472 markings/sec, 1900 secs
lola: STP completed || 31 tries, 30915784 fired transitions, 1905 secs || 27326189 markings, 219413156 edges, 14259 markings/sec, 1905 secs
lola: STP completed || 31 tries, 30996146 fired transitions, 1910 secs || 27396527 markings, 220018647 edges, 14068 markings/sec, 1910 secs
lola: STP completed || 32 tries, 31078495 fired transitions, 1915 secs || 27467368 markings, 220621785 edges, 14168 markings/sec, 1915 secs
lola: STP completed || 32 tries, 31162404 fired transitions, 1920 secs || 27540186 markings, 221238398 edges, 14564 markings/sec, 1920 secs
lola: STP completed || 32 tries, 31245233 fired transitions, 1925 secs || 27615361 markings, 221844303 edges, 15035 markings/sec, 1925 secs
lola: STP completed || 32 tries, 31325593 fired transitions, 1930 secs || 27684876 markings, 222440538 edges, 13903 markings/sec, 1930 secs
lola: STP completed || 32 tries, 31406579 fired transitions, 1935 secs || 27755597 markings, 223043027 edges, 14144 markings/sec, 1935 secs
lola: STP completed || 32 tries, 31490650 fired transitions, 1940 secs || 27829358 markings, 223663383 edges, 14752 markings/sec, 1940 secs
lola: STP completed || 32 tries, 31570743 fired transitions, 1945 secs || 27900154 markings, 224276163 edges, 14159 markings/sec, 1945 secs
lola: STP completed || 32 tries, 31651088 fired transitions, 1950 secs || 27971311 markings, 224874471 edges, 14231 markings/sec, 1950 secs
lola: STP completed || 32 tries, 31732464 fired transitions, 1955 secs || 28045255 markings, 225471920 edges, 14789 markings/sec, 1955 secs
lola: STP completed || 32 tries, 31820327 fired transitions, 1960 secs || 28125178 markings, 226102340 edges, 15985 markings/sec, 1960 secs
lola: STP completed || 32 tries, 31909929 fired transitions, 1965 secs || 28202128 markings, 226727241 edges, 15390 markings/sec, 1965 secs
lola: STP completed || 32 tries, 31990725 fired transitions, 1970 secs || 28272898 markings, 227332480 edges, 14154 markings/sec, 1970 secs
lola: STP completed || 33 tries, 32070973 fired transitions, 1975 secs || 28342460 markings, 227917067 edges, 13912 markings/sec, 1975 secs
lola: STP completed || 33 tries, 32150971 fired transitions, 1980 secs || 28411627 markings, 228492083 edges, 13833 markings/sec, 1980 secs
lola: STP completed || 33 tries, 32231711 fired transitions, 1985 secs || 28482298 markings, 229073027 edges, 14134 markings/sec, 1985 secs
lola: STP completed || 33 tries, 32312062 fired transitions, 1990 secs || 28553171 markings, 229641366 edges, 14175 markings/sec, 1990 secs
lola: STP completed || 33 tries, 32394029 fired transitions, 1995 secs || 28626098 markings, 230241101 edges, 14585 markings/sec, 1995 secs
lola: STP completed || 33 tries, 32476362 fired transitions, 2000 secs || 28696258 markings, 230787961 edges, 14032 markings/sec, 2000 secs
lola: STP completed || 33 tries, 32557238 fired transitions, 2005 secs || 28768521 markings, 231381975 edges, 14453 markings/sec, 2005 secs
lola: STP completed || 33 tries, 32638447 fired transitions, 2010 secs || 28839614 markings, 231971439 edges, 14219 markings/sec, 2010 secs
lola: STP completed || 33 tries, 32719196 fired transitions, 2015 secs || 28912360 markings, 232556193 edges, 14549 markings/sec, 2015 secs
lola: STP completed || 33 tries, 32800558 fired transitions, 2020 secs || 28983961 markings, 233170052 edges, 14320 markings/sec, 2020 secs
lola: STP completed || 33 tries, 32881351 fired transitions, 2025 secs || 29054511 markings, 233743682 edges, 14110 markings/sec, 2025 secs
lola: STP completed || 33 tries, 32962124 fired transitions, 2030 secs || 29123770 markings, 234307152 edges, 13852 markings/sec, 2030 secs
lola: STP completed || 34 tries, 33042881 fired transitions, 2035 secs || 29193926 markings, 234880436 edges, 14031 markings/sec, 2035 secs
lola: STP completed || 34 tries, 33124034 fired transitions, 2040 secs || 29265125 markings, 235480411 edges, 14240 markings/sec, 2040 secs
lola: STP completed || 34 tries, 33204990 fired transitions, 2045 secs || 29335665 markings, 236079129 edges, 14108 markings/sec, 2045 secs
lola: STP completed || 34 tries, 33285845 fired transitions, 2050 secs || 29406547 markings, 236680775 edges, 14176 markings/sec, 2050 secs
lola: STP completed || 34 tries, 33366600 fired transitions, 2055 secs || 29477764 markings, 237264084 edges, 14243 markings/sec, 2055 secs
lola: STP completed || 34 tries, 33446833 fired transitions, 2060 secs || 29550991 markings, 237839800 edges, 14645 markings/sec, 2060 secs
lola: STP completed || 34 tries, 33530351 fired transitions, 2065 secs || 29625055 markings, 238443570 edges, 14813 markings/sec, 2065 secs
lola: STP completed || 34 tries, 33614720 fired transitions, 2070 secs || 29698030 markings, 239045833 edges, 14595 markings/sec, 2070 secs
lola: STP completed || 34 tries, 33695447 fired transitions, 2075 secs || 29768909 markings, 239637446 edges, 14176 markings/sec, 2075 secs
lola: STP completed || 34 tries, 33777261 fired transitions, 2080 secs || 29840751 markings, 240233057 edges, 14368 markings/sec, 2080 secs
lola: STP completed || 34 tries, 33858761 fired transitions, 2085 secs || 29911619 markings, 240810317 edges, 14174 markings/sec, 2085 secs
lola: STP completed || 34 tries, 33939148 fired transitions, 2090 secs || 29981777 markings, 241386273 edges, 14032 markings/sec, 2090 secs
lola: STP completed || 35 tries, 34019879 fired transitions, 2095 secs || 30050350 markings, 241982246 edges, 13715 markings/sec, 2095 secs
lola: STP completed || 35 tries, 34106161 fired transitions, 2100 secs || 30126649 markings, 242614163 edges, 15260 markings/sec, 2100 secs
lola: STP completed || 35 tries, 34191248 fired transitions, 2105 secs || 30202673 markings, 243228739 edges, 15205 markings/sec, 2105 secs
lola: STP completed || 35 tries, 34272264 fired transitions, 2110 secs || 30274001 markings, 243831715 edges, 14266 markings/sec, 2110 secs
lola: STP completed || 35 tries, 34352787 fired transitions, 2115 secs || 30346930 markings, 244406147 edges, 14586 markings/sec, 2115 secs
lola: STP completed || 35 tries, 34438640 fired transitions, 2120 secs || 30423095 markings, 245018200 edges, 15233 markings/sec, 2120 secs
lola: STP completed || 35 tries, 34519256 fired transitions, 2125 secs || 30493886 markings, 245614462 edges, 14158 markings/sec, 2125 secs
lola: STP completed || 35 tries, 34602611 fired transitions, 2130 secs || 30567931 markings, 246225873 edges, 14809 markings/sec, 2130 secs
lola: STP completed || 35 tries, 34685427 fired transitions, 2135 secs || 30642121 markings, 246826176 edges, 14838 markings/sec, 2135 secs
lola: STP completed || 35 tries, 34765171 fired transitions, 2140 secs || 30714063 markings, 247415439 edges, 14388 markings/sec, 2140 secs
lola: STP completed || 35 tries, 34845570 fired transitions, 2145 secs || 30786713 markings, 248015923 edges, 14530 markings/sec, 2145 secs
lola: STP completed || 35 tries, 34927401 fired transitions, 2150 secs || 30858392 markings, 248629682 edges, 14336 markings/sec, 2150 secs
lola: STP completed || 36 tries, 35008040 fired transitions, 2155 secs || 30929112 markings, 249212679 edges, 14144 markings/sec, 2155 secs
lola: STP completed || 36 tries, 35088153 fired transitions, 2160 secs || 30999718 markings, 249785944 edges, 14121 markings/sec, 2160 secs
lola: STP completed || 36 tries, 35168865 fired transitions, 2165 secs || 31070202 markings, 250386663 edges, 14097 markings/sec, 2165 secs
lola: STP completed || 36 tries, 35248971 fired transitions, 2170 secs || 31143794 markings, 250972921 edges, 14718 markings/sec, 2170 secs
lola: STP completed || 36 tries, 35328789 fired transitions, 2175 secs || 31213669 markings, 251553822 edges, 13975 markings/sec, 2175 secs
lola: STP completed || 36 tries, 35408899 fired transitions, 2180 secs || 31285368 markings, 252136837 edges, 14340 markings/sec, 2180 secs
lola: STP completed || 36 tries, 35489653 fired transitions, 2185 secs || 31357807 markings, 252740401 edges, 14488 markings/sec, 2185 secs
lola: STP completed || 36 tries, 35569463 fired transitions, 2190 secs || 31428341 markings, 253323351 edges, 14107 markings/sec, 2190 secs
lola: STP completed || 36 tries, 35649837 fired transitions, 2195 secs || 31498323 markings, 253900089 edges, 13996 markings/sec, 2195 secs
lola: STP completed || 36 tries, 35734983 fired transitions, 2200 secs || 31572736 markings, 254499803 edges, 14883 markings/sec, 2200 secs
lola: STP completed || 36 tries, 35815100 fired transitions, 2205 secs || 31640628 markings, 255094326 edges, 13578 markings/sec, 2205 secs
lola: STP completed || 36 tries, 35895098 fired transitions, 2210 secs || 31710646 markings, 255666797 edges, 14004 markings/sec, 2210 secs
lola: STP completed || 36 tries, 35975580 fired transitions, 2215 secs || 31782765 markings, 256253423 edges, 14424 markings/sec, 2215 secs
lola: STP completed || 37 tries, 36054716 fired transitions, 2220 secs || 31853150 markings, 256818536 edges, 14077 markings/sec, 2220 secs
lola: STP completed || 37 tries, 36134583 fired transitions, 2225 secs || 31922910 markings, 257391588 edges, 13952 markings/sec, 2225 secs
lola: STP completed || 37 tries, 36214605 fired transitions, 2230 secs || 31995016 markings, 257959295 edges, 14421 markings/sec, 2230 secs
lola: STP completed || 37 tries, 36294598 fired transitions, 2235 secs || 32066553 markings, 258545358 edges, 14307 markings/sec, 2235 secs
lola: STP completed || 37 tries, 36374390 fired transitions, 2240 secs || 32136665 markings, 259121486 edges, 14022 markings/sec, 2240 secs
lola: STP completed || 37 tries, 36454414 fired transitions, 2245 secs || 32208975 markings, 259713629 edges, 14462 markings/sec, 2245 secs
lola: STP completed || 37 tries, 36535800 fired transitions, 2250 secs || 32279742 markings, 260297434 edges, 14153 markings/sec, 2250 secs
lola: STP completed || 37 tries, 36617801 fired transitions, 2255 secs || 32352125 markings, 260901556 edges, 14477 markings/sec, 2255 secs
lola: STP completed || 37 tries, 36701615 fired transitions, 2260 secs || 32424081 markings, 261517723 edges, 14391 markings/sec, 2260 secs
lola: STP completed || 37 tries, 36782014 fired transitions, 2265 secs || 32496504 markings, 262110255 edges, 14485 markings/sec, 2265 secs
lola: STP completed || 37 tries, 36862088 fired transitions, 2270 secs || 32567215 markings, 262692762 edges, 14142 markings/sec, 2270 secs
lola: STP completed || 37 tries, 36943457 fired transitions, 2275 secs || 32641496 markings, 263287260 edges, 14856 markings/sec, 2275 secs
lola: STP completed || 38 tries, 37029100 fired transitions, 2280 secs || 32717413 markings, 263901241 edges, 15183 markings/sec, 2280 secs
lola: STP completed || 38 tries, 37115020 fired transitions, 2285 secs || 32787993 markings, 264505738 edges, 14116 markings/sec, 2285 secs
lola: STP completed || 38 tries, 37198853 fired transitions, 2290 secs || 32860556 markings, 265098088 edges, 14513 markings/sec, 2290 secs
lola: STP completed || 38 tries, 37281702 fired transitions, 2295 secs || 32932305 markings, 265701496 edges, 14350 markings/sec, 2295 secs
lola: STP completed || 38 tries, 37361841 fired transitions, 2300 secs || 33001952 markings, 266277922 edges, 13929 markings/sec, 2300 secs
lola: STP completed || 38 tries, 37442048 fired transitions, 2305 secs || 33071468 markings, 266843395 edges, 13903 markings/sec, 2305 secs
lola: STP completed || 38 tries, 37522197 fired transitions, 2310 secs || 33141631 markings, 267409871 edges, 14033 markings/sec, 2310 secs
lola: STP completed || 38 tries, 37602787 fired transitions, 2315 secs || 33211292 markings, 267993435 edges, 13932 markings/sec, 2315 secs
lola: STP completed || 38 tries, 37683735 fired transitions, 2320 secs || 33279456 markings, 268587132 edges, 13633 markings/sec, 2320 secs
lola: STP completed || 38 tries, 37763742 fired transitions, 2325 secs || 33348296 markings, 269151494 edges, 13768 markings/sec, 2325 secs
lola: STP completed || 38 tries, 37844080 fired transitions, 2330 secs || 33420505 markings, 269733914 edges, 14442 markings/sec, 2330 secs
lola: STP completed || 38 tries, 37924678 fired transitions, 2335 secs || 33489185 markings, 270319758 edges, 13736 markings/sec, 2335 secs
lola: STP completed || 39 tries, 38005030 fired transitions, 2340 secs || 33561591 markings, 270893644 edges, 14481 markings/sec, 2340 secs
lola: STP completed || 39 tries, 38085353 fired transitions, 2345 secs || 33632199 markings, 271476072 edges, 14122 markings/sec, 2345 secs
lola: STP completed || 39 tries, 38165610 fired transitions, 2350 secs || 33702290 markings, 272055434 edges, 14018 markings/sec, 2350 secs
lola: STP completed || 39 tries, 38245943 fired transitions, 2355 secs || 33771536 markings, 272630446 edges, 13849 markings/sec, 2355 secs
lola: STP completed || 39 tries, 38326502 fired transitions, 2360 secs || 33842488 markings, 273210265 edges, 14190 markings/sec, 2360 secs
lola: STP completed || 39 tries, 38410397 fired transitions, 2365 secs || 33915198 markings, 273813493 edges, 14542 markings/sec, 2365 secs
lola: STP completed || 39 tries, 38499418 fired transitions, 2370 secs || 33993275 markings, 274473081 edges, 15615 markings/sec, 2370 secs
lola: STP completed || 39 tries, 38585061 fired transitions, 2375 secs || 34068174 markings, 275105128 edges, 14980 markings/sec, 2375 secs
lola: STP completed || 39 tries, 38665013 fired transitions, 2380 secs || 34137923 markings, 275702628 edges, 13950 markings/sec, 2380 secs
lola: STP completed || 39 tries, 38745226 fired transitions, 2385 secs || 34207774 markings, 276288520 edges, 13970 markings/sec, 2385 secs
lola: STP completed || 39 tries, 38825185 fired transitions, 2390 secs || 34275931 markings, 276872512 edges, 13631 markings/sec, 2390 secs
lola: STP completed || 39 tries, 38905767 fired transitions, 2395 secs || 34344676 markings, 277445816 edges, 13749 markings/sec, 2395 secs
lola: STP completed || 39 tries, 38986107 fired transitions, 2400 secs || 34413422 markings, 278015741 edges, 13749 markings/sec, 2400 secs
lola: STP completed || 40 tries, 39066716 fired transitions, 2405 secs || 34482718 markings, 278611350 edges, 13859 markings/sec, 2405 secs
lola: STP completed || 40 tries, 39147013 fired transitions, 2410 secs || 34553663 markings, 279209391 edges, 14189 markings/sec, 2410 secs
lola: STP completed || 40 tries, 39227552 fired transitions, 2415 secs || 34622504 markings, 279788730 edges, 13768 markings/sec, 2415 secs
lola: STP completed || 40 tries, 39307743 fired transitions, 2420 secs || 34692934 markings, 280362862 edges, 14086 markings/sec, 2420 secs
lola: STP completed || 40 tries, 39388387 fired transitions, 2425 secs || 34764843 markings, 280958797 edges, 14382 markings/sec, 2425 secs
lola: STP completed || 40 tries, 39468769 fired transitions, 2430 secs || 34835344 markings, 281528991 edges, 14100 markings/sec, 2430 secs
lola: STP completed || 40 tries, 39548996 fired transitions, 2435 secs || 34906376 markings, 282114584 edges, 14206 markings/sec, 2435 secs
lola: STP completed || 40 tries, 39629580 fired transitions, 2440 secs || 34976507 markings, 282682532 edges, 14026 markings/sec, 2440 secs
lola: STP completed || 40 tries, 39710306 fired transitions, 2445 secs || 35047326 markings, 283267266 edges, 14164 markings/sec, 2445 secs
lola: STP completed || 40 tries, 39791207 fired transitions, 2450 secs || 35120947 markings, 283849484 edges, 14724 markings/sec, 2450 secs
lola: STP completed || 40 tries, 39872802 fired transitions, 2455 secs || 35192609 markings, 284438830 edges, 14332 markings/sec, 2455 secs
lola: STP completed || 40 tries, 39953571 fired transitions, 2460 secs || 35263654 markings, 285035683 edges, 14209 markings/sec, 2460 secs
lola: STP completed || 41 tries, 40034415 fired transitions, 2465 secs || 35336223 markings, 285639586 edges, 14514 markings/sec, 2465 secs
lola: STP completed || 41 tries, 40115430 fired transitions, 2470 secs || 35405909 markings, 286249754 edges, 13937 markings/sec, 2470 secs
lola: STP completed || 41 tries, 40196127 fired transitions, 2475 secs || 35478786 markings, 286831201 edges, 14575 markings/sec, 2475 secs
lola: STP completed || 41 tries, 40280726 fired transitions, 2480 secs || 35552584 markings, 287450835 edges, 14760 markings/sec, 2480 secs
lola: STP completed || 41 tries, 40361647 fired transitions, 2485 secs || 35624540 markings, 288058356 edges, 14391 markings/sec, 2485 secs
lola: STP completed || 41 tries, 40445741 fired transitions, 2490 secs || 35699049 markings, 288668257 edges, 14902 markings/sec, 2490 secs
lola: STP completed || 41 tries, 40526985 fired transitions, 2495 secs || 35770699 markings, 289253892 edges, 14330 markings/sec, 2495 secs
lola: STP completed || 41 tries, 40607574 fired transitions, 2500 secs || 35841238 markings, 289847409 edges, 14108 markings/sec, 2500 secs
lola: STP completed || 41 tries, 40688069 fired transitions, 2505 secs || 35911428 markings, 290430190 edges, 14038 markings/sec, 2505 secs
lola: STP completed || 41 tries, 40768185 fired transitions, 2510 secs || 35982174 markings, 291021154 edges, 14149 markings/sec, 2510 secs
lola: STP completed || 41 tries, 40848339 fired transitions, 2515 secs || 36053035 markings, 291602992 edges, 14172 markings/sec, 2515 secs
lola: STP completed || 41 tries, 40928511 fired transitions, 2520 secs || 36124114 markings, 292198499 edges, 14216 markings/sec, 2520 secs
lola: STP completed || 42 tries, 41008439 fired transitions, 2525 secs || 36195735 markings, 292773671 edges, 14324 markings/sec, 2525 secs
lola: STP completed || 42 tries, 41088938 fired transitions, 2530 secs || 36268320 markings, 293357675 edges, 14517 markings/sec, 2530 secs
lola: STP completed || 42 tries, 41169534 fired transitions, 2535 secs || 36338684 markings, 293959038 edges, 14073 markings/sec, 2535 secs
lola: STP completed || 42 tries, 41249803 fired transitions, 2540 secs || 36410303 markings, 294545771 edges, 14324 markings/sec, 2540 secs
lola: STP completed || 42 tries, 41330332 fired transitions, 2545 secs || 36482563 markings, 295133460 edges, 14452 markings/sec, 2545 secs
lola: STP completed || 42 tries, 41411188 fired transitions, 2550 secs || 36555035 markings, 295734684 edges, 14494 markings/sec, 2550 secs
lola: STP completed || 42 tries, 41491443 fired transitions, 2555 secs || 36628734 markings, 296338253 edges, 14740 markings/sec, 2555 secs
lola: STP completed || 42 tries, 41572203 fired transitions, 2560 secs || 36699729 markings, 296927967 edges, 14199 markings/sec, 2560 secs
lola: STP completed || 42 tries, 41652471 fired transitions, 2565 secs || 36772013 markings, 297504903 edges, 14457 markings/sec, 2565 secs
lola: STP completed || 42 tries, 41734058 fired transitions, 2570 secs || 36844962 markings, 298085468 edges, 14590 markings/sec, 2570 secs
lola: STP completed || 42 tries, 41814143 fired transitions, 2575 secs || 36915565 markings, 298665595 edges, 14121 markings/sec, 2575 secs
lola: STP completed || 42 tries, 41894452 fired transitions, 2580 secs || 36986428 markings, 299257679 edges, 14173 markings/sec, 2580 secs
lola: STP completed || 42 tries, 41978483 fired transitions, 2585 secs || 37059009 markings, 299854056 edges, 14516 markings/sec, 2585 secs
lola: STP completed || 43 tries, 42062998 fired transitions, 2590 secs || 37131267 markings, 300463386 edges, 14452 markings/sec, 2590 secs
lola: STP completed || 43 tries, 42143243 fired transitions, 2595 secs || 37200910 markings, 301071673 edges, 13929 markings/sec, 2595 secs
lola: STP completed || 43 tries, 42222837 fired transitions, 2600 secs || 37271277 markings, 301637926 edges, 14073 markings/sec, 2600 secs
lola: STP completed || 43 tries, 42302803 fired transitions, 2605 secs || 37340377 markings, 302211469 edges, 13820 markings/sec, 2605 secs
lola: STP completed || 43 tries, 42382817 fired transitions, 2610 secs || 37409406 markings, 302794224 edges, 13806 markings/sec, 2610 secs
lola: STP completed || 43 tries, 42462815 fired transitions, 2615 secs || 37479247 markings, 303362575 edges, 13968 markings/sec, 2615 secs
lola: STP completed || 43 tries, 42542828 fired transitions, 2620 secs || 37550428 markings, 303933703 edges, 14236 markings/sec, 2620 secs
lola: STP completed || 43 tries, 42626099 fired transitions, 2625 secs || 37623994 markings, 304536917 edges, 14713 markings/sec, 2625 secs
lola: STP completed || 43 tries, 42711649 fired transitions, 2630 secs || 37697316 markings, 305164485 edges, 14664 markings/sec, 2630 secs
lola: STP completed || 43 tries, 42792452 fired transitions, 2635 secs || 37768689 markings, 305745770 edges, 14275 markings/sec, 2635 secs
lola: STP completed || 43 tries, 42873126 fired transitions, 2640 secs || 37838782 markings, 306338036 edges, 14019 markings/sec, 2640 secs
lola: STP completed || 43 tries, 42955810 fired transitions, 2645 secs || 37911678 markings, 306943992 edges, 14579 markings/sec, 2645 secs
lola: STP completed || 44 tries, 43045078 fired transitions, 2650 secs || 37990295 markings, 307600250 edges, 15723 markings/sec, 2650 secs
lola: STP completed || 44 tries, 43132139 fired transitions, 2655 secs || 38064938 markings, 308228911 edges, 14929 markings/sec, 2655 secs
lola: STP completed || 44 tries, 43212151 fired transitions, 2660 secs || 38135692 markings, 308802003 edges, 14151 markings/sec, 2660 secs
lola: STP completed || 44 tries, 43292715 fired transitions, 2665 secs || 38206054 markings, 309379643 edges, 14072 markings/sec, 2665 secs
lola: STP completed || 44 tries, 43375009 fired transitions, 2670 secs || 38276066 markings, 310006364 edges, 14002 markings/sec, 2670 secs
lola: STP completed || 44 tries, 43455361 fired transitions, 2675 secs || 38347965 markings, 310612033 edges, 14380 markings/sec, 2675 secs
lola: STP completed || 44 tries, 43540479 fired transitions, 2680 secs || 38422372 markings, 311251324 edges, 14881 markings/sec, 2680 secs
lola: STP completed || 44 tries, 43620445 fired transitions, 2685 secs || 38493057 markings, 311825465 edges, 14137 markings/sec, 2685 secs
lola: STP completed || 44 tries, 43700777 fired transitions, 2690 secs || 38563964 markings, 312417124 edges, 14181 markings/sec, 2690 secs
lola: STP completed || 44 tries, 43780732 fired transitions, 2695 secs || 38632731 markings, 313016447 edges, 13753 markings/sec, 2695 secs
lola: STP completed || 44 tries, 43862835 fired transitions, 2700 secs || 38703413 markings, 313603907 edges, 14136 markings/sec, 2700 secs
lola: STP completed || 44 tries, 43942779 fired transitions, 2705 secs || 38773702 markings, 314177464 edges, 14058 markings/sec, 2705 secs
lola: STP completed || 45 tries, 44026287 fired transitions, 2710 secs || 38847355 markings, 314773596 edges, 14731 markings/sec, 2710 secs
lola: STP completed || 45 tries, 44113940 fired transitions, 2715 secs || 38922361 markings, 315397863 edges, 15001 markings/sec, 2715 secs
lola: STP completed || 45 tries, 44193588 fired transitions, 2720 secs || 38991443 markings, 315964103 edges, 13816 markings/sec, 2720 secs
lola: STP completed || 45 tries, 44274205 fired transitions, 2725 secs || 39061522 markings, 316558884 edges, 14016 markings/sec, 2725 secs
lola: STP completed || 45 tries, 44354567 fired transitions, 2730 secs || 39132433 markings, 317144164 edges, 14182 markings/sec, 2730 secs
lola: STP completed || 45 tries, 44435205 fired transitions, 2735 secs || 39200688 markings, 317742016 edges, 13651 markings/sec, 2735 secs
lola: STP completed || 45 tries, 44515879 fired transitions, 2740 secs || 39275086 markings, 318331409 edges, 14880 markings/sec, 2740 secs
lola: STP completed || 45 tries, 44596554 fired transitions, 2745 secs || 39346183 markings, 318937181 edges, 14219 markings/sec, 2745 secs
lola: STP completed || 45 tries, 44677033 fired transitions, 2750 secs || 39416996 markings, 319509167 edges, 14163 markings/sec, 2750 secs
lola: STP completed || 45 tries, 44757146 fired transitions, 2755 secs || 39487750 markings, 320083793 edges, 14151 markings/sec, 2755 secs
lola: STP completed || 45 tries, 44841638 fired transitions, 2760 secs || 39560455 markings, 320703811 edges, 14541 markings/sec, 2760 secs
lola: STP completed || 45 tries, 44929485 fired transitions, 2765 secs || 39637861 markings, 321355437 edges, 15481 markings/sec, 2765 secs
lola: STP completed || 46 tries, 45010319 fired transitions, 2770 secs || 39709848 markings, 321957191 edges, 14397 markings/sec, 2770 secs
lola: STP completed || 46 tries, 45093117 fired transitions, 2775 secs || 39781741 markings, 322575500 edges, 14379 markings/sec, 2775 secs
lola: STP completed || 46 tries, 45175296 fired transitions, 2780 secs || 39852985 markings, 323180172 edges, 14249 markings/sec, 2780 secs
lola: STP completed || 46 tries, 45255916 fired transitions, 2785 secs || 39924097 markings, 323787045 edges, 14222 markings/sec, 2785 secs
lola: STP completed || 46 tries, 45336519 fired transitions, 2790 secs || 39997048 markings, 324381840 edges, 14590 markings/sec, 2790 secs
lola: STP completed || 46 tries, 45419218 fired transitions, 2795 secs || 40066998 markings, 324987820 edges, 13990 markings/sec, 2795 secs
lola: STP completed || 46 tries, 45500417 fired transitions, 2800 secs || 40138163 markings, 325586016 edges, 14233 markings/sec, 2800 secs
lola: STP completed || 46 tries, 45584901 fired transitions, 2805 secs || 40212929 markings, 326200240 edges, 14953 markings/sec, 2805 secs
lola: STP completed || 46 tries, 45670769 fired transitions, 2810 secs || 40286356 markings, 326825843 edges, 14685 markings/sec, 2810 secs
lola: STP completed || 46 tries, 45750938 fired transitions, 2815 secs || 40355668 markings, 327420724 edges, 13862 markings/sec, 2815 secs
lola: STP completed || 46 tries, 45830701 fired transitions, 2820 secs || 40426427 markings, 328006170 edges, 14152 markings/sec, 2820 secs
lola: STP completed || 46 tries, 45912985 fired transitions, 2825 secs || 40496371 markings, 328626374 edges, 13989 markings/sec, 2825 secs
lola: STP completed || 46 tries, 45996253 fired transitions, 2830 secs || 40571009 markings, 329230027 edges, 14928 markings/sec, 2830 secs
lola: STP completed || 47 tries, 46080250 fired transitions, 2835 secs || 40643183 markings, 329835121 edges, 14435 markings/sec, 2835 secs
lola: STP completed || 47 tries, 46160495 fired transitions, 2840 secs || 40715787 markings, 330423115 edges, 14521 markings/sec, 2840 secs
lola: STP completed || 47 tries, 46241300 fired transitions, 2845 secs || 40789491 markings, 331011716 edges, 14741 markings/sec, 2845 secs
lola: STP completed || 47 tries, 46321798 fired transitions, 2850 secs || 40863235 markings, 331606761 edges, 14749 markings/sec, 2850 secs
lola: STP completed || 47 tries, 46401979 fired transitions, 2855 secs || 40932550 markings, 332196320 edges, 13863 markings/sec, 2855 secs
lola: STP completed || 47 tries, 46481854 fired transitions, 2860 secs || 41002433 markings, 332774099 edges, 13977 markings/sec, 2860 secs
lola: STP completed || 47 tries, 46561819 fired transitions, 2865 secs || 41075563 markings, 333327338 edges, 14626 markings/sec, 2865 secs
lola: STP completed || 47 tries, 46641590 fired transitions, 2870 secs || 41149468 markings, 333848102 edges, 14781 markings/sec, 2870 secs
lola: STP completed || 47 tries, 46720654 fired transitions, 2875 secs || 41223701 markings, 334360703 edges, 14847 markings/sec, 2875 secs
lola: STP completed || 47 tries, 46800366 fired transitions, 2880 secs || 41297895 markings, 334889015 edges, 14839 markings/sec, 2880 secs
lola: STP completed || 47 tries, 46879523 fired transitions, 2885 secs || 41372753 markings, 335409102 edges, 14972 markings/sec, 2885 secs
lola: STP completed || 47 tries, 46959879 fired transitions, 2890 secs || 41445282 markings, 335971575 edges, 14506 markings/sec, 2890 secs
lola: STP completed || 48 tries, 47040371 fired transitions, 2895 secs || 41514243 markings, 336563887 edges, 13792 markings/sec, 2895 secs
lola: STP completed || 48 tries, 47120577 fired transitions, 2900 secs || 41585369 markings, 337145131 edges, 14225 markings/sec, 2900 secs
lola: STP completed || 48 tries, 47201130 fired transitions, 2905 secs || 41657360 markings, 337732898 edges, 14398 markings/sec, 2905 secs
lola: STP completed || 48 tries, 47280731 fired transitions, 2910 secs || 41726901 markings, 338303353 edges, 13908 markings/sec, 2910 secs
lola: STP completed || 48 tries, 47361176 fired transitions, 2915 secs || 41796171 markings, 338871894 edges, 13854 markings/sec, 2915 secs
lola: STP completed || 48 tries, 47441903 fired transitions, 2920 secs || 41865949 markings, 339466266 edges, 13956 markings/sec, 2920 secs
lola: STP completed || 48 tries, 47522958 fired transitions, 2925 secs || 41938009 markings, 340053375 edges, 14412 markings/sec, 2925 secs
lola: STP completed || 48 tries, 47607926 fired transitions, 2930 secs || 42010755 markings, 340665170 edges, 14549 markings/sec, 2930 secs
lola: STP completed || 48 tries, 47690205 fired transitions, 2935 secs || 42081925 markings, 341281430 edges, 14234 markings/sec, 2935 secs
lola: STP completed || 48 tries, 47770962 fired transitions, 2940 secs || 42154311 markings, 341879193 edges, 14477 markings/sec, 2940 secs
lola: STP completed || 48 tries, 47852226 fired transitions, 2945 secs || 42228022 markings, 342496455 edges, 14742 markings/sec, 2945 secs
lola: STP completed || 48 tries, 47934611 fired transitions, 2950 secs || 42300199 markings, 343104034 edges, 14435 markings/sec, 2950 secs
lola: STP completed || 49 tries, 48019933 fired transitions, 2955 secs || 42373466 markings, 343733648 edges, 14653 markings/sec, 2955 secs
lola: STP completed || 49 tries, 48105834 fired transitions, 2960 secs || 42449604 markings, 344356218 edges, 15228 markings/sec, 2960 secs
lola: STP completed || 49 tries, 48186776 fired transitions, 2965 secs || 42519479 markings, 344953738 edges, 13975 markings/sec, 2965 secs
lola: STP completed || 49 tries, 48267543 fired transitions, 2970 secs || 42590331 markings, 345550209 edges, 14170 markings/sec, 2970 secs
lola: STP completed || 49 tries, 48347579 fired transitions, 2975 secs || 42660863 markings, 346130347 edges, 14106 markings/sec, 2975 secs
lola: STP completed || 49 tries, 48428302 fired transitions, 2980 secs || 42734725 markings, 346726042 edges, 14772 markings/sec, 2980 secs
lola: STP completed || 49 tries, 48508496 fired transitions, 2985 secs || 42808750 markings, 347304904 edges, 14805 markings/sec, 2985 secs
lola: STP completed || 49 tries, 48597021 fired transitions, 2990 secs || 42886041 markings, 347968331 edges, 15458 markings/sec, 2990 secs
lola: STP completed || 49 tries, 48677725 fired transitions, 2995 secs || 42958020 markings, 348559682 edges, 14396 markings/sec, 2995 secs
lola: STP completed || 49 tries, 48758021 fired transitions, 3000 secs || 43029613 markings, 349130603 edges, 14319 markings/sec, 3000 secs
lola: STP completed || 49 tries, 48838040 fired transitions, 3005 secs || 43101616 markings, 349727582 edges, 14401 markings/sec, 3005 secs
lola: STP completed || 49 tries, 48918187 fired transitions, 3010 secs || 43172640 markings, 350296119 edges, 14205 markings/sec, 3010 secs
lola: STP completed || 49 tries, 48998725 fired transitions, 3015 secs || 43243306 markings, 350893023 edges, 14133 markings/sec, 3015 secs
lola: STP completed || 50 tries, 49079280 fired transitions, 3020 secs || 43313126 markings, 351499556 edges, 13964 markings/sec, 3020 secs
lola: STP completed || 50 tries, 49159878 fired transitions, 3025 secs || 43382705 markings, 352101070 edges, 13916 markings/sec, 3025 secs
lola: STP completed || 50 tries, 49240493 fired transitions, 3030 secs || 43452180 markings, 352675227 edges, 13895 markings/sec, 3030 secs
lola: STP completed || 50 tries, 49321227 fired transitions, 3035 secs || 43521310 markings, 353254257 edges, 13826 markings/sec, 3035 secs
lola: STP completed || 50 tries, 49401865 fired transitions, 3040 secs || 43592235 markings, 353827072 edges, 14185 markings/sec, 3040 secs
lola: STP completed || 50 tries, 49482168 fired transitions, 3045 secs || 43661765 markings, 354411884 edges, 13906 markings/sec, 3045 secs
lola: STP completed || 50 tries, 49562284 fired transitions, 3050 secs || 43732678 markings, 354992024 edges, 14183 markings/sec, 3050 secs
lola: STP completed || 50 tries, 49642531 fired transitions, 3055 secs || 43803383 markings, 355555290 edges, 14141 markings/sec, 3055 secs
lola: STP completed || 50 tries, 49723658 fired transitions, 3060 secs || 43872979 markings, 356154485 edges, 13919 markings/sec, 3060 secs
lola: STP completed || 50 tries, 49804481 fired transitions, 3065 secs || 43942319 markings, 356747489 edges, 13868 markings/sec, 3065 secs
lola: STP completed || 50 tries, 49885491 fired transitions, 3070 secs || 44012203 markings, 357345031 edges, 13977 markings/sec, 3070 secs
lola: STP completed || 50 tries, 49966088 fired transitions, 3075 secs || 44084381 markings, 357933798 edges, 14436 markings/sec, 3075 secs
lola: STP completed || 51 tries, 50046059 fired transitions, 3080 secs || 44155019 markings, 358509983 edges, 14128 markings/sec, 3080 secs
lola: STP completed || 51 tries, 50125986 fired transitions, 3085 secs || 44225276 markings, 359075761 edges, 14051 markings/sec, 3085 secs
lola: STP completed || 51 tries, 50206990 fired transitions, 3090 secs || 44296380 markings, 359662913 edges, 14221 markings/sec, 3090 secs
lola: STP completed || 51 tries, 50287016 fired transitions, 3095 secs || 44368217 markings, 360243696 edges, 14367 markings/sec, 3095 secs
lola: STP completed || 51 tries, 50367736 fired transitions, 3100 secs || 44436329 markings, 360840505 edges, 13622 markings/sec, 3100 secs
lola: STP completed || 51 tries, 50448297 fired transitions, 3105 secs || 44505489 markings, 361423004 edges, 13832 markings/sec, 3105 secs
lola: STP completed || 51 tries, 50528516 fired transitions, 3110 secs || 44577183 markings, 362024853 edges, 14339 markings/sec, 3110 secs
lola: STP completed || 51 tries, 50608484 fired transitions, 3115 secs || 44646991 markings, 362608839 edges, 13962 markings/sec, 3115 secs
lola: STP completed || 51 tries, 50688791 fired transitions, 3120 secs || 44718096 markings, 363190464 edges, 14221 markings/sec, 3120 secs
lola: STP completed || 51 tries, 50769424 fired transitions, 3125 secs || 44789153 markings, 363786627 edges, 14211 markings/sec, 3125 secs
lola: STP completed || 51 tries, 50849936 fired transitions, 3130 secs || 44861392 markings, 364390522 edges, 14448 markings/sec, 3130 secs
lola: STP completed || 51 tries, 50930494 fired transitions, 3135 secs || 44931899 markings, 364986207 edges, 14101 markings/sec, 3135 secs
lola: STP completed || 52 tries, 51011102 fired transitions, 3140 secs || 45003903 markings, 365594160 edges, 14401 markings/sec, 3140 secs
lola: STP completed || 52 tries, 51092868 fired transitions, 3145 secs || 45076391 markings, 366201030 edges, 14498 markings/sec, 3145 secs
lola: STP completed || 52 tries, 51173278 fired transitions, 3150 secs || 45147464 markings, 366784977 edges, 14215 markings/sec, 3150 secs
lola: STP completed || 52 tries, 51253707 fired transitions, 3155 secs || 45219409 markings, 367363734 edges, 14389 markings/sec, 3155 secs
lola: STP completed || 52 tries, 51337650 fired transitions, 3160 secs || 45292815 markings, 367984503 edges, 14681 markings/sec, 3160 secs
lola: STP completed || 52 tries, 51427022 fired transitions, 3165 secs || 45371986 markings, 368647967 edges, 15834 markings/sec, 3165 secs
lola: STP completed || 52 tries, 51507574 fired transitions, 3170 secs || 45442381 markings, 369235619 edges, 14079 markings/sec, 3170 secs
lola: STP completed || 52 tries, 51589292 fired transitions, 3175 secs || 45514092 markings, 369837408 edges, 14342 markings/sec, 3175 secs
lola: STP completed || 52 tries, 51670425 fired transitions, 3180 secs || 45585494 markings, 370436372 edges, 14280 markings/sec, 3180 secs
lola: STP completed || 52 tries, 51751019 fired transitions, 3185 secs || 45654612 markings, 371054642 edges, 13824 markings/sec, 3185 secs
lola: STP completed || 52 tries, 51830773 fired transitions, 3190 secs || 45724110 markings, 371628687 edges, 13900 markings/sec, 3190 secs
lola: STP completed || 52 tries, 51911371 fired transitions, 3195 secs || 45794486 markings, 372229588 edges, 14075 markings/sec, 3195 secs
lola: STP completed || 52 tries, 51991974 fired transitions, 3200 secs || 45865353 markings, 372806064 edges, 14173 markings/sec, 3200 secs
lola: STP completed || 53 tries, 52072129 fired transitions, 3205 secs || 45935061 markings, 373387346 edges, 13942 markings/sec, 3205 secs
lola: STP completed || 53 tries, 52152082 fired transitions, 3210 secs || 46004992 markings, 373953991 edges, 13986 markings/sec, 3210 secs
lola: STP completed || 53 tries, 52231923 fired transitions, 3215 secs || 46074136 markings, 374541357 edges, 13829 markings/sec, 3215 secs
lola: STP completed || 53 tries, 52312367 fired transitions, 3220 secs || 46144939 markings, 375127313 edges, 14161 markings/sec, 3220 secs
lola: STP completed || 53 tries, 52392864 fired transitions, 3225 secs || 46214904 markings, 375739042 edges, 13993 markings/sec, 3225 secs
lola: STP completed || 53 tries, 52476695 fired transitions, 3230 secs || 46289594 markings, 376352674 edges, 14938 markings/sec, 3230 secs
lola: STP completed || 53 tries, 52560184 fired transitions, 3235 secs || 46363217 markings, 376977668 edges, 14725 markings/sec, 3235 secs
lola: STP completed || 53 tries, 52640482 fired transitions, 3240 secs || 46436415 markings, 377564390 edges, 14640 markings/sec, 3240 secs
lola: STP completed || 53 tries, 52720273 fired transitions, 3245 secs || 46509157 markings, 378147745 edges, 14548 markings/sec, 3245 secs
lola: STP completed || 53 tries, 52800446 fired transitions, 3250 secs || 46582447 markings, 378752886 edges, 14658 markings/sec, 3250 secs
lola: STP completed || 53 tries, 52880992 fired transitions, 3255 secs || 46655600 markings, 379347432 edges, 14631 markings/sec, 3255 secs
lola: STP completed || 53 tries, 52966703 fired transitions, 3260 secs || 46730984 markings, 379967449 edges, 15077 markings/sec, 3260 secs
lola: STP completed || 54 tries, 53049741 fired transitions, 3265 secs || 46803539 markings, 380584947 edges, 14511 markings/sec, 3265 secs
lola: STP completed || 54 tries, 53137218 fired transitions, 3270 secs || 46880839 markings, 381223575 edges, 15460 markings/sec, 3270 secs
lola: STP completed || 54 tries, 53218013 fired transitions, 3275 secs || 46952710 markings, 381813354 edges, 14374 markings/sec, 3275 secs
lola: STP completed || 54 tries, 53300756 fired transitions, 3280 secs || 47028109 markings, 382427807 edges, 15080 markings/sec, 3280 secs
lola: STP completed || 54 tries, 53381360 fired transitions, 3285 secs || 47098713 markings, 383032907 edges, 14121 markings/sec, 3285 secs
lola: STP completed || 54 tries, 53468572 fired transitions, 3290 secs || 47175584 markings, 383677984 edges, 15374 markings/sec, 3290 secs
lola: STP completed || 54 tries, 53558016 fired transitions, 3295 secs || 47254130 markings, 384340552 edges, 15709 markings/sec, 3295 secs
lola: STP completed || 54 tries, 53643627 fired transitions, 3300 secs || 47331917 markings, 384963649 edges, 15557 markings/sec, 3300 secs
lola: STP completed || 54 tries, 53727286 fired transitions, 3305 secs || 47404945 markings, 385582720 edges, 14606 markings/sec, 3305 secs
lola: STP completed || 54 tries, 53810281 fired transitions, 3310 secs || 47477868 markings, 386197395 edges, 14585 markings/sec, 3310 secs
lola: STP completed || 54 tries, 53893618 fired transitions, 3315 secs || 47551531 markings, 386817052 edges, 14733 markings/sec, 3315 secs
lola: STP completed || 54 tries, 53976072 fired transitions, 3320 secs || 47622487 markings, 387408881 edges, 14191 markings/sec, 3320 secs
lola: STP completed || 55 tries, 54059903 fired transitions, 3325 secs || 47694681 markings, 388027332 edges, 14439 markings/sec, 3325 secs
lola: STP completed || 55 tries, 54142812 fired transitions, 3330 secs || 47768037 markings, 388620756 edges, 14671 markings/sec, 3330 secs
lola: STP completed || 55 tries, 54229058 fired transitions, 3335 secs || 47843805 markings, 389263344 edges, 15154 markings/sec, 3335 secs
lola: STP completed || 55 tries, 54309430 fired transitions, 3340 secs || 47916518 markings, 389865916 edges, 14543 markings/sec, 3340 secs
lola: STP completed || 55 tries, 54390244 fired transitions, 3345 secs || 47987325 markings, 390458991 edges, 14161 markings/sec, 3345 secs
lola: STP completed || 55 tries, 54470005 fired transitions, 3350 secs || 48059901 markings, 391020175 edges, 14515 markings/sec, 3350 secs
lola: STP completed || 55 tries, 54549130 fired transitions, 3355 secs || 48132815 markings, 391538623 edges, 14583 markings/sec, 3355 secs
lola: STP completed || 55 tries, 54628908 fired transitions, 3360 secs || 48205930 markings, 392049810 edges, 14623 markings/sec, 3360 secs
lola: STP completed || 55 tries, 54708073 fired transitions, 3365 secs || 48279499 markings, 392567617 edges, 14714 markings/sec, 3365 secs
lola: STP completed || 55 tries, 54787386 fired transitions, 3370 secs || 48353477 markings, 393082841 edges, 14796 markings/sec, 3370 secs
lola: STP completed || 55 tries, 54866712 fired transitions, 3375 secs || 48427668 markings, 393599716 edges, 14838 markings/sec, 3375 secs
lola: STP completed || 55 tries, 54946673 fired transitions, 3380 secs || 48502769 markings, 394134598 edges, 15020 markings/sec, 3380 secs
lola: STP completed || 56 tries, 55026807 fired transitions, 3385 secs || 48575787 markings, 394717854 edges, 14604 markings/sec, 3385 secs
lola: STP completed || 56 tries, 55109899 fired transitions, 3390 secs || 48648742 markings, 395328975 edges, 14591 markings/sec, 3390 secs
lola: STP completed || 56 tries, 55190334 fired transitions, 3395 secs || 48721324 markings, 395919198 edges, 14516 markings/sec, 3395 secs
lola: STP completed || 56 tries, 55270701 fired transitions, 3400 secs || 48792797 markings, 396507143 edges, 14295 markings/sec, 3400 secs
lola: STP completed || 56 tries, 55349599 fired transitions, 3405 secs || 48861189 markings, 397074027 edges, 13678 markings/sec, 3405 secs
lola: STP completed || 56 tries, 55429828 fired transitions, 3410 secs || 48932384 markings, 397649436 edges, 14239 markings/sec, 3410 secs
lola: STP completed || 56 tries, 55513724 fired transitions, 3415 secs || 49009801 markings, 398267095 edges, 15483 markings/sec, 3415 secs
lola: STP completed || 56 tries, 55601125 fired transitions, 3420 secs || 49087559 markings, 398920556 edges, 15552 markings/sec, 3420 secs
lola: STP completed || 56 tries, 55682882 fired transitions, 3425 secs || 49162078 markings, 399524532 edges, 14904 markings/sec, 3425 secs
lola: STP completed || 56 tries, 55763162 fired transitions, 3430 secs || 49232611 markings, 400094738 edges, 14107 markings/sec, 3430 secs
lola: STP completed || 56 tries, 55843825 fired transitions, 3435 secs || 49302690 markings, 400694074 edges, 14016 markings/sec, 3435 secs
lola: STP completed || 56 tries, 55924176 fired transitions, 3440 secs || 49373945 markings, 401289688 edges, 14251 markings/sec, 3440 secs
lola: STP completed || 57 tries, 56006410 fired transitions, 3445 secs || 49445628 markings, 401887156 edges, 14337 markings/sec, 3445 secs
lola: STP completed || 57 tries, 56089547 fired transitions, 3450 secs || 49516120 markings, 402477128 edges, 14098 markings/sec, 3450 secs
lola: STP completed || 57 tries, 56172435 fired transitions, 3455 secs || 49590546 markings, 403090893 edges, 14885 markings/sec, 3455 secs
lola: STP completed || 57 tries, 56252795 fired transitions, 3460 secs || 49660013 markings, 403657723 edges, 13893 markings/sec, 3460 secs
lola: STP completed || 57 tries, 56333378 fired transitions, 3465 secs || 49730318 markings, 404225159 edges, 14061 markings/sec, 3465 secs
lola: STP completed || 57 tries, 56413709 fired transitions, 3470 secs || 49800077 markings, 404806759 edges, 13952 markings/sec, 3470 secs
lola: STP completed || 57 tries, 56494089 fired transitions, 3475 secs || 49870116 markings, 405386782 edges, 14008 markings/sec, 3475 secs
lola: STP completed || 57 tries, 56574645 fired transitions, 3480 secs || 49940168 markings, 405973960 edges, 14010 markings/sec, 3480 secs
lola: STP completed || 57 tries, 56655102 fired transitions, 3485 secs || 50009879 markings, 406553012 edges, 13942 markings/sec, 3485 secs
lola: STP completed || 57 tries, 56735466 fired transitions, 3490 secs || 50079978 markings, 407141609 edges, 14020 markings/sec, 3490 secs
lola: STP completed || 57 tries, 56817374 fired transitions, 3495 secs || 50151460 markings, 407714077 edges, 14296 markings/sec, 3495 secs
lola: STP completed || 57 tries, 56900847 fired transitions, 3500 secs || 50222878 markings, 408320350 edges, 14284 markings/sec, 3500 secs
lola: STP completed || 57 tries, 56985776 fired transitions, 3505 secs || 50295800 markings, 408925782 edges, 14584 markings/sec, 3505 secs
lola: STP completed || 58 tries, 57065719 fired transitions, 3510 secs || 50363117 markings, 409509516 edges, 13463 markings/sec, 3510 secs
lola: STP completed || 58 tries, 57145909 fired transitions, 3515 secs || 50432071 markings, 410089636 edges, 13791 markings/sec, 3515 secs
lola: STP completed || 58 tries, 57226764 fired transitions, 3520 secs || 50503015 markings, 410686033 edges, 14189 markings/sec, 3520 secs
lola: STP completed || 58 tries, 57311696 fired transitions, 3525 secs || 50576178 markings, 411280488 edges, 14633 markings/sec, 3525 secs
lola: STP completed || 58 tries, 57391797 fired transitions, 3530 secs || 50643932 markings, 411841886 edges, 13551 markings/sec, 3530 secs
lola: STP completed || 58 tries, 57471984 fired transitions, 3535 secs || 50712334 markings, 412419132 edges, 13680 markings/sec, 3535 secs
lola: STP completed || 58 tries, 57551851 fired transitions, 3540 secs || 50782567 markings, 413001412 edges, 14047 markings/sec, 3540 secs
lola: STP completed || 58 tries, 57631908 fired transitions, 3545 secs || 50853826 markings, 413582258 edges, 14252 markings/sec, 3545 secs
lola: STP completed || 58 tries, 57712099 fired transitions, 3550 secs || 50923171 markings, 414153642 edges, 13869 markings/sec, 3550 secs
lola: STP completed || 58 tries, 57792478 fired transitions, 3555 secs || 50993542 markings, 414743541 edges, 14074 markings/sec, 3555 secs
lola: time limit reached - aborting
BK_STOP 1526957997828
--------------------
content from stderr:
Segmentation fault
Sequence of Actions to be Executed by the VM
This is useful if one wants to reexecute the tool in the VM from the submitted image disk.
set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="Raft-PT-08"
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/Raft-PT-08.tgz
mv Raft-PT-08 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 Raft-PT-08, 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 r136-qhx2-152673578900153"
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 ;