About the Execution of LoLA for FlexibleBarrier-PT-12a
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 15919.250 | 3463733.00 | 6933958.00 | 25605.80 | [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 296K
-rw-r--r-- 1 mcc users 3.5K May 15 18:54 CTLCardinality.txt
-rw-r--r-- 1 mcc users 20K 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 18K May 15 18:54 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K May 15 18:50 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.1K May 15 18:50 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 2.3K May 15 18:54 LTLCardinality.txt
-rw-r--r-- 1 mcc users 9.6K May 15 18:54 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K May 15 18:54 LTLFireability.txt
-rw-r--r-- 1 mcc users 13K May 15 18:54 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.2K May 15 18:54 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 15K May 15 18:54 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 113 May 15 18:54 ReachabilityDeadlock.txt
-rw-r--r-- 1 mcc users 351 May 15 18:54 ReachabilityDeadlock.xml
-rw-r--r-- 1 mcc users 2.9K May 15 18:54 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 19K May 15 18:54 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K May 15 18:54 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K May 15 18:54 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 15 18:50 equiv_col
-rw-r--r-- 1 mcc users 4 May 15 18:50 instance
-rw-r--r-- 1 mcc users 6 May 15 18:50 iscolored
-rw-r--r-- 1 mcc users 128K May 15 18:50 model.pnml
=====================================================================
Generated by BenchKit 2-3637
Executing tool lola
Input is FlexibleBarrier-PT-12a, examination is ReachabilityDeadlock
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r088-blw7-152649998100160
=====================================================================
--------------------
content from stdout:
=== Data for post analysis generated by BenchKit (invocation template)
The expected result is a vector of booleans
BOOL_VECTOR
here is the order used to build the result vector(from text file)
FORMULA_NAME FlexibleBarrier-PT-12a-ReachabilityDeadlock-0
=== Now, execution of the tool begins
BK_START 1526661090625
info: Time: 3600 - MCC
===========================================================================================
prep: translating FlexibleBarrier-PT-12a Petri net model.pnml into LoLA format
===========================================================================================
prep: translating PT Petri net complete
prep: net is already safe
prep: check for too many tokens
===========================================================================================
prep: translating FlexibleBarrier-PT-12a formula ReachabilityDeadlock into LoLA format
===========================================================================================
prep: translating PT formula complete
vrfy: Checking ReachabilityDeadlock @ FlexibleBarrier-PT-12a @ 3570 seconds
lola: LoLA will run for 3570 seconds at most (--timelimit)
lola: NET
lola: reading net from model.pnml.lola
lola: finished parsing
lola: closed net file model.pnml.lola
lola: 595/65536 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 147
lola: finding significant places
lola: 147 places, 448 transitions, 133 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 352 transition conflict sets
lola: TASK
lola: reading formula from FlexibleBarrier-PT-12a-ReachabilityDeadlock.task
lola: E (F (DEADLOCK))
lola: rewrite Frontend/Parser/formula_rewrite.k:106
lola: checking reachability of deadlocks
lola: Planning: workflow for deadlock check: siphon||findpath||search) (--findpath=par,--siphontrap=par)
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using deadlock preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: SEARCH (findpath)
lola: findpath: using deadlock preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: findpath: starting randomized, memory-less exploration (--search=findpath)
lola: findpath: searching for paths with maximal depth 1000000 (--depthlimit)
lola: findpath: no retry limit given (--retrylimit)
lola: findpath: transitions are chosen randomly
lola: computing symmetries (--symmetry)
lola: time limit for symmetry computation of 300 seconds given (--symmtimelimit)
lola: computed 55 generators (22 in search tree, 33 by composition)
lola: representing 3.99168E+07 symmetries
lola: 0 dead branches visited in search tree
lola: STP: formula with 7443 variables and 33056 clauses shipped to Minisat
lola: stp: The siphon/trap property does not hold
lola: STP completed || 1 tries, 159811 fired transitions, 0 secs || 238028 markings, 375265 edges, 47606 markings/sec, 0 secs
lola: STP completed || 1 tries, 328306 fired transitions, 5 secs || 470276 markings, 755331 edges, 46450 markings/sec, 5 secs
lola: STP completed || 1 tries, 498863 fired transitions, 10 secs || 661829 markings, 1068916 edges, 38311 markings/sec, 10 secs
lola: STP completed || 1 tries, 667382 fired transitions, 15 secs || 898939 markings, 1436040 edges, 47422 markings/sec, 15 secs
lola: STP completed || 1 tries, 860330 fired transitions, 20 secs || 1159514 markings, 1839123 edges, 52115 markings/sec, 20 secs
lola: STP completed || 2 tries, 1053414 fired transitions, 25 secs || 1424548 markings, 2258482 edges, 53007 markings/sec, 25 secs
lola: STP completed || 2 tries, 1246764 fired transitions, 30 secs || 1687785 markings, 2677970 edges, 52647 markings/sec, 30 secs
lola: STP completed || 2 tries, 1440537 fired transitions, 35 secs || 1956202 markings, 3107003 edges, 53683 markings/sec, 35 secs
lola: STP completed || 2 tries, 1633573 fired transitions, 40 secs || 2220725 markings, 3539825 edges, 52905 markings/sec, 40 secs
lola: STP completed || 2 tries, 1826575 fired transitions, 45 secs || 2487783 markings, 3980268 edges, 53412 markings/sec, 45 secs
lola: STP completed || 3 tries, 2019412 fired transitions, 50 secs || 2754221 markings, 4414760 edges, 53288 markings/sec, 50 secs
lola: STP completed || 3 tries, 2211012 fired transitions, 55 secs || 3019766 markings, 4846168 edges, 53109 markings/sec, 55 secs
lola: STP completed || 3 tries, 2397994 fired transitions, 60 secs || 3279978 markings, 5265622 edges, 52042 markings/sec, 60 secs
lola: STP completed || 3 tries, 2589764 fired transitions, 65 secs || 3546977 markings, 5700492 edges, 53400 markings/sec, 65 secs
lola: STP completed || 3 tries, 2782082 fired transitions, 70 secs || 3804077 markings, 6126090 edges, 51420 markings/sec, 70 secs
lola: STP completed || 3 tries, 2974507 fired transitions, 75 secs || 4065681 markings, 6546435 edges, 52321 markings/sec, 75 secs
lola: STP completed || 4 tries, 3166980 fired transitions, 80 secs || 4332166 markings, 6980948 edges, 53297 markings/sec, 80 secs
lola: STP completed || 4 tries, 3359411 fired transitions, 85 secs || 4604119 markings, 7432154 edges, 54391 markings/sec, 85 secs
lola: STP completed || 4 tries, 3551548 fired transitions, 90 secs || 4877135 markings, 7898004 edges, 54603 markings/sec, 90 secs
lola: STP completed || 4 tries, 3742896 fired transitions, 95 secs || 5140200 markings, 8318443 edges, 52613 markings/sec, 95 secs
lola: STP completed || 4 tries, 3910825 fired transitions, 100 secs || 5378408 markings, 8711266 edges, 47642 markings/sec, 100 secs
lola: STP completed || 5 tries, 4105064 fired transitions, 105 secs || 5637627 markings, 9141878 edges, 51844 markings/sec, 105 secs
lola: STP completed || 5 tries, 4298653 fired transitions, 110 secs || 5902460 markings, 9573442 edges, 52967 markings/sec, 110 secs
lola: STP completed || 5 tries, 4491941 fired transitions, 115 secs || 6164459 markings, 10021297 edges, 52400 markings/sec, 115 secs
lola: STP completed || 5 tries, 4683421 fired transitions, 120 secs || 6426130 markings, 10460326 edges, 52334 markings/sec, 120 secs
lola: STP completed || 5 tries, 4876012 fired transitions, 125 secs || 6697904 markings, 10930925 edges, 54355 markings/sec, 125 secs
lola: STP completed || 6 tries, 5069354 fired transitions, 130 secs || 6965820 markings, 11386446 edges, 53583 markings/sec, 130 secs
lola: STP completed || 6 tries, 5263092 fired transitions, 135 secs || 7235736 markings, 11848906 edges, 53983 markings/sec, 135 secs
lola: STP completed || 6 tries, 5455605 fired transitions, 140 secs || 7505479 markings, 12297398 edges, 53949 markings/sec, 140 secs
lola: STP completed || 6 tries, 5645720 fired transitions, 145 secs || 7759774 markings, 12718913 edges, 50859 markings/sec, 145 secs
lola: STP completed || 6 tries, 5834588 fired transitions, 150 secs || 8010438 markings, 13150560 edges, 50133 markings/sec, 150 secs
lola: STP completed || 7 tries, 6028210 fired transitions, 155 secs || 8272159 markings, 13606100 edges, 52344 markings/sec, 155 secs
lola: STP completed || 7 tries, 6222247 fired transitions, 160 secs || 8542476 markings, 14059450 edges, 54063 markings/sec, 160 secs
lola: STP completed || 7 tries, 6416305 fired transitions, 165 secs || 8814440 markings, 14526508 edges, 54393 markings/sec, 165 secs
lola: STP completed || 7 tries, 6610446 fired transitions, 170 secs || 9088311 markings, 15013326 edges, 54774 markings/sec, 170 secs
lola: STP completed || 7 tries, 6803647 fired transitions, 175 secs || 9359407 markings, 15470043 edges, 54219 markings/sec, 175 secs
lola: STP completed || 7 tries, 6997377 fired transitions, 180 secs || 9627091 markings, 15910619 edges, 53537 markings/sec, 180 secs
lola: STP completed || 8 tries, 7191091 fired transitions, 185 secs || 9900891 markings, 16383721 edges, 54760 markings/sec, 185 secs
lola: STP completed || 8 tries, 7384987 fired transitions, 190 secs || 10170571 markings, 16844945 edges, 53936 markings/sec, 190 secs
lola: STP completed || 8 tries, 7578383 fired transitions, 195 secs || 10431962 markings, 17275421 edges, 52278 markings/sec, 195 secs
lola: STP completed || 8 tries, 7770774 fired transitions, 200 secs || 10706808 markings, 17740154 edges, 54969 markings/sec, 200 secs
lola: STP completed || 8 tries, 7964466 fired transitions, 205 secs || 10977654 markings, 18195292 edges, 54169 markings/sec, 205 secs
lola: STP completed || 9 tries, 8156293 fired transitions, 210 secs || 11249138 markings, 18675796 edges, 54297 markings/sec, 210 secs
lola: STP completed || 9 tries, 8349158 fired transitions, 215 secs || 11520555 markings, 19155749 edges, 54283 markings/sec, 215 secs
lola: STP completed || 9 tries, 8541602 fired transitions, 220 secs || 11790868 markings, 19634252 edges, 54063 markings/sec, 220 secs
lola: STP completed || 9 tries, 8735245 fired transitions, 225 secs || 12065297 markings, 20099958 edges, 54886 markings/sec, 225 secs
lola: STP completed || 9 tries, 8928667 fired transitions, 230 secs || 12324031 markings, 20534857 edges, 51747 markings/sec, 230 secs
lola: STP completed || 10 tries, 9122047 fired transitions, 235 secs || 12590966 markings, 20985219 edges, 53387 markings/sec, 235 secs
lola: STP completed || 10 tries, 9315354 fired transitions, 240 secs || 12858540 markings, 21441653 edges, 53515 markings/sec, 240 secs
lola: STP completed || 10 tries, 9507527 fired transitions, 245 secs || 13128662 markings, 21913680 edges, 54024 markings/sec, 245 secs
lola: STP completed || 10 tries, 9701127 fired transitions, 250 secs || 13400732 markings, 22384737 edges, 54414 markings/sec, 250 secs
lola: STP completed || 10 tries, 9892404 fired transitions, 255 secs || 13671319 markings, 22843109 edges, 54117 markings/sec, 255 secs
lola: STP completed || 11 tries, 10085345 fired transitions, 260 secs || 13935832 markings, 23276995 edges, 52903 markings/sec, 260 secs
lola: STP completed || 11 tries, 10279165 fired transitions, 265 secs || 14203967 markings, 23708588 edges, 53627 markings/sec, 265 secs
lola: STP completed || 11 tries, 10471730 fired transitions, 270 secs || 14461797 markings, 24133910 edges, 51566 markings/sec, 270 secs
lola: STP completed || 11 tries, 10664929 fired transitions, 275 secs || 14734547 markings, 24600849 edges, 54550 markings/sec, 275 secs
lola: STP completed || 11 tries, 10858249 fired transitions, 280 secs || 15008237 markings, 25075261 edges, 54738 markings/sec, 280 secs
lola: STP completed || 12 tries, 11051840 fired transitions, 285 secs || 15283382 markings, 25562397 edges, 55029 markings/sec, 285 secs
lola: STP completed || 12 tries, 11246394 fired transitions, 290 secs || 15557178 markings, 26055163 edges, 54759 markings/sec, 290 secs
lola: STP completed || 12 tries, 11439854 fired transitions, 295 secs || 15831495 markings, 26549537 edges, 54863 markings/sec, 295 secs
lola: STP completed || 12 tries, 11634288 fired transitions, 300 secs || 16106406 markings, 27041925 edges, 54982 markings/sec, 300 secs
lola: STP completed || 12 tries, 11828024 fired transitions, 305 secs || 16376433 markings, 27500860 edges, 54005 markings/sec, 305 secs
lola: STP completed || 13 tries, 12020858 fired transitions, 310 secs || 16648686 markings, 27986711 edges, 54451 markings/sec, 310 secs
lola: STP completed || 13 tries, 12214013 fired transitions, 315 secs || 16921678 markings, 28446805 edges, 54598 markings/sec, 315 secs
lola: STP completed || 13 tries, 12408686 fired transitions, 320 secs || 17195613 markings, 28921701 edges, 54787 markings/sec, 320 secs
lola: STP completed || 13 tries, 12603021 fired transitions, 325 secs || 17465401 markings, 29379108 edges, 53958 markings/sec, 325 secs
lola: STP completed || 13 tries, 12796749 fired transitions, 330 secs || 17736457 markings, 29851084 edges, 54211 markings/sec, 330 secs
lola: STP completed || 13 tries, 12989850 fired transitions, 335 secs || 18006184 markings, 30319719 edges, 53945 markings/sec, 335 secs
lola: STP completed || 14 tries, 13181338 fired transitions, 340 secs || 18273664 markings, 30770218 edges, 53496 markings/sec, 340 secs
lola: STP completed || 14 tries, 13375826 fired transitions, 345 secs || 18548122 markings, 31262652 edges, 54892 markings/sec, 345 secs
lola: STP completed || 14 tries, 13567752 fired transitions, 350 secs || 18815822 markings, 31726754 edges, 53540 markings/sec, 350 secs
lola: STP completed || 14 tries, 13761623 fired transitions, 355 secs || 19084383 markings, 32179129 edges, 53712 markings/sec, 355 secs
lola: STP completed || 14 tries, 13952783 fired transitions, 360 secs || 19357736 markings, 32671225 edges, 54671 markings/sec, 360 secs
lola: STP completed || 15 tries, 14144703 fired transitions, 365 secs || 19631534 markings, 33166880 edges, 54760 markings/sec, 365 secs
lola: STP completed || 15 tries, 14338191 fired transitions, 370 secs || 19907509 markings, 33670542 edges, 55195 markings/sec, 370 secs
lola: STP completed || 15 tries, 14530572 fired transitions, 375 secs || 20180276 markings, 34139530 edges, 54553 markings/sec, 375 secs
lola: STP completed || 15 tries, 14723102 fired transitions, 380 secs || 20450346 markings, 34597432 edges, 54014 markings/sec, 380 secs
lola: STP completed || 15 tries, 14915314 fired transitions, 385 secs || 20727563 markings, 35092515 edges, 55443 markings/sec, 385 secs
lola: STP completed || 16 tries, 15108150 fired transitions, 390 secs || 21001055 markings, 35582078 edges, 54698 markings/sec, 390 secs
lola: STP completed || 16 tries, 15301819 fired transitions, 395 secs || 21273535 markings, 36081083 edges, 54496 markings/sec, 395 secs
lola: STP completed || 16 tries, 15495671 fired transitions, 400 secs || 21543407 markings, 36552649 edges, 53974 markings/sec, 400 secs
lola: STP completed || 16 tries, 15687840 fired transitions, 405 secs || 21816230 markings, 37024616 edges, 54565 markings/sec, 405 secs
lola: STP completed || 16 tries, 15880378 fired transitions, 410 secs || 22036543 markings, 37424698 edges, 44063 markings/sec, 410 secs
lola: STP completed || 17 tries, 16073627 fired transitions, 415 secs || 22306401 markings, 37878040 edges, 53972 markings/sec, 415 secs
lola: STP completed || 17 tries, 16265394 fired transitions, 420 secs || 22579102 markings, 38369103 edges, 54540 markings/sec, 420 secs
lola: STP completed || 17 tries, 16458202 fired transitions, 425 secs || 22852532 markings, 38854533 edges, 54686 markings/sec, 425 secs
lola: STP completed || 17 tries, 16651728 fired transitions, 430 secs || 23124428 markings, 39315891 edges, 54379 markings/sec, 430 secs
lola: STP completed || 17 tries, 16845192 fired transitions, 435 secs || 23395049 markings, 39790690 edges, 54124 markings/sec, 435 secs
lola: STP completed || 18 tries, 17037812 fired transitions, 440 secs || 23663985 markings, 40236592 edges, 53787 markings/sec, 440 secs
lola: STP completed || 18 tries, 17230772 fired transitions, 445 secs || 23931204 markings, 40670019 edges, 53444 markings/sec, 445 secs
lola: STP completed || 18 tries, 17424101 fired transitions, 450 secs || 24203820 markings, 41138293 edges, 54523 markings/sec, 450 secs
lola: STP completed || 18 tries, 17618091 fired transitions, 455 secs || 24447103 markings, 41553703 edges, 48657 markings/sec, 455 secs
lola: STP completed || 18 tries, 17810903 fired transitions, 460 secs || 24701745 markings, 41999820 edges, 50928 markings/sec, 460 secs
lola: STP completed || 19 tries, 18004881 fired transitions, 465 secs || 24972134 markings, 42488822 edges, 54078 markings/sec, 465 secs
lola: STP completed || 19 tries, 18198892 fired transitions, 470 secs || 25241471 markings, 42983397 edges, 53867 markings/sec, 470 secs
lola: STP completed || 19 tries, 18390726 fired transitions, 475 secs || 25512333 markings, 43458320 edges, 54172 markings/sec, 475 secs
lola: STP completed || 19 tries, 18584652 fired transitions, 480 secs || 25784487 markings, 43942450 edges, 54431 markings/sec, 480 secs
lola: STP completed || 19 tries, 18777661 fired transitions, 485 secs || 26052880 markings, 44409765 edges, 53679 markings/sec, 485 secs
lola: STP completed || 19 tries, 18970821 fired transitions, 490 secs || 26326863 markings, 44882689 edges, 54797 markings/sec, 490 secs
lola: STP completed || 20 tries, 19165172 fired transitions, 495 secs || 26601838 markings, 45365492 edges, 54995 markings/sec, 495 secs
lola: STP completed || 20 tries, 19357946 fired transitions, 500 secs || 26871828 markings, 45836082 edges, 53998 markings/sec, 500 secs
lola: STP completed || 20 tries, 19551619 fired transitions, 505 secs || 27149857 markings, 46352107 edges, 55606 markings/sec, 505 secs
lola: STP completed || 20 tries, 19744376 fired transitions, 510 secs || 27423257 markings, 46837319 edges, 54680 markings/sec, 510 secs
lola: STP completed || 20 tries, 19936378 fired transitions, 515 secs || 27695621 markings, 47324709 edges, 54473 markings/sec, 515 secs
lola: STP completed || 21 tries, 20129657 fired transitions, 520 secs || 27967058 markings, 47811481 edges, 54287 markings/sec, 520 secs
lola: STP completed || 21 tries, 20321504 fired transitions, 525 secs || 28241978 markings, 48316106 edges, 54984 markings/sec, 525 secs
lola: STP completed || 21 tries, 20514309 fired transitions, 530 secs || 28511182 markings, 48773544 edges, 53841 markings/sec, 530 secs
lola: STP completed || 21 tries, 20706693 fired transitions, 535 secs || 28761829 markings, 49205445 edges, 50129 markings/sec, 535 secs
lola: STP completed || 21 tries, 20900475 fired transitions, 540 secs || 29009597 markings, 49642421 edges, 49554 markings/sec, 540 secs
lola: STP completed || 22 tries, 21072360 fired transitions, 545 secs || 29256754 markings, 50083890 edges, 49431 markings/sec, 545 secs
lola: STP completed || 22 tries, 21242373 fired transitions, 550 secs || 29494432 markings, 50520105 edges, 47536 markings/sec, 550 secs
lola: STP completed || 22 tries, 21412548 fired transitions, 555 secs || 29733798 markings, 50960366 edges, 47873 markings/sec, 555 secs
lola: STP completed || 22 tries, 21593021 fired transitions, 560 secs || 29996713 markings, 51434138 edges, 52583 markings/sec, 560 secs
lola: STP completed || 22 tries, 21786656 fired transitions, 565 secs || 30273046 markings, 51928569 edges, 55267 markings/sec, 565 secs
lola: STP completed || 22 tries, 21964953 fired transitions, 570 secs || 30537553 markings, 52396026 edges, 52901 markings/sec, 570 secs
lola: STP completed || 23 tries, 22158352 fired transitions, 575 secs || 30810734 markings, 52899366 edges, 54636 markings/sec, 575 secs
lola: STP completed || 23 tries, 22351097 fired transitions, 580 secs || 31082464 markings, 53372658 edges, 54346 markings/sec, 580 secs
lola: STP completed || 23 tries, 22544035 fired transitions, 585 secs || 31300765 markings, 53762509 edges, 43660 markings/sec, 585 secs
lola: STP completed || 23 tries, 22738640 fired transitions, 590 secs || 31576908 markings, 54274812 edges, 55229 markings/sec, 590 secs
lola: STP completed || 23 tries, 22932215 fired transitions, 595 secs || 31857841 markings, 54789811 edges, 56187 markings/sec, 595 secs
lola: STP completed || 24 tries, 23122887 fired transitions, 600 secs || 32130148 markings, 55266351 edges, 54461 markings/sec, 600 secs
lola: STP completed || 24 tries, 23309064 fired transitions, 605 secs || 32399042 markings, 55720803 edges, 53779 markings/sec, 605 secs
lola: STP completed || 24 tries, 23501450 fired transitions, 610 secs || 32670335 markings, 56189883 edges, 54259 markings/sec, 610 secs
lola: STP completed || 24 tries, 23693746 fired transitions, 615 secs || 32937027 markings, 56634305 edges, 53338 markings/sec, 615 secs
lola: STP completed || 24 tries, 23886137 fired transitions, 620 secs || 33204083 markings, 57060138 edges, 53411 markings/sec, 620 secs
lola: STP completed || 25 tries, 24078671 fired transitions, 625 secs || 33474710 markings, 57505526 edges, 54125 markings/sec, 625 secs
lola: STP completed || 25 tries, 24249495 fired transitions, 630 secs || 33726956 markings, 57922895 edges, 50449 markings/sec, 630 secs
lola: STP completed || 25 tries, 24442516 fired transitions, 635 secs || 33957259 markings, 58297619 edges, 46061 markings/sec, 635 secs
lola: STP completed || 25 tries, 24635208 fired transitions, 640 secs || 34228866 markings, 58761266 edges, 54321 markings/sec, 640 secs
lola: STP completed || 25 tries, 24826924 fired transitions, 645 secs || 34498537 markings, 59214357 edges, 53934 markings/sec, 645 secs
lola: STP completed || 26 tries, 25019547 fired transitions, 650 secs || 34770601 markings, 59667931 edges, 54413 markings/sec, 650 secs
lola: STP completed || 26 tries, 25211247 fired transitions, 655 secs || 35043828 markings, 60137607 edges, 54645 markings/sec, 655 secs
lola: STP completed || 26 tries, 25405387 fired transitions, 660 secs || 35319598 markings, 60622479 edges, 55154 markings/sec, 660 secs
lola: STP completed || 26 tries, 25597312 fired transitions, 665 secs || 35541959 markings, 61019230 edges, 44472 markings/sec, 665 secs
lola: STP completed || 26 tries, 25790247 fired transitions, 670 secs || 35815100 markings, 61474706 edges, 54628 markings/sec, 670 secs
lola: STP completed || 26 tries, 25983560 fired transitions, 675 secs || 36090895 markings, 61951688 edges, 55159 markings/sec, 675 secs
lola: STP completed || 27 tries, 26176409 fired transitions, 680 secs || 36365391 markings, 62399634 edges, 54899 markings/sec, 680 secs
lola: STP completed || 27 tries, 26370690 fired transitions, 685 secs || 36642021 markings, 62893085 edges, 55326 markings/sec, 685 secs
lola: STP completed || 27 tries, 26562644 fired transitions, 690 secs || 36910141 markings, 63354448 edges, 53624 markings/sec, 690 secs
lola: STP completed || 27 tries, 26755939 fired transitions, 695 secs || 37158432 markings, 63790927 edges, 49658 markings/sec, 695 secs
lola: STP completed || 27 tries, 26950075 fired transitions, 700 secs || 37417448 markings, 64261305 edges, 51803 markings/sec, 700 secs
lola: STP completed || 28 tries, 27142934 fired transitions, 705 secs || 37694764 markings, 64766584 edges, 55463 markings/sec, 705 secs
lola: STP completed || 28 tries, 27336722 fired transitions, 710 secs || 37967628 markings, 65238483 edges, 54573 markings/sec, 710 secs
lola: STP completed || 28 tries, 27528369 fired transitions, 715 secs || 38245196 markings, 65729672 edges, 55514 markings/sec, 715 secs
lola: STP completed || 28 tries, 27721471 fired transitions, 720 secs || 38517894 markings, 66189893 edges, 54540 markings/sec, 720 secs
lola: STP completed || 28 tries, 27915576 fired transitions, 725 secs || 38788047 markings, 66645888 edges, 54031 markings/sec, 725 secs
lola: STP completed || 29 tries, 28108479 fired transitions, 730 secs || 39060333 markings, 67122055 edges, 54457 markings/sec, 730 secs
lola: STP completed || 29 tries, 28301428 fired transitions, 735 secs || 39326487 markings, 67569134 edges, 53231 markings/sec, 735 secs
lola: STP completed || 29 tries, 28495739 fired transitions, 740 secs || 39606173 markings, 68078627 edges, 55937 markings/sec, 740 secs
lola: STP completed || 29 tries, 28689546 fired transitions, 745 secs || 39884864 markings, 68592054 edges, 55738 markings/sec, 745 secs
lola: STP completed || 29 tries, 28882062 fired transitions, 750 secs || 40161493 markings, 69092474 edges, 55326 markings/sec, 750 secs
lola: STP completed || 30 tries, 29073518 fired transitions, 755 secs || 40433174 markings, 69575035 edges, 54336 markings/sec, 755 secs
lola: STP completed || 30 tries, 29267753 fired transitions, 760 secs || 40707233 markings, 70069456 edges, 54812 markings/sec, 760 secs
lola: STP completed || 30 tries, 29459533 fired transitions, 765 secs || 40980735 markings, 70562081 edges, 54700 markings/sec, 765 secs
lola: STP completed || 30 tries, 29652693 fired transitions, 770 secs || 41252700 markings, 71049336 edges, 54393 markings/sec, 770 secs
lola: STP completed || 30 tries, 29845365 fired transitions, 775 secs || 41528941 markings, 71551455 edges, 55248 markings/sec, 775 secs
lola: STP completed || 31 tries, 30037871 fired transitions, 780 secs || 41804919 markings, 72046039 edges, 55196 markings/sec, 780 secs
lola: STP completed || 31 tries, 30230961 fired transitions, 785 secs || 42079665 markings, 72535981 edges, 54949 markings/sec, 785 secs
lola: STP completed || 31 tries, 30423543 fired transitions, 790 secs || 42354992 markings, 73035327 edges, 55065 markings/sec, 790 secs
lola: STP completed || 31 tries, 30616380 fired transitions, 795 secs || 42627954 markings, 73512448 edges, 54592 markings/sec, 795 secs
lola: STP completed || 31 tries, 30809514 fired transitions, 800 secs || 42902992 markings, 74020108 edges, 55008 markings/sec, 800 secs
lola: STP completed || 32 tries, 31002659 fired transitions, 805 secs || 43174782 markings, 74494899 edges, 54358 markings/sec, 805 secs
lola: STP completed || 32 tries, 31196109 fired transitions, 810 secs || 43392328 markings, 74886381 edges, 43509 markings/sec, 810 secs
lola: STP completed || 32 tries, 31388359 fired transitions, 815 secs || 43659342 markings, 75343182 edges, 53403 markings/sec, 815 secs
lola: STP completed || 32 tries, 31580989 fired transitions, 820 secs || 43937730 markings, 75859795 edges, 55678 markings/sec, 820 secs
lola: STP completed || 32 tries, 31775631 fired transitions, 825 secs || 44162804 markings, 76273301 edges, 45015 markings/sec, 825 secs
lola: STP completed || 32 tries, 31968401 fired transitions, 830 secs || 44428799 markings, 76708855 edges, 53199 markings/sec, 830 secs
lola: STP completed || 33 tries, 32159610 fired transitions, 835 secs || 44698320 markings, 77188372 edges, 53904 markings/sec, 835 secs
lola: STP completed || 33 tries, 32351926 fired transitions, 840 secs || 44972466 markings, 77669835 edges, 54829 markings/sec, 840 secs
lola: STP completed || 33 tries, 32545737 fired transitions, 845 secs || 45242487 markings, 78113525 edges, 54004 markings/sec, 845 secs
lola: STP completed || 33 tries, 32738282 fired transitions, 850 secs || 45517282 markings, 78598553 edges, 54959 markings/sec, 850 secs
lola: STP completed || 33 tries, 32930794 fired transitions, 855 secs || 45794215 markings, 79078099 edges, 55387 markings/sec, 855 secs
lola: STP completed || 34 tries, 33122902 fired transitions, 860 secs || 46064622 markings, 79561087 edges, 54081 markings/sec, 860 secs
lola: STP completed || 34 tries, 33316751 fired transitions, 865 secs || 46335344 markings, 80048809 edges, 54144 markings/sec, 865 secs
lola: STP completed || 34 tries, 33509330 fired transitions, 870 secs || 46605157 markings, 80517629 edges, 53963 markings/sec, 870 secs
lola: STP completed || 34 tries, 33702133 fired transitions, 875 secs || 46875996 markings, 80999428 edges, 54168 markings/sec, 875 secs
lola: STP completed || 34 tries, 33893754 fired transitions, 880 secs || 47149485 markings, 81489900 edges, 54698 markings/sec, 880 secs
lola: STP completed || 35 tries, 34086846 fired transitions, 885 secs || 47421740 markings, 81993100 edges, 54451 markings/sec, 885 secs
lola: STP completed || 35 tries, 34280000 fired transitions, 890 secs || 47702788 markings, 82522883 edges, 56210 markings/sec, 890 secs
lola: STP completed || 35 tries, 34471759 fired transitions, 895 secs || 47978104 markings, 83017451 edges, 55063 markings/sec, 895 secs
lola: STP completed || 35 tries, 34665525 fired transitions, 900 secs || 48252530 markings, 83536850 edges, 54885 markings/sec, 900 secs
lola: STP completed || 35 tries, 34857638 fired transitions, 905 secs || 48472192 markings, 83949496 edges, 43932 markings/sec, 905 secs
lola: STP completed || 36 tries, 35051311 fired transitions, 910 secs || 48748071 markings, 84442294 edges, 55176 markings/sec, 910 secs
lola: STP completed || 36 tries, 35244525 fired transitions, 915 secs || 49022725 markings, 84949939 edges, 54931 markings/sec, 915 secs
lola: STP completed || 36 tries, 35437064 fired transitions, 920 secs || 49295646 markings, 85446098 edges, 54584 markings/sec, 920 secs
lola: STP completed || 36 tries, 35630906 fired transitions, 925 secs || 49570928 markings, 85954376 edges, 55056 markings/sec, 925 secs
lola: STP completed || 36 tries, 35822803 fired transitions, 930 secs || 49841110 markings, 86416736 edges, 54036 markings/sec, 930 secs
lola: STP completed || 37 tries, 36015844 fired transitions, 935 secs || 50110858 markings, 86903196 edges, 53950 markings/sec, 935 secs
lola: STP completed || 37 tries, 36207888 fired transitions, 940 secs || 50385219 markings, 87396614 edges, 54872 markings/sec, 940 secs
lola: STP completed || 37 tries, 36401226 fired transitions, 945 secs || 50656329 markings, 87881469 edges, 54222 markings/sec, 945 secs
lola: STP completed || 37 tries, 36593203 fired transitions, 950 secs || 50927388 markings, 88385727 edges, 54212 markings/sec, 950 secs
lola: STP completed || 37 tries, 36786416 fired transitions, 955 secs || 51202422 markings, 88894901 edges, 55007 markings/sec, 955 secs
lola: STP completed || 37 tries, 36979159 fired transitions, 960 secs || 51474052 markings, 89379344 edges, 54326 markings/sec, 960 secs
lola: STP completed || 38 tries, 37172384 fired transitions, 965 secs || 51751593 markings, 89891536 edges, 55508 markings/sec, 965 secs
lola: STP completed || 38 tries, 37364527 fired transitions, 970 secs || 52023977 markings, 90393166 edges, 54477 markings/sec, 970 secs
lola: STP completed || 38 tries, 37558399 fired transitions, 975 secs || 52298786 markings, 90879975 edges, 54962 markings/sec, 975 secs
lola: STP completed || 38 tries, 37750906 fired transitions, 980 secs || 52571355 markings, 91375234 edges, 54514 markings/sec, 980 secs
lola: STP completed || 38 tries, 37937367 fired transitions, 985 secs || 52792845 markings, 91771133 edges, 44298 markings/sec, 985 secs
lola: STP completed || 39 tries, 38130191 fired transitions, 990 secs || 53064847 markings, 92263149 edges, 54400 markings/sec, 990 secs
lola: STP completed || 39 tries, 38322290 fired transitions, 995 secs || 53337784 markings, 92764875 edges, 54587 markings/sec, 995 secs
lola: STP completed || 39 tries, 38515325 fired transitions, 1000 secs || 53580475 markings, 93175576 edges, 48538 markings/sec, 1000 secs
lola: STP completed || 39 tries, 38706322 fired transitions, 1005 secs || 53849863 markings, 93659999 edges, 53878 markings/sec, 1005 secs
lola: STP completed || 39 tries, 38898968 fired transitions, 1010 secs || 54125444 markings, 94167252 edges, 55116 markings/sec, 1010 secs
lola: STP completed || 40 tries, 39092200 fired transitions, 1015 secs || 54398774 markings, 94676933 edges, 54666 markings/sec, 1015 secs
lola: STP completed || 40 tries, 39284751 fired transitions, 1020 secs || 54668903 markings, 95155195 edges, 54026 markings/sec, 1020 secs
lola: STP completed || 40 tries, 39477268 fired transitions, 1025 secs || 54943281 markings, 95675489 edges, 54876 markings/sec, 1025 secs
lola: STP completed || 40 tries, 39665260 fired transitions, 1030 secs || 55201822 markings, 96134175 edges, 51708 markings/sec, 1030 secs
lola: STP completed || 40 tries, 39859366 fired transitions, 1035 secs || 55466488 markings, 96600900 edges, 52933 markings/sec, 1035 secs
lola: STP completed || 41 tries, 40051819 fired transitions, 1040 secs || 55740041 markings, 97104125 edges, 54711 markings/sec, 1040 secs
lola: STP completed || 41 tries, 40244426 fired transitions, 1045 secs || 56009265 markings, 97579410 edges, 53845 markings/sec, 1045 secs
lola: STP completed || 41 tries, 40437833 fired transitions, 1050 secs || 56288300 markings, 98102632 edges, 55807 markings/sec, 1050 secs
lola: STP completed || 41 tries, 40630942 fired transitions, 1055 secs || 56560993 markings, 98601385 edges, 54539 markings/sec, 1055 secs
lola: STP completed || 41 tries, 40824366 fired transitions, 1060 secs || 56835994 markings, 99109065 edges, 55000 markings/sec, 1060 secs
lola: STP completed || 42 tries, 41017737 fired transitions, 1065 secs || 57108957 markings, 99583382 edges, 54593 markings/sec, 1065 secs
lola: STP completed || 42 tries, 41210927 fired transitions, 1070 secs || 57384654 markings, 100101362 edges, 55139 markings/sec, 1070 secs
lola: STP completed || 42 tries, 41404962 fired transitions, 1075 secs || 57626299 markings, 100549335 edges, 48329 markings/sec, 1075 secs
lola: STP completed || 42 tries, 41598137 fired transitions, 1080 secs || 57898957 markings, 101052104 edges, 54532 markings/sec, 1080 secs
lola: STP completed || 42 tries, 41790312 fired transitions, 1085 secs || 58172245 markings, 101554056 edges, 54658 markings/sec, 1085 secs
lola: STP completed || 42 tries, 41983332 fired transitions, 1090 secs || 58448115 markings, 102058018 edges, 55174 markings/sec, 1090 secs
lola: STP completed || 43 tries, 42176648 fired transitions, 1095 secs || 58722974 markings, 102558548 edges, 54972 markings/sec, 1095 secs
lola: STP completed || 43 tries, 42370067 fired transitions, 1100 secs || 58999443 markings, 103079668 edges, 55294 markings/sec, 1100 secs
lola: STP completed || 43 tries, 42563302 fired transitions, 1105 secs || 59273609 markings, 103560886 edges, 54833 markings/sec, 1105 secs
lola: STP completed || 43 tries, 42739668 fired transitions, 1110 secs || 59536103 markings, 104022054 edges, 52499 markings/sec, 1110 secs
lola: STP completed || 43 tries, 42901194 fired transitions, 1115 secs || 59772763 markings, 104449894 edges, 47332 markings/sec, 1115 secs
lola: STP completed || 44 tries, 43093151 fired transitions, 1120 secs || 60047305 markings, 104969475 edges, 54908 markings/sec, 1120 secs
lola: STP completed || 44 tries, 43286411 fired transitions, 1125 secs || 60328086 markings, 105487995 edges, 56156 markings/sec, 1125 secs
lola: STP completed || 44 tries, 43480437 fired transitions, 1130 secs || 60602124 markings, 105983818 edges, 54808 markings/sec, 1130 secs
lola: STP completed || 44 tries, 43674278 fired transitions, 1135 secs || 60881237 markings, 106511509 edges, 55823 markings/sec, 1135 secs
lola: STP completed || 44 tries, 43867813 fired transitions, 1140 secs || 61156145 markings, 107025334 edges, 54982 markings/sec, 1140 secs
lola: STP completed || 45 tries, 44061910 fired transitions, 1145 secs || 61424296 markings, 107499887 edges, 53630 markings/sec, 1145 secs
lola: STP completed || 45 tries, 44255199 fired transitions, 1150 secs || 61700211 markings, 107997996 edges, 55183 markings/sec, 1150 secs
lola: STP completed || 45 tries, 44449568 fired transitions, 1155 secs || 61975060 markings, 108482096 edges, 54970 markings/sec, 1155 secs
lola: STP completed || 45 tries, 44642642 fired transitions, 1160 secs || 62248048 markings, 108968098 edges, 54598 markings/sec, 1160 secs
lola: STP completed || 45 tries, 44835714 fired transitions, 1165 secs || 62525590 markings, 109479621 edges, 55508 markings/sec, 1165 secs
lola: STP completed || 46 tries, 45029028 fired transitions, 1170 secs || 62805893 markings, 110009531 edges, 56061 markings/sec, 1170 secs
lola: STP completed || 46 tries, 45222004 fired transitions, 1175 secs || 63058623 markings, 110473894 edges, 50546 markings/sec, 1175 secs
lola: STP completed || 46 tries, 45416310 fired transitions, 1180 secs || 63316724 markings, 110948865 edges, 51620 markings/sec, 1180 secs
lola: STP completed || 46 tries, 45609792 fired transitions, 1185 secs || 63593884 markings, 111469134 edges, 55432 markings/sec, 1185 secs
lola: STP completed || 46 tries, 45802202 fired transitions, 1190 secs || 63869929 markings, 111975763 edges, 55209 markings/sec, 1190 secs
lola: STP completed || 46 tries, 45995461 fired transitions, 1195 secs || 64147776 markings, 112488192 edges, 55569 markings/sec, 1195 secs
lola: STP completed || 47 tries, 46188960 fired transitions, 1200 secs || 64421957 markings, 113003254 edges, 54836 markings/sec, 1200 secs
lola: STP completed || 47 tries, 46383382 fired transitions, 1205 secs || 64698380 markings, 113502898 edges, 55285 markings/sec, 1205 secs
lola: STP completed || 47 tries, 46575735 fired transitions, 1210 secs || 64974433 markings, 113995296 edges, 55211 markings/sec, 1210 secs
lola: STP completed || 47 tries, 46769364 fired transitions, 1215 secs || 65243274 markings, 114462544 edges, 53768 markings/sec, 1215 secs
lola: STP completed || 47 tries, 46963408 fired transitions, 1220 secs || 65523361 markings, 114974419 edges, 56017 markings/sec, 1220 secs
lola: STP completed || 48 tries, 47156942 fired transitions, 1225 secs || 65802753 markings, 115493818 edges, 55878 markings/sec, 1225 secs
lola: STP completed || 48 tries, 47348810 fired transitions, 1230 secs || 66079701 markings, 115983008 edges, 55390 markings/sec, 1230 secs
lola: STP completed || 48 tries, 47542108 fired transitions, 1235 secs || 66356612 markings, 116502728 edges, 55382 markings/sec, 1235 secs
lola: STP completed || 48 tries, 47735631 fired transitions, 1240 secs || 66587059 markings, 116899319 edges, 46089 markings/sec, 1240 secs
lola: STP completed || 48 tries, 47928784 fired transitions, 1245 secs || 66840419 markings, 117305637 edges, 50672 markings/sec, 1245 secs
lola: STP completed || 49 tries, 48122871 fired transitions, 1250 secs || 67108012 markings, 117735239 edges, 53519 markings/sec, 1250 secs
lola: STP completed || 49 tries, 48315746 fired transitions, 1255 secs || 67374539 markings, 118171783 edges, 53305 markings/sec, 1255 secs
lola: STP completed || 49 tries, 48509443 fired transitions, 1260 secs || 67642420 markings, 118603813 edges, 53576 markings/sec, 1260 secs
lola: STP completed || 49 tries, 48702137 fired transitions, 1265 secs || 67914750 markings, 119060103 edges, 54466 markings/sec, 1265 secs
lola: STP completed || 49 tries, 48887864 fired transitions, 1270 secs || 68173102 markings, 119498159 edges, 51670 markings/sec, 1270 secs
lola: STP completed || 50 tries, 49080770 fired transitions, 1275 secs || 68439938 markings, 119956712 edges, 53367 markings/sec, 1275 secs
lola: STP completed || 50 tries, 49259028 fired transitions, 1280 secs || 68700397 markings, 120394870 edges, 52092 markings/sec, 1280 secs
lola: STP completed || 50 tries, 49436730 fired transitions, 1285 secs || 68960044 markings, 120809843 edges, 51929 markings/sec, 1285 secs
lola: STP completed || 50 tries, 49627439 fired transitions, 1290 secs || 69233562 markings, 121273333 edges, 54704 markings/sec, 1290 secs
lola: STP completed || 50 tries, 49819451 fired transitions, 1295 secs || 69506149 markings, 121733521 edges, 54517 markings/sec, 1295 secs
lola: STP completed || 51 tries, 50012459 fired transitions, 1300 secs || 69776924 markings, 122191620 edges, 54155 markings/sec, 1300 secs
lola: STP completed || 51 tries, 50205488 fired transitions, 1305 secs || 69996105 markings, 122567108 edges, 43836 markings/sec, 1305 secs
lola: STP completed || 51 tries, 50397716 fired transitions, 1310 secs || 70264998 markings, 123006064 edges, 53779 markings/sec, 1310 secs
lola: STP completed || 51 tries, 50590213 fired transitions, 1315 secs || 70532883 markings, 123439579 edges, 53577 markings/sec, 1315 secs
lola: STP completed || 51 tries, 50781862 fired transitions, 1320 secs || 70804527 markings, 123899695 edges, 54329 markings/sec, 1320 secs
lola: STP completed || 51 tries, 50976267 fired transitions, 1325 secs || 71080006 markings, 124378290 edges, 55096 markings/sec, 1325 secs
lola: STP completed || 52 tries, 51167652 fired transitions, 1330 secs || 71353840 markings, 124849825 edges, 54767 markings/sec, 1330 secs
lola: STP completed || 52 tries, 51327618 fired transitions, 1335 secs || 71590691 markings, 125234462 edges, 47370 markings/sec, 1335 secs
lola: STP completed || 52 tries, 51519947 fired transitions, 1340 secs || 71864514 markings, 125713827 edges, 54765 markings/sec, 1340 secs
lola: STP completed || 52 tries, 51706701 fired transitions, 1345 secs || 72135615 markings, 126167678 edges, 54220 markings/sec, 1345 secs
lola: STP completed || 52 tries, 51882842 fired transitions, 1350 secs || 72398302 markings, 126647484 edges, 52537 markings/sec, 1350 secs
lola: STP completed || 53 tries, 52074325 fired transitions, 1355 secs || 72667019 markings, 127149345 edges, 53743 markings/sec, 1355 secs
lola: STP completed || 53 tries, 52266845 fired transitions, 1360 secs || 72944958 markings, 127667907 edges, 55588 markings/sec, 1360 secs
lola: STP completed || 53 tries, 52460902 fired transitions, 1365 secs || 73222185 markings, 128192861 edges, 55445 markings/sec, 1365 secs
lola: STP completed || 53 tries, 52654541 fired transitions, 1370 secs || 73440725 markings, 128592345 edges, 43708 markings/sec, 1370 secs
lola: STP completed || 53 tries, 52848894 fired transitions, 1375 secs || 73712614 markings, 129077284 edges, 54378 markings/sec, 1375 secs
lola: STP completed || 54 tries, 53041950 fired transitions, 1380 secs || 73984834 markings, 129566274 edges, 54444 markings/sec, 1380 secs
lola: STP completed || 54 tries, 53235737 fired transitions, 1385 secs || 74258821 markings, 130030508 edges, 54797 markings/sec, 1385 secs
lola: STP completed || 54 tries, 53428848 fired transitions, 1390 secs || 74536915 markings, 130522408 edges, 55619 markings/sec, 1390 secs
lola: STP completed || 54 tries, 53620969 fired transitions, 1395 secs || 74813418 markings, 131011674 edges, 55301 markings/sec, 1395 secs
lola: STP completed || 54 tries, 53813938 fired transitions, 1400 secs || 75047979 markings, 131439873 edges, 46912 markings/sec, 1400 secs
lola: STP completed || 55 tries, 54006686 fired transitions, 1405 secs || 75309760 markings, 131926069 edges, 52356 markings/sec, 1405 secs
lola: STP completed || 55 tries, 54199878 fired transitions, 1410 secs || 75583713 markings, 132446664 edges, 54791 markings/sec, 1410 secs
lola: STP completed || 55 tries, 54392938 fired transitions, 1415 secs || 75857915 markings, 132959307 edges, 54840 markings/sec, 1415 secs
lola: STP completed || 55 tries, 54556995 fired transitions, 1420 secs || 76095144 markings, 133380478 edges, 47446 markings/sec, 1420 secs
lola: STP completed || 55 tries, 54728855 fired transitions, 1425 secs || 76320729 markings, 133804326 edges, 45117 markings/sec, 1425 secs
lola: STP completed || 55 tries, 54899279 fired transitions, 1430 secs || 76557504 markings, 134249889 edges, 47355 markings/sec, 1430 secs
lola: STP completed || 56 tries, 55075610 fired transitions, 1435 secs || 76817361 markings, 134748264 edges, 51971 markings/sec, 1435 secs
lola: STP completed || 56 tries, 55268523 fired transitions, 1440 secs || 77090860 markings, 135254022 edges, 54700 markings/sec, 1440 secs
lola: STP completed || 56 tries, 55461426 fired transitions, 1445 secs || 77367213 markings, 135784347 edges, 55271 markings/sec, 1445 secs
lola: STP completed || 56 tries, 55655538 fired transitions, 1450 secs || 77638791 markings, 136288311 edges, 54316 markings/sec, 1450 secs
lola: STP completed || 56 tries, 55850120 fired transitions, 1455 secs || 77918249 markings, 136809732 edges, 55892 markings/sec, 1455 secs
lola: STP completed || 57 tries, 56043470 fired transitions, 1460 secs || 78190496 markings, 137308653 edges, 54449 markings/sec, 1460 secs
lola: STP completed || 57 tries, 56237185 fired transitions, 1465 secs || 78445609 markings, 137789198 edges, 51023 markings/sec, 1465 secs
lola: STP completed || 57 tries, 56429431 fired transitions, 1470 secs || 78714982 markings, 138268587 edges, 53875 markings/sec, 1470 secs
lola: STP completed || 57 tries, 56622108 fired transitions, 1475 secs || 78989109 markings, 138767935 edges, 54825 markings/sec, 1475 secs
lola: STP completed || 57 tries, 56799794 fired transitions, 1480 secs || 79244043 markings, 139231544 edges, 50987 markings/sec, 1480 secs
lola: STP completed || 57 tries, 56973340 fired transitions, 1485 secs || 79495470 markings, 139659339 edges, 50285 markings/sec, 1485 secs
lola: STP completed || 58 tries, 57167757 fired transitions, 1490 secs || 79770219 markings, 140157738 edges, 54950 markings/sec, 1490 secs
lola: STP completed || 58 tries, 57360283 fired transitions, 1495 secs || 80042898 markings, 140639891 edges, 54536 markings/sec, 1495 secs
lola: STP completed || 58 tries, 57553118 fired transitions, 1500 secs || 80318456 markings, 141128244 edges, 55112 markings/sec, 1500 secs
lola: STP completed || 58 tries, 57745688 fired transitions, 1505 secs || 80580391 markings, 141607786 edges, 52387 markings/sec, 1505 secs
lola: STP completed || 58 tries, 57931376 fired transitions, 1510 secs || 80830144 markings, 142078104 edges, 49951 markings/sec, 1510 secs
lola: STP completed || 59 tries, 58123989 fired transitions, 1515 secs || 81103575 markings, 142583958 edges, 54686 markings/sec, 1515 secs
lola: STP completed || 59 tries, 58317673 fired transitions, 1520 secs || 81377556 markings, 143095754 edges, 54796 markings/sec, 1520 secs
lola: STP completed || 59 tries, 58511637 fired transitions, 1525 secs || 81652878 markings, 143616551 edges, 55064 markings/sec, 1525 secs
lola: STP completed || 59 tries, 58702958 fired transitions, 1530 secs || 81911070 markings, 144101840 edges, 51638 markings/sec, 1530 secs
lola: STP completed || 59 tries, 58895234 fired transitions, 1535 secs || 82168601 markings, 144580737 edges, 51506 markings/sec, 1535 secs
lola: STP completed || 60 tries, 59087626 fired transitions, 1540 secs || 82427263 markings, 145079054 edges, 51732 markings/sec, 1540 secs
lola: STP completed || 60 tries, 59280381 fired transitions, 1545 secs || 82681688 markings, 145561021 edges, 50885 markings/sec, 1545 secs
lola: STP completed || 60 tries, 59473419 fired transitions, 1550 secs || 82950538 markings, 146049489 edges, 53770 markings/sec, 1550 secs
lola: STP completed || 60 tries, 59666341 fired transitions, 1555 secs || 83226811 markings, 146565471 edges, 55255 markings/sec, 1555 secs
lola: STP completed || 60 tries, 59860453 fired transitions, 1560 secs || 83461178 markings, 146996611 edges, 46873 markings/sec, 1560 secs
lola: STP completed || 61 tries, 60053797 fired transitions, 1565 secs || 83720401 markings, 147476553 edges, 51845 markings/sec, 1565 secs
lola: STP completed || 61 tries, 60246579 fired transitions, 1570 secs || 83986196 markings, 147984017 edges, 53159 markings/sec, 1570 secs
lola: STP completed || 61 tries, 60440034 fired transitions, 1575 secs || 84261091 markings, 148484568 edges, 54979 markings/sec, 1575 secs
lola: STP completed || 61 tries, 60633599 fired transitions, 1580 secs || 84521059 markings, 148953617 edges, 51994 markings/sec, 1580 secs
lola: STP completed || 61 tries, 60826948 fired transitions, 1585 secs || 84790757 markings, 149461171 edges, 53940 markings/sec, 1585 secs
lola: STP completed || 62 tries, 61012277 fired transitions, 1590 secs || 85064825 markings, 149971450 edges, 54814 markings/sec, 1590 secs
lola: STP completed || 62 tries, 61204876 fired transitions, 1595 secs || 85342487 markings, 150484688 edges, 55532 markings/sec, 1595 secs
lola: STP completed || 62 tries, 61396401 fired transitions, 1600 secs || 85610667 markings, 150958761 edges, 53636 markings/sec, 1600 secs
lola: STP completed || 62 tries, 61590016 fired transitions, 1605 secs || 85884727 markings, 151451992 edges, 54812 markings/sec, 1605 secs
lola: STP completed || 62 tries, 61783621 fired transitions, 1610 secs || 86159373 markings, 151960996 edges, 54929 markings/sec, 1610 secs
lola: STP completed || 62 tries, 61978247 fired transitions, 1615 secs || 86432989 markings, 152470689 edges, 54723 markings/sec, 1615 secs
lola: STP completed || 63 tries, 62171424 fired transitions, 1620 secs || 86706713 markings, 152970714 edges, 54745 markings/sec, 1620 secs
lola: STP completed || 63 tries, 62363279 fired transitions, 1625 secs || 86984295 markings, 153504264 edges, 55516 markings/sec, 1625 secs
lola: STP completed || 63 tries, 62556581 fired transitions, 1630 secs || 87258940 markings, 154019736 edges, 54929 markings/sec, 1630 secs
lola: STP completed || 63 tries, 62723256 fired transitions, 1635 secs || 87501379 markings, 154468504 edges, 48488 markings/sec, 1635 secs
lola: STP completed || 63 tries, 62904245 fired transitions, 1640 secs || 87709584 markings, 154862674 edges, 41641 markings/sec, 1640 secs
lola: STP completed || 64 tries, 63096738 fired transitions, 1645 secs || 87968935 markings, 155335662 edges, 51870 markings/sec, 1645 secs
lola: STP completed || 64 tries, 63290396 fired transitions, 1650 secs || 88244021 markings, 155844927 edges, 55017 markings/sec, 1650 secs
lola: STP completed || 64 tries, 63483777 fired transitions, 1655 secs || 88517379 markings, 156333101 edges, 54672 markings/sec, 1655 secs
lola: STP completed || 64 tries, 63676287 fired transitions, 1660 secs || 88795984 markings, 156832263 edges, 55721 markings/sec, 1660 secs
lola: STP completed || 64 tries, 63868828 fired transitions, 1665 secs || 89070122 markings, 157302275 edges, 54828 markings/sec, 1665 secs
lola: STP completed || 65 tries, 64061752 fired transitions, 1670 secs || 89343339 markings, 157788611 edges, 54643 markings/sec, 1670 secs
lola: STP completed || 65 tries, 64255493 fired transitions, 1675 secs || 89617726 markings, 158295608 edges, 54877 markings/sec, 1675 secs
lola: STP completed || 65 tries, 64449011 fired transitions, 1680 secs || 89893864 markings, 158806357 edges, 55228 markings/sec, 1680 secs
lola: STP completed || 65 tries, 64642109 fired transitions, 1685 secs || 90165299 markings, 159288765 edges, 54287 markings/sec, 1685 secs
lola: STP completed || 65 tries, 64814378 fired transitions, 1690 secs || 90412213 markings, 159740737 edges, 49383 markings/sec, 1690 secs
lola: STP completed || 65 tries, 64986136 fired transitions, 1695 secs || 90653112 markings, 160191107 edges, 48180 markings/sec, 1695 secs
lola: STP completed || 66 tries, 65156877 fired transitions, 1700 secs || 90897402 markings, 160649847 edges, 48858 markings/sec, 1700 secs
lola: STP completed || 66 tries, 65327454 fired transitions, 1705 secs || 91139922 markings, 161103755 edges, 48504 markings/sec, 1705 secs
lola: STP completed || 66 tries, 65514589 fired transitions, 1710 secs || 91417042 markings, 161625778 edges, 55424 markings/sec, 1710 secs
lola: STP completed || 66 tries, 65708115 fired transitions, 1715 secs || 91691507 markings, 162142787 edges, 54893 markings/sec, 1715 secs
lola: STP completed || 66 tries, 65900975 fired transitions, 1720 secs || 91967557 markings, 162657965 edges, 55210 markings/sec, 1720 secs
lola: STP completed || 67 tries, 66094736 fired transitions, 1725 secs || 92241997 markings, 163177019 edges, 54888 markings/sec, 1725 secs
lola: STP completed || 67 tries, 66288267 fired transitions, 1730 secs || 92516498 markings, 163672329 edges, 54900 markings/sec, 1730 secs
lola: STP completed || 67 tries, 66481507 fired transitions, 1735 secs || 92767146 markings, 164121530 edges, 50130 markings/sec, 1735 secs
lola: STP completed || 67 tries, 66675287 fired transitions, 1740 secs || 93013613 markings, 164556429 edges, 49293 markings/sec, 1740 secs
lola: STP completed || 67 tries, 66869336 fired transitions, 1745 secs || 93285877 markings, 165051945 edges, 54453 markings/sec, 1745 secs
lola: STP completed || 68 tries, 67054531 fired transitions, 1750 secs || 93561938 markings, 165566257 edges, 55212 markings/sec, 1750 secs
lola: STP completed || 68 tries, 67246783 fired transitions, 1755 secs || 93836332 markings, 166060161 edges, 54879 markings/sec, 1755 secs
lola: STP completed || 68 tries, 67419201 fired transitions, 1760 secs || 94080387 markings, 166471023 edges, 48811 markings/sec, 1760 secs
lola: STP completed || 68 tries, 67588329 fired transitions, 1765 secs || 94309294 markings, 166872431 edges, 45781 markings/sec, 1765 secs
lola: STP completed || 68 tries, 67756616 fired transitions, 1770 secs || 94537821 markings, 167268927 edges, 45705 markings/sec, 1770 secs
lola: STP completed || 68 tries, 67923613 fired transitions, 1775 secs || 94772876 markings, 167676863 edges, 47011 markings/sec, 1775 secs
lola: STP completed || 69 tries, 68101085 fired transitions, 1780 secs || 95041508 markings, 168150976 edges, 53726 markings/sec, 1780 secs
lola: STP completed || 69 tries, 68293420 fired transitions, 1785 secs || 95314168 markings, 168616674 edges, 54532 markings/sec, 1785 secs
lola: STP completed || 69 tries, 68485785 fired transitions, 1790 secs || 95589964 markings, 169108850 edges, 55159 markings/sec, 1790 secs
lola: STP completed || 69 tries, 68678277 fired transitions, 1795 secs || 95861636 markings, 169583524 edges, 54334 markings/sec, 1795 secs
lola: STP completed || 69 tries, 68870278 fired transitions, 1800 secs || 96135753 markings, 170070801 edges, 54823 markings/sec, 1800 secs
lola: STP completed || 70 tries, 69062542 fired transitions, 1805 secs || 96411928 markings, 170598917 edges, 55235 markings/sec, 1805 secs
lola: STP completed || 70 tries, 69238221 fired transitions, 1810 secs || 96669673 markings, 171080708 edges, 51549 markings/sec, 1810 secs
lola: STP completed || 70 tries, 69428652 fired transitions, 1815 secs || 96944490 markings, 171586151 edges, 54963 markings/sec, 1815 secs
lola: STP completed || 70 tries, 69621661 fired transitions, 1820 secs || 97219416 markings, 172106892 edges, 54985 markings/sec, 1820 secs
lola: STP completed || 70 tries, 69814961 fired transitions, 1825 secs || 97496328 markings, 172631312 edges, 55382 markings/sec, 1825 secs
lola: STP completed || 71 tries, 70001037 fired transitions, 1830 secs || 97772284 markings, 173158784 edges, 55191 markings/sec, 1830 secs
lola: STP completed || 71 tries, 70192928 fired transitions, 1835 secs || 98036013 markings, 173595760 edges, 52746 markings/sec, 1835 secs
lola: STP completed || 71 tries, 70386496 fired transitions, 1840 secs || 98306285 markings, 174050349 edges, 54054 markings/sec, 1840 secs
lola: STP completed || 71 tries, 70578783 fired transitions, 1845 secs || 98577487 markings, 174512697 edges, 54240 markings/sec, 1845 secs
lola: STP completed || 71 tries, 70771734 fired transitions, 1850 secs || 98853945 markings, 175007314 edges, 55292 markings/sec, 1850 secs
lola: STP completed || 71 tries, 70964934 fired transitions, 1855 secs || 99124220 markings, 175475914 edges, 54055 markings/sec, 1855 secs
lola: STP completed || 72 tries, 71156621 fired transitions, 1860 secs || 99397854 markings, 175961995 edges, 54727 markings/sec, 1860 secs
lola: STP completed || 72 tries, 71348262 fired transitions, 1865 secs || 99668280 markings, 176421961 edges, 54085 markings/sec, 1865 secs
lola: STP completed || 72 tries, 71540804 fired transitions, 1870 secs || 99940308 markings, 176893767 edges, 54406 markings/sec, 1870 secs
lola: STP completed || 72 tries, 71734840 fired transitions, 1875 secs || 100214586 markings, 177392016 edges, 54856 markings/sec, 1875 secs
lola: STP completed || 72 tries, 71928372 fired transitions, 1880 secs || 100490266 markings, 177914024 edges, 55136 markings/sec, 1880 secs
lola: STP completed || 73 tries, 72122441 fired transitions, 1885 secs || 100768003 markings, 178442853 edges, 55547 markings/sec, 1885 secs
lola: STP completed || 73 tries, 72314852 fired transitions, 1890 secs || 101042966 markings, 178953476 edges, 54993 markings/sec, 1890 secs
lola: STP completed || 73 tries, 72507688 fired transitions, 1895 secs || 101312466 markings, 179442834 edges, 53900 markings/sec, 1895 secs
lola: STP completed || 73 tries, 72699726 fired transitions, 1900 secs || 101588114 markings, 179969828 edges, 55130 markings/sec, 1900 secs
lola: STP completed || 73 tries, 72891663 fired transitions, 1905 secs || 101863675 markings, 180491023 edges, 55112 markings/sec, 1905 secs
lola: STP completed || 74 tries, 73076041 fired transitions, 1910 secs || 102139452 markings, 181013071 edges, 55155 markings/sec, 1910 secs
lola: STP completed || 74 tries, 73269938 fired transitions, 1915 secs || 102413913 markings, 181521308 edges, 54892 markings/sec, 1915 secs
lola: STP completed || 74 tries, 73462868 fired transitions, 1920 secs || 102686588 markings, 182042137 edges, 54535 markings/sec, 1920 secs
lola: STP completed || 74 tries, 73656625 fired transitions, 1925 secs || 102956099 markings, 182550582 edges, 53902 markings/sec, 1925 secs
lola: STP completed || 74 tries, 73837826 fired transitions, 1930 secs || 103221597 markings, 183061182 edges, 53100 markings/sec, 1930 secs
lola: STP completed || 75 tries, 74020816 fired transitions, 1935 secs || 103489748 markings, 183564975 edges, 53630 markings/sec, 1935 secs
lola: STP completed || 75 tries, 74201752 fired transitions, 1940 secs || 103755343 markings, 184050574 edges, 53119 markings/sec, 1940 secs
lola: STP completed || 75 tries, 74383931 fired transitions, 1945 secs || 104021810 markings, 184547523 edges, 53293 markings/sec, 1945 secs
lola: STP completed || 75 tries, 74573699 fired transitions, 1950 secs || 104295506 markings, 185078522 edges, 54739 markings/sec, 1950 secs
lola: STP completed || 75 tries, 74766562 fired transitions, 1955 secs || 104566790 markings, 185590068 edges, 54257 markings/sec, 1955 secs
lola: STP completed || 75 tries, 74955155 fired transitions, 1960 secs || 104842571 markings, 186102124 edges, 55156 markings/sec, 1960 secs
lola: STP completed || 76 tries, 75148296 fired transitions, 1965 secs || 105116241 markings, 186613465 edges, 54734 markings/sec, 1965 secs
lola: STP completed || 76 tries, 75341669 fired transitions, 1970 secs || 105389269 markings, 187116160 edges, 54606 markings/sec, 1970 secs
lola: STP completed || 76 tries, 75534773 fired transitions, 1975 secs || 105662648 markings, 187626349 edges, 54676 markings/sec, 1975 secs
lola: STP completed || 76 tries, 75729089 fired transitions, 1980 secs || 105940243 markings, 188125151 edges, 55519 markings/sec, 1980 secs
lola: STP completed || 76 tries, 75921463 fired transitions, 1985 secs || 106213794 markings, 188629635 edges, 54710 markings/sec, 1985 secs
lola: STP completed || 77 tries, 76085243 fired transitions, 1990 secs || 106492485 markings, 189150628 edges, 55738 markings/sec, 1990 secs
lola: STP completed || 77 tries, 76271987 fired transitions, 1995 secs || 106764964 markings, 189672433 edges, 54496 markings/sec, 1995 secs
lola: STP completed || 77 tries, 76465038 fired transitions, 2000 secs || 107043324 markings, 190204564 edges, 55672 markings/sec, 2000 secs
lola: STP completed || 77 tries, 76658326 fired transitions, 2005 secs || 107320226 markings, 190727796 edges, 55380 markings/sec, 2005 secs
lola: STP completed || 77 tries, 76849226 fired transitions, 2010 secs || 107593550 markings, 191213784 edges, 54665 markings/sec, 2010 secs
lola: STP completed || 78 tries, 77041662 fired transitions, 2015 secs || 107865166 markings, 191712652 edges, 54323 markings/sec, 2015 secs
lola: STP completed || 78 tries, 77234650 fired transitions, 2020 secs || 108135424 markings, 192227792 edges, 54052 markings/sec, 2020 secs
lola: STP completed || 78 tries, 77388271 fired transitions, 2025 secs || 108404766 markings, 192705862 edges, 53868 markings/sec, 2025 secs
lola: STP completed || 78 tries, 77580181 fired transitions, 2030 secs || 108680696 markings, 193224698 edges, 55186 markings/sec, 2030 secs
lola: STP completed || 78 tries, 77773277 fired transitions, 2035 secs || 108959047 markings, 193757649 edges, 55670 markings/sec, 2035 secs
lola: STP completed || 78 tries, 77966111 fired transitions, 2040 secs || 109233551 markings, 194271900 edges, 54901 markings/sec, 2040 secs
lola: STP completed || 79 tries, 78159287 fired transitions, 2045 secs || 109514125 markings, 194813835 edges, 56115 markings/sec, 2045 secs
lola: STP completed || 79 tries, 78352960 fired transitions, 2050 secs || 109786531 markings, 195307982 edges, 54481 markings/sec, 2050 secs
lola: STP completed || 79 tries, 78547069 fired transitions, 2055 secs || 110061735 markings, 195813266 edges, 55041 markings/sec, 2055 secs
lola: STP completed || 79 tries, 78726122 fired transitions, 2060 secs || 110328210 markings, 196321342 edges, 53295 markings/sec, 2060 secs
lola: STP completed || 79 tries, 78919462 fired transitions, 2065 secs || 110605432 markings, 196848837 edges, 55444 markings/sec, 2065 secs
lola: STP completed || 80 tries, 79111958 fired transitions, 2070 secs || 110882286 markings, 197378173 edges, 55371 markings/sec, 2070 secs
lola: STP completed || 80 tries, 79305002 fired transitions, 2075 secs || 111157171 markings, 197906878 edges, 54977 markings/sec, 2075 secs
lola: STP completed || 80 tries, 79497395 fired transitions, 2080 secs || 111428146 markings, 198428260 edges, 54195 markings/sec, 2080 secs
lola: STP completed || 80 tries, 79690146 fired transitions, 2085 secs || 111703334 markings, 198929952 edges, 55038 markings/sec, 2085 secs
lola: STP completed || 80 tries, 79883007 fired transitions, 2090 secs || 111974919 markings, 199406323 edges, 54317 markings/sec, 2090 secs
lola: STP completed || 81 tries, 80077928 fired transitions, 2095 secs || 112250785 markings, 199873722 edges, 55173 markings/sec, 2095 secs
lola: STP completed || 81 tries, 80263978 fired transitions, 2100 secs || 112481390 markings, 200277970 edges, 46121 markings/sec, 2100 secs
lola: STP completed || 81 tries, 80447106 fired transitions, 2105 secs || 112755796 markings, 200794346 edges, 54881 markings/sec, 2105 secs
lola: STP completed || 81 tries, 80638826 fired transitions, 2110 secs || 113033635 markings, 201326296 edges, 55568 markings/sec, 2110 secs
lola: STP completed || 81 tries, 80828204 fired transitions, 2115 secs || 113302725 markings, 201826777 edges, 53818 markings/sec, 2115 secs
lola: STP completed || 82 tries, 81011099 fired transitions, 2120 secs || 113569991 markings, 202318205 edges, 53453 markings/sec, 2120 secs
lola: STP completed || 82 tries, 81201645 fired transitions, 2125 secs || 113843288 markings, 202831944 edges, 54659 markings/sec, 2125 secs
lola: STP completed || 82 tries, 81394238 fired transitions, 2130 secs || 114120664 markings, 203349095 edges, 55475 markings/sec, 2130 secs
lola: STP completed || 82 tries, 81586910 fired transitions, 2135 secs || 114393619 markings, 203856684 edges, 54591 markings/sec, 2135 secs
lola: STP completed || 82 tries, 81779219 fired transitions, 2140 secs || 114662388 markings, 204320678 edges, 53754 markings/sec, 2140 secs
lola: STP completed || 82 tries, 81972076 fired transitions, 2145 secs || 114942266 markings, 204839168 edges, 55976 markings/sec, 2145 secs
lola: STP completed || 83 tries, 82165306 fired transitions, 2150 secs || 115220853 markings, 205366030 edges, 55717 markings/sec, 2150 secs
lola: STP completed || 83 tries, 82359688 fired transitions, 2155 secs || 115496890 markings, 205871202 edges, 55207 markings/sec, 2155 secs
lola: STP completed || 83 tries, 82553085 fired transitions, 2160 secs || 115773158 markings, 206400480 edges, 55254 markings/sec, 2160 secs
lola: STP completed || 83 tries, 82723339 fired transitions, 2165 secs || 116017859 markings, 206853898 edges, 48940 markings/sec, 2165 secs
lola: STP completed || 83 tries, 82893807 fired transitions, 2170 secs || 116255358 markings, 207306475 edges, 47500 markings/sec, 2170 secs
lola: STP completed || 84 tries, 83063729 fired transitions, 2175 secs || 116487087 markings, 207714126 edges, 46346 markings/sec, 2175 secs
lola: STP completed || 84 tries, 83234919 fired transitions, 2180 secs || 116723599 markings, 208158076 edges, 47302 markings/sec, 2180 secs
lola: STP completed || 84 tries, 83405818 fired transitions, 2185 secs || 116960953 markings, 208598661 edges, 47471 markings/sec, 2185 secs
lola: STP completed || 84 tries, 83577594 fired transitions, 2190 secs || 117201374 markings, 209052884 edges, 48084 markings/sec, 2190 secs
lola: STP completed || 84 tries, 83748306 fired transitions, 2195 secs || 117440236 markings, 209500318 edges, 47772 markings/sec, 2195 secs
lola: STP completed || 84 tries, 83930604 fired transitions, 2200 secs || 117710493 markings, 210028385 edges, 54051 markings/sec, 2200 secs
lola: STP completed || 85 tries, 84122821 fired transitions, 2205 secs || 117983843 markings, 210527377 edges, 54670 markings/sec, 2205 secs
lola: STP completed || 85 tries, 84316060 fired transitions, 2210 secs || 118260615 markings, 211048005 edges, 55354 markings/sec, 2210 secs
lola: STP completed || 85 tries, 84507131 fired transitions, 2215 secs || 118536578 markings, 211561528 edges, 55193 markings/sec, 2215 secs
lola: STP completed || 85 tries, 84700453 fired transitions, 2220 secs || 118811554 markings, 212090289 edges, 54995 markings/sec, 2220 secs
lola: STP completed || 85 tries, 84895849 fired transitions, 2225 secs || 119089050 markings, 212623536 edges, 55499 markings/sec, 2225 secs
lola: STP completed || 86 tries, 85088097 fired transitions, 2230 secs || 119361912 markings, 213097898 edges, 54572 markings/sec, 2230 secs
lola: STP completed || 86 tries, 85280816 fired transitions, 2235 secs || 119634527 markings, 213604315 edges, 54523 markings/sec, 2235 secs
lola: STP completed || 86 tries, 85473588 fired transitions, 2240 secs || 119908077 markings, 214088393 edges, 54710 markings/sec, 2240 secs
lola: STP completed || 86 tries, 85666223 fired transitions, 2245 secs || 120187343 markings, 214600576 edges, 55853 markings/sec, 2245 secs
lola: STP completed || 86 tries, 85858653 fired transitions, 2250 secs || 120462000 markings, 215093990 edges, 54931 markings/sec, 2250 secs
lola: STP completed || 87 tries, 86051297 fired transitions, 2255 secs || 120735084 markings, 215603687 edges, 54617 markings/sec, 2255 secs
lola: STP completed || 87 tries, 86243532 fired transitions, 2260 secs || 121010190 markings, 216102861 edges, 55021 markings/sec, 2260 secs
lola: STP completed || 87 tries, 86400822 fired transitions, 2265 secs || 121284333 markings, 216615100 edges, 54829 markings/sec, 2265 secs
lola: STP completed || 87 tries, 86594040 fired transitions, 2270 secs || 121562870 markings, 217131216 edges, 55707 markings/sec, 2270 secs
lola: STP completed || 87 tries, 86785988 fired transitions, 2275 secs || 121840179 markings, 217663653 edges, 55462 markings/sec, 2275 secs
lola: STP completed || 87 tries, 86977837 fired transitions, 2280 secs || 122119603 markings, 218193430 edges, 55885 markings/sec, 2280 secs
lola: STP completed || 88 tries, 87172266 fired transitions, 2285 secs || 122394651 markings, 218710906 edges, 55010 markings/sec, 2285 secs
lola: STP completed || 88 tries, 87365714 fired transitions, 2290 secs || 122668582 markings, 219231583 edges, 54786 markings/sec, 2290 secs
lola: STP completed || 88 tries, 87542612 fired transitions, 2295 secs || 122943994 markings, 219756036 edges, 55082 markings/sec, 2295 secs
lola: STP completed || 88 tries, 87719655 fired transitions, 2300 secs || 123218540 markings, 220272366 edges, 54909 markings/sec, 2300 secs
lola: STP completed || 88 tries, 87913424 fired transitions, 2305 secs || 123491985 markings, 220793168 edges, 54689 markings/sec, 2305 secs
lola: STP completed || 89 tries, 88096663 fired transitions, 2310 secs || 123767457 markings, 221311004 edges, 55094 markings/sec, 2310 secs
lola: STP completed || 89 tries, 88263232 fired transitions, 2315 secs || 124045710 markings, 221840845 edges, 55651 markings/sec, 2315 secs
lola: STP completed || 89 tries, 88455769 fired transitions, 2320 secs || 124322987 markings, 222342093 edges, 55455 markings/sec, 2320 secs
lola: STP completed || 89 tries, 88649909 fired transitions, 2325 secs || 124596799 markings, 222835212 edges, 54762 markings/sec, 2325 secs
lola: STP completed || 89 tries, 88843712 fired transitions, 2330 secs || 124869798 markings, 223338114 edges, 54600 markings/sec, 2330 secs
lola: STP completed || 90 tries, 89036727 fired transitions, 2335 secs || 125144440 markings, 223845412 edges, 54928 markings/sec, 2335 secs
lola: STP completed || 90 tries, 89229458 fired transitions, 2340 secs || 125417452 markings, 224350649 edges, 54602 markings/sec, 2340 secs
lola: STP completed || 90 tries, 89422045 fired transitions, 2345 secs || 125690663 markings, 224876781 edges, 54642 markings/sec, 2345 secs
lola: STP completed || 90 tries, 89614739 fired transitions, 2350 secs || 125966374 markings, 225408745 edges, 55142 markings/sec, 2350 secs
lola: STP completed || 90 tries, 89808337 fired transitions, 2355 secs || 126238988 markings, 225931939 edges, 54523 markings/sec, 2355 secs
lola: STP completed || 90 tries, 89994648 fired transitions, 2360 secs || 126509921 markings, 226418035 edges, 54187 markings/sec, 2360 secs
lola: STP completed || 91 tries, 90187668 fired transitions, 2365 secs || 126785139 markings, 226917579 edges, 55044 markings/sec, 2365 secs
lola: STP completed || 91 tries, 90380241 fired transitions, 2370 secs || 127062218 markings, 227445467 edges, 55416 markings/sec, 2370 secs
lola: STP completed || 91 tries, 90560301 fired transitions, 2375 secs || 127334387 markings, 227949889 edges, 54434 markings/sec, 2375 secs
lola: STP completed || 91 tries, 90748089 fired transitions, 2380 secs || 127605448 markings, 228433553 edges, 54212 markings/sec, 2380 secs
lola: STP completed || 91 tries, 90940488 fired transitions, 2385 secs || 127880183 markings, 228946371 edges, 54947 markings/sec, 2385 secs
lola: STP completed || 92 tries, 91119666 fired transitions, 2390 secs || 128143822 markings, 229448851 edges, 52728 markings/sec, 2390 secs
lola: STP completed || 92 tries, 91309958 fired transitions, 2395 secs || 128422898 markings, 229990082 edges, 55815 markings/sec, 2395 secs
lola: STP completed || 92 tries, 91502535 fired transitions, 2400 secs || 128696587 markings, 230489094 edges, 54738 markings/sec, 2400 secs
lola: STP completed || 92 tries, 91695523 fired transitions, 2405 secs || 128974064 markings, 231015050 edges, 55495 markings/sec, 2405 secs
lola: STP completed || 92 tries, 91887725 fired transitions, 2410 secs || 129243908 markings, 231498516 edges, 53969 markings/sec, 2410 secs
lola: STP completed || 93 tries, 92080373 fired transitions, 2415 secs || 129512831 markings, 232011722 edges, 53785 markings/sec, 2415 secs
lola: STP completed || 93 tries, 92272708 fired transitions, 2420 secs || 129785218 markings, 232527551 edges, 54477 markings/sec, 2420 secs
lola: STP completed || 93 tries, 92466718 fired transitions, 2425 secs || 130059694 markings, 233055047 edges, 54895 markings/sec, 2425 secs
lola: STP completed || 93 tries, 92660101 fired transitions, 2430 secs || 130336880 markings, 233586069 edges, 55437 markings/sec, 2430 secs
lola: STP completed || 93 tries, 92853349 fired transitions, 2435 secs || 130608202 markings, 234079547 edges, 54264 markings/sec, 2435 secs
lola: STP completed || 94 tries, 93047010 fired transitions, 2440 secs || 130883784 markings, 234592288 edges, 55116 markings/sec, 2440 secs
lola: STP completed || 94 tries, 93239678 fired transitions, 2445 secs || 131158412 markings, 235100021 edges, 54926 markings/sec, 2445 secs
lola: STP completed || 94 tries, 93432185 fired transitions, 2450 secs || 131434441 markings, 235622732 edges, 55206 markings/sec, 2450 secs
lola: STP completed || 94 tries, 93625868 fired transitions, 2455 secs || 131708885 markings, 236128781 edges, 54889 markings/sec, 2455 secs
lola: STP completed || 94 tries, 93817957 fired transitions, 2460 secs || 131981707 markings, 236629665 edges, 54564 markings/sec, 2460 secs
lola: STP completed || 95 tries, 94011156 fired transitions, 2465 secs || 132258547 markings, 237145955 edges, 55368 markings/sec, 2465 secs
lola: STP completed || 95 tries, 94197286 fired transitions, 2470 secs || 132525371 markings, 237609914 edges, 53365 markings/sec, 2470 secs
lola: STP completed || 95 tries, 94384853 fired transitions, 2475 secs || 132795955 markings, 238077380 edges, 54117 markings/sec, 2475 secs
lola: STP completed || 95 tries, 94578105 fired transitions, 2480 secs || 133062705 markings, 238529572 edges, 53350 markings/sec, 2480 secs
lola: STP completed || 95 tries, 94772403 fired transitions, 2485 secs || 133335243 markings, 238999192 edges, 54508 markings/sec, 2485 secs
lola: STP completed || 95 tries, 94964743 fired transitions, 2490 secs || 133604889 markings, 239444408 edges, 53929 markings/sec, 2490 secs
lola: STP completed || 96 tries, 95156940 fired transitions, 2495 secs || 133878550 markings, 239925506 edges, 54732 markings/sec, 2495 secs
lola: STP completed || 96 tries, 95349277 fired transitions, 2500 secs || 134148682 markings, 240403215 edges, 54026 markings/sec, 2500 secs
lola: STP completed || 96 tries, 95542068 fired transitions, 2505 secs || 134423755 markings, 240894065 edges, 55015 markings/sec, 2505 secs
lola: STP completed || 96 tries, 95736268 fired transitions, 2510 secs || 134695921 markings, 241341005 edges, 54433 markings/sec, 2510 secs
lola: STP completed || 96 tries, 95928239 fired transitions, 2515 secs || 134965947 markings, 241783326 edges, 54005 markings/sec, 2515 secs
lola: STP completed || 97 tries, 96121463 fired transitions, 2520 secs || 135241640 markings, 242273451 edges, 55139 markings/sec, 2520 secs
lola: STP completed || 97 tries, 96316053 fired transitions, 2525 secs || 135511899 markings, 242734025 edges, 54052 markings/sec, 2525 secs
lola: STP completed || 97 tries, 96485154 fired transitions, 2530 secs || 135757820 markings, 243174681 edges, 49184 markings/sec, 2530 secs
lola: STP completed || 97 tries, 96655292 fired transitions, 2535 secs || 135991515 markings, 243571248 edges, 46739 markings/sec, 2535 secs
lola: STP completed || 97 tries, 96830977 fired transitions, 2540 secs || 136245782 markings, 244018794 edges, 50853 markings/sec, 2540 secs
lola: STP completed || 98 tries, 97023715 fired transitions, 2545 secs || 136520621 markings, 244517196 edges, 54968 markings/sec, 2545 secs
lola: STP completed || 98 tries, 97211120 fired transitions, 2550 secs || 136795080 markings, 245018621 edges, 54892 markings/sec, 2550 secs
lola: STP completed || 98 tries, 97405223 fired transitions, 2555 secs || 137072277 markings, 245557708 edges, 55439 markings/sec, 2555 secs
lola: STP completed || 98 tries, 97598646 fired transitions, 2560 secs || 137350023 markings, 246082763 edges, 55549 markings/sec, 2560 secs
lola: STP completed || 98 tries, 97792628 fired transitions, 2565 secs || 137626639 markings, 246596089 edges, 55323 markings/sec, 2565 secs
lola: STP completed || 98 tries, 97986941 fired transitions, 2570 secs || 137903100 markings, 247125042 edges, 55292 markings/sec, 2570 secs
lola: STP completed || 99 tries, 98180445 fired transitions, 2575 secs || 138177300 markings, 247638486 edges, 54840 markings/sec, 2575 secs
lola: STP completed || 99 tries, 98374120 fired transitions, 2580 secs || 138446894 markings, 248099159 edges, 53919 markings/sec, 2580 secs
lola: STP completed || 99 tries, 98567483 fired transitions, 2585 secs || 138716303 markings, 248557777 edges, 53882 markings/sec, 2585 secs
lola: STP completed || 99 tries, 98761570 fired transitions, 2590 secs || 138986510 markings, 249029405 edges, 54041 markings/sec, 2590 secs
lola: STP completed || 99 tries, 98949427 fired transitions, 2595 secs || 139258928 markings, 249511468 edges, 54484 markings/sec, 2595 secs
lola: STP completed || 100 tries, 99138601 fired transitions, 2600 secs || 139529666 markings, 249992712 edges, 54148 markings/sec, 2600 secs
lola: STP completed || 100 tries, 99330879 fired transitions, 2605 secs || 139800056 markings, 250454913 edges, 54078 markings/sec, 2605 secs
lola: STP completed || 100 tries, 99522381 fired transitions, 2610 secs || 140076003 markings, 250957106 edges, 55189 markings/sec, 2610 secs
lola: STP completed || 100 tries, 99714057 fired transitions, 2615 secs || 140346766 markings, 251433730 edges, 54153 markings/sec, 2615 secs
lola: STP completed || 100 tries, 99906864 fired transitions, 2620 secs || 140622548 markings, 251963844 edges, 55156 markings/sec, 2620 secs
lola: STP completed || 101 tries, 100089890 fired transitions, 2625 secs || 140893653 markings, 252461112 edges, 54221 markings/sec, 2625 secs
lola: STP completed || 101 tries, 100274582 fired transitions, 2630 secs || 141169153 markings, 252993001 edges, 55100 markings/sec, 2630 secs
lola: STP completed || 101 tries, 100466888 fired transitions, 2635 secs || 141441503 markings, 253514060 edges, 54470 markings/sec, 2635 secs
lola: STP completed || 101 tries, 100659969 fired transitions, 2640 secs || 141719237 markings, 254039428 edges, 55547 markings/sec, 2640 secs
lola: STP completed || 101 tries, 100852481 fired transitions, 2645 secs || 141995392 markings, 254570391 edges, 55231 markings/sec, 2645 secs
lola: STP completed || 102 tries, 101045445 fired transitions, 2650 secs || 142270193 markings, 255106437 edges, 54960 markings/sec, 2650 secs
lola: STP completed || 102 tries, 101238161 fired transitions, 2655 secs || 142545719 markings, 255618113 edges, 55105 markings/sec, 2655 secs
lola: STP completed || 102 tries, 101431112 fired transitions, 2660 secs || 142817409 markings, 256138754 edges, 54338 markings/sec, 2660 secs
lola: STP completed || 102 tries, 101623692 fired transitions, 2665 secs || 143092170 markings, 256661821 edges, 54952 markings/sec, 2665 secs
lola: STP completed || 102 tries, 101817687 fired transitions, 2670 secs || 143366058 markings, 257177220 edges, 54778 markings/sec, 2670 secs
lola: STP completed || 103 tries, 102009580 fired transitions, 2675 secs || 143639033 markings, 257697337 edges, 54595 markings/sec, 2675 secs
lola: STP completed || 103 tries, 102202749 fired transitions, 2680 secs || 143914069 markings, 258216127 edges, 55007 markings/sec, 2680 secs
lola: STP completed || 103 tries, 102395194 fired transitions, 2685 secs || 144188704 markings, 258743895 edges, 54927 markings/sec, 2685 secs
lola: STP completed || 103 tries, 102587617 fired transitions, 2690 secs || 144463275 markings, 259276400 edges, 54914 markings/sec, 2690 secs
lola: STP completed || 103 tries, 102780297 fired transitions, 2695 secs || 144739341 markings, 259790428 edges, 55213 markings/sec, 2695 secs
lola: STP completed || 103 tries, 102972896 fired transitions, 2700 secs || 145010883 markings, 260317952 edges, 54308 markings/sec, 2700 secs
lola: STP completed || 104 tries, 103166669 fired transitions, 2705 secs || 145287084 markings, 260823218 edges, 55240 markings/sec, 2705 secs
lola: STP completed || 104 tries, 103352070 fired transitions, 2710 secs || 145563925 markings, 261347561 edges, 55368 markings/sec, 2710 secs
lola: STP completed || 104 tries, 103545473 fired transitions, 2715 secs || 145838057 markings, 261847767 edges, 54826 markings/sec, 2715 secs
lola: STP completed || 104 tries, 103723245 fired transitions, 2720 secs || 146095836 markings, 262310409 edges, 51556 markings/sec, 2720 secs
lola: STP completed || 104 tries, 103915359 fired transitions, 2725 secs || 146369994 markings, 262822144 edges, 54832 markings/sec, 2725 secs
lola: STP completed || 105 tries, 104109107 fired transitions, 2730 secs || 146642279 markings, 263322402 edges, 54457 markings/sec, 2730 secs
lola: STP completed || 105 tries, 104302063 fired transitions, 2735 secs || 146913560 markings, 263802849 edges, 54256 markings/sec, 2735 secs
lola: STP completed || 105 tries, 104496288 fired transitions, 2740 secs || 147186900 markings, 264288780 edges, 54668 markings/sec, 2740 secs
lola: STP completed || 105 tries, 104689408 fired transitions, 2745 secs || 147459275 markings, 264778328 edges, 54475 markings/sec, 2745 secs
lola: STP completed || 105 tries, 104881782 fired transitions, 2750 secs || 147729504 markings, 265251088 edges, 54046 markings/sec, 2750 secs
lola: STP completed || 106 tries, 105074577 fired transitions, 2755 secs || 147999787 markings, 265704567 edges, 54057 markings/sec, 2755 secs
lola: STP completed || 106 tries, 105245725 fired transitions, 2760 secs || 148255373 markings, 266133086 edges, 51117 markings/sec, 2760 secs
lola: STP completed || 106 tries, 105439046 fired transitions, 2765 secs || 148530463 markings, 266610359 edges, 55018 markings/sec, 2765 secs
lola: STP completed || 106 tries, 105631412 fired transitions, 2770 secs || 148806659 markings, 267097209 edges, 55239 markings/sec, 2770 secs
lola: STP completed || 106 tries, 105823667 fired transitions, 2775 secs || 149079015 markings, 267580819 edges, 54471 markings/sec, 2775 secs
lola: STP completed || 107 tries, 106016883 fired transitions, 2780 secs || 149354005 markings, 268080233 edges, 54998 markings/sec, 2780 secs
lola: STP completed || 107 tries, 106210204 fired transitions, 2785 secs || 149630822 markings, 268606017 edges, 55363 markings/sec, 2785 secs
lola: STP completed || 107 tries, 106396293 fired transitions, 2790 secs || 149901358 markings, 269106623 edges, 54107 markings/sec, 2790 secs
lola: STP completed || 107 tries, 106588807 fired transitions, 2795 secs || 150176036 markings, 269637184 edges, 54936 markings/sec, 2795 secs
lola: STP completed || 107 tries, 106781873 fired transitions, 2800 secs || 150448196 markings, 270146973 edges, 54432 markings/sec, 2800 secs
lola: STP completed || 107 tries, 106974804 fired transitions, 2805 secs || 150724240 markings, 270672197 edges, 55209 markings/sec, 2805 secs
lola: STP completed || 108 tries, 107167796 fired transitions, 2810 secs || 150995837 markings, 271177010 edges, 54319 markings/sec, 2810 secs
lola: STP completed || 108 tries, 107359832 fired transitions, 2815 secs || 151275095 markings, 271709227 edges, 55852 markings/sec, 2815 secs
lola: STP completed || 108 tries, 107553515 fired transitions, 2820 secs || 151550639 markings, 272226364 edges, 55109 markings/sec, 2820 secs
lola: STP completed || 108 tries, 107722592 fired transitions, 2825 secs || 151806209 markings, 272716913 edges, 51114 markings/sec, 2825 secs
lola: STP completed || 108 tries, 107906095 fired transitions, 2830 secs || 152072796 markings, 273215226 edges, 53317 markings/sec, 2830 secs
lola: STP completed || 109 tries, 108091462 fired transitions, 2835 secs || 152347850 markings, 273755260 edges, 55011 markings/sec, 2835 secs
lola: STP completed || 109 tries, 108283949 fired transitions, 2840 secs || 152619537 markings, 274278944 edges, 54337 markings/sec, 2840 secs
lola: STP completed || 109 tries, 108477258 fired transitions, 2845 secs || 152894089 markings, 274812596 edges, 54910 markings/sec, 2845 secs
lola: STP completed || 109 tries, 108670429 fired transitions, 2850 secs || 153165122 markings, 275270721 edges, 54207 markings/sec, 2850 secs
lola: STP completed || 109 tries, 108862868 fired transitions, 2855 secs || 153437210 markings, 275767641 edges, 54418 markings/sec, 2855 secs
lola: STP completed || 110 tries, 109055916 fired transitions, 2860 secs || 153711736 markings, 276271399 edges, 54905 markings/sec, 2860 secs
lola: STP completed || 110 tries, 109248179 fired transitions, 2865 secs || 153982831 markings, 276753537 edges, 54219 markings/sec, 2865 secs
lola: STP completed || 110 tries, 109432919 fired transitions, 2870 secs || 154256873 markings, 277263936 edges, 54808 markings/sec, 2870 secs
lola: STP completed || 110 tries, 109597572 fired transitions, 2875 secs || 154530183 markings, 277721832 edges, 54662 markings/sec, 2875 secs
lola: STP completed || 110 tries, 109790126 fired transitions, 2880 secs || 154806195 markings, 278237979 edges, 55202 markings/sec, 2880 secs
lola: STP completed || 110 tries, 109982508 fired transitions, 2885 secs || 155083673 markings, 278758412 edges, 55496 markings/sec, 2885 secs
lola: STP completed || 111 tries, 110176736 fired transitions, 2890 secs || 155358752 markings, 279276297 edges, 55016 markings/sec, 2890 secs
lola: STP completed || 111 tries, 110369661 fired transitions, 2895 secs || 155637002 markings, 279807594 edges, 55650 markings/sec, 2895 secs
lola: STP completed || 111 tries, 110562519 fired transitions, 2900 secs || 155916207 markings, 280337396 edges, 55841 markings/sec, 2900 secs
lola: STP completed || 111 tries, 110755478 fired transitions, 2905 secs || 156191576 markings, 280856395 edges, 55074 markings/sec, 2905 secs
lola: STP completed || 111 tries, 110949071 fired transitions, 2910 secs || 156469837 markings, 281380562 edges, 55652 markings/sec, 2910 secs
lola: STP completed || 112 tries, 111142223 fired transitions, 2915 secs || 156744130 markings, 281898171 edges, 54859 markings/sec, 2915 secs
lola: STP completed || 112 tries, 111306956 fired transitions, 2920 secs || 157018355 markings, 282429368 edges, 54845 markings/sec, 2920 secs
lola: STP completed || 112 tries, 111491555 fired transitions, 2925 secs || 157293187 markings, 282959116 edges, 54966 markings/sec, 2925 secs
lola: STP completed || 112 tries, 111675927 fired transitions, 2930 secs || 157566754 markings, 283483831 edges, 54713 markings/sec, 2930 secs
lola: STP completed || 112 tries, 111850536 fired transitions, 2935 secs || 157842747 markings, 284010469 edges, 55199 markings/sec, 2935 secs
lola: STP completed || 113 tries, 112024825 fired transitions, 2940 secs || 158119447 markings, 284532671 edges, 55340 markings/sec, 2940 secs
lola: STP completed || 113 tries, 112218187 fired transitions, 2945 secs || 158398815 markings, 285071749 edges, 55874 markings/sec, 2945 secs
lola: STP completed || 113 tries, 112399493 fired transitions, 2950 secs || 158674743 markings, 285569599 edges, 55186 markings/sec, 2950 secs
lola: STP completed || 113 tries, 112585392 fired transitions, 2955 secs || 158951188 markings, 286091768 edges, 55289 markings/sec, 2955 secs
lola: STP completed || 113 tries, 112778177 fired transitions, 2960 secs || 159227022 markings, 286621935 edges, 55167 markings/sec, 2960 secs
lola: STP completed || 113 tries, 112970967 fired transitions, 2965 secs || 159498058 markings, 287128322 edges, 54207 markings/sec, 2965 secs
lola: STP completed || 114 tries, 113164626 fired transitions, 2970 secs || 159776154 markings, 287649898 edges, 55619 markings/sec, 2970 secs
lola: STP completed || 114 tries, 113358185 fired transitions, 2975 secs || 160052914 markings, 288181275 edges, 55352 markings/sec, 2975 secs
lola: STP completed || 114 tries, 113550896 fired transitions, 2980 secs || 160324249 markings, 288704368 edges, 54267 markings/sec, 2980 secs
lola: STP completed || 114 tries, 113743939 fired transitions, 2985 secs || 160601131 markings, 289238814 edges, 55376 markings/sec, 2985 secs
lola: STP completed || 114 tries, 113936102 fired transitions, 2990 secs || 160872853 markings, 289720048 edges, 54344 markings/sec, 2990 secs
lola: STP completed || 115 tries, 114128002 fired transitions, 2995 secs || 161147212 markings, 290246672 edges, 54872 markings/sec, 2995 secs
lola: STP completed || 115 tries, 114320328 fired transitions, 3000 secs || 161420150 markings, 290774850 edges, 54588 markings/sec, 3000 secs
lola: STP completed || 115 tries, 114512568 fired transitions, 3005 secs || 161696257 markings, 291275628 edges, 55221 markings/sec, 3005 secs
lola: STP completed || 115 tries, 114685948 fired transitions, 3010 secs || 161970627 markings, 291792905 edges, 54874 markings/sec, 3010 secs
lola: STP completed || 115 tries, 114879896 fired transitions, 3015 secs || 162244934 markings, 292306752 edges, 54861 markings/sec, 3015 secs
lola: STP completed || 116 tries, 115072054 fired transitions, 3020 secs || 162521777 markings, 292843383 edges, 55369 markings/sec, 3020 secs
lola: STP completed || 116 tries, 115265054 fired transitions, 3025 secs || 162799387 markings, 293343062 edges, 55522 markings/sec, 3025 secs
lola: STP completed || 116 tries, 115455856 fired transitions, 3030 secs || 163074907 markings, 293850959 edges, 55104 markings/sec, 3030 secs
lola: STP completed || 116 tries, 115648661 fired transitions, 3035 secs || 163352028 markings, 294381798 edges, 55424 markings/sec, 3035 secs
lola: STP completed || 116 tries, 115841562 fired transitions, 3040 secs || 163627568 markings, 294918657 edges, 55108 markings/sec, 3040 secs
lola: STP completed || 117 tries, 116022128 fired transitions, 3045 secs || 163897378 markings, 295432351 edges, 53962 markings/sec, 3045 secs
lola: STP completed || 117 tries, 116188232 fired transitions, 3050 secs || 164151195 markings, 295913695 edges, 50763 markings/sec, 3050 secs
lola: STP completed || 117 tries, 116381583 fired transitions, 3055 secs || 164427168 markings, 296448320 edges, 55195 markings/sec, 3055 secs
lola: STP completed || 117 tries, 116576080 fired transitions, 3060 secs || 164700045 markings, 296943744 edges, 54575 markings/sec, 3060 secs
lola: STP completed || 117 tries, 116768563 fired transitions, 3065 secs || 164977626 markings, 297482189 edges, 55516 markings/sec, 3065 secs
lola: STP completed || 117 tries, 116962175 fired transitions, 3070 secs || 165252451 markings, 298011298 edges, 54965 markings/sec, 3070 secs
lola: STP completed || 118 tries, 117155413 fired transitions, 3075 secs || 165523574 markings, 298530958 edges, 54225 markings/sec, 3075 secs
lola: STP completed || 118 tries, 117348394 fired transitions, 3080 secs || 165798635 markings, 299063702 edges, 55012 markings/sec, 3080 secs
lola: STP completed || 118 tries, 117540072 fired transitions, 3085 secs || 166073081 markings, 299587117 edges, 54889 markings/sec, 3085 secs
lola: STP completed || 118 tries, 117733974 fired transitions, 3090 secs || 166350287 markings, 300108133 edges, 55441 markings/sec, 3090 secs
lola: STP completed || 118 tries, 117926156 fired transitions, 3095 secs || 166621848 markings, 300610366 edges, 54312 markings/sec, 3095 secs
lola: STP completed || 119 tries, 118118108 fired transitions, 3100 secs || 166891089 markings, 301085050 edges, 53848 markings/sec, 3100 secs
lola: STP completed || 119 tries, 118311058 fired transitions, 3105 secs || 167162569 markings, 301581582 edges, 54296 markings/sec, 3105 secs
lola: STP completed || 119 tries, 118497656 fired transitions, 3110 secs || 167436885 markings, 302115874 edges, 54863 markings/sec, 3110 secs
lola: STP completed || 119 tries, 118690976 fired transitions, 3115 secs || 167712992 markings, 302629326 edges, 55221 markings/sec, 3115 secs
lola: STP completed || 119 tries, 118882993 fired transitions, 3120 secs || 167986805 markings, 303111146 edges, 54763 markings/sec, 3120 secs
lola: STP completed || 120 tries, 119075842 fired transitions, 3125 secs || 168263253 markings, 303618011 edges, 55290 markings/sec, 3125 secs
lola: STP completed || 120 tries, 119268892 fired transitions, 3130 secs || 168534704 markings, 304109593 edges, 54290 markings/sec, 3130 secs
lola: STP completed || 120 tries, 119461767 fired transitions, 3135 secs || 168806610 markings, 304598931 edges, 54381 markings/sec, 3135 secs
lola: STP completed || 120 tries, 119655770 fired transitions, 3140 secs || 169083946 markings, 305106593 edges, 55467 markings/sec, 3140 secs
lola: STP completed || 120 tries, 119847893 fired transitions, 3145 secs || 169352033 markings, 305543247 edges, 53617 markings/sec, 3145 secs
lola: STP completed || 121 tries, 120040896 fired transitions, 3150 secs || 169626638 markings, 305998204 edges, 54921 markings/sec, 3150 secs
lola: STP completed || 121 tries, 120234972 fired transitions, 3155 secs || 169896797 markings, 306444564 edges, 54032 markings/sec, 3155 secs
lola: STP completed || 121 tries, 120428404 fired transitions, 3160 secs || 170168351 markings, 306904686 edges, 54311 markings/sec, 3160 secs
lola: STP completed || 121 tries, 120621199 fired transitions, 3165 secs || 170439983 markings, 307347547 edges, 54326 markings/sec, 3165 secs
lola: STP completed || 121 tries, 120813461 fired transitions, 3170 secs || 170709586 markings, 307795740 edges, 53921 markings/sec, 3170 secs
lola: STP completed || 122 tries, 121006388 fired transitions, 3175 secs || 170978696 markings, 308246809 edges, 53822 markings/sec, 3175 secs
lola: STP completed || 122 tries, 121199376 fired transitions, 3180 secs || 171252474 markings, 308741523 edges, 54756 markings/sec, 3180 secs
lola: STP completed || 122 tries, 121393128 fired transitions, 3185 secs || 171527259 markings, 309222128 edges, 54957 markings/sec, 3185 secs
lola: STP completed || 122 tries, 121579675 fired transitions, 3190 secs || 171801609 markings, 309716427 edges, 54870 markings/sec, 3190 secs
lola: STP completed || 122 tries, 121771141 fired transitions, 3195 secs || 172073722 markings, 310180727 edges, 54423 markings/sec, 3195 secs
lola: STP completed || 122 tries, 121963517 fired transitions, 3200 secs || 172342065 markings, 310634884 edges, 53669 markings/sec, 3200 secs
lola: STP completed || 123 tries, 122156704 fired transitions, 3205 secs || 172617308 markings, 311119933 edges, 55049 markings/sec, 3205 secs
lola: STP completed || 123 tries, 122339649 fired transitions, 3210 secs || 172891967 markings, 311601031 edges, 54932 markings/sec, 3210 secs
lola: STP completed || 123 tries, 122505203 fired transitions, 3215 secs || 173163369 markings, 312086511 edges, 54280 markings/sec, 3215 secs
lola: STP completed || 123 tries, 122699533 fired transitions, 3220 secs || 173442855 markings, 312619044 edges, 55897 markings/sec, 3220 secs
lola: STP completed || 123 tries, 122891756 fired transitions, 3225 secs || 173718383 markings, 313153622 edges, 55106 markings/sec, 3225 secs
lola: STP completed || 124 tries, 123084710 fired transitions, 3230 secs || 173989381 markings, 313683083 edges, 54200 markings/sec, 3230 secs
lola: STP completed || 124 tries, 123277559 fired transitions, 3235 secs || 174261653 markings, 314201538 edges, 54454 markings/sec, 3235 secs
lola: STP completed || 124 tries, 123468380 fired transitions, 3240 secs || 174533630 markings, 314684256 edges, 54395 markings/sec, 3240 secs
lola: STP completed || 124 tries, 123662403 fired transitions, 3245 secs || 174810513 markings, 315218827 edges, 55377 markings/sec, 3245 secs
lola: STP completed || 124 tries, 123856211 fired transitions, 3250 secs || 175083424 markings, 315720536 edges, 54582 markings/sec, 3250 secs
lola: STP completed || 125 tries, 124049587 fired transitions, 3255 secs || 175362817 markings, 316255194 edges, 55879 markings/sec, 3255 secs
lola: STP completed || 125 tries, 124243093 fired transitions, 3260 secs || 175641905 markings, 316785812 edges, 55818 markings/sec, 3260 secs
lola: STP completed || 125 tries, 124435970 fired transitions, 3265 secs || 175918059 markings, 317314055 edges, 55231 markings/sec, 3265 secs
lola: STP completed || 125 tries, 124621644 fired transitions, 3270 secs || 176192187 markings, 317818603 edges, 54826 markings/sec, 3270 secs
lola: STP completed || 125 tries, 124814810 fired transitions, 3275 secs || 176466662 markings, 318337061 edges, 54895 markings/sec, 3275 secs
lola: STP completed || 126 tries, 125007267 fired transitions, 3280 secs || 176745374 markings, 318874930 edges, 55742 markings/sec, 3280 secs
lola: STP completed || 126 tries, 125199895 fired transitions, 3285 secs || 177015075 markings, 319373676 edges, 53940 markings/sec, 3285 secs
lola: STP completed || 126 tries, 125393347 fired transitions, 3290 secs || 177290766 markings, 319908076 edges, 55138 markings/sec, 3290 secs
lola: STP completed || 126 tries, 125587196 fired transitions, 3295 secs || 177566363 markings, 320450611 edges, 55119 markings/sec, 3295 secs
lola: STP completed || 126 tries, 125778458 fired transitions, 3300 secs || 177842102 markings, 320983006 edges, 55148 markings/sec, 3300 secs
lola: STP completed || 126 tries, 125971217 fired transitions, 3305 secs || 178115788 markings, 321510794 edges, 54737 markings/sec, 3305 secs
lola: STP completed || 127 tries, 126164602 fired transitions, 3310 secs || 178390821 markings, 322028784 edges, 55007 markings/sec, 3310 secs
lola: STP completed || 127 tries, 126353840 fired transitions, 3315 secs || 178659160 markings, 322518907 edges, 53668 markings/sec, 3315 secs
lola: STP completed || 127 tries, 126521530 fired transitions, 3320 secs || 178901509 markings, 322979243 edges, 48470 markings/sec, 3320 secs
lola: STP completed || 127 tries, 126689066 fired transitions, 3325 secs || 179140781 markings, 323434415 edges, 47854 markings/sec, 3325 secs
lola: STP completed || 127 tries, 126857592 fired transitions, 3330 secs || 179378355 markings, 323881716 edges, 47515 markings/sec, 3330 secs
lola: STP completed || 128 tries, 127026341 fired transitions, 3335 secs || 179618793 markings, 324361315 edges, 48088 markings/sec, 3335 secs
lola: STP completed || 128 tries, 127168301 fired transitions, 3340 secs || 179823307 markings, 324758632 edges, 40903 markings/sec, 3340 secs
lola: STP completed || 128 tries, 127191320 fired transitions, 3345 secs || 179841915 markings, 324794358 edges, 3722 markings/sec, 3345 secs
lola: STP completed || 128 tries, 127194856 fired transitions, 3350 secs || 179843864 markings, 324798086 edges, 390 markings/sec, 3350 secs
lola: STP completed || 128 tries, 127202071 fired transitions, 3355 secs || 179847820 markings, 324805843 edges, 791 markings/sec, 3355 secs
lola: STP completed || 128 tries, 127210468 fired transitions, 3360 secs || 179852175 markings, 324813681 edges, 871 markings/sec, 3360 secs
lola: STP completed || 128 tries, 127221295 fired transitions, 3365 secs || 179856008 markings, 324820544 edges, 767 markings/sec, 3365 secs
lola: STP completed || 128 tries, 127291572 fired transitions, 3370 secs || 179861061 markings, 324829576 edges, 1011 markings/sec, 3370 secs
lola: STP completed || 128 tries, 127342346 fired transitions, 3375 secs || 179865255 markings, 324836073 edges, 839 markings/sec, 3375 secs
lola: STP completed || 128 tries, 127374165 fired transitions, 3380 secs || 179874041 markings, 324850102 edges, 1757 markings/sec, 3380 secs
lola: STP completed || 128 tries, 127427689 fired transitions, 3385 secs || 179884507 markings, 324866674 edges, 2093 markings/sec, 3385 secs
lola: STP completed || 128 tries, 127439596 fired transitions, 3390 secs || 179887687 markings, 324871566 edges, 636 markings/sec, 3390 secs
lola: STP completed || 128 tries, 127459171 fired transitions, 3395 secs || 179896976 markings, 324886030 edges, 1858 markings/sec, 3395 secs
lola: STP completed || 128 tries, 127473408 fired transitions, 3400 secs || 179903309 markings, 324895862 edges, 1267 markings/sec, 3400 secs
lola: STP completed || 128 tries, 127504442 fired transitions, 3405 secs || 179911681 markings, 324909143 edges, 1674 markings/sec, 3405 secs
lola: STP completed || 128 tries, 127563935 fired transitions, 3410 secs || 179934827 markings, 324948482 edges, 4629 markings/sec, 3410 secs
lola: STP completed || 128 tries, 127578947 fired transitions, 3415 secs || 179943736 markings, 324962538 edges, 1782 markings/sec, 3415 secs
lola: STP completed || 128 tries, 127642477 fired transitions, 3420 secs || 179957905 markings, 324987174 edges, 2834 markings/sec, 3420 secs
lola: STP completed || 128 tries, 127676250 fired transitions, 3425 secs || 179966742 markings, 325004500 edges, 1767 markings/sec, 3425 secs
lola: STP completed || 128 tries, 127700788 fired transitions, 3430 secs || 179971656 markings, 325014395 edges, 983 markings/sec, 3430 secs
lola: STP completed || 128 tries, 127752023 fired transitions, 3435 secs || 179982013 markings, 325033261 edges, 2071 markings/sec, 3435 secs
lola: STP completed || 128 tries, 127779125 fired transitions, 3440 secs || 179996002 markings, 325060044 edges, 2798 markings/sec, 3440 secs
lola: STP completed || 128 tries, 127800618 fired transitions, 3445 secs || 180008315 markings, 325082835 edges, 2463 markings/sec, 3445 secs
lola: STP completed || 128 tries, 127857600 fired transitions, 3450 secs || 180024716 markings, 325111440 edges, 3280 markings/sec, 3450 secs
BK_STOP 1526664554358
--------------------
content from stderr:
Killed
Sequence of Actions to be Executed by the VM
This is useful if one wants to reexecute the tool in the VM from the submitted image disk.
set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="FlexibleBarrier-PT-12a"
export BK_EXAMINATION="ReachabilityDeadlock"
export BK_TOOL="lola"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
# this is specific to your benchmark or test
export BIN_DIR="$HOME/BenchKit/bin"
# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi
tar xzf /home/mcc/BenchKit/INPUTS/FlexibleBarrier-PT-12a.tgz
mv FlexibleBarrier-PT-12a execution
cd execution
pwd
ls -lh
# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-3637"
echo " Executing tool lola"
echo " Input is FlexibleBarrier-PT-12a, examination is ReachabilityDeadlock"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r088-blw7-152649998100160"
echo "====================================================================="
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "ReachabilityDeadlock" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "ReachabilityDeadlock" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "ReachabilityDeadlock.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property ReachabilityDeadlock.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "ReachabilityDeadlock.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '
echo "FORMULA_NAME $x"
done
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;