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)
.......
=====================================================================
Generated by BenchKit 2-3254
Executing tool lola
Input is Railroad-PT-020, examination is ReachabilityDeadlock
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r068-csrt-149440963100053
=====================================================================

--------------------
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 Railroad-PT-020-ReachabilityDeadlock-0

=== Now, execution of the tool begins

BK_START 1494799813871


Time: 3600 - MCC
----- Start make prepare stdout -----
checking for too many tokens
----- Start make result stdout -----
ReachabilityDeadlock @ Railroad-PT-020 @ 3540 seconds
Makefile:224: recipe for target 'verify' failed
----- Start make result stdout -----
lola: NET
lola: reading net from model.pnml.lola
lola: finished parsing
lola: closed net file model.pnml.lola
lola: 724/65536 symbol table entries, 0 collisions
lola: preprocessing...
lola: finding significant places
lola: 218 places, 506 transitions, 87 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 132 transition conflict sets
lola: TASK
lola: reading formula from Railroad-PT-020-ReachabilityDeadlock.task
lola: E (F (DEADLOCK))
lola: E (F (DEADLOCK))
lola: checking reachability of deadlocks
lola: Planning: workflow for deadlock check: siphon||findpath||search) (--findpath=par,--siphontrap=par)
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 348 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using deadlock preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: SEARCH (findpath)
lola: findpath: using deadlock preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: findpath: starting randomized, memory-less exploration (--search=findpath)
lola: findpath: searching for paths with maximal depth 1000000 (--depthlimit)
lola: findpath: no retry limit given (--retrylimit)
lola: findpath: transitions are chosen randomly
lola: computing symmetries (--symmetry)
lola: time limit for symmetry computation of 300 seconds given (--symmtimelimit)
lola: STP: formula with 8978 variables and 45659 clauses shipped to Minisat
lola: computed 1949 generators (108 in search tree, 1841 by composition)
lola: representing 1.41517E+105 symmetries
lola: 0 dead branches visited in search tree
lola: stp: The siphon/trap property does not hold
lola: STP completed || 1 tries, 143988 fired transitions, 0 secs || 113544 markings, 191798 edges, 22709 markings/sec, 0 secs
lola: STP completed || 1 tries, 289658 fired transitions, 5 secs || 233826 markings, 398867 edges, 24056 markings/sec, 5 secs
lola: STP completed || 1 tries, 429891 fired transitions, 10 secs || 341309 markings, 587837 edges, 21497 markings/sec, 10 secs
lola: STP completed || 1 tries, 565749 fired transitions, 15 secs || 448436 markings, 777356 edges, 21425 markings/sec, 15 secs
lola: STP completed || 1 tries, 707544 fired transitions, 20 secs || 557119 markings, 966554 edges, 21737 markings/sec, 20 secs
lola: STP completed || 1 tries, 850089 fired transitions, 25 secs || 671009 markings, 1162315 edges, 22778 markings/sec, 25 secs
lola: STP completed || 2 tries, 1000172 fired transitions, 30 secs || 792091 markings, 1372075 edges, 24216 markings/sec, 30 secs
lola: STP completed || 2 tries, 1144501 fired transitions, 35 secs || 911468 markings, 1580458 edges, 23875 markings/sec, 35 secs
lola: STP completed || 2 tries, 1297123 fired transitions, 40 secs || 1031724 markings, 1793321 edges, 24051 markings/sec, 40 secs
lola: STP completed || 2 tries, 1453259 fired transitions, 45 secs || 1158349 markings, 2010094 edges, 25325 markings/sec, 45 secs
lola: STP completed || 2 tries, 1613200 fired transitions, 50 secs || 1285020 markings, 2232992 edges, 25334 markings/sec, 50 secs
lola: STP completed || 2 tries, 1769872 fired transitions, 55 secs || 1410837 markings, 2452298 edges, 25163 markings/sec, 55 secs
lola: STP completed || 2 tries, 1924567 fired transitions, 60 secs || 1533766 markings, 2677768 edges, 24586 markings/sec, 60 secs
lola: STP completed || 3 tries, 2079895 fired transitions, 65 secs || 1660701 markings, 2897711 edges, 25387 markings/sec, 65 secs
lola: STP completed || 3 tries, 2235275 fired transitions, 70 secs || 1788495 markings, 3119166 edges, 25559 markings/sec, 70 secs
lola: STP completed || 3 tries, 2376979 fired transitions, 75 secs || 1909894 markings, 3333403 edges, 24280 markings/sec, 75 secs
lola: STP completed || 3 tries, 2530472 fired transitions, 80 secs || 2035187 markings, 3553036 edges, 25059 markings/sec, 80 secs
lola: STP completed || 3 tries, 2685121 fired transitions, 85 secs || 2161476 markings, 3774757 edges, 25258 markings/sec, 85 secs
lola: STP completed || 3 tries, 2843326 fired transitions, 90 secs || 2284070 markings, 4005733 edges, 24519 markings/sec, 90 secs
lola: STP completed || 3 tries, 2998077 fired transitions, 95 secs || 2403779 markings, 4240126 edges, 23942 markings/sec, 95 secs
lola: STP completed || 4 tries, 3139991 fired transitions, 100 secs || 2516801 markings, 4462619 edges, 22604 markings/sec, 100 secs
lola: STP completed || 4 tries, 3294179 fired transitions, 105 secs || 2635998 markings, 4693745 edges, 23839 markings/sec, 105 secs
lola: STP completed || 4 tries, 3450609 fired transitions, 110 secs || 2758762 markings, 4916929 edges, 24553 markings/sec, 110 secs
lola: STP completed || 4 tries, 3604471 fired transitions, 115 secs || 2883709 markings, 5142656 edges, 24989 markings/sec, 115 secs
lola: STP completed || 4 tries, 3763364 fired transitions, 120 secs || 3003838 markings, 5373846 edges, 24026 markings/sec, 120 secs
lola: STP completed || 4 tries, 3923020 fired transitions, 125 secs || 3118427 markings, 5612985 edges, 22918 markings/sec, 125 secs
lola: STP completed || 5 tries, 4083796 fired transitions, 130 secs || 3239610 markings, 5845991 edges, 24237 markings/sec, 130 secs
lola: STP completed || 5 tries, 4242791 fired transitions, 135 secs || 3356021 markings, 6084291 edges, 23282 markings/sec, 135 secs
lola: STP completed || 5 tries, 4402430 fired transitions, 140 secs || 3476307 markings, 6312818 edges, 24057 markings/sec, 140 secs
lola: STP completed || 5 tries, 4560856 fired transitions, 145 secs || 3590266 markings, 6552700 edges, 22792 markings/sec, 145 secs
lola: STP completed || 5 tries, 4721824 fired transitions, 150 secs || 3707269 markings, 6790143 edges, 23401 markings/sec, 150 secs
lola: STP completed || 5 tries, 4881690 fired transitions, 155 secs || 3828453 markings, 7018339 edges, 24237 markings/sec, 155 secs
lola: STP completed || 6 tries, 5041594 fired transitions, 160 secs || 3953297 markings, 7239357 edges, 24969 markings/sec, 160 secs
lola: STP completed || 6 tries, 5206948 fired transitions, 165 secs || 4069345 markings, 7494308 edges, 23210 markings/sec, 165 secs
lola: STP completed || 6 tries, 5372828 fired transitions, 170 secs || 4186746 markings, 7745773 edges, 23480 markings/sec, 170 secs
lola: STP completed || 6 tries, 5539231 fired transitions, 175 secs || 4308188 markings, 7991447 edges, 24288 markings/sec, 175 secs
lola: STP completed || 6 tries, 5706991 fired transitions, 180 secs || 4429260 markings, 8244744 edges, 24214 markings/sec, 180 secs
lola: STP completed || 6 tries, 5873816 fired transitions, 185 secs || 4545687 markings, 8500088 edges, 23285 markings/sec, 185 secs
lola: STP completed || 7 tries, 6040494 fired transitions, 190 secs || 4669182 markings, 8739242 edges, 24699 markings/sec, 190 secs
lola: STP completed || 7 tries, 6200749 fired transitions, 195 secs || 4790906 markings, 8968701 edges, 24345 markings/sec, 195 secs
lola: STP completed || 7 tries, 6359347 fired transitions, 200 secs || 4905203 markings, 9203024 edges, 22859 markings/sec, 200 secs
lola: STP completed || 7 tries, 6519923 fired transitions, 205 secs || 5023454 markings, 9436666 edges, 23650 markings/sec, 205 secs
lola: STP completed || 7 tries, 6680368 fired transitions, 210 secs || 5138675 markings, 9678345 edges, 23044 markings/sec, 210 secs
lola: STP completed || 7 tries, 6841559 fired transitions, 215 secs || 5254623 markings, 9918657 edges, 23190 markings/sec, 215 secs
lola: STP completed || 8 tries, 7002447 fired transitions, 220 secs || 5364771 markings, 10167249 edges, 22030 markings/sec, 220 secs
lola: STP completed || 8 tries, 7164842 fired transitions, 225 secs || 5478768 markings, 10415919 edges, 22799 markings/sec, 225 secs
lola: STP completed || 8 tries, 7325616 fired transitions, 230 secs || 5591231 markings, 10662342 edges, 22493 markings/sec, 230 secs
lola: STP completed || 8 tries, 7483932 fired transitions, 235 secs || 5702989 markings, 10902868 edges, 22352 markings/sec, 235 secs
lola: STP completed || 8 tries, 7639895 fired transitions, 240 secs || 5814236 markings, 11136476 edges, 22249 markings/sec, 240 secs
lola: STP completed || 8 tries, 7794281 fired transitions, 245 secs || 5925080 markings, 11372510 edges, 22169 markings/sec, 245 secs
lola: STP completed || 8 tries, 7949013 fired transitions, 250 secs || 6034020 markings, 11608926 edges, 21788 markings/sec, 250 secs
lola: STP completed || 9 tries, 8103693 fired transitions, 255 secs || 6153186 markings, 11830207 edges, 23833 markings/sec, 255 secs
lola: STP completed || 9 tries, 8258496 fired transitions, 260 secs || 6265840 markings, 12064822 edges, 22531 markings/sec, 260 secs
lola: STP completed || 9 tries, 8413180 fired transitions, 265 secs || 6374462 markings, 12309333 edges, 21724 markings/sec, 265 secs
lola: STP completed || 9 tries, 8567628 fired transitions, 270 secs || 6483023 markings, 12549628 edges, 21712 markings/sec, 270 secs
lola: STP completed || 9 tries, 8722295 fired transitions, 275 secs || 6591965 markings, 12788421 edges, 21788 markings/sec, 275 secs
lola: STP completed || 9 tries, 8877500 fired transitions, 280 secs || 6707591 markings, 13013997 edges, 23125 markings/sec, 280 secs
lola: STP completed || 10 tries, 9031894 fired transitions, 285 secs || 6815694 markings, 13258973 edges, 21621 markings/sec, 285 secs
lola: STP completed || 10 tries, 9186077 fired transitions, 290 secs || 6922843 markings, 13502575 edges, 21430 markings/sec, 290 secs
lola: STP completed || 10 tries, 9346096 fired transitions, 295 secs || 7035744 markings, 13745865 edges, 22580 markings/sec, 295 secs
lola: STP completed || 10 tries, 9506590 fired transitions, 300 secs || 7147982 markings, 13989895 edges, 22448 markings/sec, 300 secs
lola: STP completed || 10 tries, 9665013 fired transitions, 305 secs || 7257895 markings, 14234251 edges, 21983 markings/sec, 305 secs
lola: STP completed || 10 tries, 9824599 fired transitions, 310 secs || 7370985 markings, 14481627 edges, 22618 markings/sec, 310 secs
lola: STP completed || 10 tries, 9983903 fired transitions, 315 secs || 7492093 markings, 14709715 edges, 24222 markings/sec, 315 secs
lola: STP completed || 11 tries, 10143379 fired transitions, 320 secs || 7615826 markings, 14933666 edges, 24747 markings/sec, 320 secs
lola: STP completed || 11 tries, 10302083 fired transitions, 325 secs || 7728815 markings, 15178075 edges, 22598 markings/sec, 325 secs
lola: STP completed || 11 tries, 10461331 fired transitions, 330 secs || 7837545 markings, 15428997 edges, 21746 markings/sec, 330 secs
lola: STP completed || 11 tries, 10622518 fired transitions, 335 secs || 7948749 markings, 15679054 edges, 22241 markings/sec, 335 secs
lola: STP completed || 11 tries, 10783203 fired transitions, 340 secs || 8061309 markings, 15922908 edges, 22512 markings/sec, 340 secs
lola: STP completed || 11 tries, 10943534 fired transitions, 345 secs || 8175140 markings, 16162239 edges, 22766 markings/sec, 345 secs
lola: STP completed || 12 tries, 11102595 fired transitions, 350 secs || 8285809 markings, 16408787 edges, 22134 markings/sec, 350 secs
lola: STP completed || 12 tries, 11263062 fired transitions, 355 secs || 8394868 markings, 16659268 edges, 21812 markings/sec, 355 secs
lola: STP completed || 12 tries, 11423958 fired transitions, 360 secs || 8510919 markings, 16893811 edges, 23210 markings/sec, 360 secs
lola: STP completed || 12 tries, 11584168 fired transitions, 365 secs || 8630252 markings, 17128989 edges, 23867 markings/sec, 365 secs
lola: STP completed || 12 tries, 11743527 fired transitions, 370 secs || 8743102 markings, 17369466 edges, 22570 markings/sec, 370 secs
lola: STP completed || 12 tries, 11904142 fired transitions, 375 secs || 8853929 markings, 17618835 edges, 22165 markings/sec, 375 secs
lola: STP completed || 13 tries, 12064574 fired transitions, 380 secs || 8968554 markings, 17860779 edges, 22925 markings/sec, 380 secs
lola: STP completed || 13 tries, 12223361 fired transitions, 385 secs || 9078087 markings, 18111266 edges, 21907 markings/sec, 385 secs
lola: STP completed || 13 tries, 12383462 fired transitions, 390 secs || 9192321 markings, 18354164 edges, 22847 markings/sec, 390 secs
lola: STP completed || 13 tries, 12542007 fired transitions, 395 secs || 9301522 markings, 18600563 edges, 21840 markings/sec, 395 secs
lola: STP completed || 13 tries, 12695939 fired transitions, 400 secs || 9409218 markings, 18841555 edges, 21539 markings/sec, 400 secs
lola: STP completed || 13 tries, 12850459 fired transitions, 405 secs || 9518143 markings, 19078529 edges, 21785 markings/sec, 405 secs
lola: STP completed || 14 tries, 13005378 fired transitions, 410 secs || 9629668 markings, 19314886 edges, 22305 markings/sec, 410 secs
lola: STP completed || 14 tries, 13164166 fired transitions, 415 secs || 9742366 markings, 19562090 edges, 22540 markings/sec, 415 secs
lola: STP completed || 14 tries, 13324199 fired transitions, 420 secs || 9853305 markings, 19813093 edges, 22188 markings/sec, 420 secs
lola: STP completed || 14 tries, 13481485 fired transitions, 425 secs || 9960571 markings, 20065632 edges, 21453 markings/sec, 425 secs
lola: STP completed || 14 tries, 13641098 fired transitions, 430 secs || 10070365 markings, 20316100 edges, 21959 markings/sec, 430 secs
lola: STP completed || 14 tries, 13801559 fired transitions, 435 secs || 10183783 markings, 20561740 edges, 22684 markings/sec, 435 secs
lola: STP completed || 14 tries, 13961688 fired transitions, 440 secs || 10303040 markings, 20790448 edges, 23851 markings/sec, 440 secs
lola: STP completed || 15 tries, 14121245 fired transitions, 445 secs || 10415624 markings, 21037078 edges, 22517 markings/sec, 445 secs
lola: STP completed || 15 tries, 14280607 fired transitions, 450 secs || 10529477 markings, 21277072 edges, 22771 markings/sec, 450 secs
lola: STP completed || 15 tries, 14438038 fired transitions, 455 secs || 10636706 markings, 21525358 edges, 21446 markings/sec, 455 secs
lola: STP completed || 15 tries, 14597745 fired transitions, 460 secs || 10747252 markings, 21775293 edges, 22109 markings/sec, 460 secs
lola: STP completed || 15 tries, 14755958 fired transitions, 465 secs || 10859588 markings, 22016009 edges, 22467 markings/sec, 465 secs
lola: STP completed || 15 tries, 14916588 fired transitions, 470 secs || 10969774 markings, 22267576 edges, 22037 markings/sec, 470 secs
lola: STP completed || 16 tries, 15082046 fired transitions, 475 secs || 11086239 markings, 22524869 edges, 23293 markings/sec, 475 secs
lola: STP completed || 16 tries, 15247930 fired transitions, 480 secs || 11196188 markings, 22796329 edges, 21990 markings/sec, 480 secs
lola: STP completed || 16 tries, 15412841 fired transitions, 485 secs || 11311120 markings, 23044513 edges, 22986 markings/sec, 485 secs
lola: STP completed || 16 tries, 15578008 fired transitions, 490 secs || 11424432 markings, 23298876 edges, 22662 markings/sec, 490 secs
lola: STP completed || 16 tries, 15743634 fired transitions, 495 secs || 11545118 markings, 23539333 edges, 24137 markings/sec, 495 secs
lola: STP completed || 16 tries, 15908864 fired transitions, 500 secs || 11660875 markings, 23792125 edges, 23151 markings/sec, 500 secs
lola: STP completed || 17 tries, 16073290 fired transitions, 505 secs || 11776060 markings, 24042645 edges, 23037 markings/sec, 505 secs
lola: STP completed || 17 tries, 16237262 fired transitions, 510 secs || 11887866 markings, 24298420 edges, 22361 markings/sec, 510 secs
lola: STP completed || 17 tries, 16403415 fired transitions, 515 secs || 12004102 markings, 24550424 edges, 23247 markings/sec, 515 secs
lola: STP completed || 17 tries, 16568446 fired transitions, 520 secs || 12119576 markings, 24804759 edges, 23095 markings/sec, 520 secs
lola: STP completed || 17 tries, 16733042 fired transitions, 525 secs || 12229798 markings, 25068087 edges, 22044 markings/sec, 525 secs
lola: STP completed || 17 tries, 16897009 fired transitions, 530 secs || 12345189 markings, 25317268 edges, 23078 markings/sec, 530 secs
lola: STP completed || 18 tries, 17062991 fired transitions, 535 secs || 12472863 markings, 25545498 edges, 25535 markings/sec, 535 secs
lola: STP completed || 18 tries, 17201070 fired transitions, 540 secs || 12575548 markings, 25769878 edges, 20537 markings/sec, 540 secs
lola: STP completed || 18 tries, 17342723 fired transitions, 545 secs || 12673371 markings, 26007873 edges, 19565 markings/sec, 545 secs
lola: STP completed || 18 tries, 17484104 fired transitions, 550 secs || 12772420 markings, 26239294 edges, 19810 markings/sec, 550 secs
lola: STP completed || 18 tries, 17625223 fired transitions, 555 secs || 12872090 markings, 26468576 edges, 19934 markings/sec, 555 secs
lola: STP completed || 18 tries, 17766745 fired transitions, 560 secs || 12970750 markings, 26701527 edges, 19732 markings/sec, 560 secs
lola: STP completed || 18 tries, 17908114 fired transitions, 565 secs || 13069484 markings, 26937670 edges, 19747 markings/sec, 565 secs
lola: STP completed || 19 tries, 18049327 fired transitions, 570 secs || 13171316 markings, 27178339 edges, 20366 markings/sec, 570 secs
lola: STP completed || 19 tries, 18193223 fired transitions, 575 secs || 13279177 markings, 27420202 edges, 21572 markings/sec, 575 secs
lola: STP completed || 19 tries, 18358801 fired transitions, 580 secs || 13396140 markings, 27677159 edges, 23393 markings/sec, 580 secs
lola: STP completed || 19 tries, 18524435 fired transitions, 585 secs || 13509503 markings, 27931627 edges, 22673 markings/sec, 585 secs
lola: STP completed || 19 tries, 18690420 fired transitions, 590 secs || 13622951 markings, 28193401 edges, 22690 markings/sec, 590 secs
lola: STP completed || 19 tries, 18855889 fired transitions, 595 secs || 13745410 markings, 28436229 edges, 24492 markings/sec, 595 secs
lola: STP completed || 20 tries, 19021984 fired transitions, 600 secs || 13865912 markings, 28686658 edges, 24100 markings/sec, 600 secs
lola: STP completed || 20 tries, 19187128 fired transitions, 605 secs || 13977141 markings, 28949003 edges, 22246 markings/sec, 605 secs
lola: STP completed || 20 tries, 19352963 fired transitions, 610 secs || 14090179 markings, 29205846 edges, 22608 markings/sec, 610 secs
lola: STP completed || 20 tries, 19517779 fired transitions, 615 secs || 14202753 markings, 29463592 edges, 22515 markings/sec, 615 secs
lola: STP completed || 20 tries, 19681892 fired transitions, 620 secs || 14313097 markings, 29723333 edges, 22069 markings/sec, 620 secs
lola: STP completed || 20 tries, 19847749 fired transitions, 625 secs || 14427710 markings, 29981036 edges, 22923 markings/sec, 625 secs
lola: STP completed || 21 tries, 20012208 fired transitions, 630 secs || 14540629 markings, 30235947 edges, 22584 markings/sec, 630 secs
lola: STP completed || 21 tries, 20172306 fired transitions, 635 secs || 14648249 markings, 30489061 edges, 21524 markings/sec, 635 secs
lola: STP completed || 21 tries, 20331642 fired transitions, 640 secs || 14756206 markings, 30745172 edges, 21591 markings/sec, 640 secs
lola: STP completed || 21 tries, 20488426 fired transitions, 645 secs || 14865694 markings, 30990147 edges, 21898 markings/sec, 645 secs
lola: STP completed || 21 tries, 20648245 fired transitions, 650 secs || 14975847 markings, 31235308 edges, 22031 markings/sec, 650 secs
lola: STP completed || 21 tries, 20808912 fired transitions, 655 secs || 15082876 markings, 31492453 edges, 21406 markings/sec, 655 secs
lola: STP completed || 21 tries, 20968784 fired transitions, 660 secs || 15190228 markings, 31748308 edges, 21470 markings/sec, 660 secs
lola: STP completed || 22 tries, 21128621 fired transitions, 665 secs || 15304832 markings, 31988733 edges, 22921 markings/sec, 665 secs
lola: STP completed || 22 tries, 21292495 fired transitions, 670 secs || 15418578 markings, 32242917 edges, 22749 markings/sec, 670 secs
lola: STP completed || 22 tries, 21457470 fired transitions, 675 secs || 15529251 markings, 32509141 edges, 22135 markings/sec, 675 secs
lola: STP completed || 22 tries, 21622777 fired transitions, 680 secs || 15642144 markings, 32770357 edges, 22579 markings/sec, 680 secs
lola: STP completed || 22 tries, 21783675 fired transitions, 685 secs || 15750585 markings, 33025535 edges, 21688 markings/sec, 685 secs
lola: STP completed || 22 tries, 21947327 fired transitions, 690 secs || 15862099 markings, 33286066 edges, 22303 markings/sec, 690 secs
lola: STP completed || 23 tries, 22112441 fired transitions, 695 secs || 15973193 markings, 33545465 edges, 22219 markings/sec, 695 secs
lola: STP completed || 23 tries, 22277839 fired transitions, 700 secs || 16085885 markings, 33805491 edges, 22538 markings/sec, 700 secs
lola: STP completed || 23 tries, 22443060 fired transitions, 705 secs || 16198952 markings, 34062220 edges, 22613 markings/sec, 705 secs
lola: STP completed || 23 tries, 22608323 fired transitions, 710 secs || 16313124 markings, 34320402 edges, 22834 markings/sec, 710 secs
lola: STP completed || 23 tries, 22773766 fired transitions, 715 secs || 16427063 markings, 34582441 edges, 22788 markings/sec, 715 secs
lola: STP completed || 23 tries, 22939645 fired transitions, 720 secs || 16540315 markings, 34849590 edges, 22650 markings/sec, 720 secs
lola: STP completed || 24 tries, 23105134 fired transitions, 725 secs || 16655428 markings, 35104126 edges, 23023 markings/sec, 725 secs
lola: STP completed || 24 tries, 23261890 fired transitions, 730 secs || 16762899 markings, 35348211 edges, 21494 markings/sec, 730 secs
lola: STP completed || 24 tries, 23416274 fired transitions, 735 secs || 16879656 markings, 35573226 edges, 23351 markings/sec, 735 secs
lola: STP completed || 24 tries, 23570701 fired transitions, 740 secs || 16987079 markings, 35816054 edges, 21485 markings/sec, 740 secs
lola: STP completed || 24 tries, 23729781 fired transitions, 745 secs || 17093856 markings, 36074859 edges, 21355 markings/sec, 745 secs
lola: STP completed || 24 tries, 23895783 fired transitions, 750 secs || 17208372 markings, 36333601 edges, 22903 markings/sec, 750 secs
lola: STP completed || 25 tries, 24062381 fired transitions, 755 secs || 17322991 markings, 36595017 edges, 22924 markings/sec, 755 secs
lola: STP completed || 25 tries, 24226361 fired transitions, 760 secs || 17433485 markings, 36851282 edges, 22099 markings/sec, 760 secs
lola: STP completed || 25 tries, 24385810 fired transitions, 765 secs || 17541428 markings, 37106196 edges, 21589 markings/sec, 765 secs
lola: STP completed || 25 tries, 24546897 fired transitions, 770 secs || 17652070 markings, 37362561 edges, 22128 markings/sec, 770 secs
lola: STP completed || 25 tries, 24706992 fired transitions, 775 secs || 17760221 markings, 37622230 edges, 21630 markings/sec, 775 secs
lola: STP completed || 25 tries, 24864975 fired transitions, 780 secs || 17872910 markings, 37867323 edges, 22538 markings/sec, 780 secs
lola: STP completed || 26 tries, 25024907 fired transitions, 785 secs || 17987057 markings, 38110900 edges, 22829 markings/sec, 785 secs
lola: STP completed || 26 tries, 25187624 fired transitions, 790 secs || 18095643 markings, 38369423 edges, 21717 markings/sec, 790 secs
lola: STP completed || 26 tries, 25347434 fired transitions, 795 secs || 18203101 markings, 38610067 edges, 21492 markings/sec, 795 secs
lola: STP completed || 26 tries, 25503623 fired transitions, 800 secs || 18308341 markings, 38863909 edges, 21048 markings/sec, 800 secs
lola: STP completed || 26 tries, 25657604 fired transitions, 805 secs || 18414226 markings, 39113327 edges, 21177 markings/sec, 805 secs
lola: STP completed || 26 tries, 25813593 fired transitions, 810 secs || 18521330 markings, 39367208 edges, 21421 markings/sec, 810 secs
lola: STP completed || 26 tries, 25967375 fired transitions, 815 secs || 18625303 markings, 39618918 edges, 20795 markings/sec, 815 secs
lola: STP completed || 27 tries, 26121739 fired transitions, 820 secs || 18729840 markings, 39866326 edges, 20907 markings/sec, 820 secs
lola: STP completed || 27 tries, 26279045 fired transitions, 825 secs || 18840438 markings, 40107324 edges, 22120 markings/sec, 825 secs
lola: STP completed || 27 tries, 26442602 fired transitions, 830 secs || 18954346 markings, 40358920 edges, 22782 markings/sec, 830 secs
lola: STP completed || 27 tries, 26603937 fired transitions, 835 secs || 19064029 markings, 40616445 edges, 21937 markings/sec, 835 secs
lola: STP completed || 27 tries, 26760634 fired transitions, 840 secs || 19170097 markings, 40870310 edges, 21214 markings/sec, 840 secs
lola: STP completed || 27 tries, 26914583 fired transitions, 845 secs || 19274805 markings, 41120999 edges, 20942 markings/sec, 845 secs
lola: STP completed || 28 tries, 27068333 fired transitions, 850 secs || 19378962 markings, 41370334 edges, 20831 markings/sec, 850 secs
lola: STP completed || 28 tries, 27227465 fired transitions, 855 secs || 19490314 markings, 41615356 edges, 22270 markings/sec, 855 secs
lola: STP completed || 28 tries, 27386589 fired transitions, 860 secs || 19603729 markings, 41853991 edges, 22683 markings/sec, 860 secs
lola: STP completed || 28 tries, 27545625 fired transitions, 865 secs || 19711043 markings, 42107650 edges, 21463 markings/sec, 865 secs
lola: STP completed || 28 tries, 27706658 fired transitions, 870 secs || 19825415 markings, 42354919 edges, 22874 markings/sec, 870 secs
lola: STP completed || 28 tries, 27865264 fired transitions, 875 secs || 19934005 markings, 42608847 edges, 21718 markings/sec, 875 secs
lola: STP completed || 29 tries, 28025986 fired transitions, 880 secs || 20046839 markings, 42849431 edges, 22567 markings/sec, 880 secs
lola: STP completed || 29 tries, 28183919 fired transitions, 885 secs || 20155784 markings, 43102195 edges, 21789 markings/sec, 885 secs
lola: STP completed || 29 tries, 28340910 fired transitions, 890 secs || 20263688 markings, 43348775 edges, 21581 markings/sec, 890 secs
lola: STP completed || 29 tries, 28494806 fired transitions, 895 secs || 20373256 markings, 43589898 edges, 21914 markings/sec, 895 secs
lola: STP completed || 29 tries, 28651405 fired transitions, 900 secs || 20479794 markings, 43841837 edges, 21308 markings/sec, 900 secs
lola: STP completed || 29 tries, 28807879 fired transitions, 905 secs || 20587452 markings, 44090900 edges, 21532 markings/sec, 905 secs
lola: STP completed || 29 tries, 28963761 fired transitions, 910 secs || 20693909 markings, 44339495 edges, 21291 markings/sec, 910 secs
lola: STP completed || 30 tries, 29123796 fired transitions, 915 secs || 20801786 markings, 44595252 edges, 21575 markings/sec, 915 secs
lola: STP completed || 30 tries, 29283469 fired transitions, 920 secs || 20908075 markings, 44854962 edges, 21258 markings/sec, 920 secs
lola: STP completed || 30 tries, 29437364 fired transitions, 925 secs || 21013456 markings, 45106387 edges, 21076 markings/sec, 925 secs
lola: STP completed || 30 tries, 29593172 fired transitions, 930 secs || 21121053 markings, 45351460 edges, 21519 markings/sec, 930 secs
lola: STP completed || 30 tries, 29750535 fired transitions, 935 secs || 21226396 markings, 45605897 edges, 21069 markings/sec, 935 secs
lola: STP completed || 30 tries, 29904417 fired transitions, 940 secs || 21332028 markings, 45854496 edges, 21126 markings/sec, 940 secs
lola: STP completed || 31 tries, 30058056 fired transitions, 945 secs || 21436334 markings, 46105752 edges, 20861 markings/sec, 945 secs
lola: STP completed || 31 tries, 30214758 fired transitions, 950 secs || 21542550 markings, 46353832 edges, 21243 markings/sec, 950 secs
lola: STP completed || 31 tries, 30368408 fired transitions, 955 secs || 21648947 markings, 46600456 edges, 21279 markings/sec, 955 secs
lola: STP completed || 31 tries, 30522743 fired transitions, 960 secs || 21754780 markings, 46850272 edges, 21167 markings/sec, 960 secs
lola: STP completed || 31 tries, 30676483 fired transitions, 965 secs || 21861489 markings, 47095356 edges, 21342 markings/sec, 965 secs
lola: STP completed || 31 tries, 30830420 fired transitions, 970 secs || 21965053 markings, 47348023 edges, 20713 markings/sec, 970 secs
lola: STP completed || 31 tries, 30986677 fired transitions, 975 secs || 22068725 markings, 47605396 edges, 20734 markings/sec, 975 secs
lola: STP completed || 32 tries, 31141087 fired transitions, 980 secs || 22177249 markings, 47849554 edges, 21705 markings/sec, 980 secs
lola: STP completed || 32 tries, 31296905 fired transitions, 985 secs || 22282369 markings, 48106416 edges, 21024 markings/sec, 985 secs
lola: STP completed || 32 tries, 31450955 fired transitions, 990 secs || 22389291 markings, 48353726 edges, 21384 markings/sec, 990 secs
lola: STP completed || 32 tries, 31604815 fired transitions, 995 secs || 22496109 markings, 48596473 edges, 21364 markings/sec, 995 secs
lola: STP completed || 32 tries, 31760061 fired transitions, 1000 secs || 22601805 markings, 48845995 edges, 21139 markings/sec, 1000 secs
lola: STP completed || 32 tries, 31915532 fired transitions, 1005 secs || 22708396 markings, 49093933 edges, 21318 markings/sec, 1005 secs
lola: STP completed || 33 tries, 32071509 fired transitions, 1010 secs || 22818489 markings, 49333867 edges, 22019 markings/sec, 1010 secs
lola: STP completed || 33 tries, 32225556 fired transitions, 1015 secs || 22922393 markings, 49584743 edges, 20781 markings/sec, 1015 secs
lola: STP completed || 33 tries, 32380528 fired transitions, 1020 secs || 23031042 markings, 49832076 edges, 21730 markings/sec, 1020 secs
lola: STP completed || 33 tries, 32536573 fired transitions, 1025 secs || 23136702 markings, 50087064 edges, 21132 markings/sec, 1025 secs
lola: STP completed || 33 tries, 32692742 fired transitions, 1030 secs || 23243802 markings, 50336115 edges, 21420 markings/sec, 1030 secs
lola: STP completed || 33 tries, 32848726 fired transitions, 1035 secs || 23350701 markings, 50585884 edges, 21380 markings/sec, 1035 secs
lola: STP completed || 34 tries, 33002593 fired transitions, 1040 secs || 23456029 markings, 50831121 edges, 21066 markings/sec, 1040 secs
lola: STP completed || 34 tries, 33156637 fired transitions, 1045 secs || 23561371 markings, 51082027 edges, 21068 markings/sec, 1045 secs
lola: STP completed || 34 tries, 33310672 fired transitions, 1050 secs || 23667309 markings, 51327860 edges, 21188 markings/sec, 1050 secs
lola: STP completed || 34 tries, 33464429 fired transitions, 1055 secs || 23774985 markings, 51574362 edges, 21535 markings/sec, 1055 secs
lola: STP completed || 34 tries, 33618290 fired transitions, 1060 secs || 23879270 markings, 51827687 edges, 20857 markings/sec, 1060 secs
lola: STP completed || 34 tries, 33770984 fired transitions, 1065 secs || 23977936 markings, 52077025 edges, 19733 markings/sec, 1065 secs
lola: STP completed || 34 tries, 33926126 fired transitions, 1070 secs || 24083693 markings, 52326843 edges, 21151 markings/sec, 1070 secs
lola: STP completed || 35 tries, 34081953 fired transitions, 1075 secs || 24192359 markings, 52571080 edges, 21733 markings/sec, 1075 secs
lola: STP completed || 35 tries, 34240982 fired transitions, 1080 secs || 24301207 markings, 52822718 edges, 21770 markings/sec, 1080 secs
lola: STP completed || 35 tries, 34397407 fired transitions, 1085 secs || 24406747 markings, 53076327 edges, 21108 markings/sec, 1085 secs
lola: STP completed || 35 tries, 34551359 fired transitions, 1090 secs || 24508815 markings, 53334023 edges, 20414 markings/sec, 1090 secs
lola: STP completed || 35 tries, 34704762 fired transitions, 1095 secs || 24612240 markings, 53587178 edges, 20685 markings/sec, 1095 secs
lola: STP completed || 35 tries, 34858780 fired transitions, 1100 secs || 24719336 markings, 53828969 edges, 21419 markings/sec, 1100 secs
lola: STP completed || 36 tries, 35012986 fired transitions, 1105 secs || 24825380 markings, 54078881 edges, 21209 markings/sec, 1105 secs
lola: STP completed || 36 tries, 35167103 fired transitions, 1110 secs || 24929563 markings, 54325622 edges, 20837 markings/sec, 1110 secs
lola: STP completed || 36 tries, 35325187 fired transitions, 1115 secs || 25036969 markings, 54583063 edges, 21481 markings/sec, 1115 secs
lola: STP completed || 36 tries, 35484607 fired transitions, 1120 secs || 25149720 markings, 54827844 edges, 22550 markings/sec, 1120 secs
lola: STP completed || 36 tries, 35644124 fired transitions, 1125 secs || 25256887 markings, 55088169 edges, 21433 markings/sec, 1125 secs
lola: STP completed || 36 tries, 35799446 fired transitions, 1130 secs || 25361060 markings, 55341049 edges, 20835 markings/sec, 1130 secs
lola: STP completed || 36 tries, 35955900 fired transitions, 1135 secs || 25466559 markings, 55599373 edges, 21100 markings/sec, 1135 secs
lola: STP completed || 37 tries, 36109937 fired transitions, 1140 secs || 25574877 markings, 55842026 edges, 21664 markings/sec, 1140 secs
lola: STP completed || 37 tries, 36264292 fired transitions, 1145 secs || 25677611 markings, 56095757 edges, 20547 markings/sec, 1145 secs
lola: STP completed || 37 tries, 36418292 fired transitions, 1150 secs || 25781613 markings, 56347705 edges, 20800 markings/sec, 1150 secs
lola: STP completed || 37 tries, 36572219 fired transitions, 1155 secs || 25884406 markings, 56599187 edges, 20559 markings/sec, 1155 secs
lola: STP completed || 37 tries, 36725716 fired transitions, 1160 secs || 25988775 markings, 56851082 edges, 20874 markings/sec, 1160 secs
lola: STP completed || 37 tries, 36879721 fired transitions, 1165 secs || 26091836 markings, 57106190 edges, 20612 markings/sec, 1165 secs
lola: STP completed || 38 tries, 37033622 fired transitions, 1170 secs || 26195730 markings, 57355303 edges, 20779 markings/sec, 1170 secs
lola: STP completed || 38 tries, 37187841 fired transitions, 1175 secs || 26299623 markings, 57616436 edges, 20779 markings/sec, 1175 secs
lola: STP completed || 38 tries, 37343903 fired transitions, 1180 secs || 26403296 markings, 57871837 edges, 20735 markings/sec, 1180 secs
lola: STP completed || 38 tries, 37498502 fired transitions, 1185 secs || 26507463 markings, 58125326 edges, 20833 markings/sec, 1185 secs
lola: STP completed || 38 tries, 37649982 fired transitions, 1190 secs || 26608787 markings, 58375930 edges, 20265 markings/sec, 1190 secs
lola: STP completed || 38 tries, 37800296 fired transitions, 1195 secs || 26715668 markings, 58620138 edges, 21376 markings/sec, 1195 secs
lola: STP completed || 38 tries, 37952712 fired transitions, 1200 secs || 26820112 markings, 58871734 edges, 20889 markings/sec, 1200 secs
lola: STP completed || 39 tries, 38108473 fired transitions, 1205 secs || 26931958 markings, 59111099 edges, 22369 markings/sec, 1205 secs
lola: STP completed || 39 tries, 38257152 fired transitions, 1210 secs || 27031592 markings, 59365038 edges, 19927 markings/sec, 1210 secs
lola: STP completed || 39 tries, 38410971 fired transitions, 1215 secs || 27136633 markings, 59613880 edges, 21008 markings/sec, 1215 secs
lola: STP completed || 39 tries, 38566836 fired transitions, 1220 secs || 27239764 markings, 59875289 edges, 20626 markings/sec, 1220 secs
lola: STP completed || 39 tries, 38724857 fired transitions, 1225 secs || 27345264 markings, 60136524 edges, 21100 markings/sec, 1225 secs
lola: STP completed || 39 tries, 38878702 fired transitions, 1230 secs || 27449239 markings, 60390037 edges, 20795 markings/sec, 1230 secs
lola: STP completed || 40 tries, 39033564 fired transitions, 1235 secs || 27553150 markings, 60641305 edges, 20782 markings/sec, 1235 secs
lola: STP completed || 40 tries, 39188049 fired transitions, 1240 secs || 27656582 markings, 60893686 edges, 20686 markings/sec, 1240 secs
lola: STP completed || 40 tries, 39341561 fired transitions, 1245 secs || 27759562 markings, 61146110 edges, 20596 markings/sec, 1245 secs
lola: STP completed || 40 tries, 39495786 fired transitions, 1250 secs || 27874836 markings, 61375222 edges, 23055 markings/sec, 1250 secs
lola: STP completed || 40 tries, 39648999 fired transitions, 1255 secs || 27979297 markings, 61627814 edges, 20892 markings/sec, 1255 secs
lola: STP completed || 40 tries, 39798954 fired transitions, 1260 secs || 28073641 markings, 61862035 edges, 18869 markings/sec, 1260 secs
lola: STP completed || 40 tries, 39951171 fired transitions, 1265 secs || 28176601 markings, 62107566 edges, 20592 markings/sec, 1265 secs
lola: STP completed || 41 tries, 40105245 fired transitions, 1270 secs || 28280532 markings, 62358584 edges, 20786 markings/sec, 1270 secs
lola: STP completed || 41 tries, 40259311 fired transitions, 1275 secs || 28391939 markings, 62598091 edges, 22281 markings/sec, 1275 secs
lola: STP completed || 41 tries, 40413655 fired transitions, 1280 secs || 28503618 markings, 62841035 edges, 22336 markings/sec, 1280 secs
lola: STP completed || 41 tries, 40567456 fired transitions, 1285 secs || 28610877 markings, 63085087 edges, 21452 markings/sec, 1285 secs
lola: STP completed || 41 tries, 40721300 fired transitions, 1290 secs || 28715449 markings, 63333841 edges, 20914 markings/sec, 1290 secs
lola: STP completed || 41 tries, 40874864 fired transitions, 1295 secs || 28819765 markings, 63585692 edges, 20863 markings/sec, 1295 secs
lola: STP completed || 42 tries, 41028905 fired transitions, 1300 secs || 28927224 markings, 63829638 edges, 21492 markings/sec, 1300 secs
lola: STP completed || 42 tries, 41185012 fired transitions, 1305 secs || 29032908 markings, 64074815 edges, 21137 markings/sec, 1305 secs
lola: STP completed || 42 tries, 41342063 fired transitions, 1310 secs || 29140675 markings, 64328241 edges, 21553 markings/sec, 1310 secs
lola: STP completed || 42 tries, 41499500 fired transitions, 1315 secs || 29247413 markings, 64580868 edges, 21348 markings/sec, 1315 secs
lola: STP completed || 42 tries, 41655449 fired transitions, 1320 secs || 29354827 markings, 64824873 edges, 21483 markings/sec, 1320 secs
lola: STP completed || 42 tries, 41813099 fired transitions, 1325 secs || 29462312 markings, 65075812 edges, 21497 markings/sec, 1325 secs
lola: STP completed || 42 tries, 41966451 fired transitions, 1330 secs || 29565791 markings, 65329893 edges, 20696 markings/sec, 1330 secs
lola: STP completed || 43 tries, 42120750 fired transitions, 1335 secs || 29668174 markings, 65588400 edges, 20477 markings/sec, 1335 secs
lola: STP completed || 43 tries, 42275766 fired transitions, 1340 secs || 29772344 markings, 65839325 edges, 20834 markings/sec, 1340 secs
lola: STP completed || 43 tries, 42429456 fired transitions, 1345 secs || 29879334 markings, 66082574 edges, 21398 markings/sec, 1345 secs
lola: STP completed || 43 tries, 42583724 fired transitions, 1350 secs || 29980908 markings, 66345822 edges, 20315 markings/sec, 1350 secs
lola: STP completed || 43 tries, 42737596 fired transitions, 1355 secs || 30092986 markings, 66581525 edges, 22416 markings/sec, 1355 secs
lola: STP completed || 43 tries, 42891724 fired transitions, 1360 secs || 30198137 markings, 66828534 edges, 21030 markings/sec, 1360 secs
lola: STP completed || 44 tries, 43045639 fired transitions, 1365 secs || 30305687 markings, 67071559 edges, 21510 markings/sec, 1365 secs
lola: STP completed || 44 tries, 43199622 fired transitions, 1370 secs || 30412128 markings, 67317920 edges, 21288 markings/sec, 1370 secs
lola: STP completed || 44 tries, 43354495 fired transitions, 1375 secs || 30522159 markings, 67557150 edges, 22006 markings/sec, 1375 secs
lola: STP completed || 44 tries, 43498801 fired transitions, 1380 secs || 30617855 markings, 67796296 edges, 19139 markings/sec, 1380 secs
lola: STP completed || 44 tries, 43647372 fired transitions, 1385 secs || 30719741 markings, 68038987 edges, 20377 markings/sec, 1385 secs
lola: STP completed || 44 tries, 43801178 fired transitions, 1390 secs || 30823119 markings, 68298175 edges, 20676 markings/sec, 1390 secs
lola: STP completed || 44 tries, 43955311 fired transitions, 1395 secs || 30927230 markings, 68551764 edges, 20822 markings/sec, 1395 secs
lola: STP completed || 45 tries, 44109644 fired transitions, 1400 secs || 31030247 markings, 68808805 edges, 20603 markings/sec, 1400 secs
lola: STP completed || 45 tries, 44263775 fired transitions, 1405 secs || 31133558 markings, 69060207 edges, 20662 markings/sec, 1405 secs
lola: STP completed || 45 tries, 44418129 fired transitions, 1410 secs || 31241954 markings, 69306783 edges, 21679 markings/sec, 1410 secs
lola: STP completed || 45 tries, 44573670 fired transitions, 1415 secs || 31345585 markings, 69560580 edges, 20726 markings/sec, 1415 secs
lola: STP completed || 45 tries, 44727772 fired transitions, 1420 secs || 31450479 markings, 69810488 edges, 20979 markings/sec, 1420 secs
lola: STP completed || 45 tries, 44882637 fired transitions, 1425 secs || 31554849 markings, 70062450 edges, 20874 markings/sec, 1425 secs
lola: STP completed || 46 tries, 45036553 fired transitions, 1430 secs || 31657626 markings, 70314708 edges, 20555 markings/sec, 1430 secs
lola: STP completed || 46 tries, 45190830 fired transitions, 1435 secs || 31760560 markings, 70570332 edges, 20587 markings/sec, 1435 secs
lola: STP completed || 46 tries, 45344206 fired transitions, 1440 secs || 31860997 markings, 70830789 edges, 20087 markings/sec, 1440 secs
lola: STP completed || 46 tries, 45498551 fired transitions, 1445 secs || 31963315 markings, 71086187 edges, 20464 markings/sec, 1445 secs
lola: STP completed || 46 tries, 45653493 fired transitions, 1450 secs || 32068386 markings, 71339199 edges, 21014 markings/sec, 1450 secs
lola: STP completed || 46 tries, 45807968 fired transitions, 1455 secs || 32175263 markings, 71581468 edges, 21375 markings/sec, 1455 secs
lola: STP completed || 46 tries, 45962800 fired transitions, 1460 secs || 32279872 markings, 71832146 edges, 20922 markings/sec, 1460 secs
lola: STP completed || 47 tries, 46117877 fired transitions, 1465 secs || 32390964 markings, 72070333 edges, 22218 markings/sec, 1465 secs
lola: STP completed || 47 tries, 46271506 fired transitions, 1470 secs || 32491938 markings, 72330297 edges, 20195 markings/sec, 1470 secs
lola: STP completed || 47 tries, 46425747 fired transitions, 1475 secs || 32600710 markings, 72569735 edges, 21754 markings/sec, 1475 secs
lola: STP completed || 47 tries, 46580251 fired transitions, 1480 secs || 32705886 markings, 72820784 edges, 21035 markings/sec, 1480 secs
lola: STP completed || 47 tries, 46734241 fired transitions, 1485 secs || 32809393 markings, 73070567 edges, 20701 markings/sec, 1485 secs
lola: STP completed || 47 tries, 46889947 fired transitions, 1490 secs || 32920117 markings, 73305294 edges, 22145 markings/sec, 1490 secs
lola: STP completed || 48 tries, 47044509 fired transitions, 1495 secs || 33021208 markings, 73567182 edges, 20218 markings/sec, 1495 secs
lola: STP completed || 48 tries, 47198810 fired transitions, 1500 secs || 33125760 markings, 73819292 edges, 20910 markings/sec, 1500 secs
lola: STP completed || 48 tries, 47353799 fired transitions, 1505 secs || 33228284 markings, 74074234 edges, 20505 markings/sec, 1505 secs
lola: STP completed || 48 tries, 47509793 fired transitions, 1510 secs || 33330804 markings, 74324392 edges, 20504 markings/sec, 1510 secs
lola: STP completed || 48 tries, 47670094 fired transitions, 1515 secs || 33439562 markings, 74582176 edges, 21752 markings/sec, 1515 secs
lola: STP completed || 48 tries, 47829408 fired transitions, 1520 secs || 33544648 markings, 74839095 edges, 21017 markings/sec, 1520 secs
lola: STP completed || 48 tries, 47987873 fired transitions, 1525 secs || 33651550 markings, 75092795 edges, 21380 markings/sec, 1525 secs
lola: STP completed || 49 tries, 48141842 fired transitions, 1530 secs || 33755782 markings, 75348712 edges, 20846 markings/sec, 1530 secs
lola: STP completed || 49 tries, 48295964 fired transitions, 1535 secs || 33858975 markings, 75600866 edges, 20639 markings/sec, 1535 secs
lola: STP completed || 49 tries, 48451814 fired transitions, 1540 secs || 33963830 markings, 75844444 edges, 20971 markings/sec, 1540 secs
lola: STP completed || 49 tries, 48609979 fired transitions, 1545 secs || 34066353 markings, 76115478 edges, 20505 markings/sec, 1545 secs
lola: STP completed || 49 tries, 48770229 fired transitions, 1550 secs || 34176202 markings, 76368108 edges, 21970 markings/sec, 1550 secs
lola: STP completed || 49 tries, 48929819 fired transitions, 1555 secs || 34283556 markings, 76621154 edges, 21471 markings/sec, 1555 secs
lola: STP completed || 50 tries, 49090200 fired transitions, 1560 secs || 34389266 markings, 76888912 edges, 21142 markings/sec, 1560 secs
lola: STP completed || 50 tries, 49247953 fired transitions, 1565 secs || 34495330 markings, 77139768 edges, 21213 markings/sec, 1565 secs
lola: STP completed || 50 tries, 49407772 fired transitions, 1570 secs || 34603744 markings, 77396992 edges, 21683 markings/sec, 1570 secs
lola: STP completed || 50 tries, 49567214 fired transitions, 1575 secs || 34709595 markings, 77650527 edges, 21170 markings/sec, 1575 secs
lola: STP completed || 50 tries, 49723048 fired transitions, 1580 secs || 34812357 markings, 77903568 edges, 20552 markings/sec, 1580 secs
lola: STP completed || 50 tries, 49877142 fired transitions, 1585 secs || 34918812 markings, 78149548 edges, 21291 markings/sec, 1585 secs
lola: STP completed || 51 tries, 50031011 fired transitions, 1590 secs || 35021547 markings, 78403737 edges, 20547 markings/sec, 1590 secs
lola: STP completed || 51 tries, 50184933 fired transitions, 1595 secs || 35122092 markings, 78661748 edges, 20109 markings/sec, 1595 secs
lola: STP completed || 51 tries, 50339051 fired transitions, 1600 secs || 35226883 markings, 78915260 edges, 20958 markings/sec, 1600 secs
lola: STP completed || 51 tries, 50492836 fired transitions, 1605 secs || 35331752 markings, 79165145 edges, 20974 markings/sec, 1605 secs
lola: STP completed || 51 tries, 50652465 fired transitions, 1610 secs || 35445681 markings, 79411194 edges, 22786 markings/sec, 1610 secs
lola: STP completed || 51 tries, 50810553 fired transitions, 1615 secs || 35549849 markings, 79673814 edges, 20834 markings/sec, 1615 secs
lola: STP completed || 51 tries, 50969189 fired transitions, 1620 secs || 35654568 markings, 79936920 edges, 20944 markings/sec, 1620 secs
lola: STP completed || 52 tries, 51128246 fired transitions, 1625 secs || 35760385 markings, 80193025 edges, 21163 markings/sec, 1625 secs
lola: STP completed || 52 tries, 51285915 fired transitions, 1630 secs || 35869788 markings, 80443169 edges, 21881 markings/sec, 1630 secs
lola: STP completed || 52 tries, 51443686 fired transitions, 1635 secs || 35972163 markings, 80703620 edges, 20475 markings/sec, 1635 secs
lola: STP completed || 52 tries, 51603423 fired transitions, 1640 secs || 36080769 markings, 80952353 edges, 21721 markings/sec, 1640 secs
lola: STP completed || 52 tries, 51761718 fired transitions, 1645 secs || 36184531 markings, 81221176 edges, 20752 markings/sec, 1645 secs
lola: STP completed || 52 tries, 51921654 fired transitions, 1650 secs || 36290254 markings, 81478434 edges, 21145 markings/sec, 1650 secs
lola: STP completed || 53 tries, 52080326 fired transitions, 1655 secs || 36394553 markings, 81738466 edges, 20860 markings/sec, 1655 secs
lola: STP completed || 53 tries, 52240858 fired transitions, 1660 secs || 36501297 markings, 82001257 edges, 21349 markings/sec, 1660 secs
lola: STP completed || 53 tries, 52397190 fired transitions, 1665 secs || 36609162 markings, 82247181 edges, 21573 markings/sec, 1665 secs
lola: STP completed || 53 tries, 52550676 fired transitions, 1670 secs || 36712550 markings, 82496725 edges, 20678 markings/sec, 1670 secs
lola: STP completed || 53 tries, 52704058 fired transitions, 1675 secs || 36816021 markings, 82749282 edges, 20694 markings/sec, 1675 secs
lola: STP completed || 53 tries, 52857652 fired transitions, 1680 secs || 36919448 markings, 82999679 edges, 20685 markings/sec, 1680 secs
lola: STP completed || 54 tries, 53011376 fired transitions, 1685 secs || 37021955 markings, 83252611 edges, 20501 markings/sec, 1685 secs
lola: STP completed || 54 tries, 53165209 fired transitions, 1690 secs || 37127316 markings, 83497397 edges, 21072 markings/sec, 1690 secs
lola: STP completed || 54 tries, 53318992 fired transitions, 1695 secs || 37228501 markings, 83755788 edges, 20237 markings/sec, 1695 secs
lola: STP completed || 54 tries, 53472777 fired transitions, 1700 secs || 37332016 markings, 84003829 edges, 20703 markings/sec, 1700 secs
lola: STP completed || 54 tries, 53626872 fired transitions, 1705 secs || 37433653 markings, 84260408 edges, 20327 markings/sec, 1705 secs
lola: STP completed || 54 tries, 53780829 fired transitions, 1710 secs || 37536466 markings, 84516634 edges, 20563 markings/sec, 1710 secs
lola: STP completed || 54 tries, 53934631 fired transitions, 1715 secs || 37643645 markings, 84760923 edges, 21436 markings/sec, 1715 secs
lola: STP completed || 55 tries, 54089845 fired transitions, 1720 secs || 37747821 markings, 85015960 edges, 20835 markings/sec, 1720 secs
lola: STP completed || 55 tries, 54249786 fired transitions, 1725 secs || 37853336 markings, 85271877 edges, 21103 markings/sec, 1725 secs
lola: STP completed || 55 tries, 54408105 fired transitions, 1730 secs || 37956885 markings, 85537149 edges, 20710 markings/sec, 1730 secs
lola: STP completed || 55 tries, 54567828 fired transitions, 1735 secs || 38065606 markings, 85789057 edges, 21744 markings/sec, 1735 secs
lola: STP completed || 55 tries, 54725643 fired transitions, 1740 secs || 38171099 markings, 86046044 edges, 21099 markings/sec, 1740 secs
lola: STP completed || 55 tries, 54879760 fired transitions, 1745 secs || 38274954 markings, 86299300 edges, 20771 markings/sec, 1745 secs
lola: STP completed || 56 tries, 55038460 fired transitions, 1750 secs || 38379094 markings, 86562423 edges, 20828 markings/sec, 1750 secs
lola: STP completed || 56 tries, 55192094 fired transitions, 1755 secs || 38482913 markings, 86815882 edges, 20764 markings/sec, 1755 secs
lola: STP completed || 56 tries, 55346571 fired transitions, 1760 secs || 38589439 markings, 87064511 edges, 21305 markings/sec, 1760 secs
lola: STP completed || 56 tries, 55504723 fired transitions, 1765 secs || 38696702 markings, 87317084 edges, 21453 markings/sec, 1765 secs
lola: STP completed || 56 tries, 55662632 fired transitions, 1770 secs || 38800623 markings, 87573645 edges, 20784 markings/sec, 1770 secs
lola: STP completed || 56 tries, 55822168 fired transitions, 1775 secs || 38905567 markings, 87833169 edges, 20989 markings/sec, 1775 secs
lola: STP completed || 56 tries, 55979291 fired transitions, 1780 secs || 39008832 markings, 88086733 edges, 20653 markings/sec, 1780 secs
lola: STP completed || 57 tries, 56136232 fired transitions, 1785 secs || 39109556 markings, 88345175 edges, 20145 markings/sec, 1785 secs
lola: STP completed || 57 tries, 56291216 fired transitions, 1790 secs || 39214464 markings, 88596955 edges, 20982 markings/sec, 1790 secs
lola: STP completed || 57 tries, 56444983 fired transitions, 1795 secs || 39314257 markings, 88861092 edges, 19959 markings/sec, 1795 secs
lola: STP completed || 57 tries, 56598782 fired transitions, 1800 secs || 39415957 markings, 89117142 edges, 20340 markings/sec, 1800 secs
lola: STP completed || 57 tries, 56752866 fired transitions, 1805 secs || 39525303 markings, 89352894 edges, 21869 markings/sec, 1805 secs
lola: STP completed || 57 tries, 56911654 fired transitions, 1810 secs || 39630342 markings, 89621765 edges, 21008 markings/sec, 1810 secs
lola: STP completed || 58 tries, 57052578 fired transitions, 1815 secs || 39725973 markings, 89861898 edges, 19126 markings/sec, 1815 secs
lola: STP completed || 58 tries, 57204900 fired transitions, 1820 secs || 39833707 markings, 90109854 edges, 21547 markings/sec, 1820 secs
lola: STP completed || 58 tries, 57358867 fired transitions, 1825 secs || 39936877 markings, 90369927 edges, 20634 markings/sec, 1825 secs
lola: STP completed || 58 tries, 57512804 fired transitions, 1830 secs || 40038625 markings, 90629612 edges, 20350 markings/sec, 1830 secs
lola: STP completed || 58 tries, 57666596 fired transitions, 1835 secs || 40137498 markings, 90891501 edges, 19775 markings/sec, 1835 secs
lola: STP completed || 58 tries, 57820400 fired transitions, 1840 secs || 40245770 markings, 91129484 edges, 21654 markings/sec, 1840 secs
lola: STP completed || 58 tries, 57974277 fired transitions, 1845 secs || 40347705 markings, 91388591 edges, 20387 markings/sec, 1845 secs
lola: STP completed || 59 tries, 58128386 fired transitions, 1850 secs || 40450814 markings, 91648693 edges, 20622 markings/sec, 1850 secs
lola: STP completed || 59 tries, 58282367 fired transitions, 1855 secs || 40552177 markings, 91909216 edges, 20273 markings/sec, 1855 secs
lola: STP completed || 59 tries, 58441342 fired transitions, 1860 secs || 40656646 markings, 92170598 edges, 20894 markings/sec, 1860 secs
lola: STP completed || 59 tries, 58595925 fired transitions, 1865 secs || 40758370 markings, 92430989 edges, 20345 markings/sec, 1865 secs
lola: STP completed || 59 tries, 58754791 fired transitions, 1870 secs || 40862156 markings, 92696061 edges, 20757 markings/sec, 1870 secs
lola: STP completed || 59 tries, 58910328 fired transitions, 1875 secs || 40963723 markings, 92956760 edges, 20313 markings/sec, 1875 secs
lola: STP completed || 60 tries, 59065501 fired transitions, 1880 secs || 41067764 markings, 93216125 edges, 20808 markings/sec, 1880 secs
lola: STP completed || 60 tries, 59220191 fired transitions, 1885 secs || 41173767 markings, 93464422 edges, 21201 markings/sec, 1885 secs
lola: STP completed || 60 tries, 59374209 fired transitions, 1890 secs || 41278159 markings, 93721343 edges, 20878 markings/sec, 1890 secs
lola: STP completed || 60 tries, 59528134 fired transitions, 1895 secs || 41382455 markings, 93975639 edges, 20859 markings/sec, 1895 secs
lola: STP completed || 60 tries, 59682164 fired transitions, 1900 secs || 41485682 markings, 94222513 edges, 20645 markings/sec, 1900 secs
lola: STP completed || 60 tries, 59836359 fired transitions, 1905 secs || 41589867 markings, 94479135 edges, 20837 markings/sec, 1905 secs
lola: STP completed || 60 tries, 59990805 fired transitions, 1910 secs || 41697055 markings, 94726977 edges, 21438 markings/sec, 1910 secs
lola: STP completed || 61 tries, 60144647 fired transitions, 1915 secs || 41803199 markings, 94975893 edges, 21229 markings/sec, 1915 secs
lola: STP completed || 61 tries, 60299725 fired transitions, 1920 secs || 41908106 markings, 95224403 edges, 20981 markings/sec, 1920 secs
lola: STP completed || 61 tries, 60453665 fired transitions, 1925 secs || 42015076 markings, 95467575 edges, 21394 markings/sec, 1925 secs
lola: STP completed || 61 tries, 60607445 fired transitions, 1930 secs || 42117766 markings, 95724593 edges, 20538 markings/sec, 1930 secs
lola: STP completed || 61 tries, 60760919 fired transitions, 1935 secs || 42218804 markings, 95988429 edges, 20208 markings/sec, 1935 secs
lola: STP completed || 61 tries, 60914800 fired transitions, 1940 secs || 42325377 markings, 96237280 edges, 21315 markings/sec, 1940 secs
lola: STP completed || 62 tries, 61068719 fired transitions, 1945 secs || 42430443 markings, 96485593 edges, 21013 markings/sec, 1945 secs
lola: STP completed || 62 tries, 61222521 fired transitions, 1950 secs || 42536667 markings, 96730101 edges, 21245 markings/sec, 1950 secs
lola: STP completed || 62 tries, 61376402 fired transitions, 1955 secs || 42640789 markings, 96981323 edges, 20824 markings/sec, 1955 secs
lola: STP completed || 62 tries, 61535460 fired transitions, 1960 secs || 42742694 markings, 97250635 edges, 20381 markings/sec, 1960 secs
lola: STP completed || 62 tries, 61693793 fired transitions, 1965 secs || 42846894 markings, 97515872 edges, 20840 markings/sec, 1965 secs
lola: STP completed || 62 tries, 61851479 fired transitions, 1970 secs || 42952421 markings, 97774763 edges, 21105 markings/sec, 1970 secs
lola: STP completed || 63 tries, 62010538 fired transitions, 1975 secs || 43057184 markings, 98041256 edges, 20953 markings/sec, 1975 secs
lola: STP completed || 63 tries, 62164072 fired transitions, 1980 secs || 43157839 markings, 98306232 edges, 20131 markings/sec, 1980 secs
lola: STP completed || 63 tries, 62317874 fired transitions, 1985 secs || 43261156 markings, 98560906 edges, 20663 markings/sec, 1985 secs
lola: STP completed || 63 tries, 62471647 fired transitions, 1990 secs || 43366020 markings, 98810242 edges, 20973 markings/sec, 1990 secs
lola: STP completed || 63 tries, 62632138 fired transitions, 1995 secs || 43472831 markings, 99072101 edges, 21362 markings/sec, 1995 secs
lola: STP completed || 63 tries, 62789504 fired transitions, 2000 secs || 43577583 markings, 99333966 edges, 20950 markings/sec, 2000 secs
lola: STP completed || 63 tries, 62943834 fired transitions, 2005 secs || 43681066 markings, 99589078 edges, 20697 markings/sec, 2005 secs
lola: STP completed || 64 tries, 63098199 fired transitions, 2010 secs || 43790450 markings, 99831639 edges, 21877 markings/sec, 2010 secs
lola: STP completed || 64 tries, 63251940 fired transitions, 2015 secs || 43889474 markings, 100091976 edges, 19805 markings/sec, 2015 secs
lola: STP completed || 64 tries, 63405857 fired transitions, 2020 secs || 43991672 markings, 100349554 edges, 20440 markings/sec, 2020 secs
lola: STP completed || 64 tries, 63559891 fired transitions, 2025 secs || 44094463 markings, 100605659 edges, 20558 markings/sec, 2025 secs
lola: STP completed || 64 tries, 63714025 fired transitions, 2030 secs || 44198070 markings, 100865832 edges, 20721 markings/sec, 2030 secs
lola: STP completed || 64 tries, 63868266 fired transitions, 2035 secs || 44300037 markings, 101126130 edges, 20393 markings/sec, 2035 secs
lola: STP completed || 65 tries, 64024106 fired transitions, 2040 secs || 44404659 markings, 101380524 edges, 20924 markings/sec, 2040 secs
lola: STP completed || 65 tries, 64183904 fired transitions, 2045 secs || 44514011 markings, 101640291 edges, 21870 markings/sec, 2045 secs
lola: STP completed || 65 tries, 64338966 fired transitions, 2050 secs || 44616451 markings, 101897031 edges, 20488 markings/sec, 2050 secs
lola: STP completed || 65 tries, 64492980 fired transitions, 2055 secs || 44718924 markings, 102149929 edges, 20495 markings/sec, 2055 secs
lola: STP completed || 65 tries, 64647012 fired transitions, 2060 secs || 44830112 markings, 102389644 edges, 22238 markings/sec, 2060 secs
lola: STP completed || 65 tries, 64800707 fired transitions, 2065 secs || 44932446 markings, 102644750 edges, 20467 markings/sec, 2065 secs
lola: STP completed || 65 tries, 64954392 fired transitions, 2070 secs || 45035732 markings, 102900845 edges, 20657 markings/sec, 2070 secs
lola: STP completed || 66 tries, 65109139 fired transitions, 2075 secs || 45141382 markings, 103148004 edges, 21130 markings/sec, 2075 secs
lola: STP completed || 66 tries, 65263319 fired transitions, 2080 secs || 45242554 markings, 103410169 edges, 20234 markings/sec, 2080 secs
lola: STP completed || 66 tries, 65418222 fired transitions, 2085 secs || 45345182 markings, 103668652 edges, 20526 markings/sec, 2085 secs
lola: STP completed || 66 tries, 65572658 fired transitions, 2090 secs || 45446748 markings, 103928460 edges, 20313 markings/sec, 2090 secs
lola: STP completed || 66 tries, 65726706 fired transitions, 2095 secs || 45549857 markings, 104183715 edges, 20622 markings/sec, 2095 secs
lola: STP completed || 66 tries, 65880924 fired transitions, 2100 secs || 45653172 markings, 104438728 edges, 20663 markings/sec, 2100 secs
lola: STP completed || 67 tries, 66034871 fired transitions, 2105 secs || 45752928 markings, 104697552 edges, 19951 markings/sec, 2105 secs
lola: STP completed || 67 tries, 66190518 fired transitions, 2110 secs || 45855745 markings, 104956420 edges, 20563 markings/sec, 2110 secs
lola: STP completed || 67 tries, 66345672 fired transitions, 2115 secs || 45961048 markings, 105207691 edges, 21061 markings/sec, 2115 secs
lola: STP completed || 67 tries, 66500805 fired transitions, 2120 secs || 46064250 markings, 105470018 edges, 20640 markings/sec, 2120 secs
lola: STP completed || 67 tries, 66657285 fired transitions, 2125 secs || 46172209 markings, 105726505 edges, 21592 markings/sec, 2125 secs
lola: STP completed || 67 tries, 66812867 fired transitions, 2130 secs || 46275219 markings, 105982068 edges, 20602 markings/sec, 2130 secs
lola: STP completed || 67 tries, 66967902 fired transitions, 2135 secs || 46377924 markings, 106244608 edges, 20541 markings/sec, 2135 secs
lola: STP completed || 68 tries, 67121699 fired transitions, 2140 secs || 46482833 markings, 106498815 edges, 20982 markings/sec, 2140 secs
lola: STP completed || 68 tries, 67279409 fired transitions, 2145 secs || 46590895 markings, 106746938 edges, 21612 markings/sec, 2145 secs
lola: STP completed || 68 tries, 67434991 fired transitions, 2150 secs || 46694681 markings, 107009266 edges, 20757 markings/sec, 2150 secs
lola: STP completed || 68 tries, 67591810 fired transitions, 2155 secs || 46803620 markings, 107257758 edges, 21788 markings/sec, 2155 secs
lola: STP completed || 68 tries, 67747343 fired transitions, 2160 secs || 46909963 markings, 107509600 edges, 21269 markings/sec, 2160 secs
lola: STP completed || 68 tries, 67902835 fired transitions, 2165 secs || 47015527 markings, 107762771 edges, 21113 markings/sec, 2165 secs
lola: STP completed || 69 tries, 68057791 fired transitions, 2170 secs || 47119492 markings, 108021262 edges, 20793 markings/sec, 2170 secs
lola: STP completed || 69 tries, 68213068 fired transitions, 2175 secs || 47221889 markings, 108289026 edges, 20479 markings/sec, 2175 secs
lola: STP completed || 69 tries, 68367667 fired transitions, 2180 secs || 47324823 markings, 108552519 edges, 20587 markings/sec, 2180 secs
lola: STP completed || 69 tries, 68522622 fired transitions, 2185 secs || 47430614 markings, 108804882 edges, 21158 markings/sec, 2185 secs
lola: STP completed || 69 tries, 68678077 fired transitions, 2190 secs || 47533098 markings, 109064070 edges, 20497 markings/sec, 2190 secs
lola: STP completed || 69 tries, 68837515 fired transitions, 2195 secs || 47634389 markings, 109330276 edges, 20258 markings/sec, 2195 secs
lola: STP completed || 69 tries, 68997748 fired transitions, 2200 secs || 47741751 markings, 109590017 edges, 21472 markings/sec, 2200 secs
lola: STP completed || 70 tries, 69152765 fired transitions, 2205 secs || 47846770 markings, 109845777 edges, 21004 markings/sec, 2205 secs
lola: STP completed || 70 tries, 69306711 fired transitions, 2210 secs || 47951891 markings, 110103462 edges, 21024 markings/sec, 2210 secs
lola: STP completed || 70 tries, 69460588 fired transitions, 2215 secs || 48054240 markings, 110357478 edges, 20470 markings/sec, 2215 secs
lola: STP completed || 70 tries, 69617137 fired transitions, 2220 secs || 48157782 markings, 110625824 edges, 20708 markings/sec, 2220 secs
lola: STP completed || 70 tries, 69774272 fired transitions, 2225 secs || 48269324 markings, 110873163 edges, 22308 markings/sec, 2225 secs
lola: STP completed || 70 tries, 69928402 fired transitions, 2230 secs || 48372076 markings, 111134016 edges, 20550 markings/sec, 2230 secs
lola: STP completed || 71 tries, 70084099 fired transitions, 2235 secs || 48475885 markings, 111394789 edges, 20762 markings/sec, 2235 secs
lola: STP completed || 71 tries, 70238023 fired transitions, 2240 secs || 48577556 markings, 111656382 edges, 20334 markings/sec, 2240 secs
lola: STP completed || 71 tries, 70395208 fired transitions, 2245 secs || 48682266 markings, 111913226 edges, 20942 markings/sec, 2245 secs
lola: STP completed || 71 tries, 70558443 fired transitions, 2250 secs || 48786724 markings, 112187194 edges, 20892 markings/sec, 2250 secs
lola: STP completed || 71 tries, 70719238 fired transitions, 2255 secs || 48892847 markings, 112444506 edges, 21225 markings/sec, 2255 secs
lola: STP completed || 71 tries, 70874677 fired transitions, 2260 secs || 48994313 markings, 112707971 edges, 20293 markings/sec, 2260 secs
lola: STP completed || 72 tries, 71028504 fired transitions, 2265 secs || 49097260 markings, 112963902 edges, 20589 markings/sec, 2265 secs
lola: STP completed || 72 tries, 71182720 fired transitions, 2270 secs || 49206054 markings, 113206276 edges, 21759 markings/sec, 2270 secs
lola: STP completed || 72 tries, 71342873 fired transitions, 2275 secs || 49310686 markings, 113471090 edges, 20926 markings/sec, 2275 secs
lola: STP completed || 72 tries, 71507832 fired transitions, 2280 secs || 49418457 markings, 113744152 edges, 21554 markings/sec, 2280 secs
lola: STP completed || 72 tries, 71674039 fired transitions, 2285 secs || 49527618 markings, 114016555 edges, 21832 markings/sec, 2285 secs
lola: STP completed || 72 tries, 71839847 fired transitions, 2290 secs || 49636135 markings, 114288943 edges, 21703 markings/sec, 2290 secs
lola: STP completed || 73 tries, 72005144 fired transitions, 2295 secs || 49745339 markings, 114561377 edges, 21841 markings/sec, 2295 secs
lola: STP completed || 73 tries, 72168950 fired transitions, 2300 secs || 49851864 markings, 114837291 edges, 21305 markings/sec, 2300 secs
lola: STP completed || 73 tries, 72323329 fired transitions, 2305 secs || 49954558 markings, 115100311 edges, 20539 markings/sec, 2305 secs
lola: STP completed || 73 tries, 72480834 fired transitions, 2310 secs || 50064699 markings, 115354298 edges, 22028 markings/sec, 2310 secs
lola: STP completed || 73 tries, 72638021 fired transitions, 2315 secs || 50168111 markings, 115617605 edges, 20682 markings/sec, 2315 secs
lola: STP completed || 73 tries, 72796690 fired transitions, 2320 secs || 50274207 markings, 115872939 edges, 21219 markings/sec, 2320 secs
lola: STP completed || 73 tries, 72956289 fired transitions, 2325 secs || 50377984 markings, 116137249 edges, 20755 markings/sec, 2325 secs
lola: STP completed || 74 tries, 73114034 fired transitions, 2330 secs || 50486150 markings, 116386248 edges, 21633 markings/sec, 2330 secs
lola: STP completed || 74 tries, 73268169 fired transitions, 2335 secs || 50594076 markings, 116628808 edges, 21585 markings/sec, 2335 secs
lola: STP completed || 74 tries, 73421545 fired transitions, 2340 secs || 50695208 markings, 116891510 edges, 20226 markings/sec, 2340 secs
lola: STP completed || 74 tries, 73577452 fired transitions, 2345 secs || 50799387 markings, 117148730 edges, 20836 markings/sec, 2345 secs
lola: STP completed || 74 tries, 73736391 fired transitions, 2350 secs || 50901762 markings, 117417819 edges, 20475 markings/sec, 2350 secs
lola: STP completed || 74 tries, 73900551 fired transitions, 2355 secs || 51007626 markings, 117683455 edges, 21173 markings/sec, 2355 secs
lola: STP completed || 75 tries, 74059697 fired transitions, 2360 secs || 51110786 markings, 117951939 edges, 20632 markings/sec, 2360 secs
lola: STP completed || 75 tries, 74217156 fired transitions, 2365 secs || 51214525 markings, 118215772 edges, 20748 markings/sec, 2365 secs
lola: STP completed || 75 tries, 74372350 fired transitions, 2370 secs || 51317807 markings, 118473128 edges, 20656 markings/sec, 2370 secs
lola: STP completed || 75 tries, 74527991 fired transitions, 2375 secs || 51421480 markings, 118732128 edges, 20735 markings/sec, 2375 secs
lola: STP completed || 75 tries, 74682265 fired transitions, 2380 secs || 51522702 markings, 118987666 edges, 20244 markings/sec, 2380 secs
lola: STP completed || 75 tries, 74838282 fired transitions, 2385 secs || 51625844 markings, 119249060 edges, 20628 markings/sec, 2385 secs
lola: STP completed || 75 tries, 74993749 fired transitions, 2390 secs || 51728061 markings, 119513241 edges, 20443 markings/sec, 2390 secs
lola: STP completed || 76 tries, 75151646 fired transitions, 2395 secs || 51831825 markings, 119772787 edges, 20753 markings/sec, 2395 secs
lola: STP completed || 76 tries, 75307337 fired transitions, 2400 secs || 51934285 markings, 120041277 edges, 20492 markings/sec, 2400 secs
lola: STP completed || 76 tries, 75461228 fired transitions, 2405 secs || 52037271 markings, 120302541 edges, 20597 markings/sec, 2405 secs
lola: STP completed || 76 tries, 75614517 fired transitions, 2410 secs || 52135599 markings, 120573459 edges, 19666 markings/sec, 2410 secs
lola: STP completed || 76 tries, 75768661 fired transitions, 2415 secs || 52238714 markings, 120821999 edges, 20623 markings/sec, 2415 secs
lola: STP completed || 76 tries, 75922693 fired transitions, 2420 secs || 52340095 markings, 121088724 edges, 20276 markings/sec, 2420 secs
lola: STP completed || 77 tries, 76076703 fired transitions, 2425 secs || 52441357 markings, 121348436 edges, 20252 markings/sec, 2425 secs
lola: STP completed || 77 tries, 76230727 fired transitions, 2430 secs || 52543995 markings, 121611076 edges, 20528 markings/sec, 2430 secs
lola: STP completed || 77 tries, 76384511 fired transitions, 2435 secs || 52647442 markings, 121860854 edges, 20689 markings/sec, 2435 secs
lola: STP completed || 77 tries, 76538522 fired transitions, 2440 secs || 52751533 markings, 122111573 edges, 20818 markings/sec, 2440 secs
lola: STP completed || 77 tries, 76691853 fired transitions, 2445 secs || 52852532 markings, 122372641 edges, 20200 markings/sec, 2445 secs
lola: STP completed || 77 tries, 76845434 fired transitions, 2450 secs || 52954703 markings, 122628610 edges, 20434 markings/sec, 2450 secs
lola: STP completed || 77 tries, 76999129 fired transitions, 2455 secs || 53058628 markings, 122887090 edges, 20785 markings/sec, 2455 secs
lola: STP completed || 78 tries, 77153993 fired transitions, 2460 secs || 53173752 markings, 123117053 edges, 23025 markings/sec, 2460 secs
lola: STP completed || 78 tries, 77308271 fired transitions, 2465 secs || 53281344 markings, 123362457 edges, 21518 markings/sec, 2465 secs
lola: STP completed || 78 tries, 77467319 fired transitions, 2470 secs || 53384501 markings, 123625497 edges, 20631 markings/sec, 2470 secs
lola: STP completed || 78 tries, 77627075 fired transitions, 2475 secs || 53489520 markings, 123885300 edges, 21004 markings/sec, 2475 secs
lola: STP completed || 78 tries, 77786802 fired transitions, 2480 secs || 53592846 markings, 124145697 edges, 20665 markings/sec, 2480 secs
lola: STP completed || 78 tries, 77942019 fired transitions, 2485 secs || 53693260 markings, 124406267 edges, 20083 markings/sec, 2485 secs
lola: STP completed || 79 tries, 78096271 fired transitions, 2490 secs || 53800272 markings, 124646807 edges, 21402 markings/sec, 2490 secs
lola: STP completed || 79 tries, 78254208 fired transitions, 2495 secs || 53902388 markings, 124908790 edges, 20423 markings/sec, 2495 secs
lola: STP completed || 79 tries, 78408904 fired transitions, 2500 secs || 54003675 markings, 125173741 edges, 20257 markings/sec, 2500 secs
lola: STP completed || 79 tries, 78562715 fired transitions, 2505 secs || 54103476 markings, 125429907 edges, 19960 markings/sec, 2505 secs
lola: STP completed || 79 tries, 78718331 fired transitions, 2510 secs || 54206632 markings, 125688453 edges, 20631 markings/sec, 2510 secs
lola: STP completed || 79 tries, 78872055 fired transitions, 2515 secs || 54308023 markings, 125945667 edges, 20278 markings/sec, 2515 secs
lola: STP completed || 80 tries, 79026025 fired transitions, 2520 secs || 54410025 markings, 126200714 edges, 20400 markings/sec, 2520 secs
lola: STP completed || 80 tries, 79186184 fired transitions, 2525 secs || 54515008 markings, 126467615 edges, 20997 markings/sec, 2525 secs
lola: STP completed || 80 tries, 79347495 fired transitions, 2530 secs || 54618096 markings, 126743195 edges, 20618 markings/sec, 2530 secs
lola: STP completed || 80 tries, 79508977 fired transitions, 2535 secs || 54726781 markings, 126995306 edges, 21737 markings/sec, 2535 secs
lola: STP completed || 80 tries, 79667170 fired transitions, 2540 secs || 54829514 markings, 127262052 edges, 20547 markings/sec, 2540 secs
lola: STP completed || 80 tries, 79826739 fired transitions, 2545 secs || 54932698 markings, 127523426 edges, 20637 markings/sec, 2545 secs
lola: STP completed || 80 tries, 79981480 fired transitions, 2550 secs || 55033420 markings, 127789727 edges, 20144 markings/sec, 2550 secs
lola: STP completed || 81 tries, 80135083 fired transitions, 2555 secs || 55136350 markings, 128040119 edges, 20586 markings/sec, 2555 secs
lola: STP completed || 81 tries, 80289298 fired transitions, 2560 secs || 55239325 markings, 128294907 edges, 20595 markings/sec, 2560 secs
lola: STP completed || 81 tries, 80443556 fired transitions, 2565 secs || 55350315 markings, 128529477 edges, 22198 markings/sec, 2565 secs
lola: STP completed || 81 tries, 80597482 fired transitions, 2570 secs || 55452181 markings, 128779941 edges, 20373 markings/sec, 2570 secs
lola: STP completed || 81 tries, 80751355 fired transitions, 2575 secs || 55554753 markings, 129037584 edges, 20514 markings/sec, 2575 secs
lola: STP completed || 81 tries, 80905290 fired transitions, 2580 secs || 55658950 markings, 129294948 edges, 20839 markings/sec, 2580 secs
lola: STP completed || 82 tries, 81059308 fired transitions, 2585 secs || 55759814 markings, 129553945 edges, 20173 markings/sec, 2585 secs
lola: STP completed || 82 tries, 81213554 fired transitions, 2590 secs || 55861593 markings, 129810108 edges, 20356 markings/sec, 2590 secs
lola: STP completed || 82 tries, 81367656 fired transitions, 2595 secs || 55963455 markings, 130072531 edges, 20372 markings/sec, 2595 secs
lola: STP completed || 82 tries, 81521575 fired transitions, 2600 secs || 56064649 markings, 130333454 edges, 20239 markings/sec, 2600 secs
lola: STP completed || 82 tries, 81675263 fired transitions, 2605 secs || 56164289 markings, 130594397 edges, 19928 markings/sec, 2605 secs
lola: STP completed || 82 tries, 81829133 fired transitions, 2610 secs || 56267902 markings, 130852034 edges, 20723 markings/sec, 2610 secs
lola: STP completed || 82 tries, 81983863 fired transitions, 2615 secs || 56369591 markings, 131114193 edges, 20338 markings/sec, 2615 secs
lola: STP completed || 83 tries, 82143232 fired transitions, 2620 secs || 56470979 markings, 131387638 edges, 20278 markings/sec, 2620 secs
lola: STP completed || 83 tries, 82302622 fired transitions, 2625 secs || 56575012 markings, 131651091 edges, 20807 markings/sec, 2625 secs
lola: STP completed || 83 tries, 82461374 fired transitions, 2630 secs || 56677101 markings, 131918609 edges, 20418 markings/sec, 2630 secs
lola: STP completed || 83 tries, 82622432 fired transitions, 2635 secs || 56781611 markings, 132180027 edges, 20902 markings/sec, 2635 secs
lola: STP completed || 83 tries, 82787086 fired transitions, 2640 secs || 56890331 markings, 132454715 edges, 21744 markings/sec, 2640 secs
lola: STP completed || 83 tries, 82953274 fired transitions, 2645 secs || 56997288 markings, 132733587 edges, 21391 markings/sec, 2645 secs
lola: STP completed || 84 tries, 83118149 fired transitions, 2650 secs || 57113954 markings, 132982717 edges, 23333 markings/sec, 2650 secs
lola: STP completed || 84 tries, 83283374 fired transitions, 2655 secs || 57218893 markings, 133256806 edges, 20988 markings/sec, 2655 secs
lola: STP completed || 84 tries, 83441879 fired transitions, 2660 secs || 57323126 markings, 133518291 edges, 20847 markings/sec, 2660 secs
lola: STP completed || 84 tries, 83595821 fired transitions, 2665 secs || 57422481 markings, 133782412 edges, 19871 markings/sec, 2665 secs
lola: STP completed || 84 tries, 83749653 fired transitions, 2670 secs || 57529217 markings, 134031445 edges, 21347 markings/sec, 2670 secs
lola: STP completed || 84 tries, 83903572 fired transitions, 2675 secs || 57630021 markings, 134294830 edges, 20161 markings/sec, 2675 secs
lola: STP completed || 85 tries, 84057604 fired transitions, 2680 secs || 57733534 markings, 134546239 edges, 20703 markings/sec, 2680 secs
lola: STP completed || 85 tries, 84211351 fired transitions, 2685 secs || 57836475 markings, 134794980 edges, 20588 markings/sec, 2685 secs
lola: STP completed || 85 tries, 84365395 fired transitions, 2690 secs || 57938424 markings, 135050998 edges, 20390 markings/sec, 2690 secs
lola: STP completed || 85 tries, 84519367 fired transitions, 2695 secs || 58041546 markings, 135301940 edges, 20624 markings/sec, 2695 secs
lola: STP completed || 85 tries, 84673234 fired transitions, 2700 secs || 58146304 markings, 135550560 edges, 20952 markings/sec, 2700 secs
lola: STP completed || 85 tries, 84826801 fired transitions, 2705 secs || 58249991 markings, 135801700 edges, 20737 markings/sec, 2705 secs
lola: STP completed || 85 tries, 84980918 fired transitions, 2710 secs || 58349384 markings, 136068746 edges, 19879 markings/sec, 2710 secs
lola: STP completed || 86 tries, 85134934 fired transitions, 2715 secs || 58450919 markings, 136331148 edges, 20307 markings/sec, 2715 secs
lola: STP completed || 86 tries, 85289860 fired transitions, 2720 secs || 58571836 markings, 136553191 edges, 24183 markings/sec, 2720 secs
lola: STP completed || 86 tries, 85443840 fired transitions, 2725 secs || 58679098 markings, 136797056 edges, 21452 markings/sec, 2725 secs
lola: STP completed || 86 tries, 85597899 fired transitions, 2730 secs || 58778598 markings, 137060384 edges, 19900 markings/sec, 2730 secs
lola: STP completed || 86 tries, 85754267 fired transitions, 2735 secs || 58881389 markings, 137318538 edges, 20558 markings/sec, 2735 secs
lola: STP completed || 86 tries, 85912957 fired transitions, 2740 secs || 58986860 markings, 137569179 edges, 21094 markings/sec, 2740 secs
lola: STP completed || 87 tries, 86073332 fired transitions, 2745 secs || 59088006 markings, 137822925 edges, 20229 markings/sec, 2745 secs
lola: STP completed || 87 tries, 86228389 fired transitions, 2750 secs || 59184785 markings, 138076713 edges, 19356 markings/sec, 2750 secs
lola: STP completed || 87 tries, 86383936 fired transitions, 2755 secs || 59280998 markings, 138323290 edges, 19243 markings/sec, 2755 secs
lola: STP completed || 87 tries, 86542255 fired transitions, 2760 secs || 59385504 markings, 138589302 edges, 20901 markings/sec, 2760 secs
lola: STP completed || 87 tries, 86696390 fired transitions, 2765 secs || 59486170 markings, 138844322 edges, 20133 markings/sec, 2765 secs
lola: STP completed || 87 tries, 86854574 fired transitions, 2770 secs || 59594137 markings, 139096150 edges, 21593 markings/sec, 2770 secs
lola: STP completed || 88 tries, 87008867 fired transitions, 2775 secs || 59701653 markings, 139336426 edges, 21503 markings/sec, 2775 secs
lola: STP completed || 88 tries, 87162819 fired transitions, 2780 secs || 59805823 markings, 139590323 edges, 20834 markings/sec, 2780 secs
lola: STP completed || 88 tries, 87316917 fired transitions, 2785 secs || 59909619 markings, 139843205 edges, 20759 markings/sec, 2785 secs
lola: STP completed || 88 tries, 87470350 fired transitions, 2790 secs || 60010123 markings, 140105298 edges, 20101 markings/sec, 2790 secs
lola: STP completed || 88 tries, 87623563 fired transitions, 2795 secs || 60109942 markings, 140363854 edges, 19964 markings/sec, 2795 secs
lola: STP completed || 88 tries, 87777291 fired transitions, 2800 secs || 60211337 markings, 140635314 edges, 20279 markings/sec, 2800 secs
lola: STP completed || 88 tries, 87930803 fired transitions, 2805 secs || 60314398 markings, 140891908 edges, 20612 markings/sec, 2805 secs
lola: STP completed || 89 tries, 88084799 fired transitions, 2810 secs || 60418900 markings, 141145625 edges, 20900 markings/sec, 2810 secs
lola: STP completed || 89 tries, 88238370 fired transitions, 2815 secs || 60519092 markings, 141403880 edges, 20038 markings/sec, 2815 secs
lola: STP completed || 89 tries, 88392026 fired transitions, 2820 secs || 60622904 markings, 141652347 edges, 20762 markings/sec, 2820 secs
lola: STP completed || 89 tries, 88546333 fired transitions, 2825 secs || 60725020 markings, 141907698 edges, 20423 markings/sec, 2825 secs
lola: STP completed || 89 tries, 88700551 fired transitions, 2830 secs || 60828903 markings, 142161408 edges, 20777 markings/sec, 2830 secs
lola: STP completed || 89 tries, 88855335 fired transitions, 2835 secs || 60929919 markings, 142422541 edges, 20203 markings/sec, 2835 secs
lola: STP completed || 90 tries, 89012552 fired transitions, 2840 secs || 61033722 markings, 142680712 edges, 20761 markings/sec, 2840 secs
lola: STP completed || 90 tries, 89170775 fired transitions, 2845 secs || 61140999 markings, 142935415 edges, 21455 markings/sec, 2845 secs
lola: STP completed || 90 tries, 89332225 fired transitions, 2850 secs || 61248801 markings, 143185568 edges, 21560 markings/sec, 2850 secs
lola: STP completed || 90 tries, 89492349 fired transitions, 2855 secs || 61352257 markings, 143445527 edges, 20691 markings/sec, 2855 secs
lola: STP completed || 90 tries, 89652144 fired transitions, 2860 secs || 61450596 markings, 143722053 edges, 19668 markings/sec, 2860 secs
lola: STP completed || 90 tries, 89813620 fired transitions, 2865 secs || 61553382 markings, 143989419 edges, 20557 markings/sec, 2865 secs
lola: STP completed || 90 tries, 89976949 fired transitions, 2870 secs || 61657521 markings, 144262832 edges, 20828 markings/sec, 2870 secs
lola: STP completed || 91 tries, 90139870 fired transitions, 2875 secs || 61763235 markings, 144524990 edges, 21143 markings/sec, 2875 secs
lola: STP completed || 91 tries, 90299241 fired transitions, 2880 secs || 61868802 markings, 144787746 edges, 21113 markings/sec, 2880 secs
lola: STP completed || 91 tries, 90454885 fired transitions, 2885 secs || 61975270 markings, 145039294 edges, 21294 markings/sec, 2885 secs
lola: STP completed || 91 tries, 90608956 fired transitions, 2890 secs || 62081445 markings, 145283881 edges, 21235 markings/sec, 2890 secs
lola: STP completed || 91 tries, 90773760 fired transitions, 2895 secs || 62190621 markings, 145561863 edges, 21835 markings/sec, 2895 secs
lola: STP completed || 91 tries, 90931466 fired transitions, 2900 secs || 62288687 markings, 145820708 edges, 19613 markings/sec, 2900 secs
lola: STP completed || 92 tries, 91092726 fired transitions, 2905 secs || 62392814 markings, 146092427 edges, 20825 markings/sec, 2905 secs
lola: STP completed || 92 tries, 91246581 fired transitions, 2910 secs || 62495424 markings, 146348762 edges, 20522 markings/sec, 2910 secs
lola: STP completed || 92 tries, 91399929 fired transitions, 2915 secs || 62595414 markings, 146610701 edges, 19998 markings/sec, 2915 secs
lola: STP completed || 92 tries, 91556170 fired transitions, 2920 secs || 62697592 markings, 146875779 edges, 20436 markings/sec, 2920 secs
lola: STP completed || 92 tries, 91724539 fired transitions, 2925 secs || 62806819 markings, 147156450 edges, 21845 markings/sec, 2925 secs
lola: STP completed || 92 tries, 91890087 fired transitions, 2930 secs || 62917232 markings, 147424263 edges, 22083 markings/sec, 2930 secs
lola: STP completed || 93 tries, 92052074 fired transitions, 2935 secs || 63021127 markings, 147700638 edges, 20779 markings/sec, 2935 secs
lola: STP completed || 93 tries, 92217587 fired transitions, 2940 secs || 63127788 markings, 147974800 edges, 21332 markings/sec, 2940 secs
lola: STP completed || 93 tries, 92380261 fired transitions, 2945 secs || 63232904 markings, 148248446 edges, 21023 markings/sec, 2945 secs
lola: STP completed || 93 tries, 92542284 fired transitions, 2950 secs || 63339223 markings, 148512951 edges, 21264 markings/sec, 2950 secs
lola: STP completed || 93 tries, 92699479 fired transitions, 2955 secs || 63442838 markings, 148763707 edges, 20723 markings/sec, 2955 secs
lola: STP completed || 93 tries, 92855868 fired transitions, 2960 secs || 63543309 markings, 149025505 edges, 20094 markings/sec, 2960 secs
lola: STP completed || 94 tries, 93011560 fired transitions, 2965 secs || 63645564 markings, 149278103 edges, 20451 markings/sec, 2965 secs
lola: STP completed || 94 tries, 93167103 fired transitions, 2970 secs || 63748469 markings, 149541970 edges, 20581 markings/sec, 2970 secs
lola: STP completed || 94 tries, 93321317 fired transitions, 2975 secs || 63853018 markings, 149794743 edges, 20910 markings/sec, 2975 secs
lola: STP completed || 94 tries, 93474679 fired transitions, 2980 secs || 63952683 markings, 150054631 edges, 19933 markings/sec, 2980 secs
lola: STP completed || 94 tries, 93628533 fired transitions, 2985 secs || 64053970 markings, 150315336 edges, 20257 markings/sec, 2985 secs
lola: STP completed || 94 tries, 93782546 fired transitions, 2990 secs || 64156787 markings, 150572486 edges, 20563 markings/sec, 2990 secs
lola: STP completed || 94 tries, 93936749 fired transitions, 2995 secs || 64261935 markings, 150819238 edges, 21030 markings/sec, 2995 secs
lola: STP completed || 95 tries, 94093230 fired transitions, 3000 secs || 64363109 markings, 151085008 edges, 20235 markings/sec, 3000 secs
lola: STP completed || 95 tries, 94250047 fired transitions, 3005 secs || 64464794 markings, 151347025 edges, 20337 markings/sec, 3005 secs
lola: STP completed || 95 tries, 94403559 fired transitions, 3010 secs || 64565233 markings, 151604604 edges, 20088 markings/sec, 3010 secs
lola: STP completed || 95 tries, 94557862 fired transitions, 3015 secs || 64668198 markings, 151858860 edges, 20593 markings/sec, 3015 secs
lola: STP completed || 95 tries, 94711693 fired transitions, 3020 secs || 64771273 markings, 152121420 edges, 20615 markings/sec, 3020 secs
lola: STP completed || 95 tries, 94871425 fired transitions, 3025 secs || 64874407 markings, 152390226 edges, 20627 markings/sec, 3025 secs
lola: STP completed || 96 tries, 95037741 fired transitions, 3030 secs || 64979278 markings, 152667005 edges, 20974 markings/sec, 3030 secs
lola: STP completed || 96 tries, 95202245 fired transitions, 3035 secs || 65083076 markings, 152945492 edges, 20760 markings/sec, 3035 secs
lola: STP completed || 96 tries, 95368708 fired transitions, 3040 secs || 65187008 markings, 153217039 edges, 20786 markings/sec, 3040 secs
lola: STP completed || 96 tries, 95534083 fired transitions, 3045 secs || 65293451 markings, 153491327 edges, 21289 markings/sec, 3045 secs
lola: STP completed || 96 tries, 95698092 fired transitions, 3050 secs || 65398901 markings, 153767092 edges, 21090 markings/sec, 3050 secs
lola: STP completed || 96 tries, 95862882 fired transitions, 3055 secs || 65505150 markings, 154040408 edges, 21250 markings/sec, 3055 secs
lola: STP completed || 97 tries, 96026588 fired transitions, 3060 secs || 65614449 markings, 154302488 edges, 21860 markings/sec, 3060 secs
lola: STP completed || 97 tries, 96190406 fired transitions, 3065 secs || 65718929 markings, 154570378 edges, 20896 markings/sec, 3065 secs
lola: STP completed || 97 tries, 96354636 fired transitions, 3070 secs || 65826416 markings, 154837610 edges, 21497 markings/sec, 3070 secs
lola: STP completed || 97 tries, 96508343 fired transitions, 3075 secs || 65924820 markings, 155101221 edges, 19681 markings/sec, 3075 secs
lola: STP completed || 97 tries, 96662247 fired transitions, 3080 secs || 66027982 markings, 155354597 edges, 20632 markings/sec, 3080 secs
lola: STP completed || 97 tries, 96816241 fired transitions, 3085 secs || 66130261 markings, 155616144 edges, 20456 markings/sec, 3085 secs
lola: STP completed || 97 tries, 96978711 fired transitions, 3090 secs || 66236558 markings, 155891132 edges, 21259 markings/sec, 3090 secs
lola: STP completed || 98 tries, 97144735 fired transitions, 3095 secs || 66341914 markings, 156177697 edges, 21071 markings/sec, 3095 secs
lola: STP completed || 98 tries, 97310123 fired transitions, 3100 secs || 66452016 markings, 156444184 edges, 22020 markings/sec, 3100 secs
lola: STP completed || 98 tries, 97474749 fired transitions, 3105 secs || 66558629 markings, 156717192 edges, 21323 markings/sec, 3105 secs
lola: STP completed || 98 tries, 97640298 fired transitions, 3110 secs || 66666218 markings, 156986947 edges, 21518 markings/sec, 3110 secs
lola: STP completed || 98 tries, 97806587 fired transitions, 3115 secs || 66776685 markings, 157253658 edges, 22093 markings/sec, 3115 secs
lola: STP completed || 98 tries, 97973188 fired transitions, 3120 secs || 66884653 markings, 157530756 edges, 21594 markings/sec, 3120 secs
lola: STP completed || 99 tries, 98140157 fired transitions, 3125 secs || 66993716 markings, 157802356 edges, 21813 markings/sec, 3125 secs
lola: STP completed || 99 tries, 98312413 fired transitions, 3130 secs || 67102551 markings, 158084897 edges, 21767 markings/sec, 3130 secs
lola: STP completed || 99 tries, 98484208 fired transitions, 3135 secs || 67213557 markings, 158375273 edges, 22201 markings/sec, 3135 secs
lola: STP completed || 99 tries, 98641669 fired transitions, 3140 secs || 67316703 markings, 158642478 edges, 20629 markings/sec, 3140 secs
lola: STP completed || 99 tries, 98795282 fired transitions, 3145 secs || 67417993 markings, 158901013 edges, 20258 markings/sec, 3145 secs
lola: STP completed || 99 tries, 98948869 fired transitions, 3150 secs || 67520340 markings, 159161504 edges, 20469 markings/sec, 3150 secs
lola: STP completed || 100 tries, 99119463 fired transitions, 3155 secs || 67629858 markings, 159446344 edges, 21904 markings/sec, 3155 secs
lola: STP completed || 100 tries, 99291952 fired transitions, 3160 secs || 67740975 markings, 159729578 edges, 22223 markings/sec, 3160 secs
lola: STP completed || 100 tries, 99464209 fired transitions, 3165 secs || 67853821 markings, 160012087 edges, 22569 markings/sec, 3165 secs
lola: STP completed || 100 tries, 99634996 fired transitions, 3170 secs || 67962601 markings, 160302795 edges, 21756 markings/sec, 3170 secs
lola: STP completed || 100 tries, 99806699 fired transitions, 3175 secs || 68072318 markings, 160591409 edges, 21943 markings/sec, 3175 secs
lola: STP completed || 100 tries, 99977985 fired transitions, 3180 secs || 68183591 markings, 160876670 edges, 22255 markings/sec, 3180 secs
lola: STP completed || 101 tries, 100150938 fired transitions, 3185 secs || 68294010 markings, 161167847 edges, 22084 markings/sec, 3185 secs
lola: STP completed || 101 tries, 100319968 fired transitions, 3190 secs || 68404820 markings, 161440038 edges, 22162 markings/sec, 3190 secs
lola: STP completed || 101 tries, 100485379 fired transitions, 3195 secs || 68511163 markings, 161719044 edges, 21269 markings/sec, 3195 secs
lola: STP completed || 101 tries, 100650154 fired transitions, 3200 secs || 68617736 markings, 161994552 edges, 21315 markings/sec, 3200 secs
lola: STP completed || 101 tries, 100814149 fired transitions, 3205 secs || 68723609 markings, 162272245 edges, 21175 markings/sec, 3205 secs
lola: STP completed || 101 tries, 100982425 fired transitions, 3210 secs || 68833022 markings, 162549475 edges, 21883 markings/sec, 3210 secs
lola: STP completed || 102 tries, 101152904 fired transitions, 3215 secs || 68939290 markings, 162833887 edges, 21254 markings/sec, 3215 secs
lola: STP completed || 102 tries, 101325696 fired transitions, 3220 secs || 69051122 markings, 163109275 edges, 22366 markings/sec, 3220 secs
lola: STP completed || 102 tries, 101497339 fired transitions, 3225 secs || 69161533 markings, 163387503 edges, 22082 markings/sec, 3225 secs
lola: STP completed || 102 tries, 101669998 fired transitions, 3230 secs || 69269716 markings, 163669816 edges, 21637 markings/sec, 3230 secs
lola: STP completed || 102 tries, 101838524 fired transitions, 3235 secs || 69376992 markings, 163952956 edges, 21455 markings/sec, 3235 secs
lola: STP completed || 103 tries, 102010463 fired transitions, 3240 secs || 69485331 markings, 164239443 edges, 21668 markings/sec, 3240 secs
lola: STP completed || 103 tries, 102180864 fired transitions, 3245 secs || 69594125 markings, 164526180 edges, 21759 markings/sec, 3245 secs
lola: STP completed || 103 tries, 102351193 fired transitions, 3250 secs || 69704106 markings, 164813666 edges, 21996 markings/sec, 3250 secs
lola: STP completed || 103 tries, 102523974 fired transitions, 3255 secs || 69817430 markings, 165096112 edges, 22665 markings/sec, 3255 secs
lola: STP completed || 103 tries, 102695126 fired transitions, 3260 secs || 69927235 markings, 165381718 edges, 21961 markings/sec, 3260 secs
lola: STP completed || 103 tries, 102867204 fired transitions, 3265 secs || 70040371 markings, 165657030 edges, 22627 markings/sec, 3265 secs
lola: STP completed || 104 tries, 103038018 fired transitions, 3270 secs || 70148828 markings, 165940361 edges, 21691 markings/sec, 3270 secs
lola: STP completed || 104 tries, 103205260 fired transitions, 3275 secs || 70253680 markings, 166225671 edges, 20970 markings/sec, 3275 secs
lola: STP completed || 104 tries, 103370043 fired transitions, 3280 secs || 70360150 markings, 166496270 edges, 21294 markings/sec, 3280 secs
lola: STP completed || 104 tries, 103541016 fired transitions, 3285 secs || 70468847 markings, 166779505 edges, 21739 markings/sec, 3285 secs
lola: STP completed || 104 tries, 103712250 fired transitions, 3290 secs || 70583156 markings, 167047923 edges, 22862 markings/sec, 3290 secs
lola: STP completed || 104 tries, 103883845 fired transitions, 3295 secs || 70697941 markings, 167320722 edges, 22957 markings/sec, 3295 secs
lola: STP completed || 105 tries, 104054769 fired transitions, 3300 secs || 70804122 markings, 167607618 edges, 21236 markings/sec, 3300 secs
lola: STP completed || 105 tries, 104226134 fired transitions, 3305 secs || 70914377 markings, 167892709 edges, 22051 markings/sec, 3305 secs
lola: STP completed || 105 tries, 104397541 fired transitions, 3310 secs || 71024613 markings, 168183248 edges, 22047 markings/sec, 3310 secs
lola: STP completed || 105 tries, 104569021 fired transitions, 3315 secs || 71133690 markings, 168469982 edges, 21815 markings/sec, 3315 secs
lola: STP completed || 105 tries, 104740504 fired transitions, 3320 secs || 71242401 markings, 168752869 edges, 21742 markings/sec, 3320 secs
lola: STP completed || 105 tries, 104912337 fired transitions, 3325 secs || 71352959 markings, 169041249 edges, 22112 markings/sec, 3325 secs
lola: STP completed || 106 tries, 105083752 fired transitions, 3330 secs || 71462161 markings, 169323817 edges, 21840 markings/sec, 3330 secs
lola: STP completed || 106 tries, 105254910 fired transitions, 3335 secs || 71570495 markings, 169613343 edges, 21667 markings/sec, 3335 secs
lola: STP completed || 106 tries, 105425622 fired transitions, 3340 secs || 71679373 markings, 169903509 edges, 21776 markings/sec, 3340 secs
lola: STP completed || 106 tries, 105594151 fired transitions, 3345 secs || 71788389 markings, 170176789 edges, 21803 markings/sec, 3345 secs
lola: STP completed || 106 tries, 105765034 fired transitions, 3350 secs || 71896850 markings, 170462082 edges, 21692 markings/sec, 3350 secs
lola: STP completed || 106 tries, 105937581 fired transitions, 3355 secs || 72003825 markings, 170747063 edges, 21395 markings/sec, 3355 secs
lola: STP completed || 107 tries, 106106503 fired transitions, 3360 secs || 72111257 markings, 171024466 edges, 21486 markings/sec, 3360 secs
lola: STP completed || 107 tries, 106272795 fired transitions, 3365 secs || 72218487 markings, 171302583 edges, 21446 markings/sec, 3365 secs
lola: STP completed || 107 tries, 106445228 fired transitions, 3370 secs || 72329517 markings, 171588289 edges, 22206 markings/sec, 3370 secs
lola: STP completed || 107 tries, 106615656 fired transitions, 3375 secs || 72436503 markings, 171881783 edges, 21397 markings/sec, 3375 secs
lola: STP completed || 107 tries, 106787089 fired transitions, 3380 secs || 72547805 markings, 172162478 edges, 22260 markings/sec, 3380 secs
lola: STP completed || 107 tries, 106957576 fired transitions, 3385 secs || 72655756 markings, 172455561 edges, 21590 markings/sec, 3385 secs
lola: STP completed || 108 tries, 107127984 fired transitions, 3390 secs || 72764529 markings, 172741005 edges, 21755 markings/sec, 3390 secs
lola: STP completed || 108 tries, 107300429 fired transitions, 3395 secs || 72875728 markings, 173032520 edges, 22240 markings/sec, 3395 secs
lola: STP completed || 108 tries, 107469701 fired transitions, 3400 secs || 72985581 markings, 173309087 edges, 21971 markings/sec, 3400 secs
lola: STP completed || 108 tries, 107640162 fired transitions, 3405 secs || 73094357 markings, 173597973 edges, 21755 markings/sec, 3405 secs
lola: STP completed || 108 tries, 107811025 fired transitions, 3410 secs || 73203980 markings, 173877785 edges, 21925 markings/sec, 3410 secs
lola: STP completed || 108 tries, 107982403 fired transitions, 3415 secs || 73312121 markings, 174168045 edges, 21628 markings/sec, 3415 secs
lola: STP completed || 109 tries, 108153741 fired transitions, 3420 secs || 73422305 markings, 174453019 edges, 22037 markings/sec, 3420 secs
lola: STP completed || 109 tries, 108324509 fired transitions, 3425 secs || 73532401 markings, 174731599 edges, 22019 markings/sec, 3425 secs
lola: STP completed || 109 tries, 108496496 fired transitions, 3430 secs || 73644658 markings, 175009649 edges, 22451 markings/sec, 3430 secs
lola: STP completed || 109 tries, 108667751 fired transitions, 3435 secs || 73754344 markings, 175297478 edges, 21937 markings/sec, 3435 secs
lola: STP completed || 109 tries, 108833439 fired transitions, 3440 secs || 73865644 markings, 175562564 edges, 22260 markings/sec, 3440 secs
lola: STP completed || 109 tries, 108999852 fired transitions, 3445 secs || 73973714 markings, 175832468 edges, 21614 markings/sec, 3445 secs
lola: STP completed || 110 tries, 109166265 fired transitions, 3450 secs || 74078445 markings, 176102849 edges, 20946 markings/sec, 3450 secs
lola: STP completed || 110 tries, 109332044 fired transitions, 3455 secs || 74186614 markings, 176369735 edges, 21634 markings/sec, 3455 secs
lola: STP completed || 110 tries, 109499374 fired transitions, 3460 secs || 74293186 markings, 176653047 edges, 21314 markings/sec, 3460 secs
lola: STP completed || 110 tries, 109665682 fired transitions, 3465 secs || 74397337 markings, 176938675 edges, 20830 markings/sec, 3465 secs
lola: STP completed || 110 tries, 109758459 fired transitions, 3470 secs || 74454862 markings, 177088075 edges, 11505 markings/sec, 3470 secs
lola: STP completed || 110 tries, 109866427 fired transitions, 3475 secs || 74523841 markings, 177268387 edges, 13796 markings/sec, 3475 secs
Killed
FORMULA Railroad-PT-020-ReachabilityDeadlock-0 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT SAT_SMT STATE_COMPRESSION STUBBORN_SETS SYMMETRIES TOPOLOGICAL USE_NUPN
----- Kill lola and sara stdout -----
----- Finished stdout -----

BK_STOP 1494803296067

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

----- Start make prepare stderr -----
----- Start make result stderr -----
make: [verify] Error 137 (ignored)
----- Start make result stderr -----
----- Kill lola and sara stderr -----
----- Finished 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="Railroad-PT-020"
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/Railroad-PT-020.tgz
mv Railroad-PT-020 execution

# this is for BenchKit: explicit launching of the test

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