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 484K
-rw-r--r-- 1 mcc users 3.5K May 15 18:54 CTLCardinality.txt
-rw-r--r-- 1 mcc users 20K May 15 18:54 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K May 15 18:54 CTLFireability.txt
-rw-r--r-- 1 mcc users 13K May 15 18:54 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K May 15 18:50 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.1K May 15 18:50 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 2.5K May 15 18:54 LTLCardinality.txt
-rw-r--r-- 1 mcc users 11K May 15 18:54 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.9K May 15 18:54 LTLFireability.txt
-rw-r--r-- 1 mcc users 8.1K May 15 18:54 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.4K May 15 18:54 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 17K May 15 18:54 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 113 May 15 18:54 ReachabilityDeadlock.txt
-rw-r--r-- 1 mcc users 351 May 15 18:54 ReachabilityDeadlock.xml
-rw-r--r-- 1 mcc users 2.5K May 15 18:54 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 13K May 15 18:54 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K May 15 18:54 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K May 15 18:54 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 15 18:50 equiv_col
-rw-r--r-- 1 mcc users 4 May 15 18:50 instance
-rw-r--r-- 1 mcc users 6 May 15 18:50 iscolored
-rw-r--r-- 1 mcc users 321K May 15 18:50 model.pnml
=====================================================================
Generated by BenchKit 2-3637
Executing tool lola
Input is FlexibleBarrier-PT-20a, examination is ReachabilityDeadlock
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r088-blw7-152649998200216
=====================================================================

--------------------
content from stdout:

=== Data for post analysis generated by BenchKit (invocation template)

The expected result is a vector of booleans
BOOL_VECTOR

here is the order used to build the result vector(from text file)
FORMULA_NAME FlexibleBarrier-PT-20a-ReachabilityDeadlock-0

=== Now, execution of the tool begins

BK_START 1526689871638

