About the Execution of LoLA for SharedMemory-COL-000100
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 4587.630 | 3569847.00 | 7252531.00 | 7184.40 | [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 180K
-rw-r--r-- 1 mcc users 3.7K May 15 18:54 CTLCardinality.txt
-rw-r--r-- 1 mcc users 20K May 15 18:54 CTLCardinality.xml
-rw-r--r-- 1 mcc users 3.0K May 15 18:54 CTLFireability.txt
-rw-r--r-- 1 mcc users 17K May 15 18:54 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K May 15 18:50 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.1K May 15 18:50 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 2.6K May 15 18:54 LTLCardinality.txt
-rw-r--r-- 1 mcc users 11K May 15 18:54 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K May 15 18:54 LTLFireability.txt
-rw-r--r-- 1 mcc users 10K May 15 18:54 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.8K May 15 18:54 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 18K 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 3.2K May 15 18:54 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 15K May 15 18:54 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.8K 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 5 May 15 18:50 equiv_pt
-rw-r--r-- 1 mcc users 7 May 15 18:50 instance
-rw-r--r-- 1 mcc users 5 May 15 18:50 iscolored
-rw-r--r-- 1 mcc users 16K May 15 18:50 model.pnml
=====================================================================
Generated by BenchKit 2-3637
Executing tool lola
Input is SharedMemory-COL-000100, examination is ReachabilityDeadlock
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r172-smll-152708742800034
=====================================================================
--------------------
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 SharedMemory-COL-000100-ReachabilityDeadlock-0
=== Now, execution of the tool begins
BK_START 1527123996555
info: Time: 3600 - MCC
===========================================================================================
prep: translating SharedMemory-COL-000100 Petri net model.pnml into LoLA format
===========================================================================================
prep: translating COL Petri net complete
prep: added safe information to the net based on GenericPropertiesVerdict
prep: check for too many tokens
===========================================================================================
prep: translating SharedMemory-COL-000100 formula ReachabilityDeadlock into LoLA format
===========================================================================================
prep: translating COL formula complete
vrfy: Checking ReachabilityDeadlock @ SharedMemory-COL-000100 @ 3559 seconds
lola: LoLA will run for 3559 seconds at most (--timelimit)
lola: NET
lola: reading net from model.pnml.lola
lola: finished parsing
lola: closed net file model.pnml.lola
lola: 30601/65536 symbol table entries, 11868 collisions
lola: preprocessing...
lola: Size of bit vector: 10401
lola: finding significant places
lola: 10401 places, 20200 transitions, 10200 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 20600 transition conflict sets
lola: TASK
lola: reading formula from SharedMemory-COL-000100-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: 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: STP: formula with 377013 variables and 1436025 clauses shipped to Minisat
lola: STP running || 1 tries, 160 fired transitions, 0 secs
lola: 10281 generators;54012606 candidates remain ( 0%), 0 secs
lola: stp: The siphon/trap property does not hold
lola: STP completed || 1 tries, 238 fired transitions, 5 secs
lola: 10736 generators;53950339 candidates remain ( 0%), 5 secs
lola: STP completed || 1 tries, 387 fired transitions, 10 secs
lola: 11571 generators;53846484 candidates remain ( 0%), 10 secs
lola: STP completed || 1 tries, 1381 fired transitions, 15 secs
lola: 12507 generators;53711622 candidates remain ( 0%), 15 secs
lola: STP completed || 1 tries, 2444 fired transitions, 20 secs
lola: 16101 generators;53483736 candidates remain ( 0%), 20 secs
lola: computed 17004 generators (104 in search tree, 16900 by composition)
lola: representing 9.33262E+157 symmetries
lola: 0 dead branches visited in search tree
lola: STP completed || 1 tries, 3433 fired transitions, 25 secs || 1741 markings, 3452 edges, 348 markings/sec, 25 secs
lola: STP completed || 1 tries, 4796 fired transitions, 30 secs || 5284 markings, 10637 edges, 709 markings/sec, 30 secs
lola: STP completed || 1 tries, 6203 fired transitions, 35 secs || 8889 markings, 17985 edges, 721 markings/sec, 35 secs
lola: STP completed || 1 tries, 7676 fired transitions, 40 secs || 12575 markings, 25408 edges, 737 markings/sec, 40 secs
lola: STP completed || 1 tries, 9162 fired transitions, 45 secs || 15990 markings, 32309 edges, 683 markings/sec, 45 secs
lola: STP completed || 1 tries, 10832 fired transitions, 50 secs || 19359 markings, 39196 edges, 674 markings/sec, 50 secs
lola: STP completed || 1 tries, 12403 fired transitions, 55 secs || 22661 markings, 45831 edges, 660 markings/sec, 55 secs
lola: STP completed || 1 tries, 13985 fired transitions, 60 secs || 26097 markings, 52740 edges, 687 markings/sec, 60 secs
lola: STP completed || 1 tries, 15294 fired transitions, 65 secs || 29473 markings, 59701 edges, 675 markings/sec, 65 secs
lola: STP completed || 1 tries, 16792 fired transitions, 70 secs || 32892 markings, 66929 edges, 684 markings/sec, 70 secs
lola: STP completed || 1 tries, 18356 fired transitions, 75 secs || 36314 markings, 74097 edges, 684 markings/sec, 75 secs
lola: STP completed || 1 tries, 19835 fired transitions, 80 secs || 39804 markings, 81461 edges, 698 markings/sec, 80 secs
lola: STP completed || 1 tries, 21433 fired transitions, 85 secs || 43306 markings, 88790 edges, 700 markings/sec, 85 secs
lola: STP completed || 1 tries, 22879 fired transitions, 90 secs || 46800 markings, 95982 edges, 699 markings/sec, 90 secs
lola: STP completed || 1 tries, 24457 fired transitions, 95 secs || 50161 markings, 102982 edges, 672 markings/sec, 95 secs
lola: STP completed || 1 tries, 25853 fired transitions, 100 secs || 53519 markings, 110006 edges, 672 markings/sec, 100 secs
lola: STP completed || 1 tries, 27388 fired transitions, 105 secs || 56645 markings, 116607 edges, 625 markings/sec, 105 secs
lola: STP completed || 1 tries, 28953 fired transitions, 110 secs || 59846 markings, 123363 edges, 640 markings/sec, 110 secs
lola: STP completed || 1 tries, 30501 fired transitions, 115 secs || 62983 markings, 129929 edges, 627 markings/sec, 115 secs
lola: STP completed || 1 tries, 31986 fired transitions, 120 secs || 66101 markings, 136486 edges, 624 markings/sec, 120 secs
lola: STP completed || 1 tries, 33405 fired transitions, 125 secs || 69337 markings, 143068 edges, 647 markings/sec, 125 secs
lola: STP completed || 1 tries, 34855 fired transitions, 130 secs || 72608 markings, 149742 edges, 654 markings/sec, 130 secs
lola: STP completed || 1 tries, 36542 fired transitions, 135 secs || 75967 markings, 156488 edges, 672 markings/sec, 135 secs
lola: STP completed || 1 tries, 38102 fired transitions, 140 secs || 79361 markings, 163300 edges, 679 markings/sec, 140 secs
lola: STP completed || 1 tries, 39672 fired transitions, 145 secs || 82748 markings, 170235 edges, 677 markings/sec, 145 secs
lola: STP completed || 1 tries, 41252 fired transitions, 150 secs || 86362 markings, 177611 edges, 723 markings/sec, 150 secs
lola: STP completed || 1 tries, 42672 fired transitions, 155 secs || 89861 markings, 184986 edges, 700 markings/sec, 155 secs
lola: STP completed || 1 tries, 44109 fired transitions, 160 secs || 93430 markings, 192276 edges, 714 markings/sec, 160 secs
lola: STP completed || 1 tries, 45715 fired transitions, 165 secs || 96674 markings, 199062 edges, 649 markings/sec, 165 secs
lola: STP completed || 1 tries, 47126 fired transitions, 170 secs || 99840 markings, 205720 edges, 633 markings/sec, 170 secs
lola: STP completed || 1 tries, 48615 fired transitions, 175 secs || 102982 markings, 212319 edges, 628 markings/sec, 175 secs
lola: STP completed || 1 tries, 50315 fired transitions, 180 secs || 106105 markings, 218784 edges, 625 markings/sec, 180 secs
lola: STP completed || 1 tries, 51762 fired transitions, 185 secs || 109250 markings, 225370 edges, 629 markings/sec, 185 secs
lola: STP completed || 1 tries, 53156 fired transitions, 190 secs || 112496 markings, 231920 edges, 649 markings/sec, 190 secs
lola: STP completed || 1 tries, 54384 fired transitions, 195 secs || 115720 markings, 238461 edges, 645 markings/sec, 195 secs
lola: STP completed || 1 tries, 55546 fired transitions, 200 secs || 118998 markings, 245031 edges, 656 markings/sec, 200 secs
lola: STP completed || 1 tries, 56696 fired transitions, 205 secs || 122379 markings, 251984 edges, 676 markings/sec, 205 secs
lola: STP completed || 1 tries, 58015 fired transitions, 210 secs || 125672 markings, 258763 edges, 659 markings/sec, 210 secs
lola: STP completed || 1 tries, 59407 fired transitions, 215 secs || 128972 markings, 265425 edges, 660 markings/sec, 215 secs
lola: STP completed || 1 tries, 60406 fired transitions, 220 secs || 132277 markings, 272332 edges, 661 markings/sec, 220 secs
lola: STP completed || 1 tries, 61560 fired transitions, 225 secs || 135633 markings, 279358 edges, 671 markings/sec, 225 secs
lola: STP completed || 1 tries, 63135 fired transitions, 230 secs || 138890 markings, 286244 edges, 651 markings/sec, 230 secs
lola: STP completed || 1 tries, 64669 fired transitions, 235 secs || 141970 markings, 292704 edges, 616 markings/sec, 235 secs
lola: STP completed || 1 tries, 66298 fired transitions, 240 secs || 145029 markings, 299011 edges, 612 markings/sec, 240 secs
lola: STP completed || 1 tries, 67844 fired transitions, 245 secs || 148243 markings, 305583 edges, 643 markings/sec, 245 secs
lola: STP completed || 1 tries, 69328 fired transitions, 250 secs || 151548 markings, 312294 edges, 661 markings/sec, 250 secs
lola: STP completed || 1 tries, 70887 fired transitions, 255 secs || 154865 markings, 318974 edges, 663 markings/sec, 255 secs
lola: STP completed || 1 tries, 72354 fired transitions, 260 secs || 158273 markings, 325848 edges, 682 markings/sec, 260 secs
lola: STP completed || 1 tries, 73636 fired transitions, 265 secs || 161647 markings, 332660 edges, 675 markings/sec, 265 secs
lola: STP completed || 1 tries, 75153 fired transitions, 270 secs || 165102 markings, 339674 edges, 691 markings/sec, 270 secs
lola: STP completed || 1 tries, 76641 fired transitions, 275 secs || 168542 markings, 346702 edges, 688 markings/sec, 275 secs
lola: STP completed || 1 tries, 77990 fired transitions, 280 secs || 171998 markings, 353725 edges, 691 markings/sec, 280 secs
lola: STP completed || 1 tries, 79542 fired transitions, 285 secs || 175600 markings, 361062 edges, 720 markings/sec, 285 secs
lola: STP completed || 1 tries, 80959 fired transitions, 290 secs || 178957 markings, 367884 edges, 671 markings/sec, 290 secs
lola: STP completed || 1 tries, 82269 fired transitions, 295 secs || 182338 markings, 374724 edges, 676 markings/sec, 295 secs
lola: STP completed || 1 tries, 83425 fired transitions, 300 secs || 185805 markings, 381733 edges, 693 markings/sec, 300 secs
lola: STP completed || 1 tries, 84668 fired transitions, 305 secs || 189318 markings, 388726 edges, 703 markings/sec, 305 secs
lola: STP completed || 1 tries, 86059 fired transitions, 310 secs || 192811 markings, 395915 edges, 699 markings/sec, 310 secs
lola: STP completed || 1 tries, 87642 fired transitions, 315 secs || 196343 markings, 402994 edges, 706 markings/sec, 315 secs
lola: STP completed || 1 tries, 89080 fired transitions, 320 secs || 199695 markings, 410076 edges, 670 markings/sec, 320 secs
lola: STP completed || 1 tries, 90257 fired transitions, 325 secs || 203087 markings, 417201 edges, 678 markings/sec, 325 secs
lola: STP completed || 1 tries, 91645 fired transitions, 330 secs || 206491 markings, 424379 edges, 681 markings/sec, 330 secs
lola: STP completed || 1 tries, 93044 fired transitions, 335 secs || 209942 markings, 431486 edges, 690 markings/sec, 335 secs
lola: STP completed || 1 tries, 94599 fired transitions, 340 secs || 213348 markings, 438619 edges, 681 markings/sec, 340 secs
lola: STP completed || 1 tries, 95990 fired transitions, 345 secs || 216767 markings, 445641 edges, 684 markings/sec, 345 secs
lola: STP completed || 1 tries, 97499 fired transitions, 350 secs || 220103 markings, 452396 edges, 667 markings/sec, 350 secs
lola: STP completed || 1 tries, 98922 fired transitions, 355 secs || 223467 markings, 459221 edges, 673 markings/sec, 355 secs
lola: STP completed || 1 tries, 100308 fired transitions, 360 secs || 226741 markings, 465864 edges, 655 markings/sec, 360 secs
lola: STP completed || 1 tries, 101485 fired transitions, 365 secs || 229810 markings, 472201 edges, 614 markings/sec, 365 secs
lola: STP completed || 1 tries, 102717 fired transitions, 370 secs || 232961 markings, 478525 edges, 630 markings/sec, 370 secs
lola: STP completed || 1 tries, 103816 fired transitions, 375 secs || 236147 markings, 484928 edges, 637 markings/sec, 375 secs
lola: STP completed || 1 tries, 105067 fired transitions, 380 secs || 239254 markings, 491255 edges, 621 markings/sec, 380 secs
lola: STP completed || 1 tries, 106153 fired transitions, 385 secs || 242478 markings, 497832 edges, 645 markings/sec, 385 secs
lola: STP completed || 1 tries, 107282 fired transitions, 390 secs || 245566 markings, 504287 edges, 618 markings/sec, 390 secs
lola: STP completed || 1 tries, 108359 fired transitions, 395 secs || 248423 markings, 510263 edges, 571 markings/sec, 395 secs
lola: STP completed || 1 tries, 109674 fired transitions, 400 secs || 251346 markings, 516149 edges, 585 markings/sec, 400 secs
lola: STP completed || 1 tries, 111396 fired transitions, 405 secs || 254436 markings, 522317 edges, 618 markings/sec, 405 secs
lola: STP completed || 1 tries, 112768 fired transitions, 410 secs || 257458 markings, 528583 edges, 604 markings/sec, 410 secs
lola: STP completed || 1 tries, 114396 fired transitions, 415 secs || 260669 markings, 535064 edges, 642 markings/sec, 415 secs
lola: STP completed || 1 tries, 115607 fired transitions, 420 secs || 263812 markings, 541465 edges, 629 markings/sec, 420 secs
lola: STP completed || 1 tries, 117127 fired transitions, 425 secs || 266867 markings, 547679 edges, 611 markings/sec, 425 secs
lola: STP completed || 1 tries, 118619 fired transitions, 430 secs || 269897 markings, 553888 edges, 606 markings/sec, 430 secs
lola: STP completed || 1 tries, 120172 fired transitions, 435 secs || 272878 markings, 559980 edges, 596 markings/sec, 435 secs
lola: STP completed || 1 tries, 121777 fired transitions, 440 secs || 276124 markings, 566824 edges, 649 markings/sec, 440 secs
lola: STP completed || 1 tries, 123260 fired transitions, 445 secs || 279423 markings, 573622 edges, 660 markings/sec, 445 secs
lola: STP completed || 1 tries, 124524 fired transitions, 450 secs || 282628 markings, 580098 edges, 641 markings/sec, 450 secs
lola: STP completed || 1 tries, 125890 fired transitions, 455 secs || 286039 markings, 586979 edges, 682 markings/sec, 455 secs
lola: STP completed || 1 tries, 127259 fired transitions, 460 secs || 289412 markings, 593813 edges, 675 markings/sec, 460 secs
lola: STP completed || 1 tries, 128509 fired transitions, 465 secs || 292619 markings, 600389 edges, 641 markings/sec, 465 secs
lola: STP completed || 1 tries, 129769 fired transitions, 470 secs || 295871 markings, 606945 edges, 650 markings/sec, 470 secs
lola: STP completed || 1 tries, 131062 fired transitions, 475 secs || 299136 markings, 613546 edges, 653 markings/sec, 475 secs
lola: STP completed || 1 tries, 132328 fired transitions, 480 secs || 302355 markings, 620134 edges, 644 markings/sec, 480 secs
lola: STP completed || 1 tries, 133509 fired transitions, 485 secs || 305726 markings, 626842 edges, 674 markings/sec, 485 secs
lola: STP completed || 1 tries, 134686 fired transitions, 490 secs || 308954 markings, 633403 edges, 646 markings/sec, 490 secs
lola: STP completed || 1 tries, 135964 fired transitions, 495 secs || 312159 markings, 640004 edges, 641 markings/sec, 495 secs
lola: STP completed || 1 tries, 137504 fired transitions, 500 secs || 315584 markings, 647113 edges, 685 markings/sec, 500 secs
lola: STP completed || 1 tries, 138876 fired transitions, 505 secs || 319063 markings, 654423 edges, 696 markings/sec, 505 secs
lola: STP completed || 1 tries, 140418 fired transitions, 510 secs || 322428 markings, 661552 edges, 673 markings/sec, 510 secs
lola: STP completed || 1 tries, 141937 fired transitions, 515 secs || 325945 markings, 668893 edges, 703 markings/sec, 515 secs
lola: STP completed || 1 tries, 143536 fired transitions, 520 secs || 329519 markings, 676319 edges, 715 markings/sec, 520 secs
lola: STP completed || 1 tries, 144810 fired transitions, 525 secs || 333009 markings, 683476 edges, 698 markings/sec, 525 secs
lola: STP completed || 1 tries, 146361 fired transitions, 530 secs || 336489 markings, 690742 edges, 696 markings/sec, 530 secs
lola: STP completed || 1 tries, 147746 fired transitions, 535 secs || 339859 markings, 697831 edges, 674 markings/sec, 535 secs
lola: STP completed || 1 tries, 149224 fired transitions, 540 secs || 342988 markings, 704475 edges, 626 markings/sec, 540 secs
lola: STP completed || 1 tries, 150942 fired transitions, 545 secs || 346374 markings, 711567 edges, 677 markings/sec, 545 secs
lola: STP completed || 1 tries, 152107 fired transitions, 550 secs || 349207 markings, 717540 edges, 567 markings/sec, 550 secs
lola: STP completed || 1 tries, 153280 fired transitions, 555 secs || 352299 markings, 723894 edges, 618 markings/sec, 555 secs
lola: STP completed || 1 tries, 154707 fired transitions, 560 secs || 355669 markings, 730779 edges, 674 markings/sec, 560 secs
lola: STP completed || 1 tries, 156059 fired transitions, 565 secs || 359073 markings, 737625 edges, 681 markings/sec, 565 secs
lola: STP completed || 1 tries, 157568 fired transitions, 570 secs || 362493 markings, 744545 edges, 684 markings/sec, 570 secs
lola: STP completed || 1 tries, 159115 fired transitions, 575 secs || 365958 markings, 751441 edges, 693 markings/sec, 575 secs
lola: STP completed || 1 tries, 160552 fired transitions, 580 secs || 369401 markings, 758534 edges, 689 markings/sec, 580 secs
lola: STP completed || 1 tries, 161984 fired transitions, 585 secs || 372837 markings, 765679 edges, 687 markings/sec, 585 secs
lola: STP completed || 1 tries, 163503 fired transitions, 590 secs || 376076 markings, 772402 edges, 648 markings/sec, 590 secs
lola: STP completed || 1 tries, 165045 fired transitions, 595 secs || 379263 markings, 778901 edges, 637 markings/sec, 595 secs
lola: STP completed || 1 tries, 166615 fired transitions, 600 secs || 382433 markings, 785606 edges, 634 markings/sec, 600 secs
lola: STP completed || 1 tries, 168382 fired transitions, 605 secs || 385603 markings, 792120 edges, 634 markings/sec, 605 secs
lola: STP completed || 1 tries, 169755 fired transitions, 610 secs || 388734 markings, 798485 edges, 626 markings/sec, 610 secs
lola: STP completed || 1 tries, 171422 fired transitions, 615 secs || 391830 markings, 804718 edges, 619 markings/sec, 615 secs
lola: STP completed || 1 tries, 173122 fired transitions, 620 secs || 395298 markings, 811791 edges, 694 markings/sec, 620 secs
lola: STP completed || 1 tries, 174600 fired transitions, 625 secs || 398667 markings, 818584 edges, 674 markings/sec, 625 secs
lola: STP completed || 1 tries, 175840 fired transitions, 630 secs || 402046 markings, 825476 edges, 676 markings/sec, 630 secs
lola: STP completed || 1 tries, 177110 fired transitions, 635 secs || 405507 markings, 832467 edges, 692 markings/sec, 635 secs
lola: STP completed || 1 tries, 178453 fired transitions, 640 secs || 409081 markings, 839719 edges, 715 markings/sec, 640 secs
lola: STP completed || 1 tries, 179597 fired transitions, 645 secs || 412587 markings, 846798 edges, 701 markings/sec, 645 secs
lola: STP completed || 1 tries, 180999 fired transitions, 650 secs || 415868 markings, 853562 edges, 656 markings/sec, 650 secs
lola: STP completed || 1 tries, 182652 fired transitions, 655 secs || 419008 markings, 860160 edges, 628 markings/sec, 655 secs
lola: STP completed || 1 tries, 184136 fired transitions, 660 secs || 422158 markings, 866811 edges, 630 markings/sec, 660 secs
lola: STP completed || 1 tries, 185668 fired transitions, 665 secs || 425305 markings, 873422 edges, 629 markings/sec, 665 secs
lola: STP completed || 1 tries, 187264 fired transitions, 670 secs || 428537 markings, 880147 edges, 646 markings/sec, 670 secs
lola: STP completed || 1 tries, 188528 fired transitions, 675 secs || 431606 markings, 886599 edges, 614 markings/sec, 675 secs
lola: STP completed || 1 tries, 190043 fired transitions, 680 secs || 434718 markings, 893096 edges, 622 markings/sec, 680 secs
lola: STP completed || 1 tries, 191676 fired transitions, 685 secs || 437784 markings, 899518 edges, 613 markings/sec, 685 secs
lola: STP completed || 1 tries, 193294 fired transitions, 690 secs || 440641 markings, 905586 edges, 571 markings/sec, 690 secs
lola: STP completed || 1 tries, 194723 fired transitions, 695 secs || 443550 markings, 911635 edges, 582 markings/sec, 695 secs
lola: STP completed || 1 tries, 196289 fired transitions, 700 secs || 446530 markings, 917701 edges, 596 markings/sec, 700 secs
lola: STP completed || 1 tries, 197835 fired transitions, 705 secs || 449618 markings, 924070 edges, 618 markings/sec, 705 secs
lola: STP completed || 1 tries, 199521 fired transitions, 710 secs || 452549 markings, 930073 edges, 586 markings/sec, 710 secs
lola: STP completed || 1 tries, 200897 fired transitions, 715 secs || 455527 markings, 936063 edges, 596 markings/sec, 715 secs
lola: STP completed || 1 tries, 202607 fired transitions, 720 secs || 458634 markings, 942261 edges, 621 markings/sec, 720 secs
lola: STP completed || 1 tries, 204085 fired transitions, 725 secs || 461584 markings, 948302 edges, 590 markings/sec, 725 secs
lola: STP completed || 1 tries, 205663 fired transitions, 730 secs || 465160 markings, 955497 edges, 715 markings/sec, 730 secs
lola: STP completed || 1 tries, 207095 fired transitions, 735 secs || 468539 markings, 962499 edges, 676 markings/sec, 735 secs
lola: STP completed || 1 tries, 208596 fired transitions, 740 secs || 471944 markings, 969683 edges, 681 markings/sec, 740 secs
lola: STP completed || 1 tries, 210212 fired transitions, 745 secs || 475417 markings, 976911 edges, 695 markings/sec, 745 secs
lola: STP completed || 1 tries, 211705 fired transitions, 750 secs || 478970 markings, 984278 edges, 711 markings/sec, 750 secs
lola: STP completed || 1 tries, 213034 fired transitions, 755 secs || 482588 markings, 991852 edges, 724 markings/sec, 755 secs
lola: STP completed || 1 tries, 214613 fired transitions, 760 secs || 486188 markings, 999346 edges, 720 markings/sec, 760 secs
lola: STP completed || 1 tries, 216244 fired transitions, 765 secs || 489604 markings, 1006556 edges, 683 markings/sec, 765 secs
lola: STP completed || 1 tries, 217820 fired transitions, 770 secs || 492956 markings, 1013615 edges, 670 markings/sec, 770 secs
lola: STP completed || 1 tries, 219386 fired transitions, 775 secs || 496495 markings, 1020944 edges, 708 markings/sec, 775 secs
lola: STP completed || 1 tries, 220711 fired transitions, 780 secs || 499832 markings, 1027987 edges, 667 markings/sec, 780 secs
lola: STP completed || 1 tries, 222220 fired transitions, 785 secs || 503382 markings, 1035174 edges, 710 markings/sec, 785 secs
lola: STP completed || 1 tries, 223735 fired transitions, 790 secs || 506886 markings, 1042357 edges, 701 markings/sec, 790 secs
lola: STP completed || 1 tries, 225135 fired transitions, 795 secs || 510332 markings, 1049369 edges, 689 markings/sec, 795 secs
lola: STP completed || 1 tries, 226659 fired transitions, 800 secs || 513727 markings, 1056222 edges, 679 markings/sec, 800 secs
lola: STP completed || 1 tries, 228082 fired transitions, 805 secs || 517098 markings, 1062983 edges, 674 markings/sec, 805 secs
lola: STP completed || 1 tries, 229704 fired transitions, 810 secs || 520446 markings, 1069705 edges, 670 markings/sec, 810 secs
lola: STP completed || 1 tries, 231263 fired transitions, 815 secs || 523852 markings, 1076656 edges, 681 markings/sec, 815 secs
lola: STP completed || 1 tries, 232632 fired transitions, 820 secs || 527282 markings, 1083627 edges, 686 markings/sec, 820 secs
lola: STP completed || 1 tries, 233948 fired transitions, 825 secs || 530781 markings, 1090722 edges, 700 markings/sec, 825 secs
lola: STP completed || 1 tries, 235483 fired transitions, 830 secs || 534293 markings, 1097977 edges, 702 markings/sec, 830 secs
lola: STP completed || 1 tries, 236988 fired transitions, 835 secs || 537815 markings, 1105208 edges, 704 markings/sec, 835 secs
lola: STP completed || 1 tries, 238464 fired transitions, 840 secs || 541267 markings, 1112481 edges, 690 markings/sec, 840 secs
lola: STP completed || 1 tries, 240058 fired transitions, 845 secs || 544754 markings, 1119838 edges, 697 markings/sec, 845 secs
lola: STP completed || 1 tries, 241674 fired transitions, 850 secs || 548255 markings, 1127231 edges, 700 markings/sec, 850 secs
lola: STP completed || 1 tries, 243247 fired transitions, 855 secs || 551726 markings, 1134518 edges, 694 markings/sec, 855 secs
lola: STP completed || 1 tries, 244812 fired transitions, 860 secs || 555191 markings, 1141806 edges, 693 markings/sec, 860 secs
lola: STP completed || 1 tries, 246250 fired transitions, 865 secs || 558693 markings, 1149110 edges, 700 markings/sec, 865 secs
lola: STP completed || 1 tries, 247754 fired transitions, 870 secs || 561982 markings, 1156039 edges, 658 markings/sec, 870 secs
lola: STP completed || 1 tries, 249238 fired transitions, 875 secs || 565393 markings, 1162998 edges, 682 markings/sec, 875 secs
lola: STP completed || 1 tries, 250648 fired transitions, 880 secs || 568785 markings, 1169904 edges, 678 markings/sec, 880 secs
lola: STP completed || 1 tries, 252196 fired transitions, 885 secs || 572201 markings, 1176818 edges, 683 markings/sec, 885 secs
lola: STP completed || 1 tries, 253814 fired transitions, 890 secs || 575681 markings, 1183770 edges, 696 markings/sec, 890 secs
lola: STP completed || 1 tries, 255194 fired transitions, 895 secs || 579221 markings, 1191028 edges, 708 markings/sec, 895 secs
lola: STP completed || 1 tries, 256681 fired transitions, 900 secs || 582651 markings, 1197892 edges, 686 markings/sec, 900 secs
lola: STP completed || 1 tries, 258304 fired transitions, 905 secs || 586170 markings, 1205117 edges, 704 markings/sec, 905 secs
lola: STP completed || 1 tries, 259886 fired transitions, 910 secs || 589693 markings, 1212414 edges, 705 markings/sec, 910 secs
lola: STP completed || 1 tries, 261441 fired transitions, 915 secs || 593162 markings, 1219664 edges, 694 markings/sec, 915 secs
lola: STP completed || 1 tries, 262820 fired transitions, 920 secs || 596640 markings, 1226957 edges, 696 markings/sec, 920 secs
lola: STP completed || 1 tries, 264425 fired transitions, 925 secs || 600068 markings, 1234204 edges, 686 markings/sec, 925 secs
lola: STP completed || 1 tries, 265945 fired transitions, 930 secs || 603576 markings, 1241528 edges, 702 markings/sec, 930 secs
lola: STP completed || 1 tries, 267447 fired transitions, 935 secs || 607064 markings, 1248789 edges, 698 markings/sec, 935 secs
lola: STP completed || 1 tries, 269041 fired transitions, 940 secs || 610537 markings, 1256176 edges, 695 markings/sec, 940 secs
lola: STP completed || 1 tries, 270385 fired transitions, 945 secs || 614064 markings, 1263631 edges, 705 markings/sec, 945 secs
lola: STP completed || 1 tries, 271768 fired transitions, 950 secs || 617555 markings, 1270802 edges, 698 markings/sec, 950 secs
lola: STP completed || 1 tries, 273115 fired transitions, 955 secs || 620936 markings, 1277671 edges, 676 markings/sec, 955 secs
lola: STP completed || 1 tries, 274693 fired transitions, 960 secs || 624435 markings, 1284694 edges, 700 markings/sec, 960 secs
lola: STP completed || 1 tries, 276111 fired transitions, 965 secs || 627670 markings, 1291321 edges, 647 markings/sec, 965 secs
lola: STP completed || 1 tries, 277561 fired transitions, 970 secs || 631028 markings, 1298148 edges, 672 markings/sec, 970 secs
lola: STP completed || 1 tries, 278720 fired transitions, 975 secs || 634438 markings, 1305097 edges, 682 markings/sec, 975 secs
lola: STP completed || 1 tries, 280276 fired transitions, 980 secs || 637865 markings, 1312041 edges, 685 markings/sec, 980 secs
lola: STP completed || 1 tries, 281817 fired transitions, 985 secs || 641224 markings, 1318885 edges, 672 markings/sec, 985 secs
lola: STP completed || 1 tries, 283388 fired transitions, 990 secs || 644557 markings, 1325656 edges, 667 markings/sec, 990 secs
lola: STP completed || 1 tries, 284785 fired transitions, 995 secs || 648014 markings, 1332643 edges, 691 markings/sec, 995 secs
lola: STP completed || 1 tries, 286397 fired transitions, 1000 secs || 651431 markings, 1339789 edges, 683 markings/sec, 1000 secs
lola: STP completed || 1 tries, 288012 fired transitions, 1005 secs || 654658 markings, 1346531 edges, 645 markings/sec, 1005 secs
lola: STP completed || 1 tries, 289582 fired transitions, 1010 secs || 657765 markings, 1353077 edges, 621 markings/sec, 1010 secs
lola: STP completed || 1 tries, 291041 fired transitions, 1015 secs || 661027 markings, 1359772 edges, 652 markings/sec, 1015 secs
lola: STP completed || 1 tries, 292613 fired transitions, 1020 secs || 664423 markings, 1366733 edges, 679 markings/sec, 1020 secs
lola: STP completed || 1 tries, 294014 fired transitions, 1025 secs || 667850 markings, 1373766 edges, 685 markings/sec, 1025 secs
lola: STP completed || 1 tries, 295518 fired transitions, 1030 secs || 671209 markings, 1380599 edges, 672 markings/sec, 1030 secs
lola: STP completed || 1 tries, 296989 fired transitions, 1035 secs || 674660 markings, 1387500 edges, 690 markings/sec, 1035 secs
lola: STP completed || 1 tries, 298503 fired transitions, 1040 secs || 678144 markings, 1394556 edges, 697 markings/sec, 1040 secs
lola: STP completed || 1 tries, 300084 fired transitions, 1045 secs || 681602 markings, 1401433 edges, 692 markings/sec, 1045 secs
lola: STP completed || 1 tries, 301443 fired transitions, 1050 secs || 684978 markings, 1408386 edges, 675 markings/sec, 1050 secs
lola: STP completed || 1 tries, 302856 fired transitions, 1055 secs || 688427 markings, 1415539 edges, 690 markings/sec, 1055 secs
lola: STP completed || 1 tries, 304383 fired transitions, 1060 secs || 691857 markings, 1422506 edges, 686 markings/sec, 1060 secs
lola: STP completed || 1 tries, 305985 fired transitions, 1065 secs || 695290 markings, 1429514 edges, 687 markings/sec, 1065 secs
lola: STP completed || 1 tries, 307477 fired transitions, 1070 secs || 698736 markings, 1436495 edges, 689 markings/sec, 1070 secs
lola: STP completed || 1 tries, 308985 fired transitions, 1075 secs || 702268 markings, 1443611 edges, 706 markings/sec, 1075 secs
lola: STP completed || 1 tries, 310621 fired transitions, 1080 secs || 705691 markings, 1450528 edges, 685 markings/sec, 1080 secs
lola: STP completed || 1 tries, 312155 fired transitions, 1085 secs || 709123 markings, 1457515 edges, 686 markings/sec, 1085 secs
lola: STP completed || 1 tries, 313641 fired transitions, 1090 secs || 712537 markings, 1464420 edges, 683 markings/sec, 1090 secs
lola: STP completed || 1 tries, 315036 fired transitions, 1095 secs || 715943 markings, 1471331 edges, 681 markings/sec, 1095 secs
lola: STP completed || 1 tries, 316346 fired transitions, 1100 secs || 719416 markings, 1478348 edges, 695 markings/sec, 1100 secs
lola: STP completed || 1 tries, 317783 fired transitions, 1105 secs || 722867 markings, 1485643 edges, 690 markings/sec, 1105 secs
lola: STP completed || 1 tries, 319296 fired transitions, 1110 secs || 726391 markings, 1493086 edges, 705 markings/sec, 1110 secs
lola: STP completed || 1 tries, 320846 fired transitions, 1115 secs || 729842 markings, 1500184 edges, 690 markings/sec, 1115 secs
lola: STP completed || 1 tries, 322284 fired transitions, 1120 secs || 733141 markings, 1506854 edges, 660 markings/sec, 1120 secs
lola: STP completed || 1 tries, 323785 fired transitions, 1125 secs || 736547 markings, 1513692 edges, 681 markings/sec, 1125 secs
lola: STP completed || 1 tries, 324901 fired transitions, 1130 secs || 739983 markings, 1520768 edges, 687 markings/sec, 1130 secs
lola: STP completed || 1 tries, 326412 fired transitions, 1135 secs || 743471 markings, 1527813 edges, 698 markings/sec, 1135 secs
lola: STP completed || 1 tries, 327848 fired transitions, 1140 secs || 746616 markings, 1534230 edges, 629 markings/sec, 1140 secs
lola: STP completed || 1 tries, 329400 fired transitions, 1145 secs || 750017 markings, 1540997 edges, 680 markings/sec, 1145 secs
lola: STP completed || 1 tries, 330949 fired transitions, 1150 secs || 753443 markings, 1548079 edges, 685 markings/sec, 1150 secs
lola: STP completed || 1 tries, 332260 fired transitions, 1155 secs || 757158 markings, 1555692 edges, 743 markings/sec, 1155 secs
lola: STP completed || 1 tries, 333888 fired transitions, 1160 secs || 760633 markings, 1562905 edges, 695 markings/sec, 1160 secs
lola: STP completed || 1 tries, 335358 fired transitions, 1165 secs || 764088 markings, 1570177 edges, 691 markings/sec, 1165 secs
lola: STP completed || 1 tries, 336796 fired transitions, 1170 secs || 767688 markings, 1577501 edges, 720 markings/sec, 1170 secs
lola: STP completed || 1 tries, 338267 fired transitions, 1175 secs || 771093 markings, 1584656 edges, 681 markings/sec, 1175 secs
lola: STP completed || 1 tries, 339781 fired transitions, 1180 secs || 774590 markings, 1591851 edges, 699 markings/sec, 1180 secs
lola: STP completed || 1 tries, 341446 fired transitions, 1185 secs || 778050 markings, 1598962 edges, 692 markings/sec, 1185 secs
lola: STP completed || 1 tries, 342948 fired transitions, 1190 secs || 781341 markings, 1605566 edges, 658 markings/sec, 1190 secs
lola: STP completed || 1 tries, 344375 fired transitions, 1195 secs || 784751 markings, 1612483 edges, 682 markings/sec, 1195 secs
lola: STP completed || 1 tries, 345910 fired transitions, 1200 secs || 788311 markings, 1619745 edges, 712 markings/sec, 1200 secs
lola: STP completed || 1 tries, 347490 fired transitions, 1205 secs || 791652 markings, 1626511 edges, 668 markings/sec, 1205 secs
lola: STP completed || 1 tries, 348944 fired transitions, 1210 secs || 795227 markings, 1633720 edges, 715 markings/sec, 1210 secs
lola: STP completed || 1 tries, 350365 fired transitions, 1215 secs || 798501 markings, 1640414 edges, 655 markings/sec, 1215 secs
lola: STP completed || 1 tries, 351651 fired transitions, 1220 secs || 801855 markings, 1647125 edges, 671 markings/sec, 1220 secs
lola: STP completed || 1 tries, 352857 fired transitions, 1225 secs || 805318 markings, 1654154 edges, 693 markings/sec, 1225 secs
lola: STP completed || 1 tries, 353924 fired transitions, 1230 secs || 808787 markings, 1661188 edges, 694 markings/sec, 1230 secs
lola: STP completed || 1 tries, 354984 fired transitions, 1235 secs || 812278 markings, 1668393 edges, 698 markings/sec, 1235 secs
lola: STP completed || 1 tries, 356051 fired transitions, 1240 secs || 815745 markings, 1675750 edges, 693 markings/sec, 1240 secs
lola: STP completed || 1 tries, 357017 fired transitions, 1245 secs || 819201 markings, 1682987 edges, 691 markings/sec, 1245 secs
lola: STP completed || 1 tries, 358141 fired transitions, 1250 secs || 822780 markings, 1690498 edges, 716 markings/sec, 1250 secs
lola: STP completed || 1 tries, 359553 fired transitions, 1255 secs || 826270 markings, 1697709 edges, 698 markings/sec, 1255 secs
lola: STP completed || 1 tries, 361139 fired transitions, 1260 secs || 829695 markings, 1704918 edges, 685 markings/sec, 1260 secs
lola: STP completed || 1 tries, 362701 fired transitions, 1265 secs || 833096 markings, 1711996 edges, 680 markings/sec, 1265 secs
lola: STP completed || 1 tries, 364158 fired transitions, 1270 secs || 836305 markings, 1718659 edges, 642 markings/sec, 1270 secs
lola: STP completed || 1 tries, 365634 fired transitions, 1275 secs || 839666 markings, 1725479 edges, 672 markings/sec, 1275 secs
lola: STP completed || 1 tries, 367248 fired transitions, 1280 secs || 843034 markings, 1732283 edges, 674 markings/sec, 1280 secs
lola: STP completed || 1 tries, 368902 fired transitions, 1285 secs || 846499 markings, 1739271 edges, 693 markings/sec, 1285 secs
lola: STP completed || 1 tries, 370337 fired transitions, 1290 secs || 849948 markings, 1746248 edges, 690 markings/sec, 1290 secs
lola: STP completed || 1 tries, 371853 fired transitions, 1295 secs || 853234 markings, 1753013 edges, 657 markings/sec, 1295 secs
lola: STP completed || 1 tries, 373245 fired transitions, 1300 secs || 856559 markings, 1759625 edges, 665 markings/sec, 1300 secs
lola: STP completed || 1 tries, 374674 fired transitions, 1305 secs || 859884 markings, 1766519 edges, 665 markings/sec, 1305 secs
lola: STP completed || 1 tries, 376085 fired transitions, 1310 secs || 863318 markings, 1773608 edges, 687 markings/sec, 1310 secs
lola: STP completed || 1 tries, 377383 fired transitions, 1315 secs || 866762 markings, 1780883 edges, 689 markings/sec, 1315 secs
lola: STP completed || 1 tries, 378895 fired transitions, 1320 secs || 870309 markings, 1787998 edges, 709 markings/sec, 1320 secs
lola: STP completed || 1 tries, 380544 fired transitions, 1325 secs || 873774 markings, 1795292 edges, 693 markings/sec, 1325 secs
lola: STP completed || 1 tries, 382015 fired transitions, 1330 secs || 877228 markings, 1802437 edges, 691 markings/sec, 1330 secs
lola: STP completed || 1 tries, 383666 fired transitions, 1335 secs || 880559 markings, 1809530 edges, 666 markings/sec, 1335 secs
lola: STP completed || 1 tries, 385255 fired transitions, 1340 secs || 883979 markings, 1816463 edges, 684 markings/sec, 1340 secs
lola: STP completed || 1 tries, 386882 fired transitions, 1345 secs || 887415 markings, 1823461 edges, 687 markings/sec, 1345 secs
lola: STP completed || 1 tries, 388321 fired transitions, 1350 secs || 890838 markings, 1830418 edges, 685 markings/sec, 1350 secs
lola: STP completed || 1 tries, 389781 fired transitions, 1355 secs || 894387 markings, 1837601 edges, 710 markings/sec, 1355 secs
lola: STP completed || 1 tries, 391088 fired transitions, 1360 secs || 897693 markings, 1844381 edges, 661 markings/sec, 1360 secs
lola: STP completed || 1 tries, 392697 fired transitions, 1365 secs || 901111 markings, 1851170 edges, 684 markings/sec, 1365 secs
lola: STP completed || 1 tries, 394147 fired transitions, 1370 secs || 904536 markings, 1858121 edges, 685 markings/sec, 1370 secs
lola: STP completed || 1 tries, 395574 fired transitions, 1375 secs || 907990 markings, 1865159 edges, 691 markings/sec, 1375 secs
lola: STP completed || 1 tries, 397164 fired transitions, 1380 secs || 911519 markings, 1872479 edges, 706 markings/sec, 1380 secs
lola: STP completed || 1 tries, 398657 fired transitions, 1385 secs || 914957 markings, 1879705 edges, 688 markings/sec, 1385 secs
lola: STP completed || 1 tries, 400232 fired transitions, 1390 secs || 918443 markings, 1887009 edges, 697 markings/sec, 1390 secs
lola: STP completed || 1 tries, 401687 fired transitions, 1395 secs || 922022 markings, 1894518 edges, 716 markings/sec, 1395 secs
lola: STP completed || 1 tries, 403224 fired transitions, 1400 secs || 925535 markings, 1901774 edges, 703 markings/sec, 1400 secs
lola: STP completed || 1 tries, 404748 fired transitions, 1405 secs || 928937 markings, 1908935 edges, 680 markings/sec, 1405 secs
lola: STP completed || 1 tries, 406174 fired transitions, 1410 secs || 932397 markings, 1916153 edges, 692 markings/sec, 1410 secs
lola: STP completed || 1 tries, 407720 fired transitions, 1415 secs || 935690 markings, 1922974 edges, 659 markings/sec, 1415 secs
lola: STP completed || 1 tries, 409167 fired transitions, 1420 secs || 939014 markings, 1929695 edges, 665 markings/sec, 1420 secs
lola: STP completed || 1 tries, 410694 fired transitions, 1425 secs || 942363 markings, 1936441 edges, 670 markings/sec, 1425 secs
lola: STP completed || 1 tries, 412215 fired transitions, 1430 secs || 945768 markings, 1943458 edges, 681 markings/sec, 1430 secs
lola: STP completed || 1 tries, 413807 fired transitions, 1435 secs || 949042 markings, 1950074 edges, 655 markings/sec, 1435 secs
lola: STP completed || 1 tries, 415204 fired transitions, 1440 secs || 952458 markings, 1956971 edges, 683 markings/sec, 1440 secs
lola: STP completed || 1 tries, 416764 fired transitions, 1445 secs || 955794 markings, 1963717 edges, 667 markings/sec, 1445 secs
lola: STP completed || 1 tries, 418073 fired transitions, 1450 secs || 959108 markings, 1970464 edges, 663 markings/sec, 1450 secs
lola: STP completed || 1 tries, 419587 fired transitions, 1455 secs || 962631 markings, 1977585 edges, 705 markings/sec, 1455 secs
lola: STP completed || 1 tries, 421064 fired transitions, 1460 secs || 966114 markings, 1984908 edges, 697 markings/sec, 1460 secs
lola: STP completed || 1 tries, 422571 fired transitions, 1465 secs || 969379 markings, 1991498 edges, 653 markings/sec, 1465 secs
lola: STP completed || 1 tries, 423983 fired transitions, 1470 secs || 972727 markings, 1998264 edges, 670 markings/sec, 1470 secs
lola: STP completed || 1 tries, 425561 fired transitions, 1475 secs || 976033 markings, 2005000 edges, 661 markings/sec, 1475 secs
lola: STP completed || 1 tries, 426992 fired transitions, 1480 secs || 979490 markings, 2011970 edges, 691 markings/sec, 1480 secs
lola: STP completed || 1 tries, 428436 fired transitions, 1485 secs || 982769 markings, 2018601 edges, 656 markings/sec, 1485 secs
lola: STP completed || 1 tries, 429978 fired transitions, 1490 secs || 986062 markings, 2025331 edges, 659 markings/sec, 1490 secs
lola: STP completed || 1 tries, 431715 fired transitions, 1495 secs || 989414 markings, 2032034 edges, 670 markings/sec, 1495 secs
lola: STP completed || 1 tries, 433224 fired transitions, 1500 secs || 992849 markings, 2038977 edges, 687 markings/sec, 1500 secs
lola: STP completed || 1 tries, 434878 fired transitions, 1505 secs || 996240 markings, 2045967 edges, 678 markings/sec, 1505 secs
lola: STP completed || 1 tries, 436374 fired transitions, 1510 secs || 999647 markings, 2053105 edges, 681 markings/sec, 1510 secs
lola: STP completed || 1 tries, 437789 fired transitions, 1515 secs || 1003052 markings, 2060237 edges, 681 markings/sec, 1515 secs
lola: STP completed || 1 tries, 439408 fired transitions, 1520 secs || 1006507 markings, 2067503 edges, 691 markings/sec, 1520 secs
lola: STP completed || 1 tries, 440954 fired transitions, 1525 secs || 1010093 markings, 2074950 edges, 717 markings/sec, 1525 secs
lola: STP completed || 1 tries, 442528 fired transitions, 1530 secs || 1013414 markings, 2081799 edges, 664 markings/sec, 1530 secs
lola: STP completed || 1 tries, 443918 fired transitions, 1535 secs || 1016742 markings, 2088755 edges, 666 markings/sec, 1535 secs
lola: STP completed || 1 tries, 445322 fired transitions, 1540 secs || 1020202 markings, 2096058 edges, 692 markings/sec, 1540 secs
lola: STP completed || 1 tries, 446826 fired transitions, 1545 secs || 1023669 markings, 2103363 edges, 693 markings/sec, 1545 secs
lola: STP completed || 1 tries, 448211 fired transitions, 1550 secs || 1027113 markings, 2110612 edges, 689 markings/sec, 1550 secs
lola: STP completed || 1 tries, 449772 fired transitions, 1555 secs || 1030575 markings, 2117778 edges, 692 markings/sec, 1555 secs
lola: STP completed || 1 tries, 451233 fired transitions, 1560 secs || 1033703 markings, 2124276 edges, 626 markings/sec, 1560 secs
lola: STP completed || 1 tries, 452519 fired transitions, 1565 secs || 1036905 markings, 2131034 edges, 640 markings/sec, 1565 secs
lola: STP completed || 1 tries, 454011 fired transitions, 1570 secs || 1040247 markings, 2137998 edges, 668 markings/sec, 1570 secs
lola: STP completed || 1 tries, 455478 fired transitions, 1575 secs || 1043478 markings, 2144669 edges, 646 markings/sec, 1575 secs
lola: STP completed || 1 tries, 456959 fired transitions, 1580 secs || 1046833 markings, 2151510 edges, 671 markings/sec, 1580 secs
lola: STP completed || 1 tries, 458618 fired transitions, 1585 secs || 1050144 markings, 2158076 edges, 662 markings/sec, 1585 secs
lola: STP completed || 1 tries, 460190 fired transitions, 1590 secs || 1053441 markings, 2164807 edges, 659 markings/sec, 1590 secs
lola: STP completed || 1 tries, 461446 fired transitions, 1595 secs || 1056821 markings, 2171764 edges, 676 markings/sec, 1595 secs
lola: STP completed || 1 tries, 462765 fired transitions, 1600 secs || 1060151 markings, 2178543 edges, 666 markings/sec, 1600 secs
lola: STP completed || 1 tries, 464286 fired transitions, 1605 secs || 1063556 markings, 2185373 edges, 681 markings/sec, 1605 secs
lola: STP completed || 1 tries, 465947 fired transitions, 1610 secs || 1067021 markings, 2192322 edges, 693 markings/sec, 1610 secs
lola: STP completed || 1 tries, 467572 fired transitions, 1615 secs || 1070452 markings, 2199505 edges, 686 markings/sec, 1615 secs
lola: STP completed || 1 tries, 469343 fired transitions, 1620 secs || 1073936 markings, 2206849 edges, 697 markings/sec, 1620 secs
lola: STP completed || 1 tries, 470952 fired transitions, 1625 secs || 1077342 markings, 2214015 edges, 681 markings/sec, 1625 secs
lola: STP completed || 1 tries, 472498 fired transitions, 1630 secs || 1080922 markings, 2221626 edges, 716 markings/sec, 1630 secs
lola: STP completed || 1 tries, 473863 fired transitions, 1635 secs || 1084521 markings, 2229186 edges, 720 markings/sec, 1635 secs
lola: STP completed || 1 tries, 475231 fired transitions, 1640 secs || 1088016 markings, 2236480 edges, 699 markings/sec, 1640 secs
lola: STP completed || 1 tries, 476591 fired transitions, 1645 secs || 1091558 markings, 2243866 edges, 708 markings/sec, 1645 secs
lola: STP completed || 1 tries, 477748 fired transitions, 1650 secs || 1095112 markings, 2251284 edges, 711 markings/sec, 1650 secs
lola: STP completed || 1 tries, 479265 fired transitions, 1655 secs || 1098547 markings, 2258499 edges, 687 markings/sec, 1655 secs
lola: STP completed || 1 tries, 480549 fired transitions, 1660 secs || 1102082 markings, 2265859 edges, 707 markings/sec, 1660 secs
lola: STP completed || 1 tries, 482013 fired transitions, 1665 secs || 1105565 markings, 2273099 edges, 697 markings/sec, 1665 secs
lola: STP completed || 1 tries, 483659 fired transitions, 1670 secs || 1109034 markings, 2280448 edges, 694 markings/sec, 1670 secs
lola: STP completed || 1 tries, 485158 fired transitions, 1675 secs || 1112441 markings, 2287612 edges, 681 markings/sec, 1675 secs
lola: STP completed || 1 tries, 486531 fired transitions, 1680 secs || 1115977 markings, 2295149 edges, 707 markings/sec, 1680 secs
lola: STP completed || 1 tries, 487906 fired transitions, 1685 secs || 1119325 markings, 2302143 edges, 670 markings/sec, 1685 secs
lola: STP completed || 1 tries, 489256 fired transitions, 1690 secs || 1122592 markings, 2308902 edges, 653 markings/sec, 1690 secs
lola: STP completed || 1 tries, 490778 fired transitions, 1695 secs || 1126036 markings, 2316159 edges, 689 markings/sec, 1695 secs
lola: STP completed || 1 tries, 492077 fired transitions, 1700 secs || 1129563 markings, 2323453 edges, 705 markings/sec, 1700 secs
lola: STP completed || 1 tries, 493545 fired transitions, 1705 secs || 1133180 markings, 2330751 edges, 723 markings/sec, 1705 secs
lola: STP completed || 1 tries, 494966 fired transitions, 1710 secs || 1136577 markings, 2337971 edges, 679 markings/sec, 1710 secs
lola: STP completed || 1 tries, 496464 fired transitions, 1715 secs || 1139977 markings, 2345048 edges, 680 markings/sec, 1715 secs
lola: STP completed || 1 tries, 498067 fired transitions, 1720 secs || 1143377 markings, 2352005 edges, 680 markings/sec, 1720 secs
lola: STP completed || 1 tries, 499640 fired transitions, 1725 secs || 1146882 markings, 2359106 edges, 701 markings/sec, 1725 secs
lola: STP completed || 1 tries, 500879 fired transitions, 1730 secs || 1150266 markings, 2366246 edges, 677 markings/sec, 1730 secs
lola: STP completed || 1 tries, 502333 fired transitions, 1735 secs || 1153713 markings, 2373415 edges, 689 markings/sec, 1735 secs
lola: STP completed || 1 tries, 503921 fired transitions, 1740 secs || 1157257 markings, 2380930 edges, 709 markings/sec, 1740 secs
lola: STP completed || 1 tries, 505598 fired transitions, 1745 secs || 1160441 markings, 2387581 edges, 637 markings/sec, 1745 secs
lola: STP completed || 1 tries, 507229 fired transitions, 1750 secs || 1163764 markings, 2394331 edges, 665 markings/sec, 1750 secs
lola: STP completed || 1 tries, 508515 fired transitions, 1755 secs || 1167279 markings, 2401488 edges, 703 markings/sec, 1755 secs
lola: STP completed || 1 tries, 510179 fired transitions, 1760 secs || 1170496 markings, 2408199 edges, 643 markings/sec, 1760 secs
lola: STP completed || 1 tries, 511750 fired transitions, 1765 secs || 1173766 markings, 2414977 edges, 654 markings/sec, 1765 secs
lola: STP completed || 1 tries, 513282 fired transitions, 1770 secs || 1176999 markings, 2421790 edges, 647 markings/sec, 1770 secs
lola: STP completed || 1 tries, 514592 fired transitions, 1775 secs || 1180184 markings, 2428461 edges, 637 markings/sec, 1775 secs
lola: STP completed || 1 tries, 516232 fired transitions, 1780 secs || 1183317 markings, 2434990 edges, 627 markings/sec, 1780 secs
lola: STP completed || 1 tries, 517563 fired transitions, 1785 secs || 1186629 markings, 2441866 edges, 662 markings/sec, 1785 secs
lola: STP completed || 1 tries, 519083 fired transitions, 1790 secs || 1189886 markings, 2448586 edges, 651 markings/sec, 1790 secs
lola: STP completed || 1 tries, 520788 fired transitions, 1795 secs || 1193199 markings, 2455406 edges, 663 markings/sec, 1795 secs
lola: STP completed || 1 tries, 522203 fired transitions, 1800 secs || 1196393 markings, 2461958 edges, 639 markings/sec, 1800 secs
lola: STP completed || 1 tries, 523525 fired transitions, 1805 secs || 1199645 markings, 2468511 edges, 650 markings/sec, 1805 secs
lola: STP completed || 1 tries, 524728 fired transitions, 1810 secs || 1202941 markings, 2475322 edges, 659 markings/sec, 1810 secs
lola: STP completed || 1 tries, 525958 fired transitions, 1815 secs || 1206296 markings, 2482109 edges, 671 markings/sec, 1815 secs
lola: STP completed || 1 tries, 527014 fired transitions, 1820 secs || 1209824 markings, 2489263 edges, 706 markings/sec, 1820 secs
lola: STP completed || 1 tries, 528178 fired transitions, 1825 secs || 1213239 markings, 2496200 edges, 683 markings/sec, 1825 secs
lola: STP completed || 1 tries, 529295 fired transitions, 1830 secs || 1216631 markings, 2503213 edges, 678 markings/sec, 1830 secs
lola: STP completed || 1 tries, 530406 fired transitions, 1835 secs || 1220127 markings, 2510266 edges, 699 markings/sec, 1835 secs
lola: STP completed || 1 tries, 531478 fired transitions, 1840 secs || 1223686 markings, 2517554 edges, 712 markings/sec, 1840 secs
lola: STP completed || 1 tries, 532568 fired transitions, 1845 secs || 1226950 markings, 2524538 edges, 653 markings/sec, 1845 secs
lola: STP completed || 1 tries, 533632 fired transitions, 1850 secs || 1230620 markings, 2532192 edges, 734 markings/sec, 1850 secs
lola: STP completed || 1 tries, 534620 fired transitions, 1855 secs || 1234105 markings, 2539696 edges, 697 markings/sec, 1855 secs
lola: STP completed || 1 tries, 535684 fired transitions, 1860 secs || 1237545 markings, 2546938 edges, 688 markings/sec, 1860 secs
lola: STP completed || 1 tries, 536737 fired transitions, 1865 secs || 1240915 markings, 2554086 edges, 674 markings/sec, 1865 secs
lola: STP completed || 1 tries, 537853 fired transitions, 1870 secs || 1244339 markings, 2561301 edges, 685 markings/sec, 1870 secs
lola: STP completed || 1 tries, 538866 fired transitions, 1875 secs || 1247854 markings, 2568639 edges, 703 markings/sec, 1875 secs
lola: STP completed || 1 tries, 539967 fired transitions, 1880 secs || 1251092 markings, 2575542 edges, 648 markings/sec, 1880 secs
lola: STP completed || 1 tries, 541113 fired transitions, 1885 secs || 1254435 markings, 2582299 edges, 669 markings/sec, 1885 secs
lola: STP completed || 1 tries, 542231 fired transitions, 1890 secs || 1257802 markings, 2589185 edges, 673 markings/sec, 1890 secs
lola: STP completed || 1 tries, 543374 fired transitions, 1895 secs || 1261218 markings, 2596122 edges, 683 markings/sec, 1895 secs
lola: STP completed || 1 tries, 544310 fired transitions, 1900 secs || 1264673 markings, 2603121 edges, 691 markings/sec, 1900 secs
lola: STP completed || 1 tries, 545216 fired transitions, 1905 secs || 1267947 markings, 2609758 edges, 655 markings/sec, 1905 secs
lola: STP completed || 1 tries, 546350 fired transitions, 1910 secs || 1271353 markings, 2616838 edges, 681 markings/sec, 1910 secs
lola: STP completed || 1 tries, 547376 fired transitions, 1915 secs || 1274788 markings, 2623943 edges, 687 markings/sec, 1915 secs
lola: STP completed || 1 tries, 548432 fired transitions, 1920 secs || 1278253 markings, 2631260 edges, 693 markings/sec, 1920 secs
lola: STP completed || 1 tries, 549480 fired transitions, 1925 secs || 1281546 markings, 2638125 edges, 659 markings/sec, 1925 secs
lola: STP completed || 1 tries, 550484 fired transitions, 1930 secs || 1284673 markings, 2644811 edges, 625 markings/sec, 1930 secs
lola: STP completed || 1 tries, 551486 fired transitions, 1935 secs || 1287855 markings, 2651379 edges, 636 markings/sec, 1935 secs
lola: STP completed || 1 tries, 552634 fired transitions, 1940 secs || 1291004 markings, 2657908 edges, 630 markings/sec, 1940 secs
lola: STP completed || 1 tries, 553621 fired transitions, 1945 secs || 1294324 markings, 2664843 edges, 664 markings/sec, 1945 secs
lola: STP completed || 1 tries, 554723 fired transitions, 1950 secs || 1297861 markings, 2672230 edges, 707 markings/sec, 1950 secs
lola: STP completed || 1 tries, 555939 fired transitions, 1955 secs || 1301268 markings, 2679394 edges, 681 markings/sec, 1955 secs
lola: STP completed || 1 tries, 556922 fired transitions, 1960 secs || 1304708 markings, 2686737 edges, 688 markings/sec, 1960 secs
lola: STP completed || 1 tries, 558029 fired transitions, 1965 secs || 1308069 markings, 2693732 edges, 672 markings/sec, 1965 secs
lola: STP completed || 1 tries, 559184 fired transitions, 1970 secs || 1311410 markings, 2700755 edges, 668 markings/sec, 1970 secs
lola: STP completed || 1 tries, 560300 fired transitions, 1975 secs || 1314773 markings, 2707874 edges, 673 markings/sec, 1975 secs
lola: STP completed || 1 tries, 561410 fired transitions, 1980 secs || 1318048 markings, 2714564 edges, 655 markings/sec, 1980 secs
lola: STP completed || 1 tries, 562436 fired transitions, 1985 secs || 1321369 markings, 2721315 edges, 664 markings/sec, 1985 secs
lola: STP completed || 1 tries, 563704 fired transitions, 1990 secs || 1324727 markings, 2728051 edges, 672 markings/sec, 1990 secs
lola: STP completed || 1 tries, 565099 fired transitions, 1995 secs || 1327981 markings, 2734682 edges, 651 markings/sec, 1995 secs
lola: STP completed || 1 tries, 566378 fired transitions, 2000 secs || 1331306 markings, 2741300 edges, 665 markings/sec, 2000 secs
lola: STP completed || 1 tries, 567845 fired transitions, 2005 secs || 1334383 markings, 2747615 edges, 615 markings/sec, 2005 secs
lola: STP completed || 1 tries, 569442 fired transitions, 2010 secs || 1337626 markings, 2754233 edges, 649 markings/sec, 2010 secs
lola: STP completed || 1 tries, 571000 fired transitions, 2015 secs || 1340782 markings, 2760578 edges, 631 markings/sec, 2015 secs
lola: STP completed || 1 tries, 572564 fired transitions, 2020 secs || 1344084 markings, 2767288 edges, 660 markings/sec, 2020 secs
lola: STP completed || 1 tries, 574184 fired transitions, 2025 secs || 1347611 markings, 2774454 edges, 705 markings/sec, 2025 secs
lola: STP completed || 1 tries, 575843 fired transitions, 2030 secs || 1351047 markings, 2781640 edges, 687 markings/sec, 2030 secs
lola: STP completed || 1 tries, 577253 fired transitions, 2035 secs || 1354625 markings, 2789091 edges, 716 markings/sec, 2035 secs
lola: STP completed || 1 tries, 578765 fired transitions, 2040 secs || 1358173 markings, 2796510 edges, 710 markings/sec, 2040 secs
lola: STP completed || 1 tries, 580034 fired transitions, 2045 secs || 1361864 markings, 2804111 edges, 738 markings/sec, 2045 secs
lola: STP completed || 1 tries, 581622 fired transitions, 2050 secs || 1365307 markings, 2811322 edges, 689 markings/sec, 2050 secs
lola: STP completed || 1 tries, 582993 fired transitions, 2055 secs || 1368675 markings, 2818363 edges, 674 markings/sec, 2055 secs
lola: STP completed || 1 tries, 584621 fired transitions, 2060 secs || 1372169 markings, 2825720 edges, 699 markings/sec, 2060 secs
lola: STP completed || 1 tries, 586066 fired transitions, 2065 secs || 1375656 markings, 2833012 edges, 697 markings/sec, 2065 secs
lola: STP completed || 1 tries, 587493 fired transitions, 2070 secs || 1379004 markings, 2839896 edges, 670 markings/sec, 2070 secs
lola: STP completed || 1 tries, 588989 fired transitions, 2075 secs || 1382554 markings, 2847132 edges, 710 markings/sec, 2075 secs
lola: STP completed || 1 tries, 590321 fired transitions, 2080 secs || 1386080 markings, 2854264 edges, 705 markings/sec, 2080 secs
lola: STP completed || 1 tries, 591862 fired transitions, 2085 secs || 1389613 markings, 2861431 edges, 707 markings/sec, 2085 secs
lola: STP completed || 1 tries, 593366 fired transitions, 2090 secs || 1393172 markings, 2868768 edges, 712 markings/sec, 2090 secs
lola: STP completed || 1 tries, 595031 fired transitions, 2095 secs || 1396674 markings, 2876220 edges, 700 markings/sec, 2095 secs
lola: STP completed || 1 tries, 596692 fired transitions, 2100 secs || 1400098 markings, 2883430 edges, 685 markings/sec, 2100 secs
lola: STP completed || 1 tries, 598090 fired transitions, 2105 secs || 1403389 markings, 2890385 edges, 658 markings/sec, 2105 secs
lola: STP completed || 1 tries, 599433 fired transitions, 2110 secs || 1406825 markings, 2897395 edges, 687 markings/sec, 2110 secs
lola: STP completed || 1 tries, 601059 fired transitions, 2115 secs || 1410278 markings, 2904448 edges, 691 markings/sec, 2115 secs
lola: STP completed || 1 tries, 602614 fired transitions, 2120 secs || 1413829 markings, 2911717 edges, 710 markings/sec, 2120 secs
lola: STP completed || 1 tries, 604283 fired transitions, 2125 secs || 1417347 markings, 2918933 edges, 704 markings/sec, 2125 secs
lola: STP completed || 1 tries, 605737 fired transitions, 2130 secs || 1420857 markings, 2926348 edges, 702 markings/sec, 2130 secs
lola: STP completed || 1 tries, 607266 fired transitions, 2135 secs || 1424338 markings, 2933624 edges, 696 markings/sec, 2135 secs
lola: STP completed || 1 tries, 608594 fired transitions, 2140 secs || 1427633 markings, 2940530 edges, 659 markings/sec, 2140 secs
lola: STP completed || 1 tries, 609985 fired transitions, 2145 secs || 1430976 markings, 2947531 edges, 669 markings/sec, 2145 secs
lola: STP completed || 1 tries, 611314 fired transitions, 2150 secs || 1434285 markings, 2954492 edges, 662 markings/sec, 2150 secs
lola: STP completed || 1 tries, 613060 fired transitions, 2155 secs || 1437497 markings, 2961213 edges, 642 markings/sec, 2155 secs
lola: STP completed || 1 tries, 614689 fired transitions, 2160 secs || 1440969 markings, 2968221 edges, 694 markings/sec, 2160 secs
lola: STP completed || 1 tries, 616308 fired transitions, 2165 secs || 1444326 markings, 2975087 edges, 671 markings/sec, 2165 secs
lola: STP completed || 1 tries, 617718 fired transitions, 2170 secs || 1447722 markings, 2981956 edges, 679 markings/sec, 2170 secs
lola: STP completed || 1 tries, 619083 fired transitions, 2175 secs || 1451205 markings, 2988890 edges, 697 markings/sec, 2175 secs
lola: STP completed || 1 tries, 620758 fired transitions, 2180 secs || 1454648 markings, 2995978 edges, 689 markings/sec, 2180 secs
lola: STP completed || 1 tries, 622484 fired transitions, 2185 secs || 1458125 markings, 3003177 edges, 695 markings/sec, 2185 secs
lola: STP completed || 1 tries, 624016 fired transitions, 2190 secs || 1461622 markings, 3010419 edges, 699 markings/sec, 2190 secs
lola: STP completed || 1 tries, 625451 fired transitions, 2195 secs || 1465213 markings, 3017728 edges, 718 markings/sec, 2195 secs
lola: STP completed || 1 tries, 626790 fired transitions, 2200 secs || 1468656 markings, 3024880 edges, 689 markings/sec, 2200 secs
lola: STP completed || 1 tries, 628345 fired transitions, 2205 secs || 1472057 markings, 3031910 edges, 680 markings/sec, 2205 secs
lola: STP completed || 1 tries, 629742 fired transitions, 2210 secs || 1475258 markings, 3038605 edges, 640 markings/sec, 2210 secs
lola: STP completed || 1 tries, 631116 fired transitions, 2215 secs || 1478471 markings, 3045358 edges, 643 markings/sec, 2215 secs
lola: STP completed || 1 tries, 632674 fired transitions, 2220 secs || 1481739 markings, 3052106 edges, 654 markings/sec, 2220 secs
lola: STP completed || 1 tries, 634259 fired transitions, 2225 secs || 1485099 markings, 3058959 edges, 672 markings/sec, 2225 secs
lola: STP completed || 1 tries, 635681 fired transitions, 2230 secs || 1488544 markings, 3065970 edges, 689 markings/sec, 2230 secs
lola: STP completed || 1 tries, 637233 fired transitions, 2235 secs || 1491944 markings, 3072849 edges, 680 markings/sec, 2235 secs
lola: STP completed || 1 tries, 638631 fired transitions, 2240 secs || 1495389 markings, 3079713 edges, 689 markings/sec, 2240 secs
lola: STP completed || 1 tries, 640124 fired transitions, 2245 secs || 1498898 markings, 3086971 edges, 702 markings/sec, 2245 secs
lola: STP completed || 1 tries, 641629 fired transitions, 2250 secs || 1502389 markings, 3094290 edges, 698 markings/sec, 2250 secs
lola: STP completed || 1 tries, 642996 fired transitions, 2255 secs || 1505803 markings, 3101392 edges, 683 markings/sec, 2255 secs
lola: STP completed || 1 tries, 644520 fired transitions, 2260 secs || 1509155 markings, 3108146 edges, 670 markings/sec, 2260 secs
lola: STP completed || 1 tries, 646126 fired transitions, 2265 secs || 1512575 markings, 3115035 edges, 684 markings/sec, 2265 secs
lola: STP completed || 1 tries, 647487 fired transitions, 2270 secs || 1515858 markings, 3121725 edges, 657 markings/sec, 2270 secs
lola: STP completed || 1 tries, 648724 fired transitions, 2275 secs || 1519148 markings, 3128472 edges, 658 markings/sec, 2275 secs
lola: STP completed || 1 tries, 650152 fired transitions, 2280 secs || 1522477 markings, 3135213 edges, 666 markings/sec, 2280 secs
lola: STP completed || 1 tries, 651739 fired transitions, 2285 secs || 1525902 markings, 3142161 edges, 685 markings/sec, 2285 secs
lola: STP completed || 1 tries, 653306 fired transitions, 2290 secs || 1529487 markings, 3149506 edges, 717 markings/sec, 2290 secs
lola: STP completed || 1 tries, 654801 fired transitions, 2295 secs || 1532980 markings, 3156594 edges, 699 markings/sec, 2295 secs
lola: STP completed || 1 tries, 656400 fired transitions, 2300 secs || 1536269 markings, 3163267 edges, 658 markings/sec, 2300 secs
lola: STP completed || 1 tries, 657766 fired transitions, 2305 secs || 1539695 markings, 3170218 edges, 685 markings/sec, 2305 secs
lola: STP completed || 1 tries, 659227 fired transitions, 2310 secs || 1543149 markings, 3177230 edges, 691 markings/sec, 2310 secs
lola: STP completed || 1 tries, 660593 fired transitions, 2315 secs || 1546622 markings, 3184254 edges, 695 markings/sec, 2315 secs
lola: STP completed || 1 tries, 662269 fired transitions, 2320 secs || 1550045 markings, 3191167 edges, 685 markings/sec, 2320 secs
lola: STP completed || 1 tries, 663653 fired transitions, 2325 secs || 1553373 markings, 3197975 edges, 666 markings/sec, 2325 secs
lola: STP completed || 1 tries, 665162 fired transitions, 2330 secs || 1556893 markings, 3204981 edges, 704 markings/sec, 2330 secs
lola: STP completed || 1 tries, 666540 fired transitions, 2335 secs || 1560241 markings, 3211776 edges, 670 markings/sec, 2335 secs
lola: STP completed || 1 tries, 667893 fired transitions, 2340 secs || 1563709 markings, 3218902 edges, 694 markings/sec, 2340 secs
lola: STP completed || 1 tries, 669328 fired transitions, 2345 secs || 1567143 markings, 3226048 edges, 687 markings/sec, 2345 secs
lola: STP completed || 1 tries, 670705 fired transitions, 2350 secs || 1570591 markings, 3233339 edges, 690 markings/sec, 2350 secs
lola: STP completed || 1 tries, 672175 fired transitions, 2355 secs || 1574047 markings, 3240582 edges, 691 markings/sec, 2355 secs
lola: STP completed || 1 tries, 673593 fired transitions, 2360 secs || 1577362 markings, 3247635 edges, 663 markings/sec, 2360 secs
lola: STP completed || 1 tries, 674920 fired transitions, 2365 secs || 1580604 markings, 3254410 edges, 648 markings/sec, 2365 secs
lola: STP completed || 1 tries, 676643 fired transitions, 2370 secs || 1583789 markings, 3261131 edges, 637 markings/sec, 2370 secs
lola: STP completed || 1 tries, 677873 fired transitions, 2375 secs || 1587069 markings, 3267914 edges, 656 markings/sec, 2375 secs
lola: STP completed || 1 tries, 679195 fired transitions, 2380 secs || 1590274 markings, 3274426 edges, 641 markings/sec, 2380 secs
lola: STP completed || 1 tries, 680625 fired transitions, 2385 secs || 1593301 markings, 3280604 edges, 605 markings/sec, 2385 secs
lola: STP completed || 1 tries, 682236 fired transitions, 2390 secs || 1596355 markings, 3286794 edges, 611 markings/sec, 2390 secs
lola: STP completed || 1 tries, 683604 fired transitions, 2395 secs || 1599410 markings, 3292870 edges, 611 markings/sec, 2395 secs
lola: STP completed || 1 tries, 684853 fired transitions, 2400 secs || 1602520 markings, 3299260 edges, 622 markings/sec, 2400 secs
lola: STP completed || 1 tries, 686179 fired transitions, 2405 secs || 1606028 markings, 3306445 edges, 702 markings/sec, 2405 secs
lola: STP completed || 1 tries, 687316 fired transitions, 2410 secs || 1609475 markings, 3313665 edges, 689 markings/sec, 2410 secs
lola: STP completed || 1 tries, 688896 fired transitions, 2415 secs || 1612843 markings, 3320731 edges, 674 markings/sec, 2415 secs
lola: STP completed || 1 tries, 690369 fired transitions, 2420 secs || 1616116 markings, 3327401 edges, 655 markings/sec, 2420 secs
lola: STP completed || 1 tries, 691820 fired transitions, 2425 secs || 1619275 markings, 3333843 edges, 632 markings/sec, 2425 secs
lola: STP completed || 1 tries, 693475 fired transitions, 2430 secs || 1622683 markings, 3340791 edges, 682 markings/sec, 2430 secs
lola: STP completed || 1 tries, 695138 fired transitions, 2435 secs || 1625876 markings, 3347260 edges, 639 markings/sec, 2435 secs
lola: STP completed || 1 tries, 696592 fired transitions, 2440 secs || 1629268 markings, 3354128 edges, 678 markings/sec, 2440 secs
lola: STP completed || 1 tries, 698239 fired transitions, 2445 secs || 1632594 markings, 3360836 edges, 665 markings/sec, 2445 secs
lola: STP completed || 1 tries, 699679 fired transitions, 2450 secs || 1635951 markings, 3367641 edges, 671 markings/sec, 2450 secs
lola: STP completed || 1 tries, 701062 fired transitions, 2455 secs || 1639299 markings, 3374388 edges, 670 markings/sec, 2455 secs
lola: STP completed || 1 tries, 702459 fired transitions, 2460 secs || 1642634 markings, 3381268 edges, 667 markings/sec, 2460 secs
lola: STP completed || 1 tries, 703958 fired transitions, 2465 secs || 1645959 markings, 3387957 edges, 665 markings/sec, 2465 secs
lola: STP completed || 1 tries, 705488 fired transitions, 2470 secs || 1649062 markings, 3394289 edges, 621 markings/sec, 2470 secs
lola: STP completed || 1 tries, 706679 fired transitions, 2475 secs || 1652295 markings, 3400829 edges, 647 markings/sec, 2475 secs
lola: STP completed || 1 tries, 708052 fired transitions, 2480 secs || 1655407 markings, 3407237 edges, 622 markings/sec, 2480 secs
lola: STP completed || 1 tries, 709284 fired transitions, 2485 secs || 1658636 markings, 3413779 edges, 646 markings/sec, 2485 secs
lola: STP completed || 1 tries, 710632 fired transitions, 2490 secs || 1661954 markings, 3420385 edges, 664 markings/sec, 2490 secs
lola: STP completed || 1 tries, 712076 fired transitions, 2495 secs || 1665268 markings, 3427213 edges, 663 markings/sec, 2495 secs
lola: STP completed || 1 tries, 713504 fired transitions, 2500 secs || 1668413 markings, 3433611 edges, 629 markings/sec, 2500 secs
lola: STP completed || 1 tries, 714971 fired transitions, 2505 secs || 1671992 markings, 3441087 edges, 716 markings/sec, 2505 secs
lola: STP completed || 1 tries, 716525 fired transitions, 2510 secs || 1675263 markings, 3448030 edges, 654 markings/sec, 2510 secs
lola: STP completed || 1 tries, 718109 fired transitions, 2515 secs || 1678802 markings, 3455350 edges, 708 markings/sec, 2515 secs
lola: STP completed || 1 tries, 719743 fired transitions, 2520 secs || 1682239 markings, 3462336 edges, 687 markings/sec, 2520 secs
lola: STP completed || 1 tries, 721211 fired transitions, 2525 secs || 1685705 markings, 3469378 edges, 693 markings/sec, 2525 secs
lola: STP completed || 1 tries, 722691 fired transitions, 2530 secs || 1689109 markings, 3476673 edges, 681 markings/sec, 2530 secs
lola: STP completed || 1 tries, 724154 fired transitions, 2535 secs || 1692243 markings, 3483224 edges, 627 markings/sec, 2535 secs
lola: STP completed || 1 tries, 725548 fired transitions, 2540 secs || 1695388 markings, 3489845 edges, 629 markings/sec, 2540 secs
lola: STP completed || 1 tries, 727004 fired transitions, 2545 secs || 1698508 markings, 3496367 edges, 624 markings/sec, 2545 secs
lola: STP completed || 1 tries, 728477 fired transitions, 2550 secs || 1701704 markings, 3502928 edges, 639 markings/sec, 2550 secs
lola: STP completed || 1 tries, 729972 fired transitions, 2555 secs || 1704918 markings, 3509488 edges, 643 markings/sec, 2555 secs
lola: STP completed || 1 tries, 731406 fired transitions, 2560 secs || 1708189 markings, 3516052 edges, 654 markings/sec, 2560 secs
lola: STP completed || 1 tries, 732719 fired transitions, 2565 secs || 1711551 markings, 3522797 edges, 672 markings/sec, 2565 secs
lola: STP completed || 1 tries, 734025 fired transitions, 2570 secs || 1714687 markings, 3529209 edges, 627 markings/sec, 2570 secs
lola: STP completed || 1 tries, 735463 fired transitions, 2575 secs || 1717941 markings, 3535881 edges, 651 markings/sec, 2575 secs
lola: STP completed || 1 tries, 736542 fired transitions, 2580 secs || 1721246 markings, 3542536 edges, 661 markings/sec, 2580 secs
lola: STP completed || 1 tries, 737994 fired transitions, 2585 secs || 1724522 markings, 3549310 edges, 655 markings/sec, 2585 secs
lola: STP completed || 1 tries, 739210 fired transitions, 2590 secs || 1727586 markings, 3555668 edges, 613 markings/sec, 2590 secs
lola: STP completed || 1 tries, 740640 fired transitions, 2595 secs || 1731061 markings, 3562997 edges, 695 markings/sec, 2595 secs
lola: STP completed || 1 tries, 742062 fired transitions, 2600 secs || 1734561 markings, 3570178 edges, 700 markings/sec, 2600 secs
lola: STP completed || 1 tries, 743504 fired transitions, 2605 secs || 1737914 markings, 3577210 edges, 671 markings/sec, 2605 secs
lola: STP completed || 1 tries, 745010 fired transitions, 2610 secs || 1741285 markings, 3583999 edges, 674 markings/sec, 2610 secs
lola: STP completed || 1 tries, 746571 fired transitions, 2615 secs || 1744531 markings, 3590578 edges, 649 markings/sec, 2615 secs
lola: STP completed || 1 tries, 748084 fired transitions, 2620 secs || 1747820 markings, 3597320 edges, 658 markings/sec, 2620 secs
lola: STP completed || 1 tries, 749409 fired transitions, 2625 secs || 1751127 markings, 3604016 edges, 661 markings/sec, 2625 secs
lola: STP completed || 1 tries, 750920 fired transitions, 2630 secs || 1754583 markings, 3610992 edges, 691 markings/sec, 2630 secs
lola: STP completed || 1 tries, 752396 fired transitions, 2635 secs || 1757915 markings, 3617712 edges, 666 markings/sec, 2635 secs
lola: STP completed || 1 tries, 753854 fired transitions, 2640 secs || 1761221 markings, 3624448 edges, 661 markings/sec, 2640 secs
lola: STP completed || 1 tries, 755416 fired transitions, 2645 secs || 1764608 markings, 3631292 edges, 677 markings/sec, 2645 secs
lola: STP completed || 1 tries, 756996 fired transitions, 2650 secs || 1768015 markings, 3638521 edges, 681 markings/sec, 2650 secs
lola: STP completed || 1 tries, 758440 fired transitions, 2655 secs || 1771511 markings, 3645918 edges, 699 markings/sec, 2655 secs
lola: STP completed || 1 tries, 759963 fired transitions, 2660 secs || 1774988 markings, 3653091 edges, 695 markings/sec, 2660 secs
lola: STP completed || 1 tries, 761522 fired transitions, 2665 secs || 1778463 markings, 3660414 edges, 695 markings/sec, 2665 secs
lola: STP completed || 1 tries, 763000 fired transitions, 2670 secs || 1781626 markings, 3667038 edges, 633 markings/sec, 2670 secs
lola: STP completed || 1 tries, 764466 fired transitions, 2675 secs || 1784800 markings, 3673695 edges, 635 markings/sec, 2675 secs
lola: STP completed || 1 tries, 765746 fired transitions, 2680 secs || 1787938 markings, 3680360 edges, 628 markings/sec, 2680 secs
lola: STP completed || 1 tries, 767160 fired transitions, 2685 secs || 1791464 markings, 3687826 edges, 705 markings/sec, 2685 secs
lola: STP completed || 1 tries, 768399 fired transitions, 2690 secs || 1794779 markings, 3694817 edges, 663 markings/sec, 2690 secs
lola: STP completed || 1 tries, 769826 fired transitions, 2695 secs || 1798174 markings, 3702042 edges, 679 markings/sec, 2695 secs
lola: STP completed || 1 tries, 771347 fired transitions, 2700 secs || 1801563 markings, 3709215 edges, 678 markings/sec, 2700 secs
lola: STP completed || 1 tries, 772896 fired transitions, 2705 secs || 1804945 markings, 3716269 edges, 676 markings/sec, 2705 secs
lola: STP completed || 1 tries, 774491 fired transitions, 2710 secs || 1808450 markings, 3723562 edges, 701 markings/sec, 2710 secs
lola: STP completed || 1 tries, 776045 fired transitions, 2715 secs || 1811926 markings, 3730941 edges, 695 markings/sec, 2715 secs
lola: STP completed || 1 tries, 777522 fired transitions, 2720 secs || 1815052 markings, 3737466 edges, 625 markings/sec, 2720 secs
lola: STP completed || 1 tries, 778926 fired transitions, 2725 secs || 1818431 markings, 3744633 edges, 676 markings/sec, 2725 secs
lola: STP completed || 1 tries, 780425 fired transitions, 2730 secs || 1821920 markings, 3751594 edges, 698 markings/sec, 2730 secs
lola: STP completed || 1 tries, 781745 fired transitions, 2735 secs || 1825380 markings, 3758685 edges, 692 markings/sec, 2735 secs
lola: STP completed || 1 tries, 783335 fired transitions, 2740 secs || 1828814 markings, 3765779 edges, 687 markings/sec, 2740 secs
lola: STP completed || 1 tries, 784826 fired transitions, 2745 secs || 1832113 markings, 3772486 edges, 660 markings/sec, 2745 secs
lola: STP completed || 1 tries, 786343 fired transitions, 2750 secs || 1835335 markings, 3779073 edges, 644 markings/sec, 2750 secs
lola: STP completed || 1 tries, 787638 fired transitions, 2755 secs || 1838733 markings, 3785966 edges, 680 markings/sec, 2755 secs
lola: STP completed || 1 tries, 789074 fired transitions, 2760 secs || 1842053 markings, 3792621 edges, 664 markings/sec, 2760 secs
lola: STP completed || 1 tries, 790469 fired transitions, 2765 secs || 1845503 markings, 3799735 edges, 690 markings/sec, 2765 secs
lola: STP completed || 1 tries, 792136 fired transitions, 2770 secs || 1848847 markings, 3806529 edges, 669 markings/sec, 2770 secs
lola: STP completed || 1 tries, 793479 fired transitions, 2775 secs || 1852276 markings, 3813569 edges, 686 markings/sec, 2775 secs
lola: STP completed || 1 tries, 795057 fired transitions, 2780 secs || 1855702 markings, 3820844 edges, 685 markings/sec, 2780 secs
lola: STP completed || 1 tries, 796579 fired transitions, 2785 secs || 1859116 markings, 3828041 edges, 683 markings/sec, 2785 secs
lola: STP completed || 1 tries, 798099 fired transitions, 2790 secs || 1862605 markings, 3835359 edges, 698 markings/sec, 2790 secs
lola: STP completed || 1 tries, 799402 fired transitions, 2795 secs || 1865714 markings, 3841773 edges, 622 markings/sec, 2795 secs
lola: STP completed || 1 tries, 800891 fired transitions, 2800 secs || 1869182 markings, 3848952 edges, 694 markings/sec, 2800 secs
lola: STP completed || 1 tries, 802415 fired transitions, 2805 secs || 1872501 markings, 3855944 edges, 664 markings/sec, 2805 secs
lola: STP completed || 1 tries, 803871 fired transitions, 2810 secs || 1875870 markings, 3863056 edges, 674 markings/sec, 2810 secs
lola: STP completed || 1 tries, 805251 fired transitions, 2815 secs || 1879349 markings, 3870322 edges, 696 markings/sec, 2815 secs
lola: STP completed || 1 tries, 806758 fired transitions, 2820 secs || 1882846 markings, 3877724 edges, 699 markings/sec, 2820 secs
lola: STP completed || 1 tries, 808312 fired transitions, 2825 secs || 1885971 markings, 3884200 edges, 625 markings/sec, 2825 secs
lola: STP completed || 1 tries, 809693 fired transitions, 2830 secs || 1889294 markings, 3890962 edges, 665 markings/sec, 2830 secs
lola: STP completed || 1 tries, 811234 fired transitions, 2835 secs || 1892664 markings, 3897813 edges, 674 markings/sec, 2835 secs
lola: STP completed || 1 tries, 812625 fired transitions, 2840 secs || 1896144 markings, 3904781 edges, 696 markings/sec, 2840 secs
lola: STP completed || 1 tries, 814028 fired transitions, 2845 secs || 1899379 markings, 3911416 edges, 647 markings/sec, 2845 secs
lola: STP completed || 1 tries, 815535 fired transitions, 2850 secs || 1902724 markings, 3918086 edges, 669 markings/sec, 2850 secs
lola: STP completed || 1 tries, 816907 fired transitions, 2855 secs || 1906116 markings, 3924972 edges, 678 markings/sec, 2855 secs
lola: STP completed || 1 tries, 818423 fired transitions, 2860 secs || 1909539 markings, 3931959 edges, 685 markings/sec, 2860 secs
lola: STP completed || 1 tries, 819909 fired transitions, 2865 secs || 1913037 markings, 3939134 edges, 700 markings/sec, 2865 secs
lola: STP completed || 1 tries, 821373 fired transitions, 2870 secs || 1916418 markings, 3946190 edges, 676 markings/sec, 2870 secs
lola: STP completed || 1 tries, 822922 fired transitions, 2875 secs || 1919833 markings, 3953410 edges, 683 markings/sec, 2875 secs
lola: STP completed || 1 tries, 824612 fired transitions, 2880 secs || 1923326 markings, 3960692 edges, 699 markings/sec, 2880 secs
lola: STP completed || 1 tries, 826224 fired transitions, 2885 secs || 1926531 markings, 3967421 edges, 641 markings/sec, 2885 secs
lola: STP completed || 1 tries, 827579 fired transitions, 2890 secs || 1929826 markings, 3974108 edges, 659 markings/sec, 2890 secs
lola: STP completed || 1 tries, 828867 fired transitions, 2895 secs || 1933177 markings, 3980879 edges, 670 markings/sec, 2895 secs
lola: STP completed || 1 tries, 830518 fired transitions, 2900 secs || 1936516 markings, 3987669 edges, 668 markings/sec, 2900 secs
lola: STP completed || 1 tries, 831954 fired transitions, 2905 secs || 1939806 markings, 3994295 edges, 658 markings/sec, 2905 secs
lola: STP completed || 1 tries, 833575 fired transitions, 2910 secs || 1943011 markings, 4000849 edges, 641 markings/sec, 2910 secs
lola: STP completed || 1 tries, 835163 fired transitions, 2915 secs || 1946394 markings, 4007581 edges, 677 markings/sec, 2915 secs
lola: STP completed || 1 tries, 836595 fired transitions, 2920 secs || 1949719 markings, 4014335 edges, 665 markings/sec, 2920 secs
lola: STP completed || 1 tries, 837933 fired transitions, 2925 secs || 1953164 markings, 4021384 edges, 689 markings/sec, 2925 secs
lola: STP completed || 1 tries, 839422 fired transitions, 2930 secs || 1956607 markings, 4028524 edges, 689 markings/sec, 2930 secs
lola: STP completed || 1 tries, 840791 fired transitions, 2935 secs || 1959981 markings, 4035606 edges, 675 markings/sec, 2935 secs
lola: STP completed || 1 tries, 842275 fired transitions, 2940 secs || 1963387 markings, 4042692 edges, 681 markings/sec, 2940 secs
lola: STP completed || 1 tries, 843788 fired transitions, 2945 secs || 1966751 markings, 4049813 edges, 673 markings/sec, 2945 secs
lola: STP completed || 1 tries, 845408 fired transitions, 2950 secs || 1970129 markings, 4056858 edges, 676 markings/sec, 2950 secs
lola: STP completed || 1 tries, 846851 fired transitions, 2955 secs || 1973523 markings, 4063948 edges, 679 markings/sec, 2955 secs
lola: STP completed || 1 tries, 848466 fired transitions, 2960 secs || 1976930 markings, 4071127 edges, 681 markings/sec, 2960 secs
lola: STP completed || 1 tries, 849771 fired transitions, 2965 secs || 1980369 markings, 4078288 edges, 688 markings/sec, 2965 secs
lola: STP completed || 1 tries, 850911 fired transitions, 2970 secs || 1983863 markings, 4085625 edges, 699 markings/sec, 2970 secs
lola: STP completed || 1 tries, 852127 fired transitions, 2975 secs || 1987240 markings, 4092741 edges, 675 markings/sec, 2975 secs
lola: STP completed || 1 tries, 853116 fired transitions, 2980 secs || 1990756 markings, 4100214 edges, 703 markings/sec, 2980 secs
lola: STP completed || 1 tries, 854408 fired transitions, 2985 secs || 1993966 markings, 4106897 edges, 642 markings/sec, 2985 secs
lola: STP completed || 1 tries, 855684 fired transitions, 2990 secs || 1997068 markings, 4113138 edges, 620 markings/sec, 2990 secs
lola: STP completed || 1 tries, 857241 fired transitions, 2995 secs || 2000208 markings, 4119565 edges, 628 markings/sec, 2995 secs
lola: STP completed || 1 tries, 858810 fired transitions, 3000 secs || 2003343 markings, 4125953 edges, 627 markings/sec, 3000 secs
lola: STP completed || 1 tries, 860417 fired transitions, 3005 secs || 2006591 markings, 4132509 edges, 650 markings/sec, 3005 secs
lola: STP completed || 1 tries, 862006 fired transitions, 3010 secs || 2009592 markings, 4138615 edges, 600 markings/sec, 3010 secs
lola: STP completed || 1 tries, 863466 fired transitions, 3015 secs || 2012730 markings, 4144932 edges, 628 markings/sec, 3015 secs
lola: STP completed || 1 tries, 864972 fired transitions, 3020 secs || 2015785 markings, 4151215 edges, 611 markings/sec, 3020 secs
lola: STP completed || 1 tries, 866506 fired transitions, 3025 secs || 2018899 markings, 4157558 edges, 623 markings/sec, 3025 secs
lola: STP completed || 1 tries, 867557 fired transitions, 3030 secs || 2022350 markings, 4164530 edges, 690 markings/sec, 3030 secs
lola: STP completed || 1 tries, 868584 fired transitions, 3035 secs || 2025850 markings, 4171893 edges, 700 markings/sec, 3035 secs
lola: STP completed || 1 tries, 869522 fired transitions, 3040 secs || 2029208 markings, 4178994 edges, 672 markings/sec, 3040 secs
lola: STP completed || 1 tries, 870570 fired transitions, 3045 secs || 2032658 markings, 4186266 edges, 690 markings/sec, 3045 secs
lola: STP completed || 1 tries, 871655 fired transitions, 3050 secs || 2036117 markings, 4193531 edges, 692 markings/sec, 3050 secs
lola: STP completed || 1 tries, 872880 fired transitions, 3055 secs || 2039410 markings, 4200387 edges, 659 markings/sec, 3055 secs
lola: STP completed || 1 tries, 874329 fired transitions, 3060 secs || 2042410 markings, 4206468 edges, 600 markings/sec, 3060 secs
lola: STP completed || 1 tries, 875782 fired transitions, 3065 secs || 2045511 markings, 4212657 edges, 620 markings/sec, 3065 secs
lola: STP completed || 1 tries, 877273 fired transitions, 3070 secs || 2048804 markings, 4219459 edges, 659 markings/sec, 3070 secs
lola: STP completed || 1 tries, 878697 fired transitions, 3075 secs || 2052165 markings, 4226379 edges, 672 markings/sec, 3075 secs
lola: STP completed || 1 tries, 880100 fired transitions, 3080 secs || 2055446 markings, 4232972 edges, 656 markings/sec, 3080 secs
lola: STP completed || 1 tries, 881496 fired transitions, 3085 secs || 2058856 markings, 4239821 edges, 682 markings/sec, 3085 secs
lola: STP completed || 1 tries, 882965 fired transitions, 3090 secs || 2062107 markings, 4246447 edges, 650 markings/sec, 3090 secs
lola: STP completed || 1 tries, 884412 fired transitions, 3095 secs || 2065513 markings, 4253426 edges, 681 markings/sec, 3095 secs
lola: STP completed || 1 tries, 885779 fired transitions, 3100 secs || 2068862 markings, 4260472 edges, 670 markings/sec, 3100 secs
lola: STP completed || 1 tries, 887087 fired transitions, 3105 secs || 2072303 markings, 4267611 edges, 688 markings/sec, 3105 secs
lola: STP completed || 1 tries, 888567 fired transitions, 3110 secs || 2075690 markings, 4274694 edges, 677 markings/sec, 3110 secs
lola: STP completed || 1 tries, 890085 fired transitions, 3115 secs || 2079242 markings, 4281988 edges, 710 markings/sec, 3115 secs
lola: STP completed || 1 tries, 891448 fired transitions, 3120 secs || 2082839 markings, 4289549 edges, 719 markings/sec, 3120 secs
lola: STP completed || 1 tries, 893067 fired transitions, 3125 secs || 2086404 markings, 4296907 edges, 713 markings/sec, 3125 secs
lola: STP completed || 1 tries, 894362 fired transitions, 3130 secs || 2089821 markings, 4304017 edges, 683 markings/sec, 3130 secs
lola: STP completed || 1 tries, 896113 fired transitions, 3135 secs || 2093021 markings, 4310649 edges, 640 markings/sec, 3135 secs
lola: STP completed || 1 tries, 897345 fired transitions, 3140 secs || 2096029 markings, 4316791 edges, 602 markings/sec, 3140 secs
lola: STP completed || 1 tries, 898333 fired transitions, 3145 secs || 2098666 markings, 4322115 edges, 527 markings/sec, 3145 secs
lola: STP completed || 1 tries, 899477 fired transitions, 3150 secs || 2101346 markings, 4327642 edges, 536 markings/sec, 3150 secs
lola: STP completed || 1 tries, 900600 fired transitions, 3155 secs || 2104039 markings, 4333100 edges, 539 markings/sec, 3155 secs
lola: STP completed || 1 tries, 901734 fired transitions, 3160 secs || 2106631 markings, 4338330 edges, 518 markings/sec, 3160 secs
lola: STP completed || 1 tries, 902834 fired transitions, 3165 secs || 2109398 markings, 4343922 edges, 553 markings/sec, 3165 secs
lola: STP completed || 1 tries, 904284 fired transitions, 3170 secs || 2112464 markings, 4350185 edges, 613 markings/sec, 3170 secs
lola: STP completed || 1 tries, 905513 fired transitions, 3175 secs || 2115135 markings, 4355605 edges, 534 markings/sec, 3175 secs
lola: STP completed || 1 tries, 906543 fired transitions, 3180 secs || 2117984 markings, 4361584 edges, 570 markings/sec, 3180 secs
lola: STP completed || 1 tries, 907798 fired transitions, 3185 secs || 2120794 markings, 4367439 edges, 562 markings/sec, 3185 secs
lola: STP completed || 1 tries, 908845 fired transitions, 3190 secs || 2123615 markings, 4373350 edges, 564 markings/sec, 3190 secs
lola: STP completed || 1 tries, 909978 fired transitions, 3195 secs || 2126616 markings, 4379654 edges, 600 markings/sec, 3195 secs
lola: STP completed || 1 tries, 911006 fired transitions, 3200 secs || 2130003 markings, 4386834 edges, 677 markings/sec, 3200 secs
lola: STP completed || 1 tries, 911949 fired transitions, 3205 secs || 2133470 markings, 4394027 edges, 693 markings/sec, 3205 secs
lola: STP completed || 1 tries, 913142 fired transitions, 3210 secs || 2136547 markings, 4400407 edges, 615 markings/sec, 3210 secs
lola: STP completed || 1 tries, 914222 fired transitions, 3215 secs || 2139823 markings, 4407250 edges, 655 markings/sec, 3215 secs
lola: STP completed || 1 tries, 915257 fired transitions, 3220 secs || 2143181 markings, 4414327 edges, 672 markings/sec, 3220 secs
lola: STP completed || 1 tries, 916306 fired transitions, 3225 secs || 2146353 markings, 4420965 edges, 634 markings/sec, 3225 secs
lola: STP completed || 1 tries, 917273 fired transitions, 3230 secs || 2149451 markings, 4427577 edges, 620 markings/sec, 3230 secs
lola: STP completed || 1 tries, 918304 fired transitions, 3235 secs || 2152611 markings, 4433920 edges, 632 markings/sec, 3235 secs
lola: STP completed || 1 tries, 919325 fired transitions, 3240 secs || 2155793 markings, 4440387 edges, 636 markings/sec, 3240 secs
lola: STP completed || 1 tries, 920372 fired transitions, 3245 secs || 2158988 markings, 4446920 edges, 639 markings/sec, 3245 secs
lola: STP completed || 1 tries, 921456 fired transitions, 3250 secs || 2162159 markings, 4453354 edges, 634 markings/sec, 3250 secs
lola: STP completed || 1 tries, 922511 fired transitions, 3255 secs || 2165472 markings, 4459954 edges, 663 markings/sec, 3255 secs
lola: STP completed || 1 tries, 923443 fired transitions, 3260 secs || 2168925 markings, 4466924 edges, 691 markings/sec, 3260 secs
lola: STP completed || 1 tries, 924624 fired transitions, 3265 secs || 2172160 markings, 4473523 edges, 647 markings/sec, 3265 secs
lola: STP completed || 1 tries, 926203 fired transitions, 3270 secs || 2175140 markings, 4479612 edges, 596 markings/sec, 3270 secs
lola: STP completed || 1 tries, 927564 fired transitions, 3275 secs || 2178240 markings, 4485900 edges, 620 markings/sec, 3275 secs
lola: STP completed || 1 tries, 929185 fired transitions, 3280 secs || 2181434 markings, 4492576 edges, 639 markings/sec, 3280 secs
lola: STP completed || 1 tries, 930729 fired transitions, 3285 secs || 2184522 markings, 4498975 edges, 618 markings/sec, 3285 secs
lola: STP completed || 1 tries, 931925 fired transitions, 3290 secs || 2187799 markings, 4505897 edges, 655 markings/sec, 3290 secs
lola: STP completed || 1 tries, 933179 fired transitions, 3295 secs || 2191062 markings, 4512787 edges, 653 markings/sec, 3295 secs
lola: STP completed || 1 tries, 934701 fired transitions, 3300 secs || 2194157 markings, 4519318 edges, 619 markings/sec, 3300 secs
lola: STP completed || 1 tries, 936160 fired transitions, 3305 secs || 2197336 markings, 4526068 edges, 636 markings/sec, 3305 secs
lola: STP completed || 1 tries, 937569 fired transitions, 3310 secs || 2200307 markings, 4532408 edges, 594 markings/sec, 3310 secs
lola: STP completed || 1 tries, 939103 fired transitions, 3315 secs || 2203469 markings, 4538972 edges, 632 markings/sec, 3315 secs
lola: STP completed || 1 tries, 940340 fired transitions, 3320 secs || 2206562 markings, 4545473 edges, 619 markings/sec, 3320 secs
lola: STP completed || 1 tries, 941995 fired transitions, 3325 secs || 2209645 markings, 4551951 edges, 617 markings/sec, 3325 secs
lola: STP completed || 1 tries, 943645 fired transitions, 3330 secs || 2212890 markings, 4558586 edges, 649 markings/sec, 3330 secs
lola: STP completed || 1 tries, 945369 fired transitions, 3335 secs || 2216089 markings, 4565100 edges, 640 markings/sec, 3335 secs
lola: STP completed || 1 tries, 946721 fired transitions, 3340 secs || 2219469 markings, 4571932 edges, 676 markings/sec, 3340 secs
lola: STP completed || 1 tries, 948265 fired transitions, 3345 secs || 2222760 markings, 4578608 edges, 658 markings/sec, 3345 secs
lola: STP completed || 1 tries, 949617 fired transitions, 3350 secs || 2226129 markings, 4585422 edges, 674 markings/sec, 3350 secs
lola: STP completed || 1 tries, 951268 fired transitions, 3355 secs || 2229465 markings, 4592232 edges, 667 markings/sec, 3355 secs
lola: STP completed || 1 tries, 952538 fired transitions, 3360 secs || 2232960 markings, 4599314 edges, 699 markings/sec, 3360 secs
lola: STP completed || 1 tries, 953932 fired transitions, 3365 secs || 2236010 markings, 4605544 edges, 610 markings/sec, 3365 secs
lola: STP completed || 1 tries, 955220 fired transitions, 3370 secs || 2239339 markings, 4612161 edges, 666 markings/sec, 3370 secs
lola: STP completed || 1 tries, 956689 fired transitions, 3375 secs || 2242700 markings, 4618987 edges, 672 markings/sec, 3375 secs
lola: STP completed || 1 tries, 958261 fired transitions, 3380 secs || 2246103 markings, 4625950 edges, 681 markings/sec, 3380 secs
lola: STP completed || 1 tries, 959758 fired transitions, 3385 secs || 2249542 markings, 4633064 edges, 688 markings/sec, 3385 secs
lola: STP completed || 1 tries, 961219 fired transitions, 3390 secs || 2252896 markings, 4640124 edges, 671 markings/sec, 3390 secs
lola: STP completed || 1 tries, 962911 fired transitions, 3395 secs || 2256297 markings, 4647251 edges, 680 markings/sec, 3395 secs
lola: STP completed || 1 tries, 964363 fired transitions, 3400 secs || 2259835 markings, 4654686 edges, 708 markings/sec, 3400 secs
lola: STP completed || 1 tries, 965746 fired transitions, 3405 secs || 2263433 markings, 4662041 edges, 720 markings/sec, 3405 secs
lola: STP completed || 1 tries, 967231 fired transitions, 3410 secs || 2266673 markings, 4668891 edges, 648 markings/sec, 3410 secs
lola: STP completed || 1 tries, 968558 fired transitions, 3415 secs || 2270083 markings, 4676050 edges, 682 markings/sec, 3415 secs
lola: STP completed || 1 tries, 970091 fired transitions, 3420 secs || 2273505 markings, 4683165 edges, 684 markings/sec, 3420 secs
lola: STP completed || 1 tries, 971653 fired transitions, 3425 secs || 2276855 markings, 4690164 edges, 670 markings/sec, 3425 secs
lola: STP completed || 1 tries, 972949 fired transitions, 3430 secs || 2280186 markings, 4696939 edges, 666 markings/sec, 3430 secs
lola: STP completed || 1 tries, 974297 fired transitions, 3435 secs || 2283602 markings, 4704020 edges, 683 markings/sec, 3435 secs
lola: STP completed || 1 tries, 975691 fired transitions, 3440 secs || 2287086 markings, 4711249 edges, 697 markings/sec, 3440 secs
lola: STP completed || 1 tries, 977325 fired transitions, 3445 secs || 2290566 markings, 4718488 edges, 696 markings/sec, 3445 secs
lola: STP completed || 1 tries, 978739 fired transitions, 3450 secs || 2293879 markings, 4725504 edges, 663 markings/sec, 3450 secs
lola: STP completed || 1 tries, 980269 fired transitions, 3455 secs || 2297319 markings, 4732630 edges, 688 markings/sec, 3455 secs
lola: STP completed || 1 tries, 981994 fired transitions, 3460 secs || 2300747 markings, 4739823 edges, 686 markings/sec, 3460 secs
lola: STP completed || 1 tries, 983541 fired transitions, 3465 secs || 2304261 markings, 4747157 edges, 703 markings/sec, 3465 secs
lola: STP completed || 1 tries, 984994 fired transitions, 3470 secs || 2307482 markings, 4753742 edges, 644 markings/sec, 3470 secs
lola: STP completed || 1 tries, 986425 fired transitions, 3475 secs || 2310784 markings, 4760430 edges, 660 markings/sec, 3475 secs
lola: STP completed || 1 tries, 987787 fired transitions, 3480 secs || 2314123 markings, 4767257 edges, 668 markings/sec, 3480 secs
lola: STP completed || 1 tries, 989281 fired transitions, 3485 secs || 2317388 markings, 4773919 edges, 653 markings/sec, 3485 secs
lola: STP completed || 1 tries, 990811 fired transitions, 3490 secs || 2320657 markings, 4780484 edges, 654 markings/sec, 3490 secs
lola: STP completed || 1 tries, 992316 fired transitions, 3495 secs || 2324116 markings, 4787465 edges, 692 markings/sec, 3495 secs
lola: STP completed || 1 tries, 993699 fired transitions, 3500 secs || 2327354 markings, 4793998 edges, 648 markings/sec, 3500 secs
lola: STP completed || 1 tries, 995200 fired transitions, 3505 secs || 2330846 markings, 4801211 edges, 698 markings/sec, 3505 secs
lola: STP completed || 1 tries, 996821 fired transitions, 3510 secs || 2334224 markings, 4808070 edges, 676 markings/sec, 3510 secs
lola: STP completed || 1 tries, 998281 fired transitions, 3515 secs || 2337566 markings, 4815127 edges, 668 markings/sec, 3515 secs
lola: STP completed || 1 tries, 999754 fired transitions, 3520 secs || 2341038 markings, 4822308 edges, 694 markings/sec, 3520 secs
lola: STP completed || 2 tries, 1000166 fired transitions, 3525 secs || 2344369 markings, 4829142 edges, 666 markings/sec, 3525 secs
lola: STP completed || 2 tries, 1000351 fired transitions, 3530 secs || 2347587 markings, 4835661 edges, 644 markings/sec, 3530 secs
lola: STP completed || 2 tries, 1001842 fired transitions, 3535 secs || 2350847 markings, 4842266 edges, 652 markings/sec, 3535 secs
lola: STP completed || 2 tries, 1003390 fired transitions, 3540 secs || 2354064 markings, 4848921 edges, 643 markings/sec, 3540 secs
lola: STP completed || 2 tries, 1004699 fired transitions, 3545 secs || 2357318 markings, 4855532 edges, 651 markings/sec, 3545 secs
lola: STP completed || 2 tries, 1005929 fired transitions, 3550 secs || 2360723 markings, 4862394 edges, 681 markings/sec, 3550 secs
lola: time limit reached - aborting
lola: memory consumption: 4477980 KB
lola: time consumption: 3559 seconds
BK_STOP 1527127566402
--------------------
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="SharedMemory-COL-000100"
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/SharedMemory-COL-000100.tgz
mv SharedMemory-COL-000100 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 SharedMemory-COL-000100, examination is ReachabilityDeadlock"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r172-smll-152708742800034"
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 ;