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 852K
-rw-r--r-- 1 mcc users 4.5K May 30 21:28 CTLCardinality.txt
-rw-r--r-- 1 mcc users 23K May 30 21:28 CTLCardinality.xml
-rw-r--r-- 1 mcc users 7.3K May 29 15:19 CTLFireability.txt
-rw-r--r-- 1 mcc users 19K May 29 15:19 CTLFireability.xml
-rw-r--r-- 1 mcc users 2.8K May 28 09:51 LTLCardinality.txt
-rw-r--r-- 1 mcc users 12K May 28 09:51 LTLCardinality.xml
-rw-r--r-- 1 mcc users 3.7K May 28 08:05 LTLFireability.txt
-rw-r--r-- 1 mcc users 11K May 28 08:05 LTLFireability.xml
-rw-r--r-- 1 mcc users 1 May 24 11:17 NewModel
-rw-r--r-- 1 mcc users 4.5K May 28 06:26 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 20K May 28 06:26 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 104 May 26 06:29 ReachabilityDeadlock.txt
-rw-r--r-- 1 mcc users 342 May 26 06:29 ReachabilityDeadlock.xml
-rw-r--r-- 1 mcc users 7.0K May 27 03:51 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 18K May 27 03:51 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K May 28 07:31 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K May 28 07:31 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 24 11:17 equiv_col
-rw-r--r-- 1 mcc users 6 May 24 11:17 instance
-rw-r--r-- 1 mcc users 6 May 24 11:17 iscolored
-rw------- 1 mcc users 672K May 24 11:17 model.pnml
=====================================================================
Generated by BenchKit 2-3637
Executing tool lola
Input is EGFr-PT-10420, examination is ReachabilityDeadlock
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r280-csrt-152749169700269
=====================================================================

--------------------
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 EGFr-PT-10420-ReachabilityDeadlock-0

=== Now, execution of the tool begins

BK_START 1527786429655

