About the Execution of LoLA for JoinFreeModules-PT-0100
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 12863.550 | 3571181.00 | 7203886.00 | 7957.80 | [undef] | Cannot compute |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Waiting for the VM to be ready (probing ssh)
......................
/home/mcc/execution
total 732K
-rw-r--r-- 1 mcc users 3.5K May 15 18:54 CTLCardinality.txt
-rw-r--r-- 1 mcc users 19K May 15 18:54 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.9K May 15 18:54 CTLFireability.txt
-rw-r--r-- 1 mcc users 21K 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 5.7K May 15 18:50 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 2.6K May 15 18:54 LTLCardinality.txt
-rw-r--r-- 1 mcc users 13K May 15 18:54 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.8K May 15 18:54 LTLFireability.txt
-rw-r--r-- 1 mcc users 7.0K May 15 18:54 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.3K May 15 18:54 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 16K May 15 18:54 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 114 May 15 18:54 ReachabilityDeadlock.txt
-rw-r--r-- 1 mcc users 352 May 15 18:54 ReachabilityDeadlock.xml
-rw-r--r-- 1 mcc users 2.7K May 15 18:54 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 16K May 15 18:54 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K May 15 18:54 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K May 15 18:54 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 15 18:50 equiv_col
-rw-r--r-- 1 mcc users 5 May 15 18:50 instance
-rw-r--r-- 1 mcc users 6 May 15 18:50 iscolored
-rw-r--r-- 1 mcc users 566K May 15 18:50 model.pnml
=====================================================================
Generated by BenchKit 2-3637
Executing tool lola
Input is JoinFreeModules-PT-0100, examination is ReachabilityDeadlock
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r100-smll-152658630900272
=====================================================================
--------------------
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 JoinFreeModules-PT-0100-ReachabilityDeadlock-0
=== Now, execution of the tool begins
BK_START 1526839195524
info: Time: 3600 - MCC
===========================================================================================
prep: translating JoinFreeModules-PT-0100 Petri net model.pnml into LoLA format
===========================================================================================
prep: translating PT Petri net complete
prep: check for too many tokens
===========================================================================================
prep: translating JoinFreeModules-PT-0100 formula ReachabilityDeadlock into LoLA format
===========================================================================================
prep: translating PT formula complete
vrfy: Checking ReachabilityDeadlock @ JoinFreeModules-PT-0100 @ 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: 1302/65536 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 16032
lola: finding significant places
lola: 501 places, 801 transitions, 400 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 901 transition conflict sets
lola: TASK
lola: reading formula from JoinFreeModules-PT-0100-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: computing symmetries (--symmetry)
lola: time limit for symmetry computation of 300 seconds given (--symmtimelimit)
lola: stp: The siphon/trap property is not applicable since the net is inhomogeneous
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: computed 4851 generators (140 in search tree, 4711 by composition)
lola: representing 9.33262E+155 symmetries
lola: 0 dead branches visited in search tree
lola: STP completed || 7 tries, 6693430 fired transitions, 0 secs || 187547 markings, 306872 edges, 37509 markings/sec, 0 secs
lola: STP completed || 14 tries, 13766623 fired transitions, 5 secs || 405472 markings, 663755 edges, 43585 markings/sec, 5 secs
lola: STP completed || 21 tries, 20839149 fired transitions, 10 secs || 631854 markings, 1034086 edges, 45276 markings/sec, 10 secs
lola: STP completed || 28 tries, 27916729 fired transitions, 15 secs || 853340 markings, 1395662 edges, 44297 markings/sec, 15 secs
lola: STP completed || 35 tries, 34976284 fired transitions, 20 secs || 1073277 markings, 1754381 edges, 43987 markings/sec, 20 secs
lola: STP completed || 43 tries, 42043219 fired transitions, 25 secs || 1292837 markings, 2112843 edges, 43912 markings/sec, 25 secs
lola: STP completed || 50 tries, 49094163 fired transitions, 30 secs || 1511874 markings, 2470248 edges, 43807 markings/sec, 30 secs
lola: STP completed || 57 tries, 56166733 fired transitions, 35 secs || 1731223 markings, 2828165 edges, 43870 markings/sec, 35 secs
lola: STP completed || 64 tries, 63237148 fired transitions, 40 secs || 1950610 markings, 3186466 edges, 43877 markings/sec, 40 secs
lola: STP completed || 71 tries, 70299607 fired transitions, 45 secs || 2169365 markings, 3543417 edges, 43751 markings/sec, 45 secs
lola: STP completed || 78 tries, 77354780 fired transitions, 50 secs || 2386973 markings, 3898779 edges, 43522 markings/sec, 50 secs
lola: STP completed || 85 tries, 84420458 fired transitions, 55 secs || 2604800 markings, 4254241 edges, 43565 markings/sec, 55 secs
lola: STP completed || 92 tries, 91494856 fired transitions, 60 secs || 2803811 markings, 4579006 edges, 39802 markings/sec, 60 secs
lola: STP completed || 99 tries, 98561269 fired transitions, 65 secs || 3021271 markings, 4933772 edges, 43492 markings/sec, 65 secs
lola: STP completed || 106 tries, 105620614 fired transitions, 70 secs || 3239906 markings, 5291050 edges, 43727 markings/sec, 70 secs
lola: STP completed || 113 tries, 112687724 fired transitions, 75 secs || 3460157 markings, 5650313 edges, 44050 markings/sec, 75 secs
lola: STP completed || 120 tries, 119756651 fired transitions, 80 secs || 3678697 markings, 6006958 edges, 43708 markings/sec, 80 secs
lola: STP completed || 127 tries, 126817168 fired transitions, 85 secs || 3897697 markings, 6364366 edges, 43800 markings/sec, 85 secs
lola: STP completed || 134 tries, 133881039 fired transitions, 90 secs || 4116152 markings, 6720915 edges, 43691 markings/sec, 90 secs
lola: STP completed || 141 tries, 140959776 fired transitions, 95 secs || 4333918 markings, 7076289 edges, 43553 markings/sec, 95 secs
lola: STP completed || 149 tries, 148019667 fired transitions, 100 secs || 4551879 markings, 7432140 edges, 43592 markings/sec, 100 secs
lola: STP completed || 156 tries, 155100786 fired transitions, 105 secs || 4768974 markings, 7786315 edges, 43419 markings/sec, 105 secs
lola: STP completed || 163 tries, 162171329 fired transitions, 110 secs || 4985435 markings, 8139722 edges, 43292 markings/sec, 110 secs
lola: STP completed || 170 tries, 169252031 fired transitions, 115 secs || 5202429 markings, 8493987 edges, 43399 markings/sec, 115 secs
lola: STP completed || 177 tries, 176328364 fired transitions, 120 secs || 5419059 markings, 8847499 edges, 43326 markings/sec, 120 secs
lola: STP completed || 184 tries, 183394985 fired transitions, 125 secs || 5636295 markings, 9202022 edges, 43447 markings/sec, 125 secs
lola: STP completed || 191 tries, 190453128 fired transitions, 130 secs || 5855568 markings, 9560388 edges, 43855 markings/sec, 130 secs
lola: STP completed || 198 tries, 197523819 fired transitions, 135 secs || 6076331 markings, 9920255 edges, 44153 markings/sec, 135 secs
lola: STP completed || 205 tries, 204584304 fired transitions, 140 secs || 6295227 markings, 10277855 edges, 43779 markings/sec, 140 secs
lola: STP completed || 212 tries, 211655251 fired transitions, 145 secs || 6514635 markings, 10635840 edges, 43882 markings/sec, 145 secs
lola: STP completed || 219 tries, 218743596 fired transitions, 150 secs || 6733324 markings, 10992493 edges, 43738 markings/sec, 150 secs
lola: STP completed || 226 tries, 225822031 fired transitions, 155 secs || 6951752 markings, 11349063 edges, 43686 markings/sec, 155 secs
lola: STP completed || 233 tries, 232884914 fired transitions, 160 secs || 7169910 markings, 11705399 edges, 43632 markings/sec, 160 secs
lola: STP completed || 240 tries, 239944018 fired transitions, 165 secs || 7386776 markings, 12059467 edges, 43373 markings/sec, 165 secs
lola: STP completed || 248 tries, 247006361 fired transitions, 170 secs || 7603779 markings, 12413278 edges, 43401 markings/sec, 170 secs
lola: STP completed || 255 tries, 254075421 fired transitions, 175 secs || 7820970 markings, 12767831 edges, 43438 markings/sec, 175 secs
lola: STP completed || 262 tries, 261143181 fired transitions, 180 secs || 8037528 markings, 13121269 edges, 43312 markings/sec, 180 secs
lola: STP completed || 269 tries, 268214024 fired transitions, 185 secs || 8254689 markings, 13475487 edges, 43432 markings/sec, 185 secs
lola: STP completed || 276 tries, 275292013 fired transitions, 190 secs || 8473299 markings, 13832568 edges, 43722 markings/sec, 190 secs
lola: STP completed || 283 tries, 282366676 fired transitions, 195 secs || 8691889 markings, 14189420 edges, 43718 markings/sec, 195 secs
lola: STP completed || 290 tries, 289429549 fired transitions, 200 secs || 8909339 markings, 14544004 edges, 43490 markings/sec, 200 secs
lola: STP completed || 297 tries, 296507811 fired transitions, 205 secs || 9126831 markings, 14899031 edges, 43498 markings/sec, 205 secs
lola: STP completed || 304 tries, 303577420 fired transitions, 210 secs || 9343997 markings, 15253545 edges, 43433 markings/sec, 210 secs
lola: STP completed || 311 tries, 310652972 fired transitions, 215 secs || 9561011 markings, 15607612 edges, 43403 markings/sec, 215 secs
lola: STP completed || 318 tries, 317724517 fired transitions, 220 secs || 9777782 markings, 15961418 edges, 43354 markings/sec, 220 secs
lola: STP completed || 325 tries, 324799129 fired transitions, 225 secs || 9993848 markings, 16314273 edges, 43213 markings/sec, 225 secs
lola: STP completed || 332 tries, 331863882 fired transitions, 230 secs || 10209905 markings, 16666849 edges, 43211 markings/sec, 230 secs
lola: STP completed || 339 tries, 338937809 fired transitions, 235 secs || 10426097 markings, 17019642 edges, 43238 markings/sec, 235 secs
lola: STP completed || 347 tries, 346004098 fired transitions, 240 secs || 10642054 markings, 17372251 edges, 43191 markings/sec, 240 secs
lola: STP completed || 354 tries, 353089830 fired transitions, 245 secs || 10858978 markings, 17726045 edges, 43385 markings/sec, 245 secs
lola: STP completed || 361 tries, 360152883 fired transitions, 250 secs || 11077252 markings, 18082562 edges, 43655 markings/sec, 250 secs
lola: STP completed || 368 tries, 367213840 fired transitions, 255 secs || 11294915 markings, 18438246 edges, 43533 markings/sec, 255 secs
lola: STP completed || 375 tries, 374291718 fired transitions, 260 secs || 11512625 markings, 18793243 edges, 43542 markings/sec, 260 secs
lola: STP completed || 382 tries, 381357011 fired transitions, 265 secs || 11729411 markings, 19147101 edges, 43357 markings/sec, 265 secs
lola: STP completed || 389 tries, 388406039 fired transitions, 270 secs || 11945711 markings, 19500000 edges, 43260 markings/sec, 270 secs
lola: STP completed || 396 tries, 395479741 fired transitions, 275 secs || 12162223 markings, 19853447 edges, 43302 markings/sec, 275 secs
lola: STP completed || 403 tries, 402484019 fired transitions, 280 secs || 12373782 markings, 20198702 edges, 42312 markings/sec, 280 secs
lola: STP completed || 410 tries, 409443353 fired transitions, 285 secs || 12580876 markings, 20536918 edges, 41419 markings/sec, 285 secs
lola: STP completed || 417 tries, 416411016 fired transitions, 290 secs || 12788153 markings, 20875263 edges, 41455 markings/sec, 290 secs
lola: STP completed || 424 tries, 423379030 fired transitions, 295 secs || 12995738 markings, 21214081 edges, 41517 markings/sec, 295 secs
lola: STP completed || 431 tries, 430344458 fired transitions, 300 secs || 13203064 markings, 21552242 edges, 41465 markings/sec, 300 secs
lola: STP completed || 438 tries, 437311948 fired transitions, 305 secs || 13411003 markings, 21891638 edges, 41588 markings/sec, 305 secs
lola: STP completed || 445 tries, 444282374 fired transitions, 310 secs || 13620076 markings, 22233054 edges, 41815 markings/sec, 310 secs
lola: STP completed || 452 tries, 451168376 fired transitions, 315 secs || 13835581 markings, 22584956 edges, 43101 markings/sec, 315 secs
lola: STP completed || 459 tries, 458099620 fired transitions, 320 secs || 14048701 markings, 22932591 edges, 42624 markings/sec, 320 secs
lola: STP completed || 466 tries, 465100461 fired transitions, 325 secs || 14264619 markings, 23285005 edges, 43184 markings/sec, 325 secs
lola: STP completed || 472 tries, 471956300 fired transitions, 330 secs || 14479649 markings, 23635886 edges, 43006 markings/sec, 330 secs
lola: STP completed || 479 tries, 478892372 fired transitions, 335 secs || 14692008 markings, 23982497 edges, 42472 markings/sec, 335 secs
lola: STP completed || 486 tries, 485911928 fired transitions, 340 secs || 14907978 markings, 24335197 edges, 43194 markings/sec, 340 secs
lola: STP completed || 493 tries, 492961387 fired transitions, 345 secs || 15122881 markings, 24686002 edges, 42981 markings/sec, 345 secs
lola: STP completed || 500 tries, 499941410 fired transitions, 350 secs || 15334682 markings, 25031349 edges, 42360 markings/sec, 350 secs
lola: STP completed || 507 tries, 506913215 fired transitions, 355 secs || 15548486 markings, 25380674 edges, 42761 markings/sec, 355 secs
lola: STP completed || 514 tries, 513941352 fired transitions, 360 secs || 15764196 markings, 25732392 edges, 43142 markings/sec, 360 secs
lola: STP completed || 521 tries, 520971755 fired transitions, 365 secs || 15979998 markings, 26084613 edges, 43160 markings/sec, 365 secs
lola: STP completed || 528 tries, 527996535 fired transitions, 370 secs || 16197250 markings, 26439474 edges, 43450 markings/sec, 370 secs
lola: STP completed || 536 tries, 535005818 fired transitions, 375 secs || 16414566 markings, 26794287 edges, 43463 markings/sec, 375 secs
lola: STP completed || 543 tries, 542042674 fired transitions, 380 secs || 16631653 markings, 27148311 edges, 43417 markings/sec, 380 secs
lola: STP completed || 550 tries, 549074498 fired transitions, 385 secs || 16848932 markings, 27502969 edges, 43456 markings/sec, 385 secs
lola: STP completed || 557 tries, 556063679 fired transitions, 390 secs || 17065020 markings, 27855558 edges, 43218 markings/sec, 390 secs
lola: STP completed || 564 tries, 563063788 fired transitions, 395 secs || 17281387 markings, 28208652 edges, 43273 markings/sec, 395 secs
lola: STP completed || 571 tries, 570099173 fired transitions, 400 secs || 17497478 markings, 28561673 edges, 43218 markings/sec, 400 secs
lola: STP completed || 578 tries, 577133304 fired transitions, 405 secs || 17712815 markings, 28913078 edges, 43067 markings/sec, 405 secs
lola: STP completed || 585 tries, 584117621 fired transitions, 410 secs || 17928318 markings, 29264815 edges, 43101 markings/sec, 410 secs
lola: STP completed || 592 tries, 591163010 fired transitions, 415 secs || 18144427 markings, 29617533 edges, 43222 markings/sec, 415 secs
lola: STP completed || 599 tries, 598219193 fired transitions, 420 secs || 18359817 markings, 29968807 edges, 43078 markings/sec, 420 secs
lola: STP completed || 606 tries, 605263039 fired transitions, 425 secs || 18575697 markings, 30321098 edges, 43176 markings/sec, 425 secs
lola: STP completed || 613 tries, 612302877 fired transitions, 430 secs || 18791916 markings, 30674438 edges, 43244 markings/sec, 430 secs
lola: STP completed || 620 tries, 619334594 fired transitions, 435 secs || 19007658 markings, 31026319 edges, 43148 markings/sec, 435 secs
lola: STP completed || 627 tries, 626376391 fired transitions, 440 secs || 19223097 markings, 31377841 edges, 43088 markings/sec, 440 secs
lola: STP completed || 634 tries, 633273852 fired transitions, 445 secs || 19438907 markings, 31730320 edges, 43162 markings/sec, 445 secs
lola: STP completed || 641 tries, 640289589 fired transitions, 450 secs || 19654218 markings, 32081420 edges, 43062 markings/sec, 450 secs
lola: STP completed || 648 tries, 647327010 fired transitions, 455 secs || 19869655 markings, 32432924 edges, 43087 markings/sec, 455 secs
lola: STP completed || 655 tries, 654232613 fired transitions, 460 secs || 20084856 markings, 32784548 edges, 43040 markings/sec, 460 secs
lola: STP completed || 662 tries, 661161655 fired transitions, 465 secs || 20299183 markings, 33134302 edges, 42865 markings/sec, 465 secs
lola: STP completed || 669 tries, 668119323 fired transitions, 470 secs || 20513228 markings, 33483505 edges, 42809 markings/sec, 470 secs
lola: STP completed || 676 tries, 675157423 fired transitions, 475 secs || 20727152 markings, 33832918 edges, 42785 markings/sec, 475 secs
lola: STP completed || 683 tries, 682190689 fired transitions, 480 secs || 20940428 markings, 34180779 edges, 42655 markings/sec, 480 secs
lola: STP completed || 690 tries, 689226642 fired transitions, 485 secs || 21154000 markings, 34529332 edges, 42714 markings/sec, 485 secs
lola: STP completed || 697 tries, 696256717 fired transitions, 490 secs || 21371074 markings, 34884010 edges, 43415 markings/sec, 490 secs
lola: STP completed || 704 tries, 703279900 fired transitions, 495 secs || 21589402 markings, 35240391 edges, 43666 markings/sec, 495 secs
lola: STP completed || 711 tries, 710300533 fired transitions, 500 secs || 21806288 markings, 35594314 edges, 43377 markings/sec, 500 secs
lola: STP completed || 718 tries, 717336096 fired transitions, 505 secs || 22023924 markings, 35949532 edges, 43527 markings/sec, 505 secs
lola: STP completed || 725 tries, 724373396 fired transitions, 510 secs || 22241123 markings, 36304174 edges, 43440 markings/sec, 510 secs
lola: STP completed || 732 tries, 731241715 fired transitions, 515 secs || 22458030 markings, 36657826 edges, 43381 markings/sec, 515 secs
lola: STP completed || 739 tries, 738143366 fired transitions, 520 secs || 22674414 markings, 37011131 edges, 43277 markings/sec, 520 secs
lola: STP completed || 746 tries, 745170900 fired transitions, 525 secs || 22889480 markings, 37362386 edges, 43013 markings/sec, 525 secs
lola: STP completed || 753 tries, 752199315 fired transitions, 530 secs || 23104459 markings, 37713076 edges, 42996 markings/sec, 530 secs
lola: STP completed || 760 tries, 759221778 fired transitions, 535 secs || 23319193 markings, 38063567 edges, 42947 markings/sec, 535 secs
lola: STP completed || 767 tries, 766244429 fired transitions, 540 secs || 23533221 markings, 38412944 edges, 42806 markings/sec, 540 secs
lola: STP completed || 774 tries, 773267048 fired transitions, 545 secs || 23748181 markings, 38763598 edges, 42992 markings/sec, 545 secs
lola: STP completed || 781 tries, 780286691 fired transitions, 550 secs || 23964843 markings, 39117383 edges, 43332 markings/sec, 550 secs
lola: STP completed || 788 tries, 787309164 fired transitions, 555 secs || 24181808 markings, 39471646 edges, 43393 markings/sec, 555 secs
lola: STP completed || 795 tries, 794336214 fired transitions, 560 secs || 24397640 markings, 39823779 edges, 43166 markings/sec, 560 secs
lola: STP completed || 802 tries, 801352658 fired transitions, 565 secs || 24614651 markings, 40177905 edges, 43402 markings/sec, 565 secs
lola: STP completed || 809 tries, 808378691 fired transitions, 570 secs || 24831240 markings, 40531446 edges, 43318 markings/sec, 570 secs
lola: STP completed || 816 tries, 815317024 fired transitions, 575 secs || 25046941 markings, 40883291 edges, 43140 markings/sec, 575 secs
lola: STP completed || 823 tries, 822319061 fired transitions, 580 secs || 25262551 markings, 41235490 edges, 43122 markings/sec, 580 secs
lola: STP completed || 830 tries, 829331894 fired transitions, 585 secs || 25478035 markings, 41587301 edges, 43097 markings/sec, 585 secs
lola: STP completed || 837 tries, 836342058 fired transitions, 590 secs || 25693129 markings, 41938231 edges, 43019 markings/sec, 590 secs
lola: STP completed || 844 tries, 843357037 fired transitions, 595 secs || 25908063 markings, 42289202 edges, 42987 markings/sec, 595 secs
lola: STP completed || 851 tries, 850367354 fired transitions, 600 secs || 26122970 markings, 42639797 edges, 42981 markings/sec, 600 secs
lola: STP completed || 858 tries, 857393425 fired transitions, 605 secs || 26338563 markings, 42991427 edges, 43119 markings/sec, 605 secs
lola: STP completed || 865 tries, 864411188 fired transitions, 610 secs || 26555977 markings, 43346637 edges, 43483 markings/sec, 610 secs
lola: STP completed || 872 tries, 871440302 fired transitions, 615 secs || 26773830 markings, 43702331 edges, 43571 markings/sec, 615 secs
lola: STP completed || 879 tries, 878463630 fired transitions, 620 secs || 26990476 markings, 44055757 edges, 43329 markings/sec, 620 secs
lola: STP completed || 886 tries, 885490512 fired transitions, 625 secs || 27207709 markings, 44410289 edges, 43447 markings/sec, 625 secs
lola: STP completed || 893 tries, 892407254 fired transitions, 630 secs || 27423552 markings, 44762771 edges, 43169 markings/sec, 630 secs
lola: STP completed || 900 tries, 899447160 fired transitions, 635 secs || 27639842 markings, 45115422 edges, 43258 markings/sec, 635 secs
lola: STP completed || 907 tries, 906468834 fired transitions, 640 secs || 27855327 markings, 45467280 edges, 43097 markings/sec, 640 secs
lola: STP completed || 914 tries, 913508876 fired transitions, 645 secs || 28069987 markings, 45818053 edges, 42932 markings/sec, 645 secs
lola: STP completed || 921 tries, 920406427 fired transitions, 650 secs || 28284499 markings, 46167652 edges, 42902 markings/sec, 650 secs
lola: STP completed || 928 tries, 927373802 fired transitions, 655 secs || 28498568 markings, 46517052 edges, 42814 markings/sec, 655 secs
lola: STP completed || 935 tries, 934383832 fired transitions, 660 secs || 28712103 markings, 46865969 edges, 42707 markings/sec, 660 secs
lola: STP completed || 942 tries, 941398074 fired transitions, 665 secs || 28926579 markings, 47215650 edges, 42895 markings/sec, 665 secs
lola: STP completed || 949 tries, 948408430 fired transitions, 670 secs || 29143220 markings, 47569361 edges, 43328 markings/sec, 670 secs
lola: STP completed || 956 tries, 955418238 fired transitions, 675 secs || 29360196 markings, 47923862 edges, 43395 markings/sec, 675 secs
lola: STP completed || 963 tries, 962441111 fired transitions, 680 secs || 29576310 markings, 48276313 edges, 43223 markings/sec, 680 secs
lola: STP completed || 970 tries, 969450419 fired transitions, 685 secs || 29793432 markings, 48630465 edges, 43424 markings/sec, 685 secs
lola: STP completed || 977 tries, 976484098 fired transitions, 690 secs || 30009442 markings, 48983147 edges, 43202 markings/sec, 690 secs
lola: STP completed || 984 tries, 983459341 fired transitions, 695 secs || 30224838 markings, 49334531 edges, 43079 markings/sec, 695 secs
lola: STP completed || 991 tries, 990466540 fired transitions, 700 secs || 30440303 markings, 49686289 edges, 43093 markings/sec, 700 secs
lola: STP completed || 998 tries, 997493156 fired transitions, 705 secs || 30654917 markings, 50036923 edges, 42923 markings/sec, 705 secs
lola: STP completed || 1005 tries, 1004349694 fired transitions, 710 secs || 30869385 markings, 50386606 edges, 42894 markings/sec, 710 secs
lola: STP completed || 1012 tries, 1011291388 fired transitions, 715 secs || 31079740 markings, 50729917 edges, 42071 markings/sec, 715 secs
lola: STP completed || 1019 tries, 1018338098 fired transitions, 720 secs || 31282466 markings, 51060875 edges, 40545 markings/sec, 720 secs
lola: STP completed || 1026 tries, 1025301632 fired transitions, 725 secs || 31487686 markings, 51395671 edges, 41044 markings/sec, 725 secs
lola: STP completed || 1033 tries, 1032351492 fired transitions, 730 secs || 31695294 markings, 51735082 edges, 41522 markings/sec, 730 secs
lola: STP completed || 1040 tries, 1039418009 fired transitions, 735 secs || 31903586 markings, 52074803 edges, 41658 markings/sec, 735 secs
lola: STP completed || 1047 tries, 1046487892 fired transitions, 740 secs || 32111184 markings, 52413601 edges, 41520 markings/sec, 740 secs
lola: STP completed || 1054 tries, 1053555051 fired transitions, 745 secs || 32318985 markings, 52752766 edges, 41560 markings/sec, 745 secs
lola: STP completed || 1061 tries, 1060614229 fired transitions, 750 secs || 32525625 markings, 53089952 edges, 41328 markings/sec, 750 secs
lola: STP completed || 1068 tries, 1067682474 fired transitions, 755 secs || 32732896 markings, 53428313 edges, 41454 markings/sec, 755 secs
lola: STP completed || 1075 tries, 1074595777 fired transitions, 760 secs || 32939628 markings, 53765674 edges, 41346 markings/sec, 760 secs
lola: STP completed || 1082 tries, 1081626866 fired transitions, 765 secs || 33145207 markings, 54101433 edges, 41116 markings/sec, 765 secs
lola: STP completed || 1089 tries, 1088680660 fired transitions, 770 secs || 33350391 markings, 54436315 edges, 41037 markings/sec, 770 secs
lola: STP completed || 1096 tries, 1095716039 fired transitions, 775 secs || 33556060 markings, 54772069 edges, 41134 markings/sec, 775 secs
lola: STP completed || 1103 tries, 1102765787 fired transitions, 780 secs || 33761175 markings, 55106554 edges, 41023 markings/sec, 780 secs
lola: STP completed || 1110 tries, 1109808962 fired transitions, 785 secs || 33966869 markings, 55442295 edges, 41139 markings/sec, 785 secs
lola: STP completed || 1117 tries, 1116777394 fired transitions, 790 secs || 34180669 markings, 55791369 edges, 42760 markings/sec, 790 secs
lola: STP completed || 1124 tries, 1123746547 fired transitions, 795 secs || 34395308 markings, 56141927 edges, 42928 markings/sec, 795 secs
lola: STP completed || 1131 tries, 1130718244 fired transitions, 800 secs || 34609623 markings, 56491516 edges, 42863 markings/sec, 800 secs
lola: STP completed || 1138 tries, 1137719677 fired transitions, 805 secs || 34821425 markings, 56837197 edges, 42360 markings/sec, 805 secs
lola: STP completed || 1145 tries, 1144762631 fired transitions, 810 secs || 35029630 markings, 57177078 edges, 41641 markings/sec, 810 secs
lola: STP completed || 1152 tries, 1151815741 fired transitions, 815 secs || 35237986 markings, 57516818 edges, 41671 markings/sec, 815 secs
lola: STP completed || 1159 tries, 1158838500 fired transitions, 820 secs || 35451477 markings, 57865523 edges, 42698 markings/sec, 820 secs
lola: STP completed || 1166 tries, 1165861444 fired transitions, 825 secs || 35664981 markings, 58214177 edges, 42701 markings/sec, 825 secs
lola: STP completed || 1173 tries, 1172863610 fired transitions, 830 secs || 35878202 markings, 58561998 edges, 42644 markings/sec, 830 secs
lola: STP completed || 1180 tries, 1179889802 fired transitions, 835 secs || 36091345 markings, 58909892 edges, 42629 markings/sec, 835 secs
lola: STP completed || 1187 tries, 1186918271 fired transitions, 840 secs || 36304270 markings, 59257486 edges, 42585 markings/sec, 840 secs
lola: STP completed || 1194 tries, 1193949301 fired transitions, 845 secs || 36517629 markings, 59605568 edges, 42672 markings/sec, 845 secs
lola: STP completed || 1201 tries, 1200980241 fired transitions, 850 secs || 36731683 markings, 59954793 edges, 42811 markings/sec, 850 secs
lola: STP completed || 1209 tries, 1208001539 fired transitions, 855 secs || 36946624 markings, 60306065 edges, 42988 markings/sec, 855 secs
lola: STP completed || 1216 tries, 1215029464 fired transitions, 860 secs || 37161251 markings, 60656391 edges, 42925 markings/sec, 860 secs
lola: STP completed || 1223 tries, 1222059411 fired transitions, 865 secs || 37376201 markings, 61006697 edges, 42990 markings/sec, 865 secs
lola: STP completed || 1230 tries, 1229104401 fired transitions, 870 secs || 37591410 markings, 61358271 edges, 43042 markings/sec, 870 secs
lola: STP completed || 1237 tries, 1236140814 fired transitions, 875 secs || 37806039 markings, 61708525 edges, 42926 markings/sec, 875 secs
lola: STP completed || 1244 tries, 1243169535 fired transitions, 880 secs || 38021150 markings, 62059212 edges, 43022 markings/sec, 880 secs
lola: STP completed || 1251 tries, 1250214183 fired transitions, 885 secs || 38234791 markings, 62408393 edges, 42728 markings/sec, 885 secs
lola: STP completed || 1258 tries, 1257254240 fired transitions, 890 secs || 38448278 markings, 62756766 edges, 42697 markings/sec, 890 secs
lola: STP completed || 1265 tries, 1264289767 fired transitions, 895 secs || 38661815 markings, 63105012 edges, 42707 markings/sec, 895 secs
lola: STP completed || 1272 tries, 1271309911 fired transitions, 900 secs || 38873823 markings, 63451588 edges, 42402 markings/sec, 900 secs
lola: STP completed || 1279 tries, 1278326633 fired transitions, 905 secs || 39087020 markings, 63799193 edges, 42639 markings/sec, 905 secs
lola: STP completed || 1286 tries, 1285375397 fired transitions, 910 secs || 39300540 markings, 64147270 edges, 42704 markings/sec, 910 secs
lola: STP completed || 1293 tries, 1292396529 fired transitions, 915 secs || 39515649 markings, 64498963 edges, 43022 markings/sec, 915 secs
lola: STP completed || 1300 tries, 1299424734 fired transitions, 920 secs || 39730651 markings, 64849744 edges, 43000 markings/sec, 920 secs
lola: STP completed || 1307 tries, 1306490912 fired transitions, 925 secs || 39937779 markings, 65187694 edges, 41426 markings/sec, 925 secs
lola: STP completed || 1314 tries, 1313543429 fired transitions, 930 secs || 40144763 markings, 65525767 edges, 41397 markings/sec, 930 secs
lola: STP completed || 1321 tries, 1320535880 fired transitions, 935 secs || 40356084 markings, 65870416 edges, 42264 markings/sec, 935 secs
lola: STP completed || 1328 tries, 1327503310 fired transitions, 940 secs || 40570079 markings, 66219538 edges, 42799 markings/sec, 940 secs
lola: STP completed || 1335 tries, 1334492497 fired transitions, 945 secs || 40774862 markings, 66553951 edges, 40957 markings/sec, 945 secs
lola: STP completed || 1342 tries, 1341476903 fired transitions, 950 secs || 40988519 markings, 66902745 edges, 42731 markings/sec, 950 secs
lola: STP completed || 1349 tries, 1348446900 fired transitions, 955 secs || 41202061 markings, 67251209 edges, 42708 markings/sec, 955 secs
lola: STP completed || 1356 tries, 1355427911 fired transitions, 960 secs || 41415043 markings, 67599196 edges, 42596 markings/sec, 960 secs
lola: STP completed || 1363 tries, 1362412569 fired transitions, 965 secs || 41628379 markings, 67947160 edges, 42667 markings/sec, 965 secs
lola: STP completed || 1370 tries, 1369397929 fired transitions, 970 secs || 41842279 markings, 68296048 edges, 42780 markings/sec, 970 secs
lola: STP completed || 1377 tries, 1376379523 fired transitions, 975 secs || 42058564 markings, 68649690 edges, 43257 markings/sec, 975 secs
lola: STP completed || 1384 tries, 1383351000 fired transitions, 980 secs || 42275535 markings, 69003758 edges, 43394 markings/sec, 980 secs
lola: STP completed || 1391 tries, 1390327124 fired transitions, 985 secs || 42491785 markings, 69356438 edges, 43250 markings/sec, 985 secs
lola: STP completed || 1398 tries, 1397296057 fired transitions, 990 secs || 42707489 markings, 69708767 edges, 43141 markings/sec, 990 secs
lola: STP completed || 1405 tries, 1404272530 fired transitions, 995 secs || 42923283 markings, 70060772 edges, 43159 markings/sec, 995 secs
lola: STP completed || 1412 tries, 1411248020 fired transitions, 1000 secs || 43138906 markings, 70412537 edges, 43125 markings/sec, 1000 secs
lola: STP completed || 1419 tries, 1418227911 fired transitions, 1005 secs || 43353364 markings, 70763042 edges, 42892 markings/sec, 1005 secs
lola: STP completed || 1426 tries, 1425212659 fired transitions, 1010 secs || 43567761 markings, 71112807 edges, 42879 markings/sec, 1010 secs
lola: STP completed || 1433 tries, 1432195294 fired transitions, 1015 secs || 43781826 markings, 71462002 edges, 42813 markings/sec, 1015 secs
lola: STP completed || 1440 tries, 1439185127 fired transitions, 1020 secs || 43996043 markings, 71811872 edges, 42843 markings/sec, 1020 secs
lola: STP completed || 1447 tries, 1446181257 fired transitions, 1025 secs || 44210199 markings, 72161269 edges, 42831 markings/sec, 1025 secs
lola: STP completed || 1454 tries, 1453173024 fired transitions, 1030 secs || 44424780 markings, 72511369 edges, 42916 markings/sec, 1030 secs
lola: STP completed || 1461 tries, 1460151247 fired transitions, 1035 secs || 44640479 markings, 72863789 edges, 43140 markings/sec, 1035 secs
lola: STP completed || 1468 tries, 1467133919 fired transitions, 1040 secs || 44856321 markings, 73215893 edges, 43168 markings/sec, 1040 secs
lola: STP completed || 1475 tries, 1474123961 fired transitions, 1045 secs || 45071405 markings, 73566852 edges, 43017 markings/sec, 1045 secs
lola: STP completed || 1482 tries, 1481101975 fired transitions, 1050 secs || 45286451 markings, 73918068 edges, 43009 markings/sec, 1050 secs
lola: STP completed || 1489 tries, 1488078052 fired transitions, 1055 secs || 45501365 markings, 74268457 edges, 42983 markings/sec, 1055 secs
lola: STP completed || 1496 tries, 1495060793 fired transitions, 1060 secs || 45715988 markings, 74618641 edges, 42925 markings/sec, 1060 secs
lola: STP completed || 1503 tries, 1502045240 fired transitions, 1065 secs || 45930285 markings, 74968843 edges, 42859 markings/sec, 1065 secs
lola: STP completed || 1510 tries, 1509019668 fired transitions, 1070 secs || 46143999 markings, 75317797 edges, 42743 markings/sec, 1070 secs
lola: STP completed || 1516 tries, 1515995124 fired transitions, 1075 secs || 46357566 markings, 75666067 edges, 42713 markings/sec, 1075 secs
lola: STP completed || 1523 tries, 1522983595 fired transitions, 1080 secs || 46571696 markings, 76015779 edges, 42826 markings/sec, 1080 secs
lola: STP completed || 1530 tries, 1529982612 fired transitions, 1085 secs || 46785889 markings, 76365194 edges, 42839 markings/sec, 1085 secs
lola: STP completed || 1537 tries, 1536978591 fired transitions, 1090 secs || 47000411 markings, 76715178 edges, 42904 markings/sec, 1090 secs
lola: STP completed || 1544 tries, 1543996953 fired transitions, 1095 secs || 47217108 markings, 77069131 edges, 43339 markings/sec, 1095 secs
lola: STP completed || 1551 tries, 1550949956 fired transitions, 1100 secs || 47431658 markings, 77419433 edges, 42910 markings/sec, 1100 secs
lola: STP completed || 1558 tries, 1557612682 fired transitions, 1105 secs || 47636319 markings, 77753306 edges, 40932 markings/sec, 1105 secs
lola: STP completed || 1565 tries, 1564612577 fired transitions, 1110 secs || 47851526 markings, 78104391 edges, 43041 markings/sec, 1110 secs
lola: STP completed || 1572 tries, 1571625317 fired transitions, 1115 secs || 48067122 markings, 78456538 edges, 43119 markings/sec, 1115 secs
lola: STP completed || 1579 tries, 1578628011 fired transitions, 1120 secs || 48283052 markings, 78808691 edges, 43186 markings/sec, 1120 secs
lola: STP completed || 1586 tries, 1585647182 fired transitions, 1125 secs || 48498039 markings, 79159813 edges, 42997 markings/sec, 1125 secs
lola: STP completed || 1593 tries, 1592663837 fired transitions, 1130 secs || 48712215 markings, 79509603 edges, 42835 markings/sec, 1130 secs
lola: STP completed || 1600 tries, 1599685414 fired transitions, 1135 secs || 48926521 markings, 79859012 edges, 42861 markings/sec, 1135 secs
lola: STP completed || 1607 tries, 1606691541 fired transitions, 1140 secs || 49141017 markings, 80209144 edges, 42899 markings/sec, 1140 secs
lola: STP completed || 1614 tries, 1613708221 fired transitions, 1145 secs || 49354500 markings, 80557851 edges, 42697 markings/sec, 1145 secs
lola: STP completed || 1621 tries, 1620728343 fired transitions, 1150 secs || 49569008 markings, 80907556 edges, 42902 markings/sec, 1150 secs
lola: STP completed || 1628 tries, 1627744007 fired transitions, 1155 secs || 49784016 markings, 81258478 edges, 43002 markings/sec, 1155 secs
lola: STP completed || 1635 tries, 1634724739 fired transitions, 1160 secs || 49998473 markings, 81608855 edges, 42891 markings/sec, 1160 secs
lola: STP completed || 1642 tries, 1641743650 fired transitions, 1165 secs || 50212647 markings, 81958072 edges, 42835 markings/sec, 1165 secs
lola: STP completed || 1649 tries, 1648689999 fired transitions, 1170 secs || 50426321 markings, 82306897 edges, 42735 markings/sec, 1170 secs
lola: STP completed || 1656 tries, 1655703278 fired transitions, 1175 secs || 50639619 markings, 82655045 edges, 42660 markings/sec, 1175 secs
lola: STP completed || 1663 tries, 1662711297 fired transitions, 1180 secs || 50852994 markings, 83003310 edges, 42675 markings/sec, 1180 secs
lola: STP completed || 1670 tries, 1669765867 fired transitions, 1185 secs || 51060450 markings, 83341915 edges, 41491 markings/sec, 1185 secs
lola: STP completed || 1677 tries, 1676525068 fired transitions, 1190 secs || 51265986 markings, 83677386 edges, 41107 markings/sec, 1190 secs
lola: STP completed || 1684 tries, 1683564800 fired transitions, 1195 secs || 51475531 markings, 84019551 edges, 41909 markings/sec, 1195 secs
lola: STP completed || 1691 tries, 1690592444 fired transitions, 1200 secs || 51688358 markings, 84367016 edges, 42565 markings/sec, 1200 secs
lola: STP completed || 1698 tries, 1697605444 fired transitions, 1205 secs || 51901049 markings, 84713889 edges, 42538 markings/sec, 1205 secs
lola: STP completed || 1705 tries, 1704621810 fired transitions, 1210 secs || 52114435 markings, 85062188 edges, 42677 markings/sec, 1210 secs
lola: STP completed || 1712 tries, 1711642830 fired transitions, 1215 secs || 52329966 markings, 85414287 edges, 43106 markings/sec, 1215 secs
lola: STP completed || 1719 tries, 1718709402 fired transitions, 1220 secs || 52535865 markings, 85750111 edges, 41180 markings/sec, 1220 secs
lola: STP completed || 1726 tries, 1725736200 fired transitions, 1225 secs || 52747678 markings, 86095990 edges, 42363 markings/sec, 1225 secs
lola: STP completed || 1733 tries, 1732795247 fired transitions, 1230 secs || 52952726 markings, 86430630 edges, 41010 markings/sec, 1230 secs
lola: STP completed || 1740 tries, 1739861673 fired transitions, 1235 secs || 53156404 markings, 86762946 edges, 40736 markings/sec, 1235 secs
lola: STP completed || 1747 tries, 1746893643 fired transitions, 1240 secs || 53365818 markings, 87104707 edges, 41883 markings/sec, 1240 secs
lola: STP completed || 1754 tries, 1753954005 fired transitions, 1245 secs || 53571649 markings, 87440886 edges, 41166 markings/sec, 1245 secs
lola: STP completed || 1762 tries, 1761010616 fired transitions, 1250 secs || 53778523 markings, 87778446 edges, 41375 markings/sec, 1250 secs
lola: STP completed || 1769 tries, 1768026433 fired transitions, 1255 secs || 53990771 markings, 88124959 edges, 42450 markings/sec, 1255 secs
lola: STP completed || 1776 tries, 1775031045 fired transitions, 1260 secs || 54204194 markings, 88473238 edges, 42685 markings/sec, 1260 secs
lola: STP completed || 1783 tries, 1782052057 fired transitions, 1265 secs || 54417141 markings, 88820901 edges, 42589 markings/sec, 1265 secs
lola: STP completed || 1790 tries, 1789059051 fired transitions, 1270 secs || 54630295 markings, 89168488 edges, 42631 markings/sec, 1270 secs
lola: STP completed || 1797 tries, 1796077312 fired transitions, 1275 secs || 54844945 markings, 89519097 edges, 42930 markings/sec, 1275 secs
lola: STP completed || 1804 tries, 1803104387 fired transitions, 1280 secs || 55060095 markings, 89870435 edges, 43030 markings/sec, 1280 secs
lola: STP completed || 1811 tries, 1810120047 fired transitions, 1285 secs || 55274354 markings, 90219917 edges, 42852 markings/sec, 1285 secs
lola: STP completed || 1818 tries, 1817152537 fired transitions, 1290 secs || 55489355 markings, 90570781 edges, 43000 markings/sec, 1290 secs
lola: STP completed || 1825 tries, 1824190156 fired transitions, 1295 secs || 55697616 markings, 90910694 edges, 41652 markings/sec, 1295 secs
lola: STP completed || 1832 tries, 1831256755 fired transitions, 1300 secs || 55900709 markings, 91241992 edges, 40619 markings/sec, 1300 secs
lola: STP completed || 1839 tries, 1838326461 fired transitions, 1305 secs || 56105561 markings, 91576576 edges, 40970 markings/sec, 1305 secs
lola: STP completed || 1846 tries, 1845397960 fired transitions, 1310 secs || 56312338 markings, 91914015 edges, 41355 markings/sec, 1310 secs
lola: STP completed || 1853 tries, 1852410550 fired transitions, 1315 secs || 56524604 markings, 92260768 edges, 42453 markings/sec, 1315 secs
lola: STP completed || 1860 tries, 1859217763 fired transitions, 1320 secs || 56730871 markings, 92597104 edges, 41253 markings/sec, 1320 secs
lola: STP completed || 1866 tries, 1865889866 fired transitions, 1325 secs || 56932725 markings, 92926786 edges, 40371 markings/sec, 1325 secs
lola: STP completed || 1873 tries, 1872564446 fired transitions, 1330 secs || 57133838 markings, 93254841 edges, 40223 markings/sec, 1330 secs
lola: STP completed || 1880 tries, 1879235814 fired transitions, 1335 secs || 57335347 markings, 93583755 edges, 40302 markings/sec, 1335 secs
lola: STP completed || 1886 tries, 1885925820 fired transitions, 1340 secs || 57538997 markings, 93916202 edges, 40730 markings/sec, 1340 secs
lola: STP completed || 1893 tries, 1892616080 fired transitions, 1345 secs || 57741986 markings, 94247737 edges, 40598 markings/sec, 1345 secs
lola: STP completed || 1900 tries, 1899285555 fired transitions, 1350 secs || 57944039 markings, 94577342 edges, 40411 markings/sec, 1350 secs
lola: STP completed || 1906 tries, 1905970376 fired transitions, 1355 secs || 58146787 markings, 94908215 edges, 40550 markings/sec, 1355 secs
lola: STP completed || 1913 tries, 1912654611 fired transitions, 1360 secs || 58348441 markings, 95237321 edges, 40331 markings/sec, 1360 secs
lola: STP completed || 1920 tries, 1919344148 fired transitions, 1365 secs || 58550436 markings, 95567050 edges, 40399 markings/sec, 1365 secs
lola: STP completed || 1927 tries, 1926359371 fired transitions, 1370 secs || 58749676 markings, 95892292 edges, 39848 markings/sec, 1370 secs
lola: STP completed || 1934 tries, 1933368770 fired transitions, 1375 secs || 58957674 markings, 96231605 edges, 41600 markings/sec, 1375 secs
lola: STP completed || 1941 tries, 1940375566 fired transitions, 1380 secs || 59165585 markings, 96570898 edges, 41582 markings/sec, 1380 secs
lola: STP completed || 1948 tries, 1947377862 fired transitions, 1385 secs || 59373030 markings, 96909630 edges, 41489 markings/sec, 1385 secs
lola: STP completed || 1955 tries, 1954398135 fired transitions, 1390 secs || 59581058 markings, 97249112 edges, 41606 markings/sec, 1390 secs
lola: STP completed || 1962 tries, 1961420087 fired transitions, 1395 secs || 59788586 markings, 97587652 edges, 41506 markings/sec, 1395 secs
lola: STP completed || 1969 tries, 1968428653 fired transitions, 1400 secs || 59998405 markings, 97930247 edges, 41964 markings/sec, 1400 secs
lola: STP completed || 1976 tries, 1975448394 fired transitions, 1405 secs || 60208438 markings, 98273003 edges, 42007 markings/sec, 1405 secs
lola: STP completed || 1983 tries, 1982464100 fired transitions, 1410 secs || 60418107 markings, 98615292 edges, 41934 markings/sec, 1410 secs
lola: STP completed || 1990 tries, 1989477139 fired transitions, 1415 secs || 60627158 markings, 98956569 edges, 41810 markings/sec, 1415 secs
lola: STP completed || 1997 tries, 1996492793 fired transitions, 1420 secs || 60836422 markings, 99297945 edges, 41853 markings/sec, 1420 secs
lola: STP completed || 2004 tries, 2003503093 fired transitions, 1425 secs || 61044617 markings, 99637825 edges, 41639 markings/sec, 1425 secs
lola: STP completed || 2011 tries, 2010521733 fired transitions, 1430 secs || 61253547 markings, 99978942 edges, 41786 markings/sec, 1430 secs
lola: STP completed || 2015 tries, 2014505158 fired transitions, 1435 secs || 61373469 markings, 100174686 edges, 23984 markings/sec, 1435 secs
lola: STP completed || 2019 tries, 2018862825 fired transitions, 1440 secs || 61504009 markings, 100387474 edges, 26108 markings/sec, 1440 secs
lola: STP completed || 2026 tries, 2025528955 fired transitions, 1445 secs || 61703051 markings, 100712326 edges, 39808 markings/sec, 1445 secs
lola: STP completed || 2033 tries, 2032186313 fired transitions, 1450 secs || 61902566 markings, 101038049 edges, 39903 markings/sec, 1450 secs
lola: STP completed || 2039 tries, 2038857405 fired transitions, 1455 secs || 62102359 markings, 101364225 edges, 39959 markings/sec, 1455 secs
lola: STP completed || 2046 tries, 2045515409 fired transitions, 1460 secs || 62301851 markings, 101689860 edges, 39898 markings/sec, 1460 secs
lola: STP completed || 2053 tries, 2052179349 fired transitions, 1465 secs || 62502386 markings, 102017010 edges, 40107 markings/sec, 1465 secs
lola: STP completed || 2059 tries, 2058846624 fired transitions, 1470 secs || 62703678 markings, 102346079 edges, 40258 markings/sec, 1470 secs
lola: STP completed || 2066 tries, 2065495385 fired transitions, 1475 secs || 62904257 markings, 102673490 edges, 40116 markings/sec, 1475 secs
lola: STP completed || 2073 tries, 2072159083 fired transitions, 1480 secs || 63104376 markings, 102999931 edges, 40024 markings/sec, 1480 secs
lola: STP completed || 2079 tries, 2078806608 fired transitions, 1485 secs || 63305867 markings, 103328785 edges, 40298 markings/sec, 1485 secs
lola: STP completed || 2086 tries, 2085472968 fired transitions, 1490 secs || 63506114 markings, 103655300 edges, 40049 markings/sec, 1490 secs
lola: STP completed || 2093 tries, 2092136930 fired transitions, 1495 secs || 63706624 markings, 103982517 edges, 40102 markings/sec, 1495 secs
lola: STP completed || 2099 tries, 2098799634 fired transitions, 1500 secs || 63907709 markings, 104310951 edges, 40217 markings/sec, 1500 secs
lola: STP completed || 2106 tries, 2105463180 fired transitions, 1505 secs || 64107791 markings, 104637485 edges, 40016 markings/sec, 1505 secs
lola: STP completed || 2113 tries, 2112127911 fired transitions, 1510 secs || 64307096 markings, 104962713 edges, 39861 markings/sec, 1510 secs
lola: STP completed || 2119 tries, 2118781429 fired transitions, 1515 secs || 64506778 markings, 105288697 edges, 39936 markings/sec, 1515 secs
lola: STP completed || 2126 tries, 2125459889 fired transitions, 1520 secs || 64705575 markings, 105613239 edges, 39759 markings/sec, 1520 secs
lola: STP completed || 2133 tries, 2132128752 fired transitions, 1525 secs || 64904494 markings, 105937811 edges, 39784 markings/sec, 1525 secs
lola: STP completed || 2139 tries, 2138797676 fired transitions, 1530 secs || 65103481 markings, 106262504 edges, 39797 markings/sec, 1530 secs
lola: STP completed || 2146 tries, 2145646201 fired transitions, 1535 secs || 65311445 markings, 106602131 edges, 41593 markings/sec, 1535 secs
lola: STP completed || 2153 tries, 2152677619 fired transitions, 1540 secs || 65525850 markings, 106952226 edges, 42881 markings/sec, 1540 secs
lola: STP completed || 2160 tries, 2159704169 fired transitions, 1545 secs || 65740460 markings, 107302132 edges, 42922 markings/sec, 1545 secs
lola: STP completed || 2167 tries, 2166730245 fired transitions, 1550 secs || 65954926 markings, 107652258 edges, 42893 markings/sec, 1550 secs
lola: STP completed || 2174 tries, 2173756494 fired transitions, 1555 secs || 66169021 markings, 108001986 edges, 42819 markings/sec, 1555 secs
lola: STP completed || 2181 tries, 2180775167 fired transitions, 1560 secs || 66383649 markings, 108351933 edges, 42926 markings/sec, 1560 secs
lola: STP completed || 2188 tries, 2187803955 fired transitions, 1565 secs || 66597145 markings, 108700764 edges, 42699 markings/sec, 1565 secs
lola: STP completed || 2195 tries, 2194827990 fired transitions, 1570 secs || 66810198 markings, 109048076 edges, 42611 markings/sec, 1570 secs
lola: STP completed || 2202 tries, 2201866791 fired transitions, 1575 secs || 67023230 markings, 109395870 edges, 42606 markings/sec, 1575 secs
lola: STP completed || 2209 tries, 2208914999 fired transitions, 1580 secs || 67229588 markings, 109732765 edges, 41272 markings/sec, 1580 secs
lola: STP completed || 2216 tries, 2215961860 fired transitions, 1585 secs || 67437177 markings, 110071583 edges, 41518 markings/sec, 1585 secs
lola: STP completed || 2223 tries, 2222985038 fired transitions, 1590 secs || 67650688 markings, 110419953 edges, 42702 markings/sec, 1590 secs
lola: STP completed || 2231 tries, 2230006565 fired transitions, 1595 secs || 67865282 markings, 110770654 edges, 42919 markings/sec, 1595 secs
lola: STP completed || 2238 tries, 2237081126 fired transitions, 1600 secs || 68069648 markings, 111104073 edges, 40873 markings/sec, 1600 secs
lola: STP completed || 2245 tries, 2244149528 fired transitions, 1605 secs || 68272777 markings, 111435438 edges, 40626 markings/sec, 1605 secs
lola: STP completed || 2252 tries, 2251200452 fired transitions, 1610 secs || 68481706 markings, 111776475 edges, 41786 markings/sec, 1610 secs
lola: STP completed || 2259 tries, 2258227267 fired transitions, 1615 secs || 68695575 markings, 112125476 edges, 42774 markings/sec, 1615 secs
lola: STP completed || 2266 tries, 2265239492 fired transitions, 1620 secs || 68909460 markings, 112474646 edges, 42777 markings/sec, 1620 secs
lola: STP completed || 2273 tries, 2272281736 fired transitions, 1625 secs || 69119656 markings, 112817592 edges, 42039 markings/sec, 1625 secs
lola: STP completed || 2280 tries, 2279298403 fired transitions, 1630 secs || 69331603 markings, 113163578 edges, 42389 markings/sec, 1630 secs
lola: STP completed || 2287 tries, 2286321400 fired transitions, 1635 secs || 69543669 markings, 113509740 edges, 42413 markings/sec, 1635 secs
lola: STP completed || 2294 tries, 2293341381 fired transitions, 1640 secs || 69755599 markings, 113856000 edges, 42386 markings/sec, 1640 secs
lola: STP completed || 2301 tries, 2300362443 fired transitions, 1645 secs || 69967332 markings, 114201221 edges, 42347 markings/sec, 1645 secs
lola: STP completed || 2308 tries, 2307410051 fired transitions, 1650 secs || 70174900 markings, 114540014 edges, 41514 markings/sec, 1650 secs
lola: STP completed || 2315 tries, 2314429022 fired transitions, 1655 secs || 70388694 markings, 114888969 edges, 42759 markings/sec, 1655 secs
lola: STP completed || 2322 tries, 2321442868 fired transitions, 1660 secs || 70602594 markings, 115238153 edges, 42780 markings/sec, 1660 secs
lola: STP completed || 2329 tries, 2328455783 fired transitions, 1665 secs || 70816096 markings, 115586567 edges, 42700 markings/sec, 1665 secs
lola: STP completed || 2336 tries, 2335480920 fired transitions, 1670 secs || 71030171 markings, 115935981 edges, 42815 markings/sec, 1670 secs
lola: STP completed || 2343 tries, 2342498776 fired transitions, 1675 secs || 71243746 markings, 116284266 edges, 42715 markings/sec, 1675 secs
lola: STP completed || 2350 tries, 2349510771 fired transitions, 1680 secs || 71457127 markings, 116632559 edges, 42676 markings/sec, 1680 secs
lola: STP completed || 2357 tries, 2356528926 fired transitions, 1685 secs || 71670724 markings, 116981312 edges, 42719 markings/sec, 1685 secs
lola: STP completed || 2364 tries, 2363569719 fired transitions, 1690 secs || 71883725 markings, 117328803 edges, 42600 markings/sec, 1690 secs
lola: STP completed || 2371 tries, 2370598616 fired transitions, 1695 secs || 72096002 markings, 117675529 edges, 42455 markings/sec, 1695 secs
lola: STP completed || 2378 tries, 2377618600 fired transitions, 1700 secs || 72309026 markings, 118023270 edges, 42605 markings/sec, 1700 secs
lola: STP completed || 2385 tries, 2384636639 fired transitions, 1705 secs || 72521344 markings, 118369692 edges, 42464 markings/sec, 1705 secs
lola: STP completed || 2392 tries, 2391667995 fired transitions, 1710 secs || 72734272 markings, 118717095 edges, 42586 markings/sec, 1710 secs
lola: STP completed || 2399 tries, 2398686547 fired transitions, 1715 secs || 72948214 markings, 119066875 edges, 42788 markings/sec, 1715 secs
lola: STP completed || 2406 tries, 2405697818 fired transitions, 1720 secs || 73162913 markings, 119416919 edges, 42940 markings/sec, 1720 secs
lola: STP completed || 2413 tries, 2412738038 fired transitions, 1725 secs || 73376370 markings, 119765530 edges, 42691 markings/sec, 1725 secs
lola: STP completed || 2420 tries, 2419761022 fired transitions, 1730 secs || 73590591 markings, 120115168 edges, 42844 markings/sec, 1730 secs
lola: STP completed || 2427 tries, 2426763259 fired transitions, 1735 secs || 73802799 markings, 120461286 edges, 42442 markings/sec, 1735 secs
lola: STP completed || 2434 tries, 2433807058 fired transitions, 1740 secs || 74009197 markings, 120797992 edges, 41280 markings/sec, 1740 secs
lola: STP completed || 2441 tries, 2440868105 fired transitions, 1745 secs || 74212315 markings, 121129814 edges, 40624 markings/sec, 1745 secs
lola: STP completed || 2448 tries, 2447932924 fired transitions, 1750 secs || 74416584 markings, 121463200 edges, 40854 markings/sec, 1750 secs
lola: STP completed || 2455 tries, 2454973820 fired transitions, 1755 secs || 74624895 markings, 121803095 edges, 41662 markings/sec, 1755 secs
lola: STP completed || 2462 tries, 2461997184 fired transitions, 1760 secs || 74837232 markings, 122149820 edges, 42467 markings/sec, 1760 secs
lola: STP completed || 2470 tries, 2469063279 fired transitions, 1765 secs || 75040941 markings, 122482324 edges, 40742 markings/sec, 1765 secs
lola: STP completed || 2476 tries, 2475517543 fired transitions, 1770 secs || 75245384 markings, 122815703 edges, 40889 markings/sec, 1770 secs
lola: STP completed || 2483 tries, 2482532761 fired transitions, 1775 secs || 75458138 markings, 123163193 edges, 42551 markings/sec, 1775 secs
lola: STP completed || 2490 tries, 2489573085 fired transitions, 1780 secs || 75672064 markings, 123512172 edges, 42785 markings/sec, 1780 secs
lola: STP completed || 2497 tries, 2496606864 fired transitions, 1785 secs || 75885785 markings, 123861321 edges, 42744 markings/sec, 1785 secs
lola: STP completed || 2504 tries, 2503641125 fired transitions, 1790 secs || 76099450 markings, 124209789 edges, 42733 markings/sec, 1790 secs
lola: STP completed || 2511 tries, 2510675057 fired transitions, 1795 secs || 76311418 markings, 124555859 edges, 42394 markings/sec, 1795 secs
lola: STP completed || 2518 tries, 2517727368 fired transitions, 1800 secs || 76517993 markings, 124892808 edges, 41315 markings/sec, 1800 secs
lola: STP completed || 2525 tries, 2524801873 fired transitions, 1805 secs || 76722126 markings, 125225778 edges, 40827 markings/sec, 1805 secs
lola: STP completed || 2532 tries, 2531805635 fired transitions, 1810 secs || 76930251 markings, 125565935 edges, 41625 markings/sec, 1810 secs
lola: STP completed || 2539 tries, 2538874823 fired transitions, 1815 secs || 77138160 markings, 125905358 edges, 41582 markings/sec, 1815 secs
lola: STP completed || 2546 tries, 2545912716 fired transitions, 1820 secs || 77350754 markings, 126252086 edges, 42519 markings/sec, 1820 secs
lola: STP completed || 2553 tries, 2552973923 fired transitions, 1825 secs || 77559141 markings, 126592418 edges, 41677 markings/sec, 1825 secs
lola: STP completed || 2561 tries, 2560013782 fired transitions, 1830 secs || 77771366 markings, 126938636 edges, 42445 markings/sec, 1830 secs
lola: STP completed || 2568 tries, 2567053355 fired transitions, 1835 secs || 77975627 markings, 127271901 edges, 40852 markings/sec, 1835 secs
lola: STP completed || 2575 tries, 2574076833 fired transitions, 1840 secs || 78186956 markings, 127617154 edges, 42266 markings/sec, 1840 secs
lola: STP completed || 2582 tries, 2581100811 fired transitions, 1845 secs || 78400012 markings, 127964864 edges, 42611 markings/sec, 1845 secs
lola: STP completed || 2589 tries, 2588149103 fired transitions, 1850 secs || 78606118 markings, 128301145 edges, 41221 markings/sec, 1850 secs
lola: STP completed || 2596 tries, 2595160958 fired transitions, 1855 secs || 78819270 markings, 128648871 edges, 42630 markings/sec, 1855 secs
lola: STP completed || 2603 tries, 2602185615 fired transitions, 1860 secs || 79030688 markings, 128994210 edges, 42284 markings/sec, 1860 secs
lola: STP completed || 2610 tries, 2609252935 fired transitions, 1865 secs || 79238923 markings, 129333781 edges, 41647 markings/sec, 1865 secs
lola: STP completed || 2617 tries, 2616310943 fired transitions, 1870 secs || 79446718 markings, 129672959 edges, 41559 markings/sec, 1870 secs
lola: STP completed || 2624 tries, 2623362185 fired transitions, 1875 secs || 79653764 markings, 130010982 edges, 41409 markings/sec, 1875 secs
lola: STP completed || 2631 tries, 2630390396 fired transitions, 1880 secs || 79864186 markings, 130354281 edges, 42084 markings/sec, 1880 secs
lola: STP completed || 2638 tries, 2637361280 fired transitions, 1885 secs || 80075689 markings, 130699741 edges, 42301 markings/sec, 1885 secs
lola: STP completed || 2645 tries, 2644365873 fired transitions, 1890 secs || 80287013 markings, 131044633 edges, 42265 markings/sec, 1890 secs
lola: STP completed || 2652 tries, 2651330994 fired transitions, 1895 secs || 80498093 markings, 131388902 edges, 42216 markings/sec, 1895 secs
lola: STP completed || 2659 tries, 2658345527 fired transitions, 1900 secs || 80711515 markings, 131737390 edges, 42684 markings/sec, 1900 secs
lola: STP completed || 2666 tries, 2665189222 fired transitions, 1905 secs || 80924277 markings, 132084585 edges, 42552 markings/sec, 1905 secs
lola: STP completed || 2673 tries, 2672103687 fired transitions, 1910 secs || 81129527 markings, 132419792 edges, 41050 markings/sec, 1910 secs
lola: STP completed || 2680 tries, 2679139019 fired transitions, 1915 secs || 81341035 markings, 132764791 edges, 42302 markings/sec, 1915 secs
lola: STP completed || 2687 tries, 2686156703 fired transitions, 1920 secs || 81554122 markings, 133112599 edges, 42617 markings/sec, 1920 secs
lola: STP completed || 2694 tries, 2693155274 fired transitions, 1925 secs || 81767480 markings, 133460811 edges, 42672 markings/sec, 1925 secs
lola: STP completed || 2701 tries, 2700152186 fired transitions, 1930 secs || 81981252 markings, 133809866 edges, 42754 markings/sec, 1930 secs
lola: STP completed || 2708 tries, 2707146257 fired transitions, 1935 secs || 82193938 markings, 134156888 edges, 42537 markings/sec, 1935 secs
lola: STP completed || 2715 tries, 2714127865 fired transitions, 1940 secs || 82406181 markings, 134503331 edges, 42449 markings/sec, 1940 secs
lola: STP completed || 2721 tries, 2720924808 fired transitions, 1945 secs || 82618388 markings, 134849866 edges, 42441 markings/sec, 1945 secs
lola: STP completed || 2728 tries, 2727899195 fired transitions, 1950 secs || 82829845 markings, 135194773 edges, 42291 markings/sec, 1950 secs
lola: STP completed || 2735 tries, 2734925249 fired transitions, 1955 secs || 83041681 markings, 135540541 edges, 42367 markings/sec, 1955 secs
lola: STP completed || 2742 tries, 2741936318 fired transitions, 1960 secs || 83255311 markings, 135889478 edges, 42726 markings/sec, 1960 secs
lola: STP completed || 2749 tries, 2748967454 fired transitions, 1965 secs || 83470445 markings, 136240857 edges, 43027 markings/sec, 1965 secs
lola: STP completed || 2756 tries, 2755991016 fired transitions, 1970 secs || 83681472 markings, 136585074 edges, 42205 markings/sec, 1970 secs
lola: STP completed || 2764 tries, 2763064106 fired transitions, 1975 secs || 83892155 markings, 136929219 edges, 42137 markings/sec, 1975 secs
lola: STP completed || 2771 tries, 2770137955 fired transitions, 1980 secs || 84100867 markings, 137269515 edges, 41742 markings/sec, 1980 secs
lola: STP completed || 2777 tries, 2776546391 fired transitions, 1985 secs || 84305295 markings, 137603108 edges, 40886 markings/sec, 1985 secs
lola: STP completed || 2784 tries, 2783207850 fired transitions, 1990 secs || 84506575 markings, 137931870 edges, 40256 markings/sec, 1990 secs
lola: STP completed || 2790 tries, 2789874780 fired transitions, 1995 secs || 84707257 markings, 138259508 edges, 40136 markings/sec, 1995 secs
lola: STP completed || 2797 tries, 2796542285 fired transitions, 2000 secs || 84907794 markings, 138586831 edges, 40107 markings/sec, 2000 secs
lola: STP completed || 2804 tries, 2803201482 fired transitions, 2005 secs || 85107789 markings, 138912768 edges, 39999 markings/sec, 2005 secs
lola: STP completed || 2811 tries, 2810095312 fired transitions, 2010 secs || 85315226 markings, 139251799 edges, 41487 markings/sec, 2010 secs
lola: STP completed || 2818 tries, 2817101894 fired transitions, 2015 secs || 85527855 markings, 139598978 edges, 42526 markings/sec, 2015 secs
lola: STP completed || 2825 tries, 2824121015 fired transitions, 2020 secs || 85741254 markings, 139946599 edges, 42680 markings/sec, 2020 secs
lola: STP completed || 2832 tries, 2831091726 fired transitions, 2025 secs || 85956015 markings, 140297619 edges, 42952 markings/sec, 2025 secs
lola: STP completed || 2839 tries, 2838057441 fired transitions, 2030 secs || 86169760 markings, 140646687 edges, 42749 markings/sec, 2030 secs
lola: STP completed || 2846 tries, 2845065880 fired transitions, 2035 secs || 86383601 markings, 140995357 edges, 42768 markings/sec, 2035 secs
lola: STP completed || 2853 tries, 2852082685 fired transitions, 2040 secs || 86597392 markings, 141344399 edges, 42758 markings/sec, 2040 secs
lola: STP completed || 2860 tries, 2859091073 fired transitions, 2045 secs || 86810745 markings, 141692385 edges, 42671 markings/sec, 2045 secs
lola: STP completed || 2867 tries, 2866090393 fired transitions, 2050 secs || 87024308 markings, 142041083 edges, 42713 markings/sec, 2050 secs
lola: STP completed || 2874 tries, 2873034369 fired transitions, 2055 secs || 87237162 markings, 142388670 edges, 42571 markings/sec, 2055 secs
lola: STP completed || 2881 tries, 2880060183 fired transitions, 2060 secs || 87449579 markings, 142735234 edges, 42483 markings/sec, 2060 secs
lola: STP completed || 2888 tries, 2887046714 fired transitions, 2065 secs || 87662333 markings, 143082528 edges, 42551 markings/sec, 2065 secs
lola: STP completed || 2895 tries, 2894001536 fired transitions, 2070 secs || 87874765 markings, 143429264 edges, 42486 markings/sec, 2070 secs
lola: STP completed || 2902 tries, 2901005239 fired transitions, 2075 secs || 88086835 markings, 143775420 edges, 42414 markings/sec, 2075 secs
lola: STP completed || 2909 tries, 2908015604 fired transitions, 2080 secs || 88300141 markings, 144123451 edges, 42661 markings/sec, 2080 secs
lola: STP completed || 2916 tries, 2915025360 fired transitions, 2085 secs || 88515123 markings, 144474655 edges, 42996 markings/sec, 2085 secs
lola: STP completed || 2923 tries, 2922036966 fired transitions, 2090 secs || 88729776 markings, 144825053 edges, 42931 markings/sec, 2090 secs
lola: STP completed || 2930 tries, 2929053748 fired transitions, 2095 secs || 88944178 markings, 145174892 edges, 42880 markings/sec, 2095 secs
lola: STP completed || 2937 tries, 2936031184 fired transitions, 2100 secs || 89157662 markings, 145523567 edges, 42697 markings/sec, 2100 secs
lola: STP completed || 2944 tries, 2943033955 fired transitions, 2105 secs || 89370971 markings, 145871243 edges, 42662 markings/sec, 2105 secs
lola: STP completed || 2951 tries, 2950023881 fired transitions, 2110 secs || 89584645 markings, 146219966 edges, 42735 markings/sec, 2110 secs
lola: STP completed || 2958 tries, 2957039034 fired transitions, 2115 secs || 89797815 markings, 146568192 edges, 42634 markings/sec, 2115 secs
lola: STP completed || 2965 tries, 2964048241 fired transitions, 2120 secs || 90010444 markings, 146915162 edges, 42526 markings/sec, 2120 secs
lola: STP completed || 2972 tries, 2971062155 fired transitions, 2125 secs || 90223311 markings, 147262491 edges, 42573 markings/sec, 2125 secs
lola: STP completed || 2979 tries, 2978076677 fired transitions, 2130 secs || 90436218 markings, 147609917 edges, 42581 markings/sec, 2130 secs
lola: STP completed || 2986 tries, 2985106419 fired transitions, 2135 secs || 90648761 markings, 147956977 edges, 42509 markings/sec, 2135 secs
lola: STP completed || 2993 tries, 2992123426 fired transitions, 2140 secs || 90862278 markings, 148305163 edges, 42703 markings/sec, 2140 secs
lola: STP completed || 3000 tries, 2999096004 fired transitions, 2145 secs || 91076162 markings, 148654408 edges, 42777 markings/sec, 2145 secs
lola: STP completed || 3007 tries, 3006102372 fired transitions, 2150 secs || 91290196 markings, 149003978 edges, 42807 markings/sec, 2150 secs
lola: STP completed || 3014 tries, 3013119262 fired transitions, 2155 secs || 91504122 markings, 149352996 edges, 42785 markings/sec, 2155 secs
lola: STP completed || 3021 tries, 3020141495 fired transitions, 2160 secs || 91717866 markings, 149701624 edges, 42749 markings/sec, 2160 secs
lola: STP completed || 3028 tries, 3027173156 fired transitions, 2165 secs || 91931251 markings, 150050007 edges, 42677 markings/sec, 2165 secs
lola: STP completed || 3035 tries, 3034188664 fired transitions, 2170 secs || 92145067 markings, 150399009 edges, 42763 markings/sec, 2170 secs
lola: STP completed || 3042 tries, 3041218904 fired transitions, 2175 secs || 92358145 markings, 150746941 edges, 42616 markings/sec, 2175 secs
lola: STP completed || 3049 tries, 3048244501 fired transitions, 2180 secs || 92571161 markings, 151094616 edges, 42603 markings/sec, 2180 secs
lola: STP completed || 3056 tries, 3055255654 fired transitions, 2185 secs || 92783692 markings, 151441480 edges, 42506 markings/sec, 2185 secs
lola: STP completed || 3063 tries, 3062287185 fired transitions, 2190 secs || 92996323 markings, 151788542 edges, 42526 markings/sec, 2190 secs
lola: STP completed || 3070 tries, 3069314067 fired transitions, 2195 secs || 93209072 markings, 152135730 edges, 42550 markings/sec, 2195 secs
lola: STP completed || 3077 tries, 3076340635 fired transitions, 2200 secs || 93422679 markings, 152484282 edges, 42721 markings/sec, 2200 secs
lola: STP completed || 3084 tries, 3083367865 fired transitions, 2205 secs || 93636881 markings, 152834151 edges, 42840 markings/sec, 2205 secs
lola: STP completed || 3091 tries, 3090402901 fired transitions, 2210 secs || 93851331 markings, 153184318 edges, 42890 markings/sec, 2210 secs
lola: STP completed || 3098 tries, 3097438892 fired transitions, 2215 secs || 94065528 markings, 153533659 edges, 42839 markings/sec, 2215 secs
lola: STP completed || 3105 tries, 3104475470 fired transitions, 2220 secs || 94279256 markings, 153882573 edges, 42746 markings/sec, 2220 secs
lola: STP completed || 3112 tries, 3111500963 fired transitions, 2225 secs || 94492362 markings, 154230340 edges, 42621 markings/sec, 2225 secs
lola: STP completed || 3119 tries, 3118535167 fired transitions, 2230 secs || 94705820 markings, 154578683 edges, 42692 markings/sec, 2230 secs
lola: STP completed || 3126 tries, 3125550405 fired transitions, 2235 secs || 94918296 markings, 154925846 edges, 42495 markings/sec, 2235 secs
lola: STP completed || 3133 tries, 3132581472 fired transitions, 2240 secs || 95130829 markings, 155272640 edges, 42507 markings/sec, 2240 secs
lola: STP completed || 3140 tries, 3139602767 fired transitions, 2245 secs || 95343450 markings, 155619416 edges, 42524 markings/sec, 2245 secs
lola: STP completed || 3147 tries, 3146612197 fired transitions, 2250 secs || 95555713 markings, 155966080 edges, 42453 markings/sec, 2250 secs
lola: STP completed || 3154 tries, 3153595417 fired transitions, 2255 secs || 95767039 markings, 156310932 edges, 42265 markings/sec, 2255 secs
lola: STP completed || 3161 tries, 3160616091 fired transitions, 2260 secs || 95979516 markings, 156657667 edges, 42495 markings/sec, 2260 secs
lola: STP completed || 3168 tries, 3167602419 fired transitions, 2265 secs || 96192622 markings, 157005812 edges, 42621 markings/sec, 2265 secs
lola: STP completed || 3175 tries, 3174573355 fired transitions, 2270 secs || 96406427 markings, 157354325 edges, 42761 markings/sec, 2270 secs
lola: STP completed || 3182 tries, 3181553953 fired transitions, 2275 secs || 96619163 markings, 157701808 edges, 42547 markings/sec, 2275 secs
lola: STP completed || 3189 tries, 3188523493 fired transitions, 2280 secs || 96832075 markings, 158049214 edges, 42582 markings/sec, 2280 secs
lola: STP completed || 3196 tries, 3195510811 fired transitions, 2285 secs || 97044223 markings, 158395154 edges, 42430 markings/sec, 2285 secs
lola: STP completed || 3203 tries, 3202486656 fired transitions, 2290 secs || 97256560 markings, 158741904 edges, 42467 markings/sec, 2290 secs
lola: STP completed || 3210 tries, 3209482967 fired transitions, 2295 secs || 97468562 markings, 159088266 edges, 42400 markings/sec, 2295 secs
lola: STP completed || 3217 tries, 3216506029 fired transitions, 2300 secs || 97680516 markings, 159433801 edges, 42391 markings/sec, 2300 secs
lola: STP completed || 3224 tries, 3223525351 fired transitions, 2305 secs || 97891812 markings, 159778769 edges, 42259 markings/sec, 2305 secs
lola: STP completed || 3231 tries, 3230559055 fired transitions, 2310 secs || 98103510 markings, 160124638 edges, 42340 markings/sec, 2310 secs
lola: STP completed || 3238 tries, 3237579365 fired transitions, 2315 secs || 98315424 markings, 160470216 edges, 42383 markings/sec, 2315 secs
lola: STP completed || 3245 tries, 3244529430 fired transitions, 2320 secs || 98527565 markings, 160816487 edges, 42428 markings/sec, 2320 secs
lola: STP completed || 3252 tries, 3251482740 fired transitions, 2325 secs || 98740862 markings, 161164621 edges, 42659 markings/sec, 2325 secs
lola: STP completed || 3259 tries, 3258437791 fired transitions, 2330 secs || 98954433 markings, 161513485 edges, 42714 markings/sec, 2330 secs
lola: STP completed || 3266 tries, 3265466725 fired transitions, 2335 secs || 99167064 markings, 161860256 edges, 42526 markings/sec, 2335 secs
lola: STP completed || 3273 tries, 3272490879 fired transitions, 2340 secs || 99379749 markings, 162207307 edges, 42537 markings/sec, 2340 secs
lola: STP completed || 3280 tries, 3279465045 fired transitions, 2345 secs || 99590646 markings, 162551510 edges, 42179 markings/sec, 2345 secs
lola: STP completed || 3287 tries, 3286486556 fired transitions, 2350 secs || 99802946 markings, 162897959 edges, 42460 markings/sec, 2350 secs
lola: STP completed || 3294 tries, 3293539034 fired transitions, 2355 secs || 100016149 markings, 163245990 edges, 42641 markings/sec, 2355 secs
lola: STP completed || 3301 tries, 3300573727 fired transitions, 2360 secs || 100227934 markings, 163591656 edges, 42357 markings/sec, 2360 secs
lola: STP completed || 3308 tries, 3307608619 fired transitions, 2365 secs || 100439156 markings, 163936472 edges, 42244 markings/sec, 2365 secs
lola: STP completed || 3315 tries, 3314643060 fired transitions, 2370 secs || 100650996 markings, 164282338 edges, 42368 markings/sec, 2370 secs
lola: STP completed || 3322 tries, 3321650951 fired transitions, 2375 secs || 100862520 markings, 164627464 edges, 42305 markings/sec, 2375 secs
lola: STP completed || 3329 tries, 3328573176 fired transitions, 2380 secs || 101074053 markings, 164972597 edges, 42307 markings/sec, 2380 secs
lola: STP completed || 3336 tries, 3335581577 fired transitions, 2385 secs || 101286192 markings, 165318875 edges, 42428 markings/sec, 2385 secs
lola: STP completed || 3343 tries, 3342617732 fired transitions, 2390 secs || 101498282 markings, 165665061 edges, 42418 markings/sec, 2390 secs
lola: STP completed || 3350 tries, 3349647064 fired transitions, 2395 secs || 101709692 markings, 166010195 edges, 42282 markings/sec, 2395 secs
lola: STP completed || 3357 tries, 3356665792 fired transitions, 2400 secs || 101921206 markings, 166355241 edges, 42303 markings/sec, 2400 secs
lola: STP completed || 3364 tries, 3363444281 fired transitions, 2405 secs || 102124918 markings, 166687800 edges, 40742 markings/sec, 2405 secs
lola: STP completed || 3371 tries, 3370126137 fired transitions, 2410 secs || 102325169 markings, 167014691 edges, 40050 markings/sec, 2410 secs
lola: STP completed || 3377 tries, 3376796791 fired transitions, 2415 secs || 102524816 markings, 167340034 edges, 39929 markings/sec, 2415 secs
lola: STP completed || 3384 tries, 3383731826 fired transitions, 2420 secs || 102732401 markings, 167679438 edges, 41517 markings/sec, 2420 secs
lola: STP completed || 3391 tries, 3390757946 fired transitions, 2425 secs || 102943440 markings, 168024059 edges, 42208 markings/sec, 2425 secs
lola: STP completed || 3398 tries, 3397772110 fired transitions, 2430 secs || 103154178 markings, 168367627 edges, 42148 markings/sec, 2430 secs
lola: STP completed || 3405 tries, 3404531856 fired transitions, 2435 secs || 103355646 markings, 168696529 edges, 40294 markings/sec, 2435 secs
lola: STP completed || 3412 tries, 3411213143 fired transitions, 2440 secs || 103553220 markings, 169019036 edges, 39515 markings/sec, 2440 secs
lola: STP completed || 3418 tries, 3417658969 fired transitions, 2445 secs || 103757951 markings, 169352892 edges, 40946 markings/sec, 2445 secs
lola: STP completed || 3425 tries, 3424633677 fired transitions, 2450 secs || 103966709 markings, 169694209 edges, 41752 markings/sec, 2450 secs
lola: STP completed || 3432 tries, 3431686850 fired transitions, 2455 secs || 104180194 markings, 170042602 edges, 42697 markings/sec, 2455 secs
lola: STP completed || 3439 tries, 3438731317 fired transitions, 2460 secs || 104392197 markings, 170388737 edges, 42401 markings/sec, 2460 secs
lola: STP completed || 3446 tries, 3445780335 fired transitions, 2465 secs || 104604568 markings, 170735223 edges, 42474 markings/sec, 2465 secs
lola: STP completed || 3453 tries, 3452829093 fired transitions, 2470 secs || 104816314 markings, 171080795 edges, 42349 markings/sec, 2470 secs
lola: STP completed || 3460 tries, 3459346727 fired transitions, 2475 secs || 105023270 markings, 171418424 edges, 41391 markings/sec, 2475 secs
lola: STP completed || 3467 tries, 3466402717 fired transitions, 2480 secs || 105234415 markings, 171763470 edges, 42229 markings/sec, 2480 secs
lola: STP completed || 3474 tries, 3473483784 fired transitions, 2485 secs || 105442704 markings, 172103449 edges, 41658 markings/sec, 2485 secs
lola: STP completed || 3481 tries, 3480539675 fired transitions, 2490 secs || 105652995 markings, 172446569 edges, 42058 markings/sec, 2490 secs
lola: STP completed || 3488 tries, 3487592003 fired transitions, 2495 secs || 105864971 markings, 172792654 edges, 42395 markings/sec, 2495 secs
lola: STP completed || 3495 tries, 3494640106 fired transitions, 2500 secs || 106076362 markings, 173137226 edges, 42278 markings/sec, 2500 secs
lola: STP completed || 3502 tries, 3501700922 fired transitions, 2505 secs || 106284481 markings, 173476933 edges, 41624 markings/sec, 2505 secs
lola: STP completed || 3509 tries, 3508748589 fired transitions, 2510 secs || 106494618 markings, 173820459 edges, 42027 markings/sec, 2510 secs
lola: STP completed || 3516 tries, 3515783734 fired transitions, 2515 secs || 106699325 markings, 174154150 edges, 40941 markings/sec, 2515 secs
lola: STP completed || 3523 tries, 3522845142 fired transitions, 2520 secs || 106907761 markings, 174494577 edges, 41687 markings/sec, 2520 secs
lola: STP completed || 3530 tries, 3529886182 fired transitions, 2525 secs || 107119285 markings, 174839797 edges, 42305 markings/sec, 2525 secs
lola: STP completed || 3537 tries, 3536950979 fired transitions, 2530 secs || 107327591 markings, 175179562 edges, 41661 markings/sec, 2530 secs
lola: STP completed || 3545 tries, 3544033782 fired transitions, 2535 secs || 107534318 markings, 175516742 edges, 41345 markings/sec, 2535 secs
lola: STP completed || 3552 tries, 3551116557 fired transitions, 2540 secs || 107741418 markings, 175855302 edges, 41420 markings/sec, 2540 secs
lola: STP completed || 3559 tries, 3558179101 fired transitions, 2545 secs || 107948327 markings, 176192888 edges, 41382 markings/sec, 2545 secs
lola: STP completed || 3566 tries, 3565251272 fired transitions, 2550 secs || 108154856 markings, 176529757 edges, 41306 markings/sec, 2550 secs
lola: STP completed || 3573 tries, 3572324565 fired transitions, 2555 secs || 108361486 markings, 176867141 edges, 41326 markings/sec, 2555 secs
lola: STP completed || 3580 tries, 3579401119 fired transitions, 2560 secs || 108567869 markings, 177204003 edges, 41277 markings/sec, 2560 secs
lola: STP completed || 3587 tries, 3586468040 fired transitions, 2565 secs || 108774343 markings, 177540868 edges, 41295 markings/sec, 2565 secs
lola: STP completed || 3594 tries, 3593537711 fired transitions, 2570 secs || 108981288 markings, 177878460 edges, 41389 markings/sec, 2570 secs
lola: STP completed || 3601 tries, 3600613605 fired transitions, 2575 secs || 109189761 markings, 178219212 edges, 41695 markings/sec, 2575 secs
lola: STP completed || 3608 tries, 3607688040 fired transitions, 2580 secs || 109397140 markings, 178557888 edges, 41476 markings/sec, 2580 secs
lola: STP completed || 3615 tries, 3614762457 fired transitions, 2585 secs || 109604441 markings, 178895788 edges, 41460 markings/sec, 2585 secs
lola: STP completed || 3622 tries, 3621827307 fired transitions, 2590 secs || 109811671 markings, 179234085 edges, 41446 markings/sec, 2590 secs
lola: STP completed || 3629 tries, 3628905567 fired transitions, 2595 secs || 110017954 markings, 179570929 edges, 41257 markings/sec, 2595 secs
lola: STP completed || 3636 tries, 3635971943 fired transitions, 2600 secs || 110224852 markings, 179908296 edges, 41380 markings/sec, 2600 secs
lola: STP completed || 3644 tries, 3643045646 fired transitions, 2605 secs || 110431471 markings, 180245494 edges, 41324 markings/sec, 2605 secs
lola: STP completed || 3651 tries, 3650117369 fired transitions, 2610 secs || 110637266 markings, 180581574 edges, 41159 markings/sec, 2610 secs
lola: STP completed || 3658 tries, 3657185056 fired transitions, 2615 secs || 110842632 markings, 180916951 edges, 41073 markings/sec, 2615 secs
lola: STP completed || 3665 tries, 3664209391 fired transitions, 2620 secs || 111051666 markings, 181258134 edges, 41807 markings/sec, 2620 secs
lola: STP completed || 3672 tries, 3671235857 fired transitions, 2625 secs || 111253686 markings, 181587773 edges, 40404 markings/sec, 2625 secs
lola: STP completed || 3679 tries, 3678296537 fired transitions, 2630 secs || 111464550 markings, 181931644 edges, 42173 markings/sec, 2630 secs
lola: STP completed || 3686 tries, 3685348610 fired transitions, 2635 secs || 111676301 markings, 182277496 edges, 42350 markings/sec, 2635 secs
lola: STP completed || 3693 tries, 3692391453 fired transitions, 2640 secs || 111888522 markings, 182623617 edges, 42444 markings/sec, 2640 secs
lola: STP completed || 3700 tries, 3699454350 fired transitions, 2645 secs || 112091093 markings, 182954515 edges, 40514 markings/sec, 2645 secs
lola: STP completed || 3707 tries, 3706503373 fired transitions, 2650 secs || 112302525 markings, 183299688 edges, 42286 markings/sec, 2650 secs
lola: STP completed || 3714 tries, 3713560193 fired transitions, 2655 secs || 112513919 markings, 183644321 edges, 42279 markings/sec, 2655 secs
lola: STP completed || 3721 tries, 3720608503 fired transitions, 2660 secs || 112725199 markings, 183989277 edges, 42256 markings/sec, 2660 secs
lola: STP completed || 3728 tries, 3727669180 fired transitions, 2665 secs || 112936821 markings, 184334818 edges, 42324 markings/sec, 2665 secs
lola: STP completed || 3735 tries, 3734713417 fired transitions, 2670 secs || 113147698 markings, 184678884 edges, 42175 markings/sec, 2670 secs
lola: STP completed || 3742 tries, 3741766508 fired transitions, 2675 secs || 113358146 markings, 185022442 edges, 42090 markings/sec, 2675 secs
lola: STP completed || 3749 tries, 3748782557 fired transitions, 2680 secs || 113568882 markings, 185366495 edges, 42147 markings/sec, 2680 secs
lola: STP completed || 3756 tries, 3755809001 fired transitions, 2685 secs || 113778996 markings, 185709468 edges, 42023 markings/sec, 2685 secs
lola: STP completed || 3763 tries, 3762839909 fired transitions, 2690 secs || 113989279 markings, 186052661 edges, 42057 markings/sec, 2690 secs
lola: STP completed || 3770 tries, 3769862311 fired transitions, 2695 secs || 114201308 markings, 186398895 edges, 42406 markings/sec, 2695 secs
lola: STP completed || 3777 tries, 3776884393 fired transitions, 2700 secs || 114414686 markings, 186747020 edges, 42676 markings/sec, 2700 secs
lola: STP completed || 3784 tries, 3783917535 fired transitions, 2705 secs || 114627082 markings, 187093577 edges, 42479 markings/sec, 2705 secs
lola: STP completed || 3791 tries, 3790935672 fired transitions, 2710 secs || 114839864 markings, 187441024 edges, 42556 markings/sec, 2710 secs
lola: STP completed || 3798 tries, 3797964652 fired transitions, 2715 secs || 115051970 markings, 187787106 edges, 42421 markings/sec, 2715 secs
lola: STP completed || 3805 tries, 3804906926 fired transitions, 2720 secs || 115262032 markings, 188129810 edges, 42012 markings/sec, 2720 secs
lola: STP completed || 3812 tries, 3811921516 fired transitions, 2725 secs || 115474261 markings, 188476407 edges, 42446 markings/sec, 2725 secs
lola: STP completed || 3819 tries, 3818944480 fired transitions, 2730 secs || 115685441 markings, 188821115 edges, 42236 markings/sec, 2730 secs
lola: STP completed || 3826 tries, 3825961988 fired transitions, 2735 secs || 115896442 markings, 189165281 edges, 42200 markings/sec, 2735 secs
lola: STP completed || 3833 tries, 3832987311 fired transitions, 2740 secs || 116107572 markings, 189510084 edges, 42226 markings/sec, 2740 secs
lola: STP completed || 3841 tries, 3840022278 fired transitions, 2745 secs || 116318666 markings, 189854498 edges, 42219 markings/sec, 2745 secs
lola: STP completed || 3848 tries, 3847032856 fired transitions, 2750 secs || 116529521 markings, 190198657 edges, 42171 markings/sec, 2750 secs
lola: STP completed || 3855 tries, 3854041002 fired transitions, 2755 secs || 116740684 markings, 190543399 edges, 42233 markings/sec, 2755 secs
lola: STP completed || 3862 tries, 3861052274 fired transitions, 2760 secs || 116953743 markings, 190891126 edges, 42612 markings/sec, 2760 secs
lola: STP completed || 3869 tries, 3868078827 fired transitions, 2765 secs || 117166076 markings, 191237843 edges, 42467 markings/sec, 2765 secs
lola: STP completed || 3876 tries, 3875099289 fired transitions, 2770 secs || 117378591 markings, 191584528 edges, 42503 markings/sec, 2770 secs
lola: STP completed || 3883 tries, 3882121803 fired transitions, 2775 secs || 117590984 markings, 191931283 edges, 42479 markings/sec, 2775 secs
lola: STP completed || 3890 tries, 3889146445 fired transitions, 2780 secs || 117803066 markings, 192277481 edges, 42416 markings/sec, 2780 secs
lola: STP completed || 3897 tries, 3896176203 fired transitions, 2785 secs || 118015426 markings, 192623656 edges, 42472 markings/sec, 2785 secs
lola: STP completed || 3904 tries, 3903195338 fired transitions, 2790 secs || 118227132 markings, 192969842 edges, 42341 markings/sec, 2790 secs
lola: STP completed || 3911 tries, 3910228644 fired transitions, 2795 secs || 118438801 markings, 193315062 edges, 42334 markings/sec, 2795 secs
lola: STP completed || 3918 tries, 3917301548 fired transitions, 2800 secs || 118638269 markings, 193640316 edges, 39894 markings/sec, 2800 secs
lola: STP completed || 3925 tries, 3924378186 fired transitions, 2805 secs || 118837575 markings, 193966041 edges, 39861 markings/sec, 2805 secs
lola: STP completed || 3932 tries, 3931460923 fired transitions, 2810 secs || 119036342 markings, 194290275 edges, 39753 markings/sec, 2810 secs
lola: STP completed || 3939 tries, 3938523537 fired transitions, 2815 secs || 119235692 markings, 194615494 edges, 39870 markings/sec, 2815 secs
lola: STP completed || 3946 tries, 3945592727 fired transitions, 2820 secs || 119436768 markings, 194943932 edges, 40215 markings/sec, 2820 secs
lola: STP completed || 3953 tries, 3952651992 fired transitions, 2825 secs || 119639853 markings, 195275680 edges, 40617 markings/sec, 2825 secs
lola: STP completed || 3960 tries, 3959723374 fired transitions, 2830 secs || 119843344 markings, 195607470 edges, 40698 markings/sec, 2830 secs
lola: STP completed || 3967 tries, 3966660846 fired transitions, 2835 secs || 120047527 markings, 195940786 edges, 40837 markings/sec, 2835 secs
lola: STP completed || 3974 tries, 3973406466 fired transitions, 2840 secs || 120250281 markings, 196271385 edges, 40551 markings/sec, 2840 secs
lola: STP completed || 3981 tries, 3980107996 fired transitions, 2845 secs || 120451000 markings, 196599203 edges, 40144 markings/sec, 2845 secs
lola: STP completed || 3987 tries, 3986792941 fired transitions, 2850 secs || 120651857 markings, 196927062 edges, 40171 markings/sec, 2850 secs
lola: STP completed || 3994 tries, 3993462764 fired transitions, 2855 secs || 120851428 markings, 197252581 edges, 39914 markings/sec, 2855 secs
lola: STP completed || 4001 tries, 4000123800 fired transitions, 2860 secs || 121050289 markings, 197577331 edges, 39772 markings/sec, 2860 secs
lola: STP completed || 4007 tries, 4006793674 fired transitions, 2865 secs || 121249052 markings, 197901820 edges, 39753 markings/sec, 2865 secs
lola: STP completed || 4014 tries, 4013459056 fired transitions, 2870 secs || 121447417 markings, 198225768 edges, 39673 markings/sec, 2870 secs
lola: STP completed || 4021 tries, 4020121390 fired transitions, 2875 secs || 121646070 markings, 198549510 edges, 39731 markings/sec, 2875 secs
lola: STP completed || 4027 tries, 4026786537 fired transitions, 2880 secs || 121844380 markings, 198873144 edges, 39662 markings/sec, 2880 secs
lola: STP completed || 4034 tries, 4033449247 fired transitions, 2885 secs || 122044586 markings, 199199969 edges, 40041 markings/sec, 2885 secs
lola: STP completed || 4041 tries, 4040110200 fired transitions, 2890 secs || 122244790 markings, 199527048 edges, 40041 markings/sec, 2890 secs
lola: STP completed || 4047 tries, 4046784678 fired transitions, 2895 secs || 122444355 markings, 199852571 edges, 39913 markings/sec, 2895 secs
lola: STP completed || 4054 tries, 4053454247 fired transitions, 2900 secs || 122644286 markings, 200178928 edges, 39986 markings/sec, 2900 secs
lola: STP completed || 4061 tries, 4060118322 fired transitions, 2905 secs || 122843757 markings, 200504125 edges, 39894 markings/sec, 2905 secs
lola: STP completed || 4067 tries, 4066774628 fired transitions, 2910 secs || 123043075 markings, 200829602 edges, 39864 markings/sec, 2910 secs
lola: STP completed || 4074 tries, 4073437938 fired transitions, 2915 secs || 123242451 markings, 201155307 edges, 39875 markings/sec, 2915 secs
lola: STP completed || 4081 tries, 4080100167 fired transitions, 2920 secs || 123441458 markings, 201479847 edges, 39801 markings/sec, 2920 secs
lola: STP completed || 4087 tries, 4086764896 fired transitions, 2925 secs || 123640030 markings, 201804012 edges, 39714 markings/sec, 2925 secs
lola: STP completed || 4094 tries, 4093427028 fired transitions, 2930 secs || 123838420 markings, 202128014 edges, 39678 markings/sec, 2930 secs
lola: STP completed || 4101 tries, 4100098487 fired transitions, 2935 secs || 124036885 markings, 202452079 edges, 39693 markings/sec, 2935 secs
lola: STP completed || 4107 tries, 4106773426 fired transitions, 2940 secs || 124236153 markings, 202777108 edges, 39854 markings/sec, 2940 secs
lola: STP completed || 4114 tries, 4113452136 fired transitions, 2945 secs || 124435084 markings, 203101750 edges, 39786 markings/sec, 2945 secs
lola: STP completed || 4120 tries, 4119942141 fired transitions, 2950 secs || 124640134 markings, 203436908 edges, 41010 markings/sec, 2950 secs
lola: STP completed || 4128 tries, 4127012641 fired transitions, 2955 secs || 124846963 markings, 203774438 edges, 41366 markings/sec, 2955 secs
lola: STP completed || 4135 tries, 4134092719 fired transitions, 2960 secs || 125053316 markings, 204111050 edges, 41271 markings/sec, 2960 secs
lola: STP completed || 4142 tries, 4141155048 fired transitions, 2965 secs || 125258896 markings, 204446447 edges, 41116 markings/sec, 2965 secs
lola: STP completed || 4149 tries, 4148227983 fired transitions, 2970 secs || 125464233 markings, 204781635 edges, 41067 markings/sec, 2970 secs
lola: STP completed || 4156 tries, 4155298355 fired transitions, 2975 secs || 125669320 markings, 205116172 edges, 41017 markings/sec, 2975 secs
lola: STP completed || 4163 tries, 4162372402 fired transitions, 2980 secs || 125874204 markings, 205450826 edges, 40977 markings/sec, 2980 secs
lola: STP completed || 4170 tries, 4169434194 fired transitions, 2985 secs || 126078187 markings, 205783514 edges, 40797 markings/sec, 2985 secs
lola: STP completed || 4177 tries, 4176504853 fired transitions, 2990 secs || 126281577 markings, 206115695 edges, 40678 markings/sec, 2990 secs
lola: STP completed || 4184 tries, 4183583309 fired transitions, 2995 secs || 126485603 markings, 206448705 edges, 40805 markings/sec, 2995 secs
lola: STP completed || 4191 tries, 4190660157 fired transitions, 3000 secs || 126689091 markings, 206780980 edges, 40698 markings/sec, 3000 secs
lola: STP completed || 4198 tries, 4197736016 fired transitions, 3005 secs || 126893165 markings, 207114113 edges, 40815 markings/sec, 3005 secs
lola: STP completed || 4205 tries, 4204815862 fired transitions, 3010 secs || 127098386 markings, 207449080 edges, 41044 markings/sec, 3010 secs
lola: STP completed || 4212 tries, 4211481047 fired transitions, 3015 secs || 127298097 markings, 207775021 edges, 39942 markings/sec, 3015 secs
lola: STP completed || 4219 tries, 4218143750 fired transitions, 3020 secs || 127497017 markings, 208099945 edges, 39784 markings/sec, 3020 secs
lola: STP completed || 4225 tries, 4224804987 fired transitions, 3025 secs || 127696193 markings, 208424449 edges, 39835 markings/sec, 3025 secs
lola: STP completed || 4232 tries, 4231452005 fired transitions, 3030 secs || 127894601 markings, 208748505 edges, 39682 markings/sec, 3030 secs
lola: STP completed || 4239 tries, 4238118532 fired transitions, 3035 secs || 128092801 markings, 209071739 edges, 39640 markings/sec, 3035 secs
lola: STP completed || 4245 tries, 4244782376 fired transitions, 3040 secs || 128291240 markings, 209395495 edges, 39688 markings/sec, 3040 secs
lola: STP completed || 4252 tries, 4251141516 fired transitions, 3045 secs || 128495853 markings, 209729634 edges, 40923 markings/sec, 3045 secs
lola: STP completed || 4258 tries, 4257566993 fired transitions, 3050 secs || 128694796 markings, 210054392 edges, 39789 markings/sec, 3050 secs
lola: STP completed || 4265 tries, 4264517887 fired transitions, 3055 secs || 128902149 markings, 210392818 edges, 41471 markings/sec, 3055 secs
lola: STP completed || 4272 tries, 4271424759 fired transitions, 3060 secs || 129109159 markings, 210731087 edges, 41402 markings/sec, 3060 secs
lola: STP completed || 4279 tries, 4278440480 fired transitions, 3065 secs || 129320022 markings, 211074795 edges, 42173 markings/sec, 3065 secs
lola: STP completed || 4286 tries, 4285448561 fired transitions, 3070 secs || 129531386 markings, 211419840 edges, 42273 markings/sec, 3070 secs
lola: STP completed || 4293 tries, 4292257645 fired transitions, 3075 secs || 129737548 markings, 211756659 edges, 41232 markings/sec, 3075 secs
lola: STP completed || 4300 tries, 4299121150 fired transitions, 3080 secs || 129946004 markings, 212096678 edges, 41691 markings/sec, 3080 secs
lola: STP completed || 4306 tries, 4305941109 fired transitions, 3085 secs || 130152377 markings, 212433770 edges, 41275 markings/sec, 3085 secs
lola: STP completed || 4313 tries, 4312834668 fired transitions, 3090 secs || 130361106 markings, 212774400 edges, 41746 markings/sec, 3090 secs
lola: STP completed || 4320 tries, 4319859149 fired transitions, 3095 secs || 130573603 markings, 213120930 edges, 42499 markings/sec, 3095 secs
lola: STP completed || 4327 tries, 4326868503 fired transitions, 3100 secs || 130786427 markings, 213468348 edges, 42565 markings/sec, 3100 secs
lola: STP completed || 4334 tries, 4333904430 fired transitions, 3105 secs || 130998741 markings, 213814902 edges, 42463 markings/sec, 3105 secs
lola: STP completed || 4341 tries, 4340904797 fired transitions, 3110 secs || 131209712 markings, 214159309 edges, 42194 markings/sec, 3110 secs
lola: STP completed || 4348 tries, 4347932218 fired transitions, 3115 secs || 131420107 markings, 214502616 edges, 42079 markings/sec, 3115 secs
lola: STP completed || 4355 tries, 4354986716 fired transitions, 3120 secs || 131630545 markings, 214846170 edges, 42088 markings/sec, 3120 secs
lola: STP completed || 4363 tries, 4362034604 fired transitions, 3125 secs || 131841208 markings, 215189916 edges, 42133 markings/sec, 3125 secs
lola: STP completed || 4370 tries, 4369093000 fired transitions, 3130 secs || 132051977 markings, 215534113 edges, 42154 markings/sec, 3130 secs
lola: STP completed || 4377 tries, 4376155892 fired transitions, 3135 secs || 132263461 markings, 215879070 edges, 42297 markings/sec, 3135 secs
lola: STP completed || 4384 tries, 4383217732 fired transitions, 3140 secs || 132475496 markings, 216225210 edges, 42407 markings/sec, 3140 secs
lola: STP completed || 4391 tries, 4390303172 fired transitions, 3145 secs || 132686641 markings, 216569811 edges, 42229 markings/sec, 3145 secs
lola: STP completed || 4398 tries, 4397360651 fired transitions, 3150 secs || 132898508 markings, 216915597 edges, 42373 markings/sec, 3150 secs
lola: STP completed || 4405 tries, 4404418552 fired transitions, 3155 secs || 133109802 markings, 217260328 edges, 42259 markings/sec, 3155 secs
lola: STP completed || 4412 tries, 4411477573 fired transitions, 3160 secs || 133320377 markings, 217604001 edges, 42115 markings/sec, 3160 secs
lola: STP completed || 4419 tries, 4418552402 fired transitions, 3165 secs || 133530190 markings, 217946797 edges, 41963 markings/sec, 3165 secs
lola: STP completed || 4426 tries, 4425631191 fired transitions, 3170 secs || 133738674 markings, 218286797 edges, 41697 markings/sec, 3170 secs
lola: STP completed || 4433 tries, 4432708862 fired transitions, 3175 secs || 133946311 markings, 218625955 edges, 41527 markings/sec, 3175 secs
lola: STP completed || 4440 tries, 4439774512 fired transitions, 3180 secs || 134155811 markings, 218967949 edges, 41900 markings/sec, 3180 secs
lola: STP completed || 4447 tries, 4446839672 fired transitions, 3185 secs || 134366511 markings, 219311707 edges, 42140 markings/sec, 3185 secs
lola: STP completed || 4454 tries, 4453909021 fired transitions, 3190 secs || 134576824 markings, 219655025 edges, 42063 markings/sec, 3190 secs
lola: STP completed || 4461 tries, 4460960389 fired transitions, 3195 secs || 134788056 markings, 219999247 edges, 42246 markings/sec, 3195 secs
lola: STP completed || 4469 tries, 4468032617 fired transitions, 3200 secs || 135000996 markings, 220347577 edges, 42588 markings/sec, 3200 secs
lola: STP completed || 4476 tries, 4475086448 fired transitions, 3205 secs || 135213343 markings, 220694205 edges, 42469 markings/sec, 3205 secs
lola: STP completed || 4483 tries, 4482153424 fired transitions, 3210 secs || 135426028 markings, 221040839 edges, 42537 markings/sec, 3210 secs
lola: STP completed || 4490 tries, 4489218311 fired transitions, 3215 secs || 135636877 markings, 221385143 edges, 42170 markings/sec, 3215 secs
lola: STP completed || 4497 tries, 4496297985 fired transitions, 3220 secs || 135846246 markings, 221727077 edges, 41874 markings/sec, 3220 secs
lola: STP completed || 4504 tries, 4503374744 fired transitions, 3225 secs || 136056370 markings, 222069564 edges, 42025 markings/sec, 3225 secs
lola: STP completed || 4511 tries, 4510279440 fired transitions, 3230 secs || 136262190 markings, 222405928 edges, 41164 markings/sec, 3230 secs
lola: STP completed || 4517 tries, 4516984937 fired transitions, 3235 secs || 136462807 markings, 222733375 edges, 40123 markings/sec, 3235 secs
lola: STP completed || 4524 tries, 4523869583 fired transitions, 3240 secs || 136669484 markings, 223070535 edges, 41335 markings/sec, 3240 secs
lola: STP completed || 4531 tries, 4530894136 fired transitions, 3245 secs || 136880478 markings, 223414840 edges, 42199 markings/sec, 3245 secs
lola: STP completed || 4538 tries, 4537905722 fired transitions, 3250 secs || 137090833 markings, 223758271 edges, 42071 markings/sec, 3250 secs
lola: STP completed || 4545 tries, 4544927674 fired transitions, 3255 secs || 137301987 markings, 224102664 edges, 42231 markings/sec, 3255 secs
lola: STP completed || 4552 tries, 4551952559 fired transitions, 3260 secs || 137514462 markings, 224449615 edges, 42495 markings/sec, 3260 secs
lola: STP completed || 4559 tries, 4558976395 fired transitions, 3265 secs || 137727302 markings, 224797173 edges, 42568 markings/sec, 3265 secs
lola: STP completed || 4567 tries, 4566000640 fired transitions, 3270 secs || 137939509 markings, 225143760 edges, 42441 markings/sec, 3270 secs
lola: STP completed || 4574 tries, 4573025863 fired transitions, 3275 secs || 138152098 markings, 225490315 edges, 42518 markings/sec, 3275 secs
lola: STP completed || 4581 tries, 4580045689 fired transitions, 3280 secs || 138363670 markings, 225835836 edges, 42314 markings/sec, 3280 secs
lola: STP completed || 4588 tries, 4587082694 fired transitions, 3285 secs || 138575868 markings, 226181782 edges, 42440 markings/sec, 3285 secs
lola: STP completed || 4595 tries, 4594107328 fired transitions, 3290 secs || 138787555 markings, 226527769 edges, 42337 markings/sec, 3290 secs
lola: STP completed || 4602 tries, 4601134357 fired transitions, 3295 secs || 138998734 markings, 226872407 edges, 42236 markings/sec, 3295 secs
lola: STP completed || 4609 tries, 4608163622 fired transitions, 3300 secs || 139209946 markings, 227216965 edges, 42242 markings/sec, 3300 secs
lola: STP completed || 4616 tries, 4615201924 fired transitions, 3305 secs || 139421599 markings, 227562432 edges, 42331 markings/sec, 3305 secs
lola: STP completed || 4623 tries, 4622241256 fired transitions, 3310 secs || 139632648 markings, 227907100 edges, 42210 markings/sec, 3310 secs
lola: STP completed || 4630 tries, 4629254927 fired transitions, 3315 secs || 139844659 markings, 228252724 edges, 42402 markings/sec, 3315 secs
lola: STP completed || 4637 tries, 4636286571 fired transitions, 3320 secs || 140057561 markings, 228600667 edges, 42580 markings/sec, 3320 secs
lola: STP completed || 4644 tries, 4643308724 fired transitions, 3325 secs || 140270676 markings, 228948093 edges, 42623 markings/sec, 3325 secs
lola: STP completed || 4651 tries, 4650325547 fired transitions, 3330 secs || 140482977 markings, 229295009 edges, 42460 markings/sec, 3330 secs
lola: STP completed || 4658 tries, 4657347831 fired transitions, 3335 secs || 140695565 markings, 229641820 edges, 42518 markings/sec, 3335 secs
lola: STP completed || 4665 tries, 4664371508 fired transitions, 3340 secs || 140907123 markings, 229987033 edges, 42312 markings/sec, 3340 secs
lola: STP completed || 4672 tries, 4671408992 fired transitions, 3345 secs || 141119161 markings, 230333102 edges, 42408 markings/sec, 3345 secs
lola: STP completed || 4679 tries, 4678438843 fired transitions, 3350 secs || 141330962 markings, 230678990 edges, 42360 markings/sec, 3350 secs
lola: STP completed || 4686 tries, 4685465973 fired transitions, 3355 secs || 141541589 markings, 231022544 edges, 42125 markings/sec, 3355 secs
lola: STP completed || 4693 tries, 4692491358 fired transitions, 3360 secs || 141752034 markings, 231366172 edges, 42089 markings/sec, 3360 secs
lola: STP completed || 4700 tries, 4699524768 fired transitions, 3365 secs || 141962992 markings, 231710349 edges, 42192 markings/sec, 3365 secs
lola: STP completed || 4707 tries, 4706538759 fired transitions, 3370 secs || 142173454 markings, 232053857 edges, 42092 markings/sec, 3370 secs
lola: STP completed || 4714 tries, 4713572223 fired transitions, 3375 secs || 142384302 markings, 232398013 edges, 42170 markings/sec, 3375 secs
lola: STP completed || 4721 tries, 4720610534 fired transitions, 3380 secs || 142596155 markings, 232743852 edges, 42371 markings/sec, 3380 secs
lola: STP completed || 4728 tries, 4727638554 fired transitions, 3385 secs || 142808485 markings, 233090303 edges, 42466 markings/sec, 3385 secs
lola: STP completed || 4735 tries, 4734658018 fired transitions, 3390 secs || 143019852 markings, 233435619 edges, 42273 markings/sec, 3390 secs
lola: STP completed || 4742 tries, 4741681437 fired transitions, 3395 secs || 143232064 markings, 233781830 edges, 42442 markings/sec, 3395 secs
lola: STP completed || 4749 tries, 4748711354 fired transitions, 3400 secs || 143443645 markings, 234126950 edges, 42316 markings/sec, 3400 secs
lola: STP completed || 4756 tries, 4755759573 fired transitions, 3405 secs || 143654932 markings, 234471570 edges, 42257 markings/sec, 3405 secs
lola: STP completed || 4763 tries, 4762788733 fired transitions, 3410 secs || 143866248 markings, 234816836 edges, 42263 markings/sec, 3410 secs
lola: STP completed || 4770 tries, 4769820386 fired transitions, 3415 secs || 144077087 markings, 235160766 edges, 42168 markings/sec, 3415 secs
lola: STP completed || 4777 tries, 4776858640 fired transitions, 3420 secs || 144287295 markings, 235503930 edges, 42042 markings/sec, 3420 secs
lola: STP completed || 4784 tries, 4783883574 fired transitions, 3425 secs || 144497965 markings, 235847776 edges, 42134 markings/sec, 3425 secs
lola: STP completed || 4791 tries, 4790905528 fired transitions, 3430 secs || 144708389 markings, 236191187 edges, 42085 markings/sec, 3430 secs
lola: STP completed || 4798 tries, 4797924331 fired transitions, 3435 secs || 144918726 markings, 236534658 edges, 42067 markings/sec, 3435 secs
lola: STP completed || 4805 tries, 4804950123 fired transitions, 3440 secs || 145129774 markings, 236879310 edges, 42210 markings/sec, 3440 secs
lola: STP completed || 4812 tries, 4811981979 fired transitions, 3445 secs || 145341657 markings, 237225037 edges, 42377 markings/sec, 3445 secs
lola: STP completed || 4820 tries, 4819003457 fired transitions, 3450 secs || 145552999 markings, 237570102 edges, 42268 markings/sec, 3450 secs
lola: STP completed || 4827 tries, 4826055040 fired transitions, 3455 secs || 145759887 markings, 237907279 edges, 41378 markings/sec, 3455 secs
lola: STP completed || 4834 tries, 4833131306 fired transitions, 3460 secs || 145963228 markings, 238239585 edges, 40668 markings/sec, 3460 secs
lola: STP completed || 4841 tries, 4840159254 fired transitions, 3465 secs || 146174047 markings, 238583443 edges, 42164 markings/sec, 3465 secs
lola: STP completed || 4848 tries, 4847193637 fired transitions, 3470 secs || 146385052 markings, 238927544 edges, 42201 markings/sec, 3470 secs
lola: STP completed || 4855 tries, 4854234948 fired transitions, 3475 secs || 146595350 markings, 239271177 edges, 42060 markings/sec, 3475 secs
lola: STP completed || 4862 tries, 4861267517 fired transitions, 3480 secs || 146805484 markings, 239614101 edges, 42027 markings/sec, 3480 secs
lola: STP completed || 4869 tries, 4868327902 fired transitions, 3485 secs || 147005346 markings, 239940297 edges, 39972 markings/sec, 3485 secs
lola: STP completed || 4876 tries, 4875403338 fired transitions, 3490 secs || 147206928 markings, 240269312 edges, 40316 markings/sec, 3490 secs
lola: STP completed || 4883 tries, 4882459958 fired transitions, 3495 secs || 147409013 markings, 240599264 edges, 40417 markings/sec, 3495 secs
lola: STP completed || 4890 tries, 4889488310 fired transitions, 3500 secs || 147614579 markings, 240934587 edges, 41113 markings/sec, 3500 secs
lola: STP completed || 4897 tries, 4896527271 fired transitions, 3505 secs || 147822088 markings, 241273478 edges, 41502 markings/sec, 3505 secs
lola: STP completed || 4904 tries, 4903595218 fired transitions, 3510 secs || 148027386 markings, 241608560 edges, 41060 markings/sec, 3510 secs
lola: STP completed || 4911 tries, 4910660350 fired transitions, 3515 secs || 148230740 markings, 241940596 edges, 40671 markings/sec, 3515 secs
lola: STP completed || 4918 tries, 4917722272 fired transitions, 3520 secs || 148437891 markings, 242278576 edges, 41430 markings/sec, 3520 secs
lola: STP completed || 4925 tries, 4924784237 fired transitions, 3525 secs || 148643992 markings, 242614896 edges, 41220 markings/sec, 3525 secs
lola: STP completed || 4932 tries, 4931798857 fired transitions, 3530 secs || 148854055 markings, 242957474 edges, 42013 markings/sec, 3530 secs
lola: STP completed || 4939 tries, 4938866447 fired transitions, 3535 secs || 149061675 markings, 243296461 edges, 41524 markings/sec, 3535 secs
lola: STP completed || 4946 tries, 4945928011 fired transitions, 3540 secs || 149267600 markings, 243632691 edges, 41185 markings/sec, 3540 secs
lola: STP completed || 4953 tries, 4952676835 fired transitions, 3545 secs || 149467792 markings, 243959266 edges, 40038 markings/sec, 3545 secs
lola: STP completed || 4960 tries, 4959361438 fired transitions, 3550 secs || 149666139 markings, 244283159 edges, 39669 markings/sec, 3550 secs
lola: STP completed || 4967 tries, 4966033860 fired transitions, 3555 secs || 149863883 markings, 244606012 edges, 39549 markings/sec, 3555 secs
lola: STP completed || 4973 tries, 4972705783 fired transitions, 3560 secs || 150061707 markings, 244928814 edges, 39565 markings/sec, 3560 secs
lola: time limit reached - aborting
lola: caught signal User defined signal 2 - aborting LoLA
lola: memory consumption: 12912320 KB
lola: time consumption: 3571 seconds
BK_STOP 1526842766705
--------------------
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="JoinFreeModules-PT-0100"
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/JoinFreeModules-PT-0100.tgz
mv JoinFreeModules-PT-0100 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 JoinFreeModules-PT-0100, 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 r100-smll-152658630900272"
echo "====================================================================="
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "ReachabilityDeadlock" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "ReachabilityDeadlock" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "ReachabilityDeadlock.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property ReachabilityDeadlock.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "ReachabilityDeadlock.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '
echo "FORMULA_NAME $x"
done
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;