fond
Model Checking Contest 2018
8th edition, Bratislava, Slovakia, June 26, 2018
Execution of r136-qhx2-152673578900153
Last Updated
June 26, 2018

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 '' ReachabilityDeadlock.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;