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 364K
-rw-r--r-- 1 mcc users 3.0K May 15 18:54 CTLCardinality.txt
-rw-r--r-- 1 mcc users 16K May 15 18:54 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.6K May 15 18:54 CTLFireability.txt
-rw-r--r-- 1 mcc users 19K May 15 18:54 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K May 15 18:50 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.0K May 15 18:50 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 2.5K May 15 18:54 LTLCardinality.txt
-rw-r--r-- 1 mcc users 12K May 15 18:54 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.9K May 15 18:54 LTLFireability.txt
-rw-r--r-- 1 mcc users 9.7K May 15 18:54 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.2K May 15 18:54 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 16K May 15 18:54 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 107 May 15 18:54 ReachabilityDeadlock.txt
-rw-r--r-- 1 mcc users 345 May 15 18:54 ReachabilityDeadlock.xml
-rw-r--r-- 1 mcc users 2.6K May 15 18:54 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 16K May 15 18:54 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K May 15 18:54 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K May 15 18:54 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 15 18:50 equiv_col
-rw-r--r-- 1 mcc users 5 May 15 18:50 instance
-rw-r--r-- 1 mcc users 6 May 15 18:50 iscolored
-rw-r--r-- 1 mcc users 207K May 15 18:50 model.pnml
=====================================================================
Generated by BenchKit 2-3637
Executing tool lola
Input is Vasy2003-PT-none, examination is ReachabilityDeadlock
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r172-smll-152708743400426
=====================================================================

--------------------
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 Vasy2003-PT-none-ReachabilityDeadlock-0

=== Now, execution of the tool begins

BK_START 1527409427523

