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 DLCround-PT-11b, examination is ReachabilityDeadlock
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r178-csrt-149580961900359
=====================================================================

--------------------
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 DLCround-PT-11b-ReachabilityDeadlock-0

=== Now, execution of the tool begins

BK_START 1496544063326


Time: 3600 - MCC
----- Start make prepare stdout -----
===========================================================================================
DLCround-PT-11b: translating PT Petri net model.pnml into LoLA format
===========================================================================================
translating PT Petri net complete


checking for too many tokens
===========================================================================================
DLCround-PT-11b: translating PT formula ReachabilityDeadlock into LoLA format
===========================================================================================
translating formula complete
touch formulae;
----- Start make result stdout -----
ReachabilityDeadlock @ DLCround-PT-11b @ 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: 11366/65536 symbol table entries, 3163 collisions
lola: preprocessing...
lola: finding significant places
lola: 4375 places, 6991 transitions, 4131 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 10066 transition conflict sets
lola: TASK
lola: reading formula from DLCround-PT-11b-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 520 bytes per marking, with 29 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: computed 16 generators (16 in search tree, 0 by composition)
lola: representing 65536 symmetries
lola: 0 dead branches visited in search tree
lola: STP: formula with 139010 variables and 422755 clauses shipped to Minisat
lola: stp: The siphon/trap property does not hold
lola: STP completed || 1 tries, 128565 fired transitions, 0 secs || 85174 markings, 96045 edges, 17035 markings/sec, 0 secs
lola: STP completed || 1 tries, 253630 fired transitions, 5 secs || 174393 markings, 196867 edges, 17844 markings/sec, 5 secs
lola: STP completed || 1 tries, 375207 fired transitions, 10 secs || 277145 markings, 314862 edges, 20550 markings/sec, 10 secs
lola: STP completed || 1 tries, 508206 fired transitions, 15 secs || 384525 markings, 440685 edges, 21476 markings/sec, 15 secs
lola: STP completed || 1 tries, 635646 fired transitions, 20 secs || 494063 markings, 566804 edges, 21908 markings/sec, 20 secs
lola: STP completed || 1 tries, 764170 fired transitions, 25 secs || 609435 markings, 701670 edges, 23074 markings/sec, 25 secs
lola: STP completed || 1 tries, 890546 fired transitions, 30 secs || 707142 markings, 809964 edges, 19541 markings/sec, 30 secs
lola: STP completed || 2 tries, 1019349 fired transitions, 35 secs || 805742 markings, 920832 edges, 19720 markings/sec, 35 secs
lola: STP completed || 2 tries, 1145323 fired transitions, 40 secs || 911203 markings, 1040519 edges, 21092 markings/sec, 40 secs
lola: STP completed || 2 tries, 1275486 fired transitions, 45 secs || 1030684 markings, 1179672 edges, 23896 markings/sec, 45 secs
lola: STP completed || 2 tries, 1409804 fired transitions, 50 secs || 1140951 markings, 1305692 edges, 22053 markings/sec, 50 secs
lola: STP completed || 2 tries, 1549407 fired transitions, 55 secs || 1239497 markings, 1415620 edges, 19709 markings/sec, 55 secs
lola: STP completed || 2 tries, 1693386 fired transitions, 60 secs || 1337526 markings, 1523774 edges, 19606 markings/sec, 60 secs
lola: STP completed || 2 tries, 1837430 fired transitions, 65 secs || 1441877 markings, 1641469 edges, 20870 markings/sec, 65 secs
lola: STP completed || 2 tries, 1979888 fired transitions, 70 secs || 1559564 markings, 1778100 edges, 23537 markings/sec, 70 secs
lola: STP completed || 3 tries, 2122890 fired transitions, 75 secs || 1669721 markings, 1904739 edges, 22031 markings/sec, 75 secs
lola: STP completed || 3 tries, 2264515 fired transitions, 80 secs || 1769065 markings, 2014830 edges, 19869 markings/sec, 80 secs
lola: STP completed || 3 tries, 2407870 fired transitions, 85 secs || 1869877 markings, 2126288 edges, 20162 markings/sec, 85 secs
lola: STP completed || 3 tries, 2550459 fired transitions, 90 secs || 1971119 markings, 2239527 edges, 20248 markings/sec, 90 secs
lola: STP completed || 3 tries, 2695304 fired transitions, 95 secs || 2077220 markings, 2358203 edges, 21220 markings/sec, 95 secs
lola: STP completed || 3 tries, 2840809 fired transitions, 100 secs || 2190184 markings, 2485164 edges, 22593 markings/sec, 100 secs
lola: STP completed || 3 tries, 2984746 fired transitions, 105 secs || 2296837 markings, 2603717 edges, 21331 markings/sec, 105 secs
lola: STP completed || 4 tries, 3130083 fired transitions, 110 secs || 2405059 markings, 2724374 edges, 21644 markings/sec, 110 secs
lola: STP completed || 4 tries, 3273002 fired transitions, 115 secs || 2511732 markings, 2843080 edges, 21335 markings/sec, 115 secs
lola: STP completed || 4 tries, 3416747 fired transitions, 120 secs || 2619545 markings, 2963414 edges, 21563 markings/sec, 120 secs
lola: STP completed || 4 tries, 3563004 fired transitions, 125 secs || 2725222 markings, 3080710 edges, 21135 markings/sec, 125 secs
lola: STP completed || 4 tries, 3707404 fired transitions, 130 secs || 2823822 markings, 3188988 edges, 19720 markings/sec, 130 secs
lola: STP completed || 4 tries, 3850992 fired transitions, 135 secs || 2923125 markings, 3297937 edges, 19861 markings/sec, 135 secs
lola: STP completed || 4 tries, 3996469 fired transitions, 140 secs || 3022880 markings, 3407596 edges, 19951 markings/sec, 140 secs
lola: STP completed || 5 tries, 4141872 fired transitions, 145 secs || 3123411 markings, 3517956 edges, 20106 markings/sec, 145 secs
lola: STP completed || 5 tries, 4285429 fired transitions, 150 secs || 3222053 markings, 3626462 edges, 19728 markings/sec, 150 secs
lola: STP completed || 5 tries, 4427497 fired transitions, 155 secs || 3320164 markings, 3733974 edges, 19622 markings/sec, 155 secs
lola: STP completed || 5 tries, 4570747 fired transitions, 160 secs || 3418809 markings, 3842207 edges, 19729 markings/sec, 160 secs
lola: STP completed || 5 tries, 4714567 fired transitions, 165 secs || 3518547 markings, 3951735 edges, 19948 markings/sec, 165 secs
lola: STP completed || 5 tries, 4857890 fired transitions, 170 secs || 3618754 markings, 4061774 edges, 20041 markings/sec, 170 secs
lola: STP completed || 6 tries, 5001708 fired transitions, 175 secs || 3717216 markings, 4170031 edges, 19692 markings/sec, 175 secs
lola: STP completed || 6 tries, 5143855 fired transitions, 180 secs || 3814707 markings, 4277330 edges, 19498 markings/sec, 180 secs
lola: STP completed || 6 tries, 5285959 fired transitions, 185 secs || 3913446 markings, 4386119 edges, 19748 markings/sec, 185 secs
lola: STP completed || 6 tries, 5432544 fired transitions, 190 secs || 4013717 markings, 4496651 edges, 20054 markings/sec, 190 secs
lola: STP completed || 6 tries, 5577249 fired transitions, 195 secs || 4112304 markings, 4605222 edges, 19717 markings/sec, 195 secs
lola: STP completed || 6 tries, 5721052 fired transitions, 200 secs || 4210123 markings, 4712820 edges, 19564 markings/sec, 200 secs
lola: STP completed || 6 tries, 5866849 fired transitions, 205 secs || 4309200 markings, 4821863 edges, 19815 markings/sec, 205 secs
lola: STP completed || 7 tries, 6012683 fired transitions, 210 secs || 4408982 markings, 4931562 edges, 19956 markings/sec, 210 secs
lola: STP completed || 7 tries, 6156445 fired transitions, 215 secs || 4507444 markings, 5039992 edges, 19692 markings/sec, 215 secs
lola: STP completed || 7 tries, 6294636 fired transitions, 220 secs || 4602616 markings, 5145143 edges, 19034 markings/sec, 220 secs
lola: STP completed || 7 tries, 6432746 fired transitions, 225 secs || 4696425 markings, 5248702 edges, 18762 markings/sec, 225 secs
lola: STP completed || 7 tries, 6575107 fired transitions, 230 secs || 4795492 markings, 5357883 edges, 19813 markings/sec, 230 secs
lola: STP completed || 7 tries, 6717969 fired transitions, 235 secs || 4895440 markings, 5468514 edges, 19990 markings/sec, 235 secs
lola: STP completed || 7 tries, 6860813 fired transitions, 240 secs || 4994258 markings, 5577694 edges, 19764 markings/sec, 240 secs
lola: STP completed || 8 tries, 7006182 fired transitions, 245 secs || 5091013 markings, 5684425 edges, 19351 markings/sec, 245 secs
lola: STP completed || 8 tries, 7149770 fired transitions, 250 secs || 5190962 markings, 5794796 edges, 19990 markings/sec, 250 secs
lola: STP completed || 8 tries, 7292945 fired transitions, 255 secs || 5288691 markings, 5902582 edges, 19546 markings/sec, 255 secs
lola: STP completed || 8 tries, 7433038 fired transitions, 260 secs || 5382419 markings, 6005691 edges, 18746 markings/sec, 260 secs
lola: STP completed || 8 tries, 7571439 fired transitions, 265 secs || 5476281 markings, 6109110 edges, 18772 markings/sec, 265 secs
lola: STP completed || 8 tries, 7711287 fired transitions, 270 secs || 5570744 markings, 6213187 edges, 18893 markings/sec, 270 secs
lola: STP completed || 8 tries, 7849220 fired transitions, 275 secs || 5664260 markings, 6316330 edges, 18703 markings/sec, 275 secs
lola: STP completed || 8 tries, 7988967 fired transitions, 280 secs || 5758540 markings, 6420003 edges, 18856 markings/sec, 280 secs
lola: STP completed || 9 tries, 8132452 fired transitions, 285 secs || 5854681 markings, 6525759 edges, 19228 markings/sec, 285 secs
lola: STP completed || 9 tries, 8273498 fired transitions, 290 secs || 5954188 markings, 6635846 edges, 19901 markings/sec, 290 secs
lola: STP completed || 9 tries, 8418107 fired transitions, 295 secs || 6052940 markings, 6745164 edges, 19750 markings/sec, 295 secs
lola: STP completed || 9 tries, 8555583 fired transitions, 300 secs || 6147538 markings, 6849220 edges, 18920 markings/sec, 300 secs
lola: STP completed || 9 tries, 8695261 fired transitions, 305 secs || 6242008 markings, 6953598 edges, 18894 markings/sec, 305 secs
lola: STP completed || 9 tries, 8834040 fired transitions, 310 secs || 6336546 markings, 7057738 edges, 18908 markings/sec, 310 secs
lola: STP completed || 9 tries, 8980268 fired transitions, 315 secs || 6436922 markings, 7168980 edges, 20075 markings/sec, 315 secs
lola: STP completed || 10 tries, 9129347 fired transitions, 320 secs || 6537977 markings, 7280328 edges, 20211 markings/sec, 320 secs
lola: STP completed || 10 tries, 9276697 fired transitions, 325 secs || 6639347 markings, 7391998 edges, 20274 markings/sec, 325 secs
lola: STP completed || 10 tries, 9421113 fired transitions, 330 secs || 6738709 markings, 7501492 edges, 19872 markings/sec, 330 secs
lola: STP completed || 10 tries, 9565141 fired transitions, 335 secs || 6835510 markings, 7608116 edges, 19360 markings/sec, 335 secs
lola: STP completed || 10 tries, 9709819 fired transitions, 340 secs || 6936520 markings, 7719894 edges, 20202 markings/sec, 340 secs
lola: STP completed || 10 tries, 9855164 fired transitions, 345 secs || 7035127 markings, 7828567 edges, 19721 markings/sec, 345 secs
lola: STP completed || 10 tries, 9995372 fired transitions, 350 secs || 7132674 markings, 7936601 edges, 19509 markings/sec, 350 secs
lola: STP completed || 11 tries, 10135027 fired transitions, 355 secs || 7228405 markings, 8042302 edges, 19146 markings/sec, 355 secs
lola: STP completed || 11 tries, 10272172 fired transitions, 360 secs || 7322243 markings, 8145831 edges, 18768 markings/sec, 360 secs
lola: STP completed || 11 tries, 10417051 fired transitions, 365 secs || 7420308 markings, 8253635 edges, 19613 markings/sec, 365 secs
lola: STP completed || 11 tries, 10563327 fired transitions, 370 secs || 7520694 markings, 8364310 edges, 20077 markings/sec, 370 secs
lola: STP completed || 11 tries, 10708843 fired transitions, 375 secs || 7619440 markings, 8473203 edges, 19749 markings/sec, 375 secs
lola: STP completed || 11 tries, 10852342 fired transitions, 380 secs || 7715773 markings, 8578903 edges, 19267 markings/sec, 380 secs
lola: STP completed || 11 tries, 10997222 fired transitions, 385 secs || 7814822 markings, 8688534 edges, 19810 markings/sec, 385 secs
lola: STP completed || 12 tries, 11142444 fired transitions, 390 secs || 7914194 markings, 8798618 edges, 19874 markings/sec, 390 secs
lola: STP completed || 12 tries, 11286122 fired transitions, 395 secs || 8013382 markings, 8908214 edges, 19838 markings/sec, 395 secs
lola: STP completed || 12 tries, 11430138 fired transitions, 400 secs || 8111216 markings, 9015925 edges, 19567 markings/sec, 400 secs
lola: STP completed || 12 tries, 11575744 fired transitions, 405 secs || 8210546 markings, 9125562 edges, 19866 markings/sec, 405 secs
lola: STP completed || 12 tries, 11718803 fired transitions, 410 secs || 8309686 markings, 9235173 edges, 19828 markings/sec, 410 secs
lola: STP completed || 12 tries, 11861492 fired transitions, 415 secs || 8407778 markings, 9343171 edges, 19618 markings/sec, 415 secs
lola: STP completed || 13 tries, 12005033 fired transitions, 420 secs || 8505772 markings, 9451158 edges, 19599 markings/sec, 420 secs
lola: STP completed || 13 tries, 12149437 fired transitions, 425 secs || 8603943 markings, 9559661 edges, 19634 markings/sec, 425 secs
lola: STP completed || 13 tries, 12292801 fired transitions, 430 secs || 8701521 markings, 9667155 edges, 19516 markings/sec, 430 secs
lola: STP completed || 13 tries, 12439239 fired transitions, 435 secs || 8799072 markings, 9774726 edges, 19510 markings/sec, 435 secs
lola: STP completed || 13 tries, 12583698 fired transitions, 440 secs || 8898129 markings, 9884086 edges, 19811 markings/sec, 440 secs
lola: STP completed || 13 tries, 12728268 fired transitions, 445 secs || 8996753 markings, 9992669 edges, 19725 markings/sec, 445 secs
lola: STP completed || 13 tries, 12872456 fired transitions, 450 secs || 9096044 markings, 10102168 edges, 19858 markings/sec, 450 secs
lola: STP completed || 14 tries, 13016460 fired transitions, 455 secs || 9195075 markings, 10211579 edges, 19806 markings/sec, 455 secs
lola: STP completed || 14 tries, 13160690 fired transitions, 460 secs || 9294605 markings, 10321674 edges, 19906 markings/sec, 460 secs
lola: STP completed || 14 tries, 13304658 fired transitions, 465 secs || 9392983 markings, 10429861 edges, 19676 markings/sec, 465 secs
lola: STP completed || 14 tries, 13449153 fired transitions, 470 secs || 9492363 markings, 10539806 edges, 19876 markings/sec, 470 secs
lola: STP completed || 14 tries, 13593723 fired transitions, 475 secs || 9591418 markings, 10648932 edges, 19811 markings/sec, 475 secs
lola: STP completed || 14 tries, 13738591 fired transitions, 480 secs || 9690992 markings, 10758879 edges, 19915 markings/sec, 480 secs
lola: STP completed || 14 tries, 13882827 fired transitions, 485 secs || 9789211 markings, 10867541 edges, 19644 markings/sec, 485 secs
lola: STP completed || 15 tries, 14027512 fired transitions, 490 secs || 9887699 markings, 10976467 edges, 19698 markings/sec, 490 secs
lola: STP completed || 15 tries, 14173347 fired transitions, 495 secs || 9988010 markings, 11087903 edges, 20062 markings/sec, 495 secs
lola: STP completed || 15 tries, 14319028 fired transitions, 500 secs || 10086783 markings, 11196474 edges, 19755 markings/sec, 500 secs
lola: STP completed || 15 tries, 14463793 fired transitions, 505 secs || 10186223 markings, 11306135 edges, 19888 markings/sec, 505 secs
lola: STP completed || 15 tries, 14608040 fired transitions, 510 secs || 10283527 markings, 11413268 edges, 19461 markings/sec, 510 secs
lola: STP completed || 15 tries, 14754248 fired transitions, 515 secs || 10381678 markings, 11521484 edges, 19630 markings/sec, 515 secs
lola: STP completed || 15 tries, 14898602 fired transitions, 520 secs || 10478238 markings, 11627513 edges, 19312 markings/sec, 520 secs
lola: STP completed || 16 tries, 15040155 fired transitions, 525 secs || 10574039 markings, 11732740 edges, 19160 markings/sec, 525 secs
lola: STP completed || 16 tries, 15181091 fired transitions, 530 secs || 10670433 markings, 11839329 edges, 19279 markings/sec, 530 secs
lola: STP completed || 16 tries, 15322952 fired transitions, 535 secs || 10767324 markings, 11946689 edges, 19378 markings/sec, 535 secs
lola: STP completed || 16 tries, 15464043 fired transitions, 540 secs || 10865715 markings, 12055809 edges, 19678 markings/sec, 540 secs
lola: STP completed || 16 tries, 15605768 fired transitions, 545 secs || 10960974 markings, 12160896 edges, 19052 markings/sec, 545 secs
lola: STP completed || 16 tries, 15746093 fired transitions, 550 secs || 11055075 markings, 12264573 edges, 18820 markings/sec, 550 secs
lola: STP completed || 16 tries, 15887549 fired transitions, 555 secs || 11152000 markings, 12371104 edges, 19385 markings/sec, 555 secs
lola: STP completed || 17 tries, 16032663 fired transitions, 560 secs || 11250645 markings, 12479561 edges, 19729 markings/sec, 560 secs
lola: STP completed || 17 tries, 16178011 fired transitions, 565 secs || 11349354 markings, 12588649 edges, 19742 markings/sec, 565 secs
lola: STP completed || 17 tries, 16322853 fired transitions, 570 secs || 11447470 markings, 12696896 edges, 19623 markings/sec, 570 secs
lola: STP completed || 17 tries, 16467868 fired transitions, 575 secs || 11545089 markings, 12805125 edges, 19524 markings/sec, 575 secs
lola: STP completed || 17 tries, 16611205 fired transitions, 580 secs || 11642479 markings, 12912429 edges, 19478 markings/sec, 580 secs
lola: STP completed || 17 tries, 16756558 fired transitions, 585 secs || 11740948 markings, 13021253 edges, 19694 markings/sec, 585 secs
lola: STP completed || 17 tries, 16900454 fired transitions, 590 secs || 11840487 markings, 13131762 edges, 19908 markings/sec, 590 secs
lola: STP completed || 18 tries, 17045407 fired transitions, 595 secs || 11939305 markings, 13241262 edges, 19764 markings/sec, 595 secs
lola: STP completed || 18 tries, 17188527 fired transitions, 600 secs || 12038528 markings, 13351203 edges, 19845 markings/sec, 600 secs
lola: STP completed || 18 tries, 17332041 fired transitions, 605 secs || 12138023 markings, 13461306 edges, 19899 markings/sec, 605 secs
lola: STP completed || 18 tries, 17474689 fired transitions, 610 secs || 12235747 markings, 13569109 edges, 19545 markings/sec, 610 secs
lola: STP completed || 18 tries, 17619114 fired transitions, 615 secs || 12335885 markings, 13679667 edges, 20028 markings/sec, 615 secs
lola: STP completed || 18 tries, 17763815 fired transitions, 620 secs || 12434751 markings, 13789188 edges, 19773 markings/sec, 620 secs
lola: STP completed || 18 tries, 17907930 fired transitions, 625 secs || 12535521 markings, 13900881 edges, 20154 markings/sec, 625 secs
lola: STP completed || 19 tries, 18052705 fired transitions, 630 secs || 12634764 markings, 14010974 edges, 19849 markings/sec, 630 secs
lola: STP completed || 19 tries, 18195939 fired transitions, 635 secs || 12733790 markings, 14120361 edges, 19805 markings/sec, 635 secs
lola: STP completed || 19 tries, 18340239 fired transitions, 640 secs || 12833478 markings, 14230846 edges, 19938 markings/sec, 640 secs
lola: STP completed || 19 tries, 18486293 fired transitions, 645 secs || 12929634 markings, 14336665 edges, 19231 markings/sec, 645 secs
lola: STP completed || 19 tries, 18631163 fired transitions, 650 secs || 13028041 markings, 14445553 edges, 19681 markings/sec, 650 secs
lola: STP completed || 19 tries, 18774690 fired transitions, 655 secs || 13126146 markings, 14553561 edges, 19621 markings/sec, 655 secs
lola: STP completed || 19 tries, 18918733 fired transitions, 660 secs || 13222827 markings, 14660116 edges, 19336 markings/sec, 660 secs
lola: STP completed || 20 tries, 19063551 fired transitions, 665 secs || 13321299 markings, 14768745 edges, 19694 markings/sec, 665 secs
lola: STP completed || 20 tries, 19209604 fired transitions, 670 secs || 13421164 markings, 14879567 edges, 19973 markings/sec, 670 secs
lola: STP completed || 20 tries, 19354249 fired transitions, 675 secs || 13519176 markings, 14987536 edges, 19602 markings/sec, 675 secs
lola: STP completed || 20 tries, 19497795 fired transitions, 680 secs || 13616368 markings, 15094914 edges, 19438 markings/sec, 680 secs
lola: STP completed || 20 tries, 19644739 fired transitions, 685 secs || 13715351 markings, 15204515 edges, 19797 markings/sec, 685 secs
lola: STP completed || 20 tries, 19787360 fired transitions, 690 secs || 13811828 markings, 15310902 edges, 19295 markings/sec, 690 secs
lola: STP completed || 20 tries, 19932039 fired transitions, 695 secs || 13911199 markings, 15420857 edges, 19874 markings/sec, 695 secs
lola: STP completed || 21 tries, 20077447 fired transitions, 700 secs || 14008110 markings, 15527698 edges, 19382 markings/sec, 700 secs
lola: STP completed || 21 tries, 20219714 fired transitions, 705 secs || 14106143 markings, 15635923 edges, 19607 markings/sec, 705 secs
lola: STP completed || 21 tries, 20362620 fired transitions, 710 secs || 14205504 markings, 15745800 edges, 19872 markings/sec, 710 secs
lola: STP completed || 21 tries, 20505521 fired transitions, 715 secs || 14303528 markings, 15854069 edges, 19605 markings/sec, 715 secs
lola: STP completed || 21 tries, 20647487 fired transitions, 720 secs || 14401380 markings, 15962057 edges, 19570 markings/sec, 720 secs
lola: STP completed || 21 tries, 20793440 fired transitions, 725 secs || 14498698 markings, 16069436 edges, 19464 markings/sec, 725 secs
lola: STP completed || 21 tries, 20936333 fired transitions, 730 secs || 14596382 markings, 16177152 edges, 19537 markings/sec, 730 secs
lola: STP completed || 22 tries, 21082859 fired transitions, 735 secs || 14693125 markings, 16283783 edges, 19349 markings/sec, 735 secs
lola: STP completed || 22 tries, 21226220 fired transitions, 740 secs || 14787805 markings, 16387795 edges, 18936 markings/sec, 740 secs
lola: STP completed || 22 tries, 21371034 fired transitions, 745 secs || 14884586 markings, 16494263 edges, 19356 markings/sec, 745 secs
lola: STP completed || 22 tries, 21514183 fired transitions, 750 secs || 14982969 markings, 16603054 edges, 19677 markings/sec, 750 secs
lola: STP completed || 22 tries, 21657892 fired transitions, 755 secs || 15079143 markings, 16709063 edges, 19235 markings/sec, 755 secs
lola: STP completed || 22 tries, 21803230 fired transitions, 760 secs || 15179819 markings, 16819596 edges, 20135 markings/sec, 760 secs
lola: STP completed || 22 tries, 21948247 fired transitions, 765 secs || 15280172 markings, 16930104 edges, 20071 markings/sec, 765 secs
lola: STP completed || 23 tries, 22094451 fired transitions, 770 secs || 15378428 markings, 17037859 edges, 19651 markings/sec, 770 secs
lola: STP completed || 23 tries, 22239316 fired transitions, 775 secs || 15477348 markings, 17146465 edges, 19784 markings/sec, 775 secs
lola: STP completed || 23 tries, 22383508 fired transitions, 780 secs || 15575521 markings, 17254251 edges, 19635 markings/sec, 780 secs
lola: STP completed || 23 tries, 22529475 fired transitions, 785 secs || 15674919 markings, 17363416 edges, 19880 markings/sec, 785 secs
lola: STP completed || 23 tries, 22663761 fired transitions, 790 secs || 15771507 markings, 17469419 edges, 19318 markings/sec, 790 secs
lola: STP completed || 23 tries, 22792656 fired transitions, 795 secs || 15866484 markings, 17573910 edges, 18995 markings/sec, 795 secs
lola: STP completed || 23 tries, 22923150 fired transitions, 800 secs || 15962662 markings, 17679421 edges, 19236 markings/sec, 800 secs
lola: STP completed || 24 tries, 23052643 fired transitions, 805 secs || 16059364 markings, 17785487 edges, 19340 markings/sec, 805 secs
lola: STP completed || 24 tries, 23193891 fired transitions, 810 secs || 16156722 markings, 17892087 edges, 19472 markings/sec, 810 secs
lola: STP completed || 24 tries, 23335137 fired transitions, 815 secs || 16252643 markings, 17996942 edges, 19184 markings/sec, 815 secs
lola: STP completed || 24 tries, 23477120 fired transitions, 820 secs || 16350740 markings, 18104849 edges, 19619 markings/sec, 820 secs
lola: STP completed || 24 tries, 23617637 fired transitions, 825 secs || 16448217 markings, 18211797 edges, 19495 markings/sec, 825 secs
lola: STP completed || 24 tries, 23746114 fired transitions, 830 secs || 16543947 markings, 18316939 edges, 19146 markings/sec, 830 secs
lola: STP completed || 24 tries, 23875449 fired transitions, 835 secs || 16640738 markings, 18423406 edges, 19358 markings/sec, 835 secs
lola: STP completed || 25 tries, 24007734 fired transitions, 840 secs || 16737180 markings, 18529582 edges, 19288 markings/sec, 840 secs
lola: STP completed || 25 tries, 24138194 fired transitions, 845 secs || 16831362 markings, 18632843 edges, 18836 markings/sec, 845 secs
lola: STP completed || 25 tries, 24269185 fired transitions, 850 secs || 16926428 markings, 18737328 edges, 19013 markings/sec, 850 secs
lola: STP completed || 25 tries, 24400962 fired transitions, 855 secs || 17020792 markings, 18840881 edges, 18873 markings/sec, 855 secs
lola: STP completed || 25 tries, 24530729 fired transitions, 860 secs || 17109964 markings, 18938626 edges, 17834 markings/sec, 860 secs
lola: STP completed || 25 tries, 24660961 fired transitions, 865 secs || 17199009 markings, 19036326 edges, 17809 markings/sec, 865 secs
lola: STP completed || 25 tries, 24791544 fired transitions, 870 secs || 17287657 markings, 19133654 edges, 17730 markings/sec, 870 secs
lola: STP completed || 25 tries, 24925639 fired transitions, 875 secs || 17381931 markings, 19237288 edges, 18855 markings/sec, 875 secs
lola: STP completed || 26 tries, 25062998 fired transitions, 880 secs || 17478765 markings, 19343391 edges, 19367 markings/sec, 880 secs
lola: STP completed || 26 tries, 25197158 fired transitions, 885 secs || 17571157 markings, 19444936 edges, 18478 markings/sec, 885 secs
lola: STP completed || 26 tries, 25328385 fired transitions, 890 secs || 17663484 markings, 19546817 edges, 18465 markings/sec, 890 secs
lola: STP completed || 26 tries, 25462788 fired transitions, 895 secs || 17756501 markings, 19649554 edges, 18603 markings/sec, 895 secs
lola: STP completed || 26 tries, 25596429 fired transitions, 900 secs || 17848772 markings, 19751047 edges, 18454 markings/sec, 900 secs
lola: STP completed || 26 tries, 25729789 fired transitions, 905 secs || 17942654 markings, 19854274 edges, 18776 markings/sec, 905 secs
lola: STP completed || 26 tries, 25864687 fired transitions, 910 secs || 18039728 markings, 19960817 edges, 19415 markings/sec, 910 secs
lola: STP completed || 26 tries, 25991213 fired transitions, 915 secs || 18129595 markings, 20059371 edges, 17973 markings/sec, 915 secs
lola: STP completed || 27 tries, 26119473 fired transitions, 920 secs || 18220906 markings, 20159881 edges, 18262 markings/sec, 920 secs
lola: STP completed || 27 tries, 26252928 fired transitions, 925 secs || 18316337 markings, 20265218 edges, 19086 markings/sec, 925 secs
lola: STP completed || 27 tries, 26392997 fired transitions, 930 secs || 18416595 markings, 20375842 edges, 20052 markings/sec, 930 secs
lola: STP completed || 27 tries, 26528710 fired transitions, 935 secs || 18519607 markings, 20490253 edges, 20602 markings/sec, 935 secs
lola: STP completed || 27 tries, 26669821 fired transitions, 940 secs || 18622460 markings, 20604311 edges, 20571 markings/sec, 940 secs
lola: STP completed || 27 tries, 26799274 fired transitions, 945 secs || 18722788 markings, 20715118 edges, 20066 markings/sec, 945 secs
lola: STP completed || 27 tries, 26934228 fired transitions, 950 secs || 18817993 markings, 20819388 edges, 19041 markings/sec, 950 secs
lola: STP completed || 28 tries, 27069339 fired transitions, 955 secs || 18913028 markings, 20924093 edges, 19007 markings/sec, 955 secs
lola: STP completed || 28 tries, 27206857 fired transitions, 960 secs || 19011402 markings, 21032825 edges, 19675 markings/sec, 960 secs
lola: STP completed || 28 tries, 27342351 fired transitions, 965 secs || 19109131 markings, 21140675 edges, 19546 markings/sec, 965 secs
lola: STP completed || 28 tries, 27473307 fired transitions, 970 secs || 19201559 markings, 21242170 edges, 18486 markings/sec, 970 secs
lola: STP completed || 28 tries, 27600882 fired transitions, 975 secs || 19290671 markings, 21339835 edges, 17822 markings/sec, 975 secs
lola: STP completed || 28 tries, 27734461 fired transitions, 980 secs || 19383197 markings, 21441644 edges, 18505 markings/sec, 980 secs
lola: STP completed || 28 tries, 27871660 fired transitions, 985 secs || 19480703 markings, 21549221 edges, 19501 markings/sec, 985 secs
lola: STP completed || 29 tries, 28021396 fired transitions, 990 secs || 19580942 markings, 21659797 edges, 20048 markings/sec, 990 secs
lola: STP completed || 29 tries, 28165063 fired transitions, 995 secs || 19679502 markings, 21768409 edges, 19712 markings/sec, 995 secs
lola: STP completed || 29 tries, 28307777 fired transitions, 1000 secs || 19781561 markings, 21881462 edges, 20412 markings/sec, 1000 secs
lola: STP completed || 29 tries, 28450881 fired transitions, 1005 secs || 19876369 markings, 21985558 edges, 18962 markings/sec, 1005 secs
lola: STP completed || 29 tries, 28594317 fired transitions, 1010 secs || 19972793 markings, 22091135 edges, 19285 markings/sec, 1010 secs
lola: STP completed || 29 tries, 28738402 fired transitions, 1015 secs || 20072830 markings, 22201899 edges, 20007 markings/sec, 1015 secs
lola: STP completed || 29 tries, 28883867 fired transitions, 1020 secs || 20167957 markings, 22306280 edges, 19025 markings/sec, 1020 secs
lola: STP completed || 30 tries, 29027657 fired transitions, 1025 secs || 20266391 markings, 22414640 edges, 19687 markings/sec, 1025 secs
lola: STP completed || 30 tries, 29170988 fired transitions, 1030 secs || 20363894 markings, 22521682 edges, 19501 markings/sec, 1030 secs
lola: STP completed || 30 tries, 29315080 fired transitions, 1035 secs || 20461115 markings, 22628866 edges, 19444 markings/sec, 1035 secs
lola: STP completed || 30 tries, 29461598 fired transitions, 1040 secs || 20555765 markings, 22732849 edges, 18930 markings/sec, 1040 secs
lola: STP completed || 30 tries, 29605279 fired transitions, 1045 secs || 20650765 markings, 22837484 edges, 19000 markings/sec, 1045 secs
lola: STP completed || 30 tries, 29750138 fired transitions, 1050 secs || 20747449 markings, 22944221 edges, 19337 markings/sec, 1050 secs
lola: STP completed || 30 tries, 29892037 fired transitions, 1055 secs || 20847208 markings, 23054745 edges, 19952 markings/sec, 1055 secs
lola: STP completed || 31 tries, 30027630 fired transitions, 1060 secs || 20943684 markings, 23161026 edges, 19295 markings/sec, 1060 secs
lola: STP completed || 31 tries, 30166368 fired transitions, 1065 secs || 21040666 markings, 23267987 edges, 19396 markings/sec, 1065 secs
lola: STP completed || 31 tries, 30306191 fired transitions, 1070 secs || 21136086 markings, 23372977 edges, 19084 markings/sec, 1070 secs
lola: STP completed || 31 tries, 30446255 fired transitions, 1075 secs || 21233969 markings, 23480945 edges, 19577 markings/sec, 1075 secs
lola: STP completed || 31 tries, 30587663 fired transitions, 1080 secs || 21328990 markings, 23585483 edges, 19004 markings/sec, 1080 secs
lola: STP completed || 31 tries, 30728162 fired transitions, 1085 secs || 21426072 markings, 23692693 edges, 19416 markings/sec, 1085 secs
lola: STP completed || 31 tries, 30866012 fired transitions, 1090 secs || 21522866 markings, 23799263 edges, 19359 markings/sec, 1090 secs
lola: STP completed || 32 tries, 31007133 fired transitions, 1095 secs || 21619662 markings, 23906134 edges, 19359 markings/sec, 1095 secs
lola: STP completed || 32 tries, 31146736 fired transitions, 1100 secs || 21717183 markings, 24013551 edges, 19504 markings/sec, 1100 secs
lola: STP completed || 32 tries, 31283853 fired transitions, 1105 secs || 21813222 markings, 24119447 edges, 19208 markings/sec, 1105 secs
lola: STP completed || 32 tries, 31423410 fired transitions, 1110 secs || 21908775 markings, 24224587 edges, 19111 markings/sec, 1110 secs
lola: STP completed || 32 tries, 31558683 fired transitions, 1115 secs || 22004387 markings, 24330276 edges, 19122 markings/sec, 1115 secs
lola: STP completed || 32 tries, 31690975 fired transitions, 1120 secs || 22100350 markings, 24436100 edges, 19193 markings/sec, 1120 secs
lola: STP completed || 32 tries, 31827372 fired transitions, 1125 secs || 22196977 markings, 24542616 edges, 19325 markings/sec, 1125 secs
lola: STP completed || 32 tries, 31967735 fired transitions, 1130 secs || 22297627 markings, 24653492 edges, 20130 markings/sec, 1130 secs
lola: STP completed || 33 tries, 32109395 fired transitions, 1135 secs || 22395525 markings, 24761058 edges, 19580 markings/sec, 1135 secs
lola: STP completed || 33 tries, 32249509 fired transitions, 1140 secs || 22493466 markings, 24868521 edges, 19588 markings/sec, 1140 secs
lola: STP completed || 33 tries, 32390030 fired transitions, 1145 secs || 22594141 markings, 24979480 edges, 20135 markings/sec, 1145 secs
lola: STP completed || 33 tries, 32528572 fired transitions, 1150 secs || 22693886 markings, 25089416 edges, 19949 markings/sec, 1150 secs
lola: STP completed || 33 tries, 32667845 fired transitions, 1155 secs || 22794292 markings, 25200183 edges, 20081 markings/sec, 1155 secs
lola: STP completed || 33 tries, 32809376 fired transitions, 1160 secs || 22892282 markings, 25308264 edges, 19598 markings/sec, 1160 secs
lola: STP completed || 33 tries, 32949932 fired transitions, 1165 secs || 22988348 markings, 25413933 edges, 19213 markings/sec, 1165 secs
lola: STP completed || 34 tries, 33092285 fired transitions, 1170 secs || 23089765 markings, 25526377 edges, 20283 markings/sec, 1170 secs
lola: STP completed || 34 tries, 33222027 fired transitions, 1175 secs || 23185402 markings, 25631620 edges, 19127 markings/sec, 1175 secs
lola: STP completed || 34 tries, 33361446 fired transitions, 1180 secs || 23282900 markings, 25739576 edges, 19500 markings/sec, 1180 secs
lola: STP completed || 34 tries, 33498725 fired transitions, 1185 secs || 23380119 markings, 25846980 edges, 19444 markings/sec, 1185 secs
lola: STP completed || 34 tries, 33639473 fired transitions, 1190 secs || 23474445 markings, 25950517 edges, 18865 markings/sec, 1190 secs
lola: STP completed || 34 tries, 33779189 fired transitions, 1195 secs || 23573670 markings, 26059925 edges, 19845 markings/sec, 1195 secs
lola: STP completed || 34 tries, 33917219 fired transitions, 1200 secs || 23671505 markings, 26167841 edges, 19567 markings/sec, 1200 secs
lola: STP completed || 35 tries, 34056324 fired transitions, 1205 secs || 23770388 markings, 26276793 edges, 19777 markings/sec, 1205 secs
lola: STP completed || 35 tries, 34196440 fired transitions, 1210 secs || 23869014 markings, 26385406 edges, 19725 markings/sec, 1210 secs
lola: STP completed || 35 tries, 34335073 fired transitions, 1215 secs || 23969131 markings, 26496243 edges, 20023 markings/sec, 1215 secs
lola: STP completed || 35 tries, 34472671 fired transitions, 1220 secs || 24065791 markings, 26602417 edges, 19332 markings/sec, 1220 secs
lola: STP completed || 35 tries, 34610627 fired transitions, 1225 secs || 24163843 markings, 26710407 edges, 19610 markings/sec, 1225 secs
lola: STP completed || 35 tries, 34748089 fired transitions, 1230 secs || 24256041 markings, 26812835 edges, 18440 markings/sec, 1230 secs
lola: STP completed || 35 tries, 34883110 fired transitions, 1235 secs || 24348983 markings, 26915029 edges, 18588 markings/sec, 1235 secs
lola: STP completed || 36 tries, 35018387 fired transitions, 1240 secs || 24448748 markings, 27025774 edges, 19953 markings/sec, 1240 secs
lola: STP completed || 36 tries, 35144419 fired transitions, 1245 secs || 24544661 markings, 27131144 edges, 19183 markings/sec, 1245 secs
lola: STP completed || 36 tries, 35273183 fired transitions, 1250 secs || 24641933 markings, 27237763 edges, 19454 markings/sec, 1250 secs
lola: STP completed || 36 tries, 35402192 fired transitions, 1255 secs || 24738821 markings, 27344856 edges, 19378 markings/sec, 1255 secs
lola: STP completed || 36 tries, 35538747 fired transitions, 1260 secs || 24838239 markings, 27455185 edges, 19884 markings/sec, 1260 secs
lola: STP completed || 36 tries, 35662955 fired transitions, 1265 secs || 24932099 markings, 27558790 edges, 18772 markings/sec, 1265 secs
lola: STP completed || 36 tries, 35793830 fired transitions, 1270 secs || 25028542 markings, 27665549 edges, 19289 markings/sec, 1270 secs
lola: STP completed || 36 tries, 35920907 fired transitions, 1275 secs || 25121712 markings, 27768375 edges, 18634 markings/sec, 1275 secs
lola: STP completed || 37 tries, 36052093 fired transitions, 1280 secs || 25215743 markings, 27871964 edges, 18806 markings/sec, 1280 secs
lola: STP completed || 37 tries, 36176508 fired transitions, 1285 secs || 25311599 markings, 27977908 edges, 19171 markings/sec, 1285 secs
lola: STP completed || 37 tries, 36304841 fired transitions, 1290 secs || 25409536 markings, 28086147 edges, 19587 markings/sec, 1290 secs
lola: STP completed || 37 tries, 36444076 fired transitions, 1295 secs || 25505086 markings, 28191113 edges, 19110 markings/sec, 1295 secs
lola: STP completed || 37 tries, 36574910 fired transitions, 1300 secs || 25598140 markings, 28293332 edges, 18611 markings/sec, 1300 secs
lola: STP completed || 37 tries, 36703006 fired transitions, 1305 secs || 25688541 markings, 28392855 edges, 18080 markings/sec, 1305 secs
lola: STP completed || 37 tries, 36841618 fired transitions, 1310 secs || 25783561 markings, 28497446 edges, 19004 markings/sec, 1310 secs
lola: STP completed || 37 tries, 36979104 fired transitions, 1315 secs || 25880554 markings, 28604134 edges, 19399 markings/sec, 1315 secs
lola: STP completed || 38 tries, 37117970 fired transitions, 1320 secs || 25978398 markings, 28711885 edges, 19569 markings/sec, 1320 secs
lola: STP completed || 38 tries, 37255824 fired transitions, 1325 secs || 26075850 markings, 28819081 edges, 19490 markings/sec, 1325 secs
lola: STP completed || 38 tries, 37392602 fired transitions, 1330 secs || 26172563 markings, 28925967 edges, 19343 markings/sec, 1330 secs
lola: STP completed || 38 tries, 37523838 fired transitions, 1335 secs || 26265683 markings, 29029063 edges, 18624 markings/sec, 1335 secs
lola: STP completed || 38 tries, 37657630 fired transitions, 1340 secs || 26363374 markings, 29136967 edges, 19538 markings/sec, 1340 secs
lola: STP completed || 38 tries, 37779861 fired transitions, 1345 secs || 26465289 markings, 29249717 edges, 20383 markings/sec, 1345 secs
lola: STP completed || 38 tries, 37904694 fired transitions, 1350 secs || 26559701 markings, 29353313 edges, 18882 markings/sec, 1350 secs
lola: STP completed || 39 tries, 38030022 fired transitions, 1355 secs || 26656004 markings, 29459337 edges, 19261 markings/sec, 1355 secs
lola: STP completed || 39 tries, 38156042 fired transitions, 1360 secs || 26751527 markings, 29564352 edges, 19105 markings/sec, 1360 secs
lola: STP completed || 39 tries, 38281862 fired transitions, 1365 secs || 26847342 markings, 29669761 edges, 19163 markings/sec, 1365 secs
lola: STP completed || 39 tries, 38406990 fired transitions, 1370 secs || 26945659 markings, 29777859 edges, 19663 markings/sec, 1370 secs
lola: STP completed || 39 tries, 38532195 fired transitions, 1375 secs || 27043465 markings, 29885692 edges, 19561 markings/sec, 1375 secs
lola: STP completed || 39 tries, 38657583 fired transitions, 1380 secs || 27144351 markings, 29997357 edges, 20177 markings/sec, 1380 secs
lola: STP completed || 39 tries, 38787190 fired transitions, 1385 secs || 27237573 markings, 30099842 edges, 18644 markings/sec, 1385 secs
lola: STP completed || 39 tries, 38920359 fired transitions, 1390 secs || 27330356 markings, 30202290 edges, 18557 markings/sec, 1390 secs
lola: STP completed || 40 tries, 39042553 fired transitions, 1395 secs || 27421350 markings, 30302872 edges, 18199 markings/sec, 1395 secs
lola: STP completed || 40 tries, 39174099 fired transitions, 1400 secs || 27519270 markings, 30411034 edges, 19584 markings/sec, 1400 secs
lola: STP completed || 40 tries, 39306656 fired transitions, 1405 secs || 27615212 markings, 30516453 edges, 19188 markings/sec, 1405 secs
lola: STP completed || 40 tries, 39444164 fired transitions, 1410 secs || 27705449 markings, 30616021 edges, 18047 markings/sec, 1410 secs
lola: STP completed || 40 tries, 39580943 fired transitions, 1415 secs || 27794461 markings, 30714061 edges, 17802 markings/sec, 1415 secs
lola: STP completed || 40 tries, 39719438 fired transitions, 1420 secs || 27888723 markings, 30818123 edges, 18852 markings/sec, 1420 secs
lola: STP completed || 40 tries, 39849233 fired transitions, 1425 secs || 27989330 markings, 30929981 edges, 20121 markings/sec, 1425 secs
lola: STP completed || 40 tries, 39978054 fired transitions, 1430 secs || 28084333 markings, 31035214 edges, 19001 markings/sec, 1430 secs
lola: STP completed || 41 tries, 40112805 fired transitions, 1435 secs || 28177487 markings, 31137832 edges, 18631 markings/sec, 1435 secs
lola: STP completed || 41 tries, 40252688 fired transitions, 1440 secs || 28268242 markings, 31237819 edges, 18151 markings/sec, 1440 secs
lola: STP completed || 41 tries, 40392416 fired transitions, 1445 secs || 28361316 markings, 31339949 edges, 18615 markings/sec, 1445 secs
lola: STP completed || 41 tries, 40525179 fired transitions, 1450 secs || 28454927 markings, 31443348 edges, 18722 markings/sec, 1450 secs
lola: STP completed || 41 tries, 40652344 fired transitions, 1455 secs || 28547223 markings, 31544668 edges, 18459 markings/sec, 1455 secs
lola: STP completed || 41 tries, 40780834 fired transitions, 1460 secs || 28637514 markings, 31643807 edges, 18058 markings/sec, 1460 secs
lola: STP completed || 41 tries, 40917384 fired transitions, 1465 secs || 28730013 markings, 31746240 edges, 18500 markings/sec, 1465 secs
lola: STP completed || 42 tries, 41057268 fired transitions, 1470 secs || 28821203 markings, 31846373 edges, 18238 markings/sec, 1470 secs
lola: STP completed || 42 tries, 41190859 fired transitions, 1475 secs || 28919889 markings, 31955832 edges, 19737 markings/sec, 1475 secs
lola: STP completed || 42 tries, 41321496 fired transitions, 1480 secs || 29010780 markings, 32055640 edges, 18178 markings/sec, 1480 secs
lola: STP completed || 42 tries, 41460917 fired transitions, 1485 secs || 29113040 markings, 32169441 edges, 20452 markings/sec, 1485 secs
lola: STP completed || 42 tries, 41592335 fired transitions, 1490 secs || 29206718 markings, 32272454 edges, 18736 markings/sec, 1490 secs
lola: STP completed || 42 tries, 41732518 fired transitions, 1495 secs || 29300467 markings, 32375335 edges, 18750 markings/sec, 1495 secs
lola: STP completed || 42 tries, 41856697 fired transitions, 1500 secs || 29395376 markings, 32479302 edges, 18982 markings/sec, 1500 secs
lola: STP completed || 42 tries, 41983062 fired transitions, 1505 secs || 29491265 markings, 32585014 edges, 19178 markings/sec, 1505 secs
lola: STP completed || 43 tries, 42111684 fired transitions, 1510 secs || 29584806 markings, 32688048 edges, 18708 markings/sec, 1510 secs
lola: STP completed || 43 tries, 42240781 fired transitions, 1515 secs || 29678896 markings, 32791414 edges, 18818 markings/sec, 1515 secs
lola: STP completed || 43 tries, 42371404 fired transitions, 1520 secs || 29772477 markings, 32895024 edges, 18716 markings/sec, 1520 secs
lola: STP completed || 43 tries, 42501684 fired transitions, 1525 secs || 29864806 markings, 32997038 edges, 18466 markings/sec, 1525 secs
lola: STP completed || 43 tries, 42629136 fired transitions, 1530 secs || 29954196 markings, 33095850 edges, 17878 markings/sec, 1530 secs
lola: STP completed || 43 tries, 42758384 fired transitions, 1535 secs || 30046324 markings, 33197836 edges, 18426 markings/sec, 1535 secs
lola: STP completed || 43 tries, 42896182 fired transitions, 1540 secs || 30144674 markings, 33307026 edges, 19670 markings/sec, 1540 secs
lola: STP completed || 44 tries, 43036939 fired transitions, 1545 secs || 30237934 markings, 33409069 edges, 18652 markings/sec, 1545 secs
lola: STP completed || 44 tries, 43177783 fired transitions, 1550 secs || 30334719 markings, 33515744 edges, 19357 markings/sec, 1550 secs
lola: STP completed || 44 tries, 43318408 fired transitions, 1555 secs || 30430639 markings, 33620772 edges, 19184 markings/sec, 1555 secs
lola: STP completed || 44 tries, 43457895 fired transitions, 1560 secs || 30524065 markings, 33723320 edges, 18685 markings/sec, 1560 secs
lola: STP completed || 44 tries, 43599572 fired transitions, 1565 secs || 30622111 markings, 33831724 edges, 19609 markings/sec, 1565 secs
lola: STP completed || 44 tries, 43738111 fired transitions, 1570 secs || 30719330 markings, 33938868 edges, 19444 markings/sec, 1570 secs
lola: STP completed || 44 tries, 43876460 fired transitions, 1575 secs || 30817417 markings, 34046646 edges, 19617 markings/sec, 1575 secs
lola: STP completed || 45 tries, 44017256 fired transitions, 1580 secs || 30914174 markings, 34153116 edges, 19351 markings/sec, 1580 secs
lola: STP completed || 45 tries, 44154906 fired transitions, 1585 secs || 31015768 markings, 34266267 edges, 20319 markings/sec, 1585 secs
lola: STP completed || 45 tries, 44292790 fired transitions, 1590 secs || 31111533 markings, 34371538 edges, 19153 markings/sec, 1590 secs
lola: STP completed || 45 tries, 44429093 fired transitions, 1595 secs || 31207021 markings, 34476586 edges, 19098 markings/sec, 1595 secs
lola: STP completed || 45 tries, 44564899 fired transitions, 1600 secs || 31299908 markings, 34578588 edges, 18577 markings/sec, 1600 secs
lola: STP completed || 45 tries, 44704878 fired transitions, 1605 secs || 31395814 markings, 34684132 edges, 19181 markings/sec, 1605 secs
lola: STP completed || 45 tries, 44849102 fired transitions, 1610 secs || 31496735 markings, 34795630 edges, 20184 markings/sec, 1610 secs
lola: STP completed || 45 tries, 44992844 fired transitions, 1615 secs || 31596996 markings, 34906343 edges, 20052 markings/sec, 1615 secs
lola: STP completed || 46 tries, 45136245 fired transitions, 1620 secs || 31697352 markings, 35017032 edges, 20071 markings/sec, 1620 secs
lola: STP completed || 46 tries, 45277136 fired transitions, 1625 secs || 31796220 markings, 35126218 edges, 19774 markings/sec, 1625 secs
lola: STP completed || 46 tries, 45411738 fired transitions, 1630 secs || 31887353 markings, 35226194 edges, 18227 markings/sec, 1630 secs
lola: STP completed || 46 tries, 45546927 fired transitions, 1635 secs || 31980666 markings, 35328867 edges, 18663 markings/sec, 1635 secs
lola: STP completed || 46 tries, 45680545 fired transitions, 1640 secs || 32076647 markings, 35435436 edges, 19196 markings/sec, 1640 secs
lola: STP completed || 46 tries, 45813478 fired transitions, 1645 secs || 32165223 markings, 35532550 edges, 17715 markings/sec, 1645 secs
lola: STP completed || 46 tries, 45947593 fired transitions, 1650 secs || 32258244 markings, 35634864 edges, 18604 markings/sec, 1650 secs
lola: STP completed || 47 tries, 46086314 fired transitions, 1655 secs || 32352013 markings, 35738370 edges, 18754 markings/sec, 1655 secs
lola: STP completed || 47 tries, 46225598 fired transitions, 1660 secs || 32448223 markings, 35844318 edges, 19242 markings/sec, 1660 secs
lola: STP completed || 47 tries, 46363519 fired transitions, 1665 secs || 32545501 markings, 35951979 edges, 19456 markings/sec, 1665 secs
lola: STP completed || 47 tries, 46501456 fired transitions, 1670 secs || 32642128 markings, 36058064 edges, 19325 markings/sec, 1670 secs
lola: STP completed || 47 tries, 46643080 fired transitions, 1675 secs || 32740131 markings, 36166266 edges, 19601 markings/sec, 1675 secs
lola: STP completed || 47 tries, 46780087 fired transitions, 1680 secs || 32836668 markings, 36272687 edges, 19307 markings/sec, 1680 secs
lola: STP completed || 47 tries, 46919355 fired transitions, 1685 secs || 32935171 markings, 36381101 edges, 19701 markings/sec, 1685 secs
lola: STP completed || 48 tries, 47061489 fired transitions, 1690 secs || 33035998 markings, 36492591 edges, 20165 markings/sec, 1690 secs
lola: STP completed || 48 tries, 47202418 fired transitions, 1695 secs || 33135284 markings, 36602627 edges, 19857 markings/sec, 1695 secs
lola: STP completed || 48 tries, 47342914 fired transitions, 1700 secs || 33234348 markings, 36712403 edges, 19813 markings/sec, 1700 secs
lola: STP completed || 48 tries, 47482677 fired transitions, 1705 secs || 33330401 markings, 36817660 edges, 19211 markings/sec, 1705 secs
lola: STP completed || 48 tries, 47615885 fired transitions, 1710 secs || 33424395 markings, 36921163 edges, 18799 markings/sec, 1710 secs
lola: STP completed || 48 tries, 47748360 fired transitions, 1715 secs || 33517259 markings, 37023343 edges, 18573 markings/sec, 1715 secs
lola: STP completed || 48 tries, 47880806 fired transitions, 1720 secs || 33610752 markings, 37126261 edges, 18699 markings/sec, 1720 secs
lola: STP completed || 49 tries, 48019628 fired transitions, 1725 secs || 33708611 markings, 37234069 edges, 19572 markings/sec, 1725 secs
lola: STP completed || 49 tries, 48154027 fired transitions, 1730 secs || 33803296 markings, 37338583 edges, 18937 markings/sec, 1730 secs
lola: STP completed || 49 tries, 48291114 fired transitions, 1735 secs || 33901417 markings, 37447626 edges, 19624 markings/sec, 1735 secs
lola: STP completed || 49 tries, 48428334 fired transitions, 1740 secs || 33994172 markings, 37549929 edges, 18551 markings/sec, 1740 secs
lola: STP completed || 49 tries, 48566826 fired transitions, 1745 secs || 34086391 markings, 37651351 edges, 18444 markings/sec, 1745 secs
lola: STP completed || 49 tries, 48704774 fired transitions, 1750 secs || 34181290 markings, 37756082 edges, 18980 markings/sec, 1750 secs
lola: STP completed || 49 tries, 48843366 fired transitions, 1755 secs || 34277818 markings, 37862380 edges, 19306 markings/sec, 1755 secs
lola: STP completed || 49 tries, 48984365 fired transitions, 1760 secs || 34376680 markings, 37971731 edges, 19772 markings/sec, 1760 secs
lola: STP completed || 50 tries, 49123442 fired transitions, 1765 secs || 34472058 markings, 38077020 edges, 19076 markings/sec, 1765 secs
lola: STP completed || 50 tries, 49261035 fired transitions, 1770 secs || 34565471 markings, 38179795 edges, 18683 markings/sec, 1770 secs
lola: STP completed || 50 tries, 49399013 fired transitions, 1775 secs || 34658827 markings, 38282470 edges, 18671 markings/sec, 1775 secs
lola: STP completed || 50 tries, 49535418 fired transitions, 1780 secs || 34755472 markings, 38389239 edges, 19329 markings/sec, 1780 secs
lola: STP completed || 50 tries, 49672898 fired transitions, 1785 secs || 34852783 markings, 38496347 edges, 19462 markings/sec, 1785 secs
lola: STP completed || 50 tries, 49810997 fired transitions, 1790 secs || 34955335 markings, 38610280 edges, 20510 markings/sec, 1790 secs
lola: STP completed || 50 tries, 49947270 fired transitions, 1795 secs || 35053629 markings, 38719269 edges, 19659 markings/sec, 1795 secs
lola: STP completed || 51 tries, 50084261 fired transitions, 1800 secs || 35145976 markings, 38820780 edges, 18469 markings/sec, 1800 secs
lola: STP completed || 51 tries, 50222169 fired transitions, 1805 secs || 35242821 markings, 38927293 edges, 19369 markings/sec, 1805 secs
lola: STP completed || 51 tries, 50359505 fired transitions, 1810 secs || 35338766 markings, 39033219 edges, 19189 markings/sec, 1810 secs
lola: STP completed || 51 tries, 50497477 fired transitions, 1815 secs || 35430863 markings, 39134774 edges, 18419 markings/sec, 1815 secs
lola: STP completed || 51 tries, 50634744 fired transitions, 1820 secs || 35524525 markings, 39238064 edges, 18732 markings/sec, 1820 secs
lola: STP completed || 51 tries, 50772260 fired transitions, 1825 secs || 35618564 markings, 39341667 edges, 18808 markings/sec, 1825 secs
lola: STP completed || 51 tries, 50912524 fired transitions, 1830 secs || 35718456 markings, 39452820 edges, 19978 markings/sec, 1830 secs
lola: STP completed || 52 tries, 51052081 fired transitions, 1835 secs || 35816390 markings, 39561094 edges, 19587 markings/sec, 1835 secs
lola: STP completed || 52 tries, 51192398 fired transitions, 1840 secs || 35917590 markings, 39673783 edges, 20240 markings/sec, 1840 secs
lola: STP completed || 52 tries, 51329859 fired transitions, 1845 secs || 36015305 markings, 39781125 edges, 19543 markings/sec, 1845 secs
lola: STP completed || 52 tries, 51468141 fired transitions, 1850 secs || 36115767 markings, 39892501 edges, 20092 markings/sec, 1850 secs
lola: STP completed || 52 tries, 51607781 fired transitions, 1855 secs || 36213373 markings, 40000164 edges, 19521 markings/sec, 1855 secs
lola: STP completed || 52 tries, 51746873 fired transitions, 1860 secs || 36309646 markings, 40105965 edges, 19255 markings/sec, 1860 secs
lola: STP completed || 52 tries, 51880984 fired transitions, 1865 secs || 36403618 markings, 40209430 edges, 18794 markings/sec, 1865 secs
lola: STP completed || 53 tries, 52014460 fired transitions, 1870 secs || 36495802 markings, 40310845 edges, 18437 markings/sec, 1870 secs
lola: STP completed || 53 tries, 52149335 fired transitions, 1875 secs || 36591323 markings, 40416541 edges, 19104 markings/sec, 1875 secs
lola: STP completed || 53 tries, 52287584 fired transitions, 1880 secs || 36689552 markings, 40525309 edges, 19646 markings/sec, 1880 secs
lola: STP completed || 53 tries, 52423842 fired transitions, 1885 secs || 36781930 markings, 40627315 edges, 18476 markings/sec, 1885 secs
lola: STP completed || 53 tries, 52560392 fired transitions, 1890 secs || 36873124 markings, 40727731 edges, 18239 markings/sec, 1890 secs
lola: STP completed || 53 tries, 52694299 fired transitions, 1895 secs || 36964797 markings, 40828767 edges, 18335 markings/sec, 1895 secs
lola: STP completed || 53 tries, 52829731 fired transitions, 1900 secs || 37057315 markings, 40930696 edges, 18504 markings/sec, 1900 secs
lola: STP completed || 53 tries, 52964058 fired transitions, 1905 secs || 37149150 markings, 41031846 edges, 18367 markings/sec, 1905 secs
lola: STP completed || 54 tries, 53097796 fired transitions, 1910 secs || 37246252 markings, 41139754 edges, 19420 markings/sec, 1910 secs
lola: STP completed || 54 tries, 53231754 fired transitions, 1915 secs || 37339257 markings, 41242640 edges, 18601 markings/sec, 1915 secs
lola: STP completed || 54 tries, 53364456 fired transitions, 1920 secs || 37433276 markings, 41346919 edges, 18804 markings/sec, 1920 secs
lola: STP completed || 54 tries, 53499253 fired transitions, 1925 secs || 37525037 markings, 41448448 edges, 18352 markings/sec, 1925 secs
lola: STP completed || 54 tries, 53632971 fired transitions, 1930 secs || 37618763 markings, 41551962 edges, 18745 markings/sec, 1930 secs
lola: STP completed || 54 tries, 53768749 fired transitions, 1935 secs || 37715748 markings, 41659327 edges, 19397 markings/sec, 1935 secs
lola: STP completed || 54 tries, 53904306 fired transitions, 1940 secs || 37810019 markings, 41763531 edges, 18854 markings/sec, 1940 secs
lola: STP completed || 55 tries, 54039750 fired transitions, 1945 secs || 37904374 markings, 41868449 edges, 18871 markings/sec, 1945 secs
lola: STP completed || 55 tries, 54172877 fired transitions, 1950 secs || 37993251 markings, 41966244 edges, 17775 markings/sec, 1950 secs
lola: STP completed || 55 tries, 54307584 fired transitions, 1955 secs || 38087507 markings, 42070371 edges, 18851 markings/sec, 1955 secs
lola: STP completed || 55 tries, 54443104 fired transitions, 1960 secs || 38183377 markings, 42176092 edges, 19174 markings/sec, 1960 secs
lola: STP completed || 55 tries, 54577967 fired transitions, 1965 secs || 38274154 markings, 42275966 edges, 18155 markings/sec, 1965 secs
lola: STP completed || 55 tries, 54710562 fired transitions, 1970 secs || 38370261 markings, 42382527 edges, 19221 markings/sec, 1970 secs
lola: STP completed || 55 tries, 54835286 fired transitions, 1975 secs || 38462109 markings, 42483925 edges, 18370 markings/sec, 1975 secs
lola: STP completed || 55 tries, 54965917 fired transitions, 1980 secs || 38551989 markings, 42583627 edges, 17976 markings/sec, 1980 secs
lola: STP completed || 56 tries, 55095995 fired transitions, 1985 secs || 38640329 markings, 42680826 edges, 17668 markings/sec, 1985 secs
lola: STP completed || 56 tries, 55229177 fired transitions, 1990 secs || 38732543 markings, 42782803 edges, 18443 markings/sec, 1990 secs
lola: STP completed || 56 tries, 55367575 fired transitions, 1995 secs || 38828726 markings, 42889288 edges, 19237 markings/sec, 1995 secs
lola: STP completed || 56 tries, 55505767 fired transitions, 2000 secs || 38923963 markings, 42994449 edges, 19047 markings/sec, 2000 secs
lola: STP completed || 56 tries, 55641243 fired transitions, 2005 secs || 39013314 markings, 43092367 edges, 17870 markings/sec, 2005 secs
lola: STP completed || 56 tries, 55777898 fired transitions, 2010 secs || 39106780 markings, 43195665 edges, 18693 markings/sec, 2010 secs
lola: STP completed || 56 tries, 55910371 fired transitions, 2015 secs || 39199414 markings, 43297537 edges, 18527 markings/sec, 2015 secs
lola: STP completed || 57 tries, 56045594 fired transitions, 2020 secs || 39294791 markings, 43402779 edges, 19075 markings/sec, 2020 secs
lola: STP completed || 57 tries, 56180754 fired transitions, 2025 secs || 39387564 markings, 43505287 edges, 18555 markings/sec, 2025 secs
lola: STP completed || 57 tries, 56313936 fired transitions, 2030 secs || 39479748 markings, 43606815 edges, 18437 markings/sec, 2030 secs
lola: STP completed || 57 tries, 56446273 fired transitions, 2035 secs || 39569575 markings, 43706009 edges, 17965 markings/sec, 2035 secs
lola: STP completed || 57 tries, 56578671 fired transitions, 2040 secs || 39663262 markings, 43809468 edges, 18737 markings/sec, 2040 secs
lola: STP completed || 57 tries, 56712634 fired transitions, 2045 secs || 39757912 markings, 43913946 edges, 18930 markings/sec, 2045 secs
lola: STP completed || 57 tries, 56847588 fired transitions, 2050 secs || 39855318 markings, 44021891 edges, 19481 markings/sec, 2050 secs
lola: STP completed || 57 tries, 56982584 fired transitions, 2055 secs || 39949663 markings, 44125806 edges, 18869 markings/sec, 2055 secs
lola: STP completed || 58 tries, 57118493 fired transitions, 2060 secs || 40045876 markings, 44231990 edges, 19243 markings/sec, 2060 secs
lola: STP completed || 58 tries, 57251861 fired transitions, 2065 secs || 40140191 markings, 44336496 edges, 18863 markings/sec, 2065 secs
lola: STP completed || 58 tries, 57385337 fired transitions, 2070 secs || 40231946 markings, 44437661 edges, 18351 markings/sec, 2070 secs
lola: STP completed || 58 tries, 57518672 fired transitions, 2075 secs || 40322211 markings, 44537150 edges, 18053 markings/sec, 2075 secs
lola: STP completed || 58 tries, 57654070 fired transitions, 2080 secs || 40419170 markings, 44644591 edges, 19392 markings/sec, 2080 secs
lola: STP completed || 58 tries, 57788928 fired transitions, 2085 secs || 40517484 markings, 44753600 edges, 19663 markings/sec, 2085 secs
lola: STP completed || 58 tries, 57923471 fired transitions, 2090 secs || 40612047 markings, 44857600 edges, 18913 markings/sec, 2090 secs
lola: STP completed || 59 tries, 58060052 fired transitions, 2095 secs || 40705917 markings, 44960878 edges, 18774 markings/sec, 2095 secs
lola: STP completed || 59 tries, 58193264 fired transitions, 2100 secs || 40798343 markings, 45062806 edges, 18485 markings/sec, 2100 secs
lola: STP completed || 59 tries, 58329334 fired transitions, 2105 secs || 40890486 markings, 45164689 edges, 18429 markings/sec, 2105 secs
lola: STP completed || 59 tries, 58461802 fired transitions, 2110 secs || 40983673 markings, 45267839 edges, 18637 markings/sec, 2110 secs
lola: STP completed || 59 tries, 58592113 fired transitions, 2115 secs || 41075492 markings, 45369240 edges, 18364 markings/sec, 2115 secs
lola: STP completed || 59 tries, 58726054 fired transitions, 2120 secs || 41167239 markings, 45470738 edges, 18349 markings/sec, 2120 secs
lola: STP completed || 59 tries, 58859924 fired transitions, 2125 secs || 41258005 markings, 45570780 edges, 18153 markings/sec, 2125 secs
lola: STP completed || 59 tries, 58995892 fired transitions, 2130 secs || 41348859 markings, 45671096 edges, 18171 markings/sec, 2130 secs
lola: STP completed || 60 tries, 59131732 fired transitions, 2135 secs || 41440966 markings, 45772955 edges, 18421 markings/sec, 2135 secs
lola: STP completed || 60 tries, 59265939 fired transitions, 2140 secs || 41535106 markings, 45877111 edges, 18828 markings/sec, 2140 secs
lola: STP completed || 60 tries, 59399828 fired transitions, 2145 secs || 41624259 markings, 45975065 edges, 17831 markings/sec, 2145 secs
lola: STP completed || 60 tries, 59534365 fired transitions, 2150 secs || 41715892 markings, 46076399 edges, 18327 markings/sec, 2150 secs
lola: STP completed || 60 tries, 59673788 fired transitions, 2155 secs || 41811491 markings, 46182289 edges, 19120 markings/sec, 2155 secs
lola: STP completed || 60 tries, 59814305 fired transitions, 2160 secs || 41902246 markings, 46281705 edges, 18151 markings/sec, 2160 secs
lola: STP completed || 60 tries, 59956409 fired transitions, 2165 secs || 41997578 markings, 46387235 edges, 19066 markings/sec, 2165 secs
lola: STP completed || 61 tries, 60097533 fired transitions, 2170 secs || 42091838 markings, 46491183 edges, 18852 markings/sec, 2170 secs
lola: STP completed || 61 tries, 60237793 fired transitions, 2175 secs || 42183966 markings, 46592830 edges, 18426 markings/sec, 2175 secs
lola: STP completed || 61 tries, 60378934 fired transitions, 2180 secs || 42276800 markings, 46695261 edges, 18567 markings/sec, 2180 secs
lola: STP completed || 61 tries, 60520266 fired transitions, 2185 secs || 42368507 markings, 46796582 edges, 18341 markings/sec, 2185 secs
lola: STP completed || 61 tries, 60661468 fired transitions, 2190 secs || 42459281 markings, 46896616 edges, 18155 markings/sec, 2190 secs
lola: STP completed || 61 tries, 60800987 fired transitions, 2195 secs || 42552209 markings, 46999236 edges, 18586 markings/sec, 2195 secs
lola: STP completed || 61 tries, 60942463 fired transitions, 2200 secs || 42646665 markings, 47103259 edges, 18891 markings/sec, 2200 secs
lola: STP completed || 62 tries, 61084294 fired transitions, 2205 secs || 42740294 markings, 47206614 edges, 18726 markings/sec, 2205 secs
lola: STP completed || 62 tries, 61225416 fired transitions, 2210 secs || 42831004 markings, 47306471 edges, 18142 markings/sec, 2210 secs
lola: STP completed || 62 tries, 61362932 fired transitions, 2215 secs || 42923640 markings, 47409140 edges, 18527 markings/sec, 2215 secs
lola: STP completed || 62 tries, 61502689 fired transitions, 2220 secs || 43014642 markings, 47509888 edges, 18200 markings/sec, 2220 secs
lola: STP completed || 62 tries, 61640417 fired transitions, 2225 secs || 43105087 markings, 47609495 edges, 18089 markings/sec, 2225 secs
lola: STP completed || 62 tries, 61779480 fired transitions, 2230 secs || 43194911 markings, 47708735 edges, 17965 markings/sec, 2230 secs
lola: STP completed || 62 tries, 61918942 fired transitions, 2235 secs || 43288831 markings, 47813273 edges, 18784 markings/sec, 2235 secs
lola: STP completed || 63 tries, 62056737 fired transitions, 2240 secs || 43381763 markings, 47916037 edges, 18586 markings/sec, 2240 secs
lola: STP completed || 63 tries, 62194080 fired transitions, 2245 secs || 43470526 markings, 48013426 edges, 17753 markings/sec, 2245 secs
lola: STP completed || 63 tries, 62332103 fired transitions, 2250 secs || 43561512 markings, 48113805 edges, 18197 markings/sec, 2250 secs
lola: STP completed || 63 tries, 62472559 fired transitions, 2255 secs || 43652300 markings, 48214010 edges, 18158 markings/sec, 2255 secs
lola: STP completed || 63 tries, 62613508 fired transitions, 2260 secs || 43750132 markings, 48322616 edges, 19566 markings/sec, 2260 secs
lola: STP completed || 63 tries, 62754523 fired transitions, 2265 secs || 43843038 markings, 48424943 edges, 18581 markings/sec, 2265 secs
lola: STP completed || 63 tries, 62894077 fired transitions, 2270 secs || 43934434 markings, 48525797 edges, 18279 markings/sec, 2270 secs
lola: STP completed || 64 tries, 63034475 fired transitions, 2275 secs || 44027170 markings, 48628459 edges, 18547 markings/sec, 2275 secs
lola: STP completed || 64 tries, 63174339 fired transitions, 2280 secs || 44116813 markings, 48727230 edges, 17929 markings/sec, 2280 secs
lola: STP completed || 64 tries, 63316223 fired transitions, 2285 secs || 44209886 markings, 48830080 edges, 18615 markings/sec, 2285 secs
lola: STP completed || 64 tries, 63457452 fired transitions, 2290 secs || 44303441 markings, 48933348 edges, 18711 markings/sec, 2290 secs
lola: STP completed || 64 tries, 63597863 fired transitions, 2295 secs || 44393990 markings, 49033004 edges, 18110 markings/sec, 2295 secs
lola: STP completed || 64 tries, 63739064 fired transitions, 2300 secs || 44486242 markings, 49134886 edges, 18450 markings/sec, 2300 secs
lola: STP completed || 64 tries, 63880645 fired transitions, 2305 secs || 44583392 markings, 49242793 edges, 19430 markings/sec, 2305 secs
lola: STP completed || 65 tries, 64021269 fired transitions, 2310 secs || 44674906 markings, 49343891 edges, 18303 markings/sec, 2310 secs
lola: STP completed || 65 tries, 64163507 fired transitions, 2315 secs || 44769235 markings, 49448201 edges, 18866 markings/sec, 2315 secs
lola: STP completed || 65 tries, 64305202 fired transitions, 2320 secs || 44861267 markings, 49549348 edges, 18406 markings/sec, 2320 secs
lola: STP completed || 65 tries, 64444452 fired transitions, 2325 secs || 44955792 markings, 49653846 edges, 18905 markings/sec, 2325 secs
lola: STP completed || 65 tries, 64584502 fired transitions, 2330 secs || 45052112 markings, 49760418 edges, 19264 markings/sec, 2330 secs
lola: STP completed || 65 tries, 64726788 fired transitions, 2335 secs || 45144687 markings, 49861863 edges, 18515 markings/sec, 2335 secs
lola: STP completed || 65 tries, 64865479 fired transitions, 2340 secs || 45238880 markings, 49965891 edges, 18839 markings/sec, 2340 secs
lola: STP completed || 66 tries, 65005672 fired transitions, 2345 secs || 45329774 markings, 50065922 edges, 18179 markings/sec, 2345 secs
lola: STP completed || 66 tries, 65145146 fired transitions, 2350 secs || 45421249 markings, 50166783 edges, 18295 markings/sec, 2350 secs
lola: STP completed || 66 tries, 65284797 fired transitions, 2355 secs || 45515136 markings, 50270109 edges, 18777 markings/sec, 2355 secs
lola: STP completed || 66 tries, 65424837 fired transitions, 2360 secs || 45609358 markings, 50373900 edges, 18844 markings/sec, 2360 secs
lola: STP completed || 66 tries, 65564632 fired transitions, 2365 secs || 45703351 markings, 50477322 edges, 18799 markings/sec, 2365 secs
lola: STP completed || 66 tries, 65703904 fired transitions, 2370 secs || 45799190 markings, 50583112 edges, 19168 markings/sec, 2370 secs
lola: STP completed || 66 tries, 65844760 fired transitions, 2375 secs || 45897558 markings, 50692067 edges, 19674 markings/sec, 2375 secs
lola: STP completed || 66 tries, 65984860 fired transitions, 2380 secs || 45991221 markings, 50794818 edges, 18733 markings/sec, 2380 secs
lola: STP completed || 67 tries, 66127704 fired transitions, 2385 secs || 46089510 markings, 50903469 edges, 19658 markings/sec, 2385 secs
lola: STP completed || 67 tries, 66269797 fired transitions, 2390 secs || 46183338 markings, 51006465 edges, 18766 markings/sec, 2390 secs
lola: STP completed || 67 tries, 66411275 fired transitions, 2395 secs || 46278576 markings, 51112314 edges, 19048 markings/sec, 2395 secs
lola: STP completed || 67 tries, 66549327 fired transitions, 2400 secs || 46368134 markings, 51210962 edges, 17912 markings/sec, 2400 secs
lola: STP completed || 67 tries, 66690576 fired transitions, 2405 secs || 46465938 markings, 51319669 edges, 19561 markings/sec, 2405 secs
lola: STP completed || 67 tries, 66831746 fired transitions, 2410 secs || 46558163 markings, 51421681 edges, 18445 markings/sec, 2410 secs
lola: STP completed || 67 tries, 66973730 fired transitions, 2415 secs || 46655405 markings, 51529429 edges, 19448 markings/sec, 2415 secs
lola: STP completed || 68 tries, 67114982 fired transitions, 2420 secs || 46746857 markings, 51630362 edges, 18290 markings/sec, 2420 secs
lola: STP completed || 68 tries, 67255989 fired transitions, 2425 secs || 46838880 markings, 51731725 edges, 18405 markings/sec, 2425 secs
lola: STP completed || 68 tries, 67396100 fired transitions, 2430 secs || 46931218 markings, 51833673 edges, 18468 markings/sec, 2430 secs
lola: STP completed || 68 tries, 67538166 fired transitions, 2435 secs || 47025286 markings, 51937987 edges, 18814 markings/sec, 2435 secs
lola: STP completed || 68 tries, 67676782 fired transitions, 2440 secs || 47116662 markings, 52038564 edges, 18275 markings/sec, 2440 secs
lola: STP completed || 68 tries, 67816770 fired transitions, 2445 secs || 47212747 markings, 52144788 edges, 19217 markings/sec, 2445 secs
lola: STP completed || 68 tries, 67955309 fired transitions, 2450 secs || 47301866 markings, 52243009 edges, 17824 markings/sec, 2450 secs
lola: STP completed || 69 tries, 68096355 fired transitions, 2455 secs || 47395048 markings, 52345864 edges, 18636 markings/sec, 2455 secs
lola: STP completed || 69 tries, 68237054 fired transitions, 2460 secs || 47490598 markings, 52451475 edges, 19110 markings/sec, 2460 secs
lola: STP completed || 69 tries, 68377947 fired transitions, 2465 secs || 47585471 markings, 52556418 edges, 18975 markings/sec, 2465 secs
lola: STP completed || 69 tries, 68518246 fired transitions, 2470 secs || 47676121 markings, 52656405 edges, 18130 markings/sec, 2470 secs
lola: STP completed || 69 tries, 68659977 fired transitions, 2475 secs || 47771861 markings, 52762182 edges, 19148 markings/sec, 2475 secs
lola: STP completed || 69 tries, 68799172 fired transitions, 2480 secs || 47865169 markings, 52865096 edges, 18662 markings/sec, 2480 secs
lola: STP completed || 69 tries, 68937205 fired transitions, 2485 secs || 47956972 markings, 52966167 edges, 18361 markings/sec, 2485 secs
lola: STP completed || 70 tries, 69073684 fired transitions, 2490 secs || 48046728 markings, 53064470 edges, 17951 markings/sec, 2490 secs
lola: STP completed || 70 tries, 69208479 fired transitions, 2495 secs || 48135402 markings, 53162031 edges, 17735 markings/sec, 2495 secs
lola: STP completed || 70 tries, 69342191 fired transitions, 2500 secs || 48223494 markings, 53258746 edges, 17618 markings/sec, 2500 secs
lola: STP completed || 70 tries, 69475661 fired transitions, 2505 secs || 48312833 markings, 53356759 edges, 17868 markings/sec, 2505 secs
lola: STP completed || 70 tries, 69614658 fired transitions, 2510 secs || 48404711 markings, 53457765 edges, 18376 markings/sec, 2510 secs
lola: STP completed || 70 tries, 69752971 fired transitions, 2515 secs || 48497667 markings, 53560526 edges, 18591 markings/sec, 2515 secs
lola: STP completed || 70 tries, 69892687 fired transitions, 2520 secs || 48589048 markings, 53661467 edges, 18276 markings/sec, 2520 secs
lola: STP completed || 71 tries, 70032997 fired transitions, 2525 secs || 48680442 markings, 53762557 edges, 18279 markings/sec, 2525 secs
lola: STP completed || 71 tries, 70172894 fired transitions, 2530 secs || 48771683 markings, 53863520 edges, 18248 markings/sec, 2530 secs
lola: STP completed || 71 tries, 70310084 fired transitions, 2535 secs || 48861186 markings, 53962127 edges, 17901 markings/sec, 2535 secs
lola: STP completed || 71 tries, 70447959 fired transitions, 2540 secs || 48952117 markings, 54062433 edges, 18186 markings/sec, 2540 secs
lola: STP completed || 71 tries, 70585395 fired transitions, 2545 secs || 49043540 markings, 54162985 edges, 18285 markings/sec, 2545 secs
lola: STP completed || 71 tries, 70726049 fired transitions, 2550 secs || 49137297 markings, 54266103 edges, 18751 markings/sec, 2550 secs
lola: STP completed || 71 tries, 70866296 fired transitions, 2555 secs || 49232065 markings, 54369914 edges, 18954 markings/sec, 2555 secs
lola: STP completed || 72 tries, 71007489 fired transitions, 2560 secs || 49326839 markings, 54474145 edges, 18955 markings/sec, 2560 secs
lola: STP completed || 72 tries, 71146793 fired transitions, 2565 secs || 49419744 markings, 54576652 edges, 18581 markings/sec, 2565 secs
lola: STP completed || 72 tries, 71288687 fired transitions, 2570 secs || 49512895 markings, 54679021 edges, 18630 markings/sec, 2570 secs
lola: STP completed || 72 tries, 71429106 fired transitions, 2575 secs || 49604643 markings, 54779981 edges, 18350 markings/sec, 2575 secs
lola: STP completed || 72 tries, 71567996 fired transitions, 2580 secs || 49696537 markings, 54881517 edges, 18379 markings/sec, 2580 secs
lola: STP completed || 72 tries, 71706257 fired transitions, 2585 secs || 49788480 markings, 54983285 edges, 18389 markings/sec, 2585 secs
lola: STP completed || 72 tries, 71847098 fired transitions, 2590 secs || 49880401 markings, 55084638 edges, 18384 markings/sec, 2590 secs
lola: STP completed || 72 tries, 71987840 fired transitions, 2595 secs || 49975192 markings, 55189996 edges, 18958 markings/sec, 2595 secs
lola: STP completed || 73 tries, 72129247 fired transitions, 2600 secs || 50066705 markings, 55290747 edges, 18303 markings/sec, 2600 secs
lola: STP completed || 73 tries, 72269324 fired transitions, 2605 secs || 50157936 markings, 55390823 edges, 18246 markings/sec, 2605 secs
lola: STP completed || 73 tries, 72409257 fired transitions, 2610 secs || 50249372 markings, 55491182 edges, 18287 markings/sec, 2610 secs
lola: STP completed || 73 tries, 72546841 fired transitions, 2615 secs || 50340640 markings, 55591751 edges, 18254 markings/sec, 2615 secs
lola: STP completed || 73 tries, 72685440 fired transitions, 2620 secs || 50430661 markings, 55690606 edges, 18004 markings/sec, 2620 secs
lola: STP completed || 73 tries, 72824701 fired transitions, 2625 secs || 50522346 markings, 55792114 edges, 18337 markings/sec, 2625 secs
lola: STP completed || 73 tries, 72963307 fired transitions, 2630 secs || 50612052 markings, 55890882 edges, 17941 markings/sec, 2630 secs
lola: STP completed || 74 tries, 73102975 fired transitions, 2635 secs || 50700724 markings, 55988340 edges, 17734 markings/sec, 2635 secs
lola: STP completed || 74 tries, 73240174 fired transitions, 2640 secs || 50791094 markings, 56087585 edges, 18074 markings/sec, 2640 secs
lola: STP completed || 74 tries, 73377679 fired transitions, 2645 secs || 50880168 markings, 56185185 edges, 17815 markings/sec, 2645 secs
lola: STP completed || 74 tries, 73514095 fired transitions, 2650 secs || 50971378 markings, 56285214 edges, 18242 markings/sec, 2650 secs
lola: STP completed || 74 tries, 73651345 fired transitions, 2655 secs || 51063798 markings, 56387171 edges, 18484 markings/sec, 2655 secs
lola: STP completed || 74 tries, 73788496 fired transitions, 2660 secs || 51155283 markings, 56488507 edges, 18297 markings/sec, 2660 secs
lola: STP completed || 74 tries, 73925399 fired transitions, 2665 secs || 51244996 markings, 56587273 edges, 17943 markings/sec, 2665 secs
lola: STP completed || 75 tries, 74063321 fired transitions, 2670 secs || 51334136 markings, 56685429 edges, 17828 markings/sec, 2670 secs
lola: STP completed || 75 tries, 74200474 fired transitions, 2675 secs || 51422774 markings, 56783217 edges, 17728 markings/sec, 2675 secs
lola: STP completed || 75 tries, 74336281 fired transitions, 2680 secs || 51513931 markings, 56884052 edges, 18231 markings/sec, 2680 secs
lola: STP completed || 75 tries, 74474537 fired transitions, 2685 secs || 51606404 markings, 56986748 edges, 18495 markings/sec, 2685 secs
lola: STP completed || 75 tries, 74614240 fired transitions, 2690 secs || 51698824 markings, 57088241 edges, 18484 markings/sec, 2690 secs
lola: STP completed || 75 tries, 74749992 fired transitions, 2695 secs || 51790926 markings, 57189312 edges, 18420 markings/sec, 2695 secs
lola: STP completed || 75 tries, 74887088 fired transitions, 2700 secs || 51880994 markings, 57288174 edges, 18014 markings/sec, 2700 secs
lola: STP completed || 76 tries, 75026417 fired transitions, 2705 secs || 51972384 markings, 57389713 edges, 18278 markings/sec, 2705 secs
lola: STP completed || 76 tries, 75163794 fired transitions, 2710 secs || 52062914 markings, 57490034 edges, 18106 markings/sec, 2710 secs
lola: STP completed || 76 tries, 75301949 fired transitions, 2715 secs || 52151859 markings, 57587526 edges, 17789 markings/sec, 2715 secs
lola: STP completed || 76 tries, 75439252 fired transitions, 2720 secs || 52243401 markings, 57688123 edges, 18308 markings/sec, 2720 secs
lola: STP completed || 76 tries, 75578204 fired transitions, 2725 secs || 52335719 markings, 57790012 edges, 18464 markings/sec, 2725 secs
lola: STP completed || 76 tries, 75716213 fired transitions, 2730 secs || 52423836 markings, 57886816 edges, 17623 markings/sec, 2730 secs
lola: STP completed || 76 tries, 75853406 fired transitions, 2735 secs || 52512511 markings, 57984034 edges, 17735 markings/sec, 2735 secs
lola: STP completed || 76 tries, 75991346 fired transitions, 2740 secs || 52601180 markings, 58081213 edges, 17734 markings/sec, 2740 secs
lola: STP completed || 77 tries, 76130923 fired transitions, 2745 secs || 52689911 markings, 58178501 edges, 17746 markings/sec, 2745 secs
lola: STP completed || 77 tries, 76268710 fired transitions, 2750 secs || 52779145 markings, 58276820 edges, 17847 markings/sec, 2750 secs
lola: STP completed || 77 tries, 76408014 fired transitions, 2755 secs || 52868358 markings, 58374837 edges, 17843 markings/sec, 2755 secs
lola: STP completed || 77 tries, 76545471 fired transitions, 2760 secs || 52957251 markings, 58472539 edges, 17779 markings/sec, 2760 secs
lola: STP completed || 77 tries, 76683385 fired transitions, 2765 secs || 53047366 markings, 58571112 edges, 18023 markings/sec, 2765 secs
lola: STP completed || 77 tries, 76821517 fired transitions, 2770 secs || 53139239 markings, 58672561 edges, 18375 markings/sec, 2770 secs
lola: STP completed || 77 tries, 76959522 fired transitions, 2775 secs || 53229548 markings, 58772185 edges, 18062 markings/sec, 2775 secs
lola: STP completed || 78 tries, 77098209 fired transitions, 2780 secs || 53319569 markings, 58870931 edges, 18004 markings/sec, 2780 secs
lola: STP completed || 78 tries, 77237545 fired transitions, 2785 secs || 53409912 markings, 58970177 edges, 18069 markings/sec, 2785 secs
lola: STP completed || 78 tries, 77375699 fired transitions, 2790 secs || 53499917 markings, 59069423 edges, 18001 markings/sec, 2790 secs
lola: STP completed || 78 tries, 77513643 fired transitions, 2795 secs || 53590880 markings, 59169408 edges, 18193 markings/sec, 2795 secs
lola: STP completed || 78 tries, 77650919 fired transitions, 2800 secs || 53681395 markings, 59269190 edges, 18103 markings/sec, 2800 secs
lola: STP completed || 78 tries, 77790031 fired transitions, 2805 secs || 53769172 markings, 59365276 edges, 17555 markings/sec, 2805 secs
lola: STP completed || 78 tries, 77927626 fired transitions, 2810 secs || 53858558 markings, 59463356 edges, 17877 markings/sec, 2810 secs
lola: STP completed || 79 tries, 78070656 fired transitions, 2815 secs || 53950222 markings, 59563895 edges, 18333 markings/sec, 2815 secs
lola: STP completed || 79 tries, 78211616 fired transitions, 2820 secs || 54042260 markings, 59665048 edges, 18408 markings/sec, 2820 secs
lola: STP completed || 79 tries, 78353581 fired transitions, 2825 secs || 54134383 markings, 59766043 edges, 18425 markings/sec, 2825 secs
lola: STP completed || 79 tries, 78493714 fired transitions, 2830 secs || 54225847 markings, 59866182 edges, 18293 markings/sec, 2830 secs
lola: STP completed || 79 tries, 78634264 fired transitions, 2835 secs || 54315718 markings, 59965115 edges, 17974 markings/sec, 2835 secs
lola: STP completed || 79 tries, 78778775 fired transitions, 2840 secs || 54409042 markings, 60067950 edges, 18665 markings/sec, 2840 secs
lola: STP completed || 79 tries, 78918879 fired transitions, 2845 secs || 54502156 markings, 60171316 edges, 18623 markings/sec, 2845 secs
lola: STP completed || 80 tries, 79063507 fired transitions, 2850 secs || 54595483 markings, 60274066 edges, 18665 markings/sec, 2850 secs
lola: STP completed || 80 tries, 79207161 fired transitions, 2855 secs || 54689316 markings, 60377791 edges, 18767 markings/sec, 2855 secs
lola: STP completed || 80 tries, 79350191 fired transitions, 2860 secs || 54782917 markings, 60481239 edges, 18720 markings/sec, 2860 secs
lola: STP completed || 80 tries, 79493271 fired transitions, 2865 secs || 54877688 markings, 60585541 edges, 18954 markings/sec, 2865 secs
lola: STP completed || 80 tries, 79634303 fired transitions, 2870 secs || 54968411 markings, 60685017 edges, 18145 markings/sec, 2870 secs
lola: STP completed || 80 tries, 79775540 fired transitions, 2875 secs || 55061518 markings, 60787201 edges, 18621 markings/sec, 2875 secs
lola: STP completed || 80 tries, 79915282 fired transitions, 2880 secs || 55154138 markings, 60889451 edges, 18524 markings/sec, 2880 secs
lola: STP completed || 81 tries, 80059479 fired transitions, 2885 secs || 55247230 markings, 60991676 edges, 18618 markings/sec, 2885 secs
lola: STP completed || 81 tries, 80203423 fired transitions, 2890 secs || 55340952 markings, 61094483 edges, 18744 markings/sec, 2890 secs
lola: STP completed || 81 tries, 80345599 fired transitions, 2895 secs || 55432713 markings, 61195391 edges, 18352 markings/sec, 2895 secs
lola: STP completed || 81 tries, 80484773 fired transitions, 2900 secs || 55520957 markings, 61291920 edges, 17649 markings/sec, 2900 secs
lola: STP completed || 81 tries, 80628011 fired transitions, 2905 secs || 55613423 markings, 61393523 edges, 18493 markings/sec, 2905 secs
lola: STP completed || 81 tries, 80771925 fired transitions, 2910 secs || 55709089 markings, 61499161 edges, 19133 markings/sec, 2910 secs
lola: STP completed || 81 tries, 80917574 fired transitions, 2915 secs || 55803440 markings, 61602930 edges, 18870 markings/sec, 2915 secs
lola: STP completed || 82 tries, 81057285 fired transitions, 2920 secs || 55891812 markings, 61700042 edges, 17674 markings/sec, 2920 secs
lola: STP completed || 82 tries, 81196097 fired transitions, 2925 secs || 55984304 markings, 61801424 edges, 18498 markings/sec, 2925 secs
lola: STP completed || 82 tries, 81334829 fired transitions, 2930 secs || 56075266 markings, 61901037 edges, 18192 markings/sec, 2930 secs
lola: STP completed || 82 tries, 81469148 fired transitions, 2935 secs || 56164479 markings, 61999259 edges, 17843 markings/sec, 2935 secs
lola: STP completed || 82 tries, 81604745 fired transitions, 2940 secs || 56252990 markings, 62096445 edges, 17702 markings/sec, 2940 secs
lola: STP completed || 82 tries, 81743256 fired transitions, 2945 secs || 56342464 markings, 62194771 edges, 17895 markings/sec, 2945 secs
lola: STP completed || 82 tries, 81882938 fired transitions, 2950 secs || 56433600 markings, 62295549 edges, 18227 markings/sec, 2950 secs
lola: STP completed || 83 tries, 82023173 fired transitions, 2955 secs || 56526864 markings, 62398700 edges, 18653 markings/sec, 2955 secs
lola: STP completed || 83 tries, 82163683 fired transitions, 2960 secs || 56618698 markings, 62499534 edges, 18367 markings/sec, 2960 secs
lola: STP completed || 83 tries, 82303027 fired transitions, 2965 secs || 56709219 markings, 62598920 edges, 18104 markings/sec, 2965 secs
lola: STP completed || 83 tries, 82442207 fired transitions, 2970 secs || 56799866 markings, 62699039 edges, 18129 markings/sec, 2970 secs
lola: STP completed || 83 tries, 82578666 fired transitions, 2975 secs || 56889061 markings, 62797079 edges, 17839 markings/sec, 2975 secs
lola: STP completed || 83 tries, 82719040 fired transitions, 2980 secs || 56978404 markings, 62894948 edges, 17869 markings/sec, 2980 secs
lola: STP completed || 83 tries, 82860515 fired transitions, 2985 secs || 57073096 markings, 62999500 edges, 18938 markings/sec, 2985 secs
lola: STP completed || 84 tries, 83006490 fired transitions, 2990 secs || 57169096 markings, 63105263 edges, 19200 markings/sec, 2990 secs
lola: STP completed || 84 tries, 83147092 fired transitions, 2995 secs || 57261512 markings, 63207099 edges, 18483 markings/sec, 2995 secs
lola: STP completed || 84 tries, 83288287 fired transitions, 3000 secs || 57353492 markings, 63308346 edges, 18396 markings/sec, 3000 secs
lola: STP completed || 84 tries, 83429789 fired transitions, 3005 secs || 57446828 markings, 63411400 edges, 18667 markings/sec, 3005 secs
lola: STP completed || 84 tries, 83570981 fired transitions, 3010 secs || 57540542 markings, 63514814 edges, 18743 markings/sec, 3010 secs
lola: STP completed || 84 tries, 83715411 fired transitions, 3015 secs || 57636288 markings, 63620553 edges, 19149 markings/sec, 3015 secs
lola: STP completed || 84 tries, 83856090 fired transitions, 3020 secs || 57728325 markings, 63722327 edges, 18407 markings/sec, 3020 secs
lola: STP completed || 84 tries, 83996959 fired transitions, 3025 secs || 57821433 markings, 63825550 edges, 18622 markings/sec, 3025 secs
lola: STP completed || 85 tries, 84141923 fired transitions, 3030 secs || 57916486 markings, 63930295 edges, 19011 markings/sec, 3030 secs
lola: STP completed || 85 tries, 84283772 fired transitions, 3035 secs || 58010807 markings, 64034510 edges, 18864 markings/sec, 3035 secs
lola: STP completed || 85 tries, 84423592 fired transitions, 3040 secs || 58103818 markings, 64137434 edges, 18602 markings/sec, 3040 secs
lola: STP completed || 85 tries, 84566946 fired transitions, 3045 secs || 58200545 markings, 64244920 edges, 19345 markings/sec, 3045 secs
lola: STP completed || 85 tries, 84707849 fired transitions, 3050 secs || 58295481 markings, 64350200 edges, 18987 markings/sec, 3050 secs
lola: STP completed || 85 tries, 84844366 fired transitions, 3055 secs || 58385403 markings, 64449822 edges, 17984 markings/sec, 3055 secs
lola: STP completed || 85 tries, 84984465 fired transitions, 3060 secs || 58478177 markings, 64551917 edges, 18555 markings/sec, 3060 secs
lola: STP completed || 86 tries, 85126703 fired transitions, 3065 secs || 58571972 markings, 64655499 edges, 18759 markings/sec, 3065 secs
lola: STP completed || 86 tries, 85266502 fired transitions, 3070 secs || 58662665 markings, 64754912 edges, 18139 markings/sec, 3070 secs
lola: STP completed || 86 tries, 85409425 fired transitions, 3075 secs || 58757559 markings, 64859312 edges, 18979 markings/sec, 3075 secs
lola: STP completed || 86 tries, 85553905 fired transitions, 3080 secs || 58850990 markings, 64961904 edges, 18686 markings/sec, 3080 secs
lola: STP completed || 86 tries, 85697335 fired transitions, 3085 secs || 58943508 markings, 65063712 edges, 18504 markings/sec, 3085 secs
lola: STP completed || 86 tries, 85839103 fired transitions, 3090 secs || 59038210 markings, 65168294 edges, 18940 markings/sec, 3090 secs
lola: STP completed || 86 tries, 85980030 fired transitions, 3095 secs || 59131105 markings, 65270657 edges, 18579 markings/sec, 3095 secs
lola: STP completed || 87 tries, 86125482 fired transitions, 3100 secs || 59225553 markings, 65375114 edges, 18890 markings/sec, 3100 secs
lola: STP completed || 87 tries, 86270130 fired transitions, 3105 secs || 59319910 markings, 65479389 edges, 18871 markings/sec, 3105 secs
lola: STP completed || 87 tries, 86414628 fired transitions, 3110 secs || 59416348 markings, 65586236 edges, 19288 markings/sec, 3110 secs
lola: STP completed || 87 tries, 86560786 fired transitions, 3115 secs || 59512931 markings, 65693486 edges, 19317 markings/sec, 3115 secs
lola: STP completed || 87 tries, 86705130 fired transitions, 3120 secs || 59608144 markings, 65798410 edges, 19043 markings/sec, 3120 secs
lola: STP completed || 87 tries, 86847941 fired transitions, 3125 secs || 59700517 markings, 65900749 edges, 18475 markings/sec, 3125 secs
lola: STP completed || 87 tries, 86988177 fired transitions, 3130 secs || 59793968 markings, 66004267 edges, 18690 markings/sec, 3130 secs
lola: STP completed || 88 tries, 87130606 fired transitions, 3135 secs || 59887744 markings, 66108098 edges, 18755 markings/sec, 3135 secs
lola: STP completed || 88 tries, 87271967 fired transitions, 3140 secs || 59982015 markings, 66212311 edges, 18854 markings/sec, 3140 secs
lola: STP completed || 88 tries, 87412647 fired transitions, 3145 secs || 60076027 markings, 66316643 edges, 18802 markings/sec, 3145 secs
lola: STP completed || 88 tries, 87553466 fired transitions, 3150 secs || 60167361 markings, 66417130 edges, 18267 markings/sec, 3150 secs
lola: STP completed || 88 tries, 87695037 fired transitions, 3155 secs || 60259636 markings, 66518810 edges, 18455 markings/sec, 3155 secs
lola: STP completed || 88 tries, 87835974 fired transitions, 3160 secs || 60352534 markings, 66621698 edges, 18580 markings/sec, 3160 secs
lola: STP completed || 88 tries, 87977957 fired transitions, 3165 secs || 60446789 markings, 66726642 edges, 18851 markings/sec, 3165 secs
lola: STP completed || 89 tries, 88120184 fired transitions, 3170 secs || 60541808 markings, 66832057 edges, 19004 markings/sec, 3170 secs
lola: STP completed || 89 tries, 88260733 fired transitions, 3175 secs || 60634742 markings, 66934787 edges, 18587 markings/sec, 3175 secs
lola: STP completed || 89 tries, 88402568 fired transitions, 3180 secs || 60728252 markings, 67038115 edges, 18702 markings/sec, 3180 secs
lola: STP completed || 89 tries, 88548707 fired transitions, 3185 secs || 60822048 markings, 67141103 edges, 18759 markings/sec, 3185 secs
lola: STP completed || 89 tries, 88690580 fired transitions, 3190 secs || 60914464 markings, 67242867 edges, 18483 markings/sec, 3190 secs
lola: STP completed || 89 tries, 88833418 fired transitions, 3195 secs || 61005679 markings, 67342979 edges, 18243 markings/sec, 3195 secs
lola: STP completed || 89 tries, 88976103 fired transitions, 3200 secs || 61098585 markings, 67445572 edges, 18581 markings/sec, 3200 secs
lola: STP completed || 90 tries, 89119565 fired transitions, 3205 secs || 61190480 markings, 67546910 edges, 18379 markings/sec, 3205 secs
lola: STP completed || 90 tries, 89259658 fired transitions, 3210 secs || 61282538 markings, 67648307 edges, 18412 markings/sec, 3210 secs
lola: STP completed || 90 tries, 89399959 fired transitions, 3215 secs || 61375537 markings, 67751185 edges, 18600 markings/sec, 3215 secs
lola: STP completed || 90 tries, 89543392 fired transitions, 3220 secs || 61467075 markings, 67851781 edges, 18308 markings/sec, 3220 secs
lola: STP completed || 90 tries, 89687401 fired transitions, 3225 secs || 61561511 markings, 67955648 edges, 18887 markings/sec, 3225 secs
lola: STP completed || 90 tries, 89830182 fired transitions, 3230 secs || 61655519 markings, 68058876 edges, 18802 markings/sec, 3230 secs
lola: STP completed || 90 tries, 89974280 fired transitions, 3235 secs || 61751790 markings, 68165339 edges, 19254 markings/sec, 3235 secs
lola: STP completed || 91 tries, 90120329 fired transitions, 3240 secs || 61847171 markings, 68270099 edges, 19076 markings/sec, 3240 secs
lola: STP completed || 91 tries, 90265280 fired transitions, 3245 secs || 61941984 markings, 68374667 edges, 18963 markings/sec, 3245 secs
lola: STP completed || 91 tries, 90405602 fired transitions, 3250 secs || 62035512 markings, 68478299 edges, 18706 markings/sec, 3250 secs
lola: STP completed || 91 tries, 90546270 fired transitions, 3255 secs || 62129287 markings, 68582019 edges, 18755 markings/sec, 3255 secs
lola: STP completed || 91 tries, 90688359 fired transitions, 3260 secs || 62220950 markings, 68682782 edges, 18333 markings/sec, 3260 secs
lola: STP completed || 91 tries, 90828330 fired transitions, 3265 secs || 62314208 markings, 68785694 edges, 18652 markings/sec, 3265 secs
lola: STP completed || 91 tries, 90971837 fired transitions, 3270 secs || 62411315 markings, 68893724 edges, 19421 markings/sec, 3270 secs
lola: STP completed || 92 tries, 91117621 fired transitions, 3275 secs || 62507793 markings, 69000938 edges, 19296 markings/sec, 3275 secs
lola: STP completed || 92 tries, 91258681 fired transitions, 3280 secs || 62599009 markings, 69101630 edges, 18243 markings/sec, 3280 secs
lola: STP completed || 92 tries, 91398062 fired transitions, 3285 secs || 62689781 markings, 69201475 edges, 18154 markings/sec, 3285 secs
lola: STP completed || 92 tries, 91538429 fired transitions, 3290 secs || 62781461 markings, 69302015 edges, 18336 markings/sec, 3290 secs
lola: STP completed || 92 tries, 91680677 fired transitions, 3295 secs || 62874145 markings, 69404451 edges, 18537 markings/sec, 3295 secs
lola: STP completed || 92 tries, 91820301 fired transitions, 3300 secs || 62967597 markings, 69507874 edges, 18690 markings/sec, 3300 secs
lola: STP completed || 92 tries, 91962300 fired transitions, 3305 secs || 63061711 markings, 69612279 edges, 18823 markings/sec, 3305 secs
lola: STP completed || 93 tries, 92103133 fired transitions, 3310 secs || 63155646 markings, 69716485 edges, 18787 markings/sec, 3310 secs
lola: STP completed || 93 tries, 92244215 fired transitions, 3315 secs || 63247551 markings, 69817438 edges, 18381 markings/sec, 3315 secs
lola: STP completed || 93 tries, 92385466 fired transitions, 3320 secs || 63342144 markings, 69921938 edges, 18919 markings/sec, 3320 secs
lola: STP completed || 93 tries, 92527325 fired transitions, 3325 secs || 63437019 markings, 70026798 edges, 18975 markings/sec, 3325 secs
lola: STP completed || 93 tries, 92672077 fired transitions, 3330 secs || 63533238 markings, 70133032 edges, 19244 markings/sec, 3330 secs
lola: STP completed || 93 tries, 92817000 fired transitions, 3335 secs || 63629551 markings, 70239009 edges, 19263 markings/sec, 3335 secs
lola: STP completed || 93 tries, 92960658 fired transitions, 3340 secs || 63725311 markings, 70345018 edges, 19152 markings/sec, 3340 secs
lola: STP completed || 94 tries, 93106154 fired transitions, 3345 secs || 63820436 markings, 70450377 edges, 19025 markings/sec, 3345 secs
lola: STP completed || 94 tries, 93251303 fired transitions, 3350 secs || 63915497 markings, 70555194 edges, 19012 markings/sec, 3350 secs
lola: STP completed || 94 tries, 93394297 fired transitions, 3355 secs || 64009510 markings, 70658256 edges, 18803 markings/sec, 3355 secs
lola: STP completed || 94 tries, 93538548 fired transitions, 3360 secs || 64102581 markings, 70760690 edges, 18614 markings/sec, 3360 secs
lola: STP completed || 94 tries, 93680785 fired transitions, 3365 secs || 64191405 markings, 70858076 edges, 17765 markings/sec, 3365 secs
lola: STP completed || 94 tries, 93822386 fired transitions, 3370 secs || 64280588 markings, 70955779 edges, 17837 markings/sec, 3370 secs
lola: STP completed || 94 tries, 93963909 fired transitions, 3375 secs || 64374136 markings, 71059012 edges, 18710 markings/sec, 3375 secs
lola: STP completed || 95 tries, 94107128 fired transitions, 3380 secs || 64466438 markings, 71160889 edges, 18460 markings/sec, 3380 secs
lola: STP completed || 95 tries, 94255260 fired transitions, 3385 secs || 64562192 markings, 71266366 edges, 19151 markings/sec, 3385 secs
lola: STP completed || 95 tries, 94404562 fired transitions, 3390 secs || 64660650 markings, 71375275 edges, 19692 markings/sec, 3390 secs
lola: STP completed || 95 tries, 94552934 fired transitions, 3395 secs || 64760679 markings, 71486363 edges, 20006 markings/sec, 3395 secs
lola: STP completed || 95 tries, 94701054 fired transitions, 3400 secs || 64859304 markings, 71595357 edges, 19725 markings/sec, 3400 secs
lola: STP completed || 95 tries, 94848228 fired transitions, 3405 secs || 64957487 markings, 71703862 edges, 19637 markings/sec, 3405 secs
lola: STP completed || 95 tries, 94992489 fired transitions, 3410 secs || 65052395 markings, 71808625 edges, 18982 markings/sec, 3410 secs
lola: STP completed || 96 tries, 95135986 fired transitions, 3415 secs || 65145062 markings, 71911094 edges, 18533 markings/sec, 3415 secs
lola: STP completed || 96 tries, 95280678 fired transitions, 3420 secs || 65241989 markings, 72018406 edges, 19385 markings/sec, 3420 secs
lola: STP completed || 96 tries, 95424939 fired transitions, 3425 secs || 65340655 markings, 72126898 edges, 19733 markings/sec, 3425 secs
lola: STP completed || 96 tries, 95568965 fired transitions, 3430 secs || 65441131 markings, 72237819 edges, 20095 markings/sec, 3430 secs
lola: STP completed || 96 tries, 95713556 fired transitions, 3435 secs || 65541560 markings, 72348618 edges, 20086 markings/sec, 3435 secs
lola: STP completed || 96 tries, 95858889 fired transitions, 3440 secs || 65639130 markings, 72455809 edges, 19514 markings/sec, 3440 secs
lola: STP completed || 97 tries, 96006683 fired transitions, 3445 secs || 65737101 markings, 72563479 edges, 19594 markings/sec, 3445 secs
lola: STP completed || 97 tries, 96154882 fired transitions, 3450 secs || 65838146 markings, 72675013 edges, 20209 markings/sec, 3450 secs
lola: STP completed || 97 tries, 96305771 fired transitions, 3455 secs || 65939716 markings, 72787200 edges, 20314 markings/sec, 3455 secs
lola: STP completed || 97 tries, 96454958 fired transitions, 3460 secs || 66041783 markings, 72900728 edges, 20413 markings/sec, 3460 secs
lola: STP completed || 97 tries, 96600348 fired transitions, 3465 secs || 66142907 markings, 73013247 edges, 20225 markings/sec, 3465 secs
lola: STP completed || 97 tries, 96744456 fired transitions, 3470 secs || 66239964 markings, 73120688 edges, 19411 markings/sec, 3470 secs
lola: STP completed || 97 tries, 96886951 fired transitions, 3475 secs || 66335202 markings, 73225895 edges, 19048 markings/sec, 3475 secs
lola: STP completed || 98 tries, 97029546 fired transitions, 3480 secs || 66433342 markings, 73334705 edges, 19628 markings/sec, 3480 secs
lola: STP completed || 98 tries, 97170653 fired transitions, 3485 secs || 66526063 markings, 73436334 edges, 18544 markings/sec, 3485 secs
lola: STP completed || 98 tries, 97311408 fired transitions, 3490 secs || 66621807 markings, 73541812 edges, 19149 markings/sec, 3490 secs
lola: STP completed || 98 tries, 97455235 fired transitions, 3495 secs || 66721654 markings, 73652200 edges, 19969 markings/sec, 3495 secs
lola: STP completed || 98 tries, 97603432 fired transitions, 3500 secs || 66822363 markings, 73763328 edges, 20142 markings/sec, 3500 secs
lola: STP completed || 98 tries, 97751547 fired transitions, 3505 secs || 66929964 markings, 73883036 edges, 21520 markings/sec, 3505 secs
lola: STP completed || 98 tries, 97899003 fired transitions, 3510 secs || 67032780 markings, 73996653 edges, 20563 markings/sec, 3510 secs
lola: STP completed || 99 tries, 98045720 fired transitions, 3515 secs || 67135432 markings, 74110666 edges, 20530 markings/sec, 3515 secs
lola: STP completed || 99 tries, 98185629 fired transitions, 3520 secs || 67238593 markings, 74225367 edges, 20632 markings/sec, 3520 secs
lola: STP completed || 99 tries, 98329679 fired transitions, 3525 secs || 67339136 markings, 74336637 edges, 20109 markings/sec, 3525 secs
lola: STP completed || 99 tries, 98473331 fired transitions, 3530 secs || 67437843 markings, 74445563 edges, 19741 markings/sec, 3530 secs
lola: STP completed || 99 tries, 98616664 fired transitions, 3535 secs || 67536256 markings, 74554060 edges, 19683 markings/sec, 3535 secs
lola: STP completed || 99 tries, 98714519 fired transitions, 3540 secs || 67604355 markings, 74629371 edges, 13620 markings/sec, 3540 secs
Killed
FORMULA DLCround-PT-11b-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 1496547613633

--------------------
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="DLCround-PT-11b"
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/DLCround-PT-11b.tgz
mv DLCround-PT-11b 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 DLCround-PT-11b, 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 r178-csrt-149580961900359"
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 ;