info: Time: 3600 - MCC
===========================================================================================
prep: translating FlexibleBarrier-PT-20a Petri net model.pnml into LoLA format
===========================================================================================
prep: translating PT Petri net complete
prep: net is already safe
prep: check for too many tokens
===========================================================================================
prep: translating FlexibleBarrier-PT-20a formula ReachabilityDeadlock into LoLA format
===========================================================================================
prep: translating PT formula complete
vrfy: Checking ReachabilityDeadlock @ FlexibleBarrier-PT-20a @ 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: 1307/65536 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 243
lola: finding significant places
lola: 243 places, 1064 transitions, 221 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 744 transition conflict sets
lola: TASK
lola: reading formula from FlexibleBarrier-PT-20a-ReachabilityDeadlock.task
lola: E (F (DEADLOCK))
lola: rewrite Frontend/Parser/formula_rewrite.k:106
lola: checking reachability of deadlocks
lola: Planning: workflow for deadlock check: siphon||findpath||search) (--findpath=par,--siphontrap=par)
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using deadlock preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: SEARCH (findpath)
lola: findpath: using deadlock preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: findpath: starting randomized, memory-less exploration (--search=findpath)
lola: findpath: searching for paths with maximal depth 1000000 (--depthlimit)
lola: findpath: no retry limit given (--retrylimit)
lola: findpath: transitions are chosen randomly
lola: computing symmetries (--symmetry)
lola: time limit for symmetry computation of 300 seconds given (--symmtimelimit)
lola: STP: formula with 16507 variables and 81440 clauses shipped to Minisat
lola: computed 171 generators (33 in search tree, 138 by composition)
lola: representing 1.21645E+17 symmetries
lola: 0 dead branches visited in search tree
lola: stp: The siphon/trap property does not hold
lola: STP completed || 1 tries, 39582 fired transitions, 0 secs || 80925 markings, 127790 edges, 16185 markings/sec, 0 secs
lola: STP completed || 1 tries, 81784 fired transitions, 5 secs || 164607 markings, 261694 edges, 16736 markings/sec, 5 secs
lola: STP completed || 1 tries, 120484 fired transitions, 10 secs || 252504 markings, 413925 edges, 17579 markings/sec, 10 secs
lola: STP completed || 1 tries, 162020 fired transitions, 15 secs || 339171 markings, 558408 edges, 17333 markings/sec, 15 secs
lola: STP completed || 1 tries, 203866 fired transitions, 20 secs || 427038 markings, 701852 edges, 17573 markings/sec, 20 secs
lola: STP completed || 1 tries, 245028 fired transitions, 25 secs || 514285 markings, 843210 edges, 17449 markings/sec, 25 secs
lola: STP completed || 1 tries, 286720 fired transitions, 30 secs || 594600 markings, 970314 edges, 16063 markings/sec, 30 secs
lola: STP completed || 1 tries, 327221 fired transitions, 35 secs || 673476 markings, 1094037 edges, 15775 markings/sec, 35 secs
lola: STP completed || 1 tries, 368710 fired transitions, 40 secs || 756952 markings, 1222390 edges, 16695 markings/sec, 40 secs
lola: STP completed || 1 tries, 410899 fired transitions, 45 secs || 841560 markings, 1356342 edges, 16922 markings/sec, 45 secs
lola: STP completed || 1 tries, 451894 fired transitions, 50 secs || 924716 markings, 1495595 edges, 16631 markings/sec, 50 secs
lola: STP completed || 1 tries, 490076 fired transitions, 55 secs || 1006381 markings, 1627725 edges, 16333 markings/sec, 55 secs
lola: STP completed || 1 tries, 531847 fired transitions, 60 secs || 1093919 markings, 1774474 edges, 17508 markings/sec, 60 secs
lola: STP completed || 1 tries, 573963 fired transitions, 65 secs || 1180981 markings, 1920644 edges, 17412 markings/sec, 65 secs
lola: STP completed || 1 tries, 615251 fired transitions, 70 secs || 1268278 markings, 2061258 edges, 17459 markings/sec, 70 secs
lola: STP completed || 1 tries, 656647 fired transitions, 75 secs || 1353092 markings, 2189583 edges, 16963 markings/sec, 75 secs
lola: STP completed || 1 tries, 697990 fired transitions, 80 secs || 1436444 markings, 2318033 edges, 16670 markings/sec, 80 secs
lola: STP completed || 1 tries, 738626 fired transitions, 85 secs || 1511752 markings, 2442873 edges, 15062 markings/sec, 85 secs
lola: STP completed || 1 tries, 779669 fired transitions, 90 secs || 1597488 markings, 2581885 edges, 17147 markings/sec, 90 secs
lola: STP completed || 1 tries, 820665 fired transitions, 95 secs || 1683260 markings, 2719131 edges, 17154 markings/sec, 95 secs
lola: STP completed || 1 tries, 861802 fired transitions, 100 secs || 1772361 markings, 2875739 edges, 17820 markings/sec, 100 secs
lola: STP completed || 1 tries, 903415 fired transitions, 105 secs || 1857569 markings, 3023911 edges, 17042 markings/sec, 105 secs
lola: STP completed || 1 tries, 943430 fired transitions, 110 secs || 1942774 markings, 3160687 edges, 17041 markings/sec, 110 secs
lola: STP completed || 1 tries, 983309 fired transitions, 115 secs || 2028454 markings, 3298970 edges, 17136 markings/sec, 115 secs
lola: STP completed || 2 tries, 1024004 fired transitions, 120 secs || 2112992 markings, 3430245 edges, 16908 markings/sec, 120 secs
lola: STP completed || 2 tries, 1064676 fired transitions, 125 secs || 2196299 markings, 3558932 edges, 16661 markings/sec, 125 secs
lola: STP completed || 2 tries, 1102836 fired transitions, 130 secs || 2278362 markings, 3687952 edges, 16413 markings/sec, 130 secs
lola: STP completed || 2 tries, 1144601 fired transitions, 135 secs || 2361982 markings, 3819644 edges, 16724 markings/sec, 135 secs
lola: STP completed || 2 tries, 1185722 fired transitions, 140 secs || 2445735 markings, 3954093 edges, 16751 markings/sec, 140 secs
lola: STP completed || 2 tries, 1226580 fired transitions, 145 secs || 2522069 markings, 4078792 edges, 15267 markings/sec, 145 secs
lola: STP completed || 2 tries, 1267713 fired transitions, 150 secs || 2607099 markings, 4218149 edges, 17006 markings/sec, 150 secs
lola: STP completed || 2 tries, 1308910 fired transitions, 155 secs || 2693445 markings, 4364308 edges, 17269 markings/sec, 155 secs
lola: STP completed || 2 tries, 1349918 fired transitions, 160 secs || 2781167 markings, 4515405 edges, 17544 markings/sec, 160 secs
lola: STP completed || 2 tries, 1391166 fired transitions, 165 secs || 2866161 markings, 4657829 edges, 16999 markings/sec, 165 secs
lola: STP completed || 2 tries, 1432160 fired transitions, 170 secs || 2950943 markings, 4801003 edges, 16956 markings/sec, 170 secs
lola: STP completed || 2 tries, 1474321 fired transitions, 175 secs || 3036933 markings, 4951154 edges, 17198 markings/sec, 175 secs
lola: STP completed || 2 tries, 1516679 fired transitions, 180 secs || 3124798 markings, 5104419 edges, 17573 markings/sec, 180 secs
lola: STP completed || 2 tries, 1558369 fired transitions, 185 secs || 3210223 markings, 5253325 edges, 17085 markings/sec, 185 secs
lola: STP completed || 2 tries, 1599561 fired transitions, 190 secs || 3295956 markings, 5397029 edges, 17147 markings/sec, 190 secs
lola: STP completed || 2 tries, 1640355 fired transitions, 195 secs || 3384057 markings, 5551092 edges, 17620 markings/sec, 195 secs
lola: STP completed || 2 tries, 1683157 fired transitions, 200 secs || 3472778 markings, 5710140 edges, 17744 markings/sec, 200 secs
lola: STP completed || 2 tries, 1724216 fired transitions, 205 secs || 3560044 markings, 5856971 edges, 17453 markings/sec, 205 secs
lola: STP completed || 2 tries, 1766269 fired transitions, 210 secs || 3648256 markings, 6005298 edges, 17642 markings/sec, 210 secs
lola: STP completed || 2 tries, 1808233 fired transitions, 215 secs || 3730001 markings, 6139471 edges, 16349 markings/sec, 215 secs
lola: STP completed || 2 tries, 1847949 fired transitions, 220 secs || 3814250 markings, 6296478 edges, 16850 markings/sec, 220 secs
lola: STP completed || 2 tries, 1888692 fired transitions, 225 secs || 3886668 markings, 6432219 edges, 14484 markings/sec, 225 secs
lola: STP completed || 2 tries, 1929044 fired transitions, 230 secs || 3969817 markings, 6563050 edges, 16630 markings/sec, 230 secs
lola: STP completed || 2 tries, 1970011 fired transitions, 235 secs || 4057482 markings, 6708034 edges, 17533 markings/sec, 235 secs
lola: STP completed || 3 tries, 2011888 fired transitions, 240 secs || 4141379 markings, 6842874 edges, 16779 markings/sec, 240 secs
lola: STP completed || 3 tries, 2053564 fired transitions, 245 secs || 4228750 markings, 6988400 edges, 17474 markings/sec, 245 secs
lola: STP completed || 3 tries, 2094470 fired transitions, 250 secs || 4313706 markings, 7126933 edges, 16991 markings/sec, 250 secs
lola: STP completed || 3 tries, 2137153 fired transitions, 255 secs || 4397149 markings, 7255984 edges, 16689 markings/sec, 255 secs
lola: STP completed || 3 tries, 2177893 fired transitions, 260 secs || 4480374 markings, 7389046 edges, 16645 markings/sec, 260 secs
lola: STP completed || 3 tries, 2219459 fired transitions, 265 secs || 4561009 markings, 7507492 edges, 16127 markings/sec, 265 secs
lola: STP completed || 3 tries, 2260343 fired transitions, 270 secs || 4643303 markings, 7631330 edges, 16459 markings/sec, 270 secs
lola: STP completed || 3 tries, 2302249 fired transitions, 275 secs || 4725615 markings, 7758949 edges, 16462 markings/sec, 275 secs
lola: STP completed || 3 tries, 2343566 fired transitions, 280 secs || 4810298 markings, 7897107 edges, 16937 markings/sec, 280 secs
lola: STP completed || 3 tries, 2385646 fired transitions, 285 secs || 4894129 markings, 8037645 edges, 16766 markings/sec, 285 secs
lola: STP completed || 3 tries, 2427559 fired transitions, 290 secs || 4962496 markings, 8144779 edges, 13673 markings/sec, 290 secs
lola: STP completed || 3 tries, 2468338 fired transitions, 295 secs || 5045959 markings, 8276389 edges, 16693 markings/sec, 295 secs
lola: STP completed || 3 tries, 2509481 fired transitions, 300 secs || 5126149 markings, 8412164 edges, 16038 markings/sec, 300 secs
lola: STP completed || 3 tries, 2550906 fired transitions, 305 secs || 5192285 markings, 8517156 edges, 13227 markings/sec, 305 secs
lola: STP completed || 3 tries, 2592362 fired transitions, 310 secs || 5275902 markings, 8650686 edges, 16723 markings/sec, 310 secs
lola: STP completed || 3 tries, 2634010 fired transitions, 315 secs || 5362099 markings, 8799777 edges, 17239 markings/sec, 315 secs
lola: STP completed || 3 tries, 2676633 fired transitions, 320 secs || 5448904 markings, 8954830 edges, 17361 markings/sec, 320 secs
lola: STP completed || 3 tries, 2718156 fired transitions, 325 secs || 5533645 markings, 9095396 edges, 16948 markings/sec, 325 secs
lola: STP completed || 3 tries, 2759079 fired transitions, 330 secs || 5616247 markings, 9222474 edges, 16520 markings/sec, 330 secs
lola: STP completed || 3 tries, 2801734 fired transitions, 335 secs || 5690544 markings, 9343079 edges, 14859 markings/sec, 335 secs
lola: STP completed || 3 tries, 2844408 fired transitions, 340 secs || 5768133 markings, 9475945 edges, 15518 markings/sec, 340 secs
lola: STP completed || 3 tries, 2885748 fired transitions, 345 secs || 5854964 markings, 9629279 edges, 17366 markings/sec, 345 secs
lola: STP completed || 3 tries, 2927250 fired transitions, 350 secs || 5940590 markings, 9773234 edges, 17125 markings/sec, 350 secs
lola: STP completed || 3 tries, 2968267 fired transitions, 355 secs || 6026448 markings, 9920365 edges, 17172 markings/sec, 355 secs
lola: STP completed || 4 tries, 3009328 fired transitions, 360 secs || 6108178 markings, 10052602 edges, 16346 markings/sec, 360 secs
lola: STP completed || 4 tries, 3051245 fired transitions, 365 secs || 6194464 markings, 10202019 edges, 17257 markings/sec, 365 secs
lola: STP completed || 4 tries, 3093138 fired transitions, 370 secs || 6282061 markings, 10345856 edges, 17519 markings/sec, 370 secs
lola: STP completed || 4 tries, 3134449 fired transitions, 375 secs || 6371307 markings, 10498741 edges, 17849 markings/sec, 375 secs
lola: STP completed || 4 tries, 3175906 fired transitions, 380 secs || 6458258 markings, 10646315 edges, 17390 markings/sec, 380 secs
lola: STP completed || 4 tries, 3217821 fired transitions, 385 secs || 6543242 markings, 10789824 edges, 16997 markings/sec, 385 secs
lola: STP completed || 4 tries, 3259375 fired transitions, 390 secs || 6632451 markings, 10950645 edges, 17842 markings/sec, 390 secs
lola: STP completed || 4 tries, 3300966 fired transitions, 395 secs || 6719284 markings, 11098942 edges, 17367 markings/sec, 395 secs
lola: STP completed || 4 tries, 3342799 fired transitions, 400 secs || 6791033 markings, 11221128 edges, 14350 markings/sec, 400 secs
lola: STP completed || 4 tries, 3384716 fired transitions, 405 secs || 6877590 markings, 11377643 edges, 17311 markings/sec, 405 secs
lola: STP completed || 4 tries, 3425623 fired transitions, 410 secs || 6966544 markings, 11538311 edges, 17791 markings/sec, 410 secs
lola: STP completed || 4 tries, 3466682 fired transitions, 415 secs || 7054325 markings, 11696455 edges, 17556 markings/sec, 415 secs
lola: STP completed || 4 tries, 3508772 fired transitions, 420 secs || 7144551 markings, 11865955 edges, 18045 markings/sec, 420 secs
lola: STP completed || 4 tries, 3550297 fired transitions, 425 secs || 7233740 markings, 12035089 edges, 17838 markings/sec, 425 secs
lola: STP completed || 4 tries, 3590380 fired transitions, 430 secs || 7318376 markings, 12186661 edges, 16927 markings/sec, 430 secs
lola: STP completed || 4 tries, 3632442 fired transitions, 435 secs || 7391728 markings, 12303344 edges, 14670 markings/sec, 435 secs
lola: STP completed || 4 tries, 3673954 fired transitions, 440 secs || 7475977 markings, 12442175 edges, 16850 markings/sec, 440 secs
lola: STP completed || 4 tries, 3715891 fired transitions, 445 secs || 7561562 markings, 12593003 edges, 17117 markings/sec, 445 secs
lola: STP completed || 4 tries, 3756759 fired transitions, 450 secs || 7645331 markings, 12736773 edges, 16754 markings/sec, 450 secs
lola: STP completed || 4 tries, 3796767 fired transitions, 455 secs || 7729230 markings, 12877023 edges, 16780 markings/sec, 455 secs
lola: STP completed || 4 tries, 3838559 fired transitions, 460 secs || 7815930 markings, 13020217 edges, 17340 markings/sec, 460 secs
lola: STP completed || 4 tries, 3880002 fired transitions, 465 secs || 7902690 markings, 13167007 edges, 17352 markings/sec, 465 secs
lola: STP completed || 4 tries, 3921274 fired transitions, 470 secs || 7991115 markings, 13324351 edges, 17685 markings/sec, 470 secs
lola: STP completed || 4 tries, 3963306 fired transitions, 475 secs || 8078145 markings, 13477620 edges, 17406 markings/sec, 475 secs
lola: STP completed || 5 tries, 4003980 fired transitions, 480 secs || 8165876 markings, 13630822 edges, 17546 markings/sec, 480 secs
lola: STP completed || 5 tries, 4045758 fired transitions, 485 secs || 8253558 markings, 13781430 edges, 17536 markings/sec, 485 secs
lola: STP completed || 5 tries, 4087346 fired transitions, 490 secs || 8341705 markings, 13935155 edges, 17629 markings/sec, 490 secs
lola: STP completed || 5 tries, 4128284 fired transitions, 495 secs || 8418562 markings, 14065791 edges, 15371 markings/sec, 495 secs
lola: STP completed || 5 tries, 4170330 fired transitions, 500 secs || 8500503 markings, 14213138 edges, 16388 markings/sec, 500 secs
lola: STP completed || 5 tries, 4211152 fired transitions, 505 secs || 8588311 markings, 14363276 edges, 17562 markings/sec, 505 secs
lola: STP completed || 5 tries, 4251722 fired transitions, 510 secs || 8670171 markings, 14491301 edges, 16372 markings/sec, 510 secs
lola: STP completed || 5 tries, 4293724 fired transitions, 515 secs || 8754738 markings, 14633465 edges, 16913 markings/sec, 515 secs
lola: STP completed || 5 tries, 4335446 fired transitions, 520 secs || 8842550 markings, 14789505 edges, 17562 markings/sec, 520 secs
lola: STP completed || 5 tries, 4377148 fired transitions, 525 secs || 8929550 markings, 14939193 edges, 17400 markings/sec, 525 secs
lola: STP completed || 5 tries, 4418672 fired transitions, 530 secs || 9015909 markings, 15088567 edges, 17272 markings/sec, 530 secs
lola: STP completed || 5 tries, 4459880 fired transitions, 535 secs || 9100509 markings, 15234039 edges, 16920 markings/sec, 535 secs
lola: STP completed || 5 tries, 4501118 fired transitions, 540 secs || 9185002 markings, 15379807 edges, 16899 markings/sec, 540 secs
lola: STP completed || 5 tries, 4542990 fired transitions, 545 secs || 9271691 markings, 15534164 edges, 17338 markings/sec, 545 secs
lola: STP completed || 5 tries, 4584495 fired transitions, 550 secs || 9359034 markings, 15690116 edges, 17469 markings/sec, 550 secs
lola: STP completed || 5 tries, 4625792 fired transitions, 555 secs || 9445751 markings, 15837908 edges, 17343 markings/sec, 555 secs
lola: STP completed || 5 tries, 4667187 fired transitions, 560 secs || 9521652 markings, 15979870 edges, 15180 markings/sec, 560 secs
lola: STP completed || 5 tries, 4709156 fired transitions, 565 secs || 9610927 markings, 16151212 edges, 17855 markings/sec, 565 secs
lola: STP completed || 5 tries, 4749626 fired transitions, 570 secs || 9698457 markings, 16308110 edges, 17506 markings/sec, 570 secs
lola: STP completed || 5 tries, 4791002 fired transitions, 575 secs || 9785379 markings, 16457384 edges, 17384 markings/sec, 575 secs
lola: STP completed || 5 tries, 4832683 fired transitions, 580 secs || 9872338 markings, 16606027 edges, 17392 markings/sec, 580 secs
lola: STP completed || 5 tries, 4874086 fired transitions, 585 secs || 9959121 markings, 16757414 edges, 17357 markings/sec, 585 secs
lola: STP completed || 5 tries, 4915862 fired transitions, 590 secs || 10042803 markings, 16907435 edges, 16736 markings/sec, 590 secs
lola: STP completed || 5 tries, 4957599 fired transitions, 595 secs || 10120780 markings, 17049835 edges, 15595 markings/sec, 595 secs
lola: STP completed || 5 tries, 4999327 fired transitions, 600 secs || 10208590 markings, 17203339 edges, 17562 markings/sec, 600 secs
lola: STP completed || 6 tries, 5040199 fired transitions, 605 secs || 10293824 markings, 17352003 edges, 17047 markings/sec, 605 secs
lola: STP completed || 6 tries, 5081285 fired transitions, 610 secs || 10364973 markings, 17473994 edges, 14230 markings/sec, 610 secs
lola: STP completed || 6 tries, 5122584 fired transitions, 615 secs || 10451254 markings, 17623734 edges, 17256 markings/sec, 615 secs
lola: STP completed || 6 tries, 5163529 fired transitions, 620 secs || 10538874 markings, 17780078 edges, 17524 markings/sec, 620 secs
lola: STP completed || 6 tries, 5204472 fired transitions, 625 secs || 10630990 markings, 17956075 edges, 18423 markings/sec, 625 secs
lola: STP completed || 6 tries, 5245865 fired transitions, 630 secs || 10721374 markings, 18124553 edges, 18077 markings/sec, 630 secs
lola: STP completed || 6 tries, 5287763 fired transitions, 635 secs || 10811924 markings, 18291485 edges, 18110 markings/sec, 635 secs
lola: STP completed || 6 tries, 5328406 fired transitions, 640 secs || 10900516 markings, 18450745 edges, 17718 markings/sec, 640 secs
lola: STP completed || 6 tries, 5369740 fired transitions, 645 secs || 10989070 markings, 18610810 edges, 17711 markings/sec, 645 secs
lola: STP completed || 6 tries, 5412248 fired transitions, 650 secs || 11077117 markings, 18771483 edges, 17609 markings/sec, 650 secs
lola: STP completed || 6 tries, 5453072 fired transitions, 655 secs || 11165724 markings, 18926481 edges, 17721 markings/sec, 655 secs
lola: STP completed || 6 tries, 5495336 fired transitions, 660 secs || 11253909 markings, 19076385 edges, 17637 markings/sec, 660 secs
lola: STP completed || 6 tries, 5537032 fired transitions, 665 secs || 11342863 markings, 19231001 edges, 17791 markings/sec, 665 secs
lola: STP completed || 6 tries, 5578790 fired transitions, 670 secs || 11426361 markings, 19383167 edges, 16700 markings/sec, 670 secs
lola: STP completed || 6 tries, 5621368 fired transitions, 675 secs || 11506051 markings, 19534369 edges, 15938 markings/sec, 675 secs
lola: STP completed || 6 tries, 5663203 fired transitions, 680 secs || 11595305 markings, 19699509 edges, 17851 markings/sec, 680 secs
lola: STP completed || 6 tries, 5703949 fired transitions, 685 secs || 11683921 markings, 19861015 edges, 17723 markings/sec, 685 secs
lola: STP completed || 6 tries, 5745675 fired transitions, 690 secs || 11758216 markings, 19990899 edges, 14859 markings/sec, 690 secs
lola: STP completed || 6 tries, 5787071 fired transitions, 695 secs || 11846702 markings, 20146064 edges, 17697 markings/sec, 695 secs
lola: STP completed || 6 tries, 5827879 fired transitions, 700 secs || 11934059 markings, 20297118 edges, 17471 markings/sec, 700 secs
lola: STP completed || 6 tries, 5870042 fired transitions, 705 secs || 12003507 markings, 20414147 edges, 13890 markings/sec, 705 secs
lola: STP completed || 6 tries, 5911340 fired transitions, 710 secs || 12092933 markings, 20571732 edges, 17885 markings/sec, 710 secs
lola: STP completed || 6 tries, 5952849 fired transitions, 715 secs || 12179362 markings, 20717602 edges, 17286 markings/sec, 715 secs
lola: STP completed || 6 tries, 5994261 fired transitions, 720 secs || 12263690 markings, 20849540 edges, 16866 markings/sec, 720 secs
lola: STP completed || 7 tries, 6035047 fired transitions, 725 secs || 12347917 markings, 20990102 edges, 16845 markings/sec, 725 secs
lola: STP completed || 7 tries, 6076252 fired transitions, 730 secs || 12430952 markings, 21124009 edges, 16607 markings/sec, 730 secs
lola: STP completed || 7 tries, 6117201 fired transitions, 735 secs || 12506392 markings, 21247055 edges, 15088 markings/sec, 735 secs
lola: STP completed || 7 tries, 6158504 fired transitions, 740 secs || 12585329 markings, 21385426 edges, 15787 markings/sec, 740 secs
lola: STP completed || 7 tries, 6199877 fired transitions, 745 secs || 12671567 markings, 21538302 edges, 17248 markings/sec, 745 secs
lola: STP completed || 7 tries, 6240999 fired transitions, 750 secs || 12758296 markings, 21687156 edges, 17346 markings/sec, 750 secs
lola: STP completed || 7 tries, 6282783 fired transitions, 755 secs || 12846849 markings, 21843237 edges, 17711 markings/sec, 755 secs
lola: STP completed || 7 tries, 6323432 fired transitions, 760 secs || 12934736 markings, 21999400 edges, 17577 markings/sec, 760 secs
lola: STP completed || 7 tries, 6364432 fired transitions, 765 secs || 13021707 markings, 22148835 edges, 17394 markings/sec, 765 secs
lola: STP completed || 7 tries, 6405321 fired transitions, 770 secs || 13109843 markings, 22295597 edges, 17627 markings/sec, 770 secs
lola: STP completed || 7 tries, 6446224 fired transitions, 775 secs || 13195328 markings, 22433915 edges, 17097 markings/sec, 775 secs
lola: STP completed || 7 tries, 6487353 fired transitions, 780 secs || 13278729 markings, 22567550 edges, 16680 markings/sec, 780 secs
lola: STP completed || 7 tries, 6528688 fired transitions, 785 secs || 13359865 markings, 22698951 edges, 16227 markings/sec, 785 secs
lola: STP completed || 7 tries, 6570710 fired transitions, 790 secs || 13443816 markings, 22840245 edges, 16790 markings/sec, 790 secs
lola: STP completed || 7 tries, 6612034 fired transitions, 795 secs || 13528769 markings, 22981751 edges, 16991 markings/sec, 795 secs
lola: STP completed || 7 tries, 6653972 fired transitions, 800 secs || 13600268 markings, 23106166 edges, 14300 markings/sec, 800 secs
lola: STP completed || 7 tries, 6695181 fired transitions, 805 secs || 13685267 markings, 23250474 edges, 17000 markings/sec, 805 secs
lola: STP completed || 7 tries, 6737365 fired transitions, 810 secs || 13768689 markings, 23394948 edges, 16684 markings/sec, 810 secs
lola: STP completed || 7 tries, 6778787 fired transitions, 815 secs || 13855738 markings, 23548503 edges, 17410 markings/sec, 815 secs
lola: STP completed || 7 tries, 6820736 fired transitions, 820 secs || 13942874 markings, 23702366 edges, 17427 markings/sec, 820 secs
lola: STP completed || 7 tries, 6861525 fired transitions, 825 secs || 14028579 markings, 23841805 edges, 17141 markings/sec, 825 secs
lola: STP completed || 7 tries, 6902776 fired transitions, 830 secs || 14113661 markings, 23982992 edges, 17016 markings/sec, 830 secs
lola: STP completed || 7 tries, 6943766 fired transitions, 835 secs || 14201111 markings, 24138780 edges, 17490 markings/sec, 835 secs
lola: STP completed || 7 tries, 6984789 fired transitions, 840 secs || 14285827 markings, 24277144 edges, 16943 markings/sec, 840 secs
lola: STP completed || 8 tries, 7025650 fired transitions, 845 secs || 14375011 markings, 24432504 edges, 17837 markings/sec, 845 secs
lola: STP completed || 8 tries, 7067104 fired transitions, 850 secs || 14461503 markings, 24573363 edges, 17298 markings/sec, 850 secs
lola: STP completed || 8 tries, 7108991 fired transitions, 855 secs || 14547704 markings, 24713253 edges, 17240 markings/sec, 855 secs
lola: STP completed || 8 tries, 7150186 fired transitions, 860 secs || 14631902 markings, 24851066 edges, 16840 markings/sec, 860 secs
lola: STP completed || 8 tries, 7191997 fired transitions, 865 secs || 14700076 markings, 24970277 edges, 13635 markings/sec, 865 secs
lola: STP completed || 8 tries, 7233371 fired transitions, 870 secs || 14784041 markings, 25113743 edges, 16793 markings/sec, 870 secs
lola: STP completed || 8 tries, 7275863 fired transitions, 875 secs || 14870387 markings, 25265183 edges, 17269 markings/sec, 875 secs
lola: STP completed || 8 tries, 7317552 fired transitions, 880 secs || 14958953 markings, 25429300 edges, 17713 markings/sec, 880 secs
lola: STP completed || 8 tries, 7358742 fired transitions, 885 secs || 15042375 markings, 25568833 edges, 16684 markings/sec, 885 secs
lola: STP completed || 8 tries, 7400748 fired transitions, 890 secs || 15127703 markings, 25714997 edges, 17066 markings/sec, 890 secs
lola: STP completed || 8 tries, 7442138 fired transitions, 895 secs || 15212800 markings, 25859373 edges, 17019 markings/sec, 895 secs
lola: STP completed || 8 tries, 7484128 fired transitions, 900 secs || 15295500 markings, 25998058 edges, 16540 markings/sec, 900 secs
lola: STP completed || 8 tries, 7525510 fired transitions, 905 secs || 15377569 markings, 26135588 edges, 16414 markings/sec, 905 secs
lola: STP completed || 8 tries, 7567087 fired transitions, 910 secs || 15459901 markings, 26270532 edges, 16466 markings/sec, 910 secs
lola: STP completed || 8 tries, 7607343 fired transitions, 915 secs || 15543281 markings, 26409344 edges, 16676 markings/sec, 915 secs
lola: STP completed || 8 tries, 7648477 fired transitions, 920 secs || 15625829 markings, 26544003 edges, 16510 markings/sec, 920 secs
lola: STP completed || 8 tries, 7690093 fired transitions, 925 secs || 15709895 markings, 26687910 edges, 16813 markings/sec, 925 secs
lola: STP completed || 8 tries, 7731283 fired transitions, 930 secs || 15795520 markings, 26835128 edges, 17125 markings/sec, 930 secs
lola: STP completed || 8 tries, 7772182 fired transitions, 935 secs || 15880740 markings, 26985930 edges, 17044 markings/sec, 935 secs
lola: STP completed || 8 tries, 7814639 fired transitions, 940 secs || 15964780 markings, 27131630 edges, 16808 markings/sec, 940 secs
lola: STP completed || 8 tries, 7855958 fired transitions, 945 secs || 16052285 markings, 27284231 edges, 17501 markings/sec, 945 secs
lola: STP completed || 8 tries, 7897530 fired transitions, 950 secs || 16137448 markings, 27432525 edges, 17033 markings/sec, 950 secs
lola: STP completed || 8 tries, 7939257 fired transitions, 955 secs || 16221002 markings, 27572033 edges, 16711 markings/sec, 955 secs
lola: STP completed || 8 tries, 7981339 fired transitions, 960 secs || 16306651 markings, 27720869 edges, 17130 markings/sec, 960 secs
lola: STP completed || 9 tries, 8022077 fired transitions, 965 secs || 16394171 markings, 27879276 edges, 17504 markings/sec, 965 secs
lola: STP completed || 9 tries, 8063675 fired transitions, 970 secs || 16476906 markings, 28017000 edges, 16547 markings/sec, 970 secs
lola: STP completed || 9 tries, 8105238 fired transitions, 975 secs || 16559141 markings, 28144623 edges, 16447 markings/sec, 975 secs
lola: STP completed || 9 tries, 8146543 fired transitions, 980 secs || 16642833 markings, 28282196 edges, 16738 markings/sec, 980 secs
lola: STP completed || 9 tries, 8188914 fired transitions, 985 secs || 16730552 markings, 28443338 edges, 17544 markings/sec, 985 secs
lola: STP completed || 9 tries, 8230329 fired transitions, 990 secs || 16816467 markings, 28595202 edges, 17183 markings/sec, 990 secs
lola: STP completed || 9 tries, 8271889 fired transitions, 995 secs || 16901189 markings, 28736762 edges, 16944 markings/sec, 995 secs
lola: STP completed || 9 tries, 8313243 fired transitions, 1000 secs || 16987006 markings, 28882584 edges, 17163 markings/sec, 1000 secs
lola: STP completed || 9 tries, 8355343 fired transitions, 1005 secs || 17074660 markings, 29042169 edges, 17531 markings/sec, 1005 secs
lola: STP completed || 9 tries, 8397324 fired transitions, 1010 secs || 17162314 markings, 29202624 edges, 17531 markings/sec, 1010 secs
lola: STP completed || 9 tries, 8439906 fired transitions, 1015 secs || 17247518 markings, 29353976 edges, 17041 markings/sec, 1015 secs
lola: STP completed || 9 tries, 8480811 fired transitions, 1020 secs || 17335015 markings, 29506891 edges, 17499 markings/sec, 1020 secs
lola: STP completed || 9 tries, 8523392 fired transitions, 1025 secs || 17421524 markings, 29659106 edges, 17302 markings/sec, 1025 secs
lola: STP completed || 9 tries, 8565130 fired transitions, 1030 secs || 17510501 markings, 29814418 edges, 17795 markings/sec, 1030 secs
lola: STP completed || 9 tries, 8606137 fired transitions, 1035 secs || 17593820 markings, 29949218 edges, 16664 markings/sec, 1035 secs
lola: STP completed || 9 tries, 8648408 fired transitions, 1040 secs || 17666298 markings, 30083366 edges, 14496 markings/sec, 1040 secs
lola: STP completed || 9 tries, 8689952 fired transitions, 1045 secs || 17751610 markings, 30236591 edges, 17062 markings/sec, 1045 secs
lola: STP completed || 9 tries, 8731371 fired transitions, 1050 secs || 17838650 markings, 30392975 edges, 17408 markings/sec, 1050 secs
lola: STP completed || 9 tries, 8772667 fired transitions, 1055 secs || 17923518 markings, 30545106 edges, 16974 markings/sec, 1055 secs
lola: STP completed || 9 tries, 8813980 fired transitions, 1060 secs || 18010297 markings, 30694304 edges, 17356 markings/sec, 1060 secs
lola: STP completed || 9 tries, 8855853 fired transitions, 1065 secs || 18096499 markings, 30845202 edges, 17240 markings/sec, 1065 secs
lola: STP completed || 9 tries, 8897224 fired transitions, 1070 secs || 18179351 markings, 30999595 edges, 16570 markings/sec, 1070 secs
lola: STP completed || 9 tries, 8937745 fired transitions, 1075 secs || 18258082 markings, 31150313 edges, 15746 markings/sec, 1075 secs
lola: STP completed || 9 tries, 8979837 fired transitions, 1080 secs || 18346161 markings, 31315931 edges, 17616 markings/sec, 1080 secs
lola: STP completed || 10 tries, 9020023 fired transitions, 1085 secs || 18432124 markings, 31463807 edges, 17193 markings/sec, 1085 secs
lola: STP completed || 10 tries, 9060641 fired transitions, 1090 secs || 18516050 markings, 31597286 edges, 16785 markings/sec, 1090 secs
lola: STP completed || 10 tries, 9102127 fired transitions, 1095 secs || 18600311 markings, 31738370 edges, 16852 markings/sec, 1095 secs
lola: STP completed || 10 tries, 9144220 fired transitions, 1100 secs || 18681500 markings, 31868776 edges, 16238 markings/sec, 1100 secs
lola: STP completed || 10 tries, 9185176 fired transitions, 1105 secs || 18762120 markings, 31998409 edges, 16124 markings/sec, 1105 secs
lola: STP completed || 10 tries, 9226732 fired transitions, 1110 secs || 18845194 markings, 32134043 edges, 16615 markings/sec, 1110 secs
lola: STP completed || 10 tries, 9267474 fired transitions, 1115 secs || 18930517 markings, 32278599 edges, 17065 markings/sec, 1115 secs
lola: STP completed || 10 tries, 9309219 fired transitions, 1120 secs || 19002314 markings, 32404507 edges, 14359 markings/sec, 1120 secs
lola: STP completed || 10 tries, 9349711 fired transitions, 1125 secs || 19083866 markings, 32540773 edges, 16310 markings/sec, 1125 secs
lola: STP completed || 10 tries, 9391645 fired transitions, 1130 secs || 19163449 markings, 32665409 edges, 15917 markings/sec, 1130 secs
lola: STP completed || 10 tries, 9433189 fired transitions, 1135 secs || 19244440 markings, 32794848 edges, 16198 markings/sec, 1135 secs
lola: STP completed || 10 tries, 9475292 fired transitions, 1140 secs || 19326151 markings, 32929564 edges, 16342 markings/sec, 1140 secs
lola: STP completed || 10 tries, 9517632 fired transitions, 1145 secs || 19407786 markings, 33064064 edges, 16327 markings/sec, 1145 secs
lola: STP completed || 10 tries, 9559309 fired transitions, 1150 secs || 19487530 markings, 33202793 edges, 15949 markings/sec, 1150 secs
lola: STP completed || 10 tries, 9601194 fired transitions, 1155 secs || 19561976 markings, 33330782 edges, 14889 markings/sec, 1155 secs
lola: STP completed || 10 tries, 9642889 fired transitions, 1160 secs || 19644013 markings, 33468048 edges, 16407 markings/sec, 1160 secs
lola: STP completed || 10 tries, 9685104 fired transitions, 1165 secs || 19725084 markings, 33603584 edges, 16214 markings/sec, 1165 secs
lola: STP completed || 10 tries, 9726144 fired transitions, 1170 secs || 19795585 markings, 33728095 edges, 14100 markings/sec, 1170 secs
lola: STP completed || 10 tries, 9768424 fired transitions, 1175 secs || 19879845 markings, 33875514 edges, 16852 markings/sec, 1175 secs
lola: STP completed || 10 tries, 9810387 fired transitions, 1180 secs || 19965868 markings, 34029090 edges, 17205 markings/sec, 1180 secs
lola: STP completed || 10 tries, 9852380 fired transitions, 1185 secs || 20032579 markings, 34143568 edges, 13342 markings/sec, 1185 secs
lola: STP completed || 10 tries, 9893701 fired transitions, 1190 secs || 20113423 markings, 34280028 edges, 16169 markings/sec, 1190 secs
lola: STP completed || 10 tries, 9935130 fired transitions, 1195 secs || 20196064 markings, 34417569 edges, 16528 markings/sec, 1195 secs
lola: STP completed || 10 tries, 9976052 fired transitions, 1200 secs || 20272454 markings, 34548679 edges, 15278 markings/sec, 1200 secs
lola: STP completed || 11 tries, 10015629 fired transitions, 1205 secs || 20351208 markings, 34680993 edges, 15751 markings/sec, 1205 secs
lola: STP completed || 11 tries, 10055063 fired transitions, 1210 secs || 20429105 markings, 34808724 edges, 15579 markings/sec, 1210 secs
lola: STP completed || 11 tries, 10095212 fired transitions, 1215 secs || 20511400 markings, 34945138 edges, 16459 markings/sec, 1215 secs
lola: STP completed || 11 tries, 10135590 fired transitions, 1220 secs || 20598364 markings, 35095310 edges, 17393 markings/sec, 1220 secs
lola: STP completed || 11 tries, 10177141 fired transitions, 1225 secs || 20684613 markings, 35247135 edges, 17250 markings/sec, 1225 secs
lola: STP completed || 11 tries, 10219454 fired transitions, 1230 secs || 20769067 markings, 35382834 edges, 16891 markings/sec, 1230 secs
lola: STP completed || 11 tries, 10260790 fired transitions, 1235 secs || 20848600 markings, 35510849 edges, 15907 markings/sec, 1235 secs
lola: STP completed || 11 tries, 10302203 fired transitions, 1240 secs || 20932896 markings, 35653648 edges, 16859 markings/sec, 1240 secs
lola: STP completed || 11 tries, 10343903 fired transitions, 1245 secs || 21016368 markings, 35793320 edges, 16694 markings/sec, 1245 secs
lola: STP completed || 11 tries, 10376435 fired transitions, 1250 secs || 21100407 markings, 35941814 edges, 16808 markings/sec, 1250 secs
lola: STP completed || 11 tries, 10417309 fired transitions, 1255 secs || 21184514 markings, 36086995 edges, 16821 markings/sec, 1255 secs
lola: STP completed || 11 tries, 10458451 fired transitions, 1260 secs || 21268149 markings, 36231822 edges, 16727 markings/sec, 1260 secs
lola: STP completed || 11 tries, 10500634 fired transitions, 1265 secs || 21353968 markings, 36383548 edges, 17164 markings/sec, 1265 secs
lola: STP completed || 11 tries, 10541250 fired transitions, 1270 secs || 21442365 markings, 36547605 edges, 17679 markings/sec, 1270 secs
lola: STP completed || 11 tries, 10583001 fired transitions, 1275 secs || 21526479 markings, 36690289 edges, 16823 markings/sec, 1275 secs
lola: STP completed || 11 tries, 10624302 fired transitions, 1280 secs || 21611874 markings, 36840100 edges, 17079 markings/sec, 1280 secs
lola: STP completed || 11 tries, 10664004 fired transitions, 1285 secs || 21698132 markings, 36997078 edges, 17252 markings/sec, 1285 secs
lola: STP completed || 11 tries, 10705419 fired transitions, 1290 secs || 21784669 markings, 37153136 edges, 17307 markings/sec, 1290 secs
lola: STP completed || 11 tries, 10741856 fired transitions, 1295 secs || 21871836 markings, 37311390 edges, 17433 markings/sec, 1295 secs
lola: STP completed || 11 tries, 10779154 fired transitions, 1300 secs || 21956864 markings, 37463839 edges, 17006 markings/sec, 1300 secs
lola: STP completed || 11 tries, 10821386 fired transitions, 1305 secs || 22042653 markings, 37619031 edges, 17158 markings/sec, 1305 secs
lola: STP completed || 11 tries, 10862109 fired transitions, 1310 secs || 22128831 markings, 37769963 edges, 17236 markings/sec, 1310 secs
lola: STP completed || 11 tries, 10903235 fired transitions, 1315 secs || 22214992 markings, 37919350 edges, 17232 markings/sec, 1315 secs
lola: STP completed || 11 tries, 10944647 fired transitions, 1320 secs || 22301145 markings, 38064829 edges, 17231 markings/sec, 1320 secs
lola: STP completed || 11 tries, 10985214 fired transitions, 1325 secs || 22382370 markings, 38205636 edges, 16245 markings/sec, 1325 secs
lola: STP completed || 12 tries, 11027015 fired transitions, 1330 secs || 22468272 markings, 38353633 edges, 17180 markings/sec, 1330 secs
lola: STP completed || 12 tries, 11069373 fired transitions, 1335 secs || 22553043 markings, 38501149 edges, 16954 markings/sec, 1335 secs
lola: STP completed || 12 tries, 11110125 fired transitions, 1340 secs || 22638424 markings, 38645660 edges, 17076 markings/sec, 1340 secs
lola: STP completed || 12 tries, 11151256 fired transitions, 1345 secs || 22717494 markings, 38786318 edges, 15814 markings/sec, 1345 secs
lola: STP completed || 12 tries, 11191967 fired transitions, 1350 secs || 22800914 markings, 38948751 edges, 16684 markings/sec, 1350 secs
lola: STP completed || 12 tries, 11233116 fired transitions, 1355 secs || 22888756 markings, 39110397 edges, 17568 markings/sec, 1355 secs
lola: STP completed || 12 tries, 11273886 fired transitions, 1360 secs || 22974416 markings, 39260355 edges, 17132 markings/sec, 1360 secs
lola: STP completed || 12 tries, 11315523 fired transitions, 1365 secs || 23060519 markings, 39412793 edges, 17221 markings/sec, 1365 secs
lola: STP completed || 12 tries, 11357879 fired transitions, 1370 secs || 23148113 markings, 39568468 edges, 17519 markings/sec, 1370 secs
lola: STP completed || 12 tries, 11399512 fired transitions, 1375 secs || 23232613 markings, 39706013 edges, 16900 markings/sec, 1375 secs
lola: STP completed || 12 tries, 11438140 fired transitions, 1380 secs || 23316773 markings, 39847800 edges, 16832 markings/sec, 1380 secs
lola: STP completed || 12 tries, 11480170 fired transitions, 1385 secs || 23402880 markings, 40005187 edges, 17221 markings/sec, 1385 secs
lola: STP completed || 12 tries, 11521515 fired transitions, 1390 secs || 23485428 markings, 40146619 edges, 16510 markings/sec, 1390 secs
lola: STP completed || 12 tries, 11563156 fired transitions, 1395 secs || 23562650 markings, 40285937 edges, 15444 markings/sec, 1395 secs
lola: STP completed || 12 tries, 11605320 fired transitions, 1400 secs || 23646831 markings, 40423295 edges, 16836 markings/sec, 1400 secs
lola: STP completed || 12 tries, 11643484 fired transitions, 1405 secs || 23728327 markings, 40559914 edges, 16299 markings/sec, 1405 secs
lola: STP completed || 12 tries, 11684745 fired transitions, 1410 secs || 23799934 markings, 40687396 edges, 14321 markings/sec, 1410 secs
lola: STP completed || 12 tries, 11725977 fired transitions, 1415 secs || 23884855 markings, 40827713 edges, 16984 markings/sec, 1415 secs
lola: STP completed || 12 tries, 11767774 fired transitions, 1420 secs || 23972179 markings, 40981540 edges, 17465 markings/sec, 1420 secs
lola: STP completed || 12 tries, 11809004 fired transitions, 1425 secs || 24060769 markings, 41141493 edges, 17718 markings/sec, 1425 secs
lola: STP completed || 12 tries, 11850070 fired transitions, 1430 secs || 24144304 markings, 41284364 edges, 16707 markings/sec, 1430 secs
lola: STP completed || 12 tries, 11890809 fired transitions, 1435 secs || 24226941 markings, 41423507 edges, 16527 markings/sec, 1435 secs
lola: STP completed || 12 tries, 11932962 fired transitions, 1440 secs || 24311385 markings, 41572131 edges, 16889 markings/sec, 1440 secs
lola: STP completed || 12 tries, 11974177 fired transitions, 1445 secs || 24396784 markings, 41718899 edges, 17080 markings/sec, 1445 secs
lola: STP completed || 13 tries, 12014178 fired transitions, 1450 secs || 24481473 markings, 41866735 edges, 16938 markings/sec, 1450 secs
lola: STP completed || 13 tries, 12055250 fired transitions, 1455 secs || 24558174 markings, 42004331 edges, 15340 markings/sec, 1455 secs
lola: STP completed || 13 tries, 12097337 fired transitions, 1460 secs || 24637781 markings, 42142570 edges, 15921 markings/sec, 1460 secs
lola: STP completed || 13 tries, 12138088 fired transitions, 1465 secs || 24727762 markings, 42314269 edges, 17996 markings/sec, 1465 secs
lola: STP completed || 13 tries, 12178701 fired transitions, 1470 secs || 24815683 markings, 42477050 edges, 17584 markings/sec, 1470 secs
lola: STP completed || 13 tries, 12219596 fired transitions, 1475 secs || 24902601 markings, 42632226 edges, 17384 markings/sec, 1475 secs
lola: STP completed || 13 tries, 12258913 fired transitions, 1480 secs || 24988996 markings, 42788365 edges, 17279 markings/sec, 1480 secs
lola: STP completed || 13 tries, 12301219 fired transitions, 1485 secs || 25075984 markings, 42930703 edges, 17398 markings/sec, 1485 secs
lola: STP completed || 13 tries, 12342910 fired transitions, 1490 secs || 25164909 markings, 43080715 edges, 17785 markings/sec, 1490 secs
lola: STP completed || 13 tries, 12384091 fired transitions, 1495 secs || 25252800 markings, 43226259 edges, 17578 markings/sec, 1495 secs
lola: STP completed || 13 tries, 12424608 fired transitions, 1500 secs || 25339107 markings, 43369351 edges, 17261 markings/sec, 1500 secs
lola: STP completed || 13 tries, 12465189 fired transitions, 1505 secs || 25408091 markings, 43483733 edges, 13797 markings/sec, 1505 secs
lola: STP completed || 13 tries, 12507239 fired transitions, 1510 secs || 25491515 markings, 43613305 edges, 16685 markings/sec, 1510 secs
lola: STP completed || 13 tries, 12548959 fired transitions, 1515 secs || 25577484 markings, 43755065 edges, 17194 markings/sec, 1515 secs
lola: STP completed || 13 tries, 12590596 fired transitions, 1520 secs || 25649410 markings, 43876422 edges, 14385 markings/sec, 1520 secs
lola: STP completed || 13 tries, 12630605 fired transitions, 1525 secs || 25732203 markings, 44015475 edges, 16559 markings/sec, 1525 secs
lola: STP completed || 13 tries, 12671209 fired transitions, 1530 secs || 25816332 markings, 44153848 edges, 16826 markings/sec, 1530 secs
lola: STP completed || 13 tries, 12712544 fired transitions, 1535 secs || 25899525 markings, 44282019 edges, 16639 markings/sec, 1535 secs
lola: STP completed || 13 tries, 12754183 fired transitions, 1540 secs || 25982236 markings, 44408749 edges, 16542 markings/sec, 1540 secs
lola: STP completed || 13 tries, 12796394 fired transitions, 1545 secs || 26065984 markings, 44539299 edges, 16750 markings/sec, 1545 secs
lola: STP completed || 13 tries, 12836391 fired transitions, 1550 secs || 26151727 markings, 44678014 edges, 17149 markings/sec, 1550 secs
lola: STP completed || 13 tries, 12877611 fired transitions, 1555 secs || 26238521 markings, 44821646 edges, 17359 markings/sec, 1555 secs
lola: STP completed || 13 tries, 12918673 fired transitions, 1560 secs || 26325627 markings, 44964062 edges, 17421 markings/sec, 1560 secs
lola: STP completed || 13 tries, 12959902 fired transitions, 1565 secs || 26409159 markings, 45102319 edges, 16706 markings/sec, 1565 secs
lola: STP completed || 13 tries, 12999682 fired transitions, 1570 secs || 26481215 markings, 45224674 edges, 14411 markings/sec, 1570 secs
lola: STP completed || 14 tries, 13041107 fired transitions, 1575 secs || 26568993 markings, 45380003 edges, 17556 markings/sec, 1575 secs
lola: STP completed || 14 tries, 13081178 fired transitions, 1580 secs || 26652847 markings, 45512039 edges, 16771 markings/sec, 1580 secs
lola: STP completed || 14 tries, 13122728 fired transitions, 1585 secs || 26722917 markings, 45631280 edges, 14014 markings/sec, 1585 secs
lola: STP completed || 14 tries, 13164085 fired transitions, 1590 secs || 26807702 markings, 45767437 edges, 16957 markings/sec, 1590 secs
lola: STP completed || 14 tries, 13205297 fired transitions, 1595 secs || 26889813 markings, 45892629 edges, 16422 markings/sec, 1595 secs
lola: STP completed || 14 tries, 13246675 fired transitions, 1600 secs || 26974166 markings, 46027656 edges, 16871 markings/sec, 1600 secs
lola: STP completed || 14 tries, 13288514 fired transitions, 1605 secs || 27056891 markings, 46157885 edges, 16545 markings/sec, 1605 secs
lola: STP completed || 14 tries, 13330314 fired transitions, 1610 secs || 27136896 markings, 46279188 edges, 16001 markings/sec, 1610 secs
lola: STP completed || 14 tries, 13372160 fired transitions, 1615 secs || 27217428 markings, 46405245 edges, 16106 markings/sec, 1615 secs
lola: STP completed || 14 tries, 13413607 fired transitions, 1620 secs || 27302161 markings, 46545226 edges, 16947 markings/sec, 1620 secs
lola: STP completed || 14 tries, 13454480 fired transitions, 1625 secs || 27386372 markings, 46683511 edges, 16842 markings/sec, 1625 secs
lola: STP completed || 14 tries, 13496227 fired transitions, 1630 secs || 27471555 markings, 46824076 edges, 17037 markings/sec, 1630 secs
lola: STP completed || 14 tries, 13538008 fired transitions, 1635 secs || 27558040 markings, 46966573 edges, 17297 markings/sec, 1635 secs
lola: STP completed || 14 tries, 13574226 fired transitions, 1640 secs || 27641370 markings, 47105403 edges, 16666 markings/sec, 1640 secs
lola: STP completed || 14 tries, 13614632 fired transitions, 1645 secs || 27723786 markings, 47232043 edges, 16483 markings/sec, 1645 secs
lola: STP completed || 14 tries, 13655042 fired transitions, 1650 secs || 27806048 markings, 47365245 edges, 16452 markings/sec, 1650 secs
lola: STP completed || 14 tries, 13695714 fired transitions, 1655 secs || 27890280 markings, 47502995 edges, 16846 markings/sec, 1655 secs
lola: STP completed || 14 tries, 13737477 fired transitions, 1660 secs || 27970719 markings, 47628998 edges, 16088 markings/sec, 1660 secs
lola: STP completed || 14 tries, 13780141 fired transitions, 1665 secs || 28053712 markings, 47761112 edges, 16599 markings/sec, 1665 secs
lola: STP completed || 14 tries, 13821237 fired transitions, 1670 secs || 28136592 markings, 47896947 edges, 16576 markings/sec, 1670 secs
lola: STP completed || 14 tries, 13862936 fired transitions, 1675 secs || 28223180 markings, 48049510 edges, 17318 markings/sec, 1675 secs
lola: STP completed || 14 tries, 13903825 fired transitions, 1680 secs || 28311386 markings, 48205796 edges, 17641 markings/sec, 1680 secs
lola: STP completed || 14 tries, 13945954 fired transitions, 1685 secs || 28394721 markings, 48339789 edges, 16667 markings/sec, 1685 secs
lola: STP completed || 14 tries, 13987944 fired transitions, 1690 secs || 28479137 markings, 48480123 edges, 16883 markings/sec, 1690 secs
lola: STP completed || 15 tries, 14029077 fired transitions, 1695 secs || 28566428 markings, 48635917 edges, 17458 markings/sec, 1695 secs
lola: STP completed || 15 tries, 14069591 fired transitions, 1700 secs || 28651179 markings, 48781662 edges, 16950 markings/sec, 1700 secs
lola: STP completed || 15 tries, 14110954 fired transitions, 1705 secs || 28735547 markings, 48918048 edges, 16874 markings/sec, 1705 secs
lola: STP completed || 15 tries, 14152727 fired transitions, 1710 secs || 28821679 markings, 49067540 edges, 17226 markings/sec, 1710 secs
lola: STP completed || 15 tries, 14194007 fired transitions, 1715 secs || 28907278 markings, 49214579 edges, 17120 markings/sec, 1715 secs
lola: STP completed || 15 tries, 14234693 fired transitions, 1720 secs || 28994731 markings, 49371074 edges, 17491 markings/sec, 1720 secs
lola: STP completed || 15 tries, 14275933 fired transitions, 1725 secs || 29082596 markings, 49535182 edges, 17573 markings/sec, 1725 secs
lola: STP completed || 15 tries, 14317809 fired transitions, 1730 secs || 29154337 markings, 49663607 edges, 14348 markings/sec, 1730 secs
lola: STP completed || 15 tries, 14358412 fired transitions, 1735 secs || 29241816 markings, 49825682 edges, 17496 markings/sec, 1735 secs
lola: STP completed || 15 tries, 14399431 fired transitions, 1740 secs || 29329589 markings, 49982470 edges, 17555 markings/sec, 1740 secs
lola: STP completed || 15 tries, 14441120 fired transitions, 1745 secs || 29414871 markings, 50127661 edges, 17056 markings/sec, 1745 secs
lola: STP completed || 15 tries, 14477798 fired transitions, 1750 secs || 29498124 markings, 50267070 edges, 16651 markings/sec, 1750 secs
lola: STP completed || 15 tries, 14519205 fired transitions, 1755 secs || 29582012 markings, 50403770 edges, 16778 markings/sec, 1755 secs
lola: STP completed || 15 tries, 14560550 fired transitions, 1760 secs || 29666574 markings, 50553673 edges, 16912 markings/sec, 1760 secs
lola: STP completed || 15 tries, 14601095 fired transitions, 1765 secs || 29751593 markings, 50703588 edges, 17004 markings/sec, 1765 secs
lola: STP completed || 15 tries, 14643111 fired transitions, 1770 secs || 29839494 markings, 50859187 edges, 17580 markings/sec, 1770 secs
lola: STP completed || 15 tries, 14684111 fired transitions, 1775 secs || 29925269 markings, 51009250 edges, 17155 markings/sec, 1775 secs
lola: STP completed || 15 tries, 14725331 fired transitions, 1780 secs || 30008972 markings, 51147258 edges, 16741 markings/sec, 1780 secs
lola: STP completed || 15 tries, 14766600 fired transitions, 1785 secs || 30096736 markings, 51299593 edges, 17553 markings/sec, 1785 secs
lola: STP completed || 15 tries, 14808359 fired transitions, 1790 secs || 30183085 markings, 51441748 edges, 17270 markings/sec, 1790 secs
lola: STP completed || 15 tries, 14849733 fired transitions, 1795 secs || 30268894 markings, 51587596 edges, 17162 markings/sec, 1795 secs
lola: STP completed || 15 tries, 14891207 fired transitions, 1800 secs || 30355232 markings, 51735521 edges, 17268 markings/sec, 1800 secs
lola: STP completed || 15 tries, 14932650 fired transitions, 1805 secs || 30444104 markings, 51901206 edges, 17774 markings/sec, 1805 secs
lola: STP completed || 15 tries, 14974175 fired transitions, 1810 secs || 30528487 markings, 52039500 edges, 16877 markings/sec, 1810 secs
lola: STP completed || 16 tries, 15015435 fired transitions, 1815 secs || 30614433 markings, 52179758 edges, 17189 markings/sec, 1815 secs
lola: STP completed || 16 tries, 15056780 fired transitions, 1820 secs || 30698135 markings, 52310662 edges, 16740 markings/sec, 1820 secs
lola: STP completed || 16 tries, 15097736 fired transitions, 1825 secs || 30782065 markings, 52448555 edges, 16786 markings/sec, 1825 secs
lola: STP completed || 16 tries, 15137859 fired transitions, 1830 secs || 30866502 markings, 52583881 edges, 16887 markings/sec, 1830 secs
lola: STP completed || 16 tries, 15179922 fired transitions, 1835 secs || 30950519 markings, 52725611 edges, 16803 markings/sec, 1835 secs
lola: STP completed || 16 tries, 15222501 fired transitions, 1840 secs || 31036547 markings, 52874837 edges, 17206 markings/sec, 1840 secs
lola: STP completed || 16 tries, 15264915 fired transitions, 1845 secs || 31122265 markings, 53026145 edges, 17144 markings/sec, 1845 secs
lola: STP completed || 16 tries, 15306535 fired transitions, 1850 secs || 31205747 markings, 53163450 edges, 16696 markings/sec, 1850 secs
lola: STP completed || 16 tries, 15347927 fired transitions, 1855 secs || 31279263 markings, 53285691 edges, 14703 markings/sec, 1855 secs
lola: STP completed || 16 tries, 15389664 fired transitions, 1860 secs || 31358933 markings, 53423793 edges, 15934 markings/sec, 1860 secs
lola: STP completed || 16 tries, 15432268 fired transitions, 1865 secs || 31446400 markings, 53576227 edges, 17493 markings/sec, 1865 secs
lola: STP completed || 16 tries, 15474541 fired transitions, 1870 secs || 31530760 markings, 53716868 edges, 16872 markings/sec, 1870 secs
lola: STP completed || 16 tries, 15515914 fired transitions, 1875 secs || 31616445 markings, 53856827 edges, 17137 markings/sec, 1875 secs
lola: STP completed || 16 tries, 15554211 fired transitions, 1880 secs || 31700498 markings, 54000653 edges, 16811 markings/sec, 1880 secs
lola: STP completed || 16 tries, 15595452 fired transitions, 1885 secs || 31787578 markings, 54156437 edges, 17416 markings/sec, 1885 secs
lola: STP completed || 16 tries, 15636288 fired transitions, 1890 secs || 31875018 markings, 54315278 edges, 17488 markings/sec, 1890 secs
lola: STP completed || 16 tries, 15677707 fired transitions, 1895 secs || 31960454 markings, 54458334 edges, 17087 markings/sec, 1895 secs
lola: STP completed || 16 tries, 15715975 fired transitions, 1900 secs || 32046157 markings, 54609755 edges, 17141 markings/sec, 1900 secs
lola: STP completed || 16 tries, 15757438 fired transitions, 1905 secs || 32133558 markings, 54761748 edges, 17480 markings/sec, 1905 secs
lola: STP completed || 16 tries, 15799213 fired transitions, 1910 secs || 32220768 markings, 54914158 edges, 17442 markings/sec, 1910 secs
lola: STP completed || 16 tries, 15841099 fired transitions, 1915 secs || 32305553 markings, 55059743 edges, 16957 markings/sec, 1915 secs
lola: STP completed || 16 tries, 15880583 fired transitions, 1920 secs || 32391612 markings, 55212656 edges, 17212 markings/sec, 1920 secs
lola: STP completed || 16 tries, 15922703 fired transitions, 1925 secs || 32480315 markings, 55376329 edges, 17741 markings/sec, 1925 secs
lola: STP completed || 16 tries, 15963962 fired transitions, 1930 secs || 32568359 markings, 55533334 edges, 17609 markings/sec, 1930 secs
lola: STP completed || 17 tries, 16004343 fired transitions, 1935 secs || 32640674 markings, 55645309 edges, 14463 markings/sec, 1935 secs
lola: STP completed || 17 tries, 16045539 fired transitions, 1940 secs || 32717666 markings, 55768277 edges, 15398 markings/sec, 1940 secs
lola: STP completed || 17 tries, 16087476 fired transitions, 1945 secs || 32800403 markings, 55895978 edges, 16547 markings/sec, 1945 secs
lola: STP completed || 17 tries, 16128225 fired transitions, 1950 secs || 32883112 markings, 56024752 edges, 16542 markings/sec, 1950 secs
lola: STP completed || 17 tries, 16168910 fired transitions, 1955 secs || 32963893 markings, 56149384 edges, 16156 markings/sec, 1955 secs
lola: STP completed || 17 tries, 16208084 fired transitions, 1960 secs || 33047488 markings, 56285842 edges, 16719 markings/sec, 1960 secs
lola: STP completed || 17 tries, 16249553 fired transitions, 1965 secs || 33128857 markings, 56413605 edges, 16274 markings/sec, 1965 secs
lola: STP completed || 17 tries, 16287421 fired transitions, 1970 secs || 33194633 markings, 56515433 edges, 13155 markings/sec, 1970 secs
lola: STP completed || 17 tries, 16329602 fired transitions, 1975 secs || 33277173 markings, 56649122 edges, 16508 markings/sec, 1975 secs
lola: STP completed || 17 tries, 16371346 fired transitions, 1980 secs || 33360216 markings, 56782749 edges, 16609 markings/sec, 1980 secs
lola: STP completed || 17 tries, 16413120 fired transitions, 1985 secs || 33423867 markings, 56877034 edges, 12730 markings/sec, 1985 secs
lola: STP completed || 17 tries, 16453603 fired transitions, 1990 secs || 33503109 markings, 56997827 edges, 15848 markings/sec, 1990 secs
lola: STP completed || 17 tries, 16494475 fired transitions, 1995 secs || 33584553 markings, 57129860 edges, 16289 markings/sec, 1995 secs
lola: STP completed || 17 tries, 16535702 fired transitions, 2000 secs || 33665875 markings, 57262367 edges, 16264 markings/sec, 2000 secs
lola: STP completed || 17 tries, 16577382 fired transitions, 2005 secs || 33750623 markings, 57404193 edges, 16950 markings/sec, 2005 secs
lola: STP completed || 17 tries, 16618632 fired transitions, 2010 secs || 33835750 markings, 57555003 edges, 17025 markings/sec, 2010 secs
lola: STP completed || 17 tries, 16659520 fired transitions, 2015 secs || 33922098 markings, 57709628 edges, 17270 markings/sec, 2015 secs
lola: STP completed || 17 tries, 16700567 fired transitions, 2020 secs || 34004470 markings, 57843701 edges, 16474 markings/sec, 2020 secs
lola: STP completed || 17 tries, 16742249 fired transitions, 2025 secs || 34086805 markings, 57984938 edges, 16467 markings/sec, 2025 secs
lola: STP completed || 17 tries, 16783389 fired transitions, 2030 secs || 34171026 markings, 58131454 edges, 16844 markings/sec, 2030 secs
lola: STP completed || 17 tries, 16824210 fired transitions, 2035 secs || 34257548 markings, 58287865 edges, 17304 markings/sec, 2035 secs
lola: STP completed || 17 tries, 16865963 fired transitions, 2040 secs || 34338488 markings, 58413842 edges, 16188 markings/sec, 2040 secs
lola: STP completed || 17 tries, 16907801 fired transitions, 2045 secs || 34423118 markings, 58558987 edges, 16926 markings/sec, 2045 secs
lola: STP completed || 17 tries, 16950028 fired transitions, 2050 secs || 34503659 markings, 58687162 edges, 16108 markings/sec, 2050 secs
lola: STP completed || 17 tries, 16991024 fired transitions, 2055 secs || 34585217 markings, 58820084 edges, 16312 markings/sec, 2055 secs
lola: STP completed || 18 tries, 17031422 fired transitions, 2060 secs || 34668150 markings, 58960246 edges, 16587 markings/sec, 2060 secs
lola: STP completed || 18 tries, 17072459 fired transitions, 2065 secs || 34735638 markings, 59071367 edges, 13498 markings/sec, 2065 secs
lola: STP completed || 18 tries, 17113610 fired transitions, 2070 secs || 34820971 markings, 59217743 edges, 17067 markings/sec, 2070 secs
lola: STP completed || 18 tries, 17155538 fired transitions, 2075 secs || 34903906 markings, 59355056 edges, 16587 markings/sec, 2075 secs
lola: STP completed || 18 tries, 17197866 fired transitions, 2080 secs || 34975247 markings, 59485218 edges, 14268 markings/sec, 2080 secs
lola: STP completed || 18 tries, 17238699 fired transitions, 2085 secs || 35058754 markings, 59626717 edges, 16701 markings/sec, 2085 secs
lola: STP completed || 18 tries, 17278737 fired transitions, 2090 secs || 35141681 markings, 59765140 edges, 16585 markings/sec, 2090 secs
lola: STP completed || 18 tries, 17319840 fired transitions, 2095 secs || 35222886 markings, 59893540 edges, 16241 markings/sec, 2095 secs
lola: STP completed || 18 tries, 17361559 fired transitions, 2100 secs || 35305824 markings, 60027526 edges, 16588 markings/sec, 2100 secs
lola: STP completed || 18 tries, 17402961 fired transitions, 2105 secs || 35391757 markings, 60174598 edges, 17187 markings/sec, 2105 secs
lola: STP completed || 18 tries, 17444854 fired transitions, 2110 secs || 35475625 markings, 60319923 edges, 16774 markings/sec, 2110 secs
lola: STP completed || 18 tries, 17485697 fired transitions, 2115 secs || 35559804 markings, 60455857 edges, 16836 markings/sec, 2115 secs
lola: STP completed || 18 tries, 17527348 fired transitions, 2120 secs || 35643591 markings, 60594142 edges, 16757 markings/sec, 2120 secs
lola: STP completed || 18 tries, 17568693 fired transitions, 2125 secs || 35728096 markings, 60731066 edges, 16901 markings/sec, 2125 secs
lola: STP completed || 18 tries, 17610185 fired transitions, 2130 secs || 35812182 markings, 60871026 edges, 16817 markings/sec, 2130 secs
lola: STP completed || 18 tries, 17649065 fired transitions, 2135 secs || 35894298 markings, 61007505 edges, 16423 markings/sec, 2135 secs
lola: STP completed || 18 tries, 17691702 fired transitions, 2140 secs || 35977521 markings, 61150812 edges, 16645 markings/sec, 2140 secs
lola: STP completed || 18 tries, 17733115 fired transitions, 2145 secs || 36047479 markings, 61270424 edges, 13992 markings/sec, 2145 secs
lola: STP completed || 18 tries, 17774032 fired transitions, 2150 secs || 36134413 markings, 61426306 edges, 17387 markings/sec, 2150 secs
lola: STP completed || 18 tries, 17814404 fired transitions, 2155 secs || 36220913 markings, 61574253 edges, 17300 markings/sec, 2155 secs
lola: STP completed || 18 tries, 17855132 fired transitions, 2160 secs || 36293004 markings, 61697413 edges, 14418 markings/sec, 2160 secs
lola: STP completed || 18 tries, 17895707 fired transitions, 2165 secs || 36378882 markings, 61844227 edges, 17176 markings/sec, 2165 secs
lola: STP completed || 18 tries, 17934979 fired transitions, 2170 secs || 36464956 markings, 62000043 edges, 17215 markings/sec, 2170 secs
lola: STP completed || 18 tries, 17976100 fired transitions, 2175 secs || 36542949 markings, 62146227 edges, 15599 markings/sec, 2175 secs
lola: STP completed || 19 tries, 18016657 fired transitions, 2180 secs || 36621490 markings, 62279716 edges, 15708 markings/sec, 2180 secs
lola: STP completed || 19 tries, 18058099 fired transitions, 2185 secs || 36707737 markings, 62430887 edges, 17249 markings/sec, 2185 secs
lola: STP completed || 19 tries, 18099354 fired transitions, 2190 secs || 36793490 markings, 62582464 edges, 17151 markings/sec, 2190 secs
lola: STP completed || 19 tries, 18141620 fired transitions, 2195 secs || 36879555 markings, 62733942 edges, 17213 markings/sec, 2195 secs
lola: STP completed || 19 tries, 18181354 fired transitions, 2200 secs || 36961352 markings, 62867531 edges, 16359 markings/sec, 2200 secs
lola: STP completed || 19 tries, 18221491 fired transitions, 2205 secs || 37045024 markings, 63010913 edges, 16734 markings/sec, 2205 secs
lola: STP completed || 19 tries, 18262754 fired transitions, 2210 secs || 37130643 markings, 63155118 edges, 17124 markings/sec, 2210 secs
lola: STP completed || 19 tries, 18302336 fired transitions, 2215 secs || 37216958 markings, 63306169 edges, 17263 markings/sec, 2215 secs
lola: STP completed || 19 tries, 18343593 fired transitions, 2220 secs || 37300434 markings, 63440012 edges, 16695 markings/sec, 2220 secs
lola: STP completed || 19 tries, 18384507 fired transitions, 2225 secs || 37367342 markings, 63554028 edges, 13382 markings/sec, 2225 secs
lola: STP completed || 19 tries, 18425879 fired transitions, 2230 secs || 37451487 markings, 63696566 edges, 16829 markings/sec, 2230 secs
lola: STP completed || 19 tries, 18466123 fired transitions, 2235 secs || 37536086 markings, 63839384 edges, 16920 markings/sec, 2235 secs
lola: STP completed || 19 tries, 18507618 fired transitions, 2240 secs || 37618211 markings, 63969178 edges, 16425 markings/sec, 2240 secs
lola: STP completed || 19 tries, 18548822 fired transitions, 2245 secs || 37700145 markings, 64098484 edges, 16387 markings/sec, 2245 secs
lola: STP completed || 19 tries, 18589821 fired transitions, 2250 secs || 37784460 markings, 64243742 edges, 16863 markings/sec, 2250 secs
lola: STP completed || 19 tries, 18631843 fired transitions, 2255 secs || 37859288 markings, 64376050 edges, 14966 markings/sec, 2255 secs
lola: STP completed || 19 tries, 18672574 fired transitions, 2260 secs || 37942343 markings, 64525818 edges, 16611 markings/sec, 2260 secs
lola: STP completed || 19 tries, 18710684 fired transitions, 2265 secs || 38020202 markings, 64645048 edges, 15572 markings/sec, 2265 secs
lola: STP completed || 19 tries, 18749166 fired transitions, 2270 secs || 38098543 markings, 64772966 edges, 15668 markings/sec, 2270 secs
lola: STP completed || 19 tries, 18787994 fired transitions, 2275 secs || 38178318 markings, 64909990 edges, 15955 markings/sec, 2275 secs
lola: STP completed || 19 tries, 18827553 fired transitions, 2280 secs || 38257247 markings, 65039080 edges, 15786 markings/sec, 2280 secs
lola: STP completed || 19 tries, 18867369 fired transitions, 2285 secs || 38340603 markings, 65179276 edges, 16671 markings/sec, 2285 secs
lola: STP completed || 19 tries, 18908262 fired transitions, 2290 secs || 38426145 markings, 65327244 edges, 17108 markings/sec, 2290 secs
lola: STP completed || 19 tries, 18949855 fired transitions, 2295 secs || 38511941 markings, 65475837 edges, 17159 markings/sec, 2295 secs
lola: STP completed || 19 tries, 18990655 fired transitions, 2300 secs || 38596388 markings, 65613182 edges, 16889 markings/sec, 2300 secs
lola: STP completed || 20 tries, 19032882 fired transitions, 2305 secs || 38662072 markings, 65713664 edges, 13137 markings/sec, 2305 secs
lola: STP completed || 20 tries, 19075055 fired transitions, 2310 secs || 38743458 markings, 65837979 edges, 16277 markings/sec, 2310 secs
lola: STP completed || 20 tries, 19116361 fired transitions, 2315 secs || 38824291 markings, 65960871 edges, 16167 markings/sec, 2315 secs
lola: STP completed || 20 tries, 19158373 fired transitions, 2320 secs || 38892209 markings, 66068517 edges, 13584 markings/sec, 2320 secs
lola: STP completed || 20 tries, 19198980 fired transitions, 2325 secs || 38972917 markings, 66198007 edges, 16142 markings/sec, 2325 secs
lola: STP completed || 20 tries, 19239920 fired transitions, 2330 secs || 39053500 markings, 66326745 edges, 16117 markings/sec, 2330 secs
lola: STP completed || 20 tries, 19281658 fired transitions, 2335 secs || 39127231 markings, 66451739 edges, 14746 markings/sec, 2335 secs
lola: STP completed || 20 tries, 19319946 fired transitions, 2340 secs || 39204071 markings, 66578689 edges, 15368 markings/sec, 2340 secs
lola: STP completed || 20 tries, 19360725 fired transitions, 2345 secs || 39286583 markings, 66708122 edges, 16502 markings/sec, 2345 secs
lola: STP completed || 20 tries, 19401339 fired transitions, 2350 secs || 39368712 markings, 66842300 edges, 16426 markings/sec, 2350 secs
lola: STP completed || 20 tries, 19442467 fired transitions, 2355 secs || 39452769 markings, 66987289 edges, 16811 markings/sec, 2355 secs
lola: STP completed || 20 tries, 19484121 fired transitions, 2360 secs || 39537208 markings, 67134337 edges, 16888 markings/sec, 2360 secs
lola: STP completed || 20 tries, 19525877 fired transitions, 2365 secs || 39622991 markings, 67282936 edges, 17157 markings/sec, 2365 secs
lola: STP completed || 20 tries, 19567289 fired transitions, 2370 secs || 39706079 markings, 67418236 edges, 16618 markings/sec, 2370 secs
lola: STP completed || 20 tries, 19609724 fired transitions, 2375 secs || 39790156 markings, 67561846 edges, 16815 markings/sec, 2375 secs
lola: STP completed || 20 tries, 19650959 fired transitions, 2380 secs || 39875698 markings, 67711442 edges, 17108 markings/sec, 2380 secs
lola: STP completed || 20 tries, 19691943 fired transitions, 2385 secs || 39957034 markings, 67838384 edges, 16267 markings/sec, 2385 secs
lola: STP completed || 20 tries, 19733876 fired transitions, 2390 secs || 40039180 markings, 67969910 edges, 16429 markings/sec, 2390 secs
lola: STP completed || 20 tries, 19775004 fired transitions, 2395 secs || 40122133 markings, 68107273 edges, 16591 markings/sec, 2395 secs
lola: STP completed || 20 tries, 19816345 fired transitions, 2400 secs || 40201067 markings, 68224008 edges, 15787 markings/sec, 2400 secs
lola: STP completed || 20 tries, 19857452 fired transitions, 2405 secs || 40279770 markings, 68339465 edges, 15741 markings/sec, 2405 secs
lola: STP completed || 20 tries, 19898178 fired transitions, 2410 secs || 40359325 markings, 68464654 edges, 15911 markings/sec, 2410 secs
lola: STP completed || 20 tries, 19937812 fired transitions, 2415 secs || 40440072 markings, 68591557 edges, 16149 markings/sec, 2415 secs
lola: STP completed || 20 tries, 19978659 fired transitions, 2420 secs || 40523287 markings, 68730775 edges, 16643 markings/sec, 2420 secs
lola: STP completed || 21 tries, 20019514 fired transitions, 2425 secs || 40605277 markings, 68869007 edges, 16398 markings/sec, 2425 secs
lola: STP completed || 21 tries, 20061352 fired transitions, 2430 secs || 40685827 markings, 68993276 edges, 16110 markings/sec, 2430 secs
lola: STP completed || 21 tries, 20103057 fired transitions, 2435 secs || 40766327 markings, 69121387 edges, 16100 markings/sec, 2435 secs
lola: STP completed || 21 tries, 20144810 fired transitions, 2440 secs || 40850933 markings, 69270101 edges, 16921 markings/sec, 2440 secs
lola: STP completed || 21 tries, 20186477 fired transitions, 2445 secs || 40934140 markings, 69410666 edges, 16641 markings/sec, 2445 secs
lola: STP completed || 21 tries, 20227772 fired transitions, 2450 secs || 41017779 markings, 69550031 edges, 16728 markings/sec, 2450 secs
lola: STP completed || 21 tries, 20269362 fired transitions, 2455 secs || 41102249 markings, 69691870 edges, 16894 markings/sec, 2455 secs
lola: STP completed || 21 tries, 20309915 fired transitions, 2460 secs || 41184162 markings, 69825269 edges, 16383 markings/sec, 2460 secs
lola: STP completed || 21 tries, 20347564 fired transitions, 2465 secs || 41266458 markings, 69965381 edges, 16459 markings/sec, 2465 secs
lola: STP completed || 21 tries, 20388162 fired transitions, 2470 secs || 41348189 markings, 70101236 edges, 16346 markings/sec, 2470 secs
lola: STP completed || 21 tries, 20428748 fired transitions, 2475 secs || 41430458 markings, 70234521 edges, 16454 markings/sec, 2475 secs
lola: STP completed || 21 tries, 20469606 fired transitions, 2480 secs || 41513252 markings, 70371864 edges, 16559 markings/sec, 2480 secs
lola: STP completed || 21 tries, 20511979 fired transitions, 2485 secs || 41597701 markings, 70516034 edges, 16890 markings/sec, 2485 secs
lola: STP completed || 21 tries, 20552778 fired transitions, 2490 secs || 41681773 markings, 70665972 edges, 16814 markings/sec, 2490 secs
lola: STP completed || 21 tries, 20594778 fired transitions, 2495 secs || 41766162 markings, 70805625 edges, 16878 markings/sec, 2495 secs
lola: STP completed || 21 tries, 20636597 fired transitions, 2500 secs || 41851734 markings, 70953930 edges, 17114 markings/sec, 2500 secs
lola: STP completed || 21 tries, 20677687 fired transitions, 2505 secs || 41937145 markings, 71106542 edges, 17082 markings/sec, 2505 secs
lola: STP completed || 21 tries, 20718616 fired transitions, 2510 secs || 42020569 markings, 71239014 edges, 16685 markings/sec, 2510 secs
lola: STP completed || 21 tries, 20760453 fired transitions, 2515 secs || 42107008 markings, 71386861 edges, 17288 markings/sec, 2515 secs
lola: STP completed || 21 tries, 20801911 fired transitions, 2520 secs || 42193721 markings, 71543780 edges, 17343 markings/sec, 2520 secs
lola: STP completed || 21 tries, 20843669 fired transitions, 2525 secs || 42281091 markings, 71705472 edges, 17474 markings/sec, 2525 secs
lola: STP completed || 21 tries, 20884698 fired transitions, 2530 secs || 42368081 markings, 71865352 edges, 17398 markings/sec, 2530 secs
lola: STP completed || 21 tries, 20926689 fired transitions, 2535 secs || 42451811 markings, 72000483 edges, 16746 markings/sec, 2535 secs
lola: STP completed || 21 tries, 20966806 fired transitions, 2540 secs || 42536522 markings, 72147536 edges, 16942 markings/sec, 2540 secs
lola: STP completed || 22 tries, 21007720 fired transitions, 2545 secs || 42619780 markings, 72288370 edges, 16652 markings/sec, 2545 secs
lola: STP completed || 22 tries, 21049900 fired transitions, 2550 secs || 42701372 markings, 72413692 edges, 16318 markings/sec, 2550 secs
lola: STP completed || 22 tries, 21092292 fired transitions, 2555 secs || 42785072 markings, 72549188 edges, 16740 markings/sec, 2555 secs
lola: STP completed || 22 tries, 21133648 fired transitions, 2560 secs || 42868808 markings, 72690187 edges, 16747 markings/sec, 2560 secs
lola: STP completed || 22 tries, 21171128 fired transitions, 2565 secs || 42951650 markings, 72838721 edges, 16568 markings/sec, 2565 secs
lola: STP completed || 22 tries, 21211249 fired transitions, 2570 secs || 43038342 markings, 72989484 edges, 17338 markings/sec, 2570 secs
lola: STP completed || 22 tries, 21252206 fired transitions, 2575 secs || 43122787 markings, 73137493 edges, 16889 markings/sec, 2575 secs
lola: STP completed || 22 tries, 21293516 fired transitions, 2580 secs || 43206845 markings, 73282757 edges, 16812 markings/sec, 2580 secs
lola: STP completed || 22 tries, 21335216 fired transitions, 2585 secs || 43291493 markings, 73430084 edges, 16930 markings/sec, 2585 secs
lola: STP completed || 22 tries, 21376496 fired transitions, 2590 secs || 43377608 markings, 73583104 edges, 17223 markings/sec, 2590 secs
lola: STP completed || 22 tries, 21416729 fired transitions, 2595 secs || 43457763 markings, 73704552 edges, 16031 markings/sec, 2595 secs
lola: STP completed || 22 tries, 21457754 fired transitions, 2600 secs || 43537213 markings, 73822713 edges, 15890 markings/sec, 2600 secs
lola: STP completed || 22 tries, 21499596 fired transitions, 2605 secs || 43617615 markings, 73950665 edges, 16080 markings/sec, 2605 secs
lola: STP completed || 22 tries, 21541711 fired transitions, 2610 secs || 43697488 markings, 74077363 edges, 15975 markings/sec, 2610 secs
lola: STP completed || 22 tries, 21583377 fired transitions, 2615 secs || 43778449 markings, 74209605 edges, 16192 markings/sec, 2615 secs
lola: STP completed || 22 tries, 21624470 fired transitions, 2620 secs || 43860147 markings, 74342464 edges, 16340 markings/sec, 2620 secs
lola: STP completed || 22 tries, 21665909 fired transitions, 2625 secs || 43938647 markings, 74461800 edges, 15700 markings/sec, 2625 secs
lola: STP completed || 22 tries, 21707713 fired transitions, 2630 secs || 44017384 markings, 74583089 edges, 15747 markings/sec, 2630 secs
lola: STP completed || 22 tries, 21749918 fired transitions, 2635 secs || 44096843 markings, 74710789 edges, 15892 markings/sec, 2635 secs
lola: STP completed || 22 tries, 21791001 fired transitions, 2640 secs || 44178915 markings, 74850926 edges, 16414 markings/sec, 2640 secs
lola: STP completed || 22 tries, 21832053 fired transitions, 2645 secs || 44257665 markings, 74979513 edges, 15750 markings/sec, 2645 secs
lola: STP completed || 22 tries, 21873151 fired transitions, 2650 secs || 44336295 markings, 75099453 edges, 15726 markings/sec, 2650 secs
lola: STP completed || 22 tries, 21914950 fired transitions, 2655 secs || 44416183 markings, 75229572 edges, 15978 markings/sec, 2655 secs
lola: STP completed || 22 tries, 21956793 fired transitions, 2660 secs || 44499981 markings, 75377006 edges, 16760 markings/sec, 2660 secs
lola: STP completed || 22 tries, 21997280 fired transitions, 2665 secs || 44582664 markings, 75508496 edges, 16537 markings/sec, 2665 secs
lola: STP completed || 23 tries, 22039199 fired transitions, 2670 secs || 44664928 markings, 75640082 edges, 16453 markings/sec, 2670 secs
lola: STP completed || 23 tries, 22080199 fired transitions, 2675 secs || 44745655 markings, 75770414 edges, 16145 markings/sec, 2675 secs
lola: STP completed || 23 tries, 22121242 fired transitions, 2680 secs || 44829552 markings, 75911925 edges, 16779 markings/sec, 2680 secs
lola: STP completed || 23 tries, 22162919 fired transitions, 2685 secs || 44912697 markings, 76055111 edges, 16629 markings/sec, 2685 secs
lola: STP completed || 23 tries, 22202624 fired transitions, 2690 secs || 44994964 markings, 76194731 edges, 16453 markings/sec, 2690 secs
lola: STP completed || 23 tries, 22244039 fired transitions, 2695 secs || 45077537 markings, 76331101 edges, 16515 markings/sec, 2695 secs
lola: STP completed || 23 tries, 22285560 fired transitions, 2700 secs || 45158061 markings, 76463590 edges, 16105 markings/sec, 2700 secs
lola: STP completed || 23 tries, 22327809 fired transitions, 2705 secs || 45239667 markings, 76592055 edges, 16321 markings/sec, 2705 secs
lola: STP completed || 23 tries, 22368632 fired transitions, 2710 secs || 45319404 markings, 76713472 edges, 15947 markings/sec, 2710 secs
lola: STP completed || 23 tries, 22409068 fired transitions, 2715 secs || 45399851 markings, 76842411 edges, 16089 markings/sec, 2715 secs
lola: STP completed || 23 tries, 22447087 fired transitions, 2720 secs || 45478486 markings, 76967121 edges, 15727 markings/sec, 2720 secs
lola: STP completed || 23 tries, 22489464 fired transitions, 2725 secs || 45559301 markings, 77101683 edges, 16163 markings/sec, 2725 secs
lola: STP completed || 23 tries, 22528684 fired transitions, 2730 secs || 45640546 markings, 77234674 edges, 16249 markings/sec, 2730 secs
lola: STP completed || 23 tries, 22570102 fired transitions, 2735 secs || 45722064 markings, 77367521 edges, 16304 markings/sec, 2735 secs
lola: STP completed || 23 tries, 22611525 fired transitions, 2740 secs || 45806887 markings, 77508903 edges, 16965 markings/sec, 2740 secs
lola: STP completed || 23 tries, 22652227 fired transitions, 2745 secs || 45886880 markings, 77632572 edges, 15999 markings/sec, 2745 secs
lola: STP completed || 23 tries, 22693294 fired transitions, 2750 secs || 45969735 markings, 77772724 edges, 16571 markings/sec, 2750 secs
lola: STP completed || 23 tries, 22735677 fired transitions, 2755 secs || 46050973 markings, 77909300 edges, 16248 markings/sec, 2755 secs
lola: STP completed || 23 tries, 22776487 fired transitions, 2760 secs || 46135903 markings, 78063567 edges, 16986 markings/sec, 2760 secs
lola: STP completed || 23 tries, 22812580 fired transitions, 2765 secs || 46216624 markings, 78200814 edges, 16144 markings/sec, 2765 secs
lola: STP completed || 23 tries, 22854336 fired transitions, 2770 secs || 46302256 markings, 78352740 edges, 17126 markings/sec, 2770 secs
lola: STP completed || 23 tries, 22894936 fired transitions, 2775 secs || 46389315 markings, 78512244 edges, 17412 markings/sec, 2775 secs
lola: STP completed || 23 tries, 22936261 fired transitions, 2780 secs || 46473044 markings, 78656847 edges, 16746 markings/sec, 2780 secs
lola: STP completed || 23 tries, 22977959 fired transitions, 2785 secs || 46555069 markings, 78787656 edges, 16405 markings/sec, 2785 secs
lola: STP completed || 24 tries, 23019298 fired transitions, 2790 secs || 46638619 markings, 78932173 edges, 16710 markings/sec, 2790 secs
lola: STP completed || 24 tries, 23060767 fired transitions, 2795 secs || 46719858 markings, 79066776 edges, 16248 markings/sec, 2795 secs
lola: STP completed || 24 tries, 23102051 fired transitions, 2800 secs || 46804858 markings, 79216238 edges, 17000 markings/sec, 2800 secs
lola: STP completed || 24 tries, 23143208 fired transitions, 2805 secs || 46891727 markings, 79377893 edges, 17374 markings/sec, 2805 secs
lola: STP completed || 24 tries, 23178242 fired transitions, 2810 secs || 46969591 markings, 79502044 edges, 15573 markings/sec, 2810 secs
lola: STP completed || 24 tries, 23217464 fired transitions, 2815 secs || 47050328 markings, 79640374 edges, 16147 markings/sec, 2815 secs
lola: STP completed || 24 tries, 23258698 fired transitions, 2820 secs || 47133063 markings, 79782440 edges, 16547 markings/sec, 2820 secs
lola: STP completed || 24 tries, 23300320 fired transitions, 2825 secs || 47218048 markings, 79931268 edges, 16997 markings/sec, 2825 secs
lola: STP completed || 24 tries, 23341732 fired transitions, 2830 secs || 47300388 markings, 80069620 edges, 16468 markings/sec, 2830 secs
lola: STP completed || 24 tries, 23381001 fired transitions, 2835 secs || 47382909 markings, 80215943 edges, 16504 markings/sec, 2835 secs
lola: STP completed || 24 tries, 23416833 fired transitions, 2840 secs || 47463726 markings, 80357039 edges, 16163 markings/sec, 2840 secs
lola: STP completed || 24 tries, 23456780 fired transitions, 2845 secs || 47545721 markings, 80496467 edges, 16399 markings/sec, 2845 secs
lola: STP completed || 24 tries, 23498627 fired transitions, 2850 secs || 47626291 markings, 80626356 edges, 16114 markings/sec, 2850 secs
lola: STP completed || 24 tries, 23540832 fired transitions, 2855 secs || 47707773 markings, 80759688 edges, 16296 markings/sec, 2855 secs
lola: STP completed || 24 tries, 23579876 fired transitions, 2860 secs || 47790995 markings, 80902060 edges, 16644 markings/sec, 2860 secs
lola: STP completed || 24 tries, 23620801 fired transitions, 2865 secs || 47873969 markings, 81045366 edges, 16595 markings/sec, 2865 secs
lola: STP completed || 24 tries, 23661827 fired transitions, 2870 secs || 47958400 markings, 81196008 edges, 16886 markings/sec, 2870 secs
lola: STP completed || 24 tries, 23703990 fired transitions, 2875 secs || 48042796 markings, 81342530 edges, 16879 markings/sec, 2875 secs
lola: STP completed || 24 tries, 23746134 fired transitions, 2880 secs || 48124285 markings, 81478405 edges, 16298 markings/sec, 2880 secs
lola: STP completed || 24 tries, 23785775 fired transitions, 2885 secs || 48207010 markings, 81619727 edges, 16545 markings/sec, 2885 secs
lola: STP completed || 24 tries, 23827898 fired transitions, 2890 secs || 48291012 markings, 81763640 edges, 16800 markings/sec, 2890 secs
lola: STP completed || 24 tries, 23869237 fired transitions, 2895 secs || 48373931 markings, 81906288 edges, 16584 markings/sec, 2895 secs
lola: STP completed || 24 tries, 23910670 fired transitions, 2900 secs || 48455760 markings, 82043250 edges, 16366 markings/sec, 2900 secs
lola: STP completed || 24 tries, 23951631 fired transitions, 2905 secs || 48540467 markings, 82192624 edges, 16941 markings/sec, 2905 secs
lola: STP completed || 24 tries, 23992625 fired transitions, 2910 secs || 48626179 markings, 82342825 edges, 17142 markings/sec, 2910 secs
lola: STP completed || 25 tries, 24032159 fired transitions, 2915 secs || 48708681 markings, 82479781 edges, 16500 markings/sec, 2915 secs
lola: STP completed || 25 tries, 24074028 fired transitions, 2920 secs || 48794315 markings, 82632856 edges, 17127 markings/sec, 2920 secs
lola: STP completed || 25 tries, 24114980 fired transitions, 2925 secs || 48879581 markings, 82784927 edges, 17053 markings/sec, 2925 secs
lola: STP completed || 25 tries, 24157139 fired transitions, 2930 secs || 48964472 markings, 82938503 edges, 16978 markings/sec, 2930 secs
lola: STP completed || 25 tries, 24195186 fired transitions, 2935 secs || 49047646 markings, 83073517 edges, 16635 markings/sec, 2935 secs
lola: STP completed || 25 tries, 24236788 fired transitions, 2940 secs || 49132801 markings, 83213743 edges, 17031 markings/sec, 2940 secs
lola: STP completed || 25 tries, 24273467 fired transitions, 2945 secs || 49213528 markings, 83350657 edges, 16145 markings/sec, 2945 secs
lola: STP completed || 25 tries, 24314113 fired transitions, 2950 secs || 49299495 markings, 83499699 edges, 17193 markings/sec, 2950 secs
lola: STP completed || 25 tries, 24352049 fired transitions, 2955 secs || 49379793 markings, 83633237 edges, 16060 markings/sec, 2955 secs
lola: STP completed || 25 tries, 24391089 fired transitions, 2960 secs || 49465416 markings, 83785137 edges, 17125 markings/sec, 2960 secs
lola: STP completed || 25 tries, 24432590 fired transitions, 2965 secs || 49552946 markings, 83943720 edges, 17506 markings/sec, 2965 secs
lola: STP completed || 25 tries, 24473222 fired transitions, 2970 secs || 49639221 markings, 84099222 edges, 17255 markings/sec, 2970 secs
lola: STP completed || 25 tries, 24514354 fired transitions, 2975 secs || 49726362 markings, 84261118 edges, 17428 markings/sec, 2975 secs
lola: STP completed || 25 tries, 24555372 fired transitions, 2980 secs || 49814044 markings, 84416571 edges, 17536 markings/sec, 2980 secs
lola: STP completed || 25 tries, 24593223 fired transitions, 2985 secs || 49896328 markings, 84551626 edges, 16457 markings/sec, 2985 secs
lola: STP completed || 25 tries, 24631622 fired transitions, 2990 secs || 49980825 markings, 84689132 edges, 16899 markings/sec, 2990 secs
lola: STP completed || 25 tries, 24666838 fired transitions, 2995 secs || 50064708 markings, 84828077 edges, 16777 markings/sec, 2995 secs
lola: STP completed || 25 tries, 24708283 fired transitions, 3000 secs || 50152195 markings, 84984030 edges, 17497 markings/sec, 3000 secs
lola: STP completed || 25 tries, 24746250 fired transitions, 3005 secs || 50232763 markings, 85121472 edges, 16114 markings/sec, 3005 secs
lola: STP completed || 25 tries, 24787326 fired transitions, 3010 secs || 50321190 markings, 85281030 edges, 17685 markings/sec, 3010 secs
lola: STP completed || 25 tries, 24827986 fired transitions, 3015 secs || 50407811 markings, 85445332 edges, 17324 markings/sec, 3015 secs
lola: STP completed || 25 tries, 24868533 fired transitions, 3020 secs || 50496438 markings, 85603915 edges, 17725 markings/sec, 3020 secs
lola: STP completed || 25 tries, 24910083 fired transitions, 3025 secs || 50568692 markings, 85742404 edges, 14451 markings/sec, 3025 secs
lola: STP completed || 25 tries, 24952299 fired transitions, 3030 secs || 50655531 markings, 85892124 edges, 17368 markings/sec, 3030 secs
lola: STP completed || 25 tries, 24993523 fired transitions, 3035 secs || 50742513 markings, 86041745 edges, 17396 markings/sec, 3035 secs
lola: STP completed || 26 tries, 25034473 fired transitions, 3040 secs || 50831259 markings, 86202248 edges, 17749 markings/sec, 3040 secs
lola: STP completed || 26 tries, 25076323 fired transitions, 3045 secs || 50916194 markings, 86350148 edges, 16987 markings/sec, 3045 secs
lola: STP completed || 26 tries, 25115975 fired transitions, 3050 secs || 51000290 markings, 86489014 edges, 16819 markings/sec, 3050 secs
lola: STP completed || 26 tries, 25156539 fired transitions, 3055 secs || 51089665 markings, 86652982 edges, 17875 markings/sec, 3055 secs
lola: STP completed || 26 tries, 25197357 fired transitions, 3060 secs || 51179436 markings, 86816601 edges, 17954 markings/sec, 3060 secs
lola: STP completed || 26 tries, 25238279 fired transitions, 3065 secs || 51267599 markings, 86973784 edges, 17633 markings/sec, 3065 secs
lola: STP completed || 26 tries, 25279354 fired transitions, 3070 secs || 51352411 markings, 87116871 edges, 16962 markings/sec, 3070 secs
lola: STP completed || 26 tries, 25320289 fired transitions, 3075 secs || 51439071 markings, 87274136 edges, 17332 markings/sec, 3075 secs
lola: STP completed || 26 tries, 25361476 fired transitions, 3080 secs || 51525456 markings, 87423562 edges, 17277 markings/sec, 3080 secs
lola: STP completed || 26 tries, 25401876 fired transitions, 3085 secs || 51609279 markings, 87566993 edges, 16765 markings/sec, 3085 secs
lola: STP completed || 26 tries, 25442712 fired transitions, 3090 secs || 51694730 markings, 87714255 edges, 17090 markings/sec, 3090 secs
lola: STP completed || 26 tries, 25483632 fired transitions, 3095 secs || 51780376 markings, 87865101 edges, 17129 markings/sec, 3095 secs
lola: STP completed || 26 tries, 25525473 fired transitions, 3100 secs || 51865780 markings, 88016177 edges, 17081 markings/sec, 3100 secs
lola: STP completed || 26 tries, 25567726 fired transitions, 3105 secs || 51949613 markings, 88157260 edges, 16767 markings/sec, 3105 secs
lola: STP completed || 26 tries, 25609554 fired transitions, 3110 secs || 52034713 markings, 88306992 edges, 17020 markings/sec, 3110 secs
lola: STP completed || 26 tries, 25650316 fired transitions, 3115 secs || 52118398 markings, 88447316 edges, 16737 markings/sec, 3115 secs
lola: STP completed || 26 tries, 25691052 fired transitions, 3120 secs || 52205542 markings, 88603682 edges, 17429 markings/sec, 3120 secs
lola: STP completed || 26 tries, 25732102 fired transitions, 3125 secs || 52290836 markings, 88752738 edges, 17059 markings/sec, 3125 secs
lola: STP completed || 26 tries, 25772194 fired transitions, 3130 secs || 52376124 markings, 88908140 edges, 17058 markings/sec, 3130 secs
lola: STP completed || 26 tries, 25813669 fired transitions, 3135 secs || 52465676 markings, 89074683 edges, 17910 markings/sec, 3135 secs
lola: STP completed || 26 tries, 25855255 fired transitions, 3140 secs || 52553253 markings, 89234318 edges, 17515 markings/sec, 3140 secs
lola: STP completed || 26 tries, 25897227 fired transitions, 3145 secs || 52644632 markings, 89408381 edges, 18276 markings/sec, 3145 secs
lola: STP completed || 26 tries, 25938592 fired transitions, 3150 secs || 52733878 markings, 89569915 edges, 17849 markings/sec, 3150 secs
lola: STP completed || 26 tries, 25979434 fired transitions, 3155 secs || 52820588 markings, 89722065 edges, 17342 markings/sec, 3155 secs
lola: STP completed || 27 tries, 26020515 fired transitions, 3160 secs || 52907198 markings, 89871433 edges, 17322 markings/sec, 3160 secs
lola: STP completed || 27 tries, 26061694 fired transitions, 3165 secs || 52992422 markings, 90017509 edges, 17045 markings/sec, 3165 secs
lola: STP completed || 27 tries, 26103066 fired transitions, 3170 secs || 53080289 markings, 90176118 edges, 17573 markings/sec, 3170 secs
lola: STP completed || 27 tries, 26141195 fired transitions, 3175 secs || 53170240 markings, 90341488 edges, 17990 markings/sec, 3175 secs
lola: STP completed || 27 tries, 26182869 fired transitions, 3180 secs || 53261184 markings, 90508998 edges, 18189 markings/sec, 3180 secs
lola: STP completed || 27 tries, 26220265 fired transitions, 3185 secs || 53346904 markings, 90660131 edges, 17144 markings/sec, 3185 secs
lola: STP completed || 27 tries, 26262623 fired transitions, 3190 secs || 53433123 markings, 90808657 edges, 17244 markings/sec, 3190 secs
lola: STP completed || 27 tries, 26304156 fired transitions, 3195 secs || 53517983 markings, 90955625 edges, 16972 markings/sec, 3195 secs
lola: STP completed || 27 tries, 26345813 fired transitions, 3200 secs || 53602258 markings, 91096820 edges, 16855 markings/sec, 3200 secs
lola: STP completed || 27 tries, 26384873 fired transitions, 3205 secs || 53686584 markings, 91243143 edges, 16865 markings/sec, 3205 secs
lola: STP completed || 27 tries, 26427003 fired transitions, 3210 secs || 53774372 markings, 91404076 edges, 17558 markings/sec, 3210 secs
lola: STP completed || 27 tries, 26469353 fired transitions, 3215 secs || 53858218 markings, 91545252 edges, 16769 markings/sec, 3215 secs
lola: STP completed || 27 tries, 26510813 fired transitions, 3220 secs || 53943953 markings, 91696184 edges, 17147 markings/sec, 3220 secs
lola: STP completed || 27 tries, 26551857 fired transitions, 3225 secs || 54028373 markings, 91843048 edges, 16884 markings/sec, 3225 secs
lola: STP completed || 27 tries, 26592462 fired transitions, 3230 secs || 54112056 markings, 91985158 edges, 16737 markings/sec, 3230 secs
lola: STP completed || 27 tries, 26632764 fired transitions, 3235 secs || 54197913 markings, 92138957 edges, 17171 markings/sec, 3235 secs
lola: STP completed || 27 tries, 26674348 fired transitions, 3240 secs || 54284402 markings, 92294086 edges, 17298 markings/sec, 3240 secs
lola: STP completed || 27 tries, 26716669 fired transitions, 3245 secs || 54369698 markings, 92442230 edges, 17059 markings/sec, 3245 secs
lola: STP completed || 27 tries, 26757771 fired transitions, 3250 secs || 54454401 markings, 92585719 edges, 16941 markings/sec, 3250 secs
lola: STP completed || 27 tries, 26799079 fired transitions, 3255 secs || 54538352 markings, 92730088 edges, 16790 markings/sec, 3255 secs
lola: STP completed || 27 tries, 26840870 fired transitions, 3260 secs || 54622778 markings, 92877207 edges, 16885 markings/sec, 3260 secs
lola: STP completed || 27 tries, 26881607 fired transitions, 3265 secs || 54702103 markings, 93009210 edges, 15865 markings/sec, 3265 secs
lola: STP completed || 27 tries, 26923017 fired transitions, 3270 secs || 54786385 markings, 93155180 edges, 16856 markings/sec, 3270 secs
lola: STP completed || 27 tries, 26963396 fired transitions, 3275 secs || 54872161 markings, 93307699 edges, 17155 markings/sec, 3275 secs
lola: STP completed || 28 tries, 27003715 fired transitions, 3280 secs || 54960109 markings, 93468952 edges, 17590 markings/sec, 3280 secs
lola: STP completed || 28 tries, 27045707 fired transitions, 3285 secs || 55043860 markings, 93618191 edges, 16750 markings/sec, 3285 secs
lola: STP completed || 28 tries, 27086609 fired transitions, 3290 secs || 55127838 markings, 93759974 edges, 16796 markings/sec, 3290 secs
lola: STP completed || 28 tries, 27127546 fired transitions, 3295 secs || 55204510 markings, 93895783 edges, 15334 markings/sec, 3295 secs
lola: STP completed || 28 tries, 27169076 fired transitions, 3300 secs || 55286294 markings, 94038096 edges, 16357 markings/sec, 3300 secs
lola: STP completed || 28 tries, 27208169 fired transitions, 3305 secs || 55365794 markings, 94176365 edges, 15900 markings/sec, 3305 secs
lola: STP completed || 28 tries, 27249182 fired transitions, 3310 secs || 55442815 markings, 94309538 edges, 15404 markings/sec, 3310 secs
lola: STP completed || 28 tries, 27289929 fired transitions, 3315 secs || 55515530 markings, 94428568 edges, 14543 markings/sec, 3315 secs
lola: STP completed || 28 tries, 27330813 fired transitions, 3320 secs || 55596283 markings, 94562128 edges, 16151 markings/sec, 3320 secs
lola: STP completed || 28 tries, 27372457 fired transitions, 3325 secs || 55678055 markings, 94705279 edges, 16354 markings/sec, 3325 secs
lola: STP completed || 28 tries, 27407825 fired transitions, 3330 secs || 55752105 markings, 94841371 edges, 14810 markings/sec, 3330 secs
lola: STP completed || 28 tries, 27448982 fired transitions, 3335 secs || 55838720 markings, 94997714 edges, 17323 markings/sec, 3335 secs
lola: STP completed || 28 tries, 27490180 fired transitions, 3340 secs || 55927107 markings, 95157197 edges, 17677 markings/sec, 3340 secs
lola: STP completed || 28 tries, 27531380 fired transitions, 3345 secs || 56013348 markings, 95310578 edges, 17248 markings/sec, 3345 secs
lola: STP completed || 28 tries, 27572986 fired transitions, 3350 secs || 56093411 markings, 95446133 edges, 16013 markings/sec, 3350 secs
lola: STP completed || 28 tries, 27614008 fired transitions, 3355 secs || 56177676 markings, 95589564 edges, 16853 markings/sec, 3355 secs
lola: STP completed || 28 tries, 27655564 fired transitions, 3360 secs || 56264143 markings, 95742186 edges, 17293 markings/sec, 3360 secs
lola: STP completed || 28 tries, 27697550 fired transitions, 3365 secs || 56351266 markings, 95898618 edges, 17425 markings/sec, 3365 secs
lola: STP completed || 28 tries, 27738831 fired transitions, 3370 secs || 56437903 markings, 96051243 edges, 17327 markings/sec, 3370 secs
lola: STP completed || 28 tries, 27780033 fired transitions, 3375 secs || 56512288 markings, 96182371 edges, 14877 markings/sec, 3375 secs
lola: STP completed || 28 tries, 27820537 fired transitions, 3380 secs || 56592938 markings, 96326724 edges, 16130 markings/sec, 3380 secs
lola: STP completed || 28 tries, 27861821 fired transitions, 3385 secs || 56679840 markings, 96481218 edges, 17380 markings/sec, 3385 secs
lola: STP completed || 28 tries, 27904165 fired transitions, 3390 secs || 56767319 markings, 96641947 edges, 17496 markings/sec, 3390 secs
lola: STP completed || 28 tries, 27945667 fired transitions, 3395 secs || 56855123 markings, 96804378 edges, 17561 markings/sec, 3395 secs
lola: STP completed || 28 tries, 27987471 fired transitions, 3400 secs || 56942638 markings, 96955690 edges, 17503 markings/sec, 3400 secs
lola: STP completed || 29 tries, 28028440 fired transitions, 3405 secs || 57029541 markings, 97094225 edges, 17381 markings/sec, 3405 secs
lola: STP completed || 29 tries, 28069910 fired transitions, 3410 secs || 57114664 markings, 97227283 edges, 17025 markings/sec, 3410 secs
lola: STP completed || 29 tries, 28111399 fired transitions, 3415 secs || 57199358 markings, 97361043 edges, 16939 markings/sec, 3415 secs
lola: STP completed || 29 tries, 28152480 fired transitions, 3420 secs || 57284046 markings, 97491680 edges, 16938 markings/sec, 3420 secs
lola: STP completed || 29 tries, 28194519 fired transitions, 3425 secs || 57371343 markings, 97635920 edges, 17459 markings/sec, 3425 secs
lola: STP completed || 29 tries, 28235987 fired transitions, 3430 secs || 57457406 markings, 97772713 edges, 17213 markings/sec, 3430 secs
lola: STP completed || 29 tries, 28276570 fired transitions, 3435 secs || 57544938 markings, 97922689 edges, 17506 markings/sec, 3435 secs
lola: STP completed || 29 tries, 28317219 fired transitions, 3440 secs || 57617175 markings, 98050445 edges, 14447 markings/sec, 3440 secs
lola: STP completed || 29 tries, 28358299 fired transitions, 3445 secs || 57704418 markings, 98209565 edges, 17449 markings/sec, 3445 secs
lola: STP completed || 29 tries, 28398692 fired transitions, 3450 secs || 57793350 markings, 98358044 edges, 17786 markings/sec, 3450 secs
lola: STP completed || 29 tries, 28439435 fired transitions, 3455 secs || 57870536 markings, 98487384 edges, 15437 markings/sec, 3455 secs
lola: STP completed || 29 tries, 28481273 fired transitions, 3460 secs || 57951816 markings, 98616556 edges, 16256 markings/sec, 3460 secs
lola: STP completed || 29 tries, 28522317 fired transitions, 3465 secs || 58042915 markings, 98773980 edges, 18220 markings/sec, 3465 secs
lola: STP completed || 29 tries, 28563825 fired transitions, 3470 secs || 58128311 markings, 98908832 edges, 17079 markings/sec, 3470 secs
lola: STP completed || 29 tries, 28604418 fired transitions, 3475 secs || 58211158 markings, 99037161 edges, 16569 markings/sec, 3475 secs
lola: STP completed || 29 tries, 28646605 fired transitions, 3480 secs || 58296875 markings, 99181433 edges, 17143 markings/sec, 3480 secs
lola: STP completed || 29 tries, 28688816 fired transitions, 3485 secs || 58383531 markings, 99327989 edges, 17331 markings/sec, 3485 secs
lola: STP completed || 29 tries, 28728241 fired transitions, 3490 secs || 58461887 markings, 99453610 edges, 15671 markings/sec, 3490 secs
lola: STP completed || 29 tries, 28769597 fired transitions, 3495 secs || 58541740 markings, 99578885 edges, 15971 markings/sec, 3495 secs
lola: STP completed || 29 tries, 28810324 fired transitions, 3500 secs || 58626724 markings, 99716349 edges, 16997 markings/sec, 3500 secs
lola: STP completed || 29 tries, 28851129 fired transitions, 3505 secs || 58705860 markings, 99837015 edges, 15827 markings/sec, 3505 secs
lola: STP completed || 29 tries, 28890351 fired transitions, 3510 secs || 58780433 markings, 99955675 edges, 14915 markings/sec, 3510 secs
lola: STP completed || 29 tries, 28931532 fired transitions, 3515 secs || 58862650 markings, 100093118 edges, 16443 markings/sec, 3515 secs
lola: STP completed || 29 tries, 28973270 fired transitions, 3520 secs || 58950538 markings, 100248125 edges, 17578 markings/sec, 3520 secs
lola: STP completed || 30 tries, 29013442 fired transitions, 3525 secs || 59034512 markings, 100384122 edges, 16795 markings/sec, 3525 secs
lola: STP completed || 30 tries, 29054385 fired transitions, 3530 secs || 59118029 markings, 100518402 edges, 16703 markings/sec, 3530 secs
lola: STP completed || 30 tries, 29095693 fired transitions, 3535 secs || 59204067 markings, 100662915 edges, 17208 markings/sec, 3535 secs
lola: STP completed || 30 tries, 29136510 fired transitions, 3540 secs || 59286387 markings, 100802126 edges, 16464 markings/sec, 3540 secs
lola: STP completed || 30 tries, 29177348 fired transitions, 3545 secs || 59371456 markings, 100942901 edges, 17014 markings/sec, 3545 secs
lola: STP completed || 30 tries, 29216388 fired transitions, 3550 secs || 59454502 markings, 101086258 edges, 16609 markings/sec, 3550 secs
lola: STP completed || 30 tries, 29255909 fired transitions, 3555 secs || 59543131 markings, 101246799 edges, 17726 markings/sec, 3555 secs
lola: STP completed || 30 tries, 29296103 fired transitions, 3560 secs || 59626107 markings, 101398252 edges, 16595 markings/sec, 3560 secs
lola: time limit reached - aborting
lola: memory consumption: 6426924 KB
lola: time consumption: 3571 seconds

BK_STOP 1526693442372

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

Sequence of Actions to be Executed by the VM

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

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="FlexibleBarrier-PT-20a"
export BK_EXAMINATION="ReachabilityDeadlock"
export BK_TOOL="lola"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi

tar xzf /home/mcc/BenchKit/INPUTS/FlexibleBarrier-PT-20a.tgz
mv FlexibleBarrier-PT-20a execution
cd execution
pwd
ls -lh

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-3637"
echo " Executing tool lola"
echo " Input is FlexibleBarrier-PT-20a, examination is ReachabilityDeadlock"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r088-blw7-152649998200216"
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 ;