About the Execution of LoLA for LamportFastMutEx-COL-6
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 3195.030 | 3569888.00 | 7295278.00 | 490.00 | [undef] | Cannot compute |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Waiting for the VM to be ready (probing ssh)
...................
/home/mcc/execution
total 204K
-rw-r--r-- 1 mcc users 3.3K May 15 18:54 CTLCardinality.txt
-rw-r--r-- 1 mcc users 17K May 15 18:54 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.6K May 15 18:54 CTLFireability.txt
-rw-r--r-- 1 mcc users 15K May 15 18:54 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K May 15 18:50 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.3K May 15 18:50 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 2.6K May 15 18:54 LTLCardinality.txt
-rw-r--r-- 1 mcc users 12K May 15 18:54 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.9K May 15 18:54 LTLFireability.txt
-rw-r--r-- 1 mcc users 8.1K May 15 18:54 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.9K May 15 18:54 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 20K May 15 18:54 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 113 May 15 18:54 ReachabilityDeadlock.txt
-rw-r--r-- 1 mcc users 351 May 15 18:54 ReachabilityDeadlock.xml
-rw-r--r-- 1 mcc users 2.7K May 15 18:54 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 14K May 15 18:54 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K May 15 18:54 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K May 15 18:54 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 May 15 18:50 equiv_pt
-rw-r--r-- 1 mcc users 2 May 15 18:50 instance
-rw-r--r-- 1 mcc users 5 May 15 18:50 iscolored
-rw-r--r-- 1 mcc users 42K May 15 18:50 model.pnml
=====================================================================
Generated by BenchKit 2-3637
Executing tool lola
Input is LamportFastMutEx-COL-6, examination is ReachabilityDeadlock
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r112-csrt-152666469000090
=====================================================================
--------------------
content from stdout:
=== Data for post analysis generated by BenchKit (invocation template)
The expected result is a vector of booleans
BOOL_VECTOR
here is the order used to build the result vector(from text file)
FORMULA_NAME LamportFastMutEx-COL-6-ReachabilityDeadlock-0
=== Now, execution of the tool begins
BK_START 1527012378821
info: Time: 3600 - MCC
===========================================================================================
prep: translating LamportFastMutEx-COL-6 Petri net model.pnml into LoLA format
===========================================================================================
prep: translating COL Petri net complete
prep: added safe information to the net based on GenericPropertiesVerdict
prep: check for too many tokens
===========================================================================================
prep: translating LamportFastMutEx-COL-6 formula ReachabilityDeadlock into LoLA format
===========================================================================================
prep: translating COL formula complete
vrfy: Checking ReachabilityDeadlock @ LamportFastMutEx-COL-6 @ 3569 seconds
lola: LoLA will run for 3569 seconds at most (--timelimit)
lola: NET
lola: reading net from model.pnml.lola
lola: finished parsing
lola: closed net file model.pnml.lola
lola: 637/65536 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 217
lola: finding significant places
lola: 217 places, 420 transitions, 152 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 597 transition conflict sets
lola: TASK
lola: reading formula from LamportFastMutEx-COL-6-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: computing symmetries (--symmetry)
lola: findpath: no retry limit given (--retrylimit)
lola: time limit for symmetry computation of 300 seconds given (--symmtimelimit)
lola: findpath: transitions are chosen randomly
lola: computed 15 generators (8 in search tree, 7 by composition)
lola: representing 720 symmetries
lola: 0 dead branches visited in search tree
lola: STP: formula with 7849 variables and 31672 clauses shipped to Minisat
lola: stp: The siphon/trap property does not hold
lola: STP completed || 1 tries, 122196 fired transitions, 0 secs || 96417 markings, 267795 edges, 19283 markings/sec, 0 secs
lola: STP completed || 1 tries, 250046 fired transitions, 5 secs || 194585 markings, 586776 edges, 19634 markings/sec, 5 secs
lola: STP completed || 1 tries, 377265 fired transitions, 10 secs || 290232 markings, 909523 edges, 19129 markings/sec, 10 secs
lola: STP completed || 1 tries, 509110 fired transitions, 15 secs || 390374 markings, 1244161 edges, 20028 markings/sec, 15 secs
lola: STP completed || 1 tries, 652809 fired transitions, 20 secs || 494431 markings, 1618834 edges, 20811 markings/sec, 20 secs
lola: STP completed || 1 tries, 806070 fired transitions, 25 secs || 607201 markings, 2012273 edges, 22554 markings/sec, 25 secs
lola: STP completed || 1 tries, 951091 fired transitions, 30 secs || 709797 markings, 2387711 edges, 20519 markings/sec, 30 secs
lola: STP completed || 2 tries, 1083322 fired transitions, 35 secs || 813616 markings, 2735788 edges, 20764 markings/sec, 35 secs
lola: STP completed || 2 tries, 1215220 fired transitions, 40 secs || 913965 markings, 3091183 edges, 20070 markings/sec, 40 secs
lola: STP completed || 2 tries, 1350746 fired transitions, 45 secs || 1016794 markings, 3450160 edges, 20566 markings/sec, 45 secs
lola: STP completed || 2 tries, 1488412 fired transitions, 50 secs || 1120976 markings, 3820094 edges, 20836 markings/sec, 50 secs
lola: STP completed || 2 tries, 1627020 fired transitions, 55 secs || 1222439 markings, 4180738 edges, 20293 markings/sec, 55 secs
lola: STP completed || 2 tries, 1769873 fired transitions, 60 secs || 1319818 markings, 4552091 edges, 19476 markings/sec, 60 secs
lola: STP completed || 2 tries, 1925046 fired transitions, 65 secs || 1428882 markings, 4964314 edges, 21813 markings/sec, 65 secs
lola: STP completed || 3 tries, 2091106 fired transitions, 70 secs || 1550952 markings, 5414809 edges, 24414 markings/sec, 70 secs
lola: STP completed || 3 tries, 2255733 fired transitions, 75 secs || 1670098 markings, 5862546 edges, 23829 markings/sec, 75 secs
lola: STP completed || 3 tries, 2421885 fired transitions, 80 secs || 1790129 markings, 6309571 edges, 24006 markings/sec, 80 secs
lola: STP completed || 3 tries, 2581907 fired transitions, 85 secs || 1900930 markings, 6742787 edges, 22160 markings/sec, 85 secs
lola: STP completed || 3 tries, 2713412 fired transitions, 90 secs || 1995999 markings, 7108465 edges, 19014 markings/sec, 90 secs
lola: STP completed || 3 tries, 2848376 fired transitions, 95 secs || 2090508 markings, 7480671 edges, 18902 markings/sec, 95 secs
lola: STP completed || 3 tries, 2998669 fired transitions, 100 secs || 2195885 markings, 7886557 edges, 21075 markings/sec, 100 secs
lola: STP completed || 4 tries, 3154339 fired transitions, 105 secs || 2307591 markings, 8321919 edges, 22341 markings/sec, 105 secs
lola: STP completed || 4 tries, 3284775 fired transitions, 110 secs || 2397773 markings, 8697128 edges, 18036 markings/sec, 110 secs
lola: STP completed || 4 tries, 3418790 fired transitions, 115 secs || 2486505 markings, 9063014 edges, 17746 markings/sec, 115 secs
lola: STP completed || 4 tries, 3559834 fired transitions, 120 secs || 2577724 markings, 9434896 edges, 18244 markings/sec, 120 secs
lola: STP completed || 4 tries, 3708324 fired transitions, 125 secs || 2681927 markings, 9855370 edges, 20841 markings/sec, 125 secs
lola: STP completed || 4 tries, 3869475 fired transitions, 130 secs || 2793584 markings, 10317462 edges, 22331 markings/sec, 130 secs
lola: STP completed || 5 tries, 4029027 fired transitions, 135 secs || 2901833 markings, 10763392 edges, 21650 markings/sec, 135 secs
lola: STP completed || 5 tries, 4188074 fired transitions, 140 secs || 3014298 markings, 11201462 edges, 22493 markings/sec, 140 secs
lola: STP completed || 5 tries, 4323825 fired transitions, 145 secs || 3110128 markings, 11575953 edges, 19166 markings/sec, 145 secs
lola: STP completed || 5 tries, 4468911 fired transitions, 150 secs || 3213817 markings, 11990106 edges, 20738 markings/sec, 150 secs
lola: STP completed || 5 tries, 4621216 fired transitions, 155 secs || 3321552 markings, 12434280 edges, 21547 markings/sec, 155 secs
lola: STP completed || 5 tries, 4762134 fired transitions, 160 secs || 3417549 markings, 12825307 edges, 19199 markings/sec, 160 secs
lola: STP completed || 5 tries, 4900469 fired transitions, 165 secs || 3515907 markings, 13226595 edges, 19672 markings/sec, 165 secs
lola: STP completed || 6 tries, 5038749 fired transitions, 170 secs || 3615479 markings, 13619066 edges, 19914 markings/sec, 170 secs
lola: STP completed || 6 tries, 5184108 fired transitions, 175 secs || 3713305 markings, 14005251 edges, 19565 markings/sec, 175 secs
lola: STP completed || 6 tries, 5334942 fired transitions, 180 secs || 3820586 markings, 14422247 edges, 21456 markings/sec, 180 secs
lola: STP completed || 6 tries, 5461534 fired transitions, 185 secs || 3915220 markings, 14800154 edges, 18927 markings/sec, 185 secs
lola: STP completed || 6 tries, 5623952 fired transitions, 190 secs || 4030589 markings, 15262308 edges, 23074 markings/sec, 190 secs
lola: STP completed || 6 tries, 5783320 fired transitions, 195 secs || 4145129 markings, 15729122 edges, 22908 markings/sec, 195 secs
lola: STP completed || 6 tries, 5915772 fired transitions, 200 secs || 4235985 markings, 16107193 edges, 18171 markings/sec, 200 secs
lola: STP completed || 7 tries, 6048619 fired transitions, 205 secs || 4330774 markings, 16479954 edges, 18958 markings/sec, 205 secs
lola: STP completed || 7 tries, 6182780 fired transitions, 210 secs || 4425824 markings, 16851191 edges, 19010 markings/sec, 210 secs
lola: STP completed || 7 tries, 6317502 fired transitions, 215 secs || 4520663 markings, 17223897 edges, 18968 markings/sec, 215 secs
lola: STP completed || 7 tries, 6453007 fired transitions, 220 secs || 4612645 markings, 17600285 edges, 18396 markings/sec, 220 secs
lola: STP completed || 7 tries, 6603907 fired transitions, 225 secs || 4725013 markings, 18059542 edges, 22474 markings/sec, 225 secs
lola: STP completed || 7 tries, 6738656 fired transitions, 230 secs || 4821199 markings, 18454600 edges, 19237 markings/sec, 230 secs
lola: STP completed || 7 tries, 6876546 fired transitions, 235 secs || 4915895 markings, 18837533 edges, 18939 markings/sec, 235 secs
lola: STP completed || 8 tries, 7016638 fired transitions, 240 secs || 5013330 markings, 19224459 edges, 19487 markings/sec, 240 secs
lola: STP completed || 8 tries, 7154508 fired transitions, 245 secs || 5108245 markings, 19623014 edges, 18983 markings/sec, 245 secs
lola: STP completed || 8 tries, 7294522 fired transitions, 250 secs || 5204683 markings, 20034555 edges, 19288 markings/sec, 250 secs
lola: STP completed || 8 tries, 7431129 fired transitions, 255 secs || 5303141 markings, 20428557 edges, 19692 markings/sec, 255 secs
lola: STP completed || 8 tries, 7561189 fired transitions, 260 secs || 5397488 markings, 20799959 edges, 18869 markings/sec, 260 secs
lola: STP completed || 8 tries, 7693148 fired transitions, 265 secs || 5489647 markings, 21187142 edges, 18432 markings/sec, 265 secs
lola: STP completed || 8 tries, 7826980 fired transitions, 270 secs || 5581128 markings, 21558059 edges, 18296 markings/sec, 270 secs
lola: STP completed || 8 tries, 7960780 fired transitions, 275 secs || 5675569 markings, 21921397 edges, 18888 markings/sec, 275 secs
lola: STP completed || 9 tries, 8094401 fired transitions, 280 secs || 5768003 markings, 22279186 edges, 18487 markings/sec, 280 secs
lola: STP completed || 9 tries, 8227663 fired transitions, 285 secs || 5860570 markings, 22653934 edges, 18513 markings/sec, 285 secs
lola: STP completed || 9 tries, 8361309 fired transitions, 290 secs || 5953692 markings, 23030225 edges, 18624 markings/sec, 290 secs
lola: STP completed || 9 tries, 8497179 fired transitions, 295 secs || 6050882 markings, 23401441 edges, 19438 markings/sec, 295 secs
lola: STP completed || 9 tries, 8636634 fired transitions, 300 secs || 6149232 markings, 23797549 edges, 19670 markings/sec, 300 secs
lola: STP completed || 9 tries, 8775568 fired transitions, 305 secs || 6246124 markings, 24192076 edges, 19378 markings/sec, 305 secs
lola: STP completed || 9 tries, 8915338 fired transitions, 310 secs || 6345199 markings, 24609523 edges, 19815 markings/sec, 310 secs
lola: STP completed || 10 tries, 9079961 fired transitions, 315 secs || 6461034 markings, 25085328 edges, 23167 markings/sec, 315 secs
lola: STP completed || 10 tries, 9246724 fired transitions, 320 secs || 6578303 markings, 25565581 edges, 23454 markings/sec, 320 secs
lola: STP completed || 10 tries, 9393116 fired transitions, 325 secs || 6683125 markings, 25999911 edges, 20964 markings/sec, 325 secs
lola: STP completed || 10 tries, 9552980 fired transitions, 330 secs || 6797855 markings, 26465394 edges, 22946 markings/sec, 330 secs
lola: STP completed || 10 tries, 9719629 fired transitions, 335 secs || 6914125 markings, 26931698 edges, 23254 markings/sec, 335 secs
lola: STP completed || 10 tries, 9886281 fired transitions, 340 secs || 7031107 markings, 27410045 edges, 23396 markings/sec, 340 secs
lola: STP completed || 11 tries, 10037285 fired transitions, 345 secs || 7138512 markings, 27840864 edges, 21481 markings/sec, 345 secs
lola: STP completed || 11 tries, 10169464 fired transitions, 350 secs || 7230974 markings, 28234876 edges, 18492 markings/sec, 350 secs
lola: STP completed || 11 tries, 10302541 fired transitions, 355 secs || 7324125 markings, 28603673 edges, 18630 markings/sec, 355 secs
lola: STP completed || 11 tries, 10436758 fired transitions, 360 secs || 7416198 markings, 28985585 edges, 18415 markings/sec, 360 secs
lola: STP completed || 11 tries, 10604026 fired transitions, 365 secs || 7531960 markings, 29458947 edges, 23152 markings/sec, 365 secs
lola: STP completed || 11 tries, 10767320 fired transitions, 370 secs || 7643425 markings, 29913378 edges, 22293 markings/sec, 370 secs
lola: STP completed || 11 tries, 10928418 fired transitions, 375 secs || 7755375 markings, 30362296 edges, 22390 markings/sec, 375 secs
lola: STP completed || 12 tries, 11091604 fired transitions, 380 secs || 7867605 markings, 30807852 edges, 22446 markings/sec, 380 secs
lola: STP completed || 12 tries, 11227475 fired transitions, 385 secs || 7962393 markings, 31182528 edges, 18958 markings/sec, 385 secs
lola: STP completed || 12 tries, 11362117 fired transitions, 390 secs || 8054547 markings, 31563251 edges, 18431 markings/sec, 390 secs
lola: STP completed || 12 tries, 11500122 fired transitions, 395 secs || 8148852 markings, 31951272 edges, 18861 markings/sec, 395 secs
lola: STP completed || 12 tries, 11639649 fired transitions, 400 secs || 8244997 markings, 32349852 edges, 19229 markings/sec, 400 secs
lola: STP completed || 12 tries, 11777028 fired transitions, 405 secs || 8342278 markings, 32735577 edges, 19456 markings/sec, 405 secs
lola: STP completed || 12 tries, 11916652 fired transitions, 410 secs || 8438772 markings, 33129814 edges, 19299 markings/sec, 410 secs
lola: STP completed || 13 tries, 12055370 fired transitions, 415 secs || 8534637 markings, 33525229 edges, 19173 markings/sec, 415 secs
lola: STP completed || 13 tries, 12193308 fired transitions, 420 secs || 8630307 markings, 33919243 edges, 19134 markings/sec, 420 secs
lola: STP completed || 13 tries, 12330153 fired transitions, 425 secs || 8726748 markings, 34320941 edges, 19288 markings/sec, 425 secs
lola: STP completed || 13 tries, 12469290 fired transitions, 430 secs || 8822353 markings, 34712466 edges, 19121 markings/sec, 430 secs
lola: STP completed || 13 tries, 12607260 fired transitions, 435 secs || 8916370 markings, 35104288 edges, 18803 markings/sec, 435 secs
lola: STP completed || 13 tries, 12744502 fired transitions, 440 secs || 9011716 markings, 35503230 edges, 19069 markings/sec, 440 secs
lola: STP completed || 13 tries, 12882769 fired transitions, 445 secs || 9107855 markings, 35902781 edges, 19228 markings/sec, 445 secs
lola: STP completed || 14 tries, 13020094 fired transitions, 450 secs || 9202886 markings, 36298173 edges, 19006 markings/sec, 450 secs
lola: STP completed || 14 tries, 13155472 fired transitions, 455 secs || 9295747 markings, 36678422 edges, 18572 markings/sec, 455 secs
lola: STP completed || 14 tries, 13291232 fired transitions, 460 secs || 9387873 markings, 37066159 edges, 18425 markings/sec, 460 secs
lola: STP completed || 14 tries, 13427064 fired transitions, 465 secs || 9480316 markings, 37462392 edges, 18489 markings/sec, 465 secs
lola: STP completed || 14 tries, 13564376 fired transitions, 470 secs || 9576309 markings, 37855124 edges, 19199 markings/sec, 470 secs
lola: STP completed || 14 tries, 13701155 fired transitions, 475 secs || 9674685 markings, 38248443 edges, 19675 markings/sec, 475 secs
lola: STP completed || 14 tries, 13837610 fired transitions, 480 secs || 9771261 markings, 38654438 edges, 19315 markings/sec, 480 secs
lola: STP completed || 14 tries, 13974994 fired transitions, 485 secs || 9867869 markings, 39044673 edges, 19322 markings/sec, 485 secs
lola: STP completed || 15 tries, 14113778 fired transitions, 490 secs || 9964137 markings, 39448613 edges, 19254 markings/sec, 490 secs
lola: STP completed || 15 tries, 14252776 fired transitions, 495 secs || 10059920 markings, 39862743 edges, 19157 markings/sec, 495 secs
lola: STP completed || 15 tries, 14419281 fired transitions, 500 secs || 10173041 markings, 40333280 edges, 22624 markings/sec, 500 secs
lola: STP completed || 15 tries, 14552461 fired transitions, 505 secs || 10268821 markings, 40734120 edges, 19156 markings/sec, 505 secs
lola: STP completed || 15 tries, 14691989 fired transitions, 510 secs || 10363353 markings, 41134435 edges, 18906 markings/sec, 510 secs
lola: STP completed || 15 tries, 14832669 fired transitions, 515 secs || 10456273 markings, 41519996 edges, 18584 markings/sec, 515 secs
lola: STP completed || 15 tries, 14971956 fired transitions, 520 secs || 10551912 markings, 41921932 edges, 19128 markings/sec, 520 secs
lola: STP completed || 16 tries, 15107981 fired transitions, 525 secs || 10646893 markings, 42315330 edges, 18996 markings/sec, 525 secs
lola: STP completed || 16 tries, 15239314 fired transitions, 530 secs || 10737091 markings, 42685046 edges, 18040 markings/sec, 530 secs
lola: STP completed || 16 tries, 15376452 fired transitions, 535 secs || 10832416 markings, 43087501 edges, 19065 markings/sec, 535 secs
lola: STP completed || 16 tries, 15514215 fired transitions, 540 secs || 10929593 markings, 43482575 edges, 19435 markings/sec, 540 secs
lola: STP completed || 16 tries, 15656515 fired transitions, 545 secs || 11026959 markings, 43901058 edges, 19473 markings/sec, 545 secs
lola: STP completed || 16 tries, 15799550 fired transitions, 550 secs || 11122916 markings, 44302373 edges, 19191 markings/sec, 550 secs
lola: STP completed || 16 tries, 15939251 fired transitions, 555 secs || 11219326 markings, 44724989 edges, 19282 markings/sec, 555 secs
lola: STP completed || 17 tries, 16080924 fired transitions, 560 secs || 11315253 markings, 45127833 edges, 19185 markings/sec, 560 secs
lola: STP completed || 17 tries, 16222526 fired transitions, 565 secs || 11411479 markings, 45531202 edges, 19245 markings/sec, 565 secs
lola: STP completed || 17 tries, 16363500 fired transitions, 570 secs || 11508343 markings, 45938052 edges, 19373 markings/sec, 570 secs
lola: STP completed || 17 tries, 16499206 fired transitions, 575 secs || 11606344 markings, 46348973 edges, 19600 markings/sec, 575 secs
lola: STP completed || 17 tries, 16634634 fired transitions, 580 secs || 11702877 markings, 46744688 edges, 19307 markings/sec, 580 secs
lola: STP completed || 17 tries, 16755459 fired transitions, 585 secs || 11787821 markings, 47095359 edges, 16989 markings/sec, 585 secs
lola: STP completed || 17 tries, 16846782 fired transitions, 590 secs || 11852761 markings, 47374749 edges, 12988 markings/sec, 590 secs
lola: STP completed || 17 tries, 16982454 fired transitions, 595 secs || 11949748 markings, 47794454 edges, 19397 markings/sec, 595 secs
lola: STP completed || 18 tries, 17124081 fired transitions, 600 secs || 12042359 markings, 48174329 edges, 18522 markings/sec, 600 secs
lola: STP completed || 18 tries, 17262465 fired transitions, 605 secs || 12139429 markings, 48577013 edges, 19414 markings/sec, 605 secs
lola: STP completed || 18 tries, 17402276 fired transitions, 610 secs || 12235250 markings, 48979517 edges, 19164 markings/sec, 610 secs
lola: STP completed || 18 tries, 17518655 fired transitions, 615 secs || 12313013 markings, 49320732 edges, 15553 markings/sec, 615 secs
lola: STP completed || 18 tries, 17646439 fired transitions, 620 secs || 12400960 markings, 49696070 edges, 17589 markings/sec, 620 secs
lola: STP completed || 18 tries, 17785466 fired transitions, 625 secs || 12492969 markings, 50091765 edges, 18402 markings/sec, 625 secs
lola: STP completed || 18 tries, 17923283 fired transitions, 630 secs || 12588681 markings, 50491040 edges, 19142 markings/sec, 630 secs
lola: STP completed || 19 tries, 18056926 fired transitions, 635 secs || 12680436 markings, 50878411 edges, 18351 markings/sec, 635 secs
lola: STP completed || 19 tries, 18193356 fired transitions, 640 secs || 12777649 markings, 51296143 edges, 19443 markings/sec, 640 secs
lola: STP completed || 19 tries, 18329762 fired transitions, 645 secs || 12874093 markings, 51699601 edges, 19289 markings/sec, 645 secs
lola: STP completed || 19 tries, 18467107 fired transitions, 650 secs || 12969797 markings, 52111118 edges, 19141 markings/sec, 650 secs
lola: STP completed || 19 tries, 18607258 fired transitions, 655 secs || 13065406 markings, 52501335 edges, 19122 markings/sec, 655 secs
lola: STP completed || 19 tries, 18745830 fired transitions, 660 secs || 13160354 markings, 52904192 edges, 18990 markings/sec, 660 secs
lola: STP completed || 19 tries, 18879095 fired transitions, 665 secs || 13252838 markings, 53301049 edges, 18497 markings/sec, 665 secs
lola: STP completed || 19 tries, 18967769 fired transitions, 670 secs || 13316550 markings, 53574921 edges, 12742 markings/sec, 670 secs
lola: STP completed || 20 tries, 19056004 fired transitions, 675 secs || 13378692 markings, 53838200 edges, 12428 markings/sec, 675 secs
lola: STP completed || 20 tries, 19144551 fired transitions, 680 secs || 13441899 markings, 54101802 edges, 12641 markings/sec, 680 secs
lola: STP completed || 20 tries, 19232891 fired transitions, 685 secs || 13502833 markings, 54374797 edges, 12187 markings/sec, 685 secs
lola: STP completed || 20 tries, 19322027 fired transitions, 690 secs || 13565222 markings, 54643731 edges, 12478 markings/sec, 690 secs
lola: STP completed || 20 tries, 19414651 fired transitions, 695 secs || 13631516 markings, 54913994 edges, 13259 markings/sec, 695 secs
lola: STP completed || 20 tries, 19503968 fired transitions, 700 secs || 13695274 markings, 55169461 edges, 12752 markings/sec, 700 secs
lola: STP completed || 20 tries, 19589729 fired transitions, 705 secs || 13756948 markings, 55432262 edges, 12335 markings/sec, 705 secs
lola: STP completed || 20 tries, 19678982 fired transitions, 710 secs || 13819638 markings, 55708392 edges, 12538 markings/sec, 710 secs
lola: STP completed || 20 tries, 19778230 fired transitions, 715 secs || 13887025 markings, 55998354 edges, 13477 markings/sec, 715 secs
lola: STP completed || 20 tries, 19910647 fired transitions, 720 secs || 13979427 markings, 56394751 edges, 18480 markings/sec, 720 secs
lola: STP completed || 21 tries, 20045192 fired transitions, 725 secs || 14071097 markings, 56795108 edges, 18334 markings/sec, 725 secs
lola: STP completed || 21 tries, 20178465 fired transitions, 730 secs || 14163050 markings, 57184130 edges, 18391 markings/sec, 730 secs
lola: STP completed || 21 tries, 20311841 fired transitions, 735 secs || 14253309 markings, 57578379 edges, 18052 markings/sec, 735 secs
lola: STP completed || 21 tries, 20446510 fired transitions, 740 secs || 14344598 markings, 57974476 edges, 18258 markings/sec, 740 secs
lola: STP completed || 21 tries, 20583429 fired transitions, 745 secs || 14439060 markings, 58389731 edges, 18892 markings/sec, 745 secs
lola: STP completed || 21 tries, 20722135 fired transitions, 750 secs || 14535191 markings, 58802096 edges, 19226 markings/sec, 750 secs
lola: STP completed || 21 tries, 20860286 fired transitions, 755 secs || 14631924 markings, 59207527 edges, 19347 markings/sec, 755 secs
lola: STP completed || 21 tries, 20997845 fired transitions, 760 secs || 14728371 markings, 59620712 edges, 19289 markings/sec, 760 secs
lola: STP completed || 22 tries, 21137651 fired transitions, 765 secs || 14824001 markings, 60025902 edges, 19126 markings/sec, 765 secs
lola: STP completed || 22 tries, 21277616 fired transitions, 770 secs || 14918966 markings, 60446815 edges, 18993 markings/sec, 770 secs
lola: STP completed || 22 tries, 21417955 fired transitions, 775 secs || 15014868 markings, 60851750 edges, 19180 markings/sec, 775 secs
lola: STP completed || 22 tries, 21558498 fired transitions, 780 secs || 15109697 markings, 61272154 edges, 18966 markings/sec, 780 secs
lola: STP completed || 22 tries, 21698591 fired transitions, 785 secs || 15204164 markings, 61697889 edges, 18893 markings/sec, 785 secs
lola: STP completed || 22 tries, 21836642 fired transitions, 790 secs || 15299200 markings, 62124197 edges, 19007 markings/sec, 790 secs
lola: STP completed || 22 tries, 21975452 fired transitions, 795 secs || 15394660 markings, 62530314 edges, 19092 markings/sec, 795 secs
lola: STP completed || 23 tries, 22113461 fired transitions, 800 secs || 15487810 markings, 62933237 edges, 18630 markings/sec, 800 secs
lola: STP completed || 23 tries, 22253099 fired transitions, 805 secs || 15580634 markings, 63339718 edges, 18565 markings/sec, 805 secs
lola: STP completed || 23 tries, 22388198 fired transitions, 810 secs || 15671933 markings, 63743668 edges, 18260 markings/sec, 810 secs
lola: STP completed || 23 tries, 22522871 fired transitions, 815 secs || 15761476 markings, 64135401 edges, 17909 markings/sec, 815 secs
lola: STP completed || 23 tries, 22661744 fired transitions, 820 secs || 15856029 markings, 64545091 edges, 18911 markings/sec, 820 secs
lola: STP completed || 23 tries, 22791691 fired transitions, 825 secs || 15947238 markings, 64943253 edges, 18242 markings/sec, 825 secs
lola: STP completed || 23 tries, 22922598 fired transitions, 830 secs || 16039444 markings, 65347391 edges, 18441 markings/sec, 830 secs
lola: STP completed || 24 tries, 23056578 fired transitions, 835 secs || 16132102 markings, 65751886 edges, 18532 markings/sec, 835 secs
lola: STP completed || 24 tries, 23180941 fired transitions, 840 secs || 16216298 markings, 66129387 edges, 16839 markings/sec, 840 secs
lola: STP completed || 24 tries, 23276218 fired transitions, 845 secs || 16285813 markings, 66428435 edges, 13903 markings/sec, 845 secs
lola: STP completed || 24 tries, 23363635 fired transitions, 850 secs || 16347522 markings, 66700266 edges, 12342 markings/sec, 850 secs
lola: STP completed || 24 tries, 23449909 fired transitions, 855 secs || 16407933 markings, 66960377 edges, 12082 markings/sec, 855 secs
lola: STP completed || 24 tries, 23537385 fired transitions, 860 secs || 16468203 markings, 67244376 edges, 12054 markings/sec, 860 secs
lola: STP completed || 24 tries, 23633034 fired transitions, 865 secs || 16534978 markings, 67534824 edges, 13355 markings/sec, 865 secs
lola: STP completed || 24 tries, 23732677 fired transitions, 870 secs || 16606061 markings, 67844516 edges, 14217 markings/sec, 870 secs
lola: STP completed || 24 tries, 23859233 fired transitions, 875 secs || 16695059 markings, 68216490 edges, 17800 markings/sec, 875 secs
lola: STP completed || 24 tries, 23983249 fired transitions, 880 secs || 16784325 markings, 68603966 edges, 17853 markings/sec, 880 secs
lola: STP completed || 25 tries, 24116856 fired transitions, 885 secs || 16877188 markings, 69009633 edges, 18573 markings/sec, 885 secs
lola: STP completed || 25 tries, 24252047 fired transitions, 890 secs || 16966001 markings, 69405355 edges, 17763 markings/sec, 890 secs
lola: STP completed || 25 tries, 24387856 fired transitions, 895 secs || 17056406 markings, 69793574 edges, 18081 markings/sec, 895 secs
lola: STP completed || 25 tries, 24509297 fired transitions, 900 secs || 17139234 markings, 70177971 edges, 16566 markings/sec, 900 secs
lola: STP completed || 25 tries, 24667311 fired transitions, 905 secs || 17248326 markings, 70658429 edges, 21818 markings/sec, 905 secs
lola: STP completed || 25 tries, 24831224 fired transitions, 910 secs || 17359423 markings, 71148741 edges, 22219 markings/sec, 910 secs
lola: STP completed || 25 tries, 24997568 fired transitions, 915 secs || 17470695 markings, 71651993 edges, 22254 markings/sec, 915 secs
lola: STP completed || 26 tries, 25163022 fired transitions, 920 secs || 17582809 markings, 72145739 edges, 22423 markings/sec, 920 secs
lola: STP completed || 26 tries, 25328221 fired transitions, 925 secs || 17694982 markings, 72635228 edges, 22435 markings/sec, 925 secs
lola: STP completed || 26 tries, 25491346 fired transitions, 930 secs || 17808633 markings, 73120154 edges, 22730 markings/sec, 930 secs
lola: STP completed || 26 tries, 25623349 fired transitions, 935 secs || 17900437 markings, 73522592 edges, 18361 markings/sec, 935 secs
lola: STP completed || 26 tries, 25755752 fired transitions, 940 secs || 17989178 markings, 73916381 edges, 17748 markings/sec, 940 secs
lola: STP completed || 26 tries, 25899672 fired transitions, 945 secs || 18084872 markings, 74322918 edges, 19139 markings/sec, 945 secs
lola: STP completed || 27 tries, 26041335 fired transitions, 950 secs || 18180572 markings, 74745257 edges, 19140 markings/sec, 950 secs
lola: STP completed || 27 tries, 26186586 fired transitions, 955 secs || 18275333 markings, 75162360 edges, 18952 markings/sec, 955 secs
lola: STP completed || 27 tries, 26328670 fired transitions, 960 secs || 18370655 markings, 75588278 edges, 19064 markings/sec, 960 secs
lola: STP completed || 27 tries, 26469153 fired transitions, 965 secs || 18465356 markings, 76005324 edges, 18940 markings/sec, 965 secs
lola: STP completed || 27 tries, 26613314 fired transitions, 970 secs || 18557043 markings, 76424324 edges, 18337 markings/sec, 970 secs
lola: STP completed || 27 tries, 26756306 fired transitions, 975 secs || 18650298 markings, 76861860 edges, 18651 markings/sec, 975 secs
lola: STP completed || 27 tries, 26900031 fired transitions, 980 secs || 18747940 markings, 77280211 edges, 19528 markings/sec, 980 secs
lola: STP completed || 28 tries, 27045250 fired transitions, 985 secs || 18845122 markings, 77718076 edges, 19436 markings/sec, 985 secs
lola: STP completed || 28 tries, 27175626 fired transitions, 990 secs || 18931796 markings, 78106209 edges, 17335 markings/sec, 990 secs
lola: STP completed || 28 tries, 27310325 fired transitions, 995 secs || 19023397 markings, 78510453 edges, 18320 markings/sec, 995 secs
lola: STP completed || 28 tries, 27450063 fired transitions, 1000 secs || 19114596 markings, 78915119 edges, 18240 markings/sec, 1000 secs
lola: STP completed || 28 tries, 27588243 fired transitions, 1005 secs || 19206801 markings, 79321244 edges, 18441 markings/sec, 1005 secs
lola: STP completed || 28 tries, 27725771 fired transitions, 1010 secs || 19297212 markings, 79739754 edges, 18082 markings/sec, 1010 secs
lola: STP completed || 28 tries, 27863137 fired transitions, 1015 secs || 19387622 markings, 80150523 edges, 18082 markings/sec, 1015 secs
lola: STP completed || 29 tries, 28001394 fired transitions, 1020 secs || 19478993 markings, 80554260 edges, 18274 markings/sec, 1020 secs
lola: STP completed || 29 tries, 28139144 fired transitions, 1025 secs || 19569796 markings, 80966170 edges, 18161 markings/sec, 1025 secs
lola: STP completed || 29 tries, 28275715 fired transitions, 1030 secs || 19660876 markings, 81386938 edges, 18216 markings/sec, 1030 secs
lola: STP completed || 29 tries, 28413946 fired transitions, 1035 secs || 19752296 markings, 81795117 edges, 18284 markings/sec, 1035 secs
lola: STP completed || 29 tries, 28551204 fired transitions, 1040 secs || 19843727 markings, 82215405 edges, 18286 markings/sec, 1040 secs
lola: STP completed || 29 tries, 28688272 fired transitions, 1045 secs || 19935595 markings, 82611743 edges, 18374 markings/sec, 1045 secs
lola: STP completed || 29 tries, 28828930 fired transitions, 1050 secs || 20027558 markings, 83008743 edges, 18393 markings/sec, 1050 secs
lola: STP completed || 29 tries, 28964921 fired transitions, 1055 secs || 20117578 markings, 83427069 edges, 18004 markings/sec, 1055 secs
lola: STP completed || 30 tries, 29103128 fired transitions, 1060 secs || 20206201 markings, 83818567 edges, 17725 markings/sec, 1060 secs
lola: STP completed || 30 tries, 29240291 fired transitions, 1065 secs || 20296842 markings, 84222204 edges, 18128 markings/sec, 1065 secs
lola: STP completed || 30 tries, 29378428 fired transitions, 1070 secs || 20385605 markings, 84610125 edges, 17753 markings/sec, 1070 secs
lola: STP completed || 30 tries, 29514753 fired transitions, 1075 secs || 20476231 markings, 85018885 edges, 18125 markings/sec, 1075 secs
lola: STP completed || 30 tries, 29648613 fired transitions, 1080 secs || 20566033 markings, 85432219 edges, 17960 markings/sec, 1080 secs
lola: STP completed || 30 tries, 29763469 fired transitions, 1085 secs || 20648471 markings, 85820284 edges, 16488 markings/sec, 1085 secs
lola: STP completed || 30 tries, 29893087 fired transitions, 1090 secs || 20739143 markings, 86231906 edges, 18134 markings/sec, 1090 secs
lola: STP completed || 31 tries, 30023446 fired transitions, 1095 secs || 20835267 markings, 86674709 edges, 19225 markings/sec, 1095 secs
lola: STP completed || 31 tries, 30152975 fired transitions, 1100 secs || 20930942 markings, 87111554 edges, 19135 markings/sec, 1100 secs
lola: STP completed || 31 tries, 30282779 fired transitions, 1105 secs || 21025766 markings, 87521558 edges, 18965 markings/sec, 1105 secs
lola: STP completed || 31 tries, 30412520 fired transitions, 1110 secs || 21120704 markings, 87946309 edges, 18988 markings/sec, 1110 secs
lola: STP completed || 31 tries, 30542808 fired transitions, 1115 secs || 21214498 markings, 88364423 edges, 18759 markings/sec, 1115 secs
lola: STP completed || 31 tries, 30673758 fired transitions, 1120 secs || 21308248 markings, 88776944 edges, 18750 markings/sec, 1120 secs
lola: STP completed || 31 tries, 30804748 fired transitions, 1125 secs || 21402439 markings, 89192445 edges, 18838 markings/sec, 1125 secs
lola: STP completed || 31 tries, 30936160 fired transitions, 1130 secs || 21495036 markings, 89599860 edges, 18519 markings/sec, 1130 secs
lola: STP completed || 32 tries, 31066752 fired transitions, 1135 secs || 21589414 markings, 90008497 edges, 18876 markings/sec, 1135 secs
lola: STP completed || 32 tries, 31196479 fired transitions, 1140 secs || 21684119 markings, 90424210 edges, 18941 markings/sec, 1140 secs
lola: STP completed || 32 tries, 31323062 fired transitions, 1145 secs || 21778384 markings, 90847718 edges, 18853 markings/sec, 1145 secs
lola: STP completed || 32 tries, 31461260 fired transitions, 1150 secs || 21874177 markings, 91293658 edges, 19159 markings/sec, 1150 secs
lola: STP completed || 32 tries, 31598443 fired transitions, 1155 secs || 21970197 markings, 91729214 edges, 19204 markings/sec, 1155 secs
lola: STP completed || 32 tries, 31737613 fired transitions, 1160 secs || 22063599 markings, 92160510 edges, 18680 markings/sec, 1160 secs
lola: STP completed || 32 tries, 31878353 fired transitions, 1165 secs || 22159138 markings, 92578986 edges, 19108 markings/sec, 1165 secs
lola: STP completed || 33 tries, 32018400 fired transitions, 1170 secs || 22256955 markings, 93013648 edges, 19563 markings/sec, 1170 secs
lola: STP completed || 33 tries, 32151674 fired transitions, 1175 secs || 22352638 markings, 93440977 edges, 19137 markings/sec, 1175 secs
lola: STP completed || 33 tries, 32280832 fired transitions, 1180 secs || 22442583 markings, 93843872 edges, 17989 markings/sec, 1180 secs
lola: STP completed || 33 tries, 32408937 fired transitions, 1185 secs || 22536861 markings, 94266247 edges, 18856 markings/sec, 1185 secs
lola: STP completed || 33 tries, 32538844 fired transitions, 1190 secs || 22631299 markings, 94695841 edges, 18888 markings/sec, 1190 secs
lola: STP completed || 33 tries, 32674734 fired transitions, 1195 secs || 22726563 markings, 95114720 edges, 19053 markings/sec, 1195 secs
lola: STP completed || 33 tries, 32814622 fired transitions, 1200 secs || 22821527 markings, 95545155 edges, 18993 markings/sec, 1200 secs
lola: STP completed || 33 tries, 32954098 fired transitions, 1205 secs || 22919132 markings, 95985950 edges, 19521 markings/sec, 1205 secs
lola: STP completed || 34 tries, 33094316 fired transitions, 1210 secs || 23012418 markings, 96421306 edges, 18657 markings/sec, 1210 secs
lola: STP completed || 34 tries, 33233361 fired transitions, 1215 secs || 23105498 markings, 96836937 edges, 18616 markings/sec, 1215 secs
lola: STP completed || 34 tries, 33371662 fired transitions, 1220 secs || 23200532 markings, 97255566 edges, 19007 markings/sec, 1220 secs
lola: STP completed || 34 tries, 33511281 fired transitions, 1225 secs || 23295502 markings, 97678965 edges, 18994 markings/sec, 1225 secs
lola: STP completed || 34 tries, 33651849 fired transitions, 1230 secs || 23389824 markings, 98101405 edges, 18864 markings/sec, 1230 secs
lola: STP completed || 34 tries, 33790577 fired transitions, 1235 secs || 23485952 markings, 98544814 edges, 19226 markings/sec, 1235 secs
lola: STP completed || 34 tries, 33930886 fired transitions, 1240 secs || 23583925 markings, 98972234 edges, 19595 markings/sec, 1240 secs
lola: STP completed || 35 tries, 34068945 fired transitions, 1245 secs || 23681082 markings, 99411813 edges, 19431 markings/sec, 1245 secs
lola: STP completed || 35 tries, 34209140 fired transitions, 1250 secs || 23778484 markings, 99834576 edges, 19480 markings/sec, 1250 secs
lola: STP completed || 35 tries, 34348457 fired transitions, 1255 secs || 23875302 markings, 100281142 edges, 19364 markings/sec, 1255 secs
lola: STP completed || 35 tries, 34488695 fired transitions, 1260 secs || 23970623 markings, 100705869 edges, 19064 markings/sec, 1260 secs
lola: STP completed || 35 tries, 34625524 fired transitions, 1265 secs || 24063594 markings, 101120467 edges, 18594 markings/sec, 1265 secs
lola: STP completed || 35 tries, 34747355 fired transitions, 1270 secs || 24145648 markings, 101500604 edges, 16411 markings/sec, 1270 secs
lola: STP completed || 35 tries, 34883173 fired transitions, 1275 secs || 24235270 markings, 101888255 edges, 17924 markings/sec, 1275 secs
lola: STP completed || 36 tries, 35017735 fired transitions, 1280 secs || 24322282 markings, 102298605 edges, 17402 markings/sec, 1280 secs
lola: STP completed || 36 tries, 35153930 fired transitions, 1285 secs || 24411956 markings, 102707040 edges, 17935 markings/sec, 1285 secs
lola: STP completed || 36 tries, 35289710 fired transitions, 1290 secs || 24502744 markings, 103123056 edges, 18158 markings/sec, 1290 secs
lola: STP completed || 36 tries, 35428174 fired transitions, 1295 secs || 24601372 markings, 103551652 edges, 19726 markings/sec, 1295 secs
lola: STP completed || 36 tries, 35565121 fired transitions, 1300 secs || 24699264 markings, 103971931 edges, 19578 markings/sec, 1300 secs
lola: STP completed || 36 tries, 35704687 fired transitions, 1305 secs || 24796125 markings, 104410202 edges, 19372 markings/sec, 1305 secs
lola: STP completed || 36 tries, 35838638 fired transitions, 1310 secs || 24887649 markings, 104822357 edges, 18305 markings/sec, 1310 secs
lola: STP completed || 36 tries, 35967327 fired transitions, 1315 secs || 24977596 markings, 105236122 edges, 17989 markings/sec, 1315 secs
lola: STP completed || 37 tries, 36098305 fired transitions, 1320 secs || 25068791 markings, 105650690 edges, 18239 markings/sec, 1320 secs
lola: STP completed || 37 tries, 36229336 fired transitions, 1325 secs || 25159998 markings, 106051870 edges, 18241 markings/sec, 1325 secs
lola: STP completed || 37 tries, 36357330 fired transitions, 1330 secs || 25250982 markings, 106467597 edges, 18197 markings/sec, 1330 secs
lola: STP completed || 37 tries, 36487396 fired transitions, 1335 secs || 25342152 markings, 106876668 edges, 18234 markings/sec, 1335 secs
lola: STP completed || 37 tries, 36619335 fired transitions, 1340 secs || 25432856 markings, 107294866 edges, 18141 markings/sec, 1340 secs
lola: STP completed || 37 tries, 36750494 fired transitions, 1345 secs || 25524768 markings, 107702879 edges, 18382 markings/sec, 1345 secs
lola: STP completed || 37 tries, 36880388 fired transitions, 1350 secs || 25615830 markings, 108101179 edges, 18212 markings/sec, 1350 secs
lola: STP completed || 38 tries, 37013829 fired transitions, 1355 secs || 25707164 markings, 108512123 edges, 18267 markings/sec, 1355 secs
lola: STP completed || 38 tries, 37147692 fired transitions, 1360 secs || 25796726 markings, 108913488 edges, 17912 markings/sec, 1360 secs
lola: STP completed || 38 tries, 37279823 fired transitions, 1365 secs || 25886564 markings, 109319644 edges, 17968 markings/sec, 1365 secs
lola: STP completed || 38 tries, 37416773 fired transitions, 1370 secs || 25979364 markings, 109738208 edges, 18560 markings/sec, 1370 secs
lola: STP completed || 38 tries, 37554945 fired transitions, 1375 secs || 26072690 markings, 110165214 edges, 18665 markings/sec, 1375 secs
lola: STP completed || 38 tries, 37695402 fired transitions, 1380 secs || 26164697 markings, 110583243 edges, 18401 markings/sec, 1380 secs
lola: STP completed || 38 tries, 37835868 fired transitions, 1385 secs || 26255298 markings, 110991608 edges, 18120 markings/sec, 1385 secs
lola: STP completed || 38 tries, 37948270 fired transitions, 1390 secs || 26327903 markings, 111325103 edges, 14521 markings/sec, 1390 secs
lola: STP completed || 39 tries, 38040997 fired transitions, 1395 secs || 26392738 markings, 111620044 edges, 12967 markings/sec, 1395 secs
lola: STP completed || 39 tries, 38134718 fired transitions, 1400 secs || 26456692 markings, 111924109 edges, 12791 markings/sec, 1400 secs
lola: STP completed || 39 tries, 38228317 fired transitions, 1405 secs || 26521452 markings, 112209728 edges, 12952 markings/sec, 1405 secs
lola: STP completed || 39 tries, 38324448 fired transitions, 1410 secs || 26588148 markings, 112505025 edges, 13339 markings/sec, 1410 secs
lola: STP completed || 39 tries, 38434561 fired transitions, 1415 secs || 26665162 markings, 112855212 edges, 15403 markings/sec, 1415 secs
lola: STP completed || 39 tries, 38560574 fired transitions, 1420 secs || 26749447 markings, 113243268 edges, 16857 markings/sec, 1420 secs
lola: STP completed || 39 tries, 38688730 fired transitions, 1425 secs || 26837657 markings, 113639412 edges, 17642 markings/sec, 1425 secs
lola: STP completed || 39 tries, 38804797 fired transitions, 1430 secs || 26918653 markings, 114004929 edges, 16199 markings/sec, 1430 secs
lola: STP completed || 39 tries, 38900696 fired transitions, 1435 secs || 26984666 markings, 114301606 edges, 13203 markings/sec, 1435 secs
lola: STP completed || 39 tries, 38993497 fired transitions, 1440 secs || 27047278 markings, 114599904 edges, 12522 markings/sec, 1440 secs
lola: STP completed || 40 tries, 39093225 fired transitions, 1445 secs || 27117269 markings, 114924491 edges, 13998 markings/sec, 1445 secs
lola: STP completed || 40 tries, 39198609 fired transitions, 1450 secs || 27189795 markings, 115256274 edges, 14505 markings/sec, 1450 secs
lola: STP completed || 40 tries, 39317625 fired transitions, 1455 secs || 27272454 markings, 115645582 edges, 16532 markings/sec, 1455 secs
lola: STP completed || 40 tries, 39450768 fired transitions, 1460 secs || 27363962 markings, 116058656 edges, 18302 markings/sec, 1460 secs
lola: STP completed || 40 tries, 39585212 fired transitions, 1465 secs || 27454937 markings, 116489248 edges, 18195 markings/sec, 1465 secs
lola: STP completed || 40 tries, 39718121 fired transitions, 1470 secs || 27546532 markings, 116899453 edges, 18319 markings/sec, 1470 secs
lola: STP completed || 40 tries, 39854463 fired transitions, 1475 secs || 27637737 markings, 117305331 edges, 18241 markings/sec, 1475 secs
lola: STP completed || 40 tries, 39993254 fired transitions, 1480 secs || 27729319 markings, 117719585 edges, 18316 markings/sec, 1480 secs
lola: STP completed || 41 tries, 40131896 fired transitions, 1485 secs || 27820567 markings, 118131293 edges, 18250 markings/sec, 1485 secs
lola: STP completed || 41 tries, 40269320 fired transitions, 1490 secs || 27912417 markings, 118538985 edges, 18370 markings/sec, 1490 secs
lola: STP completed || 41 tries, 40393300 fired transitions, 1495 secs || 27997226 markings, 118924177 edges, 16962 markings/sec, 1495 secs
lola: STP completed || 41 tries, 40516813 fired transitions, 1500 secs || 28082078 markings, 119327647 edges, 16970 markings/sec, 1500 secs
lola: STP completed || 41 tries, 40654656 fired transitions, 1505 secs || 28177159 markings, 119748296 edges, 19016 markings/sec, 1505 secs
lola: STP completed || 41 tries, 40794672 fired transitions, 1510 secs || 28270270 markings, 120168422 edges, 18622 markings/sec, 1510 secs
lola: STP completed || 41 tries, 40931942 fired transitions, 1515 secs || 28364608 markings, 120603440 edges, 18868 markings/sec, 1515 secs
lola: STP completed || 42 tries, 41063234 fired transitions, 1520 secs || 28456887 markings, 121012361 edges, 18456 markings/sec, 1520 secs
lola: STP completed || 42 tries, 41195798 fired transitions, 1525 secs || 28548901 markings, 121417325 edges, 18403 markings/sec, 1525 secs
lola: STP completed || 42 tries, 41328868 fired transitions, 1530 secs || 28639883 markings, 121828930 edges, 18196 markings/sec, 1530 secs
lola: STP completed || 42 tries, 41462367 fired transitions, 1535 secs || 28729769 markings, 122250750 edges, 17977 markings/sec, 1535 secs
lola: STP completed || 42 tries, 41595700 fired transitions, 1540 secs || 28820797 markings, 122667512 edges, 18206 markings/sec, 1540 secs
lola: STP completed || 42 tries, 41752649 fired transitions, 1545 secs || 28924631 markings, 123149310 edges, 20767 markings/sec, 1545 secs
lola: STP completed || 42 tries, 41915537 fired transitions, 1550 secs || 29032162 markings, 123642625 edges, 21506 markings/sec, 1550 secs
lola: STP completed || 43 tries, 42081872 fired transitions, 1555 secs || 29143766 markings, 124138704 edges, 22321 markings/sec, 1555 secs
lola: STP completed || 43 tries, 42245968 fired transitions, 1560 secs || 29252169 markings, 124647100 edges, 21681 markings/sec, 1560 secs
lola: STP completed || 43 tries, 42409517 fired transitions, 1565 secs || 29360288 markings, 125140627 edges, 21624 markings/sec, 1565 secs
lola: STP completed || 43 tries, 42576203 fired transitions, 1570 secs || 29470971 markings, 125642307 edges, 22137 markings/sec, 1570 secs
lola: STP completed || 43 tries, 42742887 fired transitions, 1575 secs || 29583304 markings, 126151954 edges, 22467 markings/sec, 1575 secs
lola: STP completed || 43 tries, 42901337 fired transitions, 1580 secs || 29687383 markings, 126626961 edges, 20816 markings/sec, 1580 secs
lola: STP completed || 44 tries, 43041007 fired transitions, 1585 secs || 29779936 markings, 127047730 edges, 18511 markings/sec, 1585 secs
lola: STP completed || 44 tries, 43180704 fired transitions, 1590 secs || 29873609 markings, 127466239 edges, 18735 markings/sec, 1590 secs
lola: STP completed || 44 tries, 43318069 fired transitions, 1595 secs || 29968186 markings, 127889913 edges, 18915 markings/sec, 1595 secs
lola: STP completed || 44 tries, 43455882 fired transitions, 1600 secs || 30061018 markings, 128317882 edges, 18566 markings/sec, 1600 secs
lola: STP completed || 44 tries, 43595153 fired transitions, 1605 secs || 30153326 markings, 128734330 edges, 18462 markings/sec, 1605 secs
lola: STP completed || 44 tries, 43732285 fired transitions, 1610 secs || 30247250 markings, 129155110 edges, 18785 markings/sec, 1610 secs
lola: STP completed || 44 tries, 43876475 fired transitions, 1615 secs || 30338832 markings, 129581123 edges, 18316 markings/sec, 1615 secs
lola: STP completed || 45 tries, 44021057 fired transitions, 1620 secs || 30430874 markings, 130019266 edges, 18408 markings/sec, 1620 secs
lola: STP completed || 45 tries, 44164585 fired transitions, 1625 secs || 30523378 markings, 130448723 edges, 18501 markings/sec, 1625 secs
lola: STP completed || 45 tries, 44307223 fired transitions, 1630 secs || 30616146 markings, 130869324 edges, 18554 markings/sec, 1630 secs
lola: STP completed || 45 tries, 44451871 fired transitions, 1635 secs || 30708552 markings, 131300303 edges, 18481 markings/sec, 1635 secs
lola: STP completed || 45 tries, 44593099 fired transitions, 1640 secs || 30802958 markings, 131731791 edges, 18881 markings/sec, 1640 secs
lola: STP completed || 45 tries, 44735238 fired transitions, 1645 secs || 30899319 markings, 132164788 edges, 19272 markings/sec, 1645 secs
lola: STP completed || 45 tries, 44878556 fired transitions, 1650 secs || 30994709 markings, 132600523 edges, 19078 markings/sec, 1650 secs
lola: STP completed || 46 tries, 45022443 fired transitions, 1655 secs || 31088925 markings, 133039308 edges, 18843 markings/sec, 1655 secs
lola: STP completed || 46 tries, 45162530 fired transitions, 1660 secs || 31184502 markings, 133471609 edges, 19115 markings/sec, 1660 secs
lola: STP completed || 46 tries, 45301729 fired transitions, 1665 secs || 31279000 markings, 133907996 edges, 18900 markings/sec, 1665 secs
lola: STP completed || 46 tries, 45441452 fired transitions, 1670 secs || 31373833 markings, 134341711 edges, 18967 markings/sec, 1670 secs
lola: STP completed || 46 tries, 45580984 fired transitions, 1675 secs || 31468683 markings, 134765896 edges, 18970 markings/sec, 1675 secs
lola: STP completed || 46 tries, 45719901 fired transitions, 1680 secs || 31563811 markings, 135195044 edges, 19026 markings/sec, 1680 secs
lola: STP completed || 46 tries, 45858941 fired transitions, 1685 secs || 31658429 markings, 135635860 edges, 18924 markings/sec, 1685 secs
lola: STP completed || 46 tries, 45999013 fired transitions, 1690 secs || 31752956 markings, 136063409 edges, 18905 markings/sec, 1690 secs
lola: STP completed || 47 tries, 46140127 fired transitions, 1695 secs || 31844613 markings, 136484441 edges, 18331 markings/sec, 1695 secs
lola: STP completed || 47 tries, 46276076 fired transitions, 1700 secs || 31935370 markings, 136892165 edges, 18151 markings/sec, 1700 secs
lola: STP completed || 47 tries, 46411962 fired transitions, 1705 secs || 32025486 markings, 137320475 edges, 18023 markings/sec, 1705 secs
lola: STP completed || 47 tries, 46547470 fired transitions, 1710 secs || 32116228 markings, 137736485 edges, 18148 markings/sec, 1710 secs
lola: STP completed || 47 tries, 46683753 fired transitions, 1715 secs || 32210685 markings, 138181479 edges, 18891 markings/sec, 1715 secs
lola: STP completed || 47 tries, 46821187 fired transitions, 1720 secs || 32304477 markings, 138605563 edges, 18758 markings/sec, 1720 secs
lola: STP completed || 47 tries, 46959670 fired transitions, 1725 secs || 32397776 markings, 139035107 edges, 18660 markings/sec, 1725 secs
lola: STP completed || 48 tries, 47099733 fired transitions, 1730 secs || 32490045 markings, 139455387 edges, 18454 markings/sec, 1730 secs
lola: STP completed || 48 tries, 47239378 fired transitions, 1735 secs || 32582610 markings, 139887777 edges, 18513 markings/sec, 1735 secs
lola: STP completed || 48 tries, 47379642 fired transitions, 1740 secs || 32674399 markings, 140312625 edges, 18358 markings/sec, 1740 secs
lola: STP completed || 48 tries, 47518541 fired transitions, 1745 secs || 32766230 markings, 140730134 edges, 18366 markings/sec, 1745 secs
lola: STP completed || 48 tries, 47657941 fired transitions, 1750 secs || 32859380 markings, 141149417 edges, 18630 markings/sec, 1750 secs
lola: STP completed || 48 tries, 47797177 fired transitions, 1755 secs || 32950543 markings, 141577882 edges, 18233 markings/sec, 1755 secs
lola: STP completed || 48 tries, 47935692 fired transitions, 1760 secs || 33042896 markings, 142006586 edges, 18471 markings/sec, 1760 secs
lola: STP completed || 49 tries, 48073877 fired transitions, 1765 secs || 33136392 markings, 142436584 edges, 18699 markings/sec, 1765 secs
lola: STP completed || 49 tries, 48213630 fired transitions, 1770 secs || 33228571 markings, 142872699 edges, 18436 markings/sec, 1770 secs
lola: STP completed || 49 tries, 48349909 fired transitions, 1775 secs || 33323317 markings, 143307326 edges, 18949 markings/sec, 1775 secs
lola: STP completed || 49 tries, 48484563 fired transitions, 1780 secs || 33418633 markings, 143730481 edges, 19063 markings/sec, 1780 secs
lola: STP completed || 49 tries, 48622943 fired transitions, 1785 secs || 33511434 markings, 144156895 edges, 18560 markings/sec, 1785 secs
lola: STP completed || 49 tries, 48760469 fired transitions, 1790 secs || 33604815 markings, 144571633 edges, 18676 markings/sec, 1790 secs
lola: STP completed || 49 tries, 48896057 fired transitions, 1795 secs || 33696584 markings, 144993445 edges, 18354 markings/sec, 1795 secs
lola: STP completed || 50 tries, 49027568 fired transitions, 1800 secs || 33785184 markings, 145395261 edges, 17720 markings/sec, 1800 secs
lola: STP completed || 50 tries, 49160506 fired transitions, 1805 secs || 33873697 markings, 145802414 edges, 17703 markings/sec, 1805 secs
lola: STP completed || 50 tries, 49300981 fired transitions, 1810 secs || 33965786 markings, 146236917 edges, 18418 markings/sec, 1810 secs
lola: STP completed || 50 tries, 49441421 fired transitions, 1815 secs || 34057251 markings, 146656404 edges, 18293 markings/sec, 1815 secs
lola: STP completed || 50 tries, 49580609 fired transitions, 1820 secs || 34148794 markings, 147074866 edges, 18309 markings/sec, 1820 secs
lola: STP completed || 50 tries, 49716848 fired transitions, 1825 secs || 34242615 markings, 147511657 edges, 18764 markings/sec, 1825 secs
lola: STP completed || 50 tries, 49854184 fired transitions, 1830 secs || 34333881 markings, 147938382 edges, 18253 markings/sec, 1830 secs
lola: STP completed || 50 tries, 49993420 fired transitions, 1835 secs || 34426886 markings, 148351460 edges, 18601 markings/sec, 1835 secs
lola: STP completed || 51 tries, 50132798 fired transitions, 1840 secs || 34519234 markings, 148763089 edges, 18470 markings/sec, 1840 secs
lola: STP completed || 51 tries, 50270509 fired transitions, 1845 secs || 34610571 markings, 149187630 edges, 18267 markings/sec, 1845 secs
lola: STP completed || 51 tries, 50410302 fired transitions, 1850 secs || 34702918 markings, 149621124 edges, 18469 markings/sec, 1850 secs
lola: STP completed || 51 tries, 50548511 fired transitions, 1855 secs || 34797042 markings, 150045624 edges, 18825 markings/sec, 1855 secs
lola: STP completed || 51 tries, 50688578 fired transitions, 1860 secs || 34888942 markings, 150476203 edges, 18380 markings/sec, 1860 secs
lola: STP completed || 51 tries, 50828139 fired transitions, 1865 secs || 34980563 markings, 150903994 edges, 18324 markings/sec, 1865 secs
lola: STP completed || 51 tries, 50965158 fired transitions, 1870 secs || 35072059 markings, 151334414 edges, 18299 markings/sec, 1870 secs
lola: STP completed || 52 tries, 51104208 fired transitions, 1875 secs || 35165485 markings, 151764045 edges, 18685 markings/sec, 1875 secs
lola: STP completed || 52 tries, 51242512 fired transitions, 1880 secs || 35257248 markings, 152188940 edges, 18353 markings/sec, 1880 secs
lola: STP completed || 52 tries, 51376755 fired transitions, 1885 secs || 35345774 markings, 152587201 edges, 17705 markings/sec, 1885 secs
lola: STP completed || 52 tries, 51512811 fired transitions, 1890 secs || 35436916 markings, 153009371 edges, 18228 markings/sec, 1890 secs
lola: STP completed || 52 tries, 51648185 fired transitions, 1895 secs || 35532128 markings, 153444014 edges, 19042 markings/sec, 1895 secs
lola: STP completed || 52 tries, 51784371 fired transitions, 1900 secs || 35626574 markings, 153870249 edges, 18889 markings/sec, 1900 secs
lola: STP completed || 52 tries, 51921762 fired transitions, 1905 secs || 35717951 markings, 154292019 edges, 18275 markings/sec, 1905 secs
lola: STP completed || 53 tries, 52018097 fired transitions, 1910 secs || 35784441 markings, 154588276 edges, 13298 markings/sec, 1910 secs
lola: STP completed || 53 tries, 52106881 fired transitions, 1915 secs || 35845538 markings, 154855549 edges, 12219 markings/sec, 1915 secs
lola: STP completed || 53 tries, 52196587 fired transitions, 1920 secs || 35906975 markings, 155141405 edges, 12287 markings/sec, 1920 secs
lola: STP completed || 53 tries, 52285886 fired transitions, 1925 secs || 35967050 markings, 155430752 edges, 12015 markings/sec, 1925 secs
lola: STP completed || 53 tries, 52411005 fired transitions, 1930 secs || 36050048 markings, 155804565 edges, 16600 markings/sec, 1930 secs
lola: STP completed || 53 tries, 52542356 fired transitions, 1935 secs || 36138047 markings, 156198089 edges, 17600 markings/sec, 1935 secs
lola: STP completed || 53 tries, 52671505 fired transitions, 1940 secs || 36226377 markings, 156614767 edges, 17666 markings/sec, 1940 secs
lola: STP completed || 53 tries, 52805848 fired transitions, 1945 secs || 36311249 markings, 157011125 edges, 16974 markings/sec, 1945 secs
lola: STP completed || 53 tries, 52939253 fired transitions, 1950 secs || 36396098 markings, 157416069 edges, 16970 markings/sec, 1950 secs
lola: STP completed || 54 tries, 53071262 fired transitions, 1955 secs || 36480340 markings, 157806453 edges, 16848 markings/sec, 1955 secs
lola: STP completed || 54 tries, 53202732 fired transitions, 1960 secs || 36565008 markings, 158189285 edges, 16934 markings/sec, 1960 secs
lola: STP completed || 54 tries, 53332724 fired transitions, 1965 secs || 36651309 markings, 158597522 edges, 17260 markings/sec, 1965 secs
lola: STP completed || 54 tries, 53461557 fired transitions, 1970 secs || 36737001 markings, 158975503 edges, 17138 markings/sec, 1970 secs
lola: STP completed || 54 tries, 53590679 fired transitions, 1975 secs || 36821210 markings, 159370168 edges, 16842 markings/sec, 1975 secs
lola: STP completed || 54 tries, 53719288 fired transitions, 1980 secs || 36905290 markings, 159770701 edges, 16816 markings/sec, 1980 secs
lola: STP completed || 54 tries, 53848618 fired transitions, 1985 secs || 36990921 markings, 160169164 edges, 17126 markings/sec, 1985 secs
lola: STP completed || 54 tries, 53977155 fired transitions, 1990 secs || 37077149 markings, 160557634 edges, 17246 markings/sec, 1990 secs
lola: STP completed || 55 tries, 54111884 fired transitions, 1995 secs || 37166206 markings, 160956977 edges, 17811 markings/sec, 1995 secs
lola: STP completed || 55 tries, 54246453 fired transitions, 2000 secs || 37255497 markings, 161369802 edges, 17858 markings/sec, 2000 secs
lola: STP completed || 55 tries, 54381118 fired transitions, 2005 secs || 37345230 markings, 161791715 edges, 17947 markings/sec, 2005 secs
lola: STP completed || 55 tries, 54515822 fired transitions, 2010 secs || 37434995 markings, 162211263 edges, 17953 markings/sec, 2010 secs
lola: STP completed || 55 tries, 54619058 fired transitions, 2015 secs || 37505375 markings, 162525633 edges, 14076 markings/sec, 2015 secs
lola: STP completed || 55 tries, 54704906 fired transitions, 2020 secs || 37565004 markings, 162791927 edges, 11926 markings/sec, 2020 secs
lola: STP completed || 55 tries, 54791492 fired transitions, 2025 secs || 37623902 markings, 163058426 edges, 11780 markings/sec, 2025 secs
lola: STP completed || 55 tries, 54891960 fired transitions, 2030 secs || 37690472 markings, 163379491 edges, 13314 markings/sec, 2030 secs
lola: STP completed || 56 tries, 55026188 fired transitions, 2035 secs || 37780630 markings, 163801100 edges, 18032 markings/sec, 2035 secs
lola: STP completed || 56 tries, 55160800 fired transitions, 2040 secs || 37873523 markings, 164226813 edges, 18579 markings/sec, 2040 secs
lola: STP completed || 56 tries, 55294448 fired transitions, 2045 secs || 37966944 markings, 164657373 edges, 18684 markings/sec, 2045 secs
lola: STP completed || 56 tries, 55427812 fired transitions, 2050 secs || 38058447 markings, 165081229 edges, 18301 markings/sec, 2050 secs
lola: STP completed || 56 tries, 55565306 fired transitions, 2055 secs || 38151303 markings, 165504108 edges, 18571 markings/sec, 2055 secs
lola: STP completed || 56 tries, 55702067 fired transitions, 2060 secs || 38244421 markings, 165920640 edges, 18624 markings/sec, 2060 secs
lola: STP completed || 56 tries, 55840643 fired transitions, 2065 secs || 38336667 markings, 166349001 edges, 18449 markings/sec, 2065 secs
lola: STP completed || 56 tries, 55977573 fired transitions, 2070 secs || 38427568 markings, 166776555 edges, 18180 markings/sec, 2070 secs
lola: STP completed || 57 tries, 56111981 fired transitions, 2075 secs || 38520001 markings, 167207032 edges, 18487 markings/sec, 2075 secs
lola: STP completed || 57 tries, 56246218 fired transitions, 2080 secs || 38612602 markings, 167633820 edges, 18520 markings/sec, 2080 secs
lola: STP completed || 57 tries, 56383070 fired transitions, 2085 secs || 38705717 markings, 168049251 edges, 18623 markings/sec, 2085 secs
lola: STP completed || 57 tries, 56520456 fired transitions, 2090 secs || 38797900 markings, 168467770 edges, 18437 markings/sec, 2090 secs
lola: STP completed || 57 tries, 56638931 fired transitions, 2095 secs || 38875644 markings, 168831907 edges, 15549 markings/sec, 2095 secs
lola: STP completed || 57 tries, 56775490 fired transitions, 2100 secs || 38967820 markings, 169247403 edges, 18435 markings/sec, 2100 secs
lola: STP completed || 57 tries, 56913050 fired transitions, 2105 secs || 39059944 markings, 169678510 edges, 18425 markings/sec, 2105 secs
lola: STP completed || 58 tries, 57049809 fired transitions, 2110 secs || 39154441 markings, 170113241 edges, 18899 markings/sec, 2110 secs
lola: STP completed || 58 tries, 57186942 fired transitions, 2115 secs || 39249365 markings, 170539095 edges, 18985 markings/sec, 2115 secs
lola: STP completed || 58 tries, 57322345 fired transitions, 2120 secs || 39342325 markings, 170969447 edges, 18592 markings/sec, 2120 secs
lola: STP completed || 58 tries, 57457458 fired transitions, 2125 secs || 39434327 markings, 171403728 edges, 18400 markings/sec, 2125 secs
lola: STP completed || 58 tries, 57591040 fired transitions, 2130 secs || 39521625 markings, 171818260 edges, 17460 markings/sec, 2130 secs
lola: STP completed || 58 tries, 57725366 fired transitions, 2135 secs || 39609287 markings, 172221742 edges, 17532 markings/sec, 2135 secs
lola: STP completed || 58 tries, 57862093 fired transitions, 2140 secs || 39701396 markings, 172631428 edges, 18422 markings/sec, 2140 secs
lola: STP completed || 58 tries, 57998747 fired transitions, 2145 secs || 39792259 markings, 173054771 edges, 18173 markings/sec, 2145 secs
lola: STP completed || 59 tries, 58134367 fired transitions, 2150 secs || 39883518 markings, 173476295 edges, 18252 markings/sec, 2150 secs
lola: STP completed || 59 tries, 58269296 fired transitions, 2155 secs || 39974349 markings, 173905450 edges, 18166 markings/sec, 2155 secs
lola: STP completed || 59 tries, 58407261 fired transitions, 2160 secs || 40064342 markings, 174332709 edges, 17999 markings/sec, 2160 secs
lola: STP completed || 59 tries, 58543244 fired transitions, 2165 secs || 40155503 markings, 174750641 edges, 18232 markings/sec, 2165 secs
lola: STP completed || 59 tries, 58676894 fired transitions, 2170 secs || 40247008 markings, 175183086 edges, 18301 markings/sec, 2170 secs
lola: STP completed || 59 tries, 58810823 fired transitions, 2175 secs || 40338304 markings, 175607731 edges, 18259 markings/sec, 2175 secs
lola: STP completed || 59 tries, 58945430 fired transitions, 2180 secs || 40429387 markings, 176029861 edges, 18217 markings/sec, 2180 secs
lola: STP completed || 60 tries, 59081310 fired transitions, 2185 secs || 40520784 markings, 176454470 edges, 18279 markings/sec, 2185 secs
lola: STP completed || 60 tries, 59217983 fired transitions, 2190 secs || 40613546 markings, 176878084 edges, 18552 markings/sec, 2190 secs
lola: STP completed || 60 tries, 59354400 fired transitions, 2195 secs || 40704954 markings, 177298289 edges, 18282 markings/sec, 2195 secs
lola: STP completed || 60 tries, 59492501 fired transitions, 2200 secs || 40796335 markings, 177716702 edges, 18276 markings/sec, 2200 secs
lola: STP completed || 60 tries, 59630751 fired transitions, 2205 secs || 40887571 markings, 178151618 edges, 18247 markings/sec, 2205 secs
lola: STP completed || 60 tries, 59768851 fired transitions, 2210 secs || 40979349 markings, 178588634 edges, 18356 markings/sec, 2210 secs
lola: STP completed || 60 tries, 59906602 fired transitions, 2215 secs || 41067169 markings, 178994366 edges, 17564 markings/sec, 2215 secs
lola: STP completed || 61 tries, 60039462 fired transitions, 2220 secs || 41160955 markings, 179412770 edges, 18757 markings/sec, 2220 secs
lola: STP completed || 61 tries, 60174377 fired transitions, 2225 secs || 41253093 markings, 179844558 edges, 18428 markings/sec, 2225 secs
lola: STP completed || 61 tries, 60309905 fired transitions, 2230 secs || 41343112 markings, 180247217 edges, 18004 markings/sec, 2230 secs
lola: STP completed || 61 tries, 60447221 fired transitions, 2235 secs || 41432965 markings, 180656718 edges, 17971 markings/sec, 2235 secs
lola: STP completed || 61 tries, 60585211 fired transitions, 2240 secs || 41523041 markings, 181077954 edges, 18015 markings/sec, 2240 secs
lola: STP completed || 61 tries, 60723137 fired transitions, 2245 secs || 41613354 markings, 181490376 edges, 18063 markings/sec, 2245 secs
lola: STP completed || 61 tries, 60859896 fired transitions, 2250 secs || 41705161 markings, 181912805 edges, 18361 markings/sec, 2250 secs
lola: STP completed || 62 tries, 61000737 fired transitions, 2255 secs || 41794067 markings, 182332442 edges, 17781 markings/sec, 2255 secs
lola: STP completed || 62 tries, 61137648 fired transitions, 2260 secs || 41882622 markings, 182744695 edges, 17711 markings/sec, 2260 secs
lola: STP completed || 62 tries, 61262561 fired transitions, 2265 secs || 41968771 markings, 183140474 edges, 17230 markings/sec, 2265 secs
lola: STP completed || 62 tries, 61400901 fired transitions, 2270 secs || 42058086 markings, 183553633 edges, 17863 markings/sec, 2270 secs
lola: STP completed || 62 tries, 61542722 fired transitions, 2275 secs || 42147223 markings, 183962381 edges, 17827 markings/sec, 2275 secs
lola: STP completed || 62 tries, 61683353 fired transitions, 2280 secs || 42236726 markings, 184378274 edges, 17901 markings/sec, 2280 secs
lola: STP completed || 62 tries, 61823104 fired transitions, 2285 secs || 42326490 markings, 184779976 edges, 17953 markings/sec, 2285 secs
lola: STP completed || 62 tries, 61963428 fired transitions, 2290 secs || 42415299 markings, 185206408 edges, 17762 markings/sec, 2290 secs
lola: STP completed || 63 tries, 62102747 fired transitions, 2295 secs || 42505782 markings, 185611186 edges, 18097 markings/sec, 2295 secs
lola: STP completed || 63 tries, 62242607 fired transitions, 2300 secs || 42595384 markings, 186024489 edges, 17920 markings/sec, 2300 secs
lola: STP completed || 63 tries, 62382734 fired transitions, 2305 secs || 42684612 markings, 186449928 edges, 17846 markings/sec, 2305 secs
lola: STP completed || 63 tries, 62521781 fired transitions, 2310 secs || 42774026 markings, 186870450 edges, 17883 markings/sec, 2310 secs
lola: STP completed || 63 tries, 62661823 fired transitions, 2315 secs || 42862616 markings, 187298802 edges, 17718 markings/sec, 2315 secs
lola: STP completed || 63 tries, 62797688 fired transitions, 2320 secs || 42952460 markings, 187708493 edges, 17969 markings/sec, 2320 secs
lola: STP completed || 63 tries, 62935732 fired transitions, 2325 secs || 43042785 markings, 188119926 edges, 18065 markings/sec, 2325 secs
lola: STP completed || 64 tries, 63074709 fired transitions, 2330 secs || 43132281 markings, 188531699 edges, 17899 markings/sec, 2330 secs
lola: STP completed || 64 tries, 63215070 fired transitions, 2335 secs || 43221522 markings, 188950458 edges, 17848 markings/sec, 2335 secs
lola: STP completed || 64 tries, 63353365 fired transitions, 2340 secs || 43312353 markings, 189369257 edges, 18166 markings/sec, 2340 secs
lola: STP completed || 64 tries, 63493278 fired transitions, 2345 secs || 43401918 markings, 189783397 edges, 17913 markings/sec, 2345 secs
lola: STP completed || 64 tries, 63635363 fired transitions, 2350 secs || 43490090 markings, 190203032 edges, 17634 markings/sec, 2350 secs
lola: STP completed || 64 tries, 63777058 fired transitions, 2355 secs || 43578734 markings, 190633920 edges, 17729 markings/sec, 2355 secs
lola: STP completed || 64 tries, 63918972 fired transitions, 2360 secs || 43668692 markings, 191047252 edges, 17992 markings/sec, 2360 secs
lola: STP completed || 65 tries, 64060905 fired transitions, 2365 secs || 43758554 markings, 191444917 edges, 17972 markings/sec, 2365 secs
lola: STP completed || 65 tries, 64202179 fired transitions, 2370 secs || 43848150 markings, 191851605 edges, 17919 markings/sec, 2370 secs
lola: STP completed || 65 tries, 64344428 fired transitions, 2375 secs || 43937837 markings, 192259661 edges, 17937 markings/sec, 2375 secs
lola: STP completed || 65 tries, 64483534 fired transitions, 2380 secs || 44027013 markings, 192684078 edges, 17835 markings/sec, 2380 secs
lola: STP completed || 65 tries, 64621452 fired transitions, 2385 secs || 44119307 markings, 193122869 edges, 18459 markings/sec, 2385 secs
lola: STP completed || 65 tries, 64761872 fired transitions, 2390 secs || 44209079 markings, 193545500 edges, 17954 markings/sec, 2390 secs
lola: STP completed || 65 tries, 64902275 fired transitions, 2395 secs || 44297973 markings, 193963780 edges, 17779 markings/sec, 2395 secs
lola: STP completed || 66 tries, 65041805 fired transitions, 2400 secs || 44387522 markings, 194378467 edges, 17910 markings/sec, 2400 secs
lola: STP completed || 66 tries, 65180405 fired transitions, 2405 secs || 44477460 markings, 194786580 edges, 17988 markings/sec, 2405 secs
lola: STP completed || 66 tries, 65320523 fired transitions, 2410 secs || 44567043 markings, 195196086 edges, 17917 markings/sec, 2410 secs
lola: STP completed || 66 tries, 65460967 fired transitions, 2415 secs || 44657244 markings, 195610574 edges, 18040 markings/sec, 2415 secs
lola: STP completed || 66 tries, 65599599 fired transitions, 2420 secs || 44747688 markings, 196020637 edges, 18089 markings/sec, 2420 secs
lola: STP completed || 66 tries, 65738934 fired transitions, 2425 secs || 44835785 markings, 196452351 edges, 17619 markings/sec, 2425 secs
lola: STP completed || 66 tries, 65878382 fired transitions, 2430 secs || 44925062 markings, 196880081 edges, 17855 markings/sec, 2430 secs
lola: STP completed || 67 tries, 66018676 fired transitions, 2435 secs || 45014796 markings, 197301069 edges, 17947 markings/sec, 2435 secs
lola: STP completed || 67 tries, 66155207 fired transitions, 2440 secs || 45102992 markings, 197723624 edges, 17639 markings/sec, 2440 secs
lola: STP completed || 67 tries, 66297681 fired transitions, 2445 secs || 45195740 markings, 198149722 edges, 18550 markings/sec, 2445 secs
lola: STP completed || 67 tries, 66461899 fired transitions, 2450 secs || 45303387 markings, 198647740 edges, 21529 markings/sec, 2450 secs
lola: STP completed || 67 tries, 66626896 fired transitions, 2455 secs || 45412746 markings, 199142777 edges, 21872 markings/sec, 2455 secs
lola: STP completed || 67 tries, 66790278 fired transitions, 2460 secs || 45519615 markings, 199637760 edges, 21374 markings/sec, 2460 secs
lola: STP completed || 67 tries, 66956937 fired transitions, 2465 secs || 45628782 markings, 200143241 edges, 21833 markings/sec, 2465 secs
lola: STP completed || 68 tries, 67121371 fired transitions, 2470 secs || 45736920 markings, 200640395 edges, 21628 markings/sec, 2470 secs
lola: STP completed || 68 tries, 67287203 fired transitions, 2475 secs || 45845046 markings, 201151845 edges, 21625 markings/sec, 2475 secs
lola: STP completed || 68 tries, 67452393 fired transitions, 2480 secs || 45952451 markings, 201642130 edges, 21481 markings/sec, 2480 secs
lola: STP completed || 68 tries, 67605598 fired transitions, 2485 secs || 46047444 markings, 202094709 edges, 18999 markings/sec, 2485 secs
lola: STP completed || 68 tries, 67735610 fired transitions, 2490 secs || 46135283 markings, 202516582 edges, 17568 markings/sec, 2490 secs
lola: STP completed || 68 tries, 67868278 fired transitions, 2495 secs || 46223440 markings, 202922062 edges, 17631 markings/sec, 2495 secs
lola: STP completed || 69 tries, 68005650 fired transitions, 2500 secs || 46311253 markings, 203325772 edges, 17563 markings/sec, 2500 secs
lola: STP completed || 69 tries, 68142282 fired transitions, 2505 secs || 46400123 markings, 203742614 edges, 17774 markings/sec, 2505 secs
lola: STP completed || 69 tries, 68281706 fired transitions, 2510 secs || 46488438 markings, 204151093 edges, 17663 markings/sec, 2510 secs
lola: STP completed || 69 tries, 68422926 fired transitions, 2515 secs || 46577081 markings, 204548577 edges, 17729 markings/sec, 2515 secs
lola: STP completed || 69 tries, 68555326 fired transitions, 2520 secs || 46662742 markings, 204949609 edges, 17132 markings/sec, 2520 secs
lola: STP completed || 69 tries, 68688474 fired transitions, 2525 secs || 46747506 markings, 205359910 edges, 16953 markings/sec, 2525 secs
lola: STP completed || 69 tries, 68823048 fired transitions, 2530 secs || 46834085 markings, 205760849 edges, 17316 markings/sec, 2530 secs
lola: STP completed || 69 tries, 68957516 fired transitions, 2535 secs || 46919690 markings, 206157954 edges, 17121 markings/sec, 2535 secs
lola: STP completed || 70 tries, 69092086 fired transitions, 2540 secs || 47005150 markings, 206559298 edges, 17092 markings/sec, 2540 secs
lola: STP completed || 70 tries, 69227579 fired transitions, 2545 secs || 47091995 markings, 206962880 edges, 17369 markings/sec, 2545 secs
lola: STP completed || 70 tries, 69363234 fired transitions, 2550 secs || 47181625 markings, 207378744 edges, 17926 markings/sec, 2550 secs
lola: STP completed || 70 tries, 69498401 fired transitions, 2555 secs || 47270752 markings, 207801036 edges, 17825 markings/sec, 2555 secs
lola: STP completed || 70 tries, 69633676 fired transitions, 2560 secs || 47360889 markings, 208215747 edges, 18027 markings/sec, 2560 secs
lola: STP completed || 70 tries, 69770376 fired transitions, 2565 secs || 47450144 markings, 208636034 edges, 17851 markings/sec, 2565 secs
lola: STP completed || 70 tries, 69906752 fired transitions, 2570 secs || 47539163 markings, 209048020 edges, 17804 markings/sec, 2570 secs
lola: STP completed || 71 tries, 70044298 fired transitions, 2575 secs || 47628942 markings, 209458265 edges, 17956 markings/sec, 2575 secs
lola: STP completed || 71 tries, 70187367 fired transitions, 2580 secs || 47717115 markings, 209866816 edges, 17635 markings/sec, 2580 secs
lola: STP completed || 71 tries, 70330291 fired transitions, 2585 secs || 47804405 markings, 210280819 edges, 17458 markings/sec, 2585 secs
lola: STP completed || 71 tries, 70473874 fired transitions, 2590 secs || 47892009 markings, 210696670 edges, 17521 markings/sec, 2590 secs
lola: STP completed || 71 tries, 70616731 fired transitions, 2595 secs || 47979463 markings, 211104103 edges, 17491 markings/sec, 2595 secs
lola: STP completed || 71 tries, 70760055 fired transitions, 2600 secs || 48067755 markings, 211516912 edges, 17658 markings/sec, 2600 secs
lola: STP completed || 71 tries, 70901064 fired transitions, 2605 secs || 48156339 markings, 211922263 edges, 17717 markings/sec, 2605 secs
lola: STP completed || 72 tries, 71044818 fired transitions, 2610 secs || 48244452 markings, 212329979 edges, 17623 markings/sec, 2610 secs
lola: STP completed || 72 tries, 71187343 fired transitions, 2615 secs || 48331905 markings, 212750579 edges, 17491 markings/sec, 2615 secs
lola: STP completed || 72 tries, 71329032 fired transitions, 2620 secs || 48420725 markings, 213155688 edges, 17764 markings/sec, 2620 secs
lola: STP completed || 72 tries, 71475673 fired transitions, 2625 secs || 48509017 markings, 213563567 edges, 17658 markings/sec, 2625 secs
lola: STP completed || 72 tries, 71622625 fired transitions, 2630 secs || 48596152 markings, 213975338 edges, 17427 markings/sec, 2630 secs
lola: STP completed || 72 tries, 71767776 fired transitions, 2635 secs || 48683894 markings, 214385458 edges, 17548 markings/sec, 2635 secs
lola: STP completed || 72 tries, 71912009 fired transitions, 2640 secs || 48772702 markings, 214783084 edges, 17762 markings/sec, 2640 secs
lola: STP completed || 73 tries, 72056120 fired transitions, 2645 secs || 48860719 markings, 215198865 edges, 17603 markings/sec, 2645 secs
lola: STP completed || 73 tries, 72195830 fired transitions, 2650 secs || 48949153 markings, 215614600 edges, 17687 markings/sec, 2650 secs
lola: STP completed || 73 tries, 72334335 fired transitions, 2655 secs || 49036674 markings, 216027960 edges, 17504 markings/sec, 2655 secs
lola: STP completed || 73 tries, 72477604 fired transitions, 2660 secs || 49124835 markings, 216435344 edges, 17632 markings/sec, 2660 secs
lola: STP completed || 73 tries, 72620518 fired transitions, 2665 secs || 49213080 markings, 216841110 edges, 17649 markings/sec, 2665 secs
lola: STP completed || 73 tries, 72764490 fired transitions, 2670 secs || 49301143 markings, 217261625 edges, 17613 markings/sec, 2670 secs
lola: STP completed || 73 tries, 72907888 fired transitions, 2675 secs || 49390269 markings, 217668785 edges, 17825 markings/sec, 2675 secs
lola: STP completed || 74 tries, 73052463 fired transitions, 2680 secs || 49478287 markings, 218081738 edges, 17604 markings/sec, 2680 secs
lola: STP completed || 74 tries, 73197893 fired transitions, 2685 secs || 49566882 markings, 218491346 edges, 17719 markings/sec, 2685 secs
lola: STP completed || 74 tries, 73341994 fired transitions, 2690 secs || 49654597 markings, 218905393 edges, 17543 markings/sec, 2690 secs
lola: STP completed || 74 tries, 73483454 fired transitions, 2695 secs || 49742792 markings, 219316729 edges, 17639 markings/sec, 2695 secs
lola: STP completed || 74 tries, 73629570 fired transitions, 2700 secs || 49831292 markings, 219726171 edges, 17700 markings/sec, 2700 secs
lola: STP completed || 74 tries, 73775706 fired transitions, 2705 secs || 49918643 markings, 220146995 edges, 17470 markings/sec, 2705 secs
lola: STP completed || 74 tries, 73920079 fired transitions, 2710 secs || 50007079 markings, 220552301 edges, 17687 markings/sec, 2710 secs
lola: STP completed || 75 tries, 74062464 fired transitions, 2715 secs || 50096473 markings, 220950420 edges, 17879 markings/sec, 2715 secs
lola: STP completed || 75 tries, 74205006 fired transitions, 2720 secs || 50184931 markings, 221366093 edges, 17692 markings/sec, 2720 secs
lola: STP completed || 75 tries, 74348089 fired transitions, 2725 secs || 50273038 markings, 221785581 edges, 17621 markings/sec, 2725 secs
lola: STP completed || 75 tries, 74490030 fired transitions, 2730 secs || 50361926 markings, 222209615 edges, 17778 markings/sec, 2730 secs
lola: STP completed || 75 tries, 74629169 fired transitions, 2735 secs || 50452474 markings, 222639920 edges, 18110 markings/sec, 2735 secs
lola: STP completed || 75 tries, 74767366 fired transitions, 2740 secs || 50542792 markings, 223067278 edges, 18064 markings/sec, 2740 secs
lola: STP completed || 75 tries, 74907009 fired transitions, 2745 secs || 50633674 markings, 223494538 edges, 18176 markings/sec, 2745 secs
lola: STP completed || 76 tries, 75045737 fired transitions, 2750 secs || 50724091 markings, 223923248 edges, 18083 markings/sec, 2750 secs
lola: STP completed || 76 tries, 75185451 fired transitions, 2755 secs || 50812793 markings, 224338693 edges, 17740 markings/sec, 2755 secs
lola: STP completed || 76 tries, 75326999 fired transitions, 2760 secs || 50901003 markings, 224758601 edges, 17642 markings/sec, 2760 secs
lola: STP completed || 76 tries, 75467807 fired transitions, 2765 secs || 50989110 markings, 225179859 edges, 17621 markings/sec, 2765 secs
lola: STP completed || 76 tries, 75614524 fired transitions, 2770 secs || 51079602 markings, 225603260 edges, 18098 markings/sec, 2770 secs
lola: STP completed || 76 tries, 75760837 fired transitions, 2775 secs || 51169731 markings, 226022236 edges, 18026 markings/sec, 2775 secs
lola: STP completed || 76 tries, 75906316 fired transitions, 2780 secs || 51259232 markings, 226446407 edges, 17900 markings/sec, 2780 secs
lola: STP completed || 77 tries, 76057146 fired transitions, 2785 secs || 51356243 markings, 226889181 edges, 19402 markings/sec, 2785 secs
lola: STP completed || 77 tries, 76220999 fired transitions, 2790 secs || 51463145 markings, 227396467 edges, 21380 markings/sec, 2790 secs
lola: STP completed || 77 tries, 76364855 fired transitions, 2795 secs || 51558338 markings, 227840606 edges, 19039 markings/sec, 2795 secs
lola: STP completed || 77 tries, 76533195 fired transitions, 2800 secs || 51667753 markings, 228365549 edges, 21883 markings/sec, 2800 secs
lola: STP completed || 77 tries, 76704686 fired transitions, 2805 secs || 51780107 markings, 228894101 edges, 22471 markings/sec, 2805 secs
lola: STP completed || 77 tries, 76874737 fired transitions, 2810 secs || 51891611 markings, 229426856 edges, 22301 markings/sec, 2810 secs
lola: STP completed || 78 tries, 77046332 fired transitions, 2815 secs || 52003473 markings, 229956593 edges, 22372 markings/sec, 2815 secs
lola: STP completed || 78 tries, 77221801 fired transitions, 2820 secs || 52117427 markings, 230493842 edges, 22791 markings/sec, 2820 secs
lola: STP completed || 78 tries, 77385842 fired transitions, 2825 secs || 52223838 markings, 230992543 edges, 21282 markings/sec, 2825 secs
lola: STP completed || 78 tries, 77526214 fired transitions, 2830 secs || 52312269 markings, 231418906 edges, 17686 markings/sec, 2830 secs
lola: STP completed || 78 tries, 77666223 fired transitions, 2835 secs || 52401693 markings, 231833988 edges, 17885 markings/sec, 2835 secs
lola: STP completed || 78 tries, 77805618 fired transitions, 2840 secs || 52489346 markings, 232253074 edges, 17531 markings/sec, 2840 secs
lola: STP completed || 78 tries, 77948164 fired transitions, 2845 secs || 52576339 markings, 232662627 edges, 17399 markings/sec, 2845 secs
lola: STP completed || 79 tries, 78093367 fired transitions, 2850 secs || 52665195 markings, 233064475 edges, 17771 markings/sec, 2850 secs
lola: STP completed || 79 tries, 78238270 fired transitions, 2855 secs || 52753464 markings, 233472455 edges, 17654 markings/sec, 2855 secs
lola: STP completed || 79 tries, 78382075 fired transitions, 2860 secs || 52842073 markings, 233882467 edges, 17722 markings/sec, 2860 secs
lola: STP completed || 79 tries, 78526298 fired transitions, 2865 secs || 52930350 markings, 234298713 edges, 17655 markings/sec, 2865 secs
lola: STP completed || 79 tries, 78666690 fired transitions, 2870 secs || 53020538 markings, 234730760 edges, 18038 markings/sec, 2870 secs
lola: STP completed || 79 tries, 78811973 fired transitions, 2875 secs || 53108904 markings, 235156746 edges, 17673 markings/sec, 2875 secs
lola: STP completed || 79 tries, 78957541 fired transitions, 2880 secs || 53197146 markings, 235568314 edges, 17648 markings/sec, 2880 secs
lola: STP completed || 80 tries, 79102565 fired transitions, 2885 secs || 53284456 markings, 235976671 edges, 17462 markings/sec, 2885 secs
lola: STP completed || 80 tries, 79248534 fired transitions, 2890 secs || 53372370 markings, 236392258 edges, 17583 markings/sec, 2890 secs
lola: STP completed || 80 tries, 79394988 fired transitions, 2895 secs || 53460256 markings, 236795127 edges, 17577 markings/sec, 2895 secs
lola: STP completed || 80 tries, 79539971 fired transitions, 2900 secs || 53548474 markings, 237203520 edges, 17644 markings/sec, 2900 secs
lola: STP completed || 80 tries, 79681877 fired transitions, 2905 secs || 53636331 markings, 237612335 edges, 17571 markings/sec, 2905 secs
lola: STP completed || 80 tries, 79827156 fired transitions, 2910 secs || 53724644 markings, 238019488 edges, 17663 markings/sec, 2910 secs
lola: STP completed || 80 tries, 79967682 fired transitions, 2915 secs || 53813152 markings, 238439096 edges, 17702 markings/sec, 2915 secs
lola: STP completed || 81 tries, 80106996 fired transitions, 2920 secs || 53902883 markings, 238853651 edges, 17946 markings/sec, 2920 secs
lola: STP completed || 81 tries, 80246015 fired transitions, 2925 secs || 53993675 markings, 239272493 edges, 18158 markings/sec, 2925 secs
lola: STP completed || 81 tries, 80385222 fired transitions, 2930 secs || 54084142 markings, 239689770 edges, 18093 markings/sec, 2930 secs
lola: STP completed || 81 tries, 80524452 fired transitions, 2935 secs || 54174724 markings, 240117781 edges, 18116 markings/sec, 2935 secs
lola: STP completed || 81 tries, 80663443 fired transitions, 2940 secs || 54264381 markings, 240533582 edges, 17931 markings/sec, 2940 secs
lola: STP completed || 81 tries, 80803045 fired transitions, 2945 secs || 54353095 markings, 240939383 edges, 17743 markings/sec, 2945 secs
lola: STP completed || 81 tries, 80940561 fired transitions, 2950 secs || 54441266 markings, 241361553 edges, 17634 markings/sec, 2950 secs
lola: STP completed || 82 tries, 81079232 fired transitions, 2955 secs || 54530222 markings, 241774720 edges, 17791 markings/sec, 2955 secs
lola: STP completed || 82 tries, 81218638 fired transitions, 2960 secs || 54618752 markings, 242183366 edges, 17706 markings/sec, 2960 secs
lola: STP completed || 82 tries, 81358250 fired transitions, 2965 secs || 54709061 markings, 242603431 edges, 18062 markings/sec, 2965 secs
lola: STP completed || 82 tries, 81496465 fired transitions, 2970 secs || 54797692 markings, 243023788 edges, 17726 markings/sec, 2970 secs
lola: STP completed || 82 tries, 81631689 fired transitions, 2975 secs || 54888431 markings, 243448501 edges, 18148 markings/sec, 2975 secs
lola: STP completed || 82 tries, 81766757 fired transitions, 2980 secs || 54981379 markings, 243875597 edges, 18590 markings/sec, 2980 secs
lola: STP completed || 82 tries, 81902671 fired transitions, 2985 secs || 55072138 markings, 244314274 edges, 18152 markings/sec, 2985 secs
lola: STP completed || 83 tries, 82039347 fired transitions, 2990 secs || 55163358 markings, 244751308 edges, 18244 markings/sec, 2990 secs
lola: STP completed || 83 tries, 82177527 fired transitions, 2995 secs || 55253084 markings, 245182529 edges, 17945 markings/sec, 2995 secs
lola: STP completed || 83 tries, 82316039 fired transitions, 3000 secs || 55345004 markings, 245612849 edges, 18384 markings/sec, 3000 secs
lola: STP completed || 83 tries, 82453764 fired transitions, 3005 secs || 55435309 markings, 246040493 edges, 18061 markings/sec, 3005 secs
lola: STP completed || 83 tries, 82589778 fired transitions, 3010 secs || 55526510 markings, 246462204 edges, 18240 markings/sec, 3010 secs
lola: STP completed || 83 tries, 82727164 fired transitions, 3015 secs || 55617539 markings, 246889718 edges, 18206 markings/sec, 3015 secs
lola: STP completed || 83 tries, 82864550 fired transitions, 3020 secs || 55708355 markings, 247321881 edges, 18163 markings/sec, 3020 secs
lola: STP completed || 84 tries, 83004601 fired transitions, 3025 secs || 55796839 markings, 247743428 edges, 17697 markings/sec, 3025 secs
lola: STP completed || 84 tries, 83143446 fired transitions, 3030 secs || 55886515 markings, 248159530 edges, 17935 markings/sec, 3030 secs
lola: STP completed || 84 tries, 83281326 fired transitions, 3035 secs || 55977088 markings, 248584249 edges, 18115 markings/sec, 3035 secs
lola: STP completed || 84 tries, 83417834 fired transitions, 3040 secs || 56068707 markings, 249023913 edges, 18324 markings/sec, 3040 secs
lola: STP completed || 84 tries, 83553765 fired transitions, 3045 secs || 56159259 markings, 249469133 edges, 18110 markings/sec, 3045 secs
lola: STP completed || 84 tries, 83689309 fired transitions, 3050 secs || 56251097 markings, 249884461 edges, 18368 markings/sec, 3050 secs
lola: STP completed || 84 tries, 83825119 fired transitions, 3055 secs || 56342128 markings, 250311950 edges, 18206 markings/sec, 3055 secs
lola: STP completed || 84 tries, 83957755 fired transitions, 3060 secs || 56434089 markings, 250744868 edges, 18392 markings/sec, 3060 secs
lola: STP completed || 85 tries, 84096052 fired transitions, 3065 secs || 56523885 markings, 251172801 edges, 17959 markings/sec, 3065 secs
lola: STP completed || 85 tries, 84231588 fired transitions, 3070 secs || 56614972 markings, 251608351 edges, 18217 markings/sec, 3070 secs
lola: STP completed || 85 tries, 84368899 fired transitions, 3075 secs || 56705696 markings, 252045459 edges, 18145 markings/sec, 3075 secs
lola: STP completed || 85 tries, 84506322 fired transitions, 3080 secs || 56794189 markings, 252478552 edges, 17699 markings/sec, 3080 secs
lola: STP completed || 85 tries, 84641143 fired transitions, 3085 secs || 56883837 markings, 252913367 edges, 17930 markings/sec, 3085 secs
lola: STP completed || 85 tries, 84779336 fired transitions, 3090 secs || 56973949 markings, 253358082 edges, 18022 markings/sec, 3090 secs
lola: STP completed || 85 tries, 84922808 fired transitions, 3095 secs || 57063996 markings, 253784574 edges, 18009 markings/sec, 3095 secs
lola: STP completed || 86 tries, 85064965 fired transitions, 3100 secs || 57154329 markings, 254204942 edges, 18067 markings/sec, 3100 secs
lola: STP completed || 86 tries, 85207065 fired transitions, 3105 secs || 57244670 markings, 254622669 edges, 18068 markings/sec, 3105 secs
lola: STP completed || 86 tries, 85349130 fired transitions, 3110 secs || 57333166 markings, 255035069 edges, 17699 markings/sec, 3110 secs
lola: STP completed || 86 tries, 85492559 fired transitions, 3115 secs || 57421678 markings, 255437740 edges, 17702 markings/sec, 3115 secs
lola: STP completed || 86 tries, 85636082 fired transitions, 3120 secs || 57509076 markings, 255854710 edges, 17480 markings/sec, 3120 secs
lola: STP completed || 86 tries, 85779905 fired transitions, 3125 secs || 57597174 markings, 256268650 edges, 17620 markings/sec, 3125 secs
lola: STP completed || 86 tries, 85921033 fired transitions, 3130 secs || 57686299 markings, 256673553 edges, 17825 markings/sec, 3130 secs
lola: STP completed || 87 tries, 86063237 fired transitions, 3135 secs || 57776700 markings, 257094805 edges, 18080 markings/sec, 3135 secs
lola: STP completed || 87 tries, 86208465 fired transitions, 3140 secs || 57866409 markings, 257514511 edges, 17942 markings/sec, 3140 secs
lola: STP completed || 87 tries, 86355106 fired transitions, 3145 secs || 57953958 markings, 257938170 edges, 17510 markings/sec, 3145 secs
lola: STP completed || 87 tries, 86497788 fired transitions, 3150 secs || 58043829 markings, 258364451 edges, 17974 markings/sec, 3150 secs
lola: STP completed || 87 tries, 86640002 fired transitions, 3155 secs || 58132554 markings, 258788832 edges, 17745 markings/sec, 3155 secs
lola: STP completed || 87 tries, 86783575 fired transitions, 3160 secs || 58222943 markings, 259218370 edges, 18078 markings/sec, 3160 secs
lola: STP completed || 87 tries, 86925250 fired transitions, 3165 secs || 58312976 markings, 259648274 edges, 18007 markings/sec, 3165 secs
lola: STP completed || 88 tries, 87068702 fired transitions, 3170 secs || 58402844 markings, 260055373 edges, 17974 markings/sec, 3170 secs
lola: STP completed || 88 tries, 87212385 fired transitions, 3175 secs || 58492727 markings, 260478023 edges, 17977 markings/sec, 3175 secs
lola: STP completed || 88 tries, 87354749 fired transitions, 3180 secs || 58581139 markings, 260903272 edges, 17682 markings/sec, 3180 secs
lola: STP completed || 88 tries, 87497434 fired transitions, 3185 secs || 58670712 markings, 261323244 edges, 17915 markings/sec, 3185 secs
lola: STP completed || 88 tries, 87641139 fired transitions, 3190 secs || 58761377 markings, 261742206 edges, 18133 markings/sec, 3190 secs
lola: STP completed || 88 tries, 87784741 fired transitions, 3195 secs || 58850858 markings, 262176963 edges, 17896 markings/sec, 3195 secs
lola: STP completed || 88 tries, 87927152 fired transitions, 3200 secs || 58940471 markings, 262598371 edges, 17923 markings/sec, 3200 secs
lola: STP completed || 89 tries, 88070798 fired transitions, 3205 secs || 59029694 markings, 263014821 edges, 17845 markings/sec, 3205 secs
lola: STP completed || 89 tries, 88217278 fired transitions, 3210 secs || 59117964 markings, 263420865 edges, 17654 markings/sec, 3210 secs
lola: STP completed || 89 tries, 88364829 fired transitions, 3215 secs || 59205510 markings, 263838223 edges, 17509 markings/sec, 3215 secs
lola: STP completed || 89 tries, 88511568 fired transitions, 3220 secs || 59292173 markings, 264258312 edges, 17333 markings/sec, 3220 secs
lola: STP completed || 89 tries, 88658875 fired transitions, 3225 secs || 59379585 markings, 264681523 edges, 17482 markings/sec, 3225 secs
lola: STP completed || 89 tries, 88805004 fired transitions, 3230 secs || 59466609 markings, 265102904 edges, 17405 markings/sec, 3230 secs
lola: STP completed || 89 tries, 88951531 fired transitions, 3235 secs || 59553431 markings, 265532154 edges, 17364 markings/sec, 3235 secs
lola: STP completed || 90 tries, 89098696 fired transitions, 3240 secs || 59640646 markings, 265948944 edges, 17443 markings/sec, 3240 secs
lola: STP completed || 90 tries, 89244641 fired transitions, 3245 secs || 59728345 markings, 266368234 edges, 17540 markings/sec, 3245 secs
lola: STP completed || 90 tries, 89387904 fired transitions, 3250 secs || 59815401 markings, 266782663 edges, 17411 markings/sec, 3250 secs
lola: STP completed || 90 tries, 89531418 fired transitions, 3255 secs || 59902781 markings, 267202450 edges, 17476 markings/sec, 3255 secs
lola: STP completed || 90 tries, 89678956 fired transitions, 3260 secs || 59990213 markings, 267619438 edges, 17486 markings/sec, 3260 secs
lola: STP completed || 90 tries, 89824127 fired transitions, 3265 secs || 60077230 markings, 268041691 edges, 17403 markings/sec, 3265 secs
lola: STP completed || 90 tries, 89967429 fired transitions, 3270 secs || 60164943 markings, 268462717 edges, 17543 markings/sec, 3270 secs
lola: STP completed || 91 tries, 90110876 fired transitions, 3275 secs || 60252441 markings, 268879696 edges, 17500 markings/sec, 3275 secs
lola: STP completed || 91 tries, 90255352 fired transitions, 3280 secs || 60339518 markings, 269297479 edges, 17415 markings/sec, 3280 secs
lola: STP completed || 91 tries, 90399563 fired transitions, 3285 secs || 60426281 markings, 269729191 edges, 17353 markings/sec, 3285 secs
lola: STP completed || 91 tries, 90543344 fired transitions, 3290 secs || 60513470 markings, 270142164 edges, 17438 markings/sec, 3290 secs
lola: STP completed || 91 tries, 90686041 fired transitions, 3295 secs || 60601621 markings, 270552666 edges, 17630 markings/sec, 3295 secs
lola: STP completed || 91 tries, 90823777 fired transitions, 3300 secs || 60690643 markings, 270978207 edges, 17804 markings/sec, 3300 secs
lola: STP completed || 91 tries, 90963636 fired transitions, 3305 secs || 60781068 markings, 271403808 edges, 18085 markings/sec, 3305 secs
lola: STP completed || 92 tries, 91104485 fired transitions, 3310 secs || 60870339 markings, 271820540 edges, 17854 markings/sec, 3310 secs
lola: STP completed || 92 tries, 91245337 fired transitions, 3315 secs || 60959405 markings, 272245843 edges, 17813 markings/sec, 3315 secs
lola: STP completed || 92 tries, 91384973 fired transitions, 3320 secs || 61048835 markings, 272663697 edges, 17886 markings/sec, 3320 secs
lola: STP completed || 92 tries, 91524560 fired transitions, 3325 secs || 61138352 markings, 273078430 edges, 17903 markings/sec, 3325 secs
lola: STP completed || 92 tries, 91663760 fired transitions, 3330 secs || 61227984 markings, 273501395 edges, 17926 markings/sec, 3330 secs
lola: STP completed || 92 tries, 91803404 fired transitions, 3335 secs || 61317586 markings, 273922611 edges, 17920 markings/sec, 3335 secs
lola: STP completed || 92 tries, 91941864 fired transitions, 3340 secs || 61407324 markings, 274336444 edges, 17948 markings/sec, 3340 secs
lola: STP completed || 93 tries, 92081120 fired transitions, 3345 secs || 61496014 markings, 274750184 edges, 17738 markings/sec, 3345 secs
lola: STP completed || 93 tries, 92221305 fired transitions, 3350 secs || 61584652 markings, 275176880 edges, 17728 markings/sec, 3350 secs
lola: STP completed || 93 tries, 92356982 fired transitions, 3355 secs || 61676142 markings, 275604808 edges, 18298 markings/sec, 3355 secs
lola: STP completed || 93 tries, 92493124 fired transitions, 3360 secs || 61766486 markings, 276032267 edges, 18069 markings/sec, 3360 secs
lola: STP completed || 93 tries, 92621909 fired transitions, 3365 secs || 61855807 markings, 276464060 edges, 17864 markings/sec, 3365 secs
lola: STP completed || 93 tries, 92752517 fired transitions, 3370 secs || 61946306 markings, 276891287 edges, 18100 markings/sec, 3370 secs
lola: STP completed || 93 tries, 92920491 fired transitions, 3375 secs || 62055862 markings, 277417726 edges, 21911 markings/sec, 3375 secs
lola: STP completed || 94 tries, 93089323 fired transitions, 3380 secs || 62166150 markings, 277928585 edges, 22058 markings/sec, 3380 secs
lola: STP completed || 94 tries, 93235503 fired transitions, 3385 secs || 62257979 markings, 278370495 edges, 18366 markings/sec, 3385 secs
lola: STP completed || 94 tries, 93376671 fired transitions, 3390 secs || 62347393 markings, 278799149 edges, 17883 markings/sec, 3390 secs
lola: STP completed || 94 tries, 93519156 fired transitions, 3395 secs || 62437359 markings, 279236898 edges, 17993 markings/sec, 3395 secs
lola: STP completed || 94 tries, 93662101 fired transitions, 3400 secs || 62527264 markings, 279667948 edges, 17981 markings/sec, 3400 secs
lola: STP completed || 94 tries, 93805507 fired transitions, 3405 secs || 62616962 markings, 280096611 edges, 17940 markings/sec, 3405 secs
lola: STP completed || 94 tries, 93945763 fired transitions, 3410 secs || 62707223 markings, 280519936 edges, 18052 markings/sec, 3410 secs
lola: STP completed || 95 tries, 94082267 fired transitions, 3415 secs || 62796295 markings, 280957112 edges, 17814 markings/sec, 3415 secs
lola: STP completed || 95 tries, 94214426 fired transitions, 3420 secs || 62884884 markings, 281375342 edges, 17718 markings/sec, 3420 secs
lola: STP completed || 95 tries, 94346038 fired transitions, 3425 secs || 62973105 markings, 281798851 edges, 17644 markings/sec, 3425 secs
lola: STP completed || 95 tries, 94476246 fired transitions, 3430 secs || 63060415 markings, 282207615 edges, 17462 markings/sec, 3430 secs
lola: STP completed || 95 tries, 94606920 fired transitions, 3435 secs || 63147867 markings, 282617909 edges, 17490 markings/sec, 3435 secs
lola: STP completed || 95 tries, 94736622 fired transitions, 3440 secs || 63237442 markings, 283031839 edges, 17915 markings/sec, 3440 secs
lola: STP completed || 95 tries, 94873122 fired transitions, 3445 secs || 63327503 markings, 283460760 edges, 18012 markings/sec, 3445 secs
lola: STP completed || 96 tries, 95008827 fired transitions, 3450 secs || 63415564 markings, 283906721 edges, 17612 markings/sec, 3450 secs
lola: STP completed || 96 tries, 95144671 fired transitions, 3455 secs || 63505233 markings, 284333235 edges, 17934 markings/sec, 3455 secs
lola: STP completed || 96 tries, 95280706 fired transitions, 3460 secs || 63595051 markings, 284753077 edges, 17964 markings/sec, 3460 secs
lola: STP completed || 96 tries, 95419953 fired transitions, 3465 secs || 63683865 markings, 285172412 edges, 17763 markings/sec, 3465 secs
lola: STP completed || 96 tries, 95558069 fired transitions, 3470 secs || 63772380 markings, 285596692 edges, 17703 markings/sec, 3470 secs
lola: STP completed || 96 tries, 95697930 fired transitions, 3475 secs || 63861703 markings, 286006695 edges, 17865 markings/sec, 3475 secs
lola: STP completed || 96 tries, 95833318 fired transitions, 3480 secs || 63950638 markings, 286440668 edges, 17787 markings/sec, 3480 secs
lola: STP completed || 96 tries, 95969472 fired transitions, 3485 secs || 64039427 markings, 286880796 edges, 17758 markings/sec, 3485 secs
lola: STP completed || 97 tries, 96105481 fired transitions, 3490 secs || 64128197 markings, 287311187 edges, 17754 markings/sec, 3490 secs
lola: STP completed || 97 tries, 96241186 fired transitions, 3495 secs || 64216846 markings, 287729982 edges, 17730 markings/sec, 3495 secs
lola: STP completed || 97 tries, 96375152 fired transitions, 3500 secs || 64305186 markings, 288147489 edges, 17668 markings/sec, 3500 secs
lola: STP completed || 97 tries, 96507257 fired transitions, 3505 secs || 64389769 markings, 288557741 edges, 16917 markings/sec, 3505 secs
lola: STP completed || 97 tries, 96642287 fired transitions, 3510 secs || 64475564 markings, 288953847 edges, 17159 markings/sec, 3510 secs
lola: STP completed || 97 tries, 96779865 fired transitions, 3515 secs || 64562482 markings, 289373996 edges, 17384 markings/sec, 3515 secs
lola: STP completed || 97 tries, 96913333 fired transitions, 3520 secs || 64648605 markings, 289780641 edges, 17225 markings/sec, 3520 secs
lola: STP completed || 98 tries, 97047733 fired transitions, 3525 secs || 64735824 markings, 290204195 edges, 17444 markings/sec, 3525 secs
lola: STP completed || 98 tries, 97184079 fired transitions, 3530 secs || 64825464 markings, 290620342 edges, 17928 markings/sec, 3530 secs
lola: STP completed || 98 tries, 97321753 fired transitions, 3535 secs || 64914725 markings, 291044276 edges, 17852 markings/sec, 3535 secs
lola: STP completed || 98 tries, 97458382 fired transitions, 3540 secs || 65007465 markings, 291492174 edges, 18548 markings/sec, 3540 secs
lola: STP completed || 98 tries, 97594976 fired transitions, 3545 secs || 65098605 markings, 291931552 edges, 18228 markings/sec, 3545 secs
lola: STP completed || 98 tries, 97733375 fired transitions, 3550 secs || 65186873 markings, 292360592 edges, 17654 markings/sec, 3550 secs
lola: STP completed || 98 tries, 97868511 fired transitions, 3555 secs || 65276217 markings, 292799696 edges, 17869 markings/sec, 3555 secs
lola: STP completed || 98 tries, 97999310 fired transitions, 3560 secs || 65362889 markings, 293216202 edges, 17334 markings/sec, 3560 secs
lola: time limit reached - aborting
lola: memory consumption: 3060352 KB
lola: time consumption: 3569 seconds
BK_STOP 1527015948709
--------------------
content from stderr:
Sequence of Actions to be Executed by the VM
This is useful if one wants to reexecute the tool in the VM from the submitted image disk.
set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="LamportFastMutEx-COL-6"
export BK_EXAMINATION="ReachabilityDeadlock"
export BK_TOOL="lola"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
# this is specific to your benchmark or test
export BIN_DIR="$HOME/BenchKit/bin"
# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi
tar xzf /home/mcc/BenchKit/INPUTS/LamportFastMutEx-COL-6.tgz
mv LamportFastMutEx-COL-6 execution
cd execution
pwd
ls -lh
# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-3637"
echo " Executing tool lola"
echo " Input is LamportFastMutEx-COL-6, examination is ReachabilityDeadlock"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r112-csrt-152666469000090"
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 ;