info: Time: 3600 - MCC
===========================================================================================
prep: translating Vasy2003-PT-none Petri net model.pnml into LoLA format
===========================================================================================
prep: translating PT Petri net complete
prep: net is already safe
prep: check for too many tokens
===========================================================================================
prep: translating Vasy2003-PT-none formula ReachabilityDeadlock into LoLA format
===========================================================================================
prep: translating PT formula complete
vrfy: Checking ReachabilityDeadlock @ Vasy2003-PT-none @ 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: 1261/65536 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 485
lola: finding significant places
lola: 485 places, 776 transitions, 419 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 962 transition conflict sets
lola: TASK
lola: reading formula from Vasy2003-PT-none-ReachabilityDeadlock.task
lola: E (F (DEADLOCK))
lola: rewrite Frontend/Parser/formula_rewrite.k:106
lola: checking reachability of deadlocks
lola: Planning: workflow for deadlock check: siphon||findpath||search) (--findpath=par,--siphontrap=par)
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using deadlock preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: SEARCH (findpath)
lola: findpath: using deadlock preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: findpath: starting randomized, memory-less exploration (--search=findpath)
lola: findpath: searching for paths with maximal depth 1000000 (--depthlimit)
lola: computing symmetries (--symmetry)
lola: time limit for symmetry computation of 300 seconds given (--symmtimelimit)
lola: findpath: no retry limit given (--retrylimit)
lola: findpath: transitions are chosen randomly
lola: STP: formula with 15425 variables and 53796 clauses shipped to Minisat
lola: computed 221 generators (115 in search tree, 106 by composition)
lola: representing 1.67663E+46 symmetries
lola: 0 dead branches visited in search tree
lola: stp: The siphon/trap property does not hold
lola: STP completed || 1 tries, 223999 fired transitions, 0 secs || 179167 markings, 327010 edges, 35833 markings/sec, 0 secs
lola: STP completed || 1 tries, 476085 fired transitions, 5 secs || 389384 markings, 728346 edges, 42043 markings/sec, 5 secs
lola: STP completed || 1 tries, 713624 fired transitions, 10 secs || 592724 markings, 1098937 edges, 40668 markings/sec, 10 secs
lola: STP completed || 1 tries, 962517 fired transitions, 15 secs || 809717 markings, 1454587 edges, 43399 markings/sec, 15 secs
lola: STP completed || 2 tries, 1220678 fired transitions, 20 secs || 1031163 markings, 1844388 edges, 44289 markings/sec, 20 secs
lola: STP completed || 2 tries, 1478284 fired transitions, 25 secs || 1257428 markings, 2193657 edges, 45253 markings/sec, 25 secs
lola: STP completed || 2 tries, 1736102 fired transitions, 30 secs || 1479280 markings, 2566268 edges, 44370 markings/sec, 30 secs
lola: STP completed || 2 tries, 1993754 fired transitions, 35 secs || 1704418 markings, 2942727 edges, 45028 markings/sec, 35 secs
lola: STP completed || 3 tries, 2252386 fired transitions, 40 secs || 1954398 markings, 3377697 edges, 49996 markings/sec, 40 secs
lola: STP completed || 3 tries, 2510926 fired transitions, 45 secs || 2201964 markings, 3849178 edges, 49513 markings/sec, 45 secs
lola: STP completed || 3 tries, 2770974 fired transitions, 50 secs || 2452883 markings, 4306494 edges, 50184 markings/sec, 50 secs
lola: STP completed || 4 tries, 3029747 fired transitions, 55 secs || 2698498 markings, 4794862 edges, 49123 markings/sec, 55 secs
lola: STP completed || 4 tries, 3289165 fired transitions, 60 secs || 2946316 markings, 5257100 edges, 49564 markings/sec, 60 secs
lola: STP completed || 4 tries, 3548997 fired transitions, 65 secs || 3198517 markings, 5696934 edges, 50440 markings/sec, 65 secs
lola: STP completed || 4 tries, 3809058 fired transitions, 70 secs || 3458391 markings, 6153598 edges, 51975 markings/sec, 70 secs
lola: STP completed || 5 tries, 4070382 fired transitions, 75 secs || 3714527 markings, 6597813 edges, 51227 markings/sec, 75 secs
lola: STP completed || 5 tries, 4331932 fired transitions, 80 secs || 3960267 markings, 7058174 edges, 49148 markings/sec, 80 secs
lola: STP completed || 5 tries, 4593271 fired transitions, 85 secs || 4203452 markings, 7517333 edges, 48637 markings/sec, 85 secs
lola: STP completed || 5 tries, 4855796 fired transitions, 90 secs || 4444396 markings, 7989512 edges, 48189 markings/sec, 90 secs
lola: STP completed || 6 tries, 5119308 fired transitions, 95 secs || 4702180 markings, 8441076 edges, 51557 markings/sec, 95 secs
lola: STP completed || 6 tries, 5380962 fired transitions, 100 secs || 4950658 markings, 8894976 edges, 49696 markings/sec, 100 secs
lola: STP completed || 6 tries, 5641414 fired transitions, 105 secs || 5197148 markings, 9343210 edges, 49298 markings/sec, 105 secs
lola: STP completed || 6 tries, 5904293 fired transitions, 110 secs || 5448719 markings, 9774663 edges, 50314 markings/sec, 110 secs
lola: STP completed || 7 tries, 6165878 fired transitions, 115 secs || 5707822 markings, 10218326 edges, 51821 markings/sec, 115 secs
lola: STP completed || 7 tries, 6428679 fired transitions, 120 secs || 5935967 markings, 10627669 edges, 45629 markings/sec, 120 secs
lola: STP completed || 7 tries, 6691670 fired transitions, 125 secs || 6163549 markings, 10993131 edges, 45516 markings/sec, 125 secs
lola: STP completed || 7 tries, 6950964 fired transitions, 130 secs || 6385561 markings, 11354720 edges, 44402 markings/sec, 130 secs
lola: STP completed || 8 tries, 7212544 fired transitions, 135 secs || 6557665 markings, 11631143 edges, 34421 markings/sec, 135 secs
lola: STP completed || 8 tries, 7471529 fired transitions, 140 secs || 6817236 markings, 12062214 edges, 51914 markings/sec, 140 secs
lola: STP completed || 8 tries, 7730124 fired transitions, 145 secs || 7059428 markings, 12460659 edges, 48438 markings/sec, 145 secs
lola: STP completed || 8 tries, 7991853 fired transitions, 150 secs || 7282918 markings, 12820093 edges, 44698 markings/sec, 150 secs
lola: STP completed || 9 tries, 8250572 fired transitions, 155 secs || 7553062 markings, 13257872 edges, 54029 markings/sec, 155 secs
lola: STP completed || 9 tries, 8509496 fired transitions, 160 secs || 7801598 markings, 13679800 edges, 49707 markings/sec, 160 secs
lola: STP completed || 9 tries, 8769767 fired transitions, 165 secs || 7990824 markings, 13983201 edges, 37845 markings/sec, 165 secs
lola: STP completed || 10 tries, 9031830 fired transitions, 170 secs || 8224703 markings, 14359568 edges, 46776 markings/sec, 170 secs
lola: STP completed || 10 tries, 9293965 fired transitions, 175 secs || 8424404 markings, 14686050 edges, 39940 markings/sec, 175 secs
lola: STP completed || 10 tries, 9555038 fired transitions, 180 secs || 8620231 markings, 15012260 edges, 39165 markings/sec, 180 secs
lola: STP completed || 10 tries, 9816440 fired transitions, 185 secs || 8824000 markings, 15341347 edges, 40754 markings/sec, 185 secs
lola: STP completed || 11 tries, 10076531 fired transitions, 190 secs || 9083002 markings, 15770269 edges, 51800 markings/sec, 190 secs
lola: STP completed || 11 tries, 10334365 fired transitions, 195 secs || 9358807 markings, 16231227 edges, 55161 markings/sec, 195 secs
lola: STP completed || 11 tries, 10593484 fired transitions, 200 secs || 9598722 markings, 16662729 edges, 47983 markings/sec, 200 secs
lola: STP completed || 11 tries, 10855289 fired transitions, 205 secs || 9838346 markings, 17120388 edges, 47925 markings/sec, 205 secs
lola: STP completed || 12 tries, 11103100 fired transitions, 210 secs || 10058014 markings, 17541118 edges, 43934 markings/sec, 210 secs
lola: STP completed || 12 tries, 11338274 fired transitions, 215 secs || 10273032 markings, 17933696 edges, 43004 markings/sec, 215 secs
lola: STP completed || 12 tries, 11573544 fired transitions, 220 secs || 10490131 markings, 18322032 edges, 43420 markings/sec, 220 secs
lola: STP completed || 12 tries, 11833965 fired transitions, 225 secs || 10727945 markings, 18741797 edges, 47563 markings/sec, 225 secs
lola: STP completed || 13 tries, 12094794 fired transitions, 230 secs || 10992539 markings, 19182006 edges, 52919 markings/sec, 230 secs
lola: STP completed || 13 tries, 12355475 fired transitions, 235 secs || 11244441 markings, 19631886 edges, 50380 markings/sec, 235 secs
lola: STP completed || 13 tries, 12614424 fired transitions, 240 secs || 11492229 markings, 20086210 edges, 49558 markings/sec, 240 secs
lola: STP completed || 13 tries, 12873533 fired transitions, 245 secs || 11700077 markings, 20451511 edges, 41570 markings/sec, 245 secs
lola: STP completed || 14 tries, 13134102 fired transitions, 250 secs || 11906033 markings, 20845406 edges, 41191 markings/sec, 250 secs
lola: STP completed || 14 tries, 13394727 fired transitions, 255 secs || 12112232 markings, 21213257 edges, 41240 markings/sec, 255 secs
lola: STP completed || 14 tries, 13653944 fired transitions, 260 secs || 12330674 markings, 21598833 edges, 43688 markings/sec, 260 secs
lola: STP completed || 14 tries, 13899287 fired transitions, 265 secs || 12526591 markings, 21931832 edges, 39183 markings/sec, 265 secs
lola: STP completed || 15 tries, 14130728 fired transitions, 270 secs || 12724780 markings, 22255960 edges, 39638 markings/sec, 270 secs
lola: STP completed || 15 tries, 14360966 fired transitions, 275 secs || 12927781 markings, 22559468 edges, 40600 markings/sec, 275 secs
lola: STP completed || 15 tries, 14593009 fired transitions, 280 secs || 13118865 markings, 22889608 edges, 38217 markings/sec, 280 secs
lola: STP completed || 15 tries, 14825204 fired transitions, 285 secs || 13330540 markings, 23193072 edges, 42335 markings/sec, 285 secs
lola: STP completed || 16 tries, 15058285 fired transitions, 290 secs || 13483058 markings, 23467649 edges, 30504 markings/sec, 290 secs
lola: STP completed || 16 tries, 15294492 fired transitions, 295 secs || 13697779 markings, 23870051 edges, 42944 markings/sec, 295 secs
lola: STP completed || 16 tries, 15530284 fired transitions, 300 secs || 13907378 markings, 24270945 edges, 41920 markings/sec, 300 secs
lola: STP completed || 16 tries, 15770921 fired transitions, 305 secs || 14128890 markings, 24660882 edges, 44302 markings/sec, 305 secs
lola: STP completed || 17 tries, 16030951 fired transitions, 310 secs || 14360107 markings, 25093729 edges, 46243 markings/sec, 310 secs
lola: STP completed || 17 tries, 16291072 fired transitions, 315 secs || 14598119 markings, 25532185 edges, 47602 markings/sec, 315 secs
lola: STP completed || 17 tries, 16552388 fired transitions, 320 secs || 14841872 markings, 25968717 edges, 48751 markings/sec, 320 secs
lola: STP completed || 17 tries, 16813918 fired transitions, 325 secs || 15085195 markings, 26414452 edges, 48665 markings/sec, 325 secs
lola: STP completed || 18 tries, 17075199 fired transitions, 330 secs || 15341807 markings, 26866866 edges, 51322 markings/sec, 330 secs
lola: STP completed || 18 tries, 17336207 fired transitions, 335 secs || 15604047 markings, 27309249 edges, 52448 markings/sec, 335 secs
lola: STP completed || 18 tries, 17596419 fired transitions, 340 secs || 15870680 markings, 27743200 edges, 53327 markings/sec, 340 secs
lola: STP completed || 18 tries, 17856656 fired transitions, 345 secs || 16109088 markings, 28193855 edges, 47682 markings/sec, 345 secs
lola: STP completed || 19 tries, 18116945 fired transitions, 350 secs || 16347325 markings, 28644264 edges, 47647 markings/sec, 350 secs
lola: STP completed || 19 tries, 18376623 fired transitions, 355 secs || 16580749 markings, 29106838 edges, 46685 markings/sec, 355 secs
lola: STP completed || 19 tries, 18635757 fired transitions, 360 secs || 16824500 markings, 29547051 edges, 48750 markings/sec, 360 secs
lola: STP completed || 19 tries, 18896403 fired transitions, 365 secs || 17080822 markings, 29996139 edges, 51264 markings/sec, 365 secs
lola: STP completed || 20 tries, 19156629 fired transitions, 370 secs || 17321785 markings, 30421104 edges, 48193 markings/sec, 370 secs
lola: STP completed || 20 tries, 19417142 fired transitions, 375 secs || 17577048 markings, 30877106 edges, 51053 markings/sec, 375 secs
lola: STP completed || 20 tries, 19664544 fired transitions, 380 secs || 17831270 markings, 31307579 edges, 50844 markings/sec, 380 secs
lola: STP completed || 20 tries, 19879620 fired transitions, 385 secs || 18117743 markings, 31824784 edges, 57295 markings/sec, 385 secs
lola: STP completed || 21 tries, 20091216 fired transitions, 390 secs || 18409868 markings, 32378119 edges, 58425 markings/sec, 390 secs
lola: STP completed || 21 tries, 20331823 fired transitions, 395 secs || 18697125 markings, 32921227 edges, 57451 markings/sec, 395 secs
lola: STP completed || 21 tries, 20573543 fired transitions, 400 secs || 18996120 markings, 33460804 edges, 59799 markings/sec, 400 secs
lola: STP completed || 21 tries, 20812402 fired transitions, 405 secs || 19291090 markings, 33983410 edges, 58994 markings/sec, 405 secs
lola: STP completed || 22 tries, 21052031 fired transitions, 410 secs || 19595707 markings, 34516983 edges, 60923 markings/sec, 410 secs
lola: STP completed || 22 tries, 21290068 fired transitions, 415 secs || 19909956 markings, 35032369 edges, 62850 markings/sec, 415 secs
lola: STP completed || 22 tries, 21529886 fired transitions, 420 secs || 20212062 markings, 35564325 edges, 60421 markings/sec, 420 secs
lola: STP completed || 22 tries, 21768865 fired transitions, 425 secs || 20530108 markings, 36087788 edges, 63609 markings/sec, 425 secs
lola: STP completed || 23 tries, 22011820 fired transitions, 430 secs || 20826170 markings, 36649956 edges, 59212 markings/sec, 430 secs
lola: STP completed || 23 tries, 22252826 fired transitions, 435 secs || 21117872 markings, 37200753 edges, 58340 markings/sec, 435 secs
lola: STP completed || 23 tries, 22491906 fired transitions, 440 secs || 21413404 markings, 37741781 edges, 59106 markings/sec, 440 secs
lola: STP completed || 23 tries, 22732669 fired transitions, 445 secs || 21712757 markings, 38292781 edges, 59871 markings/sec, 445 secs
lola: STP completed || 23 tries, 22972904 fired transitions, 450 secs || 22010450 markings, 38845505 edges, 59539 markings/sec, 450 secs
lola: STP completed || 24 tries, 23215320 fired transitions, 455 secs || 22325126 markings, 39387153 edges, 62935 markings/sec, 455 secs
lola: STP completed || 24 tries, 23467347 fired transitions, 460 secs || 22660271 markings, 39927912 edges, 67029 markings/sec, 460 secs
lola: STP completed || 24 tries, 23704953 fired transitions, 465 secs || 22991568 markings, 40467760 edges, 66259 markings/sec, 465 secs
lola: STP completed || 24 tries, 23942895 fired transitions, 470 secs || 23195305 markings, 40832461 edges, 40747 markings/sec, 470 secs
lola: STP completed || 25 tries, 24180702 fired transitions, 475 secs || 23378709 markings, 41176822 edges, 36681 markings/sec, 475 secs
lola: STP completed || 25 tries, 24418597 fired transitions, 480 secs || 23565567 markings, 41533341 edges, 37372 markings/sec, 480 secs
lola: STP completed || 25 tries, 24656268 fired transitions, 485 secs || 23748695 markings, 41874506 edges, 36626 markings/sec, 485 secs
lola: STP completed || 25 tries, 24894368 fired transitions, 490 secs || 23931438 markings, 42232734 edges, 36549 markings/sec, 490 secs
lola: STP completed || 26 tries, 25132793 fired transitions, 495 secs || 24120606 markings, 42569191 edges, 37834 markings/sec, 495 secs
lola: STP completed || 26 tries, 25370881 fired transitions, 500 secs || 24306386 markings, 42921208 edges, 37156 markings/sec, 500 secs
lola: STP completed || 26 tries, 25621226 fired transitions, 505 secs || 24505075 markings, 43276109 edges, 39738 markings/sec, 505 secs
lola: STP completed || 26 tries, 25883447 fired transitions, 510 secs || 24723922 markings, 43637246 edges, 43769 markings/sec, 510 secs
lola: STP completed || 27 tries, 26138436 fired transitions, 515 secs || 24921805 markings, 43999969 edges, 39577 markings/sec, 515 secs
lola: STP completed || 27 tries, 26389809 fired transitions, 520 secs || 25132387 markings, 44361374 edges, 42116 markings/sec, 520 secs
lola: STP completed || 27 tries, 26639092 fired transitions, 525 secs || 25320270 markings, 44698978 edges, 37577 markings/sec, 525 secs
lola: STP completed || 27 tries, 26890082 fired transitions, 530 secs || 25517006 markings, 45069134 edges, 39347 markings/sec, 530 secs
lola: STP completed || 28 tries, 27143766 fired transitions, 535 secs || 25716130 markings, 45452927 edges, 39825 markings/sec, 535 secs
lola: STP completed || 28 tries, 27390353 fired transitions, 540 secs || 25907643 markings, 45800446 edges, 38303 markings/sec, 540 secs
lola: STP completed || 28 tries, 27642801 fired transitions, 545 secs || 26106418 markings, 46183746 edges, 39755 markings/sec, 545 secs
lola: STP completed || 28 tries, 27892226 fired transitions, 550 secs || 26290409 markings, 46521206 edges, 36798 markings/sec, 550 secs
lola: STP completed || 29 tries, 28129652 fired transitions, 555 secs || 26474260 markings, 46865376 edges, 36770 markings/sec, 555 secs
lola: STP completed || 29 tries, 28366323 fired transitions, 560 secs || 26671170 markings, 47197349 edges, 39382 markings/sec, 560 secs
lola: STP completed || 29 tries, 28603388 fired transitions, 565 secs || 26860491 markings, 47519293 edges, 37864 markings/sec, 565 secs
lola: STP completed || 29 tries, 28841427 fired transitions, 570 secs || 27043020 markings, 47853292 edges, 36506 markings/sec, 570 secs
lola: STP completed || 30 tries, 29078501 fired transitions, 575 secs || 27240272 markings, 48183794 edges, 39450 markings/sec, 575 secs
lola: STP completed || 30 tries, 29314625 fired transitions, 580 secs || 27442725 markings, 48506368 edges, 40491 markings/sec, 580 secs
lola: STP completed || 30 tries, 29552212 fired transitions, 585 secs || 27637273 markings, 48826513 edges, 38910 markings/sec, 585 secs
lola: STP completed || 30 tries, 29790719 fired transitions, 590 secs || 27812305 markings, 49143710 edges, 35006 markings/sec, 590 secs
lola: STP completed || 31 tries, 30054036 fired transitions, 595 secs || 27998940 markings, 49496232 edges, 37327 markings/sec, 595 secs
lola: STP completed || 31 tries, 30317417 fired transitions, 600 secs || 28182650 markings, 49859063 edges, 36742 markings/sec, 600 secs
lola: STP completed || 31 tries, 30568977 fired transitions, 605 secs || 28358218 markings, 50190335 edges, 35114 markings/sec, 605 secs
lola: STP completed || 31 tries, 30818288 fired transitions, 610 secs || 28545689 markings, 50505680 edges, 37494 markings/sec, 610 secs
lola: STP completed || 32 tries, 31051995 fired transitions, 615 secs || 28719749 markings, 50816618 edges, 34812 markings/sec, 615 secs
lola: STP completed || 32 tries, 31281331 fired transitions, 620 secs || 28882240 markings, 51128278 edges, 32498 markings/sec, 620 secs
lola: STP completed || 32 tries, 31509727 fired transitions, 625 secs || 29058472 markings, 51438710 edges, 35246 markings/sec, 625 secs
lola: STP completed || 32 tries, 31728519 fired transitions, 630 secs || 29226115 markings, 51733098 edges, 33529 markings/sec, 630 secs
lola: STP completed || 32 tries, 31956794 fired transitions, 635 secs || 29403994 markings, 52036286 edges, 35576 markings/sec, 635 secs
lola: STP completed || 33 tries, 32192968 fired transitions, 640 secs || 29582239 markings, 52355152 edges, 35649 markings/sec, 640 secs
lola: STP completed || 33 tries, 32451419 fired transitions, 645 secs || 29787279 markings, 52690466 edges, 41008 markings/sec, 645 secs
lola: STP completed || 33 tries, 32711054 fired transitions, 650 secs || 29969319 markings, 53030620 edges, 36408 markings/sec, 650 secs
lola: STP completed || 33 tries, 32971018 fired transitions, 655 secs || 30158762 markings, 53383577 edges, 37889 markings/sec, 655 secs
lola: STP completed || 34 tries, 33231010 fired transitions, 660 secs || 30345079 markings, 53749967 edges, 37263 markings/sec, 660 secs
lola: STP completed || 34 tries, 33490587 fired transitions, 665 secs || 30529792 markings, 54079110 edges, 36943 markings/sec, 665 secs
lola: STP completed || 34 tries, 33750080 fired transitions, 670 secs || 30726454 markings, 54444334 edges, 39332 markings/sec, 670 secs
lola: STP completed || 35 tries, 34008057 fired transitions, 675 secs || 30919955 markings, 54778510 edges, 38700 markings/sec, 675 secs
lola: STP completed || 35 tries, 34267364 fired transitions, 680 secs || 31118298 markings, 55130129 edges, 39669 markings/sec, 680 secs
lola: STP completed || 35 tries, 34526449 fired transitions, 685 secs || 31312614 markings, 55467988 edges, 38863 markings/sec, 685 secs
lola: STP completed || 35 tries, 34786000 fired transitions, 690 secs || 31500959 markings, 55809393 edges, 37669 markings/sec, 690 secs
lola: STP completed || 36 tries, 35046809 fired transitions, 695 secs || 31694424 markings, 56158767 edges, 38693 markings/sec, 695 secs
lola: STP completed || 36 tries, 35306815 fired transitions, 700 secs || 31896528 markings, 56504602 edges, 40421 markings/sec, 700 secs
lola: STP completed || 36 tries, 35562251 fired transitions, 705 secs || 32081844 markings, 56847185 edges, 37063 markings/sec, 705 secs
lola: STP completed || 36 tries, 35793998 fired transitions, 710 secs || 32252273 markings, 57154410 edges, 34086 markings/sec, 710 secs
lola: STP completed || 37 tries, 36026352 fired transitions, 715 secs || 32417899 markings, 57471575 edges, 33125 markings/sec, 715 secs
lola: STP completed || 37 tries, 36257500 fired transitions, 720 secs || 32583388 markings, 57790639 edges, 33098 markings/sec, 720 secs
lola: STP completed || 37 tries, 36487685 fired transitions, 725 secs || 32746914 markings, 58089298 edges, 32705 markings/sec, 725 secs
lola: STP completed || 37 tries, 36719569 fired transitions, 730 secs || 32918048 markings, 58404368 edges, 34227 markings/sec, 730 secs
lola: STP completed || 37 tries, 36950791 fired transitions, 735 secs || 33095379 markings, 58723415 edges, 35466 markings/sec, 735 secs
lola: STP completed || 38 tries, 37179200 fired transitions, 740 secs || 33263112 markings, 59016535 edges, 33547 markings/sec, 740 secs
lola: STP completed || 38 tries, 37407763 fired transitions, 745 secs || 33440724 markings, 59325581 edges, 35522 markings/sec, 745 secs
lola: STP completed || 38 tries, 37636683 fired transitions, 750 secs || 33617082 markings, 59634765 edges, 35272 markings/sec, 750 secs
lola: STP completed || 38 tries, 37863209 fired transitions, 755 secs || 33796192 markings, 59932305 edges, 35822 markings/sec, 755 secs
lola: STP completed || 39 tries, 38091252 fired transitions, 760 secs || 33976867 markings, 60238269 edges, 36135 markings/sec, 760 secs
lola: STP completed || 39 tries, 38321327 fired transitions, 765 secs || 34150138 markings, 60549723 edges, 34654 markings/sec, 765 secs
lola: STP completed || 39 tries, 38558025 fired transitions, 770 secs || 34349509 markings, 60867460 edges, 39874 markings/sec, 770 secs
lola: STP completed || 39 tries, 38815982 fired transitions, 775 secs || 34532484 markings, 61169770 edges, 36595 markings/sec, 775 secs
lola: STP completed || 40 tries, 39074075 fired transitions, 780 secs || 34694965 markings, 61468355 edges, 32496 markings/sec, 780 secs
lola: STP completed || 40 tries, 39320613 fired transitions, 785 secs || 34845804 markings, 61772556 edges, 30168 markings/sec, 785 secs
lola: STP completed || 40 tries, 39545188 fired transitions, 790 secs || 34985702 markings, 62004497 edges, 27980 markings/sec, 790 secs
lola: STP completed || 40 tries, 39771171 fired transitions, 795 secs || 35122790 markings, 62260059 edges, 27418 markings/sec, 795 secs
lola: STP completed || 40 tries, 39996029 fired transitions, 800 secs || 35264624 markings, 62504434 edges, 28367 markings/sec, 800 secs
lola: STP completed || 41 tries, 40221740 fired transitions, 805 secs || 35407341 markings, 62757779 edges, 28543 markings/sec, 805 secs
lola: STP completed || 41 tries, 40446659 fired transitions, 810 secs || 35548202 markings, 63010531 edges, 28172 markings/sec, 810 secs
lola: STP completed || 41 tries, 40672014 fired transitions, 815 secs || 35691213 markings, 63262098 edges, 28602 markings/sec, 815 secs
lola: STP completed || 41 tries, 40896624 fired transitions, 820 secs || 35838639 markings, 63495735 edges, 29485 markings/sec, 820 secs
lola: STP completed || 42 tries, 41120600 fired transitions, 825 secs || 35991076 markings, 63726726 edges, 30487 markings/sec, 825 secs
lola: STP completed || 42 tries, 41343761 fired transitions, 830 secs || 36147793 markings, 63951868 edges, 31343 markings/sec, 830 secs
lola: STP completed || 42 tries, 41567589 fired transitions, 835 secs || 36304560 markings, 64181403 edges, 31353 markings/sec, 835 secs
lola: STP completed || 42 tries, 41795588 fired transitions, 840 secs || 36467415 markings, 64467346 edges, 32571 markings/sec, 840 secs
lola: STP completed || 43 tries, 42025953 fired transitions, 845 secs || 36629750 markings, 64763610 edges, 32467 markings/sec, 845 secs
lola: STP completed || 43 tries, 42257527 fired transitions, 850 secs || 36796697 markings, 65081823 edges, 33389 markings/sec, 850 secs
lola: STP completed || 43 tries, 42501081 fired transitions, 855 secs || 36971901 markings, 65418503 edges, 35041 markings/sec, 855 secs
lola: STP completed || 43 tries, 42761725 fired transitions, 860 secs || 37156744 markings, 65753467 edges, 36969 markings/sec, 860 secs
lola: STP completed || 44 tries, 43025296 fired transitions, 865 secs || 37342902 markings, 66114252 edges, 37232 markings/sec, 865 secs
lola: STP completed || 44 tries, 43287422 fired transitions, 870 secs || 37528815 markings, 66456827 edges, 37183 markings/sec, 870 secs
lola: STP completed || 44 tries, 43544685 fired transitions, 875 secs || 37709984 markings, 66797414 edges, 36234 markings/sec, 875 secs
lola: STP completed || 44 tries, 43779581 fired transitions, 880 secs || 37865043 markings, 67064162 edges, 31012 markings/sec, 880 secs
lola: STP completed || 45 tries, 44009601 fired transitions, 885 secs || 38043326 markings, 67358032 edges, 35657 markings/sec, 885 secs
lola: STP completed || 45 tries, 44239985 fired transitions, 890 secs || 38205193 markings, 67648751 edges, 32373 markings/sec, 890 secs
lola: STP completed || 45 tries, 44471724 fired transitions, 895 secs || 38377084 markings, 67947212 edges, 34378 markings/sec, 895 secs
lola: STP completed || 45 tries, 44711680 fired transitions, 900 secs || 38550693 markings, 68254937 edges, 34722 markings/sec, 900 secs
lola: STP completed || 45 tries, 44969934 fired transitions, 905 secs || 38731575 markings, 68594416 edges, 36176 markings/sec, 905 secs
lola: STP completed || 46 tries, 45230816 fired transitions, 910 secs || 38914557 markings, 68949431 edges, 36596 markings/sec, 910 secs
lola: STP completed || 46 tries, 45460110 fired transitions, 915 secs || 39081305 markings, 69260954 edges, 33350 markings/sec, 915 secs
lola: STP completed || 46 tries, 45689263 fired transitions, 920 secs || 39253138 markings, 69569130 edges, 34367 markings/sec, 920 secs
lola: STP completed || 46 tries, 45924646 fired transitions, 925 secs || 39426278 markings, 69870432 edges, 34628 markings/sec, 925 secs
lola: STP completed || 47 tries, 46149537 fired transitions, 930 secs || 39588968 markings, 70162634 edges, 32538 markings/sec, 930 secs
lola: STP completed || 47 tries, 46378319 fired transitions, 935 secs || 39754335 markings, 70481127 edges, 33073 markings/sec, 935 secs
lola: STP completed || 47 tries, 46605768 fired transitions, 940 secs || 39927809 markings, 70782501 edges, 34695 markings/sec, 940 secs
lola: STP completed || 47 tries, 46848273 fired transitions, 945 secs || 40106369 markings, 71101685 edges, 35712 markings/sec, 945 secs
lola: STP completed || 48 tries, 47102102 fired transitions, 950 secs || 40304289 markings, 71430828 edges, 39584 markings/sec, 950 secs
lola: STP completed || 48 tries, 47362919 fired transitions, 955 secs || 40493911 markings, 71752975 edges, 37924 markings/sec, 955 secs
lola: STP completed || 48 tries, 47623737 fired transitions, 960 secs || 40646422 markings, 72020385 edges, 30502 markings/sec, 960 secs
lola: STP completed || 48 tries, 47854711 fired transitions, 965 secs || 40771495 markings, 72243109 edges, 25015 markings/sec, 965 secs
lola: STP completed || 49 tries, 48083216 fired transitions, 970 secs || 40909076 markings, 72501335 edges, 27516 markings/sec, 970 secs
lola: STP completed || 49 tries, 48311226 fired transitions, 975 secs || 41044241 markings, 72752279 edges, 27033 markings/sec, 975 secs
lola: STP completed || 49 tries, 48540235 fired transitions, 980 secs || 41179067 markings, 73004178 edges, 26965 markings/sec, 980 secs
lola: STP completed || 49 tries, 48802454 fired transitions, 985 secs || 41344943 markings, 73268306 edges, 33175 markings/sec, 985 secs
lola: STP completed || 50 tries, 49063080 fired transitions, 990 secs || 41503405 markings, 73544135 edges, 31692 markings/sec, 990 secs
lola: STP completed || 50 tries, 49295676 fired transitions, 995 secs || 41647937 markings, 73778827 edges, 28906 markings/sec, 995 secs
lola: STP completed || 50 tries, 49522783 fired transitions, 1000 secs || 41783402 markings, 74015393 edges, 27093 markings/sec, 1000 secs
lola: STP completed || 50 tries, 49751364 fired transitions, 1005 secs || 41919780 markings, 74261934 edges, 27276 markings/sec, 1005 secs
lola: STP completed || 50 tries, 49977813 fired transitions, 1010 secs || 42064936 markings, 74487045 edges, 29031 markings/sec, 1010 secs
lola: STP completed || 51 tries, 50211263 fired transitions, 1015 secs || 42249601 markings, 74790030 edges, 36933 markings/sec, 1015 secs
lola: STP completed || 51 tries, 50474926 fired transitions, 1020 secs || 42374333 markings, 75005695 edges, 24946 markings/sec, 1020 secs
lola: STP completed || 51 tries, 50733340 fired transitions, 1025 secs || 42496367 markings, 75221314 edges, 24407 markings/sec, 1025 secs
lola: STP completed || 51 tries, 50985474 fired transitions, 1030 secs || 42618104 markings, 75459694 edges, 24347 markings/sec, 1030 secs
lola: STP completed || 52 tries, 51240004 fired transitions, 1035 secs || 42737018 markings, 75672520 edges, 23783 markings/sec, 1035 secs
lola: STP completed || 52 tries, 51504059 fired transitions, 1040 secs || 42858885 markings, 75910134 edges, 24373 markings/sec, 1040 secs
lola: STP completed || 52 tries, 51766852 fired transitions, 1045 secs || 42984052 markings, 76119311 edges, 25033 markings/sec, 1045 secs
lola: STP completed || 53 tries, 52030607 fired transitions, 1050 secs || 43107092 markings, 76333880 edges, 24608 markings/sec, 1050 secs
lola: STP completed || 53 tries, 52293428 fired transitions, 1055 secs || 43230062 markings, 76543272 edges, 24594 markings/sec, 1055 secs
lola: STP completed || 53 tries, 52532411 fired transitions, 1060 secs || 43345650 markings, 76721778 edges, 23118 markings/sec, 1060 secs
lola: STP completed || 53 tries, 52785587 fired transitions, 1065 secs || 43471152 markings, 76913238 edges, 25100 markings/sec, 1065 secs
lola: STP completed || 54 tries, 53036735 fired transitions, 1070 secs || 43592412 markings, 77120528 edges, 24252 markings/sec, 1070 secs
lola: STP completed || 54 tries, 53273165 fired transitions, 1075 secs || 43700258 markings, 77309537 edges, 21569 markings/sec, 1075 secs
lola: STP completed || 54 tries, 53509144 fired transitions, 1080 secs || 43811178 markings, 77503709 edges, 22184 markings/sec, 1080 secs
lola: STP completed || 54 tries, 53752224 fired transitions, 1085 secs || 43927306 markings, 77710207 edges, 23226 markings/sec, 1085 secs
lola: STP completed || 55 tries, 54013428 fired transitions, 1090 secs || 44049651 markings, 77924643 edges, 24469 markings/sec, 1090 secs
lola: STP completed || 55 tries, 54276083 fired transitions, 1095 secs || 44178314 markings, 78168702 edges, 25733 markings/sec, 1095 secs
lola: STP completed || 55 tries, 54538152 fired transitions, 1100 secs || 44301888 markings, 78398123 edges, 24715 markings/sec, 1100 secs
lola: STP completed || 55 tries, 54801966 fired transitions, 1105 secs || 44424645 markings, 78632064 edges, 24551 markings/sec, 1105 secs
lola: STP completed || 56 tries, 55065297 fired transitions, 1110 secs || 44549009 markings, 78848064 edges, 24873 markings/sec, 1110 secs
lola: STP completed || 56 tries, 55328112 fired transitions, 1115 secs || 44673018 markings, 79063930 edges, 24802 markings/sec, 1115 secs
lola: STP completed || 56 tries, 55560509 fired transitions, 1120 secs || 44787907 markings, 79253580 edges, 22978 markings/sec, 1120 secs
lola: STP completed || 56 tries, 55791192 fired transitions, 1125 secs || 44902337 markings, 79444435 edges, 22886 markings/sec, 1125 secs
lola: STP completed || 57 tries, 56021092 fired transitions, 1130 secs || 45021985 markings, 79623776 edges, 23930 markings/sec, 1130 secs
lola: STP completed || 57 tries, 56252889 fired transitions, 1135 secs || 45134890 markings, 79820980 edges, 22581 markings/sec, 1135 secs
lola: STP completed || 57 tries, 56483595 fired transitions, 1140 secs || 45251851 markings, 80016579 edges, 23392 markings/sec, 1140 secs
lola: STP completed || 57 tries, 56721176 fired transitions, 1145 secs || 45368503 markings, 80227303 edges, 23330 markings/sec, 1145 secs
lola: STP completed || 57 tries, 56979033 fired transitions, 1150 secs || 45499207 markings, 80438340 edges, 26141 markings/sec, 1150 secs
lola: STP completed || 58 tries, 57228104 fired transitions, 1155 secs || 45623750 markings, 80635346 edges, 24909 markings/sec, 1155 secs
lola: STP completed || 58 tries, 57476339 fired transitions, 1160 secs || 45795065 markings, 80914671 edges, 34263 markings/sec, 1160 secs
lola: STP completed || 58 tries, 57723335 fired transitions, 1165 secs || 46021053 markings, 81304812 edges, 45198 markings/sec, 1165 secs
lola: STP completed || 58 tries, 57972275 fired transitions, 1170 secs || 46199483 markings, 81626114 edges, 35686 markings/sec, 1170 secs
lola: STP completed || 59 tries, 58221276 fired transitions, 1175 secs || 46374922 markings, 81956004 edges, 35088 markings/sec, 1175 secs
lola: STP completed || 59 tries, 58469998 fired transitions, 1180 secs || 46551120 markings, 82296729 edges, 35240 markings/sec, 1180 secs
lola: STP completed || 59 tries, 58719251 fired transitions, 1185 secs || 46720932 markings, 82615275 edges, 33962 markings/sec, 1185 secs
lola: STP completed || 59 tries, 58967544 fired transitions, 1190 secs || 46895259 markings, 82937929 edges, 34865 markings/sec, 1190 secs
lola: STP completed || 60 tries, 59215732 fired transitions, 1195 secs || 47074676 markings, 83255339 edges, 35883 markings/sec, 1195 secs
lola: STP completed || 60 tries, 59467357 fired transitions, 1200 secs || 47252199 markings, 83575691 edges, 35505 markings/sec, 1200 secs
lola: STP completed || 60 tries, 59727789 fired transitions, 1205 secs || 47442814 markings, 83906860 edges, 38123 markings/sec, 1205 secs
lola: STP completed || 60 tries, 59988803 fired transitions, 1210 secs || 47645827 markings, 84240599 edges, 40603 markings/sec, 1210 secs
lola: STP completed || 61 tries, 60248365 fired transitions, 1215 secs || 47834797 markings, 84576254 edges, 37794 markings/sec, 1215 secs
lola: STP completed || 61 tries, 60509860 fired transitions, 1220 secs || 48022602 markings, 84930099 edges, 37561 markings/sec, 1220 secs
lola: STP completed || 61 tries, 60771929 fired transitions, 1225 secs || 48216316 markings, 85273871 edges, 38743 markings/sec, 1225 secs
lola: STP completed || 62 tries, 61030580 fired transitions, 1230 secs || 48407839 markings, 85612781 edges, 38305 markings/sec, 1230 secs
lola: STP completed || 62 tries, 61286622 fired transitions, 1235 secs || 48611806 markings, 85946357 edges, 40793 markings/sec, 1235 secs
lola: STP completed || 62 tries, 61546766 fired transitions, 1240 secs || 48808007 markings, 86286020 edges, 39240 markings/sec, 1240 secs
lola: STP completed || 62 tries, 61803150 fired transitions, 1245 secs || 48967906 markings, 86566070 edges, 31980 markings/sec, 1245 secs
lola: STP completed || 63 tries, 62061381 fired transitions, 1250 secs || 49119205 markings, 86833656 edges, 30260 markings/sec, 1250 secs
lola: STP completed || 63 tries, 62319866 fired transitions, 1255 secs || 49276919 markings, 87122093 edges, 31543 markings/sec, 1255 secs
lola: STP completed || 63 tries, 62579576 fired transitions, 1260 secs || 49437310 markings, 87405024 edges, 32078 markings/sec, 1260 secs
lola: STP completed || 63 tries, 62836835 fired transitions, 1265 secs || 49591444 markings, 87697698 edges, 30827 markings/sec, 1265 secs
lola: STP completed || 64 tries, 63097052 fired transitions, 1270 secs || 49745355 markings, 87972126 edges, 30782 markings/sec, 1270 secs
lola: STP completed || 64 tries, 63354877 fired transitions, 1275 secs || 49900035 markings, 88243076 edges, 30936 markings/sec, 1275 secs
lola: STP completed || 64 tries, 63614099 fired transitions, 1280 secs || 50053377 markings, 88509065 edges, 30668 markings/sec, 1280 secs
lola: STP completed || 64 tries, 63872101 fired transitions, 1285 secs || 50217798 markings, 88783910 edges, 32884 markings/sec, 1285 secs
lola: STP completed || 65 tries, 64130973 fired transitions, 1290 secs || 50391794 markings, 89031649 edges, 34799 markings/sec, 1290 secs
lola: STP completed || 65 tries, 64388048 fired transitions, 1295 secs || 50556400 markings, 89296487 edges, 32921 markings/sec, 1295 secs
lola: STP completed || 65 tries, 64644011 fired transitions, 1300 secs || 50722851 markings, 89558467 edges, 33290 markings/sec, 1300 secs
lola: STP completed || 65 tries, 64891117 fired transitions, 1305 secs || 50877351 markings, 89840102 edges, 30900 markings/sec, 1305 secs
lola: STP completed || 66 tries, 65136570 fired transitions, 1310 secs || 51027126 markings, 90115256 edges, 29955 markings/sec, 1310 secs
lola: STP completed || 66 tries, 65381605 fired transitions, 1315 secs || 51177291 markings, 90382085 edges, 30033 markings/sec, 1315 secs
lola: STP completed || 66 tries, 65626985 fired transitions, 1320 secs || 51324465 markings, 90646052 edges, 29435 markings/sec, 1320 secs
lola: STP completed || 66 tries, 65872681 fired transitions, 1325 secs || 51472063 markings, 90919192 edges, 29520 markings/sec, 1325 secs
lola: STP completed || 67 tries, 66118036 fired transitions, 1330 secs || 51622400 markings, 91192105 edges, 30067 markings/sec, 1330 secs
lola: STP completed || 67 tries, 66364155 fired transitions, 1335 secs || 51784349 markings, 91461540 edges, 32390 markings/sec, 1335 secs
lola: STP completed || 67 tries, 66610917 fired transitions, 1340 secs || 51949365 markings, 91712374 edges, 33003 markings/sec, 1340 secs
lola: STP completed || 67 tries, 66857316 fired transitions, 1345 secs || 52105388 markings, 91981637 edges, 31205 markings/sec, 1345 secs
lola: STP completed || 68 tries, 67103490 fired transitions, 1350 secs || 52259448 markings, 92256322 edges, 30812 markings/sec, 1350 secs
lola: STP completed || 68 tries, 67349694 fired transitions, 1355 secs || 52426593 markings, 92501071 edges, 33429 markings/sec, 1355 secs
lola: STP completed || 68 tries, 67595929 fired transitions, 1360 secs || 52587515 markings, 92763609 edges, 32184 markings/sec, 1360 secs
lola: STP completed || 68 tries, 67842067 fired transitions, 1365 secs || 52750250 markings, 93044014 edges, 32547 markings/sec, 1365 secs
lola: STP completed || 69 tries, 68086516 fired transitions, 1370 secs || 52903895 markings, 93311278 edges, 30729 markings/sec, 1370 secs
lola: STP completed || 69 tries, 68331014 fired transitions, 1375 secs || 53056351 markings, 93594935 edges, 30491 markings/sec, 1375 secs
lola: STP completed || 69 tries, 68576906 fired transitions, 1380 secs || 53209333 markings, 93881770 edges, 30596 markings/sec, 1380 secs
lola: STP completed || 69 tries, 68821172 fired transitions, 1385 secs || 53359492 markings, 94149882 edges, 30032 markings/sec, 1385 secs
lola: STP completed || 70 tries, 69066949 fired transitions, 1390 secs || 53514292 markings, 94438492 edges, 30960 markings/sec, 1390 secs
lola: STP completed || 70 tries, 69311293 fired transitions, 1395 secs || 53668223 markings, 94713967 edges, 30786 markings/sec, 1395 secs
lola: STP completed || 70 tries, 69558605 fired transitions, 1400 secs || 53820522 markings, 94991898 edges, 30460 markings/sec, 1400 secs
lola: STP completed || 70 tries, 69816265 fired transitions, 1405 secs || 53995389 markings, 95254116 edges, 34973 markings/sec, 1405 secs
lola: STP completed || 71 tries, 70075824 fired transitions, 1410 secs || 54152105 markings, 95528692 edges, 31343 markings/sec, 1410 secs
lola: STP completed || 71 tries, 70334585 fired transitions, 1415 secs || 54337856 markings, 95833035 edges, 37150 markings/sec, 1415 secs
lola: STP completed || 71 tries, 70590413 fired transitions, 1420 secs || 54551396 markings, 96218192 edges, 42708 markings/sec, 1420 secs
lola: STP completed || 71 tries, 70849002 fired transitions, 1425 secs || 54761484 markings, 96621339 edges, 42018 markings/sec, 1425 secs
lola: STP completed || 72 tries, 71106535 fired transitions, 1430 secs || 54979192 markings, 96991230 edges, 43542 markings/sec, 1430 secs
lola: STP completed || 72 tries, 71362534 fired transitions, 1435 secs || 55188368 markings, 97352378 edges, 41835 markings/sec, 1435 secs
lola: STP completed || 72 tries, 71620016 fired transitions, 1440 secs || 55407806 markings, 97737701 edges, 43888 markings/sec, 1440 secs
lola: STP completed || 72 tries, 71876789 fired transitions, 1445 secs || 55631756 markings, 98101896 edges, 44790 markings/sec, 1445 secs
lola: STP completed || 73 tries, 72132036 fired transitions, 1450 secs || 55880646 markings, 98500444 edges, 49778 markings/sec, 1450 secs
lola: STP completed || 73 tries, 72383557 fired transitions, 1455 secs || 56175235 markings, 99033806 edges, 58918 markings/sec, 1455 secs
lola: STP completed || 73 tries, 72636361 fired transitions, 1460 secs || 56466864 markings, 99566848 edges, 58326 markings/sec, 1460 secs
lola: STP completed || 73 tries, 72889222 fired transitions, 1465 secs || 56768861 markings, 100094603 edges, 60399 markings/sec, 1465 secs
lola: STP completed || 74 tries, 73139461 fired transitions, 1470 secs || 57079069 markings, 100605527 edges, 62042 markings/sec, 1470 secs
lola: STP completed || 74 tries, 73391008 fired transitions, 1475 secs || 57383536 markings, 101123697 edges, 60893 markings/sec, 1475 secs
lola: STP completed || 74 tries, 73647473 fired transitions, 1480 secs || 57644779 markings, 101582907 edges, 52249 markings/sec, 1480 secs
lola: STP completed || 74 tries, 73899315 fired transitions, 1485 secs || 57879264 markings, 102029053 edges, 46897 markings/sec, 1485 secs
lola: STP completed || 75 tries, 74127957 fired transitions, 1490 secs || 58093858 markings, 102437278 edges, 42919 markings/sec, 1490 secs
lola: STP completed || 75 tries, 74357727 fired transitions, 1495 secs || 58309157 markings, 102848510 edges, 43060 markings/sec, 1495 secs
lola: STP completed || 75 tries, 74589173 fired transitions, 1500 secs || 58532104 markings, 103254178 edges, 44589 markings/sec, 1500 secs
lola: STP completed || 75 tries, 74820910 fired transitions, 1505 secs || 58749707 markings, 103667160 edges, 43521 markings/sec, 1505 secs
lola: STP completed || 76 tries, 75045012 fired transitions, 1510 secs || 58993579 markings, 104077319 edges, 48774 markings/sec, 1510 secs
lola: STP completed || 76 tries, 75275010 fired transitions, 1515 secs || 59219316 markings, 104463971 edges, 45147 markings/sec, 1515 secs
lola: STP completed || 76 tries, 75506692 fired transitions, 1520 secs || 59445174 markings, 104863866 edges, 45172 markings/sec, 1520 secs
lola: STP completed || 76 tries, 75738434 fired transitions, 1525 secs || 59728701 markings, 105368712 edges, 56705 markings/sec, 1525 secs
lola: STP completed || 76 tries, 75972398 fired transitions, 1530 secs || 60030368 markings, 105948588 edges, 60333 markings/sec, 1530 secs
lola: STP completed || 77 tries, 76206948 fired transitions, 1535 secs || 60336520 markings, 106514119 edges, 61230 markings/sec, 1535 secs
lola: STP completed || 77 tries, 76443725 fired transitions, 1540 secs || 60644141 markings, 107054641 edges, 61524 markings/sec, 1540 secs
lola: STP completed || 77 tries, 76683326 fired transitions, 1545 secs || 60947153 markings, 107618858 edges, 60602 markings/sec, 1545 secs
lola: STP completed || 77 tries, 76929481 fired transitions, 1550 secs || 61277557 markings, 108188416 edges, 66081 markings/sec, 1550 secs
lola: STP completed || 78 tries, 77182801 fired transitions, 1555 secs || 61626061 markings, 108775326 edges, 69701 markings/sec, 1555 secs
lola: STP completed || 78 tries, 77432580 fired transitions, 1560 secs || 61924842 markings, 109309618 edges, 59756 markings/sec, 1560 secs
lola: STP completed || 78 tries, 77684972 fired transitions, 1565 secs || 62219048 markings, 109854558 edges, 58841 markings/sec, 1565 secs
lola: STP completed || 78 tries, 77936499 fired transitions, 1570 secs || 62526716 markings, 110384115 edges, 61534 markings/sec, 1570 secs
lola: STP completed || 79 tries, 78187277 fired transitions, 1575 secs || 62839832 markings, 110904780 edges, 62623 markings/sec, 1575 secs
lola: STP completed || 79 tries, 78431205 fired transitions, 1580 secs || 63138138 markings, 111412247 edges, 59661 markings/sec, 1580 secs
lola: STP completed || 79 tries, 78671995 fired transitions, 1585 secs || 63439253 markings, 111945954 edges, 60223 markings/sec, 1585 secs
lola: STP completed || 79 tries, 78895301 fired transitions, 1590 secs || 63741389 markings, 112515833 edges, 60427 markings/sec, 1590 secs
lola: STP completed || 80 tries, 79130930 fired transitions, 1595 secs || 64037877 markings, 113072667 edges, 59298 markings/sec, 1595 secs
lola: STP completed || 80 tries, 79358952 fired transitions, 1600 secs || 64337268 markings, 113630330 edges, 59878 markings/sec, 1600 secs
lola: STP completed || 80 tries, 79600323 fired transitions, 1605 secs || 64636684 markings, 114195290 edges, 59883 markings/sec, 1605 secs
lola: STP completed || 80 tries, 79855191 fired transitions, 1610 secs || 64981181 markings, 114775523 edges, 68899 markings/sec, 1610 secs
lola: STP completed || 81 tries, 80110446 fired transitions, 1615 secs || 65308572 markings, 115352661 edges, 65478 markings/sec, 1615 secs
lola: STP completed || 81 tries, 80361787 fired transitions, 1620 secs || 65612511 markings, 115882630 edges, 60788 markings/sec, 1620 secs
lola: STP completed || 81 tries, 80614560 fired transitions, 1625 secs || 65900324 markings, 116427778 edges, 57563 markings/sec, 1625 secs
lola: STP completed || 81 tries, 80866500 fired transitions, 1630 secs || 66193659 markings, 116943847 edges, 58667 markings/sec, 1630 secs
lola: STP completed || 82 tries, 81116793 fired transitions, 1635 secs || 66498437 markings, 117444369 edges, 60956 markings/sec, 1635 secs
lola: STP completed || 82 tries, 81369102 fired transitions, 1640 secs || 66808441 markings, 117960233 edges, 62001 markings/sec, 1640 secs
lola: STP completed || 82 tries, 81624054 fired transitions, 1645 secs || 67108227 markings, 118486598 edges, 59957 markings/sec, 1645 secs
lola: STP completed || 82 tries, 81880672 fired transitions, 1650 secs || 67320967 markings, 118856832 edges, 42548 markings/sec, 1650 secs
lola: STP completed || 83 tries, 82139837 fired transitions, 1655 secs || 67531578 markings, 119258968 edges, 42122 markings/sec, 1655 secs
lola: STP completed || 83 tries, 82396747 fired transitions, 1660 secs || 67736866 markings, 119640949 edges, 41058 markings/sec, 1660 secs
lola: STP completed || 83 tries, 82654675 fired transitions, 1665 secs || 67950345 markings, 120006402 edges, 42696 markings/sec, 1665 secs
lola: STP completed || 83 tries, 82911213 fired transitions, 1670 secs || 68166314 markings, 120365088 edges, 43194 markings/sec, 1670 secs
lola: STP completed || 84 tries, 83169322 fired transitions, 1675 secs || 68394806 markings, 120735850 edges, 45698 markings/sec, 1675 secs
lola: STP completed || 84 tries, 83429175 fired transitions, 1680 secs || 68617534 markings, 121118331 edges, 44546 markings/sec, 1680 secs
lola: STP completed || 84 tries, 83687361 fired transitions, 1685 secs || 68871327 markings, 121559082 edges, 50759 markings/sec, 1685 secs
lola: STP completed || 84 tries, 83940165 fired transitions, 1690 secs || 69159499 markings, 122062800 edges, 57634 markings/sec, 1690 secs
lola: STP completed || 85 tries, 84194067 fired transitions, 1695 secs || 69448373 markings, 122608815 edges, 57775 markings/sec, 1695 secs
lola: STP completed || 85 tries, 84446402 fired transitions, 1700 secs || 69743488 markings, 123129601 edges, 59023 markings/sec, 1700 secs
lola: STP completed || 85 tries, 84698206 fired transitions, 1705 secs || 70055468 markings, 123629646 edges, 62396 markings/sec, 1705 secs
lola: STP completed || 85 tries, 84950505 fired transitions, 1710 secs || 70363282 markings, 124151316 edges, 61563 markings/sec, 1710 secs
lola: STP completed || 86 tries, 85202518 fired transitions, 1715 secs || 70668141 markings, 124683671 edges, 60972 markings/sec, 1715 secs
lola: STP completed || 86 tries, 85455320 fired transitions, 1720 secs || 70964516 markings, 125238299 edges, 59275 markings/sec, 1720 secs
lola: STP completed || 86 tries, 85707059 fired transitions, 1725 secs || 71263292 markings, 125784711 edges, 59755 markings/sec, 1725 secs
lola: STP completed || 86 tries, 85958685 fired transitions, 1730 secs || 71561438 markings, 126319586 edges, 59629 markings/sec, 1730 secs
lola: STP completed || 87 tries, 86209881 fired transitions, 1735 secs || 71880982 markings, 126832053 edges, 63909 markings/sec, 1735 secs
lola: STP completed || 87 tries, 86459899 fired transitions, 1740 secs || 72207457 markings, 127345268 edges, 65295 markings/sec, 1740 secs
lola: STP completed || 87 tries, 86714660 fired transitions, 1745 secs || 72490429 markings, 127806947 edges, 56594 markings/sec, 1745 secs
lola: STP completed || 87 tries, 86974101 fired transitions, 1750 secs || 72729769 markings, 128257613 edges, 47868 markings/sec, 1750 secs
lola: STP completed || 88 tries, 87232515 fired transitions, 1755 secs || 72963976 markings, 128703779 edges, 46841 markings/sec, 1755 secs
lola: STP completed || 88 tries, 87481662 fired transitions, 1760 secs || 73192684 markings, 129129179 edges, 45742 markings/sec, 1760 secs
lola: STP completed || 88 tries, 87714738 fired transitions, 1765 secs || 73423953 markings, 129537543 edges, 46254 markings/sec, 1765 secs
lola: STP completed || 88 tries, 87949095 fired transitions, 1770 secs || 73654662 markings, 129950413 edges, 46142 markings/sec, 1770 secs
lola: STP completed || 89 tries, 88182229 fired transitions, 1775 secs || 73880183 markings, 130336709 edges, 45104 markings/sec, 1775 secs
lola: STP completed || 89 tries, 88415382 fired transitions, 1780 secs || 74098173 markings, 130736751 edges, 43598 markings/sec, 1780 secs
lola: STP completed || 89 tries, 88636748 fired transitions, 1785 secs || 74321584 markings, 131142095 edges, 44682 markings/sec, 1785 secs
lola: STP completed || 89 tries, 88869686 fired transitions, 1790 secs || 74562511 markings, 131549796 edges, 48185 markings/sec, 1790 secs
lola: STP completed || 90 tries, 89102199 fired transitions, 1795 secs || 74794239 markings, 131955682 edges, 46346 markings/sec, 1795 secs
lola: STP completed || 90 tries, 89328239 fired transitions, 1800 secs || 74989352 markings, 132308714 edges, 39023 markings/sec, 1800 secs
lola: STP completed || 90 tries, 89555601 fired transitions, 1805 secs || 75179935 markings, 132649804 edges, 38117 markings/sec, 1805 secs
lola: STP completed || 90 tries, 89785407 fired transitions, 1810 secs || 75364668 markings, 133003691 edges, 36947 markings/sec, 1810 secs
lola: STP completed || 91 tries, 90015295 fired transitions, 1815 secs || 75547618 markings, 133335062 edges, 36590 markings/sec, 1815 secs
lola: STP completed || 91 tries, 90245388 fired transitions, 1820 secs || 75747444 markings, 133674588 edges, 39965 markings/sec, 1820 secs
lola: STP completed || 91 tries, 90474811 fired transitions, 1825 secs || 75934546 markings, 133997731 edges, 37420 markings/sec, 1825 secs
lola: STP completed || 91 tries, 90700834 fired transitions, 1830 secs || 76138918 markings, 134321181 edges, 40874 markings/sec, 1830 secs
lola: STP completed || 91 tries, 90925437 fired transitions, 1835 secs || 76346185 markings, 134632451 edges, 41453 markings/sec, 1835 secs
lola: STP completed || 92 tries, 91153048 fired transitions, 1840 secs || 76542320 markings, 134966724 edges, 39227 markings/sec, 1840 secs
lola: STP completed || 92 tries, 91381313 fired transitions, 1845 secs || 76774278 markings, 135312781 edges, 46392 markings/sec, 1845 secs
lola: STP completed || 92 tries, 91615671 fired transitions, 1850 secs || 77048496 markings, 135828535 edges, 54844 markings/sec, 1850 secs
lola: STP completed || 92 tries, 91845108 fired transitions, 1855 secs || 77323483 markings, 136315742 edges, 54997 markings/sec, 1855 secs
lola: STP completed || 93 tries, 92076379 fired transitions, 1860 secs || 77600760 markings, 136807119 edges, 55455 markings/sec, 1860 secs
lola: STP completed || 93 tries, 92309587 fired transitions, 1865 secs || 77876140 markings, 137304256 edges, 55076 markings/sec, 1865 secs
lola: STP completed || 93 tries, 92540348 fired transitions, 1870 secs || 78166179 markings, 137782647 edges, 58008 markings/sec, 1870 secs
lola: STP completed || 93 tries, 92768401 fired transitions, 1875 secs || 78477183 markings, 138233121 edges, 62201 markings/sec, 1875 secs
lola: STP completed || 94 tries, 93001265 fired transitions, 1880 secs || 78754437 markings, 138677588 edges, 55451 markings/sec, 1880 secs
lola: STP completed || 94 tries, 93235021 fired transitions, 1885 secs || 78973423 markings, 139039211 edges, 43797 markings/sec, 1885 secs
lola: STP completed || 94 tries, 93491854 fired transitions, 1890 secs || 79192327 markings, 139395676 edges, 43781 markings/sec, 1890 secs
lola: STP completed || 94 tries, 93751369 fired transitions, 1895 secs || 79426760 markings, 139774225 edges, 46887 markings/sec, 1895 secs
lola: STP completed || 95 tries, 94000851 fired transitions, 1900 secs || 79637868 markings, 140112833 edges, 42222 markings/sec, 1900 secs
lola: STP completed || 95 tries, 94245596 fired transitions, 1905 secs || 79815499 markings, 140403431 edges, 35526 markings/sec, 1905 secs
lola: STP completed || 95 tries, 94496494 fired transitions, 1910 secs || 80005081 markings, 140717037 edges, 37916 markings/sec, 1910 secs
lola: STP completed || 95 tries, 94750285 fired transitions, 1915 secs || 80328555 markings, 141285964 edges, 64695 markings/sec, 1915 secs
lola: STP completed || 96 tries, 95004141 fired transitions, 1920 secs || 80650196 markings, 141886986 edges, 64328 markings/sec, 1920 secs
lola: STP completed || 96 tries, 95257685 fired transitions, 1925 secs || 80969711 markings, 142488528 edges, 63903 markings/sec, 1925 secs
lola: STP completed || 96 tries, 95509257 fired transitions, 1930 secs || 81292313 markings, 143086289 edges, 64520 markings/sec, 1930 secs
lola: STP completed || 96 tries, 95763439 fired transitions, 1935 secs || 81610706 markings, 143683260 edges, 63679 markings/sec, 1935 secs
lola: STP completed || 97 tries, 96016742 fired transitions, 1940 secs || 81957702 markings, 144268618 edges, 69399 markings/sec, 1940 secs
lola: STP completed || 97 tries, 96271201 fired transitions, 1945 secs || 82290031 markings, 144853670 edges, 66466 markings/sec, 1945 secs
lola: STP completed || 97 tries, 96526228 fired transitions, 1950 secs || 82651915 markings, 145436124 edges, 72377 markings/sec, 1950 secs
lola: STP completed || 97 tries, 96782940 fired transitions, 1955 secs || 82906551 markings, 145889656 edges, 50927 markings/sec, 1955 secs
lola: STP completed || 98 tries, 97044156 fired transitions, 1960 secs || 83111764 markings, 146265244 edges, 41043 markings/sec, 1960 secs
lola: STP completed || 98 tries, 97306407 fired transitions, 1965 secs || 83320575 markings, 146659530 edges, 41762 markings/sec, 1965 secs
lola: STP completed || 98 tries, 97569062 fired transitions, 1970 secs || 83524262 markings, 147047103 edges, 40737 markings/sec, 1970 secs
lola: STP completed || 98 tries, 97811426 fired transitions, 1975 secs || 83722892 markings, 147438040 edges, 39726 markings/sec, 1975 secs
lola: STP completed || 99 tries, 98043925 fired transitions, 1980 secs || 83912777 markings, 147772065 edges, 37977 markings/sec, 1980 secs
lola: STP completed || 99 tries, 98279339 fired transitions, 1985 secs || 84098400 markings, 148124328 edges, 37125 markings/sec, 1985 secs
lola: STP completed || 99 tries, 98511624 fired transitions, 1990 secs || 84290777 markings, 148465994 edges, 38475 markings/sec, 1990 secs
lola: STP completed || 99 tries, 98769067 fired transitions, 1995 secs || 84508528 markings, 148825070 edges, 43550 markings/sec, 1995 secs
lola: STP completed || 100 tries, 99017192 fired transitions, 2000 secs || 84701741 markings, 149178897 edges, 38643 markings/sec, 2000 secs
lola: STP completed || 100 tries, 99250612 fired transitions, 2005 secs || 84908201 markings, 149530585 edges, 41292 markings/sec, 2005 secs
lola: STP completed || 100 tries, 99478167 fired transitions, 2010 secs || 85064753 markings, 149801565 edges, 31310 markings/sec, 2010 secs
lola: STP completed || 100 tries, 99708509 fired transitions, 2015 secs || 85225486 markings, 150100210 edges, 32147 markings/sec, 2015 secs
lola: STP completed || 100 tries, 99939327 fired transitions, 2020 secs || 85381525 markings, 150400769 edges, 31208 markings/sec, 2020 secs
lola: STP completed || 101 tries, 100168430 fired transitions, 2025 secs || 85537373 markings, 150673516 edges, 31170 markings/sec, 2025 secs
lola: STP completed || 101 tries, 100397519 fired transitions, 2030 secs || 85702146 markings, 150948623 edges, 32955 markings/sec, 2030 secs
lola: STP completed || 101 tries, 100627116 fired transitions, 2035 secs || 85860471 markings, 151204358 edges, 31665 markings/sec, 2035 secs
lola: STP completed || 101 tries, 100857265 fired transitions, 2040 secs || 86021479 markings, 151487221 edges, 32202 markings/sec, 2040 secs
lola: STP completed || 102 tries, 101088798 fired transitions, 2045 secs || 86184789 markings, 151758273 edges, 32662 markings/sec, 2045 secs
lola: STP completed || 102 tries, 101319924 fired transitions, 2050 secs || 86338417 markings, 152043059 edges, 30726 markings/sec, 2050 secs
lola: STP completed || 102 tries, 101550572 fired transitions, 2055 secs || 86502018 markings, 152316787 edges, 32720 markings/sec, 2055 secs
lola: STP completed || 102 tries, 101803823 fired transitions, 2060 secs || 86726537 markings, 152682860 edges, 44904 markings/sec, 2060 secs
lola: STP completed || 103 tries, 102039663 fired transitions, 2065 secs || 86893087 markings, 152960123 edges, 33310 markings/sec, 2065 secs
lola: STP completed || 103 tries, 102275982 fired transitions, 2070 secs || 87055056 markings, 153228907 edges, 32394 markings/sec, 2070 secs
lola: STP completed || 103 tries, 102534073 fired transitions, 2075 secs || 87257261 markings, 153565884 edges, 40441 markings/sec, 2075 secs
lola: STP completed || 103 tries, 102784864 fired transitions, 2080 secs || 87458730 markings, 153882982 edges, 40294 markings/sec, 2080 secs
lola: STP completed || 104 tries, 103006371 fired transitions, 2085 secs || 87656180 markings, 154203535 edges, 39490 markings/sec, 2085 secs
lola: STP completed || 104 tries, 103236786 fired transitions, 2090 secs || 87857632 markings, 154530616 edges, 40290 markings/sec, 2090 secs
lola: STP completed || 104 tries, 103469085 fired transitions, 2095 secs || 88080430 markings, 154907273 edges, 44560 markings/sec, 2095 secs
lola: STP completed || 104 tries, 103699900 fired transitions, 2100 secs || 88294398 markings, 155270650 edges, 42794 markings/sec, 2100 secs
lola: STP completed || 104 tries, 103929882 fired transitions, 2105 secs || 88509231 markings, 155664072 edges, 42967 markings/sec, 2105 secs
lola: STP completed || 105 tries, 104163580 fired transitions, 2110 secs || 88727732 markings, 156083877 edges, 43700 markings/sec, 2110 secs
lola: STP completed || 105 tries, 104373674 fired transitions, 2115 secs || 88929519 markings, 156461471 edges, 40357 markings/sec, 2115 secs
lola: STP completed || 105 tries, 104601239 fired transitions, 2120 secs || 89141359 markings, 156869623 edges, 42368 markings/sec, 2120 secs
lola: STP completed || 105 tries, 104859362 fired transitions, 2125 secs || 89387095 markings, 157313920 edges, 49147 markings/sec, 2125 secs
lola: STP completed || 106 tries, 105095162 fired transitions, 2130 secs || 89592831 markings, 157696847 edges, 41147 markings/sec, 2130 secs
lola: STP completed || 106 tries, 105332701 fired transitions, 2135 secs || 89828903 markings, 158088908 edges, 47214 markings/sec, 2135 secs
lola: STP completed || 106 tries, 105566004 fired transitions, 2140 secs || 90042062 markings, 158471212 edges, 42632 markings/sec, 2140 secs
lola: STP completed || 106 tries, 105819053 fired transitions, 2145 secs || 90297134 markings, 158913479 edges, 51014 markings/sec, 2145 secs
lola: STP completed || 107 tries, 106058107 fired transitions, 2150 secs || 90564762 markings, 159380990 edges, 53526 markings/sec, 2150 secs
lola: STP completed || 107 tries, 106311657 fired transitions, 2155 secs || 90770740 markings, 159758059 edges, 41196 markings/sec, 2155 secs
lola: STP completed || 107 tries, 106547252 fired transitions, 2160 secs || 90952216 markings, 160090530 edges, 36295 markings/sec, 2160 secs
lola: STP completed || 107 tries, 106779328 fired transitions, 2165 secs || 91133488 markings, 160409529 edges, 36254 markings/sec, 2165 secs
lola: STP completed || 108 tries, 107014007 fired transitions, 2170 secs || 91305256 markings, 160767475 edges, 34354 markings/sec, 2170 secs
lola: STP completed || 108 tries, 107243787 fired transitions, 2175 secs || 91491856 markings, 161078826 edges, 37320 markings/sec, 2175 secs
lola: STP completed || 108 tries, 107473902 fired transitions, 2180 secs || 91684052 markings, 161392529 edges, 38439 markings/sec, 2180 secs
lola: STP completed || 108 tries, 107705592 fired transitions, 2185 secs || 91887374 markings, 161713119 edges, 40664 markings/sec, 2185 secs
lola: STP completed || 108 tries, 107941488 fired transitions, 2190 secs || 92105780 markings, 162025328 edges, 43681 markings/sec, 2190 secs
lola: STP completed || 109 tries, 108200258 fired transitions, 2195 secs || 92333084 markings, 162385240 edges, 45461 markings/sec, 2195 secs
lola: STP completed || 109 tries, 108457622 fired transitions, 2200 secs || 92609024 markings, 162816211 edges, 55188 markings/sec, 2200 secs
lola: STP completed || 109 tries, 108714063 fired transitions, 2205 secs || 92852542 markings, 163253270 edges, 48704 markings/sec, 2205 secs
lola: STP completed || 109 tries, 108973849 fired transitions, 2210 secs || 93088570 markings, 163702508 edges, 47206 markings/sec, 2210 secs
lola: STP completed || 110 tries, 109234827 fired transitions, 2215 secs || 93322042 markings, 164141941 edges, 46694 markings/sec, 2215 secs
lola: STP completed || 110 tries, 109495362 fired transitions, 2220 secs || 93553566 markings, 164592643 edges, 46305 markings/sec, 2220 secs
lola: STP completed || 110 tries, 109754569 fired transitions, 2225 secs || 93798098 markings, 165033034 edges, 48906 markings/sec, 2225 secs
lola: STP completed || 111 tries, 110015108 fired transitions, 2230 secs || 94034899 markings, 165470271 edges, 47360 markings/sec, 2230 secs
lola: STP completed || 111 tries, 110276181 fired transitions, 2235 secs || 94298280 markings, 165909782 edges, 52676 markings/sec, 2235 secs
lola: STP completed || 111 tries, 110536727 fired transitions, 2240 secs || 94531662 markings, 166334704 edges, 46676 markings/sec, 2240 secs
lola: STP completed || 111 tries, 110796295 fired transitions, 2245 secs || 94811218 markings, 166816425 edges, 55911 markings/sec, 2245 secs
lola: STP completed || 112 tries, 111052691 fired transitions, 2250 secs || 95126304 markings, 167400138 edges, 63017 markings/sec, 2250 secs
lola: STP completed || 112 tries, 111309279 fired transitions, 2255 secs || 95437346 markings, 167988845 edges, 62208 markings/sec, 2255 secs
lola: STP completed || 112 tries, 111566159 fired transitions, 2260 secs || 95752500 markings, 168579116 edges, 63031 markings/sec, 2260 secs
lola: STP completed || 112 tries, 111820976 fired transitions, 2265 secs || 96063814 markings, 169164377 edges, 62263 markings/sec, 2265 secs
lola: STP completed || 113 tries, 112075937 fired transitions, 2270 secs || 96401400 markings, 169732420 edges, 67517 markings/sec, 2270 secs
lola: STP completed || 113 tries, 112314225 fired transitions, 2275 secs || 96693893 markings, 170255244 edges, 58499 markings/sec, 2275 secs
lola: STP completed || 113 tries, 112556112 fired transitions, 2280 secs || 97022333 markings, 170791139 edges, 65688 markings/sec, 2280 secs
lola: STP completed || 113 tries, 112795119 fired transitions, 2285 secs || 97296371 markings, 171245882 edges, 54808 markings/sec, 2285 secs
lola: STP completed || 114 tries, 113027316 fired transitions, 2290 secs || 97462626 markings, 171540786 edges, 33251 markings/sec, 2290 secs
lola: STP completed || 114 tries, 113258782 fired transitions, 2295 secs || 97622438 markings, 171829676 edges, 31962 markings/sec, 2295 secs
lola: STP completed || 114 tries, 113492472 fired transitions, 2300 secs || 97788106 markings, 172153503 edges, 33134 markings/sec, 2300 secs
lola: STP completed || 114 tries, 113722855 fired transitions, 2305 secs || 97949047 markings, 172453439 edges, 32188 markings/sec, 2305 secs
lola: STP completed || 114 tries, 113973318 fired transitions, 2310 secs || 98119188 markings, 172783590 edges, 34028 markings/sec, 2310 secs
lola: STP completed || 115 tries, 114189517 fired transitions, 2315 secs || 98289724 markings, 173087127 edges, 34107 markings/sec, 2315 secs
lola: STP completed || 115 tries, 114419903 fired transitions, 2320 secs || 98455880 markings, 173387656 edges, 33231 markings/sec, 2320 secs
lola: STP completed || 115 tries, 114648788 fired transitions, 2325 secs || 98615330 markings, 173666195 edges, 31890 markings/sec, 2325 secs
lola: STP completed || 115 tries, 114877190 fired transitions, 2330 secs || 98791342 markings, 173966657 edges, 35202 markings/sec, 2330 secs
lola: STP completed || 116 tries, 115106364 fired transitions, 2335 secs || 98972762 markings, 174267668 edges, 36284 markings/sec, 2335 secs
lola: STP completed || 116 tries, 115335551 fired transitions, 2340 secs || 99144257 markings, 174573076 edges, 34299 markings/sec, 2340 secs
lola: STP completed || 116 tries, 115566794 fired transitions, 2345 secs || 99311756 markings, 174894051 edges, 33500 markings/sec, 2345 secs
lola: STP completed || 116 tries, 115795535 fired transitions, 2350 secs || 99487578 markings, 175201387 edges, 35164 markings/sec, 2350 secs
lola: STP completed || 117 tries, 116029152 fired transitions, 2355 secs || 99679510 markings, 175534562 edges, 38386 markings/sec, 2355 secs
lola: STP completed || 117 tries, 116286359 fired transitions, 2360 secs || 99919129 markings, 175966636 edges, 47924 markings/sec, 2360 secs
lola: STP completed || 117 tries, 116545250 fired transitions, 2365 secs || 100157222 markings, 176408274 edges, 47619 markings/sec, 2365 secs
lola: STP completed || 117 tries, 116803363 fired transitions, 2370 secs || 100390399 markings, 176870437 edges, 46635 markings/sec, 2370 secs
lola: STP completed || 118 tries, 117059297 fired transitions, 2375 secs || 100628669 markings, 177299118 edges, 47654 markings/sec, 2375 secs
lola: STP completed || 118 tries, 117317522 fired transitions, 2380 secs || 100862365 markings, 177742169 edges, 46739 markings/sec, 2380 secs
lola: STP completed || 118 tries, 117575700 fired transitions, 2385 secs || 101115353 markings, 178182035 edges, 50598 markings/sec, 2385 secs
lola: STP completed || 118 tries, 117827824 fired transitions, 2390 secs || 101420082 markings, 178713139 edges, 60946 markings/sec, 2390 secs
lola: STP completed || 119 tries, 118079963 fired transitions, 2395 secs || 101711751 markings, 179264390 edges, 58334 markings/sec, 2395 secs
lola: STP completed || 119 tries, 118331586 fired transitions, 2400 secs || 102015878 markings, 179796124 edges, 60825 markings/sec, 2400 secs
lola: STP completed || 119 tries, 118582338 fired transitions, 2405 secs || 102320902 markings, 180311054 edges, 61005 markings/sec, 2405 secs
lola: STP completed || 119 tries, 118834466 fired transitions, 2410 secs || 102644137 markings, 180816637 edges, 64647 markings/sec, 2410 secs
lola: STP completed || 120 tries, 119085443 fired transitions, 2415 secs || 102963520 markings, 181329764 edges, 63877 markings/sec, 2415 secs
lola: STP completed || 120 tries, 119324191 fired transitions, 2420 secs || 103278936 markings, 181873173 edges, 63083 markings/sec, 2420 secs
lola: STP completed || 120 tries, 119562673 fired transitions, 2425 secs || 103564675 markings, 182435255 edges, 57148 markings/sec, 2425 secs
lola: STP completed || 120 tries, 119796222 fired transitions, 2430 secs || 103860389 markings, 182960009 edges, 59143 markings/sec, 2430 secs
lola: STP completed || 121 tries, 120030282 fired transitions, 2435 secs || 104156018 markings, 183508105 edges, 59126 markings/sec, 2435 secs
lola: STP completed || 121 tries, 120266456 fired transitions, 2440 secs || 104456521 markings, 184056177 edges, 60101 markings/sec, 2440 secs
lola: STP completed || 121 tries, 120503438 fired transitions, 2445 secs || 104759465 markings, 184611796 edges, 60589 markings/sec, 2445 secs
lola: STP completed || 121 tries, 120740937 fired transitions, 2450 secs || 105078929 markings, 185148073 edges, 63893 markings/sec, 2450 secs
lola: STP completed || 121 tries, 120963212 fired transitions, 2455 secs || 105412459 markings, 185680658 edges, 66706 markings/sec, 2455 secs
lola: STP completed || 122 tries, 121185913 fired transitions, 2460 secs || 105729927 markings, 186227691 edges, 63494 markings/sec, 2460 secs
lola: STP completed || 122 tries, 121416064 fired transitions, 2465 secs || 106016203 markings, 186688032 edges, 57255 markings/sec, 2465 secs
lola: STP completed || 122 tries, 121666209 fired transitions, 2470 secs || 106307686 markings, 187212360 edges, 58297 markings/sec, 2470 secs
lola: STP completed || 122 tries, 121889862 fired transitions, 2475 secs || 106573670 markings, 187706773 edges, 53197 markings/sec, 2475 secs
lola: STP completed || 123 tries, 122120630 fired transitions, 2480 secs || 106849975 markings, 188184819 edges, 55261 markings/sec, 2480 secs
lola: STP completed || 123 tries, 122370030 fired transitions, 2485 secs || 107153725 markings, 188697475 edges, 60750 markings/sec, 2485 secs
lola: STP completed || 123 tries, 122585633 fired transitions, 2490 secs || 107440484 markings, 189166338 edges, 57352 markings/sec, 2490 secs
lola: STP completed || 123 tries, 122795922 fired transitions, 2495 secs || 107728630 markings, 189636164 edges, 57629 markings/sec, 2495 secs
lola: STP completed || 124 tries, 123019985 fired transitions, 2500 secs || 108031096 markings, 190128428 edges, 60493 markings/sec, 2500 secs
lola: STP completed || 124 tries, 123255911 fired transitions, 2505 secs || 108305463 markings, 190650448 edges, 54873 markings/sec, 2505 secs
lola: STP completed || 124 tries, 123490856 fired transitions, 2510 secs || 108578529 markings, 191161718 edges, 54613 markings/sec, 2510 secs
lola: STP completed || 124 tries, 123715941 fired transitions, 2515 secs || 108867341 markings, 191666335 edges, 57762 markings/sec, 2515 secs
lola: STP completed || 124 tries, 123946346 fired transitions, 2520 secs || 109173470 markings, 192142841 edges, 61226 markings/sec, 2520 secs
lola: STP completed || 125 tries, 124186090 fired transitions, 2525 secs || 109455984 markings, 192595877 edges, 56503 markings/sec, 2525 secs
lola: STP completed || 125 tries, 124430329 fired transitions, 2530 secs || 109754706 markings, 193108604 edges, 59744 markings/sec, 2530 secs
lola: STP completed || 125 tries, 124664840 fired transitions, 2535 secs || 110035599 markings, 193589435 edges, 56179 markings/sec, 2535 secs
lola: STP completed || 125 tries, 124898098 fired transitions, 2540 secs || 110289825 markings, 194043903 edges, 50845 markings/sec, 2540 secs
lola: STP completed || 126 tries, 125133366 fired transitions, 2545 secs || 110542503 markings, 194507561 edges, 50536 markings/sec, 2545 secs
lola: STP completed || 126 tries, 125369015 fired transitions, 2550 secs || 110813097 markings, 195005447 edges, 54119 markings/sec, 2550 secs
lola: STP completed || 126 tries, 125602569 fired transitions, 2555 secs || 111089625 markings, 195461605 edges, 55306 markings/sec, 2555 secs
lola: STP completed || 126 tries, 125835729 fired transitions, 2560 secs || 111384236 markings, 195954884 edges, 58922 markings/sec, 2560 secs
lola: STP completed || 127 tries, 126088009 fired transitions, 2565 secs || 111698645 markings, 196537979 edges, 62882 markings/sec, 2565 secs
lola: STP completed || 127 tries, 126314095 fired transitions, 2570 secs || 111992868 markings, 197085357 edges, 58845 markings/sec, 2570 secs
lola: STP completed || 127 tries, 126551382 fired transitions, 2575 secs || 112286405 markings, 197632390 edges, 58707 markings/sec, 2575 secs
lola: STP completed || 127 tries, 126785692 fired transitions, 2580 secs || 112608141 markings, 198171326 edges, 64347 markings/sec, 2580 secs
lola: STP completed || 128 tries, 127022588 fired transitions, 2585 secs || 112908666 markings, 198711833 edges, 60105 markings/sec, 2585 secs
lola: STP completed || 128 tries, 127268278 fired transitions, 2590 secs || 113237991 markings, 199288166 edges, 65865 markings/sec, 2590 secs
lola: STP completed || 128 tries, 127518793 fired transitions, 2595 secs || 113572321 markings, 199849810 edges, 66866 markings/sec, 2595 secs
lola: STP completed || 128 tries, 127768224 fired transitions, 2600 secs || 113862508 markings, 200378007 edges, 58037 markings/sec, 2600 secs
lola: STP completed || 129 tries, 128016438 fired transitions, 2605 secs || 114148647 markings, 200895772 edges, 57228 markings/sec, 2605 secs
lola: STP completed || 129 tries, 128258773 fired transitions, 2610 secs || 114409535 markings, 201342859 edges, 52178 markings/sec, 2610 secs
lola: STP completed || 129 tries, 128495607 fired transitions, 2615 secs || 114679965 markings, 201814435 edges, 54086 markings/sec, 2615 secs
lola: STP completed || 129 tries, 128728135 fired transitions, 2620 secs || 114967078 markings, 202254876 edges, 57423 markings/sec, 2620 secs
lola: STP completed || 129 tries, 128964342 fired transitions, 2625 secs || 115248685 markings, 202705912 edges, 56321 markings/sec, 2625 secs
lola: STP completed || 130 tries, 129221360 fired transitions, 2630 secs || 115507270 markings, 203163872 edges, 51717 markings/sec, 2630 secs
lola: STP completed || 130 tries, 129481112 fired transitions, 2635 secs || 115757215 markings, 203582779 edges, 49989 markings/sec, 2635 secs
lola: STP completed || 130 tries, 129741142 fired transitions, 2640 secs || 116009685 markings, 204015663 edges, 50494 markings/sec, 2640 secs
lola: STP completed || 130 tries, 129977915 fired transitions, 2645 secs || 116233600 markings, 204396329 edges, 44783 markings/sec, 2645 secs
lola: STP completed || 131 tries, 130214637 fired transitions, 2650 secs || 116450807 markings, 204795347 edges, 43441 markings/sec, 2650 secs
lola: STP completed || 131 tries, 130453554 fired transitions, 2655 secs || 116719681 markings, 205293544 edges, 53775 markings/sec, 2655 secs
lola: STP completed || 131 tries, 130692544 fired transitions, 2660 secs || 116887985 markings, 205593617 edges, 33661 markings/sec, 2660 secs
lola: STP completed || 131 tries, 130923583 fired transitions, 2665 secs || 117049556 markings, 205882035 edges, 32314 markings/sec, 2665 secs
lola: STP completed || 132 tries, 131155601 fired transitions, 2670 secs || 117214512 markings, 206196525 edges, 32991 markings/sec, 2670 secs
lola: STP completed || 132 tries, 131390065 fired transitions, 2675 secs || 117388611 markings, 206531258 edges, 34820 markings/sec, 2675 secs
lola: STP completed || 132 tries, 131617634 fired transitions, 2680 secs || 117549389 markings, 206833930 edges, 32156 markings/sec, 2680 secs
lola: STP completed || 132 tries, 131846536 fired transitions, 2685 secs || 117714065 markings, 207139704 edges, 32935 markings/sec, 2685 secs
lola: STP completed || 133 tries, 132074947 fired transitions, 2690 secs || 117884462 markings, 207439913 edges, 34079 markings/sec, 2690 secs
lola: STP completed || 133 tries, 132323054 fired transitions, 2695 secs || 118069447 markings, 207774607 edges, 36997 markings/sec, 2695 secs
lola: STP completed || 133 tries, 132579472 fired transitions, 2700 secs || 118262224 markings, 208110260 edges, 38555 markings/sec, 2700 secs
lola: STP completed || 133 tries, 132836251 fired transitions, 2705 secs || 118469319 markings, 208449714 edges, 41419 markings/sec, 2705 secs
lola: STP completed || 134 tries, 133093637 fired transitions, 2710 secs || 118661559 markings, 208791471 edges, 38448 markings/sec, 2710 secs
lola: STP completed || 134 tries, 133314236 fired transitions, 2715 secs || 118831487 markings, 209116784 edges, 33986 markings/sec, 2715 secs
lola: STP completed || 134 tries, 133544717 fired transitions, 2720 secs || 119008262 markings, 209429978 edges, 35355 markings/sec, 2720 secs
lola: STP completed || 134 tries, 133774593 fired transitions, 2725 secs || 119181689 markings, 209741574 edges, 34685 markings/sec, 2725 secs
lola: STP completed || 135 tries, 134000606 fired transitions, 2730 secs || 119367566 markings, 210047382 edges, 37175 markings/sec, 2730 secs
lola: STP completed || 135 tries, 134210726 fired transitions, 2735 secs || 119549720 markings, 210353875 edges, 36431 markings/sec, 2735 secs
lola: STP completed || 135 tries, 134441547 fired transitions, 2740 secs || 119725599 markings, 210660989 edges, 35176 markings/sec, 2740 secs
lola: STP completed || 135 tries, 134671232 fired transitions, 2745 secs || 119899021 markings, 210985857 edges, 34684 markings/sec, 2745 secs
lola: STP completed || 135 tries, 134911545 fired transitions, 2750 secs || 120083570 markings, 211318941 edges, 36910 markings/sec, 2750 secs
lola: STP completed || 136 tries, 135131238 fired transitions, 2755 secs || 120253691 markings, 211640682 edges, 34024 markings/sec, 2755 secs
lola: STP completed || 136 tries, 135348427 fired transitions, 2760 secs || 120429767 markings, 211962716 edges, 35215 markings/sec, 2760 secs
lola: STP completed || 136 tries, 135577657 fired transitions, 2765 secs || 120597062 markings, 212270875 edges, 33459 markings/sec, 2765 secs
lola: STP completed || 136 tries, 135806814 fired transitions, 2770 secs || 120765846 markings, 212584552 edges, 33757 markings/sec, 2770 secs
lola: STP completed || 137 tries, 136038442 fired transitions, 2775 secs || 120931872 markings, 212900548 edges, 33205 markings/sec, 2775 secs
lola: STP completed || 137 tries, 136267815 fired transitions, 2780 secs || 121099423 markings, 213199495 edges, 33510 markings/sec, 2780 secs
lola: STP completed || 137 tries, 136513727 fired transitions, 2785 secs || 121263330 markings, 213500760 edges, 32781 markings/sec, 2785 secs
lola: STP completed || 137 tries, 136745163 fired transitions, 2790 secs || 121443441 markings, 213805688 edges, 36022 markings/sec, 2790 secs
lola: STP completed || 137 tries, 136977622 fired transitions, 2795 secs || 121622481 markings, 214110123 edges, 35808 markings/sec, 2795 secs
lola: STP completed || 138 tries, 137209927 fired transitions, 2800 secs || 121807223 markings, 214407640 edges, 36948 markings/sec, 2800 secs
lola: STP completed || 138 tries, 137441774 fired transitions, 2805 secs || 121983681 markings, 214711740 edges, 35292 markings/sec, 2805 secs
lola: STP completed || 138 tries, 137674513 fired transitions, 2810 secs || 122163652 markings, 215016241 edges, 35994 markings/sec, 2810 secs
lola: STP completed || 138 tries, 137903761 fired transitions, 2815 secs || 122309561 markings, 215278722 edges, 29182 markings/sec, 2815 secs
lola: STP completed || 139 tries, 138132598 fired transitions, 2820 secs || 122448547 markings, 215534243 edges, 27797 markings/sec, 2820 secs
lola: STP completed || 139 tries, 138391562 fired transitions, 2825 secs || 122604421 markings, 215816560 edges, 31175 markings/sec, 2825 secs
lola: STP completed || 139 tries, 138650155 fired transitions, 2830 secs || 122758737 markings, 216092113 edges, 30863 markings/sec, 2830 secs
lola: STP completed || 139 tries, 138867385 fired transitions, 2835 secs || 122893698 markings, 216330948 edges, 26992 markings/sec, 2835 secs
lola: STP completed || 140 tries, 139094971 fired transitions, 2840 secs || 123031488 markings, 216580461 edges, 27558 markings/sec, 2840 secs
lola: STP completed || 140 tries, 139352158 fired transitions, 2845 secs || 123191265 markings, 216870937 edges, 31955 markings/sec, 2845 secs
lola: STP completed || 140 tries, 139569587 fired transitions, 2850 secs || 123334807 markings, 217104133 edges, 28708 markings/sec, 2850 secs
lola: STP completed || 140 tries, 139799298 fired transitions, 2855 secs || 123476103 markings, 217347600 edges, 28259 markings/sec, 2855 secs
lola: STP completed || 141 tries, 140026084 fired transitions, 2860 secs || 123622778 markings, 217558652 edges, 29335 markings/sec, 2860 secs
lola: STP completed || 141 tries, 140253109 fired transitions, 2865 secs || 123769862 markings, 217808103 edges, 29417 markings/sec, 2865 secs
lola: STP completed || 141 tries, 140478404 fired transitions, 2870 secs || 123919816 markings, 218048828 edges, 29991 markings/sec, 2870 secs
lola: STP completed || 141 tries, 140735986 fired transitions, 2875 secs || 124095034 markings, 218334693 edges, 35044 markings/sec, 2875 secs
lola: STP completed || 141 tries, 140962765 fired transitions, 2880 secs || 124320113 markings, 218753192 edges, 45016 markings/sec, 2880 secs
lola: STP completed || 142 tries, 141196900 fired transitions, 2885 secs || 124532574 markings, 219135162 edges, 42492 markings/sec, 2885 secs
lola: STP completed || 142 tries, 141432099 fired transitions, 2890 secs || 124746887 markings, 219526657 edges, 42863 markings/sec, 2890 secs
lola: STP completed || 142 tries, 141668149 fired transitions, 2895 secs || 124960547 markings, 219931122 edges, 42732 markings/sec, 2895 secs
lola: STP completed || 142 tries, 141901978 fired transitions, 2900 secs || 125175916 markings, 220323900 edges, 43074 markings/sec, 2900 secs
lola: STP completed || 143 tries, 142136181 fired transitions, 2905 secs || 125389360 markings, 220709114 edges, 42689 markings/sec, 2905 secs
lola: STP completed || 143 tries, 142371365 fired transitions, 2910 secs || 125602343 markings, 221104023 edges, 42597 markings/sec, 2910 secs
lola: STP completed || 143 tries, 142606594 fired transitions, 2915 secs || 125817719 markings, 221508523 edges, 43075 markings/sec, 2915 secs
lola: STP completed || 143 tries, 142841022 fired transitions, 2920 secs || 126031604 markings, 221901067 edges, 42777 markings/sec, 2920 secs
lola: STP completed || 144 tries, 143076254 fired transitions, 2925 secs || 126244303 markings, 222294924 edges, 42540 markings/sec, 2925 secs
lola: STP completed || 144 tries, 143316224 fired transitions, 2930 secs || 126450972 markings, 222655139 edges, 41334 markings/sec, 2930 secs
lola: STP completed || 144 tries, 143553391 fired transitions, 2935 secs || 126664942 markings, 223057844 edges, 42794 markings/sec, 2935 secs
lola: STP completed || 144 tries, 143784965 fired transitions, 2940 secs || 126863160 markings, 223345924 edges, 39644 markings/sec, 2940 secs
lola: STP completed || 145 tries, 144012813 fired transitions, 2945 secs || 127075089 markings, 223728607 edges, 42386 markings/sec, 2945 secs
lola: STP completed || 145 tries, 144251680 fired transitions, 2950 secs || 127287245 markings, 224130768 edges, 42431 markings/sec, 2950 secs
lola: STP completed || 145 tries, 144483444 fired transitions, 2955 secs || 127476633 markings, 224400155 edges, 37878 markings/sec, 2955 secs
lola: STP completed || 145 tries, 144719816 fired transitions, 2960 secs || 127655587 markings, 224689499 edges, 35791 markings/sec, 2960 secs
lola: STP completed || 145 tries, 144980351 fired transitions, 2965 secs || 127884018 markings, 225103925 edges, 45686 markings/sec, 2965 secs
lola: STP completed || 146 tries, 145241975 fired transitions, 2970 secs || 128109940 markings, 225531805 edges, 45184 markings/sec, 2970 secs
lola: STP completed || 146 tries, 145481481 fired transitions, 2975 secs || 128313448 markings, 225896642 edges, 40702 markings/sec, 2975 secs
lola: STP completed || 146 tries, 145719048 fired transitions, 2980 secs || 128525513 markings, 226281810 edges, 42413 markings/sec, 2980 secs
lola: STP completed || 146 tries, 145956171 fired transitions, 2985 secs || 128737778 markings, 226659015 edges, 42453 markings/sec, 2985 secs
lola: STP completed || 147 tries, 146184776 fired transitions, 2990 secs || 128948955 markings, 227037883 edges, 42235 markings/sec, 2990 secs
lola: STP completed || 147 tries, 146420124 fired transitions, 2995 secs || 129158821 markings, 227416486 edges, 41973 markings/sec, 2995 secs
lola: STP completed || 147 tries, 146674476 fired transitions, 3000 secs || 129366201 markings, 227780826 edges, 41476 markings/sec, 3000 secs
lola: STP completed || 147 tries, 146912307 fired transitions, 3005 secs || 129579055 markings, 228180333 edges, 42571 markings/sec, 3005 secs
lola: STP completed || 148 tries, 147148515 fired transitions, 3010 secs || 129792437 markings, 228561155 edges, 42676 markings/sec, 3010 secs
lola: STP completed || 148 tries, 147384148 fired transitions, 3015 secs || 129998662 markings, 228907968 edges, 41245 markings/sec, 3015 secs
lola: STP completed || 148 tries, 147613702 fired transitions, 3020 secs || 130195776 markings, 229267206 edges, 39423 markings/sec, 3020 secs
lola: STP completed || 148 tries, 147849591 fired transitions, 3025 secs || 130407976 markings, 229647297 edges, 42440 markings/sec, 3025 secs
lola: STP completed || 149 tries, 148086931 fired transitions, 3030 secs || 130619562 markings, 230042482 edges, 42317 markings/sec, 3030 secs
lola: STP completed || 149 tries, 148347520 fired transitions, 3035 secs || 130847890 markings, 230454591 edges, 45666 markings/sec, 3035 secs
lola: STP completed || 149 tries, 148607507 fired transitions, 3040 secs || 131078836 markings, 230877036 edges, 46189 markings/sec, 3040 secs
lola: STP completed || 149 tries, 148868390 fired transitions, 3045 secs || 131307825 markings, 231294328 edges, 45798 markings/sec, 3045 secs
lola: STP completed || 150 tries, 149128478 fired transitions, 3050 secs || 131536870 markings, 231706559 edges, 45809 markings/sec, 3050 secs
lola: STP completed || 150 tries, 149364050 fired transitions, 3055 secs || 131732625 markings, 232037626 edges, 39151 markings/sec, 3055 secs
lola: STP completed || 150 tries, 149606414 fired transitions, 3060 secs || 131925455 markings, 232319326 edges, 38566 markings/sec, 3060 secs
lola: STP completed || 150 tries, 149851549 fired transitions, 3065 secs || 132123779 markings, 232650594 edges, 39665 markings/sec, 3065 secs
lola: STP completed || 151 tries, 150088502 fired transitions, 3070 secs || 132324918 markings, 233002645 edges, 40228 markings/sec, 3070 secs
lola: STP completed || 151 tries, 150324397 fired transitions, 3075 secs || 132531556 markings, 233338093 edges, 41328 markings/sec, 3075 secs
lola: STP completed || 151 tries, 150561484 fired transitions, 3080 secs || 132733661 markings, 233688049 edges, 40421 markings/sec, 3080 secs
lola: STP completed || 151 tries, 150795173 fired transitions, 3085 secs || 132933649 markings, 234023206 edges, 39998 markings/sec, 3085 secs
lola: STP completed || 152 tries, 151030286 fired transitions, 3090 secs || 133137328 markings, 234378315 edges, 40736 markings/sec, 3090 secs
lola: STP completed || 152 tries, 151265820 fired transitions, 3095 secs || 133346030 markings, 234722575 edges, 41740 markings/sec, 3095 secs
lola: STP completed || 152 tries, 151501829 fired transitions, 3100 secs || 133552888 markings, 235068473 edges, 41372 markings/sec, 3100 secs
lola: STP completed || 152 tries, 151736083 fired transitions, 3105 secs || 133756831 markings, 235411598 edges, 40789 markings/sec, 3105 secs
lola: STP completed || 152 tries, 151970679 fired transitions, 3110 secs || 133954916 markings, 235742902 edges, 39617 markings/sec, 3110 secs
lola: STP completed || 153 tries, 152203188 fired transitions, 3115 secs || 134154063 markings, 236062550 edges, 39829 markings/sec, 3115 secs
lola: STP completed || 153 tries, 152440955 fired transitions, 3120 secs || 134346989 markings, 236405588 edges, 38585 markings/sec, 3120 secs
lola: STP completed || 153 tries, 152678364 fired transitions, 3125 secs || 134580529 markings, 236833627 edges, 46708 markings/sec, 3125 secs
lola: STP completed || 153 tries, 152919927 fired transitions, 3130 secs || 134867823 markings, 237385197 edges, 57459 markings/sec, 3130 secs
lola: STP completed || 154 tries, 153159043 fired transitions, 3135 secs || 135158598 markings, 237918906 edges, 58155 markings/sec, 3135 secs
lola: STP completed || 154 tries, 153396641 fired transitions, 3140 secs || 135459352 markings, 238437550 edges, 60151 markings/sec, 3140 secs
lola: STP completed || 154 tries, 153635557 fired transitions, 3145 secs || 135746763 markings, 238975981 edges, 57482 markings/sec, 3145 secs
lola: STP completed || 154 tries, 153864327 fired transitions, 3150 secs || 136055137 markings, 239502045 edges, 61675 markings/sec, 3150 secs
lola: STP completed || 155 tries, 154103674 fired transitions, 3155 secs || 136357906 markings, 240033095 edges, 60554 markings/sec, 3155 secs
lola: STP completed || 155 tries, 154344628 fired transitions, 3160 secs || 136653783 markings, 240575627 edges, 59175 markings/sec, 3160 secs
lola: STP completed || 155 tries, 154584285 fired transitions, 3165 secs || 136968152 markings, 241110764 edges, 62874 markings/sec, 3165 secs
lola: STP completed || 155 tries, 154823851 fired transitions, 3170 secs || 137267573 markings, 241655581 edges, 59884 markings/sec, 3170 secs
lola: STP completed || 156 tries, 155066023 fired transitions, 3175 secs || 137561986 markings, 242224112 edges, 58883 markings/sec, 3175 secs
lola: STP completed || 156 tries, 155307868 fired transitions, 3180 secs || 137856012 markings, 242772885 edges, 58805 markings/sec, 3180 secs
lola: STP completed || 156 tries, 155548058 fired transitions, 3185 secs || 138156482 markings, 243311545 edges, 60094 markings/sec, 3185 secs
lola: STP completed || 156 tries, 155786474 fired transitions, 3190 secs || 138466949 markings, 243842708 edges, 62093 markings/sec, 3190 secs
lola: STP completed || 157 tries, 156025250 fired transitions, 3195 secs || 138781685 markings, 244387013 edges, 62947 markings/sec, 3195 secs
lola: STP completed || 157 tries, 156266341 fired transitions, 3200 secs || 139085049 markings, 244936865 edges, 60673 markings/sec, 3200 secs
lola: STP completed || 157 tries, 156493466 fired transitions, 3205 secs || 139359265 markings, 245432891 edges, 54843 markings/sec, 3205 secs
lola: STP completed || 157 tries, 156731186 fired transitions, 3210 secs || 139628534 markings, 245933538 edges, 53854 markings/sec, 3210 secs
lola: STP completed || 157 tries, 156967825 fired transitions, 3215 secs || 139899701 markings, 246422972 edges, 54233 markings/sec, 3215 secs
lola: STP completed || 158 tries, 157203535 fired transitions, 3220 secs || 140166767 markings, 246912899 edges, 53413 markings/sec, 3220 secs
lola: STP completed || 158 tries, 157438290 fired transitions, 3225 secs || 140454003 markings, 247365279 edges, 57447 markings/sec, 3225 secs
lola: STP completed || 158 tries, 157671674 fired transitions, 3230 secs || 140741030 markings, 247823238 edges, 57405 markings/sec, 3230 secs
lola: STP completed || 158 tries, 157746646 fired transitions, 3235 secs || 140810734 markings, 247922455 edges, 13941 markings/sec, 3235 secs
lola: STP completed || 158 tries, 157761644 fired transitions, 3240 secs || 140819479 markings, 247934944 edges, 1749 markings/sec, 3240 secs
lola: STP completed || 158 tries, 157766402 fired transitions, 3245 secs || 140822764 markings, 247939639 edges, 657 markings/sec, 3245 secs
lola: STP completed || 158 tries, 157777539 fired transitions, 3250 secs || 140826858 markings, 247945476 edges, 819 markings/sec, 3250 secs
lola: STP completed || 158 tries, 157840723 fired transitions, 3255 secs || 140838074 markings, 247961526 edges, 2243 markings/sec, 3255 secs
lola: STP completed || 158 tries, 157878713 fired transitions, 3260 secs || 140851031 markings, 247980086 edges, 2591 markings/sec, 3260 secs
lola: STP completed || 158 tries, 157912733 fired transitions, 3265 secs || 140857415 markings, 247989230 edges, 1277 markings/sec, 3265 secs
lola: STP completed || 158 tries, 157969158 fired transitions, 3270 secs || 140863870 markings, 247998507 edges, 1291 markings/sec, 3270 secs
lola: STP completed || 158 tries, 157997512 fired transitions, 3275 secs || 140873395 markings, 248012137 edges, 1905 markings/sec, 3275 secs
lola: STP completed || 159 tries, 158037574 fired transitions, 3280 secs || 140879374 markings, 248020666 edges, 1196 markings/sec, 3280 secs
lola: STP completed || 159 tries, 158078472 fired transitions, 3285 secs || 140884437 markings, 248027891 edges, 1013 markings/sec, 3285 secs
lola: STP completed || 159 tries, 158110620 fired transitions, 3290 secs || 140888480 markings, 248033673 edges, 809 markings/sec, 3290 secs
lola: STP completed || 159 tries, 158133400 fired transitions, 3295 secs || 140893090 markings, 248040225 edges, 922 markings/sec, 3295 secs
lola: STP completed || 159 tries, 158150924 fired transitions, 3300 secs || 140894976 markings, 248042901 edges, 377 markings/sec, 3300 secs
lola: STP completed || 159 tries, 158196697 fired transitions, 3305 secs || 140900200 markings, 248050337 edges, 1045 markings/sec, 3305 secs
lola: STP completed || 159 tries, 158237834 fired transitions, 3310 secs || 140907415 markings, 248060603 edges, 1443 markings/sec, 3310 secs
lola: STP completed || 159 tries, 158281587 fired transitions, 3315 secs || 140923657 markings, 248086445 edges, 3248 markings/sec, 3315 secs
lola: STP completed || 159 tries, 158342700 fired transitions, 3320 secs || 140949799 markings, 248133144 edges, 5228 markings/sec, 3320 secs
lola: STP completed || 159 tries, 158361836 fired transitions, 3325 secs || 140958125 markings, 248148183 edges, 1665 markings/sec, 3325 secs
lola: STP completed || 159 tries, 158373359 fired transitions, 3330 secs || 140964712 markings, 248161903 edges, 1317 markings/sec, 3330 secs
lola: STP completed || 159 tries, 158420384 fired transitions, 3335 secs || 140971835 markings, 248175819 edges, 1425 markings/sec, 3335 secs
lola: STP completed || 159 tries, 158465692 fired transitions, 3340 secs || 140993756 markings, 248218181 edges, 4384 markings/sec, 3340 secs

BK_STOP 1527412788409

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

Killed

Sequence of Actions to be Executed by the VM

This is useful if one wants to reexecute the tool in the VM from the submitted image disk.

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="Vasy2003-PT-none"
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/Vasy2003-PT-none.tgz
mv Vasy2003-PT-none 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 Vasy2003-PT-none, 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 r172-smll-152708743400426"
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 ;