info: Time: 3600 - MCC
===========================================================================================
prep: translating EGFr-PT-10420 Petri net model.pnml into LoLA format
===========================================================================================
prep: translating PT Petri net complete
prep: check for too many tokens
===========================================================================================
prep: translating EGFr-PT-10420 formula ReachabilityDeadlock into LoLA format
===========================================================================================
prep: translating PT formula complete
vrfy: Checking ReachabilityDeadlock @ EGFr-PT-10420 @ 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: 586/65536 symbol table entries, 1 collisions
lola: preprocessing...
lola: Size of bit vector: 6656
lola: finding significant places
lola: 208 places, 378 transitions, 76 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 731 transition conflict sets
lola: TASK
lola: reading formula from EGFr-PT-10420-ReachabilityDeadlock.task
lola: E (F (DEADLOCK))
lola: rewrite Frontend/Parser/formula_rewrite.k:106
lola: checking reachability of deadlocks
lola: Planning: workflow for deadlock check: siphon||findpath||search) (--findpath=par,--siphontrap=par)
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using deadlock preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: SEARCH (findpath)
lola: findpath: using deadlock preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: findpath: starting randomized, memory-less exploration (--search=findpath)
lola: findpath: searching for paths with maximal depth 1000000 (--depthlimit)
lola: findpath: no retry limit given (--retrylimit)
lola: findpath: transitions are chosen randomly
lola: computing symmetries (--symmetry)
lola: time limit for symmetry computation of 300 seconds given (--symmtimelimit)
lola: computed 2 generators (2 in search tree, 0 by composition)
lola: representing 4 symmetries
lola: 0 dead branches visited in search tree
lola: STP: formula with 7204 variables and 45872 clauses shipped to Minisat
lola: stp: The siphon/trap property does not hold
lola: STP completed || 1 tries, 144709 fired transitions, 0 secs || 142936 markings, 172515 edges, 28587 markings/sec, 0 secs
lola: STP completed || 1 tries, 291711 fired transitions, 5 secs || 286950 markings, 348578 edges, 28803 markings/sec, 5 secs
lola: STP completed || 1 tries, 438756 fired transitions, 10 secs || 430656 markings, 525825 edges, 28741 markings/sec, 10 secs
lola: STP completed || 1 tries, 585731 fired transitions, 15 secs || 574254 markings, 704363 edges, 28720 markings/sec, 15 secs
lola: STP completed || 1 tries, 732735 fired transitions, 20 secs || 717649 markings, 883112 edges, 28679 markings/sec, 20 secs
lola: STP completed || 1 tries, 880022 fired transitions, 25 secs || 861018 markings, 1061324 edges, 28674 markings/sec, 25 secs
lola: STP completed || 2 tries, 1027219 fired transitions, 30 secs || 1004584 markings, 1239218 edges, 28713 markings/sec, 30 secs
lola: STP completed || 2 tries, 1174232 fired transitions, 35 secs || 1147643 markings, 1417032 edges, 28612 markings/sec, 35 secs
lola: STP completed || 2 tries, 1321197 fired transitions, 40 secs || 1290524 markings, 1595592 edges, 28576 markings/sec, 40 secs
lola: STP completed || 2 tries, 1468127 fired transitions, 45 secs || 1432917 markings, 1774126 edges, 28479 markings/sec, 45 secs
lola: STP completed || 2 tries, 1614914 fired transitions, 50 secs || 1575739 markings, 1954062 edges, 28564 markings/sec, 50 secs
lola: STP completed || 2 tries, 1761736 fired transitions, 55 secs || 1718506 markings, 2133232 edges, 28553 markings/sec, 55 secs
lola: STP completed || 2 tries, 1908318 fired transitions, 60 secs || 1860924 markings, 2311818 edges, 28484 markings/sec, 60 secs
lola: STP completed || 3 tries, 2055211 fired transitions, 65 secs || 2003781 markings, 2488139 edges, 28571 markings/sec, 65 secs
lola: STP completed || 3 tries, 2202139 fired transitions, 70 secs || 2146653 markings, 2661741 edges, 28574 markings/sec, 70 secs
lola: STP completed || 3 tries, 2349263 fired transitions, 75 secs || 2289604 markings, 2835844 edges, 28590 markings/sec, 75 secs
lola: STP completed || 3 tries, 2496179 fired transitions, 80 secs || 2432604 markings, 3011945 edges, 28600 markings/sec, 80 secs
lola: STP completed || 3 tries, 2643081 fired transitions, 85 secs || 2575129 markings, 3188823 edges, 28505 markings/sec, 85 secs
lola: STP completed || 3 tries, 2789991 fired transitions, 90 secs || 2717809 markings, 3366656 edges, 28536 markings/sec, 90 secs
lola: STP completed || 3 tries, 2936997 fired transitions, 95 secs || 2860310 markings, 3543548 edges, 28500 markings/sec, 95 secs
lola: STP completed || 4 tries, 3083981 fired transitions, 100 secs || 3002488 markings, 3721678 edges, 28436 markings/sec, 100 secs
lola: STP completed || 4 tries, 3231087 fired transitions, 105 secs || 3144774 markings, 3898999 edges, 28457 markings/sec, 105 secs
lola: STP completed || 4 tries, 3378439 fired transitions, 110 secs || 3287026 markings, 4077573 edges, 28450 markings/sec, 110 secs
lola: STP completed || 4 tries, 3526409 fired transitions, 115 secs || 3430015 markings, 4256929 edges, 28598 markings/sec, 115 secs
lola: STP completed || 4 tries, 3676005 fired transitions, 120 secs || 3574248 markings, 4438731 edges, 28847 markings/sec, 120 secs
lola: STP completed || 4 tries, 3823382 fired transitions, 125 secs || 3716856 markings, 4616150 edges, 28522 markings/sec, 125 secs
lola: STP completed || 4 tries, 3970571 fired transitions, 130 secs || 3858996 markings, 4795090 edges, 28428 markings/sec, 130 secs
lola: STP completed || 5 tries, 4117774 fired transitions, 135 secs || 4000732 markings, 4974701 edges, 28347 markings/sec, 135 secs
lola: STP completed || 5 tries, 4265133 fired transitions, 140 secs || 4142570 markings, 5152520 edges, 28368 markings/sec, 140 secs
lola: STP completed || 5 tries, 4412369 fired transitions, 145 secs || 4284478 markings, 5332133 edges, 28382 markings/sec, 145 secs
lola: STP completed || 5 tries, 4560307 fired transitions, 150 secs || 4426734 markings, 5513402 edges, 28451 markings/sec, 150 secs
lola: STP completed || 5 tries, 4708783 fired transitions, 155 secs || 4569630 markings, 5695382 edges, 28579 markings/sec, 155 secs
lola: STP completed || 5 tries, 4859752 fired transitions, 160 secs || 4715033 markings, 5880521 edges, 29081 markings/sec, 160 secs
lola: STP completed || 6 tries, 5006846 fired transitions, 165 secs || 4856378 markings, 6061199 edges, 28269 markings/sec, 165 secs
lola: STP completed || 6 tries, 5154115 fired transitions, 170 secs || 4998023 markings, 6242613 edges, 28329 markings/sec, 170 secs
lola: STP completed || 6 tries, 5301219 fired transitions, 175 secs || 5139311 markings, 6423572 edges, 28258 markings/sec, 175 secs
lola: STP completed || 6 tries, 5448340 fired transitions, 180 secs || 5280758 markings, 6604307 edges, 28289 markings/sec, 180 secs
lola: STP completed || 6 tries, 5595546 fired transitions, 185 secs || 5422117 markings, 6785065 edges, 28272 markings/sec, 185 secs
lola: STP completed || 6 tries, 5742954 fired transitions, 190 secs || 5563773 markings, 6965908 edges, 28331 markings/sec, 190 secs
lola: STP completed || 6 tries, 5890019 fired transitions, 195 secs || 5705405 markings, 7145231 edges, 28326 markings/sec, 195 secs
lola: STP completed || 7 tries, 6037362 fired transitions, 200 secs || 5846589 markings, 7325561 edges, 28237 markings/sec, 200 secs
lola: STP completed || 7 tries, 6184328 fired transitions, 205 secs || 5988010 markings, 7506236 edges, 28284 markings/sec, 205 secs
lola: STP completed || 7 tries, 6331471 fired transitions, 210 secs || 6129151 markings, 7687346 edges, 28228 markings/sec, 210 secs
lola: STP completed || 7 tries, 6479507 fired transitions, 215 secs || 6271038 markings, 7870996 edges, 28377 markings/sec, 215 secs
lola: STP completed || 7 tries, 6629495 fired transitions, 220 secs || 6414685 markings, 8054198 edges, 28729 markings/sec, 220 secs
lola: STP completed || 7 tries, 6781796 fired transitions, 225 secs || 6560370 markings, 8242025 edges, 29137 markings/sec, 225 secs
lola: STP completed || 7 tries, 6936213 fired transitions, 230 secs || 6708128 markings, 8430691 edges, 29552 markings/sec, 230 secs
lola: STP completed || 8 tries, 7089223 fired transitions, 235 secs || 6855937 markings, 8620387 edges, 29562 markings/sec, 235 secs
lola: STP completed || 8 tries, 7239846 fired transitions, 240 secs || 7001115 markings, 8805457 edges, 29036 markings/sec, 240 secs
lola: STP completed || 8 tries, 7394143 fired transitions, 245 secs || 7148231 markings, 8995795 edges, 29423 markings/sec, 245 secs
lola: STP completed || 8 tries, 7546693 fired transitions, 250 secs || 7293961 markings, 9183259 edges, 29146 markings/sec, 250 secs
lola: STP completed || 8 tries, 7700184 fired transitions, 255 secs || 7440872 markings, 9371831 edges, 29382 markings/sec, 255 secs
lola: STP completed || 8 tries, 7855211 fired transitions, 260 secs || 7589601 markings, 9563062 edges, 29746 markings/sec, 260 secs
lola: STP completed || 9 tries, 8006318 fired transitions, 265 secs || 7734098 markings, 9748320 edges, 28899 markings/sec, 265 secs
lola: STP completed || 9 tries, 8152457 fired transitions, 270 secs || 7877259 markings, 9932360 edges, 28632 markings/sec, 270 secs
lola: STP completed || 9 tries, 8303367 fired transitions, 275 secs || 8021350 markings, 10118617 edges, 28818 markings/sec, 275 secs
lola: STP completed || 9 tries, 8457808 fired transitions, 280 secs || 8169462 markings, 10308152 edges, 29622 markings/sec, 280 secs
lola: STP completed || 9 tries, 8613959 fired transitions, 285 secs || 8318230 markings, 10500278 edges, 29754 markings/sec, 285 secs
lola: STP completed || 9 tries, 8771091 fired transitions, 290 secs || 8468245 markings, 10694162 edges, 30003 markings/sec, 290 secs
lola: STP completed || 9 tries, 8926610 fired transitions, 295 secs || 8616532 markings, 10886415 edges, 29657 markings/sec, 295 secs
lola: STP completed || 10 tries, 9072782 fired transitions, 300 secs || 8758117 markings, 11070484 edges, 28317 markings/sec, 300 secs
lola: STP completed || 10 tries, 9218618 fired transitions, 305 secs || 8879764 markings, 11227399 edges, 24329 markings/sec, 305 secs
lola: STP completed || 10 tries, 9364103 fired transitions, 310 secs || 9020615 markings, 11410506 edges, 28170 markings/sec, 310 secs
lola: STP completed || 10 tries, 9515706 fired transitions, 315 secs || 9165513 markings, 11597910 edges, 28980 markings/sec, 315 secs
lola: STP completed || 10 tries, 9668008 fired transitions, 320 secs || 9310573 markings, 11787488 edges, 29012 markings/sec, 320 secs
lola: STP completed || 10 tries, 9820314 fired transitions, 325 secs || 9455901 markings, 11977362 edges, 29066 markings/sec, 325 secs
lola: STP completed || 10 tries, 9965855 fired transitions, 330 secs || 9596765 markings, 12159889 edges, 28173 markings/sec, 330 secs
lola: STP completed || 11 tries, 10115010 fired transitions, 335 secs || 9739221 markings, 12345096 edges, 28491 markings/sec, 335 secs
lola: STP completed || 11 tries, 10266574 fired transitions, 340 secs || 9883309 markings, 12535158 edges, 28818 markings/sec, 340 secs
lola: STP completed || 11 tries, 10413540 fired transitions, 345 secs || 10024289 markings, 12717717 edges, 28196 markings/sec, 345 secs
lola: STP completed || 11 tries, 10560332 fired transitions, 350 secs || 10164020 markings, 12901952 edges, 27946 markings/sec, 350 secs
lola: STP completed || 11 tries, 10707589 fired transitions, 355 secs || 10305451 markings, 13082270 edges, 28286 markings/sec, 355 secs
lola: STP completed || 11 tries, 10854548 fired transitions, 360 secs || 10446295 markings, 13265069 edges, 28169 markings/sec, 360 secs
lola: STP completed || 12 tries, 11001568 fired transitions, 365 secs || 10586559 markings, 13450133 edges, 28053 markings/sec, 365 secs
lola: STP completed || 12 tries, 11149484 fired transitions, 370 secs || 10727743 markings, 13634557 edges, 28237 markings/sec, 370 secs
lola: STP completed || 12 tries, 11296758 fired transitions, 375 secs || 10867632 markings, 13816484 edges, 27978 markings/sec, 375 secs
lola: STP completed || 12 tries, 11439209 fired transitions, 380 secs || 10986554 markings, 13972832 edges, 23784 markings/sec, 380 secs
lola: STP completed || 12 tries, 11582432 fired transitions, 385 secs || 11108456 markings, 14131818 edges, 24380 markings/sec, 385 secs
lola: STP completed || 12 tries, 11727040 fired transitions, 390 secs || 11228015 markings, 14287579 edges, 23912 markings/sec, 390 secs
lola: STP completed || 12 tries, 11869754 fired transitions, 395 secs || 11353122 markings, 14451275 edges, 25021 markings/sec, 395 secs
lola: STP completed || 13 tries, 12017125 fired transitions, 400 secs || 11493674 markings, 14635375 edges, 28110 markings/sec, 400 secs
lola: STP completed || 13 tries, 12164723 fired transitions, 405 secs || 11633936 markings, 14818186 edges, 28052 markings/sec, 405 secs
lola: STP completed || 13 tries, 12311932 fired transitions, 410 secs || 11774566 markings, 15000404 edges, 28126 markings/sec, 410 secs
lola: STP completed || 13 tries, 12459243 fired transitions, 415 secs || 11914685 markings, 15182553 edges, 28024 markings/sec, 415 secs
lola: STP completed || 13 tries, 12606712 fired transitions, 420 secs || 12055179 markings, 15365761 edges, 28099 markings/sec, 420 secs
lola: STP completed || 13 tries, 12754097 fired transitions, 425 secs || 12195502 markings, 15550007 edges, 28065 markings/sec, 425 secs
lola: STP completed || 13 tries, 12903250 fired transitions, 430 secs || 12337264 markings, 15736026 edges, 28352 markings/sec, 430 secs
lola: STP completed || 14 tries, 13050375 fired transitions, 435 secs || 12477482 markings, 15920031 edges, 28044 markings/sec, 435 secs
lola: STP completed || 14 tries, 13198546 fired transitions, 440 secs || 12618417 markings, 16104640 edges, 28187 markings/sec, 440 secs
lola: STP completed || 14 tries, 13349279 fired transitions, 445 secs || 12761767 markings, 16291317 edges, 28670 markings/sec, 445 secs
lola: STP completed || 14 tries, 13499472 fired transitions, 450 secs || 12905631 markings, 16481358 edges, 28773 markings/sec, 450 secs
lola: STP completed || 14 tries, 13649348 fired transitions, 455 secs || 13047347 markings, 16666970 edges, 28343 markings/sec, 455 secs
lola: STP completed || 14 tries, 13801782 fired transitions, 460 secs || 13190866 markings, 16856083 edges, 28704 markings/sec, 460 secs
lola: STP completed || 14 tries, 13952550 fired transitions, 465 secs || 13333210 markings, 17044937 edges, 28469 markings/sec, 465 secs
lola: STP completed || 15 tries, 14101284 fired transitions, 470 secs || 13474025 markings, 17231779 edges, 28163 markings/sec, 470 secs
lola: STP completed || 15 tries, 14250551 fired transitions, 475 secs || 13615371 markings, 17417362 edges, 28269 markings/sec, 475 secs
lola: STP completed || 15 tries, 14400575 fired transitions, 480 secs || 13757381 markings, 17604389 edges, 28402 markings/sec, 480 secs
lola: STP completed || 15 tries, 14552230 fired transitions, 485 secs || 13900862 markings, 17792978 edges, 28696 markings/sec, 485 secs
lola: STP completed || 15 tries, 14701833 fired transitions, 490 secs || 14042968 markings, 17979874 edges, 28421 markings/sec, 490 secs
lola: STP completed || 15 tries, 14849932 fired transitions, 495 secs || 14183566 markings, 18164716 edges, 28120 markings/sec, 495 secs
lola: STP completed || 15 tries, 14997401 fired transitions, 500 secs || 14323938 markings, 18347478 edges, 28074 markings/sec, 500 secs
lola: STP completed || 16 tries, 15144398 fired transitions, 505 secs || 14463160 markings, 18531892 edges, 27844 markings/sec, 505 secs
lola: STP completed || 16 tries, 15291665 fired transitions, 510 secs || 14602721 markings, 18716884 edges, 27912 markings/sec, 510 secs
lola: STP completed || 16 tries, 15439012 fired transitions, 515 secs || 14742568 markings, 18901094 edges, 27969 markings/sec, 515 secs
lola: STP completed || 16 tries, 15586528 fired transitions, 520 secs || 14881804 markings, 19086985 edges, 27847 markings/sec, 520 secs
lola: STP completed || 16 tries, 15735492 fired transitions, 525 secs || 15022938 markings, 19272694 edges, 28227 markings/sec, 525 secs
lola: STP completed || 16 tries, 15887441 fired transitions, 530 secs || 15166793 markings, 19461234 edges, 28771 markings/sec, 530 secs
lola: STP completed || 17 tries, 16040894 fired transitions, 535 secs || 15311886 markings, 19651444 edges, 29019 markings/sec, 535 secs
lola: STP completed || 17 tries, 16183153 fired transitions, 540 secs || 15442680 markings, 19824918 edges, 26159 markings/sec, 540 secs
lola: STP completed || 17 tries, 16326219 fired transitions, 545 secs || 15563127 markings, 19983586 edges, 24089 markings/sec, 545 secs
lola: STP completed || 17 tries, 16466268 fired transitions, 550 secs || 15686692 markings, 20145315 edges, 24713 markings/sec, 550 secs
lola: STP completed || 17 tries, 16605221 fired transitions, 555 secs || 15810509 markings, 20308164 edges, 24763 markings/sec, 555 secs
lola: STP completed || 17 tries, 16740181 fired transitions, 560 secs || 15935268 markings, 20472588 edges, 24952 markings/sec, 560 secs
lola: STP completed || 17 tries, 16876343 fired transitions, 565 secs || 16059001 markings, 20636106 edges, 24747 markings/sec, 565 secs
lola: STP completed || 18 tries, 17012757 fired transitions, 570 secs || 16182860 markings, 20800046 edges, 24772 markings/sec, 570 secs
lola: STP completed || 18 tries, 17148916 fired transitions, 575 secs || 16306277 markings, 20960704 edges, 24683 markings/sec, 575 secs
lola: STP completed || 18 tries, 17286039 fired transitions, 580 secs || 16427079 markings, 21121747 edges, 24160 markings/sec, 580 secs
lola: STP completed || 18 tries, 17423744 fired transitions, 585 secs || 16549911 markings, 21284389 edges, 24566 markings/sec, 585 secs
lola: STP completed || 18 tries, 17562608 fired transitions, 590 secs || 16672638 markings, 21444917 edges, 24545 markings/sec, 590 secs
lola: STP completed || 18 tries, 17702346 fired transitions, 595 secs || 16792672 markings, 21603270 edges, 24007 markings/sec, 595 secs
lola: STP completed || 18 tries, 17842717 fired transitions, 600 secs || 16914525 markings, 21766357 edges, 24371 markings/sec, 600 secs
lola: STP completed || 18 tries, 17981711 fired transitions, 605 secs || 17038324 markings, 21930167 edges, 24760 markings/sec, 605 secs
lola: STP completed || 19 tries, 18127775 fired transitions, 610 secs || 17172464 markings, 22108167 edges, 26828 markings/sec, 610 secs
lola: STP completed || 19 tries, 18278276 fired transitions, 615 secs || 17314787 markings, 22298980 edges, 28465 markings/sec, 615 secs
lola: STP completed || 19 tries, 18429608 fired transitions, 620 secs || 17457643 markings, 22487066 edges, 28571 markings/sec, 620 secs
lola: STP completed || 19 tries, 18578121 fired transitions, 625 secs || 17598125 markings, 22674177 edges, 28096 markings/sec, 625 secs
lola: STP completed || 19 tries, 18728860 fired transitions, 630 secs || 17742411 markings, 22863315 edges, 28857 markings/sec, 630 secs
lola: STP completed || 19 tries, 18879300 fired transitions, 635 secs || 17884796 markings, 23052999 edges, 28477 markings/sec, 635 secs
lola: STP completed || 20 tries, 19023160 fired transitions, 640 secs || 18015412 markings, 23229298 edges, 26123 markings/sec, 640 secs
lola: STP completed || 20 tries, 19164178 fired transitions, 645 secs || 18138066 markings, 23390934 edges, 24531 markings/sec, 645 secs
lola: STP completed || 20 tries, 19306426 fired transitions, 650 secs || 18259983 markings, 23552441 edges, 24383 markings/sec, 650 secs
lola: STP completed || 20 tries, 19447013 fired transitions, 655 secs || 18385062 markings, 23717518 edges, 25016 markings/sec, 655 secs
lola: STP completed || 20 tries, 19585138 fired transitions, 660 secs || 18507839 markings, 23879969 edges, 24555 markings/sec, 660 secs
lola: STP completed || 20 tries, 19720867 fired transitions, 665 secs || 18630397 markings, 24041800 edges, 24512 markings/sec, 665 secs
lola: STP completed || 20 tries, 19858699 fired transitions, 670 secs || 18751097 markings, 24202032 edges, 24140 markings/sec, 670 secs
lola: STP completed || 20 tries, 19996855 fired transitions, 675 secs || 18874051 markings, 24364807 edges, 24591 markings/sec, 675 secs
lola: STP completed || 21 tries, 20135258 fired transitions, 680 secs || 18996950 markings, 24528403 edges, 24580 markings/sec, 680 secs
lola: STP completed || 21 tries, 20278253 fired transitions, 685 secs || 19130352 markings, 24706059 edges, 26680 markings/sec, 685 secs
lola: STP completed || 21 tries, 20426813 fired transitions, 690 secs || 19268165 markings, 24887447 edges, 27563 markings/sec, 690 secs
lola: STP completed || 21 tries, 20577229 fired transitions, 695 secs || 19409594 markings, 25077933 edges, 28286 markings/sec, 695 secs
lola: STP completed || 21 tries, 20728502 fired transitions, 700 secs || 19552586 markings, 25270250 edges, 28598 markings/sec, 700 secs
lola: STP completed || 21 tries, 20880079 fired transitions, 705 secs || 19695504 markings, 25459975 edges, 28584 markings/sec, 705 secs
lola: STP completed || 22 tries, 21031971 fired transitions, 710 secs || 19839201 markings, 25649684 edges, 28739 markings/sec, 710 secs
lola: STP completed || 22 tries, 21182731 fired transitions, 715 secs || 19981379 markings, 25838961 edges, 28436 markings/sec, 715 secs
lola: STP completed || 22 tries, 21333586 fired transitions, 720 secs || 20124067 markings, 26026800 edges, 28538 markings/sec, 720 secs
lola: STP completed || 22 tries, 21482860 fired transitions, 725 secs || 20265413 markings, 26214320 edges, 28269 markings/sec, 725 secs
lola: STP completed || 22 tries, 21634356 fired transitions, 730 secs || 20408239 markings, 26403759 edges, 28565 markings/sec, 730 secs
lola: STP completed || 22 tries, 21785638 fired transitions, 735 secs || 20550647 markings, 26595783 edges, 28482 markings/sec, 735 secs
lola: STP completed || 22 tries, 21937702 fired transitions, 740 secs || 20693947 markings, 26788167 edges, 28660 markings/sec, 740 secs
lola: STP completed || 23 tries, 22090919 fired transitions, 745 secs || 20837969 markings, 26979431 edges, 28804 markings/sec, 745 secs
lola: STP completed || 23 tries, 22243535 fired transitions, 750 secs || 20981315 markings, 27172768 edges, 28669 markings/sec, 750 secs
lola: STP completed || 23 tries, 22391686 fired transitions, 755 secs || 21121157 markings, 27359231 edges, 27968 markings/sec, 755 secs
lola: STP completed || 23 tries, 22540730 fired transitions, 760 secs || 21261367 markings, 27547261 edges, 28042 markings/sec, 760 secs
lola: STP completed || 23 tries, 22693386 fired transitions, 765 secs || 21404767 markings, 27740714 edges, 28680 markings/sec, 765 secs
lola: STP completed || 23 tries, 22845701 fired transitions, 770 secs || 21548259 markings, 27932977 edges, 28698 markings/sec, 770 secs
lola: STP completed || 23 tries, 22998034 fired transitions, 775 secs || 21692407 markings, 28124485 edges, 28830 markings/sec, 775 secs
lola: STP completed || 24 tries, 23153671 fired transitions, 780 secs || 21834806 markings, 28314921 edges, 28480 markings/sec, 780 secs
lola: STP completed || 24 tries, 23306368 fired transitions, 785 secs || 21977654 markings, 28502333 edges, 28570 markings/sec, 785 secs
lola: STP completed || 24 tries, 23459258 fired transitions, 790 secs || 22121979 markings, 28695104 edges, 28865 markings/sec, 790 secs
lola: STP completed || 24 tries, 23611262 fired transitions, 795 secs || 22266298 markings, 28887658 edges, 28864 markings/sec, 795 secs
lola: STP completed || 24 tries, 23763641 fired transitions, 800 secs || 22409885 markings, 29078540 edges, 28717 markings/sec, 800 secs
lola: STP completed || 24 tries, 23915906 fired transitions, 805 secs || 22553826 markings, 29270079 edges, 28788 markings/sec, 805 secs
lola: STP completed || 25 tries, 24068242 fired transitions, 810 secs || 22697041 markings, 29459876 edges, 28643 markings/sec, 810 secs
lola: STP completed || 25 tries, 24219557 fired transitions, 815 secs || 22838123 markings, 29648083 edges, 28216 markings/sec, 815 secs
lola: STP completed || 25 tries, 24358116 fired transitions, 820 secs || 22960923 markings, 29812095 edges, 24560 markings/sec, 820 secs
lola: STP completed || 25 tries, 24495441 fired transitions, 825 secs || 23081098 markings, 29971355 edges, 24035 markings/sec, 825 secs
lola: STP completed || 25 tries, 24646864 fired transitions, 830 secs || 23223070 markings, 30159625 edges, 28394 markings/sec, 830 secs
lola: STP completed || 25 tries, 24799116 fired transitions, 835 secs || 23366006 markings, 30353195 edges, 28587 markings/sec, 835 secs
lola: STP completed || 25 tries, 24951364 fired transitions, 840 secs || 23507170 markings, 30545262 edges, 28233 markings/sec, 840 secs
lola: STP completed || 26 tries, 25103639 fired transitions, 845 secs || 23648880 markings, 30735038 edges, 28342 markings/sec, 845 secs
lola: STP completed || 26 tries, 25256080 fired transitions, 850 secs || 23791567 markings, 30928498 edges, 28537 markings/sec, 850 secs
lola: STP completed || 26 tries, 25408265 fired transitions, 855 secs || 23934448 markings, 31118867 edges, 28576 markings/sec, 855 secs
lola: STP completed || 26 tries, 25560572 fired transitions, 860 secs || 24077620 markings, 31311900 edges, 28634 markings/sec, 860 secs
lola: STP completed || 26 tries, 25712494 fired transitions, 865 secs || 24221587 markings, 31500719 edges, 28793 markings/sec, 865 secs
lola: STP completed || 26 tries, 25864325 fired transitions, 870 secs || 24364931 markings, 31691484 edges, 28669 markings/sec, 870 secs
lola: STP completed || 27 tries, 26016828 fired transitions, 875 secs || 24507587 markings, 31883752 edges, 28531 markings/sec, 875 secs
lola: STP completed || 27 tries, 26169116 fired transitions, 880 secs || 24650034 markings, 32076478 edges, 28489 markings/sec, 880 secs
lola: STP completed || 27 tries, 26319295 fired transitions, 885 secs || 24792311 markings, 32263473 edges, 28455 markings/sec, 885 secs
lola: STP completed || 27 tries, 26470937 fired transitions, 890 secs || 24933336 markings, 32454295 edges, 28205 markings/sec, 890 secs
lola: STP completed || 27 tries, 26620009 fired transitions, 895 secs || 25074566 markings, 32644160 edges, 28246 markings/sec, 895 secs
lola: STP completed || 27 tries, 26768921 fired transitions, 900 secs || 25215170 markings, 32833224 edges, 28121 markings/sec, 900 secs
lola: STP completed || 27 tries, 26918800 fired transitions, 905 secs || 25356296 markings, 33024331 edges, 28225 markings/sec, 905 secs
lola: STP completed || 28 tries, 27067159 fired transitions, 910 secs || 25496230 markings, 33211095 edges, 27987 markings/sec, 910 secs
lola: STP completed || 28 tries, 27216216 fired transitions, 915 secs || 25635680 markings, 33398651 edges, 27890 markings/sec, 915 secs
lola: STP completed || 28 tries, 27365930 fired transitions, 920 secs || 25776152 markings, 33587457 edges, 28094 markings/sec, 920 secs
lola: STP completed || 28 tries, 27515335 fired transitions, 925 secs || 25916637 markings, 33776760 edges, 28097 markings/sec, 925 secs
lola: STP completed || 28 tries, 27664419 fired transitions, 930 secs || 26056342 markings, 33964329 edges, 27941 markings/sec, 930 secs
lola: STP completed || 28 tries, 27814052 fired transitions, 935 secs || 26196887 markings, 34153244 edges, 28109 markings/sec, 935 secs
lola: STP completed || 28 tries, 27963787 fired transitions, 940 secs || 26337613 markings, 34342600 edges, 28145 markings/sec, 940 secs
lola: STP completed || 29 tries, 28112243 fired transitions, 945 secs || 26477857 markings, 34528669 edges, 28049 markings/sec, 945 secs
lola: STP completed || 29 tries, 28261241 fired transitions, 950 secs || 26617555 markings, 34717115 edges, 27940 markings/sec, 950 secs
lola: STP completed || 29 tries, 28411483 fired transitions, 955 secs || 26758088 markings, 34908200 edges, 28107 markings/sec, 955 secs
lola: STP completed || 29 tries, 28550739 fired transitions, 960 secs || 26882831 markings, 35078949 edges, 24949 markings/sec, 960 secs
lola: STP completed || 29 tries, 28696860 fired transitions, 965 secs || 27021191 markings, 35265873 edges, 27672 markings/sec, 965 secs
lola: STP completed || 29 tries, 28844254 fired transitions, 970 secs || 27158253 markings, 35451970 edges, 27412 markings/sec, 970 secs
lola: STP completed || 29 tries, 28991425 fired transitions, 975 secs || 27296998 markings, 35640236 edges, 27749 markings/sec, 975 secs
lola: STP completed || 30 tries, 29138641 fired transitions, 980 secs || 27436157 markings, 35828249 edges, 27832 markings/sec, 980 secs
lola: STP completed || 30 tries, 29286514 fired transitions, 985 secs || 27575149 markings, 36017864 edges, 27798 markings/sec, 985 secs
lola: STP completed || 30 tries, 29437237 fired transitions, 990 secs || 27717856 markings, 36209270 edges, 28541 markings/sec, 990 secs
lola: STP completed || 30 tries, 29588785 fired transitions, 995 secs || 27861003 markings, 36401909 edges, 28629 markings/sec, 995 secs
lola: STP completed || 30 tries, 29736372 fired transitions, 1000 secs || 28001266 markings, 36589255 edges, 28053 markings/sec, 1000 secs
lola: STP completed || 30 tries, 29883664 fired transitions, 1005 secs || 28139768 markings, 36777714 edges, 27700 markings/sec, 1005 secs
lola: STP completed || 31 tries, 30030764 fired transitions, 1010 secs || 28279203 markings, 36966150 edges, 27887 markings/sec, 1010 secs
lola: STP completed || 31 tries, 30178169 fired transitions, 1015 secs || 28418258 markings, 37155990 edges, 27811 markings/sec, 1015 secs
lola: STP completed || 31 tries, 30324894 fired transitions, 1020 secs || 28556894 markings, 37342556 edges, 27727 markings/sec, 1020 secs
lola: STP completed || 31 tries, 30471995 fired transitions, 1025 secs || 28696036 markings, 37529340 edges, 27828 markings/sec, 1025 secs
lola: STP completed || 31 tries, 30619051 fired transitions, 1030 secs || 28834486 markings, 37717695 edges, 27690 markings/sec, 1030 secs
lola: STP completed || 31 tries, 30766467 fired transitions, 1035 secs || 28973631 markings, 37906433 edges, 27829 markings/sec, 1035 secs
lola: STP completed || 31 tries, 30914079 fired transitions, 1040 secs || 29112879 markings, 38094655 edges, 27850 markings/sec, 1040 secs
lola: STP completed || 32 tries, 31061819 fired transitions, 1045 secs || 29252311 markings, 38283161 edges, 27886 markings/sec, 1045 secs
lola: STP completed || 32 tries, 31209932 fired transitions, 1050 secs || 29392753 markings, 38471201 edges, 28088 markings/sec, 1050 secs
lola: STP completed || 32 tries, 31358354 fired transitions, 1055 secs || 29532700 markings, 38659959 edges, 27989 markings/sec, 1055 secs
lola: STP completed || 32 tries, 31509804 fired transitions, 1060 secs || 29675186 markings, 38851152 edges, 28497 markings/sec, 1060 secs
lola: STP completed || 32 tries, 31661881 fired transitions, 1065 secs || 29818891 markings, 39043457 edges, 28741 markings/sec, 1065 secs
lola: STP completed || 32 tries, 31813622 fired transitions, 1070 secs || 29961522 markings, 39237934 edges, 28526 markings/sec, 1070 secs
lola: STP completed || 32 tries, 31965336 fired transitions, 1075 secs || 30103968 markings, 39431429 edges, 28489 markings/sec, 1075 secs
lola: STP completed || 33 tries, 32117481 fired transitions, 1080 secs || 30246966 markings, 39625784 edges, 28600 markings/sec, 1080 secs
lola: STP completed || 33 tries, 32268603 fired transitions, 1085 secs || 30388939 markings, 39819007 edges, 28395 markings/sec, 1085 secs
lola: STP completed || 33 tries, 32419243 fired transitions, 1090 secs || 30531178 markings, 40010595 edges, 28448 markings/sec, 1090 secs
lola: STP completed || 33 tries, 32569523 fired transitions, 1095 secs || 30672850 markings, 40201100 edges, 28334 markings/sec, 1095 secs
lola: STP completed || 33 tries, 32719552 fired transitions, 1100 secs || 30814424 markings, 40391895 edges, 28315 markings/sec, 1100 secs
lola: STP completed || 33 tries, 32867798 fired transitions, 1105 secs || 30954458 markings, 40579986 edges, 28007 markings/sec, 1105 secs
lola: STP completed || 34 tries, 33015416 fired transitions, 1110 secs || 31093759 markings, 40766994 edges, 27860 markings/sec, 1110 secs
lola: STP completed || 34 tries, 33162577 fired transitions, 1115 secs || 31232509 markings, 40954172 edges, 27750 markings/sec, 1115 secs
lola: STP completed || 34 tries, 33309621 fired transitions, 1120 secs || 31371284 markings, 41142079 edges, 27755 markings/sec, 1120 secs
lola: STP completed || 34 tries, 33457003 fired transitions, 1125 secs || 31510393 markings, 41331063 edges, 27822 markings/sec, 1125 secs
lola: STP completed || 34 tries, 33605206 fired transitions, 1130 secs || 31650374 markings, 41521854 edges, 27996 markings/sec, 1130 secs
lola: STP completed || 34 tries, 33756984 fired transitions, 1135 secs || 31793297 markings, 41713892 edges, 28585 markings/sec, 1135 secs
lola: STP completed || 34 tries, 33909249 fired transitions, 1140 secs || 31936529 markings, 41908010 edges, 28646 markings/sec, 1140 secs
lola: STP completed || 35 tries, 34057820 fired transitions, 1145 secs || 32076400 markings, 42097890 edges, 27974 markings/sec, 1145 secs
lola: STP completed || 35 tries, 34209015 fired transitions, 1150 secs || 32218540 markings, 42290373 edges, 28428 markings/sec, 1150 secs
lola: STP completed || 35 tries, 34356294 fired transitions, 1155 secs || 32356931 markings, 42479237 edges, 27678 markings/sec, 1155 secs
lola: STP completed || 35 tries, 34505534 fired transitions, 1160 secs || 32497341 markings, 42670348 edges, 28082 markings/sec, 1160 secs
lola: STP completed || 35 tries, 34655439 fired transitions, 1165 secs || 32638540 markings, 42861383 edges, 28240 markings/sec, 1165 secs
lola: STP completed || 35 tries, 34804020 fired transitions, 1170 secs || 32778219 markings, 43050234 edges, 27936 markings/sec, 1170 secs
lola: STP completed || 35 tries, 34952994 fired transitions, 1175 secs || 32918501 markings, 43241929 edges, 28056 markings/sec, 1175 secs
lola: STP completed || 36 tries, 35101932 fired transitions, 1180 secs || 33058569 markings, 43433067 edges, 28014 markings/sec, 1180 secs
lola: STP completed || 36 tries, 35252355 fired transitions, 1185 secs || 33200648 markings, 43622972 edges, 28416 markings/sec, 1185 secs
lola: STP completed || 36 tries, 35401541 fired transitions, 1190 secs || 33341278 markings, 43813185 edges, 28126 markings/sec, 1190 secs
lola: STP completed || 36 tries, 35548650 fired transitions, 1195 secs || 33480151 markings, 44001445 edges, 27775 markings/sec, 1195 secs
lola: STP completed || 36 tries, 35697124 fired transitions, 1200 secs || 33619687 markings, 44191321 edges, 27907 markings/sec, 1200 secs
lola: STP completed || 36 tries, 35844228 fired transitions, 1205 secs || 33758276 markings, 44379613 edges, 27718 markings/sec, 1205 secs
lola: STP completed || 36 tries, 35991539 fired transitions, 1210 secs || 33897623 markings, 44568770 edges, 27869 markings/sec, 1210 secs
lola: STP completed || 37 tries, 36143945 fired transitions, 1215 secs || 34040556 markings, 44764168 edges, 28587 markings/sec, 1215 secs
lola: STP completed || 37 tries, 36296141 fired transitions, 1220 secs || 34183364 markings, 44960377 edges, 28562 markings/sec, 1220 secs
lola: STP completed || 37 tries, 36448739 fired transitions, 1225 secs || 34327331 markings, 45155161 edges, 28793 markings/sec, 1225 secs
lola: STP completed || 37 tries, 36601091 fired transitions, 1230 secs || 34470765 markings, 45351274 edges, 28687 markings/sec, 1230 secs
lola: STP completed || 37 tries, 36754532 fired transitions, 1235 secs || 34614858 markings, 45548523 edges, 28819 markings/sec, 1235 secs
lola: STP completed || 37 tries, 36907992 fired transitions, 1240 secs || 34759305 markings, 45745160 edges, 28889 markings/sec, 1240 secs
lola: STP completed || 38 tries, 37060765 fired transitions, 1245 secs || 34903298 markings, 45941154 edges, 28799 markings/sec, 1245 secs
lola: STP completed || 38 tries, 37214346 fired transitions, 1250 secs || 35047821 markings, 46135995 edges, 28905 markings/sec, 1250 secs
lola: STP completed || 38 tries, 37368837 fired transitions, 1255 secs || 35192614 markings, 46333716 edges, 28959 markings/sec, 1255 secs
lola: STP completed || 38 tries, 37522827 fired transitions, 1260 secs || 35337676 markings, 46529585 edges, 29012 markings/sec, 1260 secs
lola: STP completed || 38 tries, 37675932 fired transitions, 1265 secs || 35481456 markings, 46725376 edges, 28756 markings/sec, 1265 secs
lola: STP completed || 38 tries, 37829041 fired transitions, 1270 secs || 35625376 markings, 46922344 edges, 28784 markings/sec, 1270 secs
lola: STP completed || 38 tries, 37981873 fired transitions, 1275 secs || 35768946 markings, 47117565 edges, 28714 markings/sec, 1275 secs
lola: STP completed || 39 tries, 38135378 fired transitions, 1280 secs || 35914992 markings, 47297963 edges, 29209 markings/sec, 1280 secs
lola: STP completed || 39 tries, 38289670 fired transitions, 1285 secs || 36061741 markings, 47476016 edges, 29350 markings/sec, 1285 secs
lola: STP completed || 39 tries, 38441565 fired transitions, 1290 secs || 36205921 markings, 47653785 edges, 28836 markings/sec, 1290 secs
lola: STP completed || 39 tries, 38580689 fired transitions, 1295 secs || 36334886 markings, 47812782 edges, 25793 markings/sec, 1295 secs
lola: STP completed || 39 tries, 38716566 fired transitions, 1300 secs || 36460181 markings, 47967282 edges, 25059 markings/sec, 1300 secs
lola: STP completed || 39 tries, 38854327 fired transitions, 1305 secs || 36590225 markings, 48126877 edges, 26009 markings/sec, 1305 secs
lola: STP completed || 40 tries, 39004645 fired transitions, 1310 secs || 36732147 markings, 48303438 edges, 28384 markings/sec, 1310 secs
lola: STP completed || 40 tries, 39154594 fired transitions, 1315 secs || 36873934 markings, 48479979 edges, 28357 markings/sec, 1315 secs
lola: STP completed || 40 tries, 39308104 fired transitions, 1320 secs || 37018974 markings, 48661375 edges, 29008 markings/sec, 1320 secs
lola: STP completed || 40 tries, 39460903 fired transitions, 1325 secs || 37162941 markings, 48841848 edges, 28793 markings/sec, 1325 secs
lola: STP completed || 40 tries, 39614602 fired transitions, 1330 secs || 37308013 markings, 49023101 edges, 29014 markings/sec, 1330 secs
lola: STP completed || 40 tries, 39764760 fired transitions, 1335 secs || 37449936 markings, 49201633 edges, 28385 markings/sec, 1335 secs
lola: STP completed || 40 tries, 39917324 fired transitions, 1340 secs || 37594007 markings, 49381583 edges, 28814 markings/sec, 1340 secs
lola: STP completed || 41 tries, 40069900 fired transitions, 1345 secs || 37737739 markings, 49562030 edges, 28746 markings/sec, 1345 secs
lola: STP completed || 41 tries, 40222108 fired transitions, 1350 secs || 37880728 markings, 49743794 edges, 28598 markings/sec, 1350 secs
lola: STP completed || 41 tries, 40374296 fired transitions, 1355 secs || 38024391 markings, 49926075 edges, 28733 markings/sec, 1355 secs
lola: STP completed || 41 tries, 40526967 fired transitions, 1360 secs || 38168172 markings, 50107741 edges, 28756 markings/sec, 1360 secs
lola: STP completed || 41 tries, 40679800 fired transitions, 1365 secs || 38312340 markings, 50288672 edges, 28834 markings/sec, 1365 secs
lola: STP completed || 41 tries, 40832485 fired transitions, 1370 secs || 38456597 markings, 50470470 edges, 28851 markings/sec, 1370 secs
lola: STP completed || 41 tries, 40987555 fired transitions, 1375 secs || 38602110 markings, 50656082 edges, 29103 markings/sec, 1375 secs
lola: STP completed || 42 tries, 41140563 fired transitions, 1380 secs || 38746109 markings, 50838980 edges, 28800 markings/sec, 1380 secs
lola: STP completed || 42 tries, 41297668 fired transitions, 1385 secs || 38893586 markings, 51026441 edges, 29495 markings/sec, 1385 secs
lola: STP completed || 42 tries, 41446494 fired transitions, 1390 secs || 39034232 markings, 51205597 edges, 28129 markings/sec, 1390 secs
lola: STP completed || 42 tries, 41594197 fired transitions, 1395 secs || 39173778 markings, 51384949 edges, 27909 markings/sec, 1395 secs
lola: STP completed || 42 tries, 41742016 fired transitions, 1400 secs || 39313272 markings, 51562038 edges, 27899 markings/sec, 1400 secs
lola: STP completed || 42 tries, 41893789 fired transitions, 1405 secs || 39455693 markings, 51745222 edges, 28484 markings/sec, 1405 secs
lola: STP completed || 43 tries, 42049140 fired transitions, 1410 secs || 39601849 markings, 51931650 edges, 29231 markings/sec, 1410 secs
lola: STP completed || 43 tries, 42205876 fired transitions, 1415 secs || 39749016 markings, 52118867 edges, 29433 markings/sec, 1415 secs
lola: STP completed || 43 tries, 42357878 fired transitions, 1420 secs || 39892015 markings, 52302156 edges, 28600 markings/sec, 1420 secs
lola: STP completed || 43 tries, 42507624 fired transitions, 1425 secs || 40033220 markings, 52482584 edges, 28241 markings/sec, 1425 secs
lola: STP completed || 43 tries, 42657877 fired transitions, 1430 secs || 40174571 markings, 52666106 edges, 28270 markings/sec, 1430 secs
lola: STP completed || 43 tries, 42805239 fired transitions, 1435 secs || 40313832 markings, 52844615 edges, 27852 markings/sec, 1435 secs
lola: STP completed || 43 tries, 42955678 fired transitions, 1440 secs || 40455571 markings, 53028318 edges, 28348 markings/sec, 1440 secs
lola: STP completed || 44 tries, 43103966 fired transitions, 1445 secs || 40595767 markings, 53209088 edges, 28039 markings/sec, 1445 secs
lola: STP completed || 44 tries, 43251426 fired transitions, 1450 secs || 40735109 markings, 53387957 edges, 27868 markings/sec, 1450 secs
lola: STP completed || 44 tries, 43398627 fired transitions, 1455 secs || 40874140 markings, 53566143 edges, 27806 markings/sec, 1455 secs
lola: STP completed || 44 tries, 43546316 fired transitions, 1460 secs || 41012991 markings, 53745697 edges, 27770 markings/sec, 1460 secs
lola: STP completed || 44 tries, 43694570 fired transitions, 1465 secs || 41152454 markings, 53927438 edges, 27893 markings/sec, 1465 secs
lola: STP completed || 44 tries, 43842737 fired transitions, 1470 secs || 41292311 markings, 54106202 edges, 27971 markings/sec, 1470 secs
lola: STP completed || 44 tries, 43990305 fired transitions, 1475 secs || 41431136 markings, 54284794 edges, 27765 markings/sec, 1475 secs
lola: STP completed || 45 tries, 44137839 fired transitions, 1480 secs || 41570425 markings, 54465470 edges, 27858 markings/sec, 1480 secs
lola: STP completed || 45 tries, 44290559 fired transitions, 1485 secs || 41714285 markings, 54649948 edges, 28772 markings/sec, 1485 secs
lola: STP completed || 45 tries, 44445002 fired transitions, 1490 secs || 41859799 markings, 54836754 edges, 29103 markings/sec, 1490 secs
lola: STP completed || 45 tries, 44602665 fired transitions, 1495 secs || 42007518 markings, 55026424 edges, 29544 markings/sec, 1495 secs
lola: STP completed || 45 tries, 44758648 fired transitions, 1500 secs || 42154022 markings, 55216008 edges, 29301 markings/sec, 1500 secs
lola: STP completed || 45 tries, 44915555 fired transitions, 1505 secs || 42301276 markings, 55405992 edges, 29451 markings/sec, 1505 secs
lola: STP completed || 46 tries, 45073224 fired transitions, 1510 secs || 42449494 markings, 55597368 edges, 29644 markings/sec, 1510 secs
lola: STP completed || 46 tries, 45227424 fired transitions, 1515 secs || 42594455 markings, 55785483 edges, 28992 markings/sec, 1515 secs
lola: STP completed || 46 tries, 45378014 fired transitions, 1520 secs || 42736144 markings, 55969249 edges, 28338 markings/sec, 1520 secs
lola: STP completed || 46 tries, 45527361 fired transitions, 1525 secs || 42877554 markings, 56149852 edges, 28282 markings/sec, 1525 secs
lola: STP completed || 46 tries, 45680924 fired transitions, 1530 secs || 43021548 markings, 56337375 edges, 28799 markings/sec, 1530 secs
lola: STP completed || 46 tries, 45829333 fired transitions, 1535 secs || 43163175 markings, 56519349 edges, 28325 markings/sec, 1535 secs
lola: STP completed || 46 tries, 45975843 fired transitions, 1540 secs || 43304407 markings, 56701541 edges, 28246 markings/sec, 1540 secs
lola: STP completed || 47 tries, 46128301 fired transitions, 1545 secs || 43447691 markings, 56887312 edges, 28657 markings/sec, 1545 secs
lola: STP completed || 47 tries, 46275530 fired transitions, 1550 secs || 43586458 markings, 57069238 edges, 27753 markings/sec, 1550 secs
lola: STP completed || 47 tries, 46423924 fired transitions, 1555 secs || 43726029 markings, 57252354 edges, 27914 markings/sec, 1555 secs
lola: STP completed || 47 tries, 46572129 fired transitions, 1560 secs || 43865922 markings, 57433799 edges, 27979 markings/sec, 1560 secs
lola: STP completed || 47 tries, 46724599 fired transitions, 1565 secs || 44009505 markings, 57619553 edges, 28717 markings/sec, 1565 secs
lola: STP completed || 47 tries, 46876740 fired transitions, 1570 secs || 44152467 markings, 57805632 edges, 28592 markings/sec, 1570 secs
lola: STP completed || 48 tries, 47027063 fired transitions, 1575 secs || 44293561 markings, 57991125 edges, 28219 markings/sec, 1575 secs
lola: STP completed || 48 tries, 47174501 fired transitions, 1580 secs || 44432089 markings, 58173477 edges, 27706 markings/sec, 1580 secs
lola: STP completed || 48 tries, 47321956 fired transitions, 1585 secs || 44571018 markings, 58355636 edges, 27786 markings/sec, 1585 secs
lola: STP completed || 48 tries, 47469488 fired transitions, 1590 secs || 44709913 markings, 58537951 edges, 27779 markings/sec, 1590 secs
lola: STP completed || 48 tries, 47618136 fired transitions, 1595 secs || 44849781 markings, 58720645 edges, 27974 markings/sec, 1595 secs
lola: STP completed || 48 tries, 47767697 fired transitions, 1600 secs || 44990626 markings, 58905332 edges, 28169 markings/sec, 1600 secs
lola: STP completed || 48 tries, 47915471 fired transitions, 1605 secs || 45127958 markings, 59085522 edges, 27466 markings/sec, 1605 secs
lola: STP completed || 49 tries, 48062034 fired transitions, 1610 secs || 45267997 markings, 59267210 edges, 28008 markings/sec, 1610 secs
lola: STP completed || 49 tries, 48210860 fired transitions, 1615 secs || 45408187 markings, 59450352 edges, 28038 markings/sec, 1615 secs
lola: STP completed || 49 tries, 48360303 fired transitions, 1620 secs || 45548174 markings, 59635662 edges, 27997 markings/sec, 1620 secs
lola: STP completed || 49 tries, 48507624 fired transitions, 1625 secs || 45687059 markings, 59818628 edges, 27777 markings/sec, 1625 secs
lola: STP completed || 49 tries, 48652291 fired transitions, 1630 secs || 45813904 markings, 59986009 edges, 25369 markings/sec, 1630 secs
lola: STP completed || 49 tries, 48797648 fired transitions, 1635 secs || 45948230 markings, 60161341 edges, 26865 markings/sec, 1635 secs
lola: STP completed || 49 tries, 48946985 fired transitions, 1640 secs || 46087898 markings, 60345637 edges, 27934 markings/sec, 1640 secs
lola: STP completed || 50 tries, 49094430 fired transitions, 1645 secs || 46226091 markings, 60527161 edges, 27639 markings/sec, 1645 secs
lola: STP completed || 50 tries, 49241975 fired transitions, 1650 secs || 46365185 markings, 60707449 edges, 27819 markings/sec, 1650 secs
lola: STP completed || 50 tries, 49389493 fired transitions, 1655 secs || 46503900 markings, 60887669 edges, 27743 markings/sec, 1655 secs
lola: STP completed || 50 tries, 49537569 fired transitions, 1660 secs || 46643135 markings, 61070454 edges, 27847 markings/sec, 1660 secs
lola: STP completed || 50 tries, 49685218 fired transitions, 1665 secs || 46781916 markings, 61252534 edges, 27756 markings/sec, 1665 secs
lola: STP completed || 50 tries, 49832661 fired transitions, 1670 secs || 46920251 markings, 61436214 edges, 27667 markings/sec, 1670 secs
lola: STP completed || 50 tries, 49980362 fired transitions, 1675 secs || 47058687 markings, 61618413 edges, 27687 markings/sec, 1675 secs
lola: STP completed || 51 tries, 50127737 fired transitions, 1680 secs || 47198316 markings, 61799712 edges, 27926 markings/sec, 1680 secs
lola: STP completed || 51 tries, 50275312 fired transitions, 1685 secs || 47337262 markings, 61981475 edges, 27789 markings/sec, 1685 secs
lola: STP completed || 51 tries, 50422951 fired transitions, 1690 secs || 47475935 markings, 62162701 edges, 27735 markings/sec, 1690 secs
lola: STP completed || 51 tries, 50575248 fired transitions, 1695 secs || 47618813 markings, 62350348 edges, 28576 markings/sec, 1695 secs
lola: STP completed || 51 tries, 50727175 fired transitions, 1700 secs || 47761779 markings, 62536224 edges, 28593 markings/sec, 1700 secs
lola: STP completed || 51 tries, 50879338 fired transitions, 1705 secs || 47904462 markings, 62724620 edges, 28537 markings/sec, 1705 secs
lola: STP completed || 52 tries, 51032067 fired transitions, 1710 secs || 48047419 markings, 62913290 edges, 28591 markings/sec, 1710 secs
lola: STP completed || 52 tries, 51183178 fired transitions, 1715 secs || 48189094 markings, 63100429 edges, 28335 markings/sec, 1715 secs
lola: STP completed || 52 tries, 51332724 fired transitions, 1720 secs || 48329345 markings, 63285861 edges, 28050 markings/sec, 1720 secs
lola: STP completed || 52 tries, 51483165 fired transitions, 1725 secs || 48470259 markings, 63471230 edges, 28183 markings/sec, 1725 secs
lola: STP completed || 52 tries, 51632348 fired transitions, 1730 secs || 48609755 markings, 63656129 edges, 27899 markings/sec, 1730 secs
lola: STP completed || 52 tries, 51781225 fired transitions, 1735 secs || 48748706 markings, 63839868 edges, 27790 markings/sec, 1735 secs
lola: STP completed || 52 tries, 51932713 fired transitions, 1740 secs || 48889458 markings, 64026359 edges, 28150 markings/sec, 1740 secs
lola: STP completed || 53 tries, 52084905 fired transitions, 1745 secs || 49031257 markings, 64212730 edges, 28360 markings/sec, 1745 secs
lola: STP completed || 53 tries, 52236312 fired transitions, 1750 secs || 49172533 markings, 64399268 edges, 28255 markings/sec, 1750 secs
lola: STP completed || 53 tries, 52389820 fired transitions, 1755 secs || 49315876 markings, 64588919 edges, 28669 markings/sec, 1755 secs
lola: STP completed || 53 tries, 52537454 fired transitions, 1760 secs || 49453966 markings, 64772782 edges, 27618 markings/sec, 1760 secs
lola: STP completed || 53 tries, 52684832 fired transitions, 1765 secs || 49592220 markings, 64956504 edges, 27651 markings/sec, 1765 secs
lola: STP completed || 53 tries, 52832377 fired transitions, 1770 secs || 49731209 markings, 65137800 edges, 27798 markings/sec, 1770 secs
lola: STP completed || 53 tries, 52980019 fired transitions, 1775 secs || 49869702 markings, 65321504 edges, 27699 markings/sec, 1775 secs
lola: STP completed || 54 tries, 53127497 fired transitions, 1780 secs || 50008619 markings, 65504350 edges, 27783 markings/sec, 1780 secs
lola: STP completed || 54 tries, 53275256 fired transitions, 1785 secs || 50147180 markings, 65688655 edges, 27712 markings/sec, 1785 secs
lola: STP completed || 54 tries, 53422966 fired transitions, 1790 secs || 50286068 markings, 65870809 edges, 27778 markings/sec, 1790 secs
lola: STP completed || 54 tries, 53570009 fired transitions, 1795 secs || 50424685 markings, 66053493 edges, 27723 markings/sec, 1795 secs
lola: STP completed || 54 tries, 53717403 fired transitions, 1800 secs || 50563648 markings, 66236752 edges, 27793 markings/sec, 1800 secs
lola: STP completed || 54 tries, 53865186 fired transitions, 1805 secs || 50702488 markings, 66419859 edges, 27768 markings/sec, 1805 secs
lola: STP completed || 55 tries, 54013416 fired transitions, 1810 secs || 50841922 markings, 66605214 edges, 27887 markings/sec, 1810 secs
lola: STP completed || 55 tries, 54164395 fired transitions, 1815 secs || 50983137 markings, 66793303 edges, 28243 markings/sec, 1815 secs
lola: STP completed || 55 tries, 54315552 fired transitions, 1820 secs || 51124523 markings, 66981274 edges, 28277 markings/sec, 1820 secs
lola: STP completed || 55 tries, 54467390 fired transitions, 1825 secs || 51266701 markings, 67168429 edges, 28436 markings/sec, 1825 secs
lola: STP completed || 55 tries, 54618066 fired transitions, 1830 secs || 51407277 markings, 67354908 edges, 28115 markings/sec, 1830 secs
lola: STP completed || 55 tries, 54771649 fired transitions, 1835 secs || 51551399 markings, 67545736 edges, 28824 markings/sec, 1835 secs
lola: STP completed || 55 tries, 54926252 fired transitions, 1840 secs || 51695919 markings, 67737310 edges, 28904 markings/sec, 1840 secs
lola: STP completed || 56 tries, 55077571 fired transitions, 1845 secs || 51837549 markings, 67925871 edges, 28326 markings/sec, 1845 secs
lola: STP completed || 56 tries, 55227051 fired transitions, 1850 secs || 51977751 markings, 68111972 edges, 28040 markings/sec, 1850 secs
lola: STP completed || 56 tries, 55377531 fired transitions, 1855 secs || 52118876 markings, 68298631 edges, 28225 markings/sec, 1855 secs
lola: STP completed || 56 tries, 55530458 fired transitions, 1860 secs || 52261799 markings, 68485805 edges, 28585 markings/sec, 1860 secs
lola: STP completed || 56 tries, 55682499 fired transitions, 1865 secs || 52404204 markings, 68675220 edges, 28481 markings/sec, 1865 secs
lola: STP completed || 56 tries, 55833671 fired transitions, 1870 secs || 52546672 markings, 68862914 edges, 28494 markings/sec, 1870 secs
lola: STP completed || 56 tries, 55983802 fired transitions, 1875 secs || 52687776 markings, 69047794 edges, 28221 markings/sec, 1875 secs
lola: STP completed || 57 tries, 56133596 fired transitions, 1880 secs || 52828100 markings, 69234844 edges, 28065 markings/sec, 1880 secs
lola: STP completed || 57 tries, 56283104 fired transitions, 1885 secs || 52968435 markings, 69420254 edges, 28067 markings/sec, 1885 secs
lola: STP completed || 57 tries, 56432192 fired transitions, 1890 secs || 53108336 markings, 69607499 edges, 27980 markings/sec, 1890 secs
lola: STP completed || 57 tries, 56579758 fired transitions, 1895 secs || 53246444 markings, 69791553 edges, 27622 markings/sec, 1895 secs
lola: STP completed || 57 tries, 56727446 fired transitions, 1900 secs || 53385473 markings, 69974428 edges, 27806 markings/sec, 1900 secs
lola: STP completed || 57 tries, 56875050 fired transitions, 1905 secs || 53524045 markings, 70158719 edges, 27714 markings/sec, 1905 secs
lola: STP completed || 58 tries, 57022853 fired transitions, 1910 secs || 53662253 markings, 70343668 edges, 27642 markings/sec, 1910 secs
lola: STP completed || 58 tries, 57170307 fired transitions, 1915 secs || 53800210 markings, 70530322 edges, 27591 markings/sec, 1915 secs
lola: STP completed || 58 tries, 57318478 fired transitions, 1920 secs || 53938970 markings, 70715943 edges, 27752 markings/sec, 1920 secs
lola: STP completed || 58 tries, 57467138 fired transitions, 1925 secs || 54078550 markings, 70900681 edges, 27916 markings/sec, 1925 secs
lola: STP completed || 58 tries, 57615576 fired transitions, 1930 secs || 54218002 markings, 71084780 edges, 27890 markings/sec, 1930 secs
lola: STP completed || 58 tries, 57764170 fired transitions, 1935 secs || 54357269 markings, 71268761 edges, 27853 markings/sec, 1935 secs
lola: STP completed || 58 tries, 57914981 fired transitions, 1940 secs || 54498664 markings, 71457765 edges, 28279 markings/sec, 1940 secs
lola: STP completed || 59 tries, 58063911 fired transitions, 1945 secs || 54638308 markings, 71642917 edges, 27929 markings/sec, 1945 secs
lola: STP completed || 59 tries, 58213280 fired transitions, 1950 secs || 54778363 markings, 71829655 edges, 28011 markings/sec, 1950 secs
lola: STP completed || 59 tries, 58365836 fired transitions, 1955 secs || 54921130 markings, 72019926 edges, 28553 markings/sec, 1955 secs
lola: STP completed || 59 tries, 58518409 fired transitions, 1960 secs || 55063692 markings, 72211587 edges, 28512 markings/sec, 1960 secs
lola: STP completed || 59 tries, 58670851 fired transitions, 1965 secs || 55206088 markings, 72402906 edges, 28479 markings/sec, 1965 secs
lola: STP completed || 59 tries, 58823421 fired transitions, 1970 secs || 55348642 markings, 72594147 edges, 28511 markings/sec, 1970 secs
lola: STP completed || 59 tries, 58973037 fired transitions, 1975 secs || 55488561 markings, 72780819 edges, 27984 markings/sec, 1975 secs
lola: STP completed || 60 tries, 59121359 fired transitions, 1980 secs || 55628250 markings, 72965876 edges, 27938 markings/sec, 1980 secs
lola: STP completed || 60 tries, 59270389 fired transitions, 1985 secs || 55767609 markings, 73151646 edges, 27872 markings/sec, 1985 secs
lola: STP completed || 60 tries, 59422873 fired transitions, 1990 secs || 55910089 markings, 73342278 edges, 28496 markings/sec, 1990 secs
lola: STP completed || 60 tries, 59572125 fired transitions, 1995 secs || 56050044 markings, 73529101 edges, 27991 markings/sec, 1995 secs
lola: STP completed || 60 tries, 59723537 fired transitions, 2000 secs || 56192472 markings, 73717194 edges, 28486 markings/sec, 2000 secs
lola: STP completed || 60 tries, 59874052 fired transitions, 2005 secs || 56333169 markings, 73907826 edges, 28139 markings/sec, 2005 secs
lola: STP completed || 61 tries, 60027943 fired transitions, 2010 secs || 56476646 markings, 74101302 edges, 28695 markings/sec, 2010 secs
lola: STP completed || 61 tries, 60181921 fired transitions, 2015 secs || 56620741 markings, 74291607 edges, 28819 markings/sec, 2015 secs
lola: STP completed || 61 tries, 60332611 fired transitions, 2020 secs || 56761531 markings, 74482086 edges, 28158 markings/sec, 2020 secs
lola: STP completed || 61 tries, 60483050 fired transitions, 2025 secs || 56902714 markings, 74670559 edges, 28237 markings/sec, 2025 secs
lola: STP completed || 61 tries, 60632872 fired transitions, 2030 secs || 57043749 markings, 74857954 edges, 28207 markings/sec, 2030 secs
lola: STP completed || 61 tries, 60782048 fired transitions, 2035 secs || 57183780 markings, 75045070 edges, 28006 markings/sec, 2035 secs
lola: STP completed || 61 tries, 60931765 fired transitions, 2040 secs || 57323867 markings, 75232871 edges, 28017 markings/sec, 2040 secs
lola: STP completed || 62 tries, 61079539 fired transitions, 2045 secs || 57462726 markings, 75418862 edges, 27772 markings/sec, 2045 secs
lola: STP completed || 62 tries, 61229229 fired transitions, 2050 secs || 57603029 markings, 75606351 edges, 28061 markings/sec, 2050 secs
lola: STP completed || 62 tries, 61380033 fired transitions, 2055 secs || 57743956 markings, 75794378 edges, 28185 markings/sec, 2055 secs
lola: STP completed || 62 tries, 61527678 fired transitions, 2060 secs || 57882258 markings, 75980063 edges, 27660 markings/sec, 2060 secs
lola: STP completed || 62 tries, 61676181 fired transitions, 2065 secs || 58021432 markings, 76165208 edges, 27835 markings/sec, 2065 secs
lola: STP completed || 62 tries, 61824593 fired transitions, 2070 secs || 58160540 markings, 76351086 edges, 27822 markings/sec, 2070 secs
lola: STP completed || 62 tries, 61973789 fired transitions, 2075 secs || 58300206 markings, 76538590 edges, 27933 markings/sec, 2075 secs
lola: STP completed || 63 tries, 62122548 fired transitions, 2080 secs || 58439059 markings, 76726654 edges, 27771 markings/sec, 2080 secs
lola: STP completed || 63 tries, 62270412 fired transitions, 2085 secs || 58577135 markings, 76913865 edges, 27615 markings/sec, 2085 secs
lola: STP completed || 63 tries, 62418045 fired transitions, 2090 secs || 58714963 markings, 77101035 edges, 27566 markings/sec, 2090 secs
lola: STP completed || 63 tries, 62566190 fired transitions, 2095 secs || 58853795 markings, 77287528 edges, 27766 markings/sec, 2095 secs
lola: STP completed || 63 tries, 62720310 fired transitions, 2100 secs || 58997811 markings, 77480980 edges, 28803 markings/sec, 2100 secs
lola: STP completed || 63 tries, 62869964 fired transitions, 2105 secs || 59137750 markings, 77669363 edges, 27988 markings/sec, 2105 secs
lola: STP completed || 64 tries, 63018190 fired transitions, 2110 secs || 59276172 markings, 77855629 edges, 27684 markings/sec, 2110 secs
lola: STP completed || 64 tries, 63166120 fired transitions, 2115 secs || 59414664 markings, 78042930 edges, 27698 markings/sec, 2115 secs
lola: STP completed || 64 tries, 63314700 fired transitions, 2120 secs || 59553438 markings, 78229302 edges, 27755 markings/sec, 2120 secs
lola: STP completed || 64 tries, 63462417 fired transitions, 2125 secs || 59691771 markings, 78413542 edges, 27667 markings/sec, 2125 secs
lola: STP completed || 64 tries, 63610421 fired transitions, 2130 secs || 59830868 markings, 78599200 edges, 27819 markings/sec, 2130 secs
lola: STP completed || 64 tries, 63758436 fired transitions, 2135 secs || 59969452 markings, 78786387 edges, 27717 markings/sec, 2135 secs
lola: STP completed || 64 tries, 63906567 fired transitions, 2140 secs || 60108001 markings, 78973359 edges, 27710 markings/sec, 2140 secs
lola: STP completed || 65 tries, 64055674 fired transitions, 2145 secs || 60247345 markings, 79162770 edges, 27869 markings/sec, 2145 secs
lola: STP completed || 65 tries, 64208174 fired transitions, 2150 secs || 60389549 markings, 79353996 edges, 28441 markings/sec, 2150 secs
lola: STP completed || 65 tries, 64358834 fired transitions, 2155 secs || 60529318 markings, 79542030 edges, 27954 markings/sec, 2155 secs
lola: STP completed || 65 tries, 64507671 fired transitions, 2160 secs || 60667644 markings, 79729766 edges, 27665 markings/sec, 2160 secs
lola: STP completed || 65 tries, 64662740 fired transitions, 2165 secs || 60812233 markings, 79925187 edges, 28918 markings/sec, 2165 secs
lola: STP completed || 65 tries, 64813835 fired transitions, 2170 secs || 60952963 markings, 80117163 edges, 28146 markings/sec, 2170 secs
lola: STP completed || 65 tries, 64961262 fired transitions, 2175 secs || 61091105 markings, 80303615 edges, 27628 markings/sec, 2175 secs
lola: STP completed || 66 tries, 65108615 fired transitions, 2180 secs || 61229180 markings, 80489602 edges, 27615 markings/sec, 2180 secs
lola: STP completed || 66 tries, 65256315 fired transitions, 2185 secs || 61367164 markings, 80676755 edges, 27597 markings/sec, 2185 secs
lola: STP completed || 66 tries, 65403653 fired transitions, 2190 secs || 61504776 markings, 80864349 edges, 27522 markings/sec, 2190 secs
lola: STP completed || 66 tries, 65551123 fired transitions, 2195 secs || 61643136 markings, 81052118 edges, 27672 markings/sec, 2195 secs
lola: STP completed || 66 tries, 65698557 fired transitions, 2200 secs || 61780989 markings, 81238602 edges, 27571 markings/sec, 2200 secs
lola: STP completed || 66 tries, 65845932 fired transitions, 2205 secs || 61918847 markings, 81426115 edges, 27572 markings/sec, 2205 secs
lola: STP completed || 66 tries, 65993453 fired transitions, 2210 secs || 62056958 markings, 81613744 edges, 27622 markings/sec, 2210 secs
lola: STP completed || 67 tries, 66140984 fired transitions, 2215 secs || 62195491 markings, 81800254 edges, 27707 markings/sec, 2215 secs
lola: STP completed || 67 tries, 66288426 fired transitions, 2220 secs || 62333240 markings, 81986942 edges, 27550 markings/sec, 2220 secs
lola: STP completed || 67 tries, 66435965 fired transitions, 2225 secs || 62471349 markings, 82174330 edges, 27622 markings/sec, 2225 secs
lola: STP completed || 67 tries, 66583543 fired transitions, 2230 secs || 62609973 markings, 82358531 edges, 27725 markings/sec, 2230 secs
lola: STP completed || 67 tries, 66730882 fired transitions, 2235 secs || 62748561 markings, 82543376 edges, 27718 markings/sec, 2235 secs
lola: STP completed || 67 tries, 66878334 fired transitions, 2240 secs || 62886564 markings, 82728388 edges, 27601 markings/sec, 2240 secs
lola: STP completed || 68 tries, 67025863 fired transitions, 2245 secs || 63024557 markings, 82914782 edges, 27599 markings/sec, 2245 secs
lola: STP completed || 68 tries, 67173708 fired transitions, 2250 secs || 63162735 markings, 83101780 edges, 27636 markings/sec, 2250 secs
lola: STP completed || 68 tries, 67324403 fired transitions, 2255 secs || 63303699 markings, 83290304 edges, 28193 markings/sec, 2255 secs
lola: STP completed || 68 tries, 67475361 fired transitions, 2260 secs || 63444415 markings, 83481192 edges, 28143 markings/sec, 2260 secs
lola: STP completed || 68 tries, 67622472 fired transitions, 2265 secs || 63582732 markings, 83668088 edges, 27663 markings/sec, 2265 secs
lola: STP completed || 68 tries, 67770907 fired transitions, 2270 secs || 63721923 markings, 83853524 edges, 27838 markings/sec, 2270 secs
lola: STP completed || 68 tries, 67918389 fired transitions, 2275 secs || 63860019 markings, 84038670 edges, 27619 markings/sec, 2275 secs
lola: STP completed || 69 tries, 68065751 fired transitions, 2280 secs || 63998026 markings, 84225238 edges, 27601 markings/sec, 2280 secs
lola: STP completed || 69 tries, 68213384 fired transitions, 2285 secs || 64135424 markings, 84412642 edges, 27480 markings/sec, 2285 secs
lola: STP completed || 69 tries, 68361198 fired transitions, 2290 secs || 64274278 markings, 84599749 edges, 27771 markings/sec, 2290 secs
lola: STP completed || 69 tries, 68508678 fired transitions, 2295 secs || 64412506 markings, 84786883 edges, 27646 markings/sec, 2295 secs
lola: STP completed || 69 tries, 68655974 fired transitions, 2300 secs || 64551358 markings, 84974711 edges, 27770 markings/sec, 2300 secs
lola: STP completed || 69 tries, 68803215 fired transitions, 2305 secs || 64689175 markings, 85163466 edges, 27563 markings/sec, 2305 secs
lola: STP completed || 69 tries, 68951102 fired transitions, 2310 secs || 64827678 markings, 85350876 edges, 27701 markings/sec, 2310 secs
lola: STP completed || 70 tries, 69098498 fired transitions, 2315 secs || 64965450 markings, 85538816 edges, 27554 markings/sec, 2315 secs
lola: STP completed || 70 tries, 69246647 fired transitions, 2320 secs || 65104268 markings, 85726241 edges, 27764 markings/sec, 2320 secs
lola: STP completed || 70 tries, 69394152 fired transitions, 2325 secs || 65242596 markings, 85912805 edges, 27666 markings/sec, 2325 secs
lola: STP completed || 70 tries, 69543281 fired transitions, 2330 secs || 65382251 markings, 86101167 edges, 27931 markings/sec, 2330 secs
lola: STP completed || 70 tries, 69694449 fired transitions, 2335 secs || 65523695 markings, 86292310 edges, 28289 markings/sec, 2335 secs
lola: STP completed || 70 tries, 69842990 fired transitions, 2340 secs || 65662892 markings, 86480441 edges, 27839 markings/sec, 2340 secs
lola: STP completed || 70 tries, 69992242 fired transitions, 2345 secs || 65802139 markings, 86670999 edges, 27849 markings/sec, 2345 secs
lola: STP completed || 71 tries, 70141744 fired transitions, 2350 secs || 65942570 markings, 86860093 edges, 28086 markings/sec, 2350 secs
lola: STP completed || 71 tries, 70292854 fired transitions, 2355 secs || 66083384 markings, 87054178 edges, 28163 markings/sec, 2355 secs
lola: STP completed || 71 tries, 70441352 fired transitions, 2360 secs || 66222048 markings, 87241925 edges, 27733 markings/sec, 2360 secs
lola: STP completed || 71 tries, 70590196 fired transitions, 2365 secs || 66361460 markings, 87432088 edges, 27882 markings/sec, 2365 secs
lola: STP completed || 71 tries, 70738138 fired transitions, 2370 secs || 66499859 markings, 87620024 edges, 27680 markings/sec, 2370 secs
lola: STP completed || 71 tries, 70888020 fired transitions, 2375 secs || 66640233 markings, 87811782 edges, 28075 markings/sec, 2375 secs
lola: STP completed || 72 tries, 71038127 fired transitions, 2380 secs || 66780128 markings, 88002171 edges, 27979 markings/sec, 2380 secs
lola: STP completed || 72 tries, 71187168 fired transitions, 2385 secs || 66919469 markings, 88191432 edges, 27868 markings/sec, 2385 secs
lola: STP completed || 72 tries, 71336419 fired transitions, 2390 secs || 67059288 markings, 88378532 edges, 27964 markings/sec, 2390 secs
lola: STP completed || 72 tries, 71485667 fired transitions, 2395 secs || 67198865 markings, 88568926 edges, 27915 markings/sec, 2395 secs
lola: STP completed || 72 tries, 71635114 fired transitions, 2400 secs || 67339072 markings, 88757388 edges, 28041 markings/sec, 2400 secs
lola: STP completed || 72 tries, 71784517 fired transitions, 2405 secs || 67478778 markings, 88945702 edges, 27941 markings/sec, 2405 secs
lola: STP completed || 72 tries, 71933383 fired transitions, 2410 secs || 67617904 markings, 89135163 edges, 27825 markings/sec, 2410 secs
lola: STP completed || 73 tries, 72083107 fired transitions, 2415 secs || 67757460 markings, 89324780 edges, 27911 markings/sec, 2415 secs
lola: STP completed || 73 tries, 72232386 fired transitions, 2420 secs || 67897002 markings, 89512629 edges, 27908 markings/sec, 2420 secs
lola: STP completed || 73 tries, 72381293 fired transitions, 2425 secs || 68036448 markings, 89700606 edges, 27889 markings/sec, 2425 secs
lola: STP completed || 73 tries, 72530950 fired transitions, 2430 secs || 68175950 markings, 89889938 edges, 27900 markings/sec, 2430 secs
lola: STP completed || 73 tries, 72680161 fired transitions, 2435 secs || 68314980 markings, 90078187 edges, 27806 markings/sec, 2435 secs
lola: STP completed || 73 tries, 72830514 fired transitions, 2440 secs || 68455252 markings, 90269165 edges, 28054 markings/sec, 2440 secs
lola: STP completed || 73 tries, 72978943 fired transitions, 2445 secs || 68593809 markings, 90459526 edges, 27711 markings/sec, 2445 secs
lola: STP completed || 74 tries, 73128595 fired transitions, 2450 secs || 68734107 markings, 90649150 edges, 28060 markings/sec, 2450 secs
lola: STP completed || 74 tries, 73279124 fired transitions, 2455 secs || 68874469 markings, 90842416 edges, 28072 markings/sec, 2455 secs
lola: STP completed || 74 tries, 73424107 fired transitions, 2460 secs || 69012135 markings, 91029154 edges, 27533 markings/sec, 2460 secs
lola: STP completed || 74 tries, 73563415 fired transitions, 2465 secs || 69134864 markings, 91195392 edges, 24546 markings/sec, 2465 secs
lola: STP completed || 74 tries, 73702517 fired transitions, 2470 secs || 69256425 markings, 91359785 edges, 24312 markings/sec, 2470 secs
lola: STP completed || 74 tries, 73844057 fired transitions, 2475 secs || 69384616 markings, 91533638 edges, 25638 markings/sec, 2475 secs
lola: STP completed || 74 tries, 73992691 fired transitions, 2480 secs || 69523953 markings, 91718751 edges, 27867 markings/sec, 2480 secs
lola: STP completed || 75 tries, 74141520 fired transitions, 2485 secs || 69662731 markings, 91909042 edges, 27756 markings/sec, 2485 secs
lola: STP completed || 75 tries, 74290350 fired transitions, 2490 secs || 69802276 markings, 92098245 edges, 27909 markings/sec, 2490 secs
lola: STP completed || 75 tries, 74440439 fired transitions, 2495 secs || 69942137 markings, 92289736 edges, 27972 markings/sec, 2495 secs
lola: STP completed || 75 tries, 74590944 fired transitions, 2500 secs || 70082313 markings, 92482142 edges, 28035 markings/sec, 2500 secs
lola: STP completed || 75 tries, 74740450 fired transitions, 2505 secs || 70222112 markings, 92672795 edges, 27960 markings/sec, 2505 secs
lola: STP completed || 75 tries, 74889630 fired transitions, 2510 secs || 70361015 markings, 92863485 edges, 27781 markings/sec, 2510 secs
lola: STP completed || 76 tries, 75036996 fired transitions, 2515 secs || 70499000 markings, 93051967 edges, 27597 markings/sec, 2515 secs
lola: STP completed || 76 tries, 75185499 fired transitions, 2520 secs || 70637959 markings, 93243117 edges, 27792 markings/sec, 2520 secs
lola: STP completed || 76 tries, 75335335 fired transitions, 2525 secs || 70778181 markings, 93433715 edges, 28044 markings/sec, 2525 secs
lola: STP completed || 76 tries, 75484395 fired transitions, 2530 secs || 70918090 markings, 93622110 edges, 27982 markings/sec, 2530 secs
lola: STP completed || 76 tries, 75636161 fired transitions, 2535 secs || 71057844 markings, 93811278 edges, 27951 markings/sec, 2535 secs
lola: STP completed || 76 tries, 75787770 fired transitions, 2540 secs || 71198763 markings, 94003605 edges, 28184 markings/sec, 2540 secs
lola: STP completed || 76 tries, 75938192 fired transitions, 2545 secs || 71338718 markings, 94193453 edges, 27991 markings/sec, 2545 secs
lola: STP completed || 77 tries, 76087653 fired transitions, 2550 secs || 71478556 markings, 94381862 edges, 27968 markings/sec, 2550 secs
lola: STP completed || 77 tries, 76238545 fired transitions, 2555 secs || 71618138 markings, 94575237 edges, 27916 markings/sec, 2555 secs
lola: STP completed || 77 tries, 76386621 fired transitions, 2560 secs || 71755179 markings, 94763948 edges, 27408 markings/sec, 2560 secs
lola: STP completed || 77 tries, 76537126 fired transitions, 2565 secs || 71894916 markings, 94956557 edges, 27947 markings/sec, 2565 secs
lola: STP completed || 77 tries, 76686679 fired transitions, 2570 secs || 72034292 markings, 95146229 edges, 27875 markings/sec, 2570 secs
lola: STP completed || 77 tries, 76838902 fired transitions, 2575 secs || 72175431 markings, 95339802 edges, 28228 markings/sec, 2575 secs
lola: STP completed || 77 tries, 76987120 fired transitions, 2580 secs || 72313068 markings, 95529559 edges, 27527 markings/sec, 2580 secs
lola: STP completed || 78 tries, 77136145 fired transitions, 2585 secs || 72451753 markings, 95718140 edges, 27737 markings/sec, 2585 secs
lola: STP completed || 78 tries, 77283769 fired transitions, 2590 secs || 72589514 markings, 95905268 edges, 27552 markings/sec, 2590 secs
lola: STP completed || 78 tries, 77431171 fired transitions, 2595 secs || 72726826 markings, 96093027 edges, 27462 markings/sec, 2595 secs
lola: STP completed || 78 tries, 77579482 fired transitions, 2600 secs || 72864861 markings, 96281714 edges, 27607 markings/sec, 2600 secs
lola: STP completed || 78 tries, 77728799 fired transitions, 2605 secs || 73002876 markings, 96472219 edges, 27603 markings/sec, 2605 secs
lola: STP completed || 78 tries, 77876560 fired transitions, 2610 secs || 73140440 markings, 96660298 edges, 27513 markings/sec, 2610 secs
lola: STP completed || 79 tries, 78024370 fired transitions, 2615 secs || 73277921 markings, 96847849 edges, 27496 markings/sec, 2615 secs
lola: STP completed || 79 tries, 78172138 fired transitions, 2620 secs || 73415001 markings, 97036117 edges, 27416 markings/sec, 2620 secs
lola: STP completed || 79 tries, 78319713 fired transitions, 2625 secs || 73552717 markings, 97224714 edges, 27543 markings/sec, 2625 secs
lola: STP completed || 79 tries, 78467145 fired transitions, 2630 secs || 73690535 markings, 97411331 edges, 27564 markings/sec, 2630 secs
lola: STP completed || 79 tries, 78614772 fired transitions, 2635 secs || 73827676 markings, 97599773 edges, 27428 markings/sec, 2635 secs
lola: STP completed || 79 tries, 78762284 fired transitions, 2640 secs || 73964983 markings, 97788432 edges, 27461 markings/sec, 2640 secs
lola: STP completed || 79 tries, 78910087 fired transitions, 2645 secs || 74102530 markings, 97976145 edges, 27509 markings/sec, 2645 secs
lola: STP completed || 80 tries, 79057475 fired transitions, 2650 secs || 74239791 markings, 98164077 edges, 27452 markings/sec, 2650 secs
lola: STP completed || 80 tries, 79205645 fired transitions, 2655 secs || 74377685 markings, 98350947 edges, 27579 markings/sec, 2655 secs
lola: STP completed || 80 tries, 79357053 fired transitions, 2660 secs || 74518286 markings, 98545034 edges, 28120 markings/sec, 2660 secs
lola: STP completed || 80 tries, 79507249 fired transitions, 2665 secs || 74657927 markings, 98735548 edges, 27928 markings/sec, 2665 secs
lola: STP completed || 80 tries, 79655186 fired transitions, 2670 secs || 74795473 markings, 98922738 edges, 27509 markings/sec, 2670 secs
lola: STP completed || 80 tries, 79802944 fired transitions, 2675 secs || 74933062 markings, 99108961 edges, 27518 markings/sec, 2675 secs
lola: STP completed || 80 tries, 79951058 fired transitions, 2680 secs || 75070613 markings, 99296659 edges, 27510 markings/sec, 2680 secs
lola: STP completed || 81 tries, 80098701 fired transitions, 2685 secs || 75207890 markings, 99486027 edges, 27455 markings/sec, 2685 secs
lola: STP completed || 81 tries, 80246141 fired transitions, 2690 secs || 75345313 markings, 99673195 edges, 27485 markings/sec, 2690 secs
lola: STP completed || 81 tries, 80393676 fired transitions, 2695 secs || 75482393 markings, 99862500 edges, 27416 markings/sec, 2695 secs
lola: STP completed || 81 tries, 80540997 fired transitions, 2700 secs || 75619870 markings, 100049916 edges, 27495 markings/sec, 2700 secs
lola: STP completed || 81 tries, 80689856 fired transitions, 2705 secs || 75758295 markings, 100239446 edges, 27685 markings/sec, 2705 secs
lola: STP completed || 81 tries, 80838594 fired transitions, 2710 secs || 75896635 markings, 100429997 edges, 27668 markings/sec, 2710 secs
lola: STP completed || 81 tries, 80987792 fired transitions, 2715 secs || 76034521 markings, 100622638 edges, 27577 markings/sec, 2715 secs
lola: STP completed || 82 tries, 81136487 fired transitions, 2720 secs || 76172703 markings, 100812644 edges, 27636 markings/sec, 2720 secs
lola: STP completed || 82 tries, 81285511 fired transitions, 2725 secs || 76310622 markings, 101002678 edges, 27584 markings/sec, 2725 secs
lola: STP completed || 82 tries, 81436259 fired transitions, 2730 secs || 76450439 markings, 101194295 edges, 27963 markings/sec, 2730 secs
lola: STP completed || 82 tries, 81586468 fired transitions, 2735 secs || 76589852 markings, 101385565 edges, 27883 markings/sec, 2735 secs
lola: STP completed || 82 tries, 81736578 fired transitions, 2740 secs || 76728881 markings, 101577233 edges, 27806 markings/sec, 2740 secs
lola: STP completed || 82 tries, 81886934 fired transitions, 2745 secs || 76868577 markings, 101771766 edges, 27939 markings/sec, 2745 secs
lola: STP completed || 83 tries, 82037165 fired transitions, 2750 secs || 77007986 markings, 101964297 edges, 27882 markings/sec, 2750 secs
lola: STP completed || 83 tries, 82188894 fired transitions, 2755 secs || 77149411 markings, 102157417 edges, 28285 markings/sec, 2755 secs
lola: STP completed || 83 tries, 82339710 fired transitions, 2760 secs || 77289973 markings, 102349691 edges, 28112 markings/sec, 2760 secs
lola: STP completed || 83 tries, 82488576 fired transitions, 2765 secs || 77428297 markings, 102538745 edges, 27665 markings/sec, 2765 secs
lola: STP completed || 83 tries, 82638027 fired transitions, 2770 secs || 77566738 markings, 102729594 edges, 27688 markings/sec, 2770 secs
lola: STP completed || 83 tries, 82786062 fired transitions, 2775 secs || 77704176 markings, 102918995 edges, 27488 markings/sec, 2775 secs
lola: STP completed || 83 tries, 82934462 fired transitions, 2780 secs || 77841784 markings, 103108506 edges, 27522 markings/sec, 2780 secs
lola: STP completed || 84 tries, 83083604 fired transitions, 2785 secs || 77980294 markings, 103298318 edges, 27702 markings/sec, 2785 secs
lola: STP completed || 84 tries, 83231695 fired transitions, 2790 secs || 78118007 markings, 103487474 edges, 27543 markings/sec, 2790 secs
lola: STP completed || 84 tries, 83380127 fired transitions, 2795 secs || 78255982 markings, 103676323 edges, 27595 markings/sec, 2795 secs
lola: STP completed || 84 tries, 83528001 fired transitions, 2800 secs || 78392904 markings, 103866494 edges, 27384 markings/sec, 2800 secs
lola: STP completed || 84 tries, 83675539 fired transitions, 2805 secs || 78529873 markings, 104055756 edges, 27394 markings/sec, 2805 secs
lola: STP completed || 84 tries, 83824507 fired transitions, 2810 secs || 78667958 markings, 104246045 edges, 27617 markings/sec, 2810 secs
lola: STP completed || 84 tries, 83974188 fired transitions, 2815 secs || 78806686 markings, 104436664 edges, 27746 markings/sec, 2815 secs
lola: STP completed || 85 tries, 84123240 fired transitions, 2820 secs || 78945395 markings, 104626981 edges, 27742 markings/sec, 2820 secs
lola: STP completed || 85 tries, 84270902 fired transitions, 2825 secs || 79082809 markings, 104816126 edges, 27483 markings/sec, 2825 secs
lola: STP completed || 85 tries, 84420776 fired transitions, 2830 secs || 79221563 markings, 105007226 edges, 27751 markings/sec, 2830 secs
lola: STP completed || 85 tries, 84571976 fired transitions, 2835 secs || 79361612 markings, 105199036 edges, 28010 markings/sec, 2835 secs
lola: STP completed || 85 tries, 84722713 fired transitions, 2840 secs || 79501056 markings, 105391302 edges, 27889 markings/sec, 2840 secs
lola: STP completed || 85 tries, 84879607 fired transitions, 2845 secs || 79646232 markings, 105590859 edges, 29035 markings/sec, 2845 secs
lola: STP completed || 86 tries, 85037201 fired transitions, 2850 secs || 79792317 markings, 105791433 edges, 29217 markings/sec, 2850 secs
lola: STP completed || 86 tries, 85192512 fired transitions, 2855 secs || 79936667 markings, 105989440 edges, 28870 markings/sec, 2855 secs
lola: STP completed || 86 tries, 85343802 fired transitions, 2860 secs || 80077392 markings, 106182307 edges, 28145 markings/sec, 2860 secs
lola: STP completed || 86 tries, 85492983 fired transitions, 2865 secs || 80215661 markings, 106373009 edges, 27654 markings/sec, 2865 secs
lola: STP completed || 86 tries, 85648182 fired transitions, 2870 secs || 80359439 markings, 106569672 edges, 28756 markings/sec, 2870 secs
lola: STP completed || 86 tries, 85805312 fired transitions, 2875 secs || 80505834 markings, 106769922 edges, 29279 markings/sec, 2875 secs
lola: STP completed || 86 tries, 85962554 fired transitions, 2880 secs || 80651706 markings, 106971220 edges, 29174 markings/sec, 2880 secs
lola: STP completed || 87 tries, 86120563 fired transitions, 2885 secs || 80798690 markings, 107171759 edges, 29397 markings/sec, 2885 secs
lola: STP completed || 87 tries, 86278587 fired transitions, 2890 secs || 80944930 markings, 107373642 edges, 29248 markings/sec, 2890 secs
lola: STP completed || 87 tries, 86436705 fired transitions, 2895 secs || 81091752 markings, 107574859 edges, 29364 markings/sec, 2895 secs
lola: STP completed || 87 tries, 86594455 fired transitions, 2900 secs || 81238054 markings, 107776117 edges, 29260 markings/sec, 2900 secs
lola: STP completed || 87 tries, 86749762 fired transitions, 2905 secs || 81382172 markings, 107972755 edges, 28824 markings/sec, 2905 secs
lola: STP completed || 87 tries, 86901917 fired transitions, 2910 secs || 81523058 markings, 108168502 edges, 28177 markings/sec, 2910 secs
lola: STP completed || 88 tries, 87053749 fired transitions, 2915 secs || 81663053 markings, 108363440 edges, 27999 markings/sec, 2915 secs
lola: STP completed || 88 tries, 87205412 fired transitions, 2920 secs || 81803785 markings, 108556340 edges, 28146 markings/sec, 2920 secs
lola: STP completed || 88 tries, 87356588 fired transitions, 2925 secs || 81944594 markings, 108748375 edges, 28162 markings/sec, 2925 secs
lola: STP completed || 88 tries, 87509069 fired transitions, 2930 secs || 82086015 markings, 108945116 edges, 28284 markings/sec, 2930 secs
lola: STP completed || 88 tries, 87661247 fired transitions, 2935 secs || 82227383 markings, 109138808 edges, 28274 markings/sec, 2935 secs
lola: STP completed || 88 tries, 87813572 fired transitions, 2940 secs || 82368499 markings, 109332016 edges, 28223 markings/sec, 2940 secs
lola: STP completed || 88 tries, 87965821 fired transitions, 2945 secs || 82509702 markings, 109526618 edges, 28241 markings/sec, 2945 secs
lola: STP completed || 89 tries, 88117635 fired transitions, 2950 secs || 82650311 markings, 109722385 edges, 28122 markings/sec, 2950 secs
lola: STP completed || 89 tries, 88270225 fired transitions, 2955 secs || 82791741 markings, 109917306 edges, 28286 markings/sec, 2955 secs
lola: STP completed || 89 tries, 88422962 fired transitions, 2960 secs || 82932626 markings, 110112894 edges, 28177 markings/sec, 2960 secs
lola: STP completed || 89 tries, 88572811 fired transitions, 2965 secs || 83071458 markings, 110305461 edges, 27766 markings/sec, 2965 secs
lola: STP completed || 89 tries, 88722418 fired transitions, 2970 secs || 83210373 markings, 110498478 edges, 27783 markings/sec, 2970 secs
lola: STP completed || 89 tries, 88871053 fired transitions, 2975 secs || 83347861 markings, 110690387 edges, 27498 markings/sec, 2975 secs
lola: STP completed || 90 tries, 89020367 fired transitions, 2980 secs || 83486442 markings, 110881567 edges, 27716 markings/sec, 2980 secs
lola: STP completed || 90 tries, 89171768 fired transitions, 2985 secs || 83626822 markings, 111074152 edges, 28076 markings/sec, 2985 secs
lola: STP completed || 90 tries, 89327307 fired transitions, 2990 secs || 83771330 markings, 111273128 edges, 28902 markings/sec, 2990 secs
lola: STP completed || 90 tries, 89484983 fired transitions, 2995 secs || 83917660 markings, 111473894 edges, 29266 markings/sec, 2995 secs
lola: STP completed || 90 tries, 89633105 fired transitions, 3000 secs || 84055953 markings, 111662680 edges, 27659 markings/sec, 3000 secs
lola: STP completed || 90 tries, 89782045 fired transitions, 3005 secs || 84194425 markings, 111853302 edges, 27694 markings/sec, 3005 secs
lola: STP completed || 90 tries, 89929605 fired transitions, 3010 secs || 84332355 markings, 112041538 edges, 27586 markings/sec, 3010 secs
lola: STP completed || 91 tries, 90083216 fired transitions, 3015 secs || 84474785 markings, 112238241 edges, 28486 markings/sec, 3015 secs
lola: STP completed || 91 tries, 90239898 fired transitions, 3020 secs || 84619976 markings, 112437102 edges, 29038 markings/sec, 3020 secs
lola: STP completed || 91 tries, 90396468 fired transitions, 3025 secs || 84765401 markings, 112637271 edges, 29085 markings/sec, 3025 secs
lola: STP completed || 91 tries, 90552557 fired transitions, 3030 secs || 84909862 markings, 112838651 edges, 28892 markings/sec, 3030 secs
lola: STP completed || 91 tries, 90708913 fired transitions, 3035 secs || 85054405 markings, 113038373 edges, 28909 markings/sec, 3035 secs
lola: STP completed || 91 tries, 90865369 fired transitions, 3040 secs || 85198841 markings, 113240275 edges, 28887 markings/sec, 3040 secs
lola: STP completed || 92 tries, 91021809 fired transitions, 3045 secs || 85344557 markings, 113438589 edges, 29143 markings/sec, 3045 secs
lola: STP completed || 92 tries, 91178957 fired transitions, 3050 secs || 85490362 markings, 113638591 edges, 29161 markings/sec, 3050 secs
lola: STP completed || 92 tries, 91335510 fired transitions, 3055 secs || 85635720 markings, 113837653 edges, 29072 markings/sec, 3055 secs
lola: STP completed || 92 tries, 91493368 fired transitions, 3060 secs || 85782011 markings, 114039322 edges, 29258 markings/sec, 3060 secs
lola: STP completed || 92 tries, 91648326 fired transitions, 3065 secs || 85925490 markings, 114238086 edges, 28696 markings/sec, 3065 secs
lola: STP completed || 92 tries, 91803188 fired transitions, 3070 secs || 86068729 markings, 114438637 edges, 28648 markings/sec, 3070 secs
lola: STP completed || 92 tries, 91955050 fired transitions, 3075 secs || 86209643 markings, 114632052 edges, 28183 markings/sec, 3075 secs
lola: STP completed || 93 tries, 92111319 fired transitions, 3080 secs || 86354734 markings, 114831070 edges, 29018 markings/sec, 3080 secs
lola: STP completed || 93 tries, 92268664 fired transitions, 3085 secs || 86500728 markings, 115032198 edges, 29199 markings/sec, 3085 secs
lola: STP completed || 93 tries, 92425910 fired transitions, 3090 secs || 86645954 markings, 115235279 edges, 29045 markings/sec, 3090 secs
lola: STP completed || 93 tries, 92578694 fired transitions, 3095 secs || 86786456 markings, 115433722 edges, 28100 markings/sec, 3095 secs
lola: STP completed || 93 tries, 92725875 fired transitions, 3100 secs || 86925663 markings, 115625471 edges, 27841 markings/sec, 3100 secs
lola: STP completed || 93 tries, 92877514 fired transitions, 3105 secs || 87066666 markings, 115819302 edges, 28201 markings/sec, 3105 secs
lola: STP completed || 94 tries, 93031741 fired transitions, 3110 secs || 87210627 markings, 116015591 edges, 28792 markings/sec, 3110 secs
lola: STP completed || 94 tries, 93189442 fired transitions, 3115 secs || 87356398 markings, 116217517 edges, 29154 markings/sec, 3115 secs
lola: STP completed || 94 tries, 93347001 fired transitions, 3120 secs || 87502589 markings, 116420691 edges, 29238 markings/sec, 3120 secs
lola: STP completed || 94 tries, 93504521 fired transitions, 3125 secs || 87648334 markings, 116624318 edges, 29149 markings/sec, 3125 secs
lola: STP completed || 94 tries, 93661828 fired transitions, 3130 secs || 87794608 markings, 116827082 edges, 29255 markings/sec, 3130 secs
lola: STP completed || 94 tries, 93811234 fired transitions, 3135 secs || 87934053 markings, 117020948 edges, 27889 markings/sec, 3135 secs
lola: STP completed || 94 tries, 93955191 fired transitions, 3140 secs || 88068086 markings, 117207666 edges, 26807 markings/sec, 3140 secs
lola: STP completed || 95 tries, 94091074 fired transitions, 3145 secs || 88187509 markings, 117373896 edges, 23885 markings/sec, 3145 secs
lola: STP completed || 95 tries, 94232784 fired transitions, 3150 secs || 88308659 markings, 117540450 edges, 24230 markings/sec, 3150 secs
lola: STP completed || 95 tries, 94376563 fired transitions, 3155 secs || 88430286 markings, 117710475 edges, 24325 markings/sec, 3155 secs
lola: STP completed || 95 tries, 94523141 fired transitions, 3160 secs || 88552460 markings, 117881038 edges, 24435 markings/sec, 3160 secs
lola: STP completed || 95 tries, 94671377 fired transitions, 3165 secs || 88673293 markings, 118049652 edges, 24167 markings/sec, 3165 secs
lola: STP completed || 95 tries, 94819143 fired transitions, 3170 secs || 88793607 markings, 118214958 edges, 24063 markings/sec, 3170 secs
lola: STP completed || 95 tries, 94967161 fired transitions, 3175 secs || 88916069 markings, 118382112 edges, 24492 markings/sec, 3175 secs
lola: STP completed || 96 tries, 95111092 fired transitions, 3180 secs || 89040001 markings, 118555382 edges, 24786 markings/sec, 3180 secs
lola: STP completed || 96 tries, 95256771 fired transitions, 3185 secs || 89162906 markings, 118724036 edges, 24581 markings/sec, 3185 secs
lola: STP completed || 96 tries, 95404388 fired transitions, 3190 secs || 89283992 markings, 118889812 edges, 24217 markings/sec, 3190 secs
lola: STP completed || 96 tries, 95552517 fired transitions, 3195 secs || 89407371 markings, 119061386 edges, 24676 markings/sec, 3195 secs
lola: STP completed || 96 tries, 95701050 fired transitions, 3200 secs || 89527531 markings, 119228729 edges, 24032 markings/sec, 3200 secs
lola: STP completed || 96 tries, 95845274 fired transitions, 3205 secs || 89647948 markings, 119396807 edges, 24083 markings/sec, 3205 secs
lola: STP completed || 96 tries, 95987790 fired transitions, 3210 secs || 89768455 markings, 119563128 edges, 24101 markings/sec, 3210 secs
lola: STP completed || 97 tries, 96131547 fired transitions, 3215 secs || 89890061 markings, 119732410 edges, 24321 markings/sec, 3215 secs
lola: STP completed || 97 tries, 96275400 fired transitions, 3220 secs || 90011616 markings, 119899840 edges, 24311 markings/sec, 3220 secs
lola: STP completed || 97 tries, 96418222 fired transitions, 3225 secs || 90133553 markings, 120068337 edges, 24387 markings/sec, 3225 secs
lola: STP completed || 97 tries, 96561910 fired transitions, 3230 secs || 90255348 markings, 120235197 edges, 24359 markings/sec, 3230 secs
lola: STP completed || 97 tries, 96707893 fired transitions, 3235 secs || 90377228 markings, 120403222 edges, 24376 markings/sec, 3235 secs
lola: STP completed || 97 tries, 96853539 fired transitions, 3240 secs || 90497844 markings, 120573010 edges, 24123 markings/sec, 3240 secs
lola: STP completed || 97 tries, 96996861 fired transitions, 3245 secs || 90619351 markings, 120739321 edges, 24301 markings/sec, 3245 secs
lola: STP completed || 98 tries, 97144989 fired transitions, 3250 secs || 90740734 markings, 120908936 edges, 24277 markings/sec, 3250 secs
lola: STP completed || 98 tries, 97293068 fired transitions, 3255 secs || 90861367 markings, 121077237 edges, 24127 markings/sec, 3255 secs
lola: STP completed || 98 tries, 97440907 fired transitions, 3260 secs || 90982231 markings, 121244123 edges, 24173 markings/sec, 3260 secs
lola: STP completed || 98 tries, 97588207 fired transitions, 3265 secs || 91105002 markings, 121413568 edges, 24554 markings/sec, 3265 secs
lola: STP completed || 98 tries, 97735180 fired transitions, 3270 secs || 91227448 markings, 121582359 edges, 24489 markings/sec, 3270 secs
lola: STP completed || 98 tries, 97882896 fired transitions, 3275 secs || 91348665 markings, 121751347 edges, 24243 markings/sec, 3275 secs
lola: STP completed || 99 tries, 98028952 fired transitions, 3280 secs || 91482919 markings, 121935404 edges, 26851 markings/sec, 3280 secs
lola: STP completed || 99 tries, 98181375 fired transitions, 3285 secs || 91624108 markings, 122133816 edges, 28238 markings/sec, 3285 secs
lola: STP completed || 99 tries, 98333039 fired transitions, 3290 secs || 91764660 markings, 122329574 edges, 28110 markings/sec, 3290 secs
lola: STP completed || 99 tries, 98483661 fired transitions, 3295 secs || 91900589 markings, 122518546 edges, 27186 markings/sec, 3295 secs
lola: STP completed || 99 tries, 98634445 fired transitions, 3300 secs || 92040796 markings, 122712793 edges, 28041 markings/sec, 3300 secs
lola: STP completed || 99 tries, 98782242 fired transitions, 3305 secs || 92178099 markings, 122902010 edges, 27461 markings/sec, 3305 secs
lola: STP completed || 99 tries, 98930007 fired transitions, 3310 secs || 92315436 markings, 123093301 edges, 27467 markings/sec, 3310 secs
lola: STP completed || 100 tries, 99077599 fired transitions, 3315 secs || 92452416 markings, 123284809 edges, 27396 markings/sec, 3315 secs
lola: STP completed || 100 tries, 99225178 fired transitions, 3320 secs || 92588862 markings, 123477843 edges, 27289 markings/sec, 3320 secs
lola: STP completed || 100 tries, 99372177 fired transitions, 3325 secs || 92723032 markings, 123667080 edges, 26834 markings/sec, 3325 secs
lola: STP completed || 100 tries, 99519718 fired transitions, 3330 secs || 92860486 markings, 123857507 edges, 27491 markings/sec, 3330 secs
lola: STP completed || 100 tries, 99660947 fired transitions, 3335 secs || 92985539 markings, 124032580 edges, 25011 markings/sec, 3335 secs
lola: STP completed || 100 tries, 99800949 fired transitions, 3340 secs || 93109565 markings, 124204774 edges, 24805 markings/sec, 3340 secs
lola: STP completed || 100 tries, 99948218 fired transitions, 3345 secs || 93246973 markings, 124394618 edges, 27482 markings/sec, 3345 secs
lola: STP completed || 101 tries, 100095438 fired transitions, 3350 secs || 93384091 markings, 124585129 edges, 27424 markings/sec, 3350 secs
lola: STP completed || 101 tries, 100242932 fired transitions, 3355 secs || 93521229 markings, 124776339 edges, 27428 markings/sec, 3355 secs
lola: STP completed || 101 tries, 100391763 fired transitions, 3360 secs || 93659733 markings, 124968372 edges, 27701 markings/sec, 3360 secs
lola: STP completed || 101 tries, 100540083 fired transitions, 3365 secs || 93798189 markings, 125158754 edges, 27691 markings/sec, 3365 secs
lola: STP completed || 101 tries, 100690407 fired transitions, 3370 secs || 93937817 markings, 125353215 edges, 27926 markings/sec, 3370 secs
lola: STP completed || 101 tries, 100839524 fired transitions, 3375 secs || 94076081 markings, 125545991 edges, 27653 markings/sec, 3375 secs
lola: STP completed || 101 tries, 100988861 fired transitions, 3380 secs || 94215094 markings, 125738797 edges, 27803 markings/sec, 3380 secs
lola: STP completed || 102 tries, 101141105 fired transitions, 3385 secs || 94356209 markings, 125935324 edges, 28223 markings/sec, 3385 secs
lola: STP completed || 102 tries, 101293564 fired transitions, 3390 secs || 94497890 markings, 126131747 edges, 28336 markings/sec, 3390 secs
lola: STP completed || 102 tries, 101446032 fired transitions, 3395 secs || 94639225 markings, 126330660 edges, 28267 markings/sec, 3395 secs
lola: STP completed || 102 tries, 101595793 fired transitions, 3400 secs || 94778666 markings, 126525007 edges, 27888 markings/sec, 3400 secs
lola: STP completed || 102 tries, 101744303 fired transitions, 3405 secs || 94916740 markings, 126719417 edges, 27615 markings/sec, 3405 secs
lola: STP completed || 102 tries, 101894521 fired transitions, 3410 secs || 95055779 markings, 126913945 edges, 27808 markings/sec, 3410 secs
lola: STP completed || 103 tries, 102045497 fired transitions, 3415 secs || 95196070 markings, 127107466 edges, 28058 markings/sec, 3415 secs
lola: STP completed || 103 tries, 102195967 fired transitions, 3420 secs || 95335432 markings, 127302482 edges, 27872 markings/sec, 3420 secs
lola: STP completed || 103 tries, 102346725 fired transitions, 3425 secs || 95475317 markings, 127497457 edges, 27977 markings/sec, 3425 secs
lola: STP completed || 103 tries, 102498722 fired transitions, 3430 secs || 95615918 markings, 127695300 edges, 28120 markings/sec, 3430 secs
lola: STP completed || 103 tries, 102652603 fired transitions, 3435 secs || 95757858 markings, 127896433 edges, 28388 markings/sec, 3435 secs
lola: STP completed || 103 tries, 102802839 fired transitions, 3440 secs || 95897310 markings, 128089970 edges, 27890 markings/sec, 3440 secs
lola: STP completed || 103 tries, 102950294 fired transitions, 3445 secs || 96034213 markings, 128283298 edges, 27381 markings/sec, 3445 secs
lola: STP completed || 104 tries, 103097679 fired transitions, 3450 secs || 96171451 markings, 128473704 edges, 27448 markings/sec, 3450 secs
lola: STP completed || 104 tries, 103245027 fired transitions, 3455 secs || 96308944 markings, 128664702 edges, 27499 markings/sec, 3455 secs
lola: STP completed || 104 tries, 103395714 fired transitions, 3460 secs || 96448223 markings, 128862067 edges, 27856 markings/sec, 3460 secs
lola: STP completed || 104 tries, 103546655 fired transitions, 3465 secs || 96588111 markings, 129059271 edges, 27978 markings/sec, 3465 secs
lola: STP completed || 104 tries, 103696318 fired transitions, 3470 secs || 96727079 markings, 129252502 edges, 27794 markings/sec, 3470 secs
lola: STP completed || 104 tries, 103844154 fired transitions, 3475 secs || 96864510 markings, 129442621 edges, 27486 markings/sec, 3475 secs
lola: STP completed || 104 tries, 103991593 fired transitions, 3480 secs || 97001849 markings, 129633369 edges, 27468 markings/sec, 3480 secs
lola: STP completed || 105 tries, 104144027 fired transitions, 3485 secs || 97142810 markings, 129832179 edges, 28192 markings/sec, 3485 secs
lola: STP completed || 105 tries, 104296872 fired transitions, 3490 secs || 97284171 markings, 130030506 edges, 28272 markings/sec, 3490 secs
lola: STP completed || 105 tries, 104444292 fired transitions, 3495 secs || 97420858 markings, 130221681 edges, 27337 markings/sec, 3495 secs
lola: STP completed || 105 tries, 104591954 fired transitions, 3500 secs || 97558197 markings, 130413436 edges, 27468 markings/sec, 3500 secs
lola: STP completed || 105 tries, 104739287 fired transitions, 3505 secs || 97694772 markings, 130605656 edges, 27315 markings/sec, 3505 secs
lola: STP completed || 105 tries, 104887655 fired transitions, 3510 secs || 97832854 markings, 130799301 edges, 27616 markings/sec, 3510 secs
lola: STP completed || 106 tries, 105039292 fired transitions, 3515 secs || 97973492 markings, 130993510 edges, 28128 markings/sec, 3515 secs
lola: STP completed || 106 tries, 105194682 fired transitions, 3520 secs || 98117230 markings, 131194053 edges, 28748 markings/sec, 3520 secs
lola: STP completed || 106 tries, 105347906 fired transitions, 3525 secs || 98259057 markings, 131393123 edges, 28365 markings/sec, 3525 secs
lola: STP completed || 106 tries, 105497905 fired transitions, 3530 secs || 98397466 markings, 131587229 edges, 27682 markings/sec, 3530 secs
lola: STP completed || 106 tries, 105645283 fired transitions, 3535 secs || 98534781 markings, 131777037 edges, 27463 markings/sec, 3535 secs
lola: STP completed || 106 tries, 105796767 fired transitions, 3540 secs || 98675036 markings, 131971491 edges, 28051 markings/sec, 3540 secs
lola: STP completed || 106 tries, 105948644 fired transitions, 3545 secs || 98816061 markings, 132169225 edges, 28205 markings/sec, 3545 secs
lola: STP completed || 107 tries, 106098677 fired transitions, 3550 secs || 98955327 markings, 132362154 edges, 27853 markings/sec, 3550 secs
lola: STP completed || 107 tries, 106250019 fired transitions, 3555 secs || 99095314 markings, 132557784 edges, 27997 markings/sec, 3555 secs
lola: STP completed || 107 tries, 106397339 fired transitions, 3560 secs || 99232128 markings, 132748450 edges, 27363 markings/sec, 3560 secs
lola: time limit reached - aborting
lola: caught signal User defined signal 2 - aborting LoLA
lola: memory consumption: 8755808 KB
lola: time consumption: 3571 seconds

BK_STOP 1527790000607

--------------------
content from stderr:

grep: GenericPropertiesVerdict.xml: No such file or directory

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="EGFr-PT-10420"
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/EGFr-PT-10420.tgz
mv EGFr-PT-10420 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 EGFr-PT-10420, 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 r280-csrt-152749169700269"
echo "====================================================================="
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "ReachabilityDeadlock" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "ReachabilityDeadlock" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "ReachabilityDeadlock.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property ReachabilityDeadlock.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "ReachabilityDeadlock.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '' ReachabilityDeadlock.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;