About the Execution of LoLA for LamportFastMutEx-PT-5
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 3598.890 | 3570557.00 | 7314365.00 | 424.30 | [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 472K
-rw-r--r-- 1 mcc users 7.6K May 15 18:54 CTLCardinality.txt
-rw-r--r-- 1 mcc users 34K May 15 18:54 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.0K May 15 18:54 CTLFireability.txt
-rw-r--r-- 1 mcc users 28K 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 4.4K May 15 18:54 LTLCardinality.txt
-rw-r--r-- 1 mcc users 17K May 15 18:54 LTLCardinality.xml
-rw-r--r-- 1 mcc users 5.4K May 15 18:54 LTLFireability.txt
-rw-r--r-- 1 mcc users 23K May 15 18:54 LTLFireability.xml
-rw-r--r-- 1 mcc users 7.2K May 15 18:54 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 32K May 15 18:54 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 112 May 15 18:54 ReachabilityDeadlock.txt
-rw-r--r-- 1 mcc users 350 May 15 18:54 ReachabilityDeadlock.xml
-rw-r--r-- 1 mcc users 17K May 15 18:54 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 74K May 15 18:54 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 2.6K May 15 18:54 UpperBounds.txt
-rw-r--r-- 1 mcc users 6.1K May 15 18:54 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 May 15 18:50 equiv_col
-rw-r--r-- 1 mcc users 2 May 15 18:50 instance
-rw-r--r-- 1 mcc users 6 May 15 18:50 iscolored
-rw-r--r-- 1 mcc users 152K May 15 18:50 model.pnml
=====================================================================
Generated by BenchKit 2-3637
Executing tool lola
Input is LamportFastMutEx-PT-5, examination is ReachabilityDeadlock
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r112-csrt-152666469100132
=====================================================================
--------------------
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-PT-5-ReachabilityDeadlock-0
=== Now, execution of the tool begins
BK_START 1527016038411
info: Time: 3600 - MCC
===========================================================================================
prep: translating LamportFastMutEx-PT-5 Petri net model.pnml into LoLA format
===========================================================================================
prep: translating PT Petri net complete
prep: added safe information to the net based on GenericPropertiesVerdict
prep: check for too many tokens
===========================================================================================
prep: translating LamportFastMutEx-PT-5 formula ReachabilityDeadlock into LoLA format
===========================================================================================
prep: translating PT formula complete
vrfy: Checking ReachabilityDeadlock @ LamportFastMutEx-PT-5 @ 3570 seconds
lola: LoLA will run for 3570 seconds at most (--timelimit)
lola: NET
lola: reading net from model.pnml.lola
lola: finished parsing
lola: closed net file model.pnml.lola
lola: 492/65536 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 174
lola: finding significant places
lola: 174 places, 318 transitions, 124 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 452 transition conflict sets
lola: TASK
lola: reading formula from LamportFastMutEx-PT-5-ReachabilityDeadlock.task
lola: E (F (DEADLOCK))
lola: rewrite Frontend/Parser/formula_rewrite.k:106
lola: checking reachability of deadlocks
lola: Planning: workflow for deadlock check: siphon||findpath||search) (--findpath=par,--siphontrap=par)
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using deadlock preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: SEARCH (findpath)
lola: findpath: using deadlock preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: findpath: starting randomized, memory-less exploration (--search=findpath)
lola: findpath: searching for paths with maximal depth 1000000 (--depthlimit)
lola: findpath: no retry limit given (--retrylimit)
lola: computing symmetries (--symmetry)
lola: time limit for symmetry computation of 300 seconds given (--symmtimelimit)
lola: findpath: transitions are chosen randomly
lola: computed 10 generators (5 in search tree, 5 by composition)
lola: representing 120 symmetries
lola: 0 dead branches visited in search tree
lola: STP: formula with 6050 variables and 24082 clauses shipped to Minisat
lola: stp: The siphon/trap property does not hold
lola: STP completed || 1 tries, 176135 fired transitions, 0 secs || 139811 markings, 366939 edges, 27962 markings/sec, 0 secs
lola: STP completed || 1 tries, 342753 fired transitions, 5 secs || 266190 markings, 730733 edges, 25276 markings/sec, 5 secs
lola: STP completed || 1 tries, 499848 fired transitions, 10 secs || 384900 markings, 1082448 edges, 23742 markings/sec, 10 secs
lola: STP completed || 1 tries, 655836 fired transitions, 15 secs || 504179 markings, 1441235 edges, 23856 markings/sec, 15 secs
lola: STP completed || 1 tries, 811230 fired transitions, 20 secs || 620474 markings, 1806267 edges, 23259 markings/sec, 20 secs
lola: STP completed || 1 tries, 968744 fired transitions, 25 secs || 739114 markings, 2174043 edges, 23728 markings/sec, 25 secs
lola: STP completed || 2 tries, 1134478 fired transitions, 30 secs || 860998 markings, 2556105 edges, 24377 markings/sec, 30 secs
lola: STP completed || 2 tries, 1302797 fired transitions, 35 secs || 986386 markings, 2952451 edges, 25078 markings/sec, 35 secs
lola: STP completed || 2 tries, 1469393 fired transitions, 40 secs || 1112965 markings, 3364003 edges, 25316 markings/sec, 40 secs
lola: STP completed || 2 tries, 1636703 fired transitions, 45 secs || 1238678 markings, 3769726 edges, 25143 markings/sec, 45 secs
lola: STP completed || 2 tries, 1806477 fired transitions, 50 secs || 1361735 markings, 4171415 edges, 24611 markings/sec, 50 secs
lola: STP completed || 3 tries, 2007881 fired transitions, 55 secs || 1507516 markings, 4653155 edges, 29156 markings/sec, 55 secs
lola: STP completed || 3 tries, 2203605 fired transitions, 60 secs || 1641025 markings, 5106755 edges, 26702 markings/sec, 60 secs
lola: STP completed || 3 tries, 2429932 fired transitions, 65 secs || 1806658 markings, 5664220 edges, 33127 markings/sec, 65 secs
lola: STP completed || 3 tries, 2650567 fired transitions, 70 secs || 1967674 markings, 6204700 edges, 32203 markings/sec, 70 secs
lola: STP completed || 3 tries, 2877910 fired transitions, 75 secs || 2128114 markings, 6758605 edges, 32088 markings/sec, 75 secs
lola: STP completed || 4 tries, 3099772 fired transitions, 80 secs || 2284938 markings, 7298727 edges, 31365 markings/sec, 80 secs
lola: STP completed || 4 tries, 3318032 fired transitions, 85 secs || 2438962 markings, 7835714 edges, 30805 markings/sec, 85 secs
lola: STP completed || 4 tries, 3519378 fired transitions, 90 secs || 2581123 markings, 8329596 edges, 28432 markings/sec, 90 secs
lola: STP completed || 4 tries, 3735732 fired transitions, 95 secs || 2731374 markings, 8856134 edges, 30050 markings/sec, 95 secs
lola: STP completed || 4 tries, 3956268 fired transitions, 100 secs || 2886776 markings, 9390732 edges, 31080 markings/sec, 100 secs
lola: STP completed || 5 tries, 4175314 fired transitions, 105 secs || 3041727 markings, 9941204 edges, 30990 markings/sec, 105 secs
lola: STP completed || 5 tries, 4395349 fired transitions, 110 secs || 3197970 markings, 10495001 edges, 31249 markings/sec, 110 secs
lola: STP completed || 5 tries, 4615021 fired transitions, 115 secs || 3352153 markings, 11049475 edges, 30837 markings/sec, 115 secs
lola: STP completed || 5 tries, 4834333 fired transitions, 120 secs || 3507393 markings, 11598215 edges, 31048 markings/sec, 120 secs
lola: STP completed || 6 tries, 5054226 fired transitions, 125 secs || 3664041 markings, 12144313 edges, 31330 markings/sec, 125 secs
lola: STP completed || 6 tries, 5274695 fired transitions, 130 secs || 3818219 markings, 12704979 edges, 30836 markings/sec, 130 secs
lola: STP completed || 6 tries, 5492365 fired transitions, 135 secs || 3973608 markings, 13272898 edges, 31078 markings/sec, 135 secs
lola: STP completed || 6 tries, 5705105 fired transitions, 140 secs || 4124139 markings, 13824068 edges, 30106 markings/sec, 140 secs
lola: STP completed || 6 tries, 5919891 fired transitions, 145 secs || 4276383 markings, 14375549 edges, 30449 markings/sec, 145 secs
lola: STP completed || 7 tries, 6135091 fired transitions, 150 secs || 4427563 markings, 14935276 edges, 30236 markings/sec, 150 secs
lola: STP completed || 7 tries, 6350648 fired transitions, 155 secs || 4577880 markings, 15502925 edges, 30063 markings/sec, 155 secs
lola: STP completed || 7 tries, 6570347 fired transitions, 160 secs || 4732146 markings, 16082008 edges, 30853 markings/sec, 160 secs
lola: STP completed || 7 tries, 6785538 fired transitions, 165 secs || 4884699 markings, 16647702 edges, 30511 markings/sec, 165 secs
lola: STP completed || 7 tries, 6955078 fired transitions, 170 secs || 5005418 markings, 17103305 edges, 24144 markings/sec, 170 secs
lola: STP completed || 8 tries, 7124563 fired transitions, 175 secs || 5124303 markings, 17554594 edges, 23777 markings/sec, 175 secs
lola: STP completed || 8 tries, 7291077 fired transitions, 180 secs || 5243600 markings, 18005519 edges, 23859 markings/sec, 180 secs
lola: STP completed || 8 tries, 7458102 fired transitions, 185 secs || 5361584 markings, 18460130 edges, 23597 markings/sec, 185 secs
lola: STP completed || 8 tries, 7626653 fired transitions, 190 secs || 5479119 markings, 18908742 edges, 23507 markings/sec, 190 secs
lola: STP completed || 8 tries, 7797226 fired transitions, 195 secs || 5595525 markings, 19356826 edges, 23281 markings/sec, 195 secs
lola: STP completed || 8 tries, 7970752 fired transitions, 200 secs || 5709555 markings, 19799051 edges, 22806 markings/sec, 200 secs
lola: STP completed || 9 tries, 8143182 fired transitions, 205 secs || 5824157 markings, 20237328 edges, 22920 markings/sec, 205 secs
lola: STP completed || 9 tries, 8314577 fired transitions, 210 secs || 5938818 markings, 20687586 edges, 22932 markings/sec, 210 secs
lola: STP completed || 9 tries, 8483080 fired transitions, 215 secs || 6055750 markings, 21144881 edges, 23386 markings/sec, 215 secs
lola: STP completed || 9 tries, 8650207 fired transitions, 220 secs || 6173883 markings, 21606705 edges, 23627 markings/sec, 220 secs
lola: STP completed || 9 tries, 8818816 fired transitions, 225 secs || 6290272 markings, 22064548 edges, 23278 markings/sec, 225 secs
lola: STP completed || 9 tries, 8986761 fired transitions, 230 secs || 6406820 markings, 22525031 edges, 23310 markings/sec, 230 secs
lola: STP completed || 10 tries, 9152849 fired transitions, 235 secs || 6524579 markings, 22986177 edges, 23552 markings/sec, 235 secs
lola: STP completed || 10 tries, 9317253 fired transitions, 240 secs || 6641500 markings, 23439558 edges, 23384 markings/sec, 240 secs
lola: STP completed || 10 tries, 9489696 fired transitions, 245 secs || 6755783 markings, 23892877 edges, 22857 markings/sec, 245 secs
lola: STP completed || 10 tries, 9659945 fired transitions, 250 secs || 6866760 markings, 24332704 edges, 22195 markings/sec, 250 secs
lola: STP completed || 10 tries, 9830009 fired transitions, 255 secs || 6979153 markings, 24780026 edges, 22479 markings/sec, 255 secs
lola: STP completed || 11 tries, 10001639 fired transitions, 260 secs || 7089561 markings, 25215241 edges, 22082 markings/sec, 260 secs
lola: STP completed || 11 tries, 10165627 fired transitions, 265 secs || 7192975 markings, 25628036 edges, 20683 markings/sec, 265 secs
lola: STP completed || 11 tries, 10336284 fired transitions, 270 secs || 7303192 markings, 26069998 edges, 22043 markings/sec, 270 secs
lola: STP completed || 11 tries, 10504695 fired transitions, 275 secs || 7415062 markings, 26514093 edges, 22374 markings/sec, 275 secs
lola: STP completed || 11 tries, 10676575 fired transitions, 280 secs || 7528760 markings, 26964910 edges, 22740 markings/sec, 280 secs
lola: STP completed || 11 tries, 10852257 fired transitions, 285 secs || 7643455 markings, 27431729 edges, 22939 markings/sec, 285 secs
lola: STP completed || 12 tries, 11024093 fired transitions, 290 secs || 7758088 markings, 27886333 edges, 22927 markings/sec, 290 secs
lola: STP completed || 12 tries, 11198936 fired transitions, 295 secs || 7872844 markings, 28349490 edges, 22951 markings/sec, 295 secs
lola: STP completed || 12 tries, 11373507 fired transitions, 300 secs || 7987707 markings, 28816280 edges, 22973 markings/sec, 300 secs
lola: STP completed || 12 tries, 11547075 fired transitions, 305 secs || 8100336 markings, 29271989 edges, 22526 markings/sec, 305 secs
lola: STP completed || 12 tries, 11716982 fired transitions, 310 secs || 8212158 markings, 29730410 edges, 22364 markings/sec, 310 secs
lola: STP completed || 12 tries, 11881466 fired transitions, 315 secs || 8325763 markings, 30199266 edges, 22721 markings/sec, 315 secs
lola: STP completed || 13 tries, 12043995 fired transitions, 320 secs || 8439286 markings, 30663912 edges, 22705 markings/sec, 320 secs
lola: STP completed || 13 tries, 12207331 fired transitions, 325 secs || 8551502 markings, 31113957 edges, 22443 markings/sec, 325 secs
lola: STP completed || 13 tries, 12367466 fired transitions, 330 secs || 8665375 markings, 31581548 edges, 22775 markings/sec, 330 secs
lola: STP completed || 13 tries, 12528943 fired transitions, 335 secs || 8780623 markings, 32050695 edges, 23050 markings/sec, 335 secs
lola: STP completed || 13 tries, 12693536 fired transitions, 340 secs || 8897377 markings, 32531851 edges, 23351 markings/sec, 340 secs
lola: STP completed || 13 tries, 12865083 fired transitions, 345 secs || 9009734 markings, 32999673 edges, 22471 markings/sec, 345 secs
lola: STP completed || 14 tries, 13032538 fired transitions, 350 secs || 9122940 markings, 33464990 edges, 22641 markings/sec, 350 secs
lola: STP completed || 14 tries, 13199650 fired transitions, 355 secs || 9235935 markings, 33936509 edges, 22599 markings/sec, 355 secs
lola: STP completed || 14 tries, 13367075 fired transitions, 360 secs || 9349163 markings, 34403768 edges, 22646 markings/sec, 360 secs
lola: STP completed || 14 tries, 13534138 fired transitions, 365 secs || 9461895 markings, 34876061 edges, 22546 markings/sec, 365 secs
lola: STP completed || 14 tries, 13707040 fired transitions, 370 secs || 9576916 markings, 35355876 edges, 23004 markings/sec, 370 secs
lola: STP completed || 14 tries, 13875481 fired transitions, 375 secs || 9690929 markings, 35830600 edges, 22803 markings/sec, 375 secs
lola: STP completed || 15 tries, 14039947 fired transitions, 380 secs || 9806506 markings, 36314494 edges, 23115 markings/sec, 380 secs
lola: STP completed || 15 tries, 14199686 fired transitions, 385 secs || 9919817 markings, 36783780 edges, 22662 markings/sec, 385 secs
lola: STP completed || 15 tries, 14359220 fired transitions, 390 secs || 10033609 markings, 37267857 edges, 22758 markings/sec, 390 secs
lola: STP completed || 15 tries, 14519025 fired transitions, 395 secs || 10147119 markings, 37744189 edges, 22702 markings/sec, 395 secs
lola: STP completed || 15 tries, 14678452 fired transitions, 400 secs || 10261722 markings, 38220235 edges, 22921 markings/sec, 400 secs
lola: STP completed || 15 tries, 14837312 fired transitions, 405 secs || 10376156 markings, 38697335 edges, 22887 markings/sec, 405 secs
lola: STP completed || 16 tries, 15006949 fired transitions, 410 secs || 10489627 markings, 39176151 edges, 22694 markings/sec, 410 secs
lola: STP completed || 16 tries, 15174739 fired transitions, 415 secs || 10602023 markings, 39649620 edges, 22479 markings/sec, 415 secs
lola: STP completed || 16 tries, 15347314 fired transitions, 420 secs || 10713328 markings, 40115563 edges, 22261 markings/sec, 420 secs
lola: STP completed || 16 tries, 15522714 fired transitions, 425 secs || 10827553 markings, 40598447 edges, 22845 markings/sec, 425 secs
lola: STP completed || 16 tries, 15699577 fired transitions, 430 secs || 10946256 markings, 41094876 edges, 23741 markings/sec, 430 secs
lola: STP completed || 16 tries, 15878587 fired transitions, 435 secs || 11064240 markings, 41597627 edges, 23597 markings/sec, 435 secs
lola: STP completed || 17 tries, 16055389 fired transitions, 440 secs || 11182241 markings, 42104496 edges, 23600 markings/sec, 440 secs
lola: STP completed || 17 tries, 16234716 fired transitions, 445 secs || 11301305 markings, 42599686 edges, 23813 markings/sec, 445 secs
lola: STP completed || 17 tries, 16413526 fired transitions, 450 secs || 11418993 markings, 43107714 edges, 23538 markings/sec, 450 secs
lola: STP completed || 17 tries, 16593385 fired transitions, 455 secs || 11536865 markings, 43615414 edges, 23574 markings/sec, 455 secs
lola: STP completed || 17 tries, 16772862 fired transitions, 460 secs || 11654321 markings, 44119641 edges, 23491 markings/sec, 460 secs
lola: STP completed || 17 tries, 16952769 fired transitions, 465 secs || 11772104 markings, 44628498 edges, 23557 markings/sec, 465 secs
lola: STP completed || 18 tries, 17132438 fired transitions, 470 secs || 11887062 markings, 45128743 edges, 22992 markings/sec, 470 secs
lola: STP completed || 18 tries, 17313283 fired transitions, 475 secs || 12000255 markings, 45613098 edges, 22639 markings/sec, 475 secs
lola: STP completed || 18 tries, 17494011 fired transitions, 480 secs || 12114601 markings, 46111562 edges, 22869 markings/sec, 480 secs
lola: STP completed || 18 tries, 17673921 fired transitions, 485 secs || 12229752 markings, 46609897 edges, 23030 markings/sec, 485 secs
lola: STP completed || 18 tries, 17852666 fired transitions, 490 secs || 12344663 markings, 47107828 edges, 22982 markings/sec, 490 secs
lola: STP completed || 19 tries, 18036170 fired transitions, 495 secs || 12459219 markings, 47604933 edges, 22911 markings/sec, 495 secs
lola: STP completed || 19 tries, 18216916 fired transitions, 500 secs || 12573643 markings, 48099704 edges, 22885 markings/sec, 500 secs
lola: STP completed || 19 tries, 18395313 fired transitions, 505 secs || 12685694 markings, 48585714 edges, 22410 markings/sec, 505 secs
lola: STP completed || 19 tries, 18580872 fired transitions, 510 secs || 12796637 markings, 49065938 edges, 22189 markings/sec, 510 secs
lola: STP completed || 19 tries, 18764767 fired transitions, 515 secs || 12907045 markings, 49559604 edges, 22082 markings/sec, 515 secs
lola: STP completed || 19 tries, 18942829 fired transitions, 520 secs || 13020617 markings, 50058961 edges, 22714 markings/sec, 520 secs
lola: STP completed || 20 tries, 19122087 fired transitions, 525 secs || 13134463 markings, 50563196 edges, 22769 markings/sec, 525 secs
lola: STP completed || 20 tries, 19303141 fired transitions, 530 secs || 13247754 markings, 51070407 edges, 22658 markings/sec, 530 secs
lola: STP completed || 20 tries, 19483709 fired transitions, 535 secs || 13361000 markings, 51569530 edges, 22649 markings/sec, 535 secs
lola: STP completed || 20 tries, 19662985 fired transitions, 540 secs || 13474791 markings, 52073541 edges, 22758 markings/sec, 540 secs
lola: STP completed || 20 tries, 19843552 fired transitions, 545 secs || 13589290 markings, 52575829 edges, 22900 markings/sec, 545 secs
lola: STP completed || 21 tries, 20024337 fired transitions, 550 secs || 13703038 markings, 53081519 edges, 22750 markings/sec, 550 secs
lola: STP completed || 21 tries, 20204394 fired transitions, 555 secs || 13816417 markings, 53589651 edges, 22676 markings/sec, 555 secs
lola: STP completed || 21 tries, 20384920 fired transitions, 560 secs || 13930239 markings, 54092454 edges, 22764 markings/sec, 560 secs
lola: STP completed || 21 tries, 20564742 fired transitions, 565 secs || 14043581 markings, 54600465 edges, 22668 markings/sec, 565 secs
lola: STP completed || 21 tries, 20745415 fired transitions, 570 secs || 14157364 markings, 55107505 edges, 22757 markings/sec, 570 secs
lola: STP completed || 21 tries, 20913951 fired transitions, 575 secs || 14268627 markings, 55600080 edges, 22253 markings/sec, 575 secs
lola: STP completed || 22 tries, 21080613 fired transitions, 580 secs || 14379825 markings, 56097074 edges, 22240 markings/sec, 580 secs
lola: STP completed || 22 tries, 21249282 fired transitions, 585 secs || 14489929 markings, 56596044 edges, 22021 markings/sec, 585 secs
lola: STP completed || 22 tries, 21416936 fired transitions, 590 secs || 14600711 markings, 57083868 edges, 22156 markings/sec, 590 secs
lola: STP completed || 22 tries, 21589362 fired transitions, 595 secs || 14710395 markings, 57570688 edges, 21937 markings/sec, 595 secs
lola: STP completed || 22 tries, 21762703 fired transitions, 600 secs || 14826451 markings, 58096326 edges, 23211 markings/sec, 600 secs
lola: STP completed || 22 tries, 21937614 fired transitions, 605 secs || 14942264 markings, 58608834 edges, 23163 markings/sec, 605 secs
lola: STP completed || 23 tries, 22114236 fired transitions, 610 secs || 15054142 markings, 59125962 edges, 22376 markings/sec, 610 secs
lola: STP completed || 23 tries, 22291515 fired transitions, 615 secs || 15164257 markings, 59623875 edges, 22023 markings/sec, 615 secs
lola: STP completed || 23 tries, 22470748 fired transitions, 620 secs || 15275747 markings, 60131385 edges, 22298 markings/sec, 620 secs
lola: STP completed || 23 tries, 22643357 fired transitions, 625 secs || 15390365 markings, 60661164 edges, 22924 markings/sec, 625 secs
lola: STP completed || 23 tries, 22819193 fired transitions, 630 secs || 15504354 markings, 61183824 edges, 22798 markings/sec, 630 secs
lola: STP completed || 23 tries, 22996248 fired transitions, 635 secs || 15617949 markings, 61696690 edges, 22719 markings/sec, 635 secs
lola: STP completed || 24 tries, 23172256 fired transitions, 640 secs || 15730744 markings, 62209465 edges, 22559 markings/sec, 640 secs
lola: STP completed || 24 tries, 23348325 fired transitions, 645 secs || 15843983 markings, 62727589 edges, 22648 markings/sec, 645 secs
lola: STP completed || 24 tries, 23525572 fired transitions, 650 secs || 15957025 markings, 63244405 edges, 22608 markings/sec, 650 secs
lola: STP completed || 24 tries, 23702455 fired transitions, 655 secs || 16069164 markings, 63764127 edges, 22428 markings/sec, 655 secs
lola: STP completed || 24 tries, 23880696 fired transitions, 660 secs || 16182371 markings, 64275672 edges, 22641 markings/sec, 660 secs
lola: STP completed || 25 tries, 24058828 fired transitions, 665 secs || 16295162 markings, 64794383 edges, 22558 markings/sec, 665 secs
lola: STP completed || 25 tries, 24238982 fired transitions, 670 secs || 16406189 markings, 65324829 edges, 22205 markings/sec, 670 secs
lola: STP completed || 25 tries, 24420016 fired transitions, 675 secs || 16519306 markings, 65850253 edges, 22623 markings/sec, 675 secs
lola: STP completed || 25 tries, 24600554 fired transitions, 680 secs || 16631311 markings, 66371163 edges, 22401 markings/sec, 680 secs
lola: STP completed || 25 tries, 24779116 fired transitions, 685 secs || 16738110 markings, 66868353 edges, 21360 markings/sec, 685 secs
lola: STP completed || 25 tries, 24949986 fired transitions, 690 secs || 16845863 markings, 67367033 edges, 21551 markings/sec, 690 secs
lola: STP completed || 26 tries, 25114768 fired transitions, 695 secs || 16954330 markings, 67865634 edges, 21693 markings/sec, 695 secs
lola: STP completed || 26 tries, 25278937 fired transitions, 700 secs || 17062797 markings, 68370395 edges, 21693 markings/sec, 700 secs
lola: STP completed || 26 tries, 25440422 fired transitions, 705 secs || 17172044 markings, 68875654 edges, 21849 markings/sec, 705 secs
lola: STP completed || 26 tries, 25605283 fired transitions, 710 secs || 17281678 markings, 69386120 edges, 21927 markings/sec, 710 secs
lola: STP completed || 26 tries, 25771017 fired transitions, 715 secs || 17389056 markings, 69885563 edges, 21476 markings/sec, 715 secs
lola: STP completed || 26 tries, 25938186 fired transitions, 720 secs || 17494909 markings, 70375468 edges, 21171 markings/sec, 720 secs
lola: STP completed || 27 tries, 26108001 fired transitions, 725 secs || 17604227 markings, 70883860 edges, 21864 markings/sec, 725 secs
lola: STP completed || 27 tries, 26277013 fired transitions, 730 secs || 17713021 markings, 71397159 edges, 21759 markings/sec, 730 secs
lola: STP completed || 27 tries, 26448711 fired transitions, 735 secs || 17820675 markings, 71899808 edges, 21531 markings/sec, 735 secs
lola: STP completed || 27 tries, 26627356 fired transitions, 740 secs || 17927841 markings, 72397699 edges, 21433 markings/sec, 740 secs
lola: STP completed || 27 tries, 26809099 fired transitions, 745 secs || 18036543 markings, 72909581 edges, 21740 markings/sec, 745 secs
lola: STP completed || 27 tries, 26990559 fired transitions, 750 secs || 18144996 markings, 73425303 edges, 21691 markings/sec, 750 secs
lola: STP completed || 28 tries, 27171973 fired transitions, 755 secs || 18253523 markings, 73940209 edges, 21705 markings/sec, 755 secs
lola: STP completed || 28 tries, 27352423 fired transitions, 760 secs || 18361433 markings, 74454671 edges, 21582 markings/sec, 760 secs
lola: STP completed || 28 tries, 27531894 fired transitions, 765 secs || 18472828 markings, 74977349 edges, 22279 markings/sec, 765 secs
lola: STP completed || 28 tries, 27712645 fired transitions, 770 secs || 18580744 markings, 75489372 edges, 21583 markings/sec, 770 secs
lola: STP completed || 28 tries, 27890103 fired transitions, 775 secs || 18689523 markings, 76006587 edges, 21756 markings/sec, 775 secs
lola: STP completed || 29 tries, 28070639 fired transitions, 780 secs || 18799321 markings, 76522901 edges, 21960 markings/sec, 780 secs
lola: STP completed || 29 tries, 28250681 fired transitions, 785 secs || 18910453 markings, 77046105 edges, 22226 markings/sec, 785 secs
lola: STP completed || 29 tries, 28427456 fired transitions, 790 secs || 19020628 markings, 77570138 edges, 22035 markings/sec, 790 secs
lola: STP completed || 29 tries, 28610984 fired transitions, 795 secs || 19125797 markings, 78074135 edges, 21034 markings/sec, 795 secs
lola: STP completed || 29 tries, 28783715 fired transitions, 800 secs || 19233180 markings, 78584072 edges, 21477 markings/sec, 800 secs
lola: STP completed || 29 tries, 28946339 fired transitions, 805 secs || 19337439 markings, 79087602 edges, 20852 markings/sec, 805 secs
lola: STP completed || 30 tries, 29109486 fired transitions, 810 secs || 19447247 markings, 79608034 edges, 21962 markings/sec, 810 secs
lola: STP completed || 30 tries, 29273838 fired transitions, 815 secs || 19558512 markings, 80140209 edges, 22253 markings/sec, 815 secs
lola: STP completed || 30 tries, 29437108 fired transitions, 820 secs || 19668443 markings, 80666435 edges, 21986 markings/sec, 820 secs
lola: STP completed || 30 tries, 29601514 fired transitions, 825 secs || 19778245 markings, 81185794 edges, 21960 markings/sec, 825 secs
lola: STP completed || 30 tries, 29771233 fired transitions, 830 secs || 19888851 markings, 81709872 edges, 22121 markings/sec, 830 secs
lola: STP completed || 30 tries, 29940031 fired transitions, 835 secs || 19996428 markings, 82236741 edges, 21515 markings/sec, 835 secs
lola: STP completed || 31 tries, 30109194 fired transitions, 840 secs || 20104776 markings, 82750022 edges, 21670 markings/sec, 840 secs
lola: STP completed || 31 tries, 30280633 fired transitions, 845 secs || 20214329 markings, 83264799 edges, 21911 markings/sec, 845 secs
lola: STP completed || 31 tries, 30449827 fired transitions, 850 secs || 20323774 markings, 83801423 edges, 21889 markings/sec, 850 secs
lola: STP completed || 31 tries, 30619738 fired transitions, 855 secs || 20433788 markings, 84327474 edges, 22003 markings/sec, 855 secs
lola: STP completed || 31 tries, 30792180 fired transitions, 860 secs || 20543003 markings, 84849160 edges, 21843 markings/sec, 860 secs
lola: STP completed || 31 tries, 30967267 fired transitions, 865 secs || 20651650 markings, 85374861 edges, 21729 markings/sec, 865 secs
lola: STP completed || 32 tries, 31144711 fired transitions, 870 secs || 20760671 markings, 85908469 edges, 21804 markings/sec, 870 secs
lola: STP completed || 32 tries, 31316009 fired transitions, 875 secs || 20869734 markings, 86441074 edges, 21813 markings/sec, 875 secs
lola: STP completed || 32 tries, 31489308 fired transitions, 880 secs || 20978565 markings, 86966345 edges, 21766 markings/sec, 880 secs
lola: STP completed || 32 tries, 31670012 fired transitions, 885 secs || 21086918 markings, 87492267 edges, 21671 markings/sec, 885 secs
lola: STP completed || 32 tries, 31850703 fired transitions, 890 secs || 21195194 markings, 88019110 edges, 21655 markings/sec, 890 secs
lola: STP completed || 33 tries, 32031220 fired transitions, 895 secs || 21302985 markings, 88544805 edges, 21558 markings/sec, 895 secs
lola: STP completed || 33 tries, 32211950 fired transitions, 900 secs || 21410635 markings, 89071656 edges, 21530 markings/sec, 900 secs
lola: STP completed || 33 tries, 32394017 fired transitions, 905 secs || 21518691 markings, 89595972 edges, 21611 markings/sec, 905 secs
lola: STP completed || 33 tries, 32574483 fired transitions, 910 secs || 21625654 markings, 90130833 edges, 21393 markings/sec, 910 secs
lola: STP completed || 33 tries, 32755794 fired transitions, 915 secs || 21734040 markings, 90656110 edges, 21677 markings/sec, 915 secs
lola: STP completed || 33 tries, 32937658 fired transitions, 920 secs || 21842225 markings, 91183148 edges, 21637 markings/sec, 920 secs
lola: STP completed || 34 tries, 33118276 fired transitions, 925 secs || 21949948 markings, 91711761 edges, 21545 markings/sec, 925 secs
lola: STP completed || 34 tries, 33295887 fired transitions, 930 secs || 22057127 markings, 92246740 edges, 21436 markings/sec, 930 secs
lola: STP completed || 34 tries, 33467891 fired transitions, 935 secs || 22166790 markings, 92797317 edges, 21933 markings/sec, 935 secs
lola: STP completed || 34 tries, 33641321 fired transitions, 940 secs || 22275121 markings, 93330288 edges, 21666 markings/sec, 940 secs
lola: STP completed || 34 tries, 33814938 fired transitions, 945 secs || 22382242 markings, 93856538 edges, 21424 markings/sec, 945 secs
lola: STP completed || 34 tries, 33993104 fired transitions, 950 secs || 22487792 markings, 94379221 edges, 21110 markings/sec, 950 secs
lola: STP completed || 35 tries, 34171563 fired transitions, 955 secs || 22593474 markings, 94891668 edges, 21136 markings/sec, 955 secs
lola: STP completed || 35 tries, 34344995 fired transitions, 960 secs || 22701301 markings, 95431329 edges, 21565 markings/sec, 960 secs
lola: STP completed || 35 tries, 34518187 fired transitions, 965 secs || 22808906 markings, 95959927 edges, 21521 markings/sec, 965 secs
lola: STP completed || 35 tries, 34689623 fired transitions, 970 secs || 22918218 markings, 96496436 edges, 21862 markings/sec, 970 secs
lola: STP completed || 35 tries, 34860588 fired transitions, 975 secs || 23027097 markings, 97025045 edges, 21776 markings/sec, 975 secs
lola: STP completed || 36 tries, 35033275 fired transitions, 980 secs || 23134777 markings, 97563468 edges, 21536 markings/sec, 980 secs
lola: STP completed || 36 tries, 35202842 fired transitions, 985 secs || 23245884 markings, 98108290 edges, 22221 markings/sec, 985 secs
lola: STP completed || 36 tries, 35372719 fired transitions, 990 secs || 23353583 markings, 98641753 edges, 21540 markings/sec, 990 secs
lola: STP completed || 36 tries, 35547035 fired transitions, 995 secs || 23459000 markings, 99163954 edges, 21083 markings/sec, 995 secs
lola: STP completed || 36 tries, 35720912 fired transitions, 1000 secs || 23564412 markings, 99686094 edges, 21082 markings/sec, 1000 secs
lola: STP completed || 36 tries, 35893637 fired transitions, 1005 secs || 23669951 markings, 100218922 edges, 21108 markings/sec, 1005 secs
lola: STP completed || 37 tries, 36065665 fired transitions, 1010 secs || 23776014 markings, 100739499 edges, 21213 markings/sec, 1010 secs
lola: STP completed || 37 tries, 36235455 fired transitions, 1015 secs || 23883553 markings, 101285477 edges, 21508 markings/sec, 1015 secs
lola: STP completed || 37 tries, 36408845 fired transitions, 1020 secs || 23991253 markings, 101820537 edges, 21540 markings/sec, 1020 secs
lola: STP completed || 37 tries, 36582661 fired transitions, 1025 secs || 24098350 markings, 102360043 edges, 21419 markings/sec, 1025 secs
lola: STP completed || 37 tries, 36755465 fired transitions, 1030 secs || 24205513 markings, 102885044 edges, 21433 markings/sec, 1030 secs
lola: STP completed || 37 tries, 36928531 fired transitions, 1035 secs || 24313016 markings, 103417239 edges, 21501 markings/sec, 1035 secs
lola: STP completed || 38 tries, 37102380 fired transitions, 1040 secs || 24419661 markings, 103958175 edges, 21329 markings/sec, 1040 secs
lola: STP completed || 38 tries, 37274888 fired transitions, 1045 secs || 24527826 markings, 104494339 edges, 21633 markings/sec, 1045 secs
lola: STP completed || 38 tries, 37449633 fired transitions, 1050 secs || 24635071 markings, 105040059 edges, 21449 markings/sec, 1050 secs
lola: STP completed || 38 tries, 37625974 fired transitions, 1055 secs || 24740693 markings, 105572366 edges, 21124 markings/sec, 1055 secs
lola: STP completed || 38 tries, 37803525 fired transitions, 1060 secs || 24847329 markings, 106102172 edges, 21327 markings/sec, 1060 secs
lola: STP completed || 38 tries, 37981438 fired transitions, 1065 secs || 24954949 markings, 106637324 edges, 21524 markings/sec, 1065 secs
lola: STP completed || 39 tries, 38157608 fired transitions, 1070 secs || 25061074 markings, 107191802 edges, 21225 markings/sec, 1070 secs
lola: STP completed || 39 tries, 38335523 fired transitions, 1075 secs || 25167886 markings, 107730336 edges, 21362 markings/sec, 1075 secs
lola: STP completed || 39 tries, 38513893 fired transitions, 1080 secs || 25274907 markings, 108264534 edges, 21404 markings/sec, 1080 secs
lola: STP completed || 39 tries, 38691302 fired transitions, 1085 secs || 25381319 markings, 108802312 edges, 21282 markings/sec, 1085 secs
lola: STP completed || 39 tries, 38867444 fired transitions, 1090 secs || 25484850 markings, 109333121 edges, 20706 markings/sec, 1090 secs
lola: STP completed || 40 tries, 39049612 fired transitions, 1095 secs || 25591036 markings, 109861007 edges, 21237 markings/sec, 1095 secs
lola: STP completed || 40 tries, 39232513 fired transitions, 1100 secs || 25696993 markings, 110395611 edges, 21191 markings/sec, 1100 secs
lola: STP completed || 40 tries, 39414644 fired transitions, 1105 secs || 25801658 markings, 110934242 edges, 20933 markings/sec, 1105 secs
lola: STP completed || 40 tries, 39596818 fired transitions, 1110 secs || 25908220 markings, 111474284 edges, 21312 markings/sec, 1110 secs
lola: STP completed || 40 tries, 39778711 fired transitions, 1115 secs || 26014772 markings, 112015108 edges, 21310 markings/sec, 1115 secs
lola: STP completed || 40 tries, 39960757 fired transitions, 1120 secs || 26121486 markings, 112548243 edges, 21343 markings/sec, 1120 secs
lola: STP completed || 41 tries, 40142682 fired transitions, 1125 secs || 26228170 markings, 113082460 edges, 21337 markings/sec, 1125 secs
lola: STP completed || 41 tries, 40325076 fired transitions, 1130 secs || 26334375 markings, 113622255 edges, 21241 markings/sec, 1130 secs
lola: STP completed || 41 tries, 40504952 fired transitions, 1135 secs || 26441210 markings, 114167490 edges, 21367 markings/sec, 1135 secs
lola: STP completed || 41 tries, 40686220 fired transitions, 1140 secs || 26547327 markings, 114719112 edges, 21223 markings/sec, 1140 secs
lola: STP completed || 41 tries, 40863368 fired transitions, 1145 secs || 26657171 markings, 115270412 edges, 21969 markings/sec, 1145 secs
lola: STP completed || 42 tries, 41039235 fired transitions, 1150 secs || 26765878 markings, 115829969 edges, 21741 markings/sec, 1150 secs
lola: STP completed || 42 tries, 41217098 fired transitions, 1155 secs || 26874458 markings, 116393409 edges, 21716 markings/sec, 1155 secs
lola: STP completed || 42 tries, 41393461 fired transitions, 1160 secs || 26983624 markings, 116939396 edges, 21833 markings/sec, 1160 secs
lola: STP completed || 42 tries, 41570504 fired transitions, 1165 secs || 27092732 markings, 117491396 edges, 21822 markings/sec, 1165 secs
lola: STP completed || 42 tries, 41748260 fired transitions, 1170 secs || 27201857 markings, 118054714 edges, 21825 markings/sec, 1170 secs
lola: STP completed || 42 tries, 41924908 fired transitions, 1175 secs || 27309653 markings, 118605786 edges, 21559 markings/sec, 1175 secs
lola: STP completed || 43 tries, 42101043 fired transitions, 1180 secs || 27418642 markings, 119170627 edges, 21798 markings/sec, 1180 secs
lola: STP completed || 43 tries, 42279396 fired transitions, 1185 secs || 27527189 markings, 119734358 edges, 21709 markings/sec, 1185 secs
lola: STP completed || 43 tries, 42456867 fired transitions, 1190 secs || 27634956 markings, 120281564 edges, 21553 markings/sec, 1190 secs
lola: STP completed || 43 tries, 42632746 fired transitions, 1195 secs || 27740671 markings, 120827191 edges, 21143 markings/sec, 1195 secs
lola: STP completed || 43 tries, 42811423 fired transitions, 1200 secs || 27845811 markings, 121386368 edges, 21028 markings/sec, 1200 secs
lola: STP completed || 43 tries, 42988291 fired transitions, 1205 secs || 27951660 markings, 121937897 edges, 21170 markings/sec, 1205 secs
lola: STP completed || 44 tries, 43165678 fired transitions, 1210 secs || 28057382 markings, 122491295 edges, 21144 markings/sec, 1210 secs
lola: STP completed || 44 tries, 43343578 fired transitions, 1215 secs || 28162840 markings, 123039928 edges, 21092 markings/sec, 1215 secs
lola: STP completed || 44 tries, 43520164 fired transitions, 1220 secs || 28268725 markings, 123587102 edges, 21177 markings/sec, 1220 secs
lola: STP completed || 44 tries, 43702407 fired transitions, 1225 secs || 28375553 markings, 124128937 edges, 21366 markings/sec, 1225 secs
lola: STP completed || 44 tries, 43884192 fired transitions, 1230 secs || 28481011 markings, 124678510 edges, 21092 markings/sec, 1230 secs
lola: STP completed || 45 tries, 44066843 fired transitions, 1235 secs || 28586261 markings, 125228499 edges, 21050 markings/sec, 1235 secs
lola: STP completed || 45 tries, 44249659 fired transitions, 1240 secs || 28691641 markings, 125781002 edges, 21076 markings/sec, 1240 secs
lola: STP completed || 45 tries, 44432430 fired transitions, 1245 secs || 28796645 markings, 126344600 edges, 21001 markings/sec, 1245 secs
lola: STP completed || 45 tries, 44615436 fired transitions, 1250 secs || 28901108 markings, 126901177 edges, 20893 markings/sec, 1250 secs
lola: STP completed || 45 tries, 44798140 fired transitions, 1255 secs || 29007082 markings, 127440535 edges, 21195 markings/sec, 1255 secs
lola: STP completed || 45 tries, 44983698 fired transitions, 1260 secs || 29111865 markings, 127977411 edges, 20957 markings/sec, 1260 secs
lola: STP completed || 46 tries, 45170696 fired transitions, 1265 secs || 29214592 markings, 128513412 edges, 20545 markings/sec, 1265 secs
lola: STP completed || 46 tries, 45353838 fired transitions, 1270 secs || 29318246 markings, 129046040 edges, 20731 markings/sec, 1270 secs
lola: STP completed || 46 tries, 45536693 fired transitions, 1275 secs || 29421898 markings, 129578524 edges, 20730 markings/sec, 1275 secs
lola: STP completed || 46 tries, 45719077 fired transitions, 1280 secs || 29524973 markings, 130118239 edges, 20615 markings/sec, 1280 secs
lola: STP completed || 46 tries, 45902028 fired transitions, 1285 secs || 29627427 markings, 130657235 edges, 20491 markings/sec, 1285 secs
lola: STP completed || 47 tries, 46084102 fired transitions, 1290 secs || 29730163 markings, 131205940 edges, 20547 markings/sec, 1290 secs
lola: STP completed || 47 tries, 46266882 fired transitions, 1295 secs || 29832637 markings, 131753693 edges, 20495 markings/sec, 1295 secs
lola: STP completed || 47 tries, 46449874 fired transitions, 1300 secs || 29934589 markings, 132303012 edges, 20390 markings/sec, 1300 secs
lola: STP completed || 47 tries, 46632275 fired transitions, 1305 secs || 30036807 markings, 132847718 edges, 20444 markings/sec, 1305 secs
lola: STP completed || 47 tries, 46815401 fired transitions, 1310 secs || 30139448 markings, 133392280 edges, 20528 markings/sec, 1310 secs
lola: STP completed || 47 tries, 46997396 fired transitions, 1315 secs || 30242291 markings, 133931150 edges, 20569 markings/sec, 1315 secs
lola: STP completed || 48 tries, 47179762 fired transitions, 1320 secs || 30344621 markings, 134481366 edges, 20466 markings/sec, 1320 secs
lola: STP completed || 48 tries, 47362662 fired transitions, 1325 secs || 30446891 markings, 135025128 edges, 20454 markings/sec, 1325 secs
lola: STP completed || 48 tries, 47546271 fired transitions, 1330 secs || 30549520 markings, 135572073 edges, 20526 markings/sec, 1330 secs
lola: STP completed || 48 tries, 47723249 fired transitions, 1335 secs || 30655533 markings, 136127372 edges, 21203 markings/sec, 1335 secs
lola: STP completed || 48 tries, 47893415 fired transitions, 1340 secs || 30759395 markings, 136690995 edges, 20772 markings/sec, 1340 secs
lola: STP completed || 49 tries, 48059759 fired transitions, 1345 secs || 30864479 markings, 137241139 edges, 21017 markings/sec, 1345 secs
lola: STP completed || 49 tries, 48225756 fired transitions, 1350 secs || 30968595 markings, 137796882 edges, 20823 markings/sec, 1350 secs
lola: STP completed || 49 tries, 48389750 fired transitions, 1355 secs || 31072500 markings, 138337648 edges, 20781 markings/sec, 1355 secs
lola: STP completed || 49 tries, 48556031 fired transitions, 1360 secs || 31179199 markings, 138917516 edges, 21340 markings/sec, 1360 secs
lola: STP completed || 49 tries, 48721661 fired transitions, 1365 secs || 31285901 markings, 139479438 edges, 21340 markings/sec, 1365 secs
lola: STP completed || 49 tries, 48893011 fired transitions, 1370 secs || 31392317 markings, 140055421 edges, 21283 markings/sec, 1370 secs
lola: STP completed || 50 tries, 49067294 fired transitions, 1375 secs || 31495482 markings, 140603251 edges, 20633 markings/sec, 1375 secs
lola: STP completed || 50 tries, 49238164 fired transitions, 1380 secs || 31600052 markings, 141159478 edges, 20914 markings/sec, 1380 secs
lola: STP completed || 50 tries, 49408645 fired transitions, 1385 secs || 31703775 markings, 141722746 edges, 20745 markings/sec, 1385 secs
lola: STP completed || 50 tries, 49578661 fired transitions, 1390 secs || 31808146 markings, 142277235 edges, 20874 markings/sec, 1390 secs
lola: STP completed || 50 tries, 49751982 fired transitions, 1395 secs || 31912445 markings, 142834854 edges, 20860 markings/sec, 1395 secs
lola: STP completed || 50 tries, 49926485 fired transitions, 1400 secs || 32018754 markings, 143404877 edges, 21262 markings/sec, 1400 secs
lola: STP completed || 51 tries, 50103788 fired transitions, 1405 secs || 32125439 markings, 143984240 edges, 21337 markings/sec, 1405 secs
lola: STP completed || 51 tries, 50278481 fired transitions, 1410 secs || 32233332 markings, 144568479 edges, 21579 markings/sec, 1410 secs
lola: STP completed || 51 tries, 50456662 fired transitions, 1415 secs || 32339855 markings, 145145833 edges, 21305 markings/sec, 1415 secs
lola: STP completed || 51 tries, 50635779 fired transitions, 1420 secs || 32446638 markings, 145732529 edges, 21357 markings/sec, 1420 secs
lola: STP completed || 51 tries, 50814546 fired transitions, 1425 secs || 32553927 markings, 146304035 edges, 21458 markings/sec, 1425 secs
lola: STP completed || 51 tries, 50990197 fired transitions, 1430 secs || 32661157 markings, 146871407 edges, 21446 markings/sec, 1430 secs
lola: STP completed || 52 tries, 51169950 fired transitions, 1435 secs || 32765832 markings, 147429143 edges, 20935 markings/sec, 1435 secs
lola: STP completed || 52 tries, 51343508 fired transitions, 1440 secs || 32872177 markings, 148008173 edges, 21269 markings/sec, 1440 secs
lola: STP completed || 52 tries, 51520393 fired transitions, 1445 secs || 32977311 markings, 148579183 edges, 21027 markings/sec, 1445 secs
lola: STP completed || 52 tries, 51698281 fired transitions, 1450 secs || 33082430 markings, 149147050 edges, 21024 markings/sec, 1450 secs
lola: STP completed || 52 tries, 51876527 fired transitions, 1455 secs || 33187415 markings, 149708443 edges, 20997 markings/sec, 1455 secs
lola: STP completed || 53 tries, 52052673 fired transitions, 1460 secs || 33294772 markings, 150275680 edges, 21471 markings/sec, 1460 secs
lola: STP completed || 53 tries, 52226579 fired transitions, 1465 secs || 33402720 markings, 150848577 edges, 21590 markings/sec, 1465 secs
lola: STP completed || 53 tries, 52401301 fired transitions, 1470 secs || 33508226 markings, 151417149 edges, 21101 markings/sec, 1470 secs
lola: STP completed || 53 tries, 52580376 fired transitions, 1475 secs || 33613017 markings, 151978871 edges, 20958 markings/sec, 1475 secs
lola: STP completed || 53 tries, 52757556 fired transitions, 1480 secs || 33717937 markings, 152544270 edges, 20984 markings/sec, 1480 secs
lola: STP completed || 53 tries, 52936629 fired transitions, 1485 secs || 33822450 markings, 153105291 edges, 20903 markings/sec, 1485 secs
lola: STP completed || 54 tries, 53113892 fired transitions, 1490 secs || 33926779 markings, 153678637 edges, 20866 markings/sec, 1490 secs
lola: STP completed || 54 tries, 53292202 fired transitions, 1495 secs || 34031612 markings, 154242737 edges, 20967 markings/sec, 1495 secs
lola: STP completed || 54 tries, 53473565 fired transitions, 1500 secs || 34135507 markings, 154809849 edges, 20779 markings/sec, 1500 secs
lola: STP completed || 54 tries, 53655661 fired transitions, 1505 secs || 34241136 markings, 155372140 edges, 21126 markings/sec, 1505 secs
lola: STP completed || 54 tries, 53839092 fired transitions, 1510 secs || 34345187 markings, 155937246 edges, 20810 markings/sec, 1510 secs
lola: STP completed || 55 tries, 54022147 fired transitions, 1515 secs || 34449644 markings, 156493685 edges, 20891 markings/sec, 1515 secs
lola: STP completed || 55 tries, 54202769 fired transitions, 1520 secs || 34556383 markings, 157060557 edges, 21348 markings/sec, 1520 secs
lola: STP completed || 55 tries, 54380942 fired transitions, 1525 secs || 34664281 markings, 157635774 edges, 21580 markings/sec, 1525 secs
lola: STP completed || 55 tries, 54558597 fired transitions, 1530 secs || 34771824 markings, 158224346 edges, 21509 markings/sec, 1530 secs
lola: STP completed || 55 tries, 54737110 fired transitions, 1535 secs || 34878053 markings, 158811063 edges, 21246 markings/sec, 1535 secs
lola: STP completed || 55 tries, 54912749 fired transitions, 1540 secs || 34984690 markings, 159394240 edges, 21327 markings/sec, 1540 secs
lola: STP completed || 56 tries, 55091592 fired transitions, 1545 secs || 35091975 markings, 159981912 edges, 21457 markings/sec, 1545 secs
lola: STP completed || 56 tries, 55269562 fired transitions, 1550 secs || 35198263 markings, 160562519 edges, 21258 markings/sec, 1550 secs
lola: STP completed || 56 tries, 55446013 fired transitions, 1555 secs || 35306781 markings, 161174044 edges, 21704 markings/sec, 1555 secs
lola: STP completed || 56 tries, 55620736 fired transitions, 1560 secs || 35413178 markings, 161771532 edges, 21279 markings/sec, 1560 secs
lola: STP completed || 56 tries, 55794790 fired transitions, 1565 secs || 35519880 markings, 162364150 edges, 21340 markings/sec, 1565 secs
lola: STP completed || 56 tries, 55970888 fired transitions, 1570 secs || 35625902 markings, 162940454 edges, 21204 markings/sec, 1570 secs
lola: STP completed || 57 tries, 56149037 fired transitions, 1575 secs || 35729470 markings, 163520505 edges, 20714 markings/sec, 1575 secs
lola: STP completed || 57 tries, 56326833 fired transitions, 1580 secs || 35833769 markings, 164095089 edges, 20860 markings/sec, 1580 secs
lola: STP completed || 57 tries, 56504399 fired transitions, 1585 secs || 35938980 markings, 164659682 edges, 21042 markings/sec, 1585 secs
lola: STP completed || 57 tries, 56681718 fired transitions, 1590 secs || 36042769 markings, 165236228 edges, 20758 markings/sec, 1590 secs
lola: STP completed || 57 tries, 56858816 fired transitions, 1595 secs || 36146836 markings, 165810342 edges, 20813 markings/sec, 1595 secs
lola: STP completed || 58 tries, 57036852 fired transitions, 1600 secs || 36251188 markings, 166388758 edges, 20870 markings/sec, 1600 secs
lola: STP completed || 58 tries, 57211254 fired transitions, 1605 secs || 36356735 markings, 166966263 edges, 21109 markings/sec, 1605 secs
lola: STP completed || 58 tries, 57390358 fired transitions, 1610 secs || 36460118 markings, 167539006 edges, 20677 markings/sec, 1610 secs
lola: STP completed || 58 tries, 57569557 fired transitions, 1615 secs || 36563677 markings, 168113286 edges, 20712 markings/sec, 1615 secs
lola: STP completed || 58 tries, 57744065 fired transitions, 1620 secs || 36665455 markings, 168678972 edges, 20356 markings/sec, 1620 secs
lola: STP completed || 58 tries, 57913759 fired transitions, 1625 secs || 36767177 markings, 169237581 edges, 20344 markings/sec, 1625 secs
lola: STP completed || 59 tries, 58078157 fired transitions, 1630 secs || 36868762 markings, 169793063 edges, 20317 markings/sec, 1630 secs
lola: STP completed || 59 tries, 58242979 fired transitions, 1635 secs || 36969986 markings, 170343305 edges, 20245 markings/sec, 1635 secs
lola: STP completed || 59 tries, 58407716 fired transitions, 1640 secs || 37070380 markings, 170916764 edges, 20079 markings/sec, 1640 secs
lola: STP completed || 59 tries, 58574762 fired transitions, 1645 secs || 37172077 markings, 171483769 edges, 20339 markings/sec, 1645 secs
lola: STP completed || 59 tries, 58741777 fired transitions, 1650 secs || 37275536 markings, 172046794 edges, 20692 markings/sec, 1650 secs
lola: STP completed || 59 tries, 58913958 fired transitions, 1655 secs || 37379875 markings, 172622247 edges, 20868 markings/sec, 1655 secs
lola: STP completed || 60 tries, 59085035 fired transitions, 1660 secs || 37482957 markings, 173195705 edges, 20616 markings/sec, 1660 secs
lola: STP completed || 60 tries, 59258134 fired transitions, 1665 secs || 37585097 markings, 173761162 edges, 20428 markings/sec, 1665 secs
lola: STP completed || 60 tries, 59434176 fired transitions, 1670 secs || 37687612 markings, 174328662 edges, 20503 markings/sec, 1670 secs
lola: STP completed || 60 tries, 59610465 fired transitions, 1675 secs || 37790309 markings, 174900770 edges, 20539 markings/sec, 1675 secs
lola: STP completed || 60 tries, 59789949 fired transitions, 1680 secs || 37892636 markings, 175452839 edges, 20465 markings/sec, 1680 secs
lola: STP completed || 60 tries, 59966906 fired transitions, 1685 secs || 37996523 markings, 176021271 edges, 20777 markings/sec, 1685 secs
lola: STP completed || 61 tries, 60144929 fired transitions, 1690 secs || 38099668 markings, 176608497 edges, 20629 markings/sec, 1690 secs
lola: STP completed || 61 tries, 60322276 fired transitions, 1695 secs || 38203226 markings, 177188103 edges, 20712 markings/sec, 1695 secs
lola: STP completed || 61 tries, 60504702 fired transitions, 1700 secs || 38305778 markings, 177767734 edges, 20510 markings/sec, 1700 secs
lola: STP completed || 61 tries, 60686886 fired transitions, 1705 secs || 38409169 markings, 178334027 edges, 20678 markings/sec, 1705 secs
lola: STP completed || 61 tries, 60871846 fired transitions, 1710 secs || 38511088 markings, 178907987 edges, 20384 markings/sec, 1710 secs
lola: STP completed || 62 tries, 61053485 fired transitions, 1715 secs || 38612378 markings, 179470326 edges, 20258 markings/sec, 1715 secs
lola: STP completed || 62 tries, 61228593 fired transitions, 1720 secs || 38714179 markings, 180033355 edges, 20360 markings/sec, 1720 secs
lola: STP completed || 62 tries, 61408745 fired transitions, 1725 secs || 38814886 markings, 180601110 edges, 20141 markings/sec, 1725 secs
lola: STP completed || 62 tries, 61591812 fired transitions, 1730 secs || 38915838 markings, 181162241 edges, 20190 markings/sec, 1730 secs
lola: STP completed || 62 tries, 61777661 fired transitions, 1735 secs || 39015742 markings, 181728965 edges, 19981 markings/sec, 1735 secs
lola: STP completed || 62 tries, 61963331 fired transitions, 1740 secs || 39116010 markings, 182297658 edges, 20054 markings/sec, 1740 secs
lola: STP completed || 63 tries, 62146236 fired transitions, 1745 secs || 39215115 markings, 182882269 edges, 19821 markings/sec, 1745 secs
lola: STP completed || 63 tries, 62331222 fired transitions, 1750 secs || 39315313 markings, 183463104 edges, 20040 markings/sec, 1750 secs
lola: STP completed || 63 tries, 62513948 fired transitions, 1755 secs || 39417591 markings, 184019756 edges, 20456 markings/sec, 1755 secs
lola: STP completed || 63 tries, 62692354 fired transitions, 1760 secs || 39518743 markings, 184582004 edges, 20230 markings/sec, 1760 secs
lola: STP completed || 63 tries, 62872798 fired transitions, 1765 secs || 39618928 markings, 185153415 edges, 20037 markings/sec, 1765 secs
lola: STP completed || 64 tries, 63053351 fired transitions, 1770 secs || 39720369 markings, 185719882 edges, 20288 markings/sec, 1770 secs
lola: STP completed || 64 tries, 63232654 fired transitions, 1775 secs || 39821129 markings, 186293767 edges, 20152 markings/sec, 1775 secs
lola: STP completed || 64 tries, 63413045 fired transitions, 1780 secs || 39922586 markings, 186880945 edges, 20291 markings/sec, 1780 secs
lola: STP completed || 64 tries, 63591007 fired transitions, 1785 secs || 40025709 markings, 187451137 edges, 20625 markings/sec, 1785 secs
lola: STP completed || 64 tries, 63771808 fired transitions, 1790 secs || 40128488 markings, 188041180 edges, 20556 markings/sec, 1790 secs
lola: STP completed || 64 tries, 63951609 fired transitions, 1795 secs || 40230877 markings, 188622486 edges, 20478 markings/sec, 1795 secs
lola: STP completed || 65 tries, 64128873 fired transitions, 1800 secs || 40333865 markings, 189201015 edges, 20598 markings/sec, 1800 secs
lola: STP completed || 65 tries, 64307345 fired transitions, 1805 secs || 40437673 markings, 189787867 edges, 20762 markings/sec, 1805 secs
lola: STP completed || 65 tries, 64486603 fired transitions, 1810 secs || 40541475 markings, 190365548 edges, 20760 markings/sec, 1810 secs
lola: STP completed || 65 tries, 64667503 fired transitions, 1815 secs || 40636519 markings, 190905464 edges, 19009 markings/sec, 1815 secs
lola: STP completed || 65 tries, 64845492 fired transitions, 1820 secs || 40726053 markings, 191433699 edges, 17907 markings/sec, 1820 secs
lola: STP completed || 66 tries, 65023593 fired transitions, 1825 secs || 40826981 markings, 192009565 edges, 20186 markings/sec, 1825 secs
lola: STP completed || 66 tries, 65201613 fired transitions, 1830 secs || 40929408 markings, 192583206 edges, 20485 markings/sec, 1830 secs
lola: STP completed || 66 tries, 65380540 fired transitions, 1835 secs || 41029261 markings, 193137850 edges, 19971 markings/sec, 1835 secs
lola: STP completed || 66 tries, 65554544 fired transitions, 1840 secs || 41126164 markings, 193675818 edges, 19381 markings/sec, 1840 secs
lola: STP completed || 66 tries, 65726325 fired transitions, 1845 secs || 41224602 markings, 194248613 edges, 19688 markings/sec, 1845 secs
lola: STP completed || 66 tries, 65898778 fired transitions, 1850 secs || 41324627 markings, 194809038 edges, 20005 markings/sec, 1850 secs
lola: STP completed || 67 tries, 66064545 fired transitions, 1855 secs || 41423964 markings, 195373349 edges, 19867 markings/sec, 1855 secs
lola: STP completed || 67 tries, 66236251 fired transitions, 1860 secs || 41522745 markings, 195946229 edges, 19756 markings/sec, 1860 secs
lola: STP completed || 67 tries, 66407108 fired transitions, 1865 secs || 41622665 markings, 196522522 edges, 19984 markings/sec, 1865 secs
lola: STP completed || 67 tries, 66578468 fired transitions, 1870 secs || 41724194 markings, 197103104 edges, 20306 markings/sec, 1870 secs
lola: STP completed || 67 tries, 66749036 fired transitions, 1875 secs || 41825590 markings, 197678851 edges, 20279 markings/sec, 1875 secs
lola: STP completed || 67 tries, 66924599 fired transitions, 1880 secs || 41925864 markings, 198273071 edges, 20055 markings/sec, 1880 secs
lola: STP completed || 68 tries, 67096102 fired transitions, 1885 secs || 42030032 markings, 198871250 edges, 20834 markings/sec, 1885 secs
lola: STP completed || 68 tries, 67266844 fired transitions, 1890 secs || 42132837 markings, 199467565 edges, 20561 markings/sec, 1890 secs
lola: STP completed || 68 tries, 67437708 fired transitions, 1895 secs || 42231212 markings, 200052370 edges, 19675 markings/sec, 1895 secs
lola: STP completed || 68 tries, 67608006 fired transitions, 1900 secs || 42333006 markings, 200631292 edges, 20359 markings/sec, 1900 secs
lola: STP completed || 68 tries, 67802037 fired transitions, 1905 secs || 42448480 markings, 201299248 edges, 23095 markings/sec, 1905 secs
lola: STP completed || 69 tries, 68009922 fired transitions, 1910 secs || 42572945 markings, 202003540 edges, 24893 markings/sec, 1910 secs
lola: STP completed || 69 tries, 68188890 fired transitions, 1915 secs || 42680320 markings, 202613400 edges, 21475 markings/sec, 1915 secs
lola: STP completed || 69 tries, 68359332 fired transitions, 1920 secs || 42781854 markings, 203198347 edges, 20307 markings/sec, 1920 secs
lola: STP completed || 69 tries, 68530319 fired transitions, 1925 secs || 42883385 markings, 203792242 edges, 20306 markings/sec, 1925 secs
lola: STP completed || 69 tries, 68701061 fired transitions, 1930 secs || 42984757 markings, 204371466 edges, 20274 markings/sec, 1930 secs
lola: STP completed || 69 tries, 68870833 fired transitions, 1935 secs || 43089622 markings, 204974195 edges, 20973 markings/sec, 1935 secs
lola: STP completed || 70 tries, 69080329 fired transitions, 1940 secs || 43214021 markings, 205683598 edges, 24880 markings/sec, 1940 secs
lola: STP completed || 70 tries, 69285946 fired transitions, 1945 secs || 43337824 markings, 206397902 edges, 24761 markings/sec, 1945 secs
lola: STP completed || 70 tries, 69494451 fired transitions, 1950 secs || 43461464 markings, 207120989 edges, 24728 markings/sec, 1950 secs
lola: STP completed || 70 tries, 69702271 fired transitions, 1955 secs || 43584194 markings, 207835516 edges, 24546 markings/sec, 1955 secs
lola: STP completed || 70 tries, 69916914 fired transitions, 1960 secs || 43714281 markings, 208559086 edges, 26017 markings/sec, 1960 secs
lola: STP completed || 71 tries, 70132661 fired transitions, 1965 secs || 43840585 markings, 209289583 edges, 25261 markings/sec, 1965 secs
lola: STP completed || 71 tries, 70349664 fired transitions, 1970 secs || 43968658 markings, 210027776 edges, 25615 markings/sec, 1970 secs
lola: STP completed || 71 tries, 70564581 fired transitions, 1975 secs || 44097182 markings, 210770375 edges, 25705 markings/sec, 1975 secs
lola: STP completed || 71 tries, 70781251 fired transitions, 1980 secs || 44222400 markings, 211476351 edges, 25044 markings/sec, 1980 secs
lola: STP completed || 71 tries, 70998108 fired transitions, 1985 secs || 44346510 markings, 212192209 edges, 24822 markings/sec, 1985 secs
lola: STP completed || 72 tries, 71214731 fired transitions, 1990 secs || 44471619 markings, 212918367 edges, 25022 markings/sec, 1990 secs
lola: STP completed || 72 tries, 71429763 fired transitions, 1995 secs || 44599929 markings, 213656610 edges, 25662 markings/sec, 1995 secs
lola: STP completed || 72 tries, 71646653 fired transitions, 2000 secs || 44724466 markings, 214390912 edges, 24907 markings/sec, 2000 secs
lola: STP completed || 72 tries, 71863513 fired transitions, 2005 secs || 44852708 markings, 215127179 edges, 25648 markings/sec, 2005 secs
lola: STP completed || 73 tries, 72080527 fired transitions, 2010 secs || 44980267 markings, 215860575 edges, 25512 markings/sec, 2010 secs
lola: STP completed || 73 tries, 72296592 fired transitions, 2015 secs || 45107394 markings, 216601609 edges, 25425 markings/sec, 2015 secs
lola: STP completed || 73 tries, 72512125 fired transitions, 2020 secs || 45235763 markings, 217340551 edges, 25674 markings/sec, 2020 secs
lola: STP completed || 73 tries, 72728892 fired transitions, 2025 secs || 45361239 markings, 218058604 edges, 25095 markings/sec, 2025 secs
lola: STP completed || 73 tries, 72943682 fired transitions, 2030 secs || 45488742 markings, 218801167 edges, 25501 markings/sec, 2030 secs
lola: STP completed || 74 tries, 73159207 fired transitions, 2035 secs || 45612598 markings, 219549455 edges, 24771 markings/sec, 2035 secs
lola: STP completed || 74 tries, 73376241 fired transitions, 2040 secs || 45736537 markings, 220265453 edges, 24788 markings/sec, 2040 secs
lola: STP completed || 74 tries, 73593096 fired transitions, 2045 secs || 45861622 markings, 220994918 edges, 25017 markings/sec, 2045 secs
lola: STP completed || 74 tries, 73807270 fired transitions, 2050 secs || 45988269 markings, 221725091 edges, 25329 markings/sec, 2050 secs
lola: STP completed || 75 tries, 74023878 fired transitions, 2055 secs || 46113895 markings, 222466342 edges, 25125 markings/sec, 2055 secs
lola: STP completed || 75 tries, 74239857 fired transitions, 2060 secs || 46240636 markings, 223219478 edges, 25348 markings/sec, 2060 secs
lola: STP completed || 75 tries, 74456212 fired transitions, 2065 secs || 46366021 markings, 223968519 edges, 25077 markings/sec, 2065 secs
lola: STP completed || 75 tries, 74671644 fired transitions, 2070 secs || 46492767 markings, 224709171 edges, 25349 markings/sec, 2070 secs
lola: STP completed || 75 tries, 74886149 fired transitions, 2075 secs || 46617301 markings, 225428977 edges, 24907 markings/sec, 2075 secs
lola: STP completed || 76 tries, 75102112 fired transitions, 2080 secs || 46738977 markings, 226159941 edges, 24335 markings/sec, 2080 secs
lola: STP completed || 76 tries, 75318381 fired transitions, 2085 secs || 46860575 markings, 226875051 edges, 24320 markings/sec, 2085 secs
lola: STP completed || 76 tries, 75535236 fired transitions, 2090 secs || 46986027 markings, 227619272 edges, 25090 markings/sec, 2090 secs
lola: STP completed || 76 tries, 75752191 fired transitions, 2095 secs || 47114709 markings, 228379786 edges, 25736 markings/sec, 2095 secs
lola: STP completed || 76 tries, 75969364 fired transitions, 2100 secs || 47242586 markings, 229133496 edges, 25575 markings/sec, 2100 secs
lola: STP completed || 77 tries, 76189351 fired transitions, 2105 secs || 47371000 markings, 229899154 edges, 25683 markings/sec, 2105 secs
lola: STP completed || 77 tries, 76373287 fired transitions, 2110 secs || 47482064 markings, 230550828 edges, 22213 markings/sec, 2110 secs
lola: STP completed || 77 tries, 76548867 fired transitions, 2115 secs || 47588320 markings, 231177571 edges, 21251 markings/sec, 2115 secs
lola: STP completed || 77 tries, 76723090 fired transitions, 2120 secs || 47695597 markings, 231791386 edges, 21455 markings/sec, 2120 secs
lola: STP completed || 77 tries, 76903123 fired transitions, 2125 secs || 47797929 markings, 232399729 edges, 20466 markings/sec, 2125 secs
lola: STP completed || 78 tries, 77075854 fired transitions, 2130 secs || 47904600 markings, 233027229 edges, 21334 markings/sec, 2130 secs
lola: STP completed || 78 tries, 77251342 fired transitions, 2135 secs || 48009320 markings, 233647811 edges, 20944 markings/sec, 2135 secs
lola: STP completed || 78 tries, 77428598 fired transitions, 2140 secs || 48113084 markings, 234274502 edges, 20753 markings/sec, 2140 secs
lola: STP completed || 78 tries, 77606181 fired transitions, 2145 secs || 48218348 markings, 234893696 edges, 21053 markings/sec, 2145 secs
lola: STP completed || 78 tries, 77789891 fired transitions, 2150 secs || 48318582 markings, 235509837 edges, 20047 markings/sec, 2150 secs
lola: STP completed || 78 tries, 77968870 fired transitions, 2155 secs || 48418508 markings, 236115745 edges, 19985 markings/sec, 2155 secs
lola: STP completed || 79 tries, 78145130 fired transitions, 2160 secs || 48523511 markings, 236741975 edges, 21001 markings/sec, 2160 secs
lola: STP completed || 79 tries, 78321156 fired transitions, 2165 secs || 48626514 markings, 237351016 edges, 20601 markings/sec, 2165 secs
lola: STP completed || 79 tries, 78496523 fired transitions, 2170 secs || 48730070 markings, 237963696 edges, 20711 markings/sec, 2170 secs
lola: STP completed || 79 tries, 78672837 fired transitions, 2175 secs || 48834069 markings, 238591939 edges, 20800 markings/sec, 2175 secs
lola: STP completed || 79 tries, 78851730 fired transitions, 2180 secs || 48939693 markings, 239208500 edges, 21125 markings/sec, 2180 secs
lola: STP completed || 80 tries, 79033839 fired transitions, 2185 secs || 49044665 markings, 239814387 edges, 20994 markings/sec, 2185 secs
lola: STP completed || 80 tries, 79214648 fired transitions, 2190 secs || 49149551 markings, 240437695 edges, 20977 markings/sec, 2190 secs
lola: STP completed || 80 tries, 79397369 fired transitions, 2195 secs || 49252446 markings, 241053967 edges, 20579 markings/sec, 2195 secs
lola: STP completed || 80 tries, 79575666 fired transitions, 2200 secs || 49357086 markings, 241663968 edges, 20928 markings/sec, 2200 secs
lola: STP completed || 80 tries, 79752244 fired transitions, 2205 secs || 49461477 markings, 242296750 edges, 20878 markings/sec, 2205 secs
lola: STP completed || 80 tries, 79930574 fired transitions, 2210 secs || 49566610 markings, 242921994 edges, 21027 markings/sec, 2210 secs
lola: STP completed || 81 tries, 80108573 fired transitions, 2215 secs || 49671819 markings, 243539380 edges, 21042 markings/sec, 2215 secs
lola: STP completed || 81 tries, 80288767 fired transitions, 2220 secs || 49775888 markings, 244181699 edges, 20814 markings/sec, 2220 secs
lola: STP completed || 81 tries, 80468660 fired transitions, 2225 secs || 49880044 markings, 244804565 edges, 20831 markings/sec, 2225 secs
lola: STP completed || 81 tries, 80647400 fired transitions, 2230 secs || 49985280 markings, 245430117 edges, 21047 markings/sec, 2230 secs
lola: STP completed || 81 tries, 80829649 fired transitions, 2235 secs || 50089525 markings, 246070325 edges, 20849 markings/sec, 2235 secs
lola: STP completed || 82 tries, 81009776 fired transitions, 2240 secs || 50194082 markings, 246691824 edges, 20911 markings/sec, 2240 secs
lola: STP completed || 82 tries, 81185649 fired transitions, 2245 secs || 50299299 markings, 247316256 edges, 21043 markings/sec, 2245 secs
lola: STP completed || 82 tries, 81361387 fired transitions, 2250 secs || 50405087 markings, 247938246 edges, 21158 markings/sec, 2250 secs
lola: STP completed || 82 tries, 81538721 fired transitions, 2255 secs || 50508936 markings, 248573521 edges, 20770 markings/sec, 2255 secs
lola: STP completed || 82 tries, 81716149 fired transitions, 2260 secs || 50612234 markings, 249203454 edges, 20660 markings/sec, 2260 secs
lola: STP completed || 82 tries, 81892851 fired transitions, 2265 secs || 50716797 markings, 249828710 edges, 20913 markings/sec, 2265 secs
lola: STP completed || 83 tries, 82068586 fired transitions, 2270 secs || 50821951 markings, 250453081 edges, 21031 markings/sec, 2270 secs
lola: STP completed || 83 tries, 82244008 fired transitions, 2275 secs || 50926055 markings, 251086258 edges, 20821 markings/sec, 2275 secs
lola: STP completed || 83 tries, 82417860 fired transitions, 2280 secs || 51032006 markings, 251712925 edges, 21190 markings/sec, 2280 secs
lola: STP completed || 83 tries, 82592573 fired transitions, 2285 secs || 51137138 markings, 252339731 edges, 21026 markings/sec, 2285 secs
lola: STP completed || 83 tries, 82769190 fired transitions, 2290 secs || 51241356 markings, 252975232 edges, 20844 markings/sec, 2290 secs
lola: STP completed || 83 tries, 82942895 fired transitions, 2295 secs || 51345999 markings, 253597513 edges, 20929 markings/sec, 2295 secs
lola: STP completed || 84 tries, 83119052 fired transitions, 2300 secs || 51451747 markings, 254218369 edges, 21150 markings/sec, 2300 secs
lola: STP completed || 84 tries, 83295267 fired transitions, 2305 secs || 51557407 markings, 254858859 edges, 21132 markings/sec, 2305 secs
lola: STP completed || 84 tries, 83470943 fired transitions, 2310 secs || 51662176 markings, 255508064 edges, 20954 markings/sec, 2310 secs
lola: STP completed || 84 tries, 83646114 fired transitions, 2315 secs || 51767297 markings, 256130206 edges, 21024 markings/sec, 2315 secs
lola: STP completed || 84 tries, 83820461 fired transitions, 2320 secs || 51871447 markings, 256769459 edges, 20830 markings/sec, 2320 secs
lola: STP completed || 84 tries, 83994920 fired transitions, 2325 secs || 51975110 markings, 257413112 edges, 20733 markings/sec, 2325 secs
lola: STP completed || 85 tries, 84169992 fired transitions, 2330 secs || 52079007 markings, 258049801 edges, 20779 markings/sec, 2330 secs
lola: STP completed || 85 tries, 84346477 fired transitions, 2335 secs || 52182645 markings, 258683361 edges, 20728 markings/sec, 2335 secs
lola: STP completed || 85 tries, 84524404 fired transitions, 2340 secs || 52286109 markings, 259320487 edges, 20693 markings/sec, 2340 secs
lola: STP completed || 85 tries, 84700585 fired transitions, 2345 secs || 52392396 markings, 259945128 edges, 21257 markings/sec, 2345 secs
lola: STP completed || 85 tries, 84876373 fired transitions, 2350 secs || 52496704 markings, 260581670 edges, 20862 markings/sec, 2350 secs
lola: STP completed || 86 tries, 85051926 fired transitions, 2355 secs || 52601422 markings, 261221681 edges, 20944 markings/sec, 2355 secs
lola: STP completed || 86 tries, 85228267 fired transitions, 2360 secs || 52705470 markings, 261874878 edges, 20810 markings/sec, 2360 secs
lola: STP completed || 86 tries, 85403345 fired transitions, 2365 secs || 52809409 markings, 262520643 edges, 20788 markings/sec, 2365 secs
lola: STP completed || 86 tries, 85580304 fired transitions, 2370 secs || 52913055 markings, 263155067 edges, 20729 markings/sec, 2370 secs
lola: STP completed || 86 tries, 85755554 fired transitions, 2375 secs || 53017541 markings, 263795474 edges, 20897 markings/sec, 2375 secs
lola: STP completed || 86 tries, 85929066 fired transitions, 2380 secs || 53123432 markings, 264434116 edges, 21178 markings/sec, 2380 secs
lola: STP completed || 87 tries, 86104101 fired transitions, 2385 secs || 53227985 markings, 265069044 edges, 20911 markings/sec, 2385 secs
lola: STP completed || 87 tries, 86280129 fired transitions, 2390 secs || 53331763 markings, 265712148 edges, 20756 markings/sec, 2390 secs
lola: STP completed || 87 tries, 86456000 fired transitions, 2395 secs || 53435101 markings, 266356482 edges, 20668 markings/sec, 2395 secs
lola: STP completed || 87 tries, 86632664 fired transitions, 2400 secs || 53540221 markings, 266985037 edges, 21024 markings/sec, 2400 secs
lola: STP completed || 87 tries, 86808725 fired transitions, 2405 secs || 53643510 markings, 267632462 edges, 20658 markings/sec, 2405 secs
lola: STP completed || 87 tries, 86986153 fired transitions, 2410 secs || 53745898 markings, 268281193 edges, 20478 markings/sec, 2410 secs
lola: STP completed || 88 tries, 87167014 fired transitions, 2415 secs || 53849570 markings, 268932572 edges, 20734 markings/sec, 2415 secs
lola: STP completed || 88 tries, 87344796 fired transitions, 2420 secs || 53954791 markings, 269594362 edges, 21044 markings/sec, 2420 secs
lola: STP completed || 88 tries, 87528060 fired transitions, 2425 secs || 54066407 markings, 270280398 edges, 22323 markings/sec, 2425 secs
lola: STP completed || 88 tries, 87750027 fired transitions, 2430 secs || 54195397 markings, 271077111 edges, 25798 markings/sec, 2430 secs
lola: STP completed || 88 tries, 87960686 fired transitions, 2435 secs || 54310493 markings, 271769089 edges, 23019 markings/sec, 2435 secs
lola: STP completed || 89 tries, 88167845 fired transitions, 2440 secs || 54422231 markings, 272452058 edges, 22348 markings/sec, 2440 secs
lola: STP completed || 89 tries, 88398061 fired transitions, 2445 secs || 54555809 markings, 273271097 edges, 26716 markings/sec, 2445 secs
lola: STP completed || 89 tries, 88625961 fired transitions, 2450 secs || 54688413 markings, 274073813 edges, 26521 markings/sec, 2450 secs
lola: STP completed || 89 tries, 88850712 fired transitions, 2455 secs || 54817757 markings, 274878618 edges, 25869 markings/sec, 2455 secs
lola: STP completed || 90 tries, 89076044 fired transitions, 2460 secs || 54948034 markings, 275679544 edges, 26055 markings/sec, 2460 secs
lola: STP completed || 90 tries, 89300877 fired transitions, 2465 secs || 55078983 markings, 276484343 edges, 26190 markings/sec, 2465 secs
lola: STP completed || 90 tries, 89526305 fired transitions, 2470 secs || 55210775 markings, 277274229 edges, 26358 markings/sec, 2470 secs
lola: STP completed || 90 tries, 89751099 fired transitions, 2475 secs || 55340495 markings, 278082085 edges, 25944 markings/sec, 2475 secs
lola: STP completed || 90 tries, 89975045 fired transitions, 2480 secs || 55471498 markings, 278903211 edges, 26201 markings/sec, 2480 secs
lola: STP completed || 91 tries, 90199088 fired transitions, 2485 secs || 55600826 markings, 279691974 edges, 25866 markings/sec, 2485 secs
lola: STP completed || 91 tries, 90423558 fired transitions, 2490 secs || 55725784 markings, 280466146 edges, 24992 markings/sec, 2490 secs
lola: STP completed || 91 tries, 90649044 fired transitions, 2495 secs || 55852903 markings, 281255619 edges, 25424 markings/sec, 2495 secs
lola: STP completed || 91 tries, 90874221 fired transitions, 2500 secs || 55980649 markings, 282041755 edges, 25549 markings/sec, 2500 secs
lola: STP completed || 92 tries, 91097504 fired transitions, 2505 secs || 56109783 markings, 282838631 edges, 25827 markings/sec, 2505 secs
lola: STP completed || 92 tries, 91321930 fired transitions, 2510 secs || 56240374 markings, 283647095 edges, 26118 markings/sec, 2510 secs
lola: STP completed || 92 tries, 91546178 fired transitions, 2515 secs || 56369545 markings, 284472793 edges, 25834 markings/sec, 2515 secs
lola: STP completed || 92 tries, 91770792 fired transitions, 2520 secs || 56499469 markings, 285298300 edges, 25985 markings/sec, 2520 secs
lola: STP completed || 92 tries, 91995690 fired transitions, 2525 secs || 56629318 markings, 286112223 edges, 25970 markings/sec, 2525 secs
lola: STP completed || 93 tries, 92220657 fired transitions, 2530 secs || 56760010 markings, 286932973 edges, 26138 markings/sec, 2530 secs
lola: STP completed || 93 tries, 92445824 fired transitions, 2535 secs || 56889039 markings, 287750125 edges, 25806 markings/sec, 2535 secs
lola: STP completed || 93 tries, 92667885 fired transitions, 2540 secs || 57018137 markings, 288544258 edges, 25820 markings/sec, 2540 secs
lola: STP completed || 93 tries, 92886325 fired transitions, 2545 secs || 57143125 markings, 289351837 edges, 24998 markings/sec, 2545 secs
lola: STP completed || 94 tries, 93103648 fired transitions, 2550 secs || 57269072 markings, 290137034 edges, 25189 markings/sec, 2550 secs
lola: STP completed || 94 tries, 93326415 fired transitions, 2555 secs || 57397031 markings, 290932930 edges, 25592 markings/sec, 2555 secs
lola: STP completed || 94 tries, 93551178 fired transitions, 2560 secs || 57527741 markings, 291753279 edges, 26142 markings/sec, 2560 secs
lola: STP completed || 94 tries, 93766214 fired transitions, 2565 secs || 57653238 markings, 292527935 edges, 25099 markings/sec, 2565 secs
lola: STP completed || 94 tries, 93948813 fired transitions, 2570 secs || 57756022 markings, 293177133 edges, 20557 markings/sec, 2570 secs
lola: STP completed || 95 tries, 94131915 fired transitions, 2575 secs || 57859855 markings, 293815167 edges, 20767 markings/sec, 2575 secs
lola: STP completed || 95 tries, 94315119 fired transitions, 2580 secs || 57961856 markings, 294450332 edges, 20400 markings/sec, 2580 secs
lola: STP completed || 95 tries, 94500164 fired transitions, 2585 secs || 58063964 markings, 295075360 edges, 20422 markings/sec, 2585 secs
lola: STP completed || 95 tries, 94686984 fired transitions, 2590 secs || 58165774 markings, 295730472 edges, 20362 markings/sec, 2590 secs
lola: STP completed || 95 tries, 94868846 fired transitions, 2595 secs || 58267372 markings, 296356748 edges, 20320 markings/sec, 2595 secs
lola: STP completed || 96 tries, 95054188 fired transitions, 2600 secs || 58367895 markings, 296979926 edges, 20105 markings/sec, 2600 secs
lola: STP completed || 96 tries, 95242594 fired transitions, 2605 secs || 58467530 markings, 297616157 edges, 19927 markings/sec, 2605 secs
lola: STP completed || 96 tries, 95424123 fired transitions, 2610 secs || 58568962 markings, 298247135 edges, 20286 markings/sec, 2610 secs
lola: STP completed || 96 tries, 95606274 fired transitions, 2615 secs || 58672366 markings, 298907489 edges, 20681 markings/sec, 2615 secs
lola: STP completed || 96 tries, 95788269 fired transitions, 2620 secs || 58774754 markings, 299545792 edges, 20478 markings/sec, 2620 secs
lola: STP completed || 96 tries, 95969935 fired transitions, 2625 secs || 58876597 markings, 300194326 edges, 20369 markings/sec, 2625 secs
lola: STP completed || 97 tries, 96151165 fired transitions, 2630 secs || 58979665 markings, 300831292 edges, 20614 markings/sec, 2630 secs
lola: STP completed || 97 tries, 96331396 fired transitions, 2635 secs || 59081557 markings, 301477212 edges, 20378 markings/sec, 2635 secs
lola: STP completed || 97 tries, 96513449 fired transitions, 2640 secs || 59184228 markings, 302128106 edges, 20534 markings/sec, 2640 secs
lola: STP completed || 97 tries, 96696823 fired transitions, 2645 secs || 59286949 markings, 302787084 edges, 20544 markings/sec, 2645 secs
lola: STP completed || 97 tries, 96878144 fired transitions, 2650 secs || 59389389 markings, 303441625 edges, 20488 markings/sec, 2650 secs
lola: STP completed || 98 tries, 97058873 fired transitions, 2655 secs || 59492752 markings, 304105037 edges, 20673 markings/sec, 2655 secs
lola: STP completed || 98 tries, 97239731 fired transitions, 2660 secs || 59596065 markings, 304757000 edges, 20663 markings/sec, 2660 secs
lola: STP completed || 98 tries, 97421011 fired transitions, 2665 secs || 59699006 markings, 305401863 edges, 20588 markings/sec, 2665 secs
lola: STP completed || 98 tries, 97601493 fired transitions, 2670 secs || 59803783 markings, 306058962 edges, 20955 markings/sec, 2670 secs
lola: STP completed || 98 tries, 97780121 fired transitions, 2675 secs || 59906652 markings, 306713638 edges, 20574 markings/sec, 2675 secs
lola: STP completed || 98 tries, 97963032 fired transitions, 2680 secs || 60010423 markings, 307355778 edges, 20754 markings/sec, 2680 secs
lola: STP completed || 99 tries, 98143856 fired transitions, 2685 secs || 60113165 markings, 308004972 edges, 20548 markings/sec, 2685 secs
lola: STP completed || 99 tries, 98324764 fired transitions, 2690 secs || 60217166 markings, 308631372 edges, 20800 markings/sec, 2690 secs
lola: STP completed || 99 tries, 98508224 fired transitions, 2695 secs || 60319255 markings, 309284082 edges, 20418 markings/sec, 2695 secs
lola: STP completed || 99 tries, 98688472 fired transitions, 2700 secs || 60422370 markings, 309937364 edges, 20623 markings/sec, 2700 secs
lola: STP completed || 99 tries, 98872147 fired transitions, 2705 secs || 60524582 markings, 310580435 edges, 20442 markings/sec, 2705 secs
lola: STP completed || 100 tries, 99059543 fired transitions, 2710 secs || 60625278 markings, 311201338 edges, 20139 markings/sec, 2710 secs
lola: STP completed || 100 tries, 99247662 fired transitions, 2715 secs || 60726697 markings, 311839838 edges, 20284 markings/sec, 2715 secs
lola: STP completed || 100 tries, 99435874 fired transitions, 2720 secs || 60825467 markings, 312496455 edges, 19754 markings/sec, 2720 secs
lola: STP completed || 100 tries, 99623857 fired transitions, 2725 secs || 60925241 markings, 313127355 edges, 19955 markings/sec, 2725 secs
lola: STP completed || 100 tries, 99812007 fired transitions, 2730 secs || 61024649 markings, 313760878 edges, 19882 markings/sec, 2730 secs
lola: STP completed || 100 tries, 99997842 fired transitions, 2735 secs || 61123279 markings, 314403346 edges, 19726 markings/sec, 2735 secs
lola: STP completed || 101 tries, 100182905 fired transitions, 2740 secs || 61222977 markings, 315033022 edges, 19940 markings/sec, 2740 secs
lola: STP completed || 101 tries, 100369678 fired transitions, 2745 secs || 61322833 markings, 315665223 edges, 19971 markings/sec, 2745 secs
lola: STP completed || 101 tries, 100554623 fired transitions, 2750 secs || 61422974 markings, 316302795 edges, 20028 markings/sec, 2750 secs
lola: STP completed || 101 tries, 100740384 fired transitions, 2755 secs || 61523152 markings, 316944041 edges, 20036 markings/sec, 2755 secs
lola: STP completed || 101 tries, 100920025 fired transitions, 2760 secs || 61628564 markings, 317576492 edges, 21082 markings/sec, 2760 secs
lola: STP completed || 102 tries, 101102224 fired transitions, 2765 secs || 61730087 markings, 318229150 edges, 20305 markings/sec, 2765 secs
lola: STP completed || 102 tries, 101285850 fired transitions, 2770 secs || 61831608 markings, 318889413 edges, 20304 markings/sec, 2770 secs
lola: STP completed || 102 tries, 101467345 fired transitions, 2775 secs || 61934458 markings, 319537787 edges, 20570 markings/sec, 2775 secs
lola: STP completed || 102 tries, 101650569 fired transitions, 2780 secs || 62035632 markings, 320201607 edges, 20235 markings/sec, 2780 secs
lola: STP completed || 102 tries, 101833277 fired transitions, 2785 secs || 62140319 markings, 320858709 edges, 20937 markings/sec, 2785 secs
lola: STP completed || 103 tries, 102014557 fired transitions, 2790 secs || 62244016 markings, 321502100 edges, 20739 markings/sec, 2790 secs
lola: STP completed || 103 tries, 102195622 fired transitions, 2795 secs || 62346381 markings, 322160806 edges, 20473 markings/sec, 2795 secs
lola: STP completed || 103 tries, 102375894 fired transitions, 2800 secs || 62450514 markings, 322821823 edges, 20827 markings/sec, 2800 secs
lola: STP completed || 103 tries, 102554510 fired transitions, 2805 secs || 62553100 markings, 323477861 edges, 20517 markings/sec, 2805 secs
lola: STP completed || 103 tries, 102736410 fired transitions, 2810 secs || 62655639 markings, 324149041 edges, 20508 markings/sec, 2810 secs
lola: STP completed || 103 tries, 102918504 fired transitions, 2815 secs || 62759312 markings, 324802640 edges, 20735 markings/sec, 2815 secs
lola: STP completed || 104 tries, 103099934 fired transitions, 2820 secs || 62861691 markings, 325463198 edges, 20476 markings/sec, 2820 secs
lola: STP completed || 104 tries, 103282690 fired transitions, 2825 secs || 62962829 markings, 326119702 edges, 20228 markings/sec, 2825 secs
lola: STP completed || 104 tries, 103465168 fired transitions, 2830 secs || 63065368 markings, 326773597 edges, 20508 markings/sec, 2830 secs
lola: STP completed || 104 tries, 103646988 fired transitions, 2835 secs || 63167764 markings, 327454145 edges, 20479 markings/sec, 2835 secs
lola: STP completed || 104 tries, 103829116 fired transitions, 2840 secs || 63268587 markings, 328099099 edges, 20165 markings/sec, 2840 secs
lola: STP completed || 105 tries, 104012365 fired transitions, 2845 secs || 63367912 markings, 328745687 edges, 19865 markings/sec, 2845 secs
lola: STP completed || 105 tries, 104195038 fired transitions, 2850 secs || 63467748 markings, 329392456 edges, 19967 markings/sec, 2850 secs
lola: STP completed || 105 tries, 104376524 fired transitions, 2855 secs || 63568452 markings, 330050875 edges, 20141 markings/sec, 2855 secs
lola: STP completed || 105 tries, 104558236 fired transitions, 2860 secs || 63671617 markings, 330703059 edges, 20633 markings/sec, 2860 secs
lola: STP completed || 105 tries, 104741141 fired transitions, 2865 secs || 63774975 markings, 331345045 edges, 20672 markings/sec, 2865 secs
lola: STP completed || 105 tries, 104923826 fired transitions, 2870 secs || 63876710 markings, 332009232 edges, 20347 markings/sec, 2870 secs
lola: STP completed || 106 tries, 105106971 fired transitions, 2875 secs || 63979645 markings, 332664930 edges, 20587 markings/sec, 2875 secs
lola: STP completed || 106 tries, 105291071 fired transitions, 2880 secs || 64082131 markings, 333316459 edges, 20497 markings/sec, 2880 secs
lola: STP completed || 106 tries, 105474946 fired transitions, 2885 secs || 64185423 markings, 333983732 edges, 20658 markings/sec, 2885 secs
lola: STP completed || 106 tries, 105659659 fired transitions, 2890 secs || 64286726 markings, 334668682 edges, 20261 markings/sec, 2890 secs
lola: STP completed || 106 tries, 105839954 fired transitions, 2895 secs || 64390733 markings, 335339700 edges, 20801 markings/sec, 2895 secs
lola: STP completed || 107 tries, 106022159 fired transitions, 2900 secs || 64493589 markings, 336015373 edges, 20571 markings/sec, 2900 secs
lola: STP completed || 107 tries, 106205734 fired transitions, 2905 secs || 64596481 markings, 336652096 edges, 20578 markings/sec, 2905 secs
lola: STP completed || 107 tries, 106390761 fired transitions, 2910 secs || 64696151 markings, 337291408 edges, 19934 markings/sec, 2910 secs
lola: STP completed || 107 tries, 106579432 fired transitions, 2915 secs || 64796004 markings, 337931743 edges, 19971 markings/sec, 2915 secs
lola: STP completed || 107 tries, 106768012 fired transitions, 2920 secs || 64895605 markings, 338576375 edges, 19920 markings/sec, 2920 secs
lola: STP completed || 107 tries, 106956324 fired transitions, 2925 secs || 64994409 markings, 339214587 edges, 19761 markings/sec, 2925 secs
lola: STP completed || 108 tries, 107143945 fired transitions, 2930 secs || 65093921 markings, 339859427 edges, 19902 markings/sec, 2930 secs
lola: STP completed || 108 tries, 107328237 fired transitions, 2935 secs || 65193241 markings, 340515803 edges, 19864 markings/sec, 2935 secs
lola: STP completed || 108 tries, 107513008 fired transitions, 2940 secs || 65293352 markings, 341149454 edges, 20022 markings/sec, 2940 secs
lola: STP completed || 108 tries, 107697927 fired transitions, 2945 secs || 65393374 markings, 341779021 edges, 20004 markings/sec, 2945 secs
lola: STP completed || 108 tries, 107882092 fired transitions, 2950 secs || 65494755 markings, 342439491 edges, 20276 markings/sec, 2950 secs
lola: STP completed || 109 tries, 108065518 fired transitions, 2955 secs || 65596106 markings, 343102156 edges, 20270 markings/sec, 2955 secs
lola: STP completed || 109 tries, 108247280 fired transitions, 2960 secs || 65700168 markings, 343758641 edges, 20812 markings/sec, 2960 secs
lola: STP completed || 109 tries, 108427262 fired transitions, 2965 secs || 65802628 markings, 344418350 edges, 20492 markings/sec, 2965 secs
lola: STP completed || 109 tries, 108610302 fired transitions, 2970 secs || 65903951 markings, 345087346 edges, 20265 markings/sec, 2970 secs
lola: STP completed || 109 tries, 108792498 fired transitions, 2975 secs || 66007114 markings, 345751199 edges, 20633 markings/sec, 2975 secs
lola: STP completed || 109 tries, 108975492 fired transitions, 2980 secs || 66110718 markings, 346408164 edges, 20721 markings/sec, 2980 secs
lola: STP completed || 110 tries, 109156570 fired transitions, 2985 secs || 66212970 markings, 347093330 edges, 20450 markings/sec, 2985 secs
lola: STP completed || 110 tries, 109343016 fired transitions, 2990 secs || 66314039 markings, 347747110 edges, 20214 markings/sec, 2990 secs
lola: STP completed || 110 tries, 109530216 fired transitions, 2995 secs || 66417283 markings, 348400485 edges, 20649 markings/sec, 2995 secs
lola: STP completed || 110 tries, 109718692 fired transitions, 3000 secs || 66519433 markings, 349057270 edges, 20430 markings/sec, 3000 secs
lola: STP completed || 110 tries, 109907269 fired transitions, 3005 secs || 66621403 markings, 349731623 edges, 20394 markings/sec, 3005 secs
lola: STP completed || 111 tries, 110096070 fired transitions, 3010 secs || 66723390 markings, 350391520 edges, 20397 markings/sec, 3010 secs
lola: STP completed || 111 tries, 110285287 fired transitions, 3015 secs || 66824602 markings, 351048768 edges, 20242 markings/sec, 3015 secs
lola: STP completed || 111 tries, 110473525 fired transitions, 3020 secs || 66926407 markings, 351710231 edges, 20361 markings/sec, 3020 secs
lola: STP completed || 111 tries, 110661927 fired transitions, 3025 secs || 67027019 markings, 352391160 edges, 20122 markings/sec, 3025 secs
lola: STP completed || 111 tries, 110838084 fired transitions, 3030 secs || 67127733 markings, 353031744 edges, 20143 markings/sec, 3030 secs
lola: STP completed || 112 tries, 111024141 fired transitions, 3035 secs || 67228692 markings, 353734137 edges, 20192 markings/sec, 3035 secs
lola: STP completed || 112 tries, 111211631 fired transitions, 3040 secs || 67331561 markings, 354409071 edges, 20574 markings/sec, 3040 secs
lola: STP completed || 112 tries, 111399160 fired transitions, 3045 secs || 67434872 markings, 355066466 edges, 20662 markings/sec, 3045 secs
lola: STP completed || 112 tries, 111587962 fired transitions, 3050 secs || 67537244 markings, 355729982 edges, 20474 markings/sec, 3050 secs
lola: STP completed || 112 tries, 111776489 fired transitions, 3055 secs || 67639286 markings, 356384126 edges, 20408 markings/sec, 3055 secs
lola: STP completed || 112 tries, 111965117 fired transitions, 3060 secs || 67741876 markings, 357065772 edges, 20518 markings/sec, 3060 secs
lola: STP completed || 113 tries, 112151439 fired transitions, 3065 secs || 67843326 markings, 357736261 edges, 20290 markings/sec, 3065 secs
lola: STP completed || 113 tries, 112336837 fired transitions, 3070 secs || 67944775 markings, 358422512 edges, 20290 markings/sec, 3070 secs
lola: STP completed || 113 tries, 112524144 fired transitions, 3075 secs || 68050111 markings, 359096244 edges, 21067 markings/sec, 3075 secs
lola: STP completed || 113 tries, 112710870 fired transitions, 3080 secs || 68157408 markings, 359761339 edges, 21459 markings/sec, 3080 secs
lola: STP completed || 113 tries, 112899442 fired transitions, 3085 secs || 68261912 markings, 360448924 edges, 20901 markings/sec, 3085 secs
lola: STP completed || 114 tries, 113088007 fired transitions, 3090 secs || 68365713 markings, 361147697 edges, 20760 markings/sec, 3090 secs
lola: STP completed || 114 tries, 113275428 fired transitions, 3095 secs || 68472205 markings, 361827058 edges, 21298 markings/sec, 3095 secs
lola: STP completed || 114 tries, 113462677 fired transitions, 3100 secs || 68577840 markings, 362508721 edges, 21127 markings/sec, 3100 secs
lola: STP completed || 114 tries, 113654450 fired transitions, 3105 secs || 68682413 markings, 363201519 edges, 20915 markings/sec, 3105 secs
lola: STP completed || 114 tries, 113841424 fired transitions, 3110 secs || 68789237 markings, 363881079 edges, 21365 markings/sec, 3110 secs
lola: STP completed || 115 tries, 114028961 fired transitions, 3115 secs || 68893472 markings, 364573799 edges, 20847 markings/sec, 3115 secs
lola: STP completed || 115 tries, 114216727 fired transitions, 3120 secs || 68997520 markings, 365267926 edges, 20810 markings/sec, 3120 secs
lola: STP completed || 115 tries, 114404704 fired transitions, 3125 secs || 69103054 markings, 365955579 edges, 21107 markings/sec, 3125 secs
lola: STP completed || 115 tries, 114593125 fired transitions, 3130 secs || 69207357 markings, 366649432 edges, 20861 markings/sec, 3130 secs
lola: STP completed || 115 tries, 114780516 fired transitions, 3135 secs || 69312585 markings, 367340338 edges, 21046 markings/sec, 3135 secs
lola: STP completed || 115 tries, 114962296 fired transitions, 3140 secs || 69419643 markings, 368040935 edges, 21412 markings/sec, 3140 secs
lola: STP completed || 116 tries, 115147339 fired transitions, 3145 secs || 69526084 markings, 368740536 edges, 21288 markings/sec, 3145 secs
lola: STP completed || 116 tries, 115335205 fired transitions, 3150 secs || 69630815 markings, 369421894 edges, 20946 markings/sec, 3150 secs
lola: STP completed || 116 tries, 115522883 fired transitions, 3155 secs || 69735337 markings, 370103394 edges, 20904 markings/sec, 3155 secs
lola: STP completed || 116 tries, 115707725 fired transitions, 3160 secs || 69839637 markings, 370794019 edges, 20860 markings/sec, 3160 secs
lola: STP completed || 116 tries, 115896112 fired transitions, 3165 secs || 69943573 markings, 371484943 edges, 20787 markings/sec, 3165 secs
lola: STP completed || 117 tries, 116084497 fired transitions, 3170 secs || 70046296 markings, 372183878 edges, 20545 markings/sec, 3170 secs
lola: STP completed || 117 tries, 116271220 fired transitions, 3175 secs || 70149731 markings, 372877480 edges, 20687 markings/sec, 3175 secs
lola: STP completed || 117 tries, 116459333 fired transitions, 3180 secs || 70252239 markings, 373570848 edges, 20502 markings/sec, 3180 secs
lola: STP completed || 117 tries, 116644780 fired transitions, 3185 secs || 70356131 markings, 374266844 edges, 20778 markings/sec, 3185 secs
lola: STP completed || 117 tries, 116831932 fired transitions, 3190 secs || 70458742 markings, 374951330 edges, 20522 markings/sec, 3190 secs
lola: STP completed || 118 tries, 117014586 fired transitions, 3195 secs || 70560720 markings, 375626287 edges, 20396 markings/sec, 3195 secs
lola: STP completed || 118 tries, 117201549 fired transitions, 3200 secs || 70663245 markings, 376315840 edges, 20505 markings/sec, 3200 secs
lola: STP completed || 118 tries, 117386926 fired transitions, 3205 secs || 70765329 markings, 377004411 edges, 20417 markings/sec, 3205 secs
lola: STP completed || 118 tries, 117574274 fired transitions, 3210 secs || 70869292 markings, 377684783 edges, 20793 markings/sec, 3210 secs
lola: STP completed || 118 tries, 117761406 fired transitions, 3215 secs || 70974405 markings, 378362122 edges, 21023 markings/sec, 3215 secs
lola: STP completed || 118 tries, 117950066 fired transitions, 3220 secs || 71077652 markings, 379034972 edges, 20649 markings/sec, 3220 secs
lola: STP completed || 119 tries, 118138368 fired transitions, 3225 secs || 71180629 markings, 379735716 edges, 20595 markings/sec, 3225 secs
lola: STP completed || 119 tries, 118327331 fired transitions, 3230 secs || 71283809 markings, 380432235 edges, 20636 markings/sec, 3230 secs
lola: STP completed || 119 tries, 118515635 fired transitions, 3235 secs || 71387424 markings, 381119558 edges, 20723 markings/sec, 3235 secs
lola: STP completed || 119 tries, 118701005 fired transitions, 3240 secs || 71490023 markings, 381828279 edges, 20520 markings/sec, 3240 secs
lola: STP completed || 119 tries, 118888138 fired transitions, 3245 secs || 71595886 markings, 382530215 edges, 21173 markings/sec, 3245 secs
lola: STP completed || 120 tries, 119075528 fired transitions, 3250 secs || 71702045 markings, 383206587 edges, 21232 markings/sec, 3250 secs
lola: STP completed || 120 tries, 119261952 fired transitions, 3255 secs || 71806253 markings, 383894752 edges, 20842 markings/sec, 3255 secs
lola: STP completed || 120 tries, 119450152 fired transitions, 3260 secs || 71910916 markings, 384584821 edges, 20933 markings/sec, 3260 secs
lola: STP completed || 120 tries, 119638357 fired transitions, 3265 secs || 72014609 markings, 385276210 edges, 20739 markings/sec, 3265 secs
lola: STP completed || 120 tries, 119824857 fired transitions, 3270 secs || 72118971 markings, 385968024 edges, 20872 markings/sec, 3270 secs
lola: STP completed || 121 tries, 120012027 fired transitions, 3275 secs || 72222202 markings, 386675018 edges, 20646 markings/sec, 3275 secs
lola: STP completed || 121 tries, 120196765 fired transitions, 3280 secs || 72326667 markings, 387367716 edges, 20893 markings/sec, 3280 secs
lola: STP completed || 121 tries, 120384428 fired transitions, 3285 secs || 72433149 markings, 388051768 edges, 21296 markings/sec, 3285 secs
lola: STP completed || 121 tries, 120572707 fired transitions, 3290 secs || 72538287 markings, 388750729 edges, 21028 markings/sec, 3290 secs
lola: STP completed || 121 tries, 120758605 fired transitions, 3295 secs || 72642797 markings, 389445224 edges, 20902 markings/sec, 3295 secs
lola: STP completed || 121 tries, 120945581 fired transitions, 3300 secs || 72746207 markings, 390145863 edges, 20682 markings/sec, 3300 secs
lola: STP completed || 122 tries, 121133958 fired transitions, 3305 secs || 72849409 markings, 390840429 edges, 20640 markings/sec, 3305 secs
lola: STP completed || 122 tries, 121321325 fired transitions, 3310 secs || 72955276 markings, 391520861 edges, 21173 markings/sec, 3310 secs
lola: STP completed || 122 tries, 121509498 fired transitions, 3315 secs || 73059456 markings, 392220282 edges, 20836 markings/sec, 3315 secs
lola: STP completed || 122 tries, 121698053 fired transitions, 3320 secs || 73162776 markings, 392912575 edges, 20664 markings/sec, 3320 secs
lola: STP completed || 122 tries, 121883918 fired transitions, 3325 secs || 73267510 markings, 393610235 edges, 20947 markings/sec, 3325 secs
lola: STP completed || 123 tries, 122062086 fired transitions, 3330 secs || 73372013 markings, 394301549 edges, 20901 markings/sec, 3330 secs
lola: STP completed || 123 tries, 122241023 fired transitions, 3335 secs || 73476190 markings, 395003117 edges, 20835 markings/sec, 3335 secs
lola: STP completed || 123 tries, 122418875 fired transitions, 3340 secs || 73581827 markings, 395691846 edges, 21127 markings/sec, 3340 secs
lola: STP completed || 123 tries, 122597917 fired transitions, 3345 secs || 73685334 markings, 396403008 edges, 20701 markings/sec, 3345 secs
lola: STP completed || 123 tries, 122774342 fired transitions, 3350 secs || 73790238 markings, 397116995 edges, 20981 markings/sec, 3350 secs
lola: STP completed || 123 tries, 122952092 fired transitions, 3355 secs || 73893923 markings, 397808855 edges, 20737 markings/sec, 3355 secs
lola: STP completed || 124 tries, 123129868 fired transitions, 3360 secs || 73998101 markings, 398522264 edges, 20836 markings/sec, 3360 secs
lola: STP completed || 124 tries, 123308065 fired transitions, 3365 secs || 74101664 markings, 399220615 edges, 20713 markings/sec, 3365 secs
lola: STP completed || 124 tries, 123486444 fired transitions, 3370 secs || 74204939 markings, 399911699 edges, 20655 markings/sec, 3370 secs
lola: STP completed || 124 tries, 123665295 fired transitions, 3375 secs || 74307771 markings, 400596071 edges, 20566 markings/sec, 3375 secs
lola: STP completed || 124 tries, 123844438 fired transitions, 3380 secs || 74408896 markings, 401282428 edges, 20225 markings/sec, 3380 secs
lola: STP completed || 125 tries, 124023654 fired transitions, 3385 secs || 74509654 markings, 401976372 edges, 20152 markings/sec, 3385 secs
lola: STP completed || 125 tries, 124202288 fired transitions, 3390 secs || 74609986 markings, 402666078 edges, 20066 markings/sec, 3390 secs
lola: STP completed || 125 tries, 124381327 fired transitions, 3395 secs || 74711520 markings, 403350772 edges, 20307 markings/sec, 3395 secs
lola: STP completed || 125 tries, 124560364 fired transitions, 3400 secs || 74811060 markings, 404075379 edges, 19908 markings/sec, 3400 secs
lola: STP completed || 125 tries, 124736255 fired transitions, 3405 secs || 74913431 markings, 404753932 edges, 20474 markings/sec, 3405 secs
lola: STP completed || 125 tries, 124911790 fired transitions, 3410 secs || 75016738 markings, 405425353 edges, 20661 markings/sec, 3410 secs
lola: STP completed || 126 tries, 125090083 fired transitions, 3415 secs || 75119730 markings, 406108190 edges, 20598 markings/sec, 3415 secs
lola: STP completed || 126 tries, 125268565 fired transitions, 3420 secs || 75221772 markings, 406799793 edges, 20408 markings/sec, 3420 secs
lola: STP completed || 126 tries, 125446511 fired transitions, 3425 secs || 75324214 markings, 407494048 edges, 20488 markings/sec, 3425 secs
lola: STP completed || 126 tries, 125625207 fired transitions, 3430 secs || 75425815 markings, 408185002 edges, 20320 markings/sec, 3430 secs
lola: STP completed || 126 tries, 125798696 fired transitions, 3435 secs || 75532248 markings, 408866765 edges, 21287 markings/sec, 3435 secs
lola: STP completed || 126 tries, 125972185 fired transitions, 3440 secs || 75638359 markings, 409577102 edges, 21222 markings/sec, 3440 secs
lola: STP completed || 127 tries, 126143142 fired transitions, 3445 secs || 75746074 markings, 410300255 edges, 21543 markings/sec, 3445 secs
lola: STP completed || 127 tries, 126314085 fired transitions, 3450 secs || 75851768 markings, 411024933 edges, 21139 markings/sec, 3450 secs
lola: STP completed || 127 tries, 126487525 fired transitions, 3455 secs || 75957959 markings, 411732257 edges, 21238 markings/sec, 3455 secs
lola: STP completed || 127 tries, 126661096 fired transitions, 3460 secs || 76062493 markings, 412439397 edges, 20907 markings/sec, 3460 secs
lola: STP completed || 127 tries, 126834680 fired transitions, 3465 secs || 76166836 markings, 413143640 edges, 20869 markings/sec, 3465 secs
lola: STP completed || 128 tries, 127009507 fired transitions, 3470 secs || 76267431 markings, 413851384 edges, 20119 markings/sec, 3470 secs
lola: STP completed || 128 tries, 127183658 fired transitions, 3475 secs || 76370873 markings, 414537176 edges, 20688 markings/sec, 3475 secs
lola: STP completed || 128 tries, 127357314 fired transitions, 3480 secs || 76472703 markings, 415241397 edges, 20366 markings/sec, 3480 secs
lola: STP completed || 128 tries, 127532550 fired transitions, 3485 secs || 76573635 markings, 415937839 edges, 20186 markings/sec, 3485 secs
lola: STP completed || 128 tries, 127707521 fired transitions, 3490 secs || 76676420 markings, 416619437 edges, 20557 markings/sec, 3490 secs
lola: STP completed || 128 tries, 127880110 fired transitions, 3495 secs || 76779001 markings, 417292697 edges, 20516 markings/sec, 3495 secs
lola: STP completed || 129 tries, 128059435 fired transitions, 3500 secs || 76880744 markings, 417974701 edges, 20349 markings/sec, 3500 secs
lola: STP completed || 129 tries, 128240570 fired transitions, 3505 secs || 76981319 markings, 418655078 edges, 20115 markings/sec, 3505 secs
lola: STP completed || 129 tries, 128421193 fired transitions, 3510 secs || 77084251 markings, 419326649 edges, 20586 markings/sec, 3510 secs
lola: STP completed || 129 tries, 128603533 fired transitions, 3515 secs || 77183997 markings, 420021848 edges, 19949 markings/sec, 3515 secs
lola: STP completed || 129 tries, 128782990 fired transitions, 3520 secs || 77285628 markings, 420700544 edges, 20326 markings/sec, 3520 secs
lola: STP completed || 129 tries, 128964737 fired transitions, 3525 secs || 77385033 markings, 421408003 edges, 19881 markings/sec, 3525 secs
lola: STP completed || 130 tries, 129143495 fired transitions, 3530 secs || 77485696 markings, 422084329 edges, 20133 markings/sec, 3530 secs
lola: STP completed || 130 tries, 129317645 fired transitions, 3535 secs || 77584756 markings, 422731636 edges, 19812 markings/sec, 3535 secs
lola: STP completed || 130 tries, 129494171 fired transitions, 3540 secs || 77679495 markings, 423364423 edges, 18948 markings/sec, 3540 secs
lola: STP completed || 130 tries, 129673800 fired transitions, 3545 secs || 77778314 markings, 424015862 edges, 19764 markings/sec, 3545 secs
lola: STP completed || 130 tries, 129850959 fired transitions, 3550 secs || 77878193 markings, 424690661 edges, 19976 markings/sec, 3550 secs
lola: STP completed || 131 tries, 130022539 fired transitions, 3555 secs || 77974367 markings, 425342387 edges, 19235 markings/sec, 3555 secs
lola: STP completed || 131 tries, 130198486 fired transitions, 3560 secs || 78070705 markings, 425998593 edges, 19268 markings/sec, 3560 secs
lola: time limit reached - aborting
lola: memory consumption: 3474244 KB
lola: time consumption: 3570 seconds
BK_STOP 1527019608968
--------------------
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-PT-5"
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-PT-5.tgz
mv LamportFastMutEx-PT-5 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-PT-5, 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-152666469100132"
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 ;