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-3253
Executing tool lola
Input is Vasy2003-PT-none, examination is ReachabilityDeadlock
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r078-ebro-149441008700386
=====================================================================

--------------------
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 Vasy2003-PT-none-ReachabilityDeadlock-0

=== Now, execution of the tool begins

BK_START 1494948409902


Time: 3600 - MCC
----- Start make prepare stdout -----
checking for too many tokens
----- Start make result stdout -----
ReachabilityDeadlock @ Vasy2003-PT-none @ 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: 1261/65536 symbol table entries, 0 collisions
lola: preprocessing...
lola: finding significant places
lola: 485 places, 776 transitions, 419 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 962 transition conflict sets
lola: TASK
lola: reading formula from Vasy2003-PT-none-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 56 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: STP: formula with 15425 variables and 53796 clauses shipped to Minisat
lola: stp: The siphon/trap property does not hold
lola: computed 221 generators (115 in search tree, 106 by composition)
lola: representing 1.67663E+46 symmetries
lola: 0 dead branches visited in search tree
lola: STP completed || 1 tries, 158007 fired transitions, 0 secs || 158674 markings, 291916 edges, 31735 markings/sec, 0 secs
lola: STP completed || 1 tries, 321901 fired transitions, 5 secs || 322251 markings, 602143 edges, 32715 markings/sec, 5 secs
lola: STP completed || 1 tries, 487138 fired transitions, 10 secs || 486410 markings, 906169 edges, 32832 markings/sec, 10 secs
lola: STP completed || 1 tries, 651264 fired transitions, 15 secs || 649225 markings, 1194065 edges, 32563 markings/sec, 15 secs
lola: STP completed || 1 tries, 816037 fired transitions, 20 secs || 813060 markings, 1462650 edges, 32767 markings/sec, 20 secs
lola: STP completed || 1 tries, 980547 fired transitions, 25 secs || 978127 markings, 1750079 edges, 33013 markings/sec, 25 secs
lola: STP completed || 2 tries, 1142668 fired transitions, 30 secs || 1145499 markings, 2012131 edges, 33474 markings/sec, 30 secs
lola: STP completed || 2 tries, 1314738 fired transitions, 35 secs || 1314319 markings, 2288322 edges, 33764 markings/sec, 35 secs
lola: STP completed || 2 tries, 1487491 fired transitions, 40 secs || 1487569 markings, 2596247 edges, 34650 markings/sec, 40 secs
lola: STP completed || 2 tries, 1657051 fired transitions, 45 secs || 1659760 markings, 2867212 edges, 34438 markings/sec, 45 secs
lola: STP completed || 2 tries, 1827813 fired transitions, 50 secs || 1829147 markings, 3167242 edges, 33877 markings/sec, 50 secs
lola: STP completed || 2 tries, 1998084 fired transitions, 55 secs || 2001494 markings, 3434214 edges, 34469 markings/sec, 55 secs
lola: STP completed || 3 tries, 2163552 fired transitions, 60 secs || 2131661 markings, 3633968 edges, 26033 markings/sec, 60 secs
lola: STP completed || 3 tries, 2329726 fired transitions, 65 secs || 2258783 markings, 3860152 edges, 25424 markings/sec, 65 secs
lola: STP completed || 3 tries, 2496225 fired transitions, 70 secs || 2388397 markings, 4112710 edges, 25923 markings/sec, 70 secs
lola: STP completed || 3 tries, 2663211 fired transitions, 75 secs || 2514217 markings, 4337989 edges, 25164 markings/sec, 75 secs
lola: STP completed || 3 tries, 2829468 fired transitions, 80 secs || 2639718 markings, 4582528 edges, 25100 markings/sec, 80 secs
lola: STP completed || 3 tries, 2995863 fired transitions, 85 secs || 2770008 markings, 4829507 edges, 26058 markings/sec, 85 secs
lola: STP completed || 4 tries, 3160868 fired transitions, 90 secs || 2904726 markings, 5030951 edges, 26944 markings/sec, 90 secs
lola: STP completed || 4 tries, 3327501 fired transitions, 95 secs || 3032869 markings, 5269782 edges, 25629 markings/sec, 95 secs
lola: STP completed || 4 tries, 3494825 fired transitions, 100 secs || 3158038 markings, 5479438 edges, 25034 markings/sec, 100 secs
lola: STP completed || 4 tries, 3661467 fired transitions, 105 secs || 3287612 markings, 5705169 edges, 25915 markings/sec, 105 secs
lola: STP completed || 4 tries, 3827938 fired transitions, 110 secs || 3415115 markings, 5907724 edges, 25501 markings/sec, 110 secs
lola: STP completed || 4 tries, 3994549 fired transitions, 115 secs || 3543203 markings, 6118308 edges, 25618 markings/sec, 115 secs
lola: STP completed || 5 tries, 4161579 fired transitions, 120 secs || 3675000 markings, 6323740 edges, 26359 markings/sec, 120 secs
lola: STP completed || 5 tries, 4327490 fired transitions, 125 secs || 3809862 markings, 6515970 edges, 26972 markings/sec, 125 secs
lola: STP completed || 5 tries, 4495706 fired transitions, 130 secs || 3941321 markings, 6738738 edges, 26292 markings/sec, 130 secs
lola: STP completed || 5 tries, 4665857 fired transitions, 135 secs || 4141512 markings, 7097178 edges, 40038 markings/sec, 135 secs
lola: STP completed || 5 tries, 4837137 fired transitions, 140 secs || 4323218 markings, 7429724 edges, 36341 markings/sec, 140 secs
lola: STP completed || 6 tries, 5011384 fired transitions, 145 secs || 4516821 markings, 7797465 edges, 38721 markings/sec, 145 secs
lola: STP completed || 6 tries, 5184788 fired transitions, 150 secs || 4704646 markings, 8155421 edges, 37565 markings/sec, 150 secs
lola: STP completed || 6 tries, 5358258 fired transitions, 155 secs || 4890482 markings, 8500440 edges, 37167 markings/sec, 155 secs
lola: STP completed || 6 tries, 5531844 fired transitions, 160 secs || 5101601 markings, 8846049 edges, 42224 markings/sec, 160 secs
lola: STP completed || 6 tries, 5703626 fired transitions, 165 secs || 5290765 markings, 9175133 edges, 37833 markings/sec, 165 secs
lola: STP completed || 6 tries, 5876805 fired transitions, 170 secs || 5486409 markings, 9526464 edges, 39129 markings/sec, 170 secs
lola: STP completed || 7 tries, 6048893 fired transitions, 175 secs || 5678356 markings, 9881531 edges, 38389 markings/sec, 175 secs
lola: STP completed || 7 tries, 6220770 fired transitions, 180 secs || 5873925 markings, 10221937 edges, 39114 markings/sec, 180 secs
lola: STP completed || 7 tries, 6391129 fired transitions, 185 secs || 6077070 markings, 10564514 edges, 40629 markings/sec, 185 secs
lola: STP completed || 7 tries, 6559093 fired transitions, 190 secs || 6281219 markings, 10903188 edges, 40830 markings/sec, 190 secs
lola: STP completed || 7 tries, 6728220 fired transitions, 195 secs || 6484482 markings, 11253892 edges, 40653 markings/sec, 195 secs
lola: STP completed || 7 tries, 6896931 fired transitions, 200 secs || 6663936 markings, 11581648 edges, 35891 markings/sec, 200 secs
lola: STP completed || 8 tries, 7066672 fired transitions, 205 secs || 6849796 markings, 11921946 edges, 37172 markings/sec, 205 secs
lola: STP completed || 8 tries, 7237989 fired transitions, 210 secs || 7033403 markings, 12282894 edges, 36721 markings/sec, 210 secs
lola: STP completed || 8 tries, 7407380 fired transitions, 215 secs || 7212720 markings, 12623764 edges, 35863 markings/sec, 215 secs
lola: STP completed || 8 tries, 7578270 fired transitions, 220 secs || 7392999 markings, 12961261 edges, 36056 markings/sec, 220 secs
lola: STP completed || 8 tries, 7747973 fired transitions, 225 secs || 7596406 markings, 13290966 edges, 40681 markings/sec, 225 secs
lola: STP completed || 8 tries, 7916546 fired transitions, 230 secs || 7779422 markings, 13609854 edges, 36603 markings/sec, 230 secs
lola: STP completed || 9 tries, 8087251 fired transitions, 235 secs || 7969414 markings, 13957511 edges, 37998 markings/sec, 235 secs
lola: STP completed || 9 tries, 8257844 fired transitions, 240 secs || 8158043 markings, 14290900 edges, 37726 markings/sec, 240 secs
lola: STP completed || 9 tries, 8429538 fired transitions, 245 secs || 8340730 markings, 14636426 edges, 36537 markings/sec, 245 secs
lola: STP completed || 9 tries, 8599317 fired transitions, 250 secs || 8538175 markings, 14971037 edges, 39489 markings/sec, 250 secs
lola: STP completed || 9 tries, 8770623 fired transitions, 255 secs || 8730257 markings, 15321860 edges, 38416 markings/sec, 255 secs
lola: STP completed || 9 tries, 8940611 fired transitions, 260 secs || 8932673 markings, 15649720 edges, 40483 markings/sec, 260 secs
lola: STP completed || 10 tries, 9110052 fired transitions, 265 secs || 9123704 markings, 15990272 edges, 38206 markings/sec, 265 secs
lola: STP completed || 10 tries, 9278715 fired transitions, 270 secs || 9289729 markings, 16287697 edges, 33205 markings/sec, 270 secs
lola: STP completed || 10 tries, 9447054 fired transitions, 275 secs || 9443329 markings, 16573106 edges, 30720 markings/sec, 275 secs
lola: STP completed || 10 tries, 9616931 fired transitions, 280 secs || 9594081 markings, 16834287 edges, 30150 markings/sec, 280 secs
lola: STP completed || 10 tries, 9788316 fired transitions, 285 secs || 9750053 markings, 17112317 edges, 31194 markings/sec, 285 secs
lola: STP completed || 10 tries, 9960743 fired transitions, 290 secs || 9903188 markings, 17377824 edges, 30627 markings/sec, 290 secs
lola: STP completed || 11 tries, 10132165 fired transitions, 295 secs || 10071477 markings, 17625613 edges, 33658 markings/sec, 295 secs
lola: STP completed || 11 tries, 10304068 fired transitions, 300 secs || 10225308 markings, 17914488 edges, 30766 markings/sec, 300 secs
lola: STP completed || 11 tries, 10475857 fired transitions, 305 secs || 10385548 markings, 18181554 edges, 32048 markings/sec, 305 secs
lola: STP completed || 11 tries, 10647837 fired transitions, 310 secs || 10547142 markings, 18459758 edges, 32319 markings/sec, 310 secs
lola: STP completed || 11 tries, 10819325 fired transitions, 315 secs || 10706177 markings, 18741633 edges, 31807 markings/sec, 315 secs
lola: STP completed || 11 tries, 10990263 fired transitions, 320 secs || 10871391 markings, 19012965 edges, 33043 markings/sec, 320 secs
lola: STP completed || 12 tries, 11160626 fired transitions, 325 secs || 11034823 markings, 19281443 edges, 32686 markings/sec, 325 secs
lola: STP completed || 12 tries, 11331659 fired transitions, 330 secs || 11204441 markings, 19537846 edges, 33924 markings/sec, 330 secs
lola: STP completed || 12 tries, 11502541 fired transitions, 335 secs || 11367011 markings, 19803996 edges, 32514 markings/sec, 335 secs
lola: STP completed || 12 tries, 11673674 fired transitions, 340 secs || 11525007 markings, 20083075 edges, 31599 markings/sec, 340 secs
lola: STP completed || 12 tries, 11846360 fired transitions, 345 secs || 11685488 markings, 20392813 edges, 32096 markings/sec, 345 secs
lola: STP completed || 13 tries, 12018175 fired transitions, 350 secs || 11842290 markings, 20687074 edges, 31360 markings/sec, 350 secs
lola: STP completed || 13 tries, 12189971 fired transitions, 355 secs || 11996769 markings, 20975135 edges, 30896 markings/sec, 355 secs
lola: STP completed || 13 tries, 12362078 fired transitions, 360 secs || 12152884 markings, 21253059 edges, 31223 markings/sec, 360 secs
lola: STP completed || 13 tries, 12533286 fired transitions, 365 secs || 12314138 markings, 21528746 edges, 32251 markings/sec, 365 secs
lola: STP completed || 13 tries, 12704799 fired transitions, 370 secs || 12476438 markings, 21782758 edges, 32460 markings/sec, 370 secs
lola: STP completed || 13 tries, 12875865 fired transitions, 375 secs || 12644096 markings, 22047984 edges, 33532 markings/sec, 375 secs
lola: STP completed || 14 tries, 13047084 fired transitions, 380 secs || 12831879 markings, 22362576 edges, 37557 markings/sec, 380 secs
lola: STP completed || 14 tries, 13219990 fired transitions, 385 secs || 13077585 markings, 22817357 edges, 49141 markings/sec, 385 secs
lola: STP completed || 14 tries, 13393151 fired transitions, 390 secs || 13320105 markings, 23252445 edges, 48504 markings/sec, 390 secs
lola: STP completed || 14 tries, 13566360 fired transitions, 395 secs || 13567830 markings, 23678096 edges, 49545 markings/sec, 395 secs
lola: STP completed || 14 tries, 13737720 fired transitions, 400 secs || 13810140 markings, 24105317 edges, 48462 markings/sec, 400 secs
lola: STP completed || 14 tries, 13908705 fired transitions, 405 secs || 14057057 markings, 24521755 edges, 49383 markings/sec, 405 secs
lola: STP completed || 15 tries, 14079091 fired transitions, 410 secs || 14308415 markings, 24932335 edges, 50272 markings/sec, 410 secs
lola: STP completed || 15 tries, 14251714 fired transitions, 415 secs || 14567709 markings, 25400658 edges, 51859 markings/sec, 415 secs
lola: STP completed || 15 tries, 14425903 fired transitions, 420 secs || 14845070 markings, 25911944 edges, 55472 markings/sec, 420 secs
lola: STP completed || 15 tries, 14601148 fired transitions, 425 secs || 15124508 markings, 26444688 edges, 55888 markings/sec, 425 secs
lola: STP completed || 15 tries, 14775994 fired transitions, 430 secs || 15398980 markings, 26970144 edges, 54894 markings/sec, 430 secs
lola: STP completed || 15 tries, 14951678 fired transitions, 435 secs || 15680870 markings, 27479578 edges, 56378 markings/sec, 435 secs
lola: STP completed || 16 tries, 15126690 fired transitions, 440 secs || 15957963 markings, 27989367 edges, 55419 markings/sec, 440 secs
lola: STP completed || 16 tries, 15300643 fired transitions, 445 secs || 16250034 markings, 28476630 edges, 58414 markings/sec, 445 secs
lola: STP completed || 16 tries, 15474394 fired transitions, 450 secs || 16531641 markings, 28973149 edges, 56321 markings/sec, 450 secs
lola: STP completed || 16 tries, 15646496 fired transitions, 455 secs || 16786580 markings, 29423585 edges, 50988 markings/sec, 455 secs
lola: STP completed || 16 tries, 15819275 fired transitions, 460 secs || 17033394 markings, 29885962 edges, 49363 markings/sec, 460 secs
lola: STP completed || 16 tries, 15991654 fired transitions, 465 secs || 17279052 markings, 30334713 edges, 49132 markings/sec, 465 secs
lola: STP completed || 17 tries, 16162124 fired transitions, 470 secs || 17534529 markings, 30728692 edges, 51095 markings/sec, 470 secs
lola: STP completed || 17 tries, 16335720 fired transitions, 475 secs || 17782029 markings, 31175932 edges, 49500 markings/sec, 475 secs
lola: STP completed || 17 tries, 16505531 fired transitions, 480 secs || 18041904 markings, 31583018 edges, 51975 markings/sec, 480 secs
lola: STP completed || 17 tries, 16675288 fired transitions, 485 secs || 18303311 markings, 31994496 edges, 52281 markings/sec, 485 secs
lola: STP completed || 17 tries, 16847302 fired transitions, 490 secs || 18489286 markings, 32315689 edges, 37195 markings/sec, 490 secs
lola: STP completed || 18 tries, 17019218 fired transitions, 495 secs || 18635008 markings, 32572657 edges, 29144 markings/sec, 495 secs
lola: STP completed || 18 tries, 17190690 fired transitions, 500 secs || 18773087 markings, 32826100 edges, 27616 markings/sec, 500 secs
lola: STP completed || 18 tries, 17363290 fired transitions, 505 secs || 18917412 markings, 33103509 edges, 28865 markings/sec, 505 secs
lola: STP completed || 18 tries, 17536333 fired transitions, 510 secs || 19060292 markings, 33375942 edges, 28576 markings/sec, 510 secs
lola: STP completed || 18 tries, 17709255 fired transitions, 515 secs || 19199834 markings, 33634125 edges, 27908 markings/sec, 515 secs
lola: STP completed || 18 tries, 17881376 fired transitions, 520 secs || 19339985 markings, 33901400 edges, 28030 markings/sec, 520 secs
lola: STP completed || 19 tries, 18055000 fired transitions, 525 secs || 19488998 markings, 34180641 edges, 29803 markings/sec, 525 secs
lola: STP completed || 19 tries, 18228150 fired transitions, 530 secs || 19630978 markings, 34447405 edges, 28396 markings/sec, 530 secs
lola: STP completed || 19 tries, 18400886 fired transitions, 535 secs || 19774789 markings, 34714385 edges, 28762 markings/sec, 535 secs
lola: STP completed || 19 tries, 18572695 fired transitions, 540 secs || 19917446 markings, 34973390 edges, 28531 markings/sec, 540 secs
lola: STP completed || 19 tries, 18744545 fired transitions, 545 secs || 20073706 markings, 35229856 edges, 31252 markings/sec, 545 secs
lola: STP completed || 19 tries, 18916538 fired transitions, 550 secs || 20220899 markings, 35480534 edges, 29439 markings/sec, 550 secs
lola: STP completed || 20 tries, 19088509 fired transitions, 555 secs || 20360208 markings, 35735029 edges, 27862 markings/sec, 555 secs
lola: STP completed || 20 tries, 19261714 fired transitions, 560 secs || 20510396 markings, 35992746 edges, 30038 markings/sec, 560 secs
lola: STP completed || 20 tries, 19434162 fired transitions, 565 secs || 20664525 markings, 36251774 edges, 30826 markings/sec, 565 secs
lola: STP completed || 20 tries, 19606244 fired transitions, 570 secs || 20824096 markings, 36505194 edges, 31914 markings/sec, 570 secs
lola: STP completed || 20 tries, 19777407 fired transitions, 575 secs || 20983270 markings, 36761226 edges, 31835 markings/sec, 575 secs
lola: STP completed || 20 tries, 19950308 fired transitions, 580 secs || 21122845 markings, 37004083 edges, 27915 markings/sec, 580 secs
lola: STP completed || 21 tries, 20122247 fired transitions, 585 secs || 21243812 markings, 37219419 edges, 24193 markings/sec, 585 secs
lola: STP completed || 21 tries, 20291537 fired transitions, 590 secs || 21357071 markings, 37415811 edges, 22652 markings/sec, 590 secs
lola: STP completed || 21 tries, 20463075 fired transitions, 595 secs || 21475507 markings, 37635756 edges, 23687 markings/sec, 595 secs
lola: STP completed || 21 tries, 20635330 fired transitions, 600 secs || 21592178 markings, 37859909 edges, 23334 markings/sec, 600 secs
lola: STP completed || 21 tries, 20807424 fired transitions, 605 secs || 21706428 markings, 38068845 edges, 22850 markings/sec, 605 secs
lola: STP completed || 21 tries, 20979292 fired transitions, 610 secs || 21821704 markings, 38279345 edges, 23055 markings/sec, 610 secs
lola: STP completed || 22 tries, 21150075 fired transitions, 615 secs || 21947016 markings, 38463616 edges, 25062 markings/sec, 615 secs
lola: STP completed || 22 tries, 21321207 fired transitions, 620 secs || 22062927 markings, 38650626 edges, 23182 markings/sec, 620 secs
lola: STP completed || 22 tries, 21492921 fired transitions, 625 secs || 22177581 markings, 38857391 edges, 22931 markings/sec, 625 secs
lola: STP completed || 22 tries, 21666562 fired transitions, 630 secs || 22298979 markings, 39066703 edges, 24280 markings/sec, 630 secs
lola: STP completed || 22 tries, 21838260 fired transitions, 635 secs || 22418232 markings, 39262789 edges, 23851 markings/sec, 635 secs
lola: STP completed || 23 tries, 22009986 fired transitions, 640 secs || 22534610 markings, 39460516 edges, 23276 markings/sec, 640 secs
lola: STP completed || 23 tries, 22181297 fired transitions, 645 secs || 22658265 markings, 39647069 edges, 24731 markings/sec, 645 secs
lola: STP completed || 23 tries, 22353190 fired transitions, 650 secs || 22781573 markings, 39840617 edges, 24662 markings/sec, 650 secs
lola: STP completed || 23 tries, 22524311 fired transitions, 655 secs || 22903183 markings, 40032230 edges, 24322 markings/sec, 655 secs
lola: STP completed || 23 tries, 22697108 fired transitions, 660 secs || 23020000 markings, 40250449 edges, 23363 markings/sec, 660 secs
lola: STP completed || 23 tries, 22868798 fired transitions, 665 secs || 23142891 markings, 40455799 edges, 24578 markings/sec, 665 secs
lola: STP completed || 24 tries, 23042423 fired transitions, 670 secs || 23357587 markings, 40828775 edges, 42939 markings/sec, 670 secs
lola: STP completed || 24 tries, 23213333 fired transitions, 675 secs || 23518297 markings, 41109582 edges, 32142 markings/sec, 675 secs
lola: STP completed || 24 tries, 23385196 fired transitions, 680 secs || 23680772 markings, 41411950 edges, 32495 markings/sec, 680 secs
lola: STP completed || 24 tries, 23555501 fired transitions, 685 secs || 23838423 markings, 41702435 edges, 31530 markings/sec, 685 secs
lola: STP completed || 24 tries, 23727465 fired transitions, 690 secs || 23994787 markings, 41996948 edges, 31273 markings/sec, 690 secs
lola: STP completed || 24 tries, 23898337 fired transitions, 695 secs || 24155317 markings, 42268342 edges, 32106 markings/sec, 695 secs
lola: STP completed || 25 tries, 24069933 fired transitions, 700 secs || 24313989 markings, 42538649 edges, 31734 markings/sec, 700 secs
lola: STP completed || 25 tries, 24240356 fired transitions, 705 secs || 24485335 markings, 42805614 edges, 34269 markings/sec, 705 secs
lola: STP completed || 25 tries, 24410803 fired transitions, 710 secs || 24651006 markings, 43088068 edges, 33134 markings/sec, 710 secs
lola: STP completed || 25 tries, 24582063 fired transitions, 715 secs || 24817106 markings, 43377619 edges, 33220 markings/sec, 715 secs
lola: STP completed || 25 tries, 24753862 fired transitions, 720 secs || 25000315 markings, 43691380 edges, 36642 markings/sec, 720 secs
lola: STP completed || 25 tries, 24927624 fired transitions, 725 secs || 25167832 markings, 43989562 edges, 33503 markings/sec, 725 secs
lola: STP completed || 26 tries, 25101512 fired transitions, 730 secs || 25327618 markings, 44285805 edges, 31957 markings/sec, 730 secs
lola: STP completed || 26 tries, 25275201 fired transitions, 735 secs || 25494106 markings, 44605063 edges, 33298 markings/sec, 735 secs
lola: STP completed || 26 tries, 25448427 fired transitions, 740 secs || 25656625 markings, 44914490 edges, 32504 markings/sec, 740 secs
lola: STP completed || 26 tries, 25621914 fired transitions, 745 secs || 25818632 markings, 45207862 edges, 32401 markings/sec, 745 secs
lola: STP completed || 26 tries, 25796977 fired transitions, 750 secs || 25981826 markings, 45531256 edges, 32639 markings/sec, 750 secs
lola: STP completed || 26 tries, 25970364 fired transitions, 755 secs || 26145600 markings, 45833263 edges, 32755 markings/sec, 755 secs
lola: STP completed || 27 tries, 26144871 fired transitions, 760 secs || 26309326 markings, 46133995 edges, 32745 markings/sec, 760 secs
lola: STP completed || 27 tries, 26318748 fired transitions, 765 secs || 26472380 markings, 46431045 edges, 32611 markings/sec, 765 secs
lola: STP completed || 27 tries, 26493176 fired transitions, 770 secs || 26648364 markings, 46712793 edges, 35197 markings/sec, 770 secs
lola: STP completed || 27 tries, 26667291 fired transitions, 775 secs || 26809762 markings, 46994033 edges, 32280 markings/sec, 775 secs
lola: STP completed || 27 tries, 26842343 fired transitions, 780 secs || 26971132 markings, 47290222 edges, 32274 markings/sec, 780 secs
lola: STP completed || 28 tries, 27016167 fired transitions, 785 secs || 27135288 markings, 47570857 edges, 32831 markings/sec, 785 secs
lola: STP completed || 28 tries, 27188643 fired transitions, 790 secs || 27281197 markings, 47825532 edges, 29182 markings/sec, 790 secs
lola: STP completed || 28 tries, 27359366 fired transitions, 795 secs || 27406745 markings, 48046423 edges, 25110 markings/sec, 795 secs
lola: STP completed || 28 tries, 27529124 fired transitions, 800 secs || 27518995 markings, 48243093 edges, 22450 markings/sec, 800 secs
lola: STP completed || 28 tries, 27700010 fired transitions, 805 secs || 27638892 markings, 48467801 edges, 23979 markings/sec, 805 secs
lola: STP completed || 28 tries, 27870870 fired transitions, 810 secs || 27754963 markings, 48688734 edges, 23214 markings/sec, 810 secs
lola: STP completed || 29 tries, 28040994 fired transitions, 815 secs || 27869579 markings, 48905022 edges, 22923 markings/sec, 815 secs
lola: STP completed || 29 tries, 28209854 fired transitions, 820 secs || 27983698 markings, 49103958 edges, 22824 markings/sec, 820 secs
lola: STP completed || 29 tries, 28379032 fired transitions, 825 secs || 28101213 markings, 49302258 edges, 23503 markings/sec, 825 secs
lola: STP completed || 29 tries, 28548512 fired transitions, 830 secs || 28217104 markings, 49505835 edges, 23178 markings/sec, 830 secs
lola: STP completed || 29 tries, 28718328 fired transitions, 835 secs || 28331966 markings, 49706432 edges, 22972 markings/sec, 835 secs
lola: STP completed || 29 tries, 28886586 fired transitions, 840 secs || 28459102 markings, 49887499 edges, 25427 markings/sec, 840 secs
lola: STP completed || 30 tries, 29057523 fired transitions, 845 secs || 28578361 markings, 50089198 edges, 23852 markings/sec, 845 secs
lola: STP completed || 30 tries, 29228348 fired transitions, 850 secs || 28698794 markings, 50287351 edges, 24087 markings/sec, 850 secs
lola: STP completed || 30 tries, 29400818 fired transitions, 855 secs || 28818620 markings, 50507945 edges, 23965 markings/sec, 855 secs
lola: STP completed || 30 tries, 29572586 fired transitions, 860 secs || 28940555 markings, 50715958 edges, 24387 markings/sec, 860 secs
lola: STP completed || 30 tries, 29744894 fired transitions, 865 secs || 29111963 markings, 50992976 edges, 34282 markings/sec, 865 secs
lola: STP completed || 30 tries, 29917945 fired transitions, 870 secs || 29288708 markings, 51286054 edges, 35349 markings/sec, 870 secs
lola: STP completed || 31 tries, 30091847 fired transitions, 875 secs || 29454541 markings, 51565248 edges, 33167 markings/sec, 875 secs
lola: STP completed || 31 tries, 30265583 fired transitions, 880 secs || 29596124 markings, 51827085 edges, 28317 markings/sec, 880 secs
lola: STP completed || 31 tries, 30439813 fired transitions, 885 secs || 29739264 markings, 52108585 edges, 28628 markings/sec, 885 secs
lola: STP completed || 31 tries, 30612434 fired transitions, 890 secs || 29879694 markings, 52378968 edges, 28086 markings/sec, 890 secs
lola: STP completed || 31 tries, 30785342 fired transitions, 895 secs || 30016596 markings, 52634572 edges, 27380 markings/sec, 895 secs
lola: STP completed || 31 tries, 30957834 fired transitions, 900 secs || 30156292 markings, 52883481 edges, 27939 markings/sec, 900 secs
lola: STP completed || 32 tries, 31130838 fired transitions, 905 secs || 30290518 markings, 53137522 edges, 26845 markings/sec, 905 secs
lola: STP completed || 32 tries, 31303777 fired transitions, 910 secs || 30427529 markings, 53390185 edges, 27402 markings/sec, 910 secs
lola: STP completed || 32 tries, 31477982 fired transitions, 915 secs || 30569012 markings, 53656069 edges, 28297 markings/sec, 915 secs
lola: STP completed || 32 tries, 31652303 fired transitions, 920 secs || 30709841 markings, 53901514 edges, 28166 markings/sec, 920 secs
lola: STP completed || 32 tries, 31825807 fired transitions, 925 secs || 30845316 markings, 54172591 edges, 27095 markings/sec, 925 secs
lola: STP completed || 32 tries, 31998642 fired transitions, 930 secs || 30983472 markings, 54441560 edges, 27631 markings/sec, 930 secs
lola: STP completed || 33 tries, 32171220 fired transitions, 935 secs || 31134462 markings, 54690253 edges, 30198 markings/sec, 935 secs
lola: STP completed || 33 tries, 32343872 fired transitions, 940 secs || 31285549 markings, 54946682 edges, 30217 markings/sec, 940 secs
lola: STP completed || 33 tries, 32518318 fired transitions, 945 secs || 31525405 markings, 55371657 edges, 47971 markings/sec, 945 secs
lola: STP completed || 33 tries, 32692974 fired transitions, 950 secs || 31776875 markings, 55846434 edges, 50294 markings/sec, 950 secs
lola: STP completed || 33 tries, 32868434 fired transitions, 955 secs || 32025601 markings, 56322058 edges, 49745 markings/sec, 955 secs
lola: STP completed || 34 tries, 33044657 fired transitions, 960 secs || 32276654 markings, 56784957 edges, 50211 markings/sec, 960 secs
lola: STP completed || 34 tries, 33219643 fired transitions, 965 secs || 32527653 markings, 57233327 edges, 50200 markings/sec, 965 secs
lola: STP completed || 34 tries, 33394300 fired transitions, 970 secs || 32787512 markings, 57682599 edges, 51972 markings/sec, 970 secs
lola: STP completed || 34 tries, 33568926 fired transitions, 975 secs || 33054962 markings, 58146417 edges, 53490 markings/sec, 975 secs
lola: STP completed || 34 tries, 33742982 fired transitions, 980 secs || 33330723 markings, 58595717 edges, 55152 markings/sec, 980 secs
lola: STP completed || 34 tries, 33916293 fired transitions, 985 secs || 33562246 markings, 59001225 edges, 46305 markings/sec, 985 secs
lola: STP completed || 35 tries, 34090019 fired transitions, 990 secs || 33808099 markings, 59458712 edges, 49171 markings/sec, 990 secs
lola: STP completed || 35 tries, 34264102 fired transitions, 995 secs || 34050652 markings, 59911109 edges, 48511 markings/sec, 995 secs
lola: STP completed || 35 tries, 34436020 fired transitions, 1000 secs || 34296991 markings, 60332682 edges, 49268 markings/sec, 1000 secs
lola: STP completed || 35 tries, 34606897 fired transitions, 1005 secs || 34547164 markings, 60738021 edges, 50035 markings/sec, 1005 secs
lola: STP completed || 35 tries, 34777341 fired transitions, 1010 secs || 34801825 markings, 61151202 edges, 50932 markings/sec, 1010 secs
lola: STP completed || 35 tries, 34948599 fired transitions, 1015 secs || 35049295 markings, 61589770 edges, 49494 markings/sec, 1015 secs
lola: STP completed || 36 tries, 35122585 fired transitions, 1020 secs || 35279145 markings, 61991386 edges, 45970 markings/sec, 1020 secs
lola: STP completed || 36 tries, 35293507 fired transitions, 1025 secs || 35415183 markings, 62230981 edges, 27208 markings/sec, 1025 secs
lola: STP completed || 36 tries, 35463904 fired transitions, 1030 secs || 35530451 markings, 62431853 edges, 23054 markings/sec, 1030 secs
lola: STP completed || 36 tries, 35634287 fired transitions, 1035 secs || 35651972 markings, 62658990 edges, 24304 markings/sec, 1035 secs
lola: STP completed || 36 tries, 35805396 fired transitions, 1040 secs || 35770442 markings, 62882762 edges, 23694 markings/sec, 1040 secs
lola: STP completed || 36 tries, 35974447 fired transitions, 1045 secs || 35886165 markings, 63100518 edges, 23145 markings/sec, 1045 secs
lola: STP completed || 37 tries, 36142351 fired transitions, 1050 secs || 36002113 markings, 63306412 edges, 23190 markings/sec, 1050 secs
lola: STP completed || 37 tries, 36308231 fired transitions, 1055 secs || 36120138 markings, 63505391 edges, 23605 markings/sec, 1055 secs
lola: STP completed || 37 tries, 36475544 fired transitions, 1060 secs || 36236304 markings, 63709013 edges, 23233 markings/sec, 1060 secs
lola: STP completed || 37 tries, 36641205 fired transitions, 1065 secs || 36351282 markings, 63909327 edges, 22996 markings/sec, 1065 secs
lola: STP completed || 37 tries, 36806483 fired transitions, 1070 secs || 36478481 markings, 64092057 edges, 25440 markings/sec, 1070 secs
lola: STP completed || 37 tries, 36972406 fired transitions, 1075 secs || 36598361 markings, 64294262 edges, 23976 markings/sec, 1075 secs
lola: STP completed || 38 tries, 37138526 fired transitions, 1080 secs || 36719028 markings, 64490051 edges, 24133 markings/sec, 1080 secs
lola: STP completed || 38 tries, 37306066 fired transitions, 1085 secs || 36838516 markings, 64713279 edges, 23898 markings/sec, 1085 secs
lola: STP completed || 38 tries, 37472461 fired transitions, 1090 secs || 36958584 markings, 64917459 edges, 24014 markings/sec, 1090 secs
lola: STP completed || 38 tries, 37642063 fired transitions, 1095 secs || 37050074 markings, 65072769 edges, 18298 markings/sec, 1095 secs
lola: STP completed || 38 tries, 37811255 fired transitions, 1100 secs || 37137909 markings, 65230965 edges, 17567 markings/sec, 1100 secs
lola: STP completed || 38 tries, 37981098 fired transitions, 1105 secs || 37229042 markings, 65397895 edges, 18227 markings/sec, 1105 secs
lola: STP completed || 39 tries, 38153601 fired transitions, 1110 secs || 37324197 markings, 65576299 edges, 19031 markings/sec, 1110 secs
lola: STP completed || 39 tries, 38326010 fired transitions, 1115 secs || 37417456 markings, 65757563 edges, 18652 markings/sec, 1115 secs
lola: STP completed || 39 tries, 38500066 fired transitions, 1120 secs || 37509229 markings, 65920798 edges, 18355 markings/sec, 1120 secs
lola: STP completed || 39 tries, 38672341 fired transitions, 1125 secs || 37602476 markings, 66102347 edges, 18649 markings/sec, 1125 secs
lola: STP completed || 39 tries, 38843538 fired transitions, 1130 secs || 37695676 markings, 66266224 edges, 18640 markings/sec, 1130 secs
lola: STP completed || 40 tries, 39013580 fired transitions, 1135 secs || 37786469 markings, 66433228 edges, 18159 markings/sec, 1135 secs
lola: STP completed || 40 tries, 39183458 fired transitions, 1140 secs || 37877841 markings, 66594348 edges, 18274 markings/sec, 1140 secs
lola: STP completed || 40 tries, 39352320 fired transitions, 1145 secs || 37967956 markings, 66756780 edges, 18023 markings/sec, 1145 secs
lola: STP completed || 40 tries, 39523375 fired transitions, 1150 secs || 38059563 markings, 66906453 edges, 18321 markings/sec, 1150 secs
lola: STP completed || 40 tries, 39692790 fired transitions, 1155 secs || 38154524 markings, 67044334 edges, 18992 markings/sec, 1155 secs
lola: STP completed || 40 tries, 39861794 fired transitions, 1160 secs || 38244198 markings, 67192506 edges, 17935 markings/sec, 1160 secs
lola: STP completed || 41 tries, 40030419 fired transitions, 1165 secs || 38332258 markings, 67352108 edges, 17612 markings/sec, 1165 secs
lola: STP completed || 41 tries, 40199058 fired transitions, 1170 secs || 38424402 markings, 67501250 edges, 18429 markings/sec, 1170 secs
lola: STP completed || 41 tries, 40367841 fired transitions, 1175 secs || 38518184 markings, 67649045 edges, 18756 markings/sec, 1175 secs
lola: STP completed || 41 tries, 40537397 fired transitions, 1180 secs || 38612679 markings, 67784793 edges, 18899 markings/sec, 1180 secs
lola: STP completed || 41 tries, 40705723 fired transitions, 1185 secs || 38707963 markings, 67920765 edges, 19057 markings/sec, 1185 secs
lola: STP completed || 41 tries, 40874978 fired transitions, 1190 secs || 38803162 markings, 68064337 edges, 19040 markings/sec, 1190 secs
lola: STP completed || 42 tries, 41043879 fired transitions, 1195 secs || 38928956 markings, 68280712 edges, 25159 markings/sec, 1195 secs
lola: STP completed || 42 tries, 41212713 fired transitions, 1200 secs || 39163739 markings, 68694177 edges, 46957 markings/sec, 1200 secs
lola: STP completed || 42 tries, 41383888 fired transitions, 1205 secs || 39402706 markings, 69146065 edges, 47793 markings/sec, 1205 secs
lola: STP completed || 42 tries, 41553167 fired transitions, 1210 secs || 39638815 markings, 69584543 edges, 47222 markings/sec, 1210 secs
lola: STP completed || 42 tries, 41721489 fired transitions, 1215 secs || 39875526 markings, 70008786 edges, 47342 markings/sec, 1215 secs
lola: STP completed || 42 tries, 41887875 fired transitions, 1220 secs || 40121944 markings, 70405933 edges, 49284 markings/sec, 1220 secs
lola: STP completed || 43 tries, 42058009 fired transitions, 1225 secs || 40360731 markings, 70816335 edges, 47757 markings/sec, 1225 secs
lola: STP completed || 43 tries, 42230074 fired transitions, 1230 secs || 40583083 markings, 71188615 edges, 44470 markings/sec, 1230 secs
lola: STP completed || 43 tries, 42402267 fired transitions, 1235 secs || 40769534 markings, 71526144 edges, 37290 markings/sec, 1235 secs
lola: STP completed || 43 tries, 42576198 fired transitions, 1240 secs || 40959468 markings, 71884991 edges, 37987 markings/sec, 1240 secs
lola: STP completed || 43 tries, 42749864 fired transitions, 1245 secs || 41147364 markings, 72254536 edges, 37579 markings/sec, 1245 secs
lola: STP completed || 43 tries, 42924143 fired transitions, 1250 secs || 41331965 markings, 72590684 edges, 36920 markings/sec, 1250 secs
lola: STP completed || 44 tries, 43097083 fired transitions, 1255 secs || 41526504 markings, 72943711 edges, 38908 markings/sec, 1255 secs
lola: STP completed || 44 tries, 43270066 fired transitions, 1260 secs || 41726871 markings, 73277224 edges, 40073 markings/sec, 1260 secs
lola: STP completed || 44 tries, 43443252 fired transitions, 1265 secs || 41914731 markings, 73625226 edges, 37572 markings/sec, 1265 secs
lola: STP completed || 44 tries, 43616056 fired transitions, 1270 secs || 42109929 markings, 73968561 edges, 39040 markings/sec, 1270 secs
lola: STP completed || 44 tries, 43788487 fired transitions, 1275 secs || 42307775 markings, 74324502 edges, 39569 markings/sec, 1275 secs
lola: STP completed || 44 tries, 43961063 fired transitions, 1280 secs || 42501634 markings, 74668520 edges, 38772 markings/sec, 1280 secs
lola: STP completed || 45 tries, 44134616 fired transitions, 1285 secs || 42700602 markings, 75030490 edges, 39794 markings/sec, 1285 secs
lola: STP completed || 45 tries, 44306419 fired transitions, 1290 secs || 42905575 markings, 75370355 edges, 40995 markings/sec, 1290 secs
lola: STP completed || 45 tries, 44480057 fired transitions, 1295 secs || 43110203 markings, 75714857 edges, 40926 markings/sec, 1295 secs
lola: STP completed || 45 tries, 44653091 fired transitions, 1300 secs || 43290280 markings, 76040681 edges, 36015 markings/sec, 1300 secs
lola: STP completed || 45 tries, 44824478 fired transitions, 1305 secs || 43447312 markings, 76333900 edges, 31406 markings/sec, 1305 secs
lola: STP completed || 45 tries, 44995337 fired transitions, 1310 secs || 43602844 markings, 76606918 edges, 31106 markings/sec, 1310 secs
lola: STP completed || 46 tries, 45166833 fired transitions, 1315 secs || 43760465 markings, 76890248 edges, 31524 markings/sec, 1315 secs
lola: STP completed || 46 tries, 45337617 fired transitions, 1320 secs || 43915711 markings, 77159007 edges, 31049 markings/sec, 1320 secs
lola: STP completed || 46 tries, 45505071 fired transitions, 1325 secs || 44083031 markings, 77409706 edges, 33464 markings/sec, 1325 secs
lola: STP completed || 46 tries, 45673294 fired transitions, 1330 secs || 44238216 markings, 77692830 edges, 31037 markings/sec, 1330 secs
lola: STP completed || 46 tries, 45841829 fired transitions, 1335 secs || 44400531 markings, 77958932 edges, 32463 markings/sec, 1335 secs
lola: STP completed || 47 tries, 46010534 fired transitions, 1340 secs || 44559782 markings, 78242515 edges, 31850 markings/sec, 1340 secs
lola: STP completed || 47 tries, 46179938 fired transitions, 1345 secs || 44719637 markings, 78513122 edges, 31971 markings/sec, 1345 secs
lola: STP completed || 47 tries, 46347752 fired transitions, 1350 secs || 44882274 markings, 78791679 edges, 32527 markings/sec, 1350 secs
lola: STP completed || 47 tries, 46513554 fired transitions, 1355 secs || 45047786 markings, 79048318 edges, 33102 markings/sec, 1355 secs
lola: STP completed || 47 tries, 46681325 fired transitions, 1360 secs || 45210483 markings, 79316180 edges, 32539 markings/sec, 1360 secs
lola: STP completed || 47 tries, 46849205 fired transitions, 1365 secs || 45423413 markings, 79671064 edges, 42586 markings/sec, 1365 secs
lola: STP completed || 48 tries, 47019443 fired transitions, 1370 secs || 45668293 markings, 80126775 edges, 48976 markings/sec, 1370 secs
lola: STP completed || 48 tries, 47188124 fired transitions, 1375 secs || 45913987 markings, 80563525 edges, 49139 markings/sec, 1375 secs
lola: STP completed || 48 tries, 47356805 fired transitions, 1380 secs || 46163646 markings, 80998844 edges, 49932 markings/sec, 1380 secs
lola: STP completed || 48 tries, 47524774 fired transitions, 1385 secs || 46389038 markings, 81375405 edges, 45078 markings/sec, 1385 secs
lola: STP completed || 48 tries, 47693707 fired transitions, 1390 secs || 46626153 markings, 81798146 edges, 47423 markings/sec, 1390 secs
lola: STP completed || 48 tries, 47863861 fired transitions, 1395 secs || 46864362 markings, 82250873 edges, 47642 markings/sec, 1395 secs
lola: STP completed || 49 tries, 48033121 fired transitions, 1400 secs || 47101179 markings, 82686639 edges, 47363 markings/sec, 1400 secs
lola: STP completed || 49 tries, 48201793 fired transitions, 1405 secs || 47337483 markings, 83109685 edges, 47261 markings/sec, 1405 secs
lola: STP completed || 49 tries, 48367613 fired transitions, 1410 secs || 47585539 markings, 83506373 edges, 49611 markings/sec, 1410 secs
lola: STP completed || 49 tries, 48537292 fired transitions, 1415 secs || 47820706 markings, 83911145 edges, 47033 markings/sec, 1415 secs
lola: STP completed || 49 tries, 48704150 fired transitions, 1420 secs || 48072919 markings, 84289682 edges, 50443 markings/sec, 1420 secs
lola: STP completed || 49 tries, 48874152 fired transitions, 1425 secs || 48328540 markings, 84693518 edges, 51124 markings/sec, 1425 secs
lola: STP completed || 50 tries, 49049026 fired transitions, 1430 secs || 48577294 markings, 85164646 edges, 49751 markings/sec, 1430 secs
lola: STP completed || 50 tries, 49220125 fired transitions, 1435 secs || 48823394 markings, 85615548 edges, 49220 markings/sec, 1435 secs
lola: STP completed || 50 tries, 49392379 fired transitions, 1440 secs || 49075213 markings, 86062525 edges, 50364 markings/sec, 1440 secs
lola: STP completed || 50 tries, 49562791 fired transitions, 1445 secs || 49333438 markings, 86464008 edges, 51645 markings/sec, 1445 secs
lola: STP completed || 50 tries, 49736053 fired transitions, 1450 secs || 49578714 markings, 86903059 edges, 49055 markings/sec, 1450 secs
lola: STP completed || 50 tries, 49906602 fired transitions, 1455 secs || 49837479 markings, 87313349 edges, 51753 markings/sec, 1455 secs
lola: STP completed || 51 tries, 50078003 fired transitions, 1460 secs || 50095169 markings, 87759504 edges, 51538 markings/sec, 1460 secs
lola: STP completed || 51 tries, 50251878 fired transitions, 1465 secs || 50373175 markings, 88265353 edges, 55601 markings/sec, 1465 secs
lola: STP completed || 51 tries, 50426550 fired transitions, 1470 secs || 50645917 markings, 88791718 edges, 54548 markings/sec, 1470 secs
lola: STP completed || 51 tries, 50600624 fired transitions, 1475 secs || 50919501 markings, 89298076 edges, 54717 markings/sec, 1475 secs
lola: STP completed || 51 tries, 50775400 fired transitions, 1480 secs || 51201600 markings, 89803774 edges, 56420 markings/sec, 1480 secs
lola: STP completed || 51 tries, 50949700 fired transitions, 1485 secs || 51475281 markings, 90293538 edges, 54736 markings/sec, 1485 secs
lola: STP completed || 52 tries, 51122860 fired transitions, 1490 secs || 51757873 markings, 90791188 edges, 56518 markings/sec, 1490 secs
lola: STP completed || 52 tries, 51295047 fired transitions, 1495 secs || 52047391 markings, 91264221 edges, 57904 markings/sec, 1495 secs
lola: STP completed || 52 tries, 51468160 fired transitions, 1500 secs || 52324115 markings, 91758931 edges, 55345 markings/sec, 1500 secs
lola: STP completed || 52 tries, 51640187 fired transitions, 1505 secs || 52619752 markings, 92227512 edges, 59127 markings/sec, 1505 secs
lola: STP completed || 52 tries, 51812713 fired transitions, 1510 secs || 52833302 markings, 92604941 edges, 42710 markings/sec, 1510 secs
lola: STP completed || 52 tries, 51985690 fired transitions, 1515 secs || 53013029 markings, 92936115 edges, 35945 markings/sec, 1515 secs
lola: STP completed || 53 tries, 52159320 fired transitions, 1520 secs || 53200135 markings, 93292512 edges, 37421 markings/sec, 1520 secs
lola: STP completed || 53 tries, 52333429 fired transitions, 1525 secs || 53381230 markings, 93638453 edges, 36219 markings/sec, 1525 secs
lola: STP completed || 53 tries, 52507691 fired transitions, 1530 secs || 53563912 markings, 93985500 edges, 36536 markings/sec, 1530 secs
lola: STP completed || 53 tries, 52682054 fired transitions, 1535 secs || 53753789 markings, 94329978 edges, 37975 markings/sec, 1535 secs
lola: STP completed || 53 tries, 52854640 fired transitions, 1540 secs || 53940885 markings, 94679895 edges, 37419 markings/sec, 1540 secs
lola: STP completed || 54 tries, 53026971 fired transitions, 1545 secs || 54123456 markings, 95019151 edges, 36514 markings/sec, 1545 secs
lola: STP completed || 54 tries, 53199665 fired transitions, 1550 secs || 54329657 markings, 95356155 edges, 41240 markings/sec, 1550 secs
lola: STP completed || 54 tries, 53372182 fired transitions, 1555 secs || 54514178 markings, 95678393 edges, 36904 markings/sec, 1555 secs
lola: STP completed || 54 tries, 53545306 fired transitions, 1560 secs || 54701785 markings, 96015695 edges, 37521 markings/sec, 1560 secs
lola: STP completed || 54 tries, 53718318 fired transitions, 1565 secs || 54904724 markings, 96352167 edges, 40588 markings/sec, 1565 secs
lola: STP completed || 54 tries, 53891733 fired transitions, 1570 secs || 55114582 markings, 96685776 edges, 41972 markings/sec, 1570 secs
lola: STP completed || 55 tries, 54065144 fired transitions, 1575 secs || 55329707 markings, 97059575 edges, 43025 markings/sec, 1575 secs
lola: STP completed || 55 tries, 54240381 fired transitions, 1580 secs || 55581117 markings, 97508764 edges, 50282 markings/sec, 1580 secs
lola: STP completed || 55 tries, 54414466 fired transitions, 1585 secs || 55743709 markings, 97820409 edges, 32518 markings/sec, 1585 secs
lola: STP completed || 55 tries, 54589566 fired transitions, 1590 secs || 55908255 markings, 98132763 edges, 32909 markings/sec, 1590 secs
lola: STP completed || 55 tries, 54764455 fired transitions, 1595 secs || 56068338 markings, 98440924 edges, 32017 markings/sec, 1595 secs
lola: STP completed || 55 tries, 54938848 fired transitions, 1600 secs || 56228319 markings, 98741414 edges, 31996 markings/sec, 1600 secs
lola: STP completed || 56 tries, 55113736 fired transitions, 1605 secs || 56395735 markings, 99023853 edges, 33483 markings/sec, 1605 secs
lola: STP completed || 56 tries, 55289644 fired transitions, 1610 secs || 56564639 markings, 99303261 edges, 33781 markings/sec, 1610 secs
lola: STP completed || 56 tries, 55464180 fired transitions, 1615 secs || 56725715 markings, 99587051 edges, 32215 markings/sec, 1615 secs
lola: STP completed || 56 tries, 55639753 fired transitions, 1620 secs || 56889418 markings, 99902161 edges, 32741 markings/sec, 1620 secs
lola: STP completed || 56 tries, 55814240 fired transitions, 1625 secs || 57057790 markings, 100193512 edges, 33674 markings/sec, 1625 secs
lola: STP completed || 56 tries, 55988764 fired transitions, 1630 secs || 57220726 markings, 100489318 edges, 32587 markings/sec, 1630 secs
lola: STP completed || 57 tries, 56162450 fired transitions, 1635 secs || 57391055 markings, 100772044 edges, 34066 markings/sec, 1635 secs
lola: STP completed || 57 tries, 56335984 fired transitions, 1640 secs || 57556038 markings, 101069411 edges, 32997 markings/sec, 1640 secs
lola: STP completed || 57 tries, 56510805 fired transitions, 1645 secs || 57725239 markings, 101360712 edges, 33840 markings/sec, 1645 secs
lola: STP completed || 57 tries, 56685340 fired transitions, 1650 secs || 57894144 markings, 101651874 edges, 33781 markings/sec, 1650 secs
lola: STP completed || 57 tries, 56859350 fired transitions, 1655 secs || 58065931 markings, 101930805 edges, 34357 markings/sec, 1655 secs
lola: STP completed || 58 tries, 57030503 fired transitions, 1660 secs || 58222729 markings, 102204835 edges, 31360 markings/sec, 1660 secs
lola: STP completed || 58 tries, 57201769 fired transitions, 1665 secs || 58359916 markings, 102452029 edges, 27437 markings/sec, 1665 secs
lola: STP completed || 58 tries, 57371457 fired transitions, 1670 secs || 58493411 markings, 102699195 edges, 26699 markings/sec, 1670 secs
lola: STP completed || 58 tries, 57541757 fired transitions, 1675 secs || 58636109 markings, 102973283 edges, 28540 markings/sec, 1675 secs
lola: STP completed || 58 tries, 57711745 fired transitions, 1680 secs || 58772546 markings, 103234939 edges, 27287 markings/sec, 1680 secs
lola: STP completed || 58 tries, 57881530 fired transitions, 1685 secs || 58906094 markings, 103479509 edges, 26710 markings/sec, 1685 secs
lola: STP completed || 59 tries, 58050169 fired transitions, 1690 secs || 59042367 markings, 103744235 edges, 27255 markings/sec, 1690 secs
lola: STP completed || 59 tries, 58220589 fired transitions, 1695 secs || 59183734 markings, 104003483 edges, 28273 markings/sec, 1695 secs
lola: STP completed || 59 tries, 58389968 fired transitions, 1700 secs || 59323316 markings, 104260095 edges, 27916 markings/sec, 1700 secs
lola: STP completed || 59 tries, 58559362 fired transitions, 1705 secs || 59458467 markings, 104517057 edges, 27030 markings/sec, 1705 secs
lola: STP completed || 59 tries, 58727166 fired transitions, 1710 secs || 59593256 markings, 104762821 edges, 26958 markings/sec, 1710 secs
lola: STP completed || 59 tries, 58895401 fired transitions, 1715 secs || 59743689 markings, 105006395 edges, 30087 markings/sec, 1715 secs
lola: STP completed || 60 tries, 59062645 fired transitions, 1720 secs || 59884615 markings, 105245644 edges, 28185 markings/sec, 1720 secs
lola: STP completed || 60 tries, 59231405 fired transitions, 1725 secs || 60017293 markings, 105487810 edges, 26536 markings/sec, 1725 secs
lola: STP completed || 60 tries, 59399558 fired transitions, 1730 secs || 60157526 markings, 105733022 edges, 28047 markings/sec, 1730 secs
lola: STP completed || 60 tries, 59568025 fired transitions, 1735 secs || 60304577 markings, 105979602 edges, 29410 markings/sec, 1735 secs
lola: STP completed || 60 tries, 59735521 fired transitions, 1740 secs || 60455446 markings, 106220225 edges, 30174 markings/sec, 1740 secs
lola: STP completed || 60 tries, 59903932 fired transitions, 1745 secs || 60607307 markings, 106461841 edges, 30372 markings/sec, 1745 secs
lola: STP completed || 61 tries, 60072658 fired transitions, 1750 secs || 60724796 markings, 106657532 edges, 23498 markings/sec, 1750 secs
lola: STP completed || 61 tries, 60241442 fired transitions, 1755 secs || 60879905 markings, 106925887 edges, 31022 markings/sec, 1755 secs
lola: STP completed || 61 tries, 60411656 fired transitions, 1760 secs || 61040199 markings, 107194606 edges, 32059 markings/sec, 1760 secs
lola: STP completed || 61 tries, 60583994 fired transitions, 1765 secs || 61216197 markings, 107491205 edges, 35200 markings/sec, 1765 secs
lola: STP completed || 61 tries, 60758291 fired transitions, 1770 secs || 61390499 markings, 107780682 edges, 34860 markings/sec, 1770 secs
lola: STP completed || 61 tries, 60931425 fired transitions, 1775 secs || 61561563 markings, 108065699 edges, 34213 markings/sec, 1775 secs
lola: STP completed || 62 tries, 61106019 fired transitions, 1780 secs || 61812221 markings, 108525306 edges, 50132 markings/sec, 1780 secs
lola: STP completed || 62 tries, 61281736 fired transitions, 1785 secs || 62084921 markings, 109043666 edges, 54540 markings/sec, 1785 secs
lola: STP completed || 62 tries, 61455307 fired transitions, 1790 secs || 62364889 markings, 109534610 edges, 55994 markings/sec, 1790 secs
lola: STP completed || 62 tries, 61630224 fired transitions, 1795 secs || 62636994 markings, 110039658 edges, 54421 markings/sec, 1795 secs
lola: STP completed || 62 tries, 61805772 fired transitions, 1800 secs || 62912395 markings, 110561546 edges, 55080 markings/sec, 1800 secs
lola: STP completed || 62 tries, 61980827 fired transitions, 1805 secs || 63194469 markings, 111063325 edges, 56415 markings/sec, 1805 secs
lola: STP completed || 63 tries, 62154815 fired transitions, 1810 secs || 63485277 markings, 111540425 edges, 58162 markings/sec, 1810 secs
lola: STP completed || 63 tries, 62328512 fired transitions, 1815 secs || 63771326 markings, 112030703 edges, 57210 markings/sec, 1815 secs
lola: STP completed || 63 tries, 62502647 fired transitions, 1820 secs || 64016568 markings, 112451339 edges, 49048 markings/sec, 1820 secs
lola: STP completed || 63 tries, 62677496 fired transitions, 1825 secs || 64185305 markings, 112736662 edges, 33747 markings/sec, 1825 secs
lola: STP completed || 63 tries, 62847195 fired transitions, 1830 secs || 64306120 markings, 112947032 edges, 24163 markings/sec, 1830 secs
lola: STP completed || 64 tries, 63016982 fired transitions, 1835 secs || 64412684 markings, 113136945 edges, 21313 markings/sec, 1835 secs
lola: STP completed || 64 tries, 63186793 fired transitions, 1840 secs || 64525059 markings, 113348980 edges, 22475 markings/sec, 1840 secs
lola: STP completed || 64 tries, 63356409 fired transitions, 1845 secs || 64637044 markings, 113560632 edges, 22397 markings/sec, 1845 secs
lola: STP completed || 64 tries, 63525531 fired transitions, 1850 secs || 64744845 markings, 113756076 edges, 21560 markings/sec, 1850 secs
lola: STP completed || 64 tries, 63695365 fired transitions, 1855 secs || 64855033 markings, 113963297 edges, 22038 markings/sec, 1855 secs
lola: STP completed || 64 tries, 63864284 fired transitions, 1860 secs || 64968002 markings, 114168138 edges, 22594 markings/sec, 1860 secs
lola: STP completed || 65 tries, 64033000 fired transitions, 1865 secs || 65079278 markings, 114365605 edges, 22255 markings/sec, 1865 secs
lola: STP completed || 65 tries, 64202902 fired transitions, 1870 secs || 65188154 markings, 114569692 edges, 21775 markings/sec, 1870 secs
lola: STP completed || 65 tries, 64371958 fired transitions, 1875 secs || 65297821 markings, 114758742 edges, 21933 markings/sec, 1875 secs
lola: STP completed || 65 tries, 64541657 fired transitions, 1880 secs || 65418138 markings, 114931862 edges, 24063 markings/sec, 1880 secs
lola: STP completed || 65 tries, 64710862 fired transitions, 1885 secs || 65527343 markings, 115112031 edges, 21841 markings/sec, 1885 secs
lola: STP completed || 65 tries, 64879328 fired transitions, 1890 secs || 65633725 markings, 115308897 edges, 21276 markings/sec, 1890 secs
lola: STP completed || 66 tries, 65048332 fired transitions, 1895 secs || 65750978 markings, 115486789 edges, 23451 markings/sec, 1895 secs
lola: STP completed || 66 tries, 65220020 fired transitions, 1900 secs || 65891952 markings, 115742719 edges, 28195 markings/sec, 1900 secs
lola: STP completed || 66 tries, 65391136 fired transitions, 1905 secs || 66031530 markings, 115994099 edges, 27916 markings/sec, 1905 secs
lola: STP completed || 66 tries, 65564257 fired transitions, 1910 secs || 66174982 markings, 116265675 edges, 28690 markings/sec, 1910 secs
lola: STP completed || 66 tries, 65737301 fired transitions, 1915 secs || 66317614 markings, 116537817 edges, 28526 markings/sec, 1915 secs
lola: STP completed || 66 tries, 65909261 fired transitions, 1920 secs || 66455297 markings, 116795879 edges, 27537 markings/sec, 1920 secs
lola: STP completed || 67 tries, 66081597 fired transitions, 1925 secs || 66594096 markings, 117065927 edges, 27760 markings/sec, 1925 secs
lola: STP completed || 67 tries, 66252793 fired transitions, 1930 secs || 66737208 markings, 117322337 edges, 28622 markings/sec, 1930 secs
lola: STP completed || 67 tries, 66424819 fired transitions, 1935 secs || 66878626 markings, 117573618 edges, 28284 markings/sec, 1935 secs
lola: STP completed || 67 tries, 66595129 fired transitions, 1940 secs || 67019237 markings, 117824896 edges, 28122 markings/sec, 1940 secs
lola: STP completed || 67 tries, 66764893 fired transitions, 1945 secs || 67157323 markings, 118075521 edges, 27617 markings/sec, 1945 secs
lola: STP completed || 67 tries, 66933940 fired transitions, 1950 secs || 67312651 markings, 118322159 edges, 31066 markings/sec, 1950 secs
lola: STP completed || 68 tries, 67102841 fired transitions, 1955 secs || 67459630 markings, 118575670 edges, 29396 markings/sec, 1955 secs
lola: STP completed || 68 tries, 67272843 fired transitions, 1960 secs || 67605351 markings, 118831534 edges, 29144 markings/sec, 1960 secs
lola: STP completed || 68 tries, 67442581 fired transitions, 1965 secs || 67751522 markings, 119098092 edges, 29234 markings/sec, 1965 secs
lola: STP completed || 68 tries, 67611906 fired transitions, 1970 secs || 67895430 markings, 119360110 edges, 28782 markings/sec, 1970 secs
lola: STP completed || 68 tries, 67779602 fired transitions, 1975 secs || 68040251 markings, 119623720 edges, 28964 markings/sec, 1975 secs
lola: STP completed || 68 tries, 67949715 fired transitions, 1980 secs || 68186115 markings, 119880911 edges, 29173 markings/sec, 1980 secs
lola: STP completed || 69 tries, 68119364 fired transitions, 1985 secs || 68338753 markings, 120133590 edges, 30528 markings/sec, 1985 secs
lola: STP completed || 69 tries, 68288125 fired transitions, 1990 secs || 68487054 markings, 120386290 edges, 29660 markings/sec, 1990 secs
lola: STP completed || 69 tries, 68459967 fired transitions, 1995 secs || 68637541 markings, 120645812 edges, 30097 markings/sec, 1995 secs
lola: STP completed || 69 tries, 68631123 fired transitions, 2000 secs || 68778103 markings, 120897424 edges, 28112 markings/sec, 2000 secs
lola: STP completed || 69 tries, 68805917 fired transitions, 2005 secs || 68915213 markings, 121152142 edges, 27422 markings/sec, 2005 secs
lola: STP completed || 69 tries, 68978829 fired transitions, 2010 secs || 69056368 markings, 121410529 edges, 28231 markings/sec, 2010 secs
lola: STP completed || 70 tries, 69152962 fired transitions, 2015 secs || 69200277 markings, 121680935 edges, 28782 markings/sec, 2015 secs
lola: STP completed || 70 tries, 69326477 fired transitions, 2020 secs || 69346500 markings, 121960894 edges, 29245 markings/sec, 2020 secs
lola: STP completed || 70 tries, 69498437 fired transitions, 2025 secs || 69491647 markings, 122219022 edges, 29029 markings/sec, 2025 secs
lola: STP completed || 70 tries, 69671856 fired transitions, 2030 secs || 69635102 markings, 122492427 edges, 28691 markings/sec, 2030 secs
lola: STP completed || 70 tries, 69844573 fired transitions, 2035 secs || 69776210 markings, 122747373 edges, 28222 markings/sec, 2035 secs
lola: STP completed || 71 tries, 70015546 fired transitions, 2040 secs || 69917848 markings, 123018985 edges, 28328 markings/sec, 2040 secs
lola: STP completed || 71 tries, 70182484 fired transitions, 2045 secs || 70056210 markings, 123262389 edges, 27672 markings/sec, 2045 secs
lola: STP completed || 71 tries, 70349307 fired transitions, 2050 secs || 70191815 markings, 123508086 edges, 27121 markings/sec, 2050 secs
lola: STP completed || 71 tries, 70515164 fired transitions, 2055 secs || 70335926 markings, 123761332 edges, 28822 markings/sec, 2055 secs
lola: STP completed || 71 tries, 70683006 fired transitions, 2060 secs || 70484216 markings, 124022358 edges, 29658 markings/sec, 2060 secs
lola: STP completed || 71 tries, 70854282 fired transitions, 2065 secs || 70642766 markings, 124274199 edges, 31710 markings/sec, 2065 secs
lola: STP completed || 72 tries, 71026181 fired transitions, 2070 secs || 70795444 markings, 124528333 edges, 30536 markings/sec, 2070 secs
lola: STP completed || 72 tries, 71199300 fired transitions, 2075 secs || 70947936 markings, 124787460 edges, 30498 markings/sec, 2075 secs
lola: STP completed || 72 tries, 71370313 fired transitions, 2080 secs || 71100604 markings, 125047975 edges, 30534 markings/sec, 2080 secs
lola: STP completed || 72 tries, 71541381 fired transitions, 2085 secs || 71250299 markings, 125312052 edges, 29939 markings/sec, 2085 secs
lola: STP completed || 72 tries, 71713312 fired transitions, 2090 secs || 71397719 markings, 125586024 edges, 29484 markings/sec, 2090 secs
lola: STP completed || 72 tries, 71885949 fired transitions, 2095 secs || 71540854 markings, 125857090 edges, 28627 markings/sec, 2095 secs
lola: STP completed || 73 tries, 72059528 fired transitions, 2100 secs || 71683348 markings, 126121382 edges, 28499 markings/sec, 2100 secs
lola: STP completed || 73 tries, 72232655 fired transitions, 2105 secs || 71824371 markings, 126379186 edges, 28205 markings/sec, 2105 secs
lola: STP completed || 73 tries, 72405429 fired transitions, 2110 secs || 71964647 markings, 126638275 edges, 28055 markings/sec, 2110 secs
lola: STP completed || 73 tries, 72577820 fired transitions, 2115 secs || 72104832 markings, 126895983 edges, 28037 markings/sec, 2115 secs
lola: STP completed || 73 tries, 72750998 fired transitions, 2120 secs || 72249308 markings, 127171975 edges, 28895 markings/sec, 2120 secs
lola: STP completed || 73 tries, 72923562 fired transitions, 2125 secs || 72391908 markings, 127442532 edges, 28520 markings/sec, 2125 secs
lola: STP completed || 74 tries, 73094703 fired transitions, 2130 secs || 72545574 markings, 127711301 edges, 30733 markings/sec, 2130 secs
lola: STP completed || 74 tries, 73261704 fired transitions, 2135 secs || 72702945 markings, 127961376 edges, 31474 markings/sec, 2135 secs
lola: STP completed || 74 tries, 73429964 fired transitions, 2140 secs || 72853839 markings, 128215966 edges, 30179 markings/sec, 2140 secs
lola: STP completed || 74 tries, 73598965 fired transitions, 2145 secs || 72994587 markings, 128478304 edges, 28150 markings/sec, 2145 secs
lola: STP completed || 74 tries, 73768304 fired transitions, 2150 secs || 73137691 markings, 128736168 edges, 28621 markings/sec, 2150 secs
lola: STP completed || 74 tries, 73937107 fired transitions, 2155 secs || 73285822 markings, 129001844 edges, 29626 markings/sec, 2155 secs
lola: STP completed || 75 tries, 74104770 fired transitions, 2160 secs || 73441840 markings, 129251950 edges, 31204 markings/sec, 2160 secs
lola: STP completed || 75 tries, 74274965 fired transitions, 2165 secs || 73595298 markings, 129508062 edges, 30692 markings/sec, 2165 secs
lola: STP completed || 75 tries, 74443931 fired transitions, 2170 secs || 73740838 markings, 129773695 edges, 29108 markings/sec, 2170 secs
lola: STP completed || 75 tries, 74614184 fired transitions, 2175 secs || 73978883 markings, 130189017 edges, 47609 markings/sec, 2175 secs
lola: STP completed || 75 tries, 74782842 fired transitions, 2180 secs || 74122599 markings, 130437371 edges, 28743 markings/sec, 2180 secs
lola: STP completed || 75 tries, 74950070 fired transitions, 2185 secs || 74238309 markings, 130637569 edges, 23142 markings/sec, 2185 secs
lola: STP completed || 76 tries, 75117133 fired transitions, 2190 secs || 74353841 markings, 130842272 edges, 23106 markings/sec, 2190 secs
lola: STP completed || 76 tries, 75284984 fired transitions, 2195 secs || 74474008 markings, 131078349 edges, 24033 markings/sec, 2195 secs
lola: STP completed || 76 tries, 75451879 fired transitions, 2200 secs || 74589191 markings, 131283316 edges, 23037 markings/sec, 2200 secs
lola: STP completed || 76 tries, 75619653 fired transitions, 2205 secs || 74703748 markings, 131506505 edges, 22911 markings/sec, 2205 secs
lola: STP completed || 76 tries, 75786465 fired transitions, 2210 secs || 74820832 markings, 131707253 edges, 23417 markings/sec, 2210 secs
lola: STP completed || 76 tries, 75952795 fired transitions, 2215 secs || 74937226 markings, 131910921 edges, 23279 markings/sec, 2215 secs
lola: STP completed || 77 tries, 76124747 fired transitions, 2220 secs || 75056561 markings, 132107873 edges, 23867 markings/sec, 2220 secs
lola: STP completed || 77 tries, 76294906 fired transitions, 2225 secs || 75180256 markings, 132310437 edges, 24739 markings/sec, 2225 secs
lola: STP completed || 77 tries, 76465544 fired transitions, 2230 secs || 75310765 markings, 132505257 edges, 26102 markings/sec, 2230 secs
lola: STP completed || 77 tries, 76637173 fired transitions, 2235 secs || 75431887 markings, 132716029 edges, 24224 markings/sec, 2235 secs
lola: STP completed || 77 tries, 76808653 fired transitions, 2240 secs || 75558002 markings, 132930412 edges, 25223 markings/sec, 2240 secs
lola: STP completed || 77 tries, 76980355 fired transitions, 2245 secs || 75680903 markings, 133145272 edges, 24580 markings/sec, 2245 secs
lola: STP completed || 78 tries, 77153443 fired transitions, 2250 secs || 75806750 markings, 133367569 edges, 25169 markings/sec, 2250 secs
lola: STP completed || 78 tries, 77326759 fired transitions, 2255 secs || 76055921 markings, 133801335 edges, 49834 markings/sec, 2255 secs
lola: STP completed || 78 tries, 77500881 fired transitions, 2260 secs || 76307167 markings, 134272769 edges, 50249 markings/sec, 2260 secs
lola: STP completed || 78 tries, 77675145 fired transitions, 2265 secs || 76554493 markings, 134740950 edges, 49465 markings/sec, 2265 secs
lola: STP completed || 78 tries, 77847600 fired transitions, 2270 secs || 76808036 markings, 135184329 edges, 50709 markings/sec, 2270 secs
lola: STP completed || 79 tries, 78018487 fired transitions, 2275 secs || 77069875 markings, 135610917 edges, 52368 markings/sec, 2275 secs
lola: STP completed || 79 tries, 78190651 fired transitions, 2280 secs || 77320594 markings, 136038376 edges, 50144 markings/sec, 2280 secs
lola: STP completed || 79 tries, 78360902 fired transitions, 2285 secs || 77582667 markings, 136441203 edges, 52415 markings/sec, 2285 secs
lola: STP completed || 79 tries, 78529971 fired transitions, 2290 secs || 77811339 markings, 136790489 edges, 45734 markings/sec, 2290 secs
lola: STP completed || 79 tries, 78705111 fired transitions, 2295 secs || 78090023 markings, 137299040 edges, 55737 markings/sec, 2295 secs
lola: STP completed || 79 tries, 78881307 fired transitions, 2300 secs || 78369278 markings, 137836174 edges, 55851 markings/sec, 2300 secs
lola: STP completed || 80 tries, 79056604 fired transitions, 2305 secs || 78644360 markings, 138355939 edges, 55016 markings/sec, 2305 secs
lola: STP completed || 80 tries, 79233208 fired transitions, 2310 secs || 78925124 markings, 138871235 edges, 56153 markings/sec, 2310 secs
lola: STP completed || 80 tries, 79409451 fired transitions, 2315 secs || 79198784 markings, 139381915 edges, 54732 markings/sec, 2315 secs
lola: STP completed || 80 tries, 79584581 fired transitions, 2320 secs || 79492585 markings, 139867987 edges, 58760 markings/sec, 2320 secs
lola: STP completed || 80 tries, 79759571 fired transitions, 2325 secs || 79770995 markings, 140362661 edges, 55682 markings/sec, 2325 secs
lola: STP completed || 80 tries, 79933030 fired transitions, 2330 secs || 79976098 markings, 140722752 edges, 41021 markings/sec, 2330 secs
lola: STP completed || 81 tries, 80102733 fired transitions, 2335 secs || 80133454 markings, 141010054 edges, 31471 markings/sec, 2335 secs
lola: STP completed || 81 tries, 80273427 fired transitions, 2340 secs || 80295533 markings, 141322243 edges, 32416 markings/sec, 2340 secs
lola: STP completed || 81 tries, 80444911 fired transitions, 2345 secs || 80456069 markings, 141630452 edges, 32107 markings/sec, 2345 secs
lola: STP completed || 81 tries, 80615545 fired transitions, 2350 secs || 80614527 markings, 141921697 edges, 31692 markings/sec, 2350 secs
lola: STP completed || 81 tries, 80785893 fired transitions, 2355 secs || 80773397 markings, 142236671 edges, 31774 markings/sec, 2355 secs
lola: STP completed || 81 tries, 80956488 fired transitions, 2360 secs || 80935859 markings, 142519200 edges, 32492 markings/sec, 2360 secs
lola: STP completed || 82 tries, 81128056 fired transitions, 2365 secs || 81096697 markings, 142824302 edges, 32168 markings/sec, 2365 secs
lola: STP completed || 82 tries, 81298700 fired transitions, 2370 secs || 81255065 markings, 143115577 edges, 31674 markings/sec, 2370 secs
lola: STP completed || 82 tries, 81465638 fired transitions, 2375 secs || 81423168 markings, 143395103 edges, 33621 markings/sec, 2375 secs
lola: STP completed || 82 tries, 81629583 fired transitions, 2380 secs || 81581408 markings, 143664421 edges, 31648 markings/sec, 2380 secs
lola: STP completed || 82 tries, 81794934 fired transitions, 2385 secs || 81733216 markings, 143942961 edges, 30362 markings/sec, 2385 secs
lola: STP completed || 82 tries, 81960191 fired transitions, 2390 secs || 81895195 markings, 144215705 edges, 32396 markings/sec, 2390 secs
lola: STP completed || 83 tries, 82124713 fired transitions, 2395 secs || 82045037 markings, 144481927 edges, 29968 markings/sec, 2395 secs
lola: STP completed || 83 tries, 82288762 fired transitions, 2400 secs || 82185399 markings, 144718460 edges, 28072 markings/sec, 2400 secs
lola: STP completed || 83 tries, 82455566 fired transitions, 2405 secs || 82414673 markings, 145130466 edges, 45855 markings/sec, 2405 secs
lola: STP completed || 83 tries, 82623919 fired transitions, 2410 secs || 82669474 markings, 145614387 edges, 50960 markings/sec, 2410 secs
lola: STP completed || 83 tries, 82790891 fired transitions, 2415 secs || 82922019 markings, 146087471 edges, 50509 markings/sec, 2415 secs
lola: STP completed || 83 tries, 82958021 fired transitions, 2420 secs || 83176625 markings, 146572132 edges, 50921 markings/sec, 2420 secs
lola: STP completed || 84 tries, 83125608 fired transitions, 2425 secs || 83431396 markings, 147037037 edges, 50954 markings/sec, 2425 secs
lola: STP completed || 84 tries, 83295792 fired transitions, 2430 secs || 83691740 markings, 147510856 edges, 52069 markings/sec, 2430 secs
lola: STP completed || 84 tries, 83464654 fired transitions, 2435 secs || 83963229 markings, 147965027 edges, 54298 markings/sec, 2435 secs
lola: STP completed || 84 tries, 83634149 fired transitions, 2440 secs || 84225306 markings, 148428565 edges, 52415 markings/sec, 2440 secs
lola: STP completed || 84 tries, 83802264 fired transitions, 2445 secs || 84464448 markings, 148848764 edges, 47828 markings/sec, 2445 secs
lola: STP completed || 84 tries, 83972205 fired transitions, 2450 secs || 84695559 markings, 149276528 edges, 46222 markings/sec, 2450 secs
lola: STP completed || 85 tries, 84142310 fired transitions, 2455 secs || 84922668 markings, 149694881 edges, 45422 markings/sec, 2455 secs
lola: STP completed || 85 tries, 84307826 fired transitions, 2460 secs || 85158695 markings, 150082646 edges, 47205 markings/sec, 2460 secs
lola: STP completed || 85 tries, 84475806 fired transitions, 2465 secs || 85387986 markings, 150480437 edges, 45858 markings/sec, 2465 secs
lola: STP completed || 85 tries, 84642626 fired transitions, 2470 secs || 85622332 markings, 150876234 edges, 46869 markings/sec, 2470 secs
lola: STP completed || 85 tries, 84809844 fired transitions, 2475 secs || 85853671 markings, 151268908 edges, 46268 markings/sec, 2475 secs
lola: STP completed || 85 tries, 84975951 fired transitions, 2480 secs || 86088541 markings, 151655807 edges, 46974 markings/sec, 2480 secs
lola: STP completed || 86 tries, 85142306 fired transitions, 2485 secs || 86325364 markings, 152045222 edges, 47365 markings/sec, 2485 secs
lola: STP completed || 86 tries, 85312113 fired transitions, 2490 secs || 86569745 markings, 152494435 edges, 48876 markings/sec, 2490 secs
lola: STP completed || 86 tries, 85479358 fired transitions, 2495 secs || 86813888 markings, 152932168 edges, 48829 markings/sec, 2495 secs
lola: STP completed || 86 tries, 85647436 fired transitions, 2500 secs || 87056666 markings, 153346011 edges, 48556 markings/sec, 2500 secs
lola: STP completed || 86 tries, 85813026 fired transitions, 2505 secs || 87308116 markings, 153748736 edges, 50290 markings/sec, 2505 secs
lola: STP completed || 86 tries, 85980339 fired transitions, 2510 secs || 87553134 markings, 154180733 edges, 49004 markings/sec, 2510 secs
lola: STP completed || 87 tries, 86147835 fired transitions, 2515 secs || 87800594 markings, 154597324 edges, 49492 markings/sec, 2515 secs
lola: STP completed || 87 tries, 86313324 fired transitions, 2520 secs || 88052743 markings, 155017983 edges, 50430 markings/sec, 2520 secs
lola: STP completed || 87 tries, 86479269 fired transitions, 2525 secs || 88303389 markings, 155424087 edges, 50129 markings/sec, 2525 secs
lola: STP completed || 87 tries, 86648664 fired transitions, 2530 secs || 88562911 markings, 155871481 edges, 51904 markings/sec, 2530 secs
lola: STP completed || 87 tries, 86819506 fired transitions, 2535 secs || 88821006 markings, 156350143 edges, 51619 markings/sec, 2535 secs
lola: STP completed || 87 tries, 86990200 fired transitions, 2540 secs || 89077540 markings, 156838324 edges, 51307 markings/sec, 2540 secs
lola: STP completed || 88 tries, 87161553 fired transitions, 2545 secs || 89335519 markings, 157309025 edges, 51596 markings/sec, 2545 secs
lola: STP completed || 88 tries, 87329908 fired transitions, 2550 secs || 89601836 markings, 157776765 edges, 53263 markings/sec, 2550 secs
lola: STP completed || 88 tries, 87498185 fired transitions, 2555 secs || 89854867 markings, 158217614 edges, 50606 markings/sec, 2555 secs
lola: STP completed || 88 tries, 87665865 fired transitions, 2560 secs || 90089762 markings, 158650329 edges, 46979 markings/sec, 2560 secs
lola: STP completed || 88 tries, 87834485 fired transitions, 2565 secs || 90324550 markings, 159082299 edges, 46958 markings/sec, 2565 secs
lola: STP completed || 89 tries, 88001300 fired transitions, 2570 secs || 90560695 markings, 159507132 edges, 47229 markings/sec, 2570 secs
lola: STP completed || 89 tries, 88170011 fired transitions, 2575 secs || 90791026 markings, 159931873 edges, 46066 markings/sec, 2575 secs
lola: STP completed || 89 tries, 88334908 fired transitions, 2580 secs || 91033229 markings, 160311961 edges, 48441 markings/sec, 2580 secs
lola: STP completed || 89 tries, 88502212 fired transitions, 2585 secs || 91268951 markings, 160707686 edges, 47144 markings/sec, 2585 secs
lola: STP completed || 89 tries, 88670537 fired transitions, 2590 secs || 91458768 markings, 161044331 edges, 37963 markings/sec, 2590 secs
lola: STP completed || 89 tries, 88839273 fired transitions, 2595 secs || 91613092 markings, 161324939 edges, 30865 markings/sec, 2595 secs
lola: STP completed || 90 tries, 89008551 fired transitions, 2600 secs || 91773267 markings, 161629765 edges, 32035 markings/sec, 2600 secs
lola: STP completed || 90 tries, 89177419 fired transitions, 2605 secs || 91928980 markings, 161929234 edges, 31143 markings/sec, 2605 secs
lola: STP completed || 90 tries, 89345876 fired transitions, 2610 secs || 92084288 markings, 162226210 edges, 31062 markings/sec, 2610 secs
lola: STP completed || 90 tries, 89513999 fired transitions, 2615 secs || 92239595 markings, 162505918 edges, 31061 markings/sec, 2615 secs
lola: STP completed || 90 tries, 89682710 fired transitions, 2620 secs || 92397735 markings, 162785735 edges, 31628 markings/sec, 2620 secs
lola: STP completed || 90 tries, 89850860 fired transitions, 2625 secs || 92554044 markings, 163070044 edges, 31262 markings/sec, 2625 secs
lola: STP completed || 91 tries, 90019913 fired transitions, 2630 secs || 92711360 markings, 163344716 edges, 31463 markings/sec, 2630 secs
lola: STP completed || 91 tries, 90191093 fired transitions, 2635 secs || 92866772 markings, 163638388 edges, 31082 markings/sec, 2635 secs
lola: STP completed || 91 tries, 90360225 fired transitions, 2640 secs || 93026762 markings, 163927341 edges, 31998 markings/sec, 2640 secs
lola: STP completed || 91 tries, 90529683 fired transitions, 2645 secs || 93187647 markings, 164232097 edges, 32177 markings/sec, 2645 secs
lola: STP completed || 91 tries, 90699025 fired transitions, 2650 secs || 93353417 markings, 164526204 edges, 33154 markings/sec, 2650 secs
lola: STP completed || 91 tries, 90867107 fired transitions, 2655 secs || 93509373 markings, 164828192 edges, 31191 markings/sec, 2655 secs
lola: STP completed || 92 tries, 91035941 fired transitions, 2660 secs || 93665871 markings, 165127030 edges, 31300 markings/sec, 2660 secs
lola: STP completed || 92 tries, 91203192 fired transitions, 2665 secs || 93825051 markings, 165408513 edges, 31836 markings/sec, 2665 secs
lola: STP completed || 92 tries, 91371778 fired transitions, 2670 secs || 93989174 markings, 165691939 edges, 32825 markings/sec, 2670 secs
lola: STP completed || 92 tries, 91539906 fired transitions, 2675 secs || 94149329 markings, 165977445 edges, 32031 markings/sec, 2675 secs
lola: STP completed || 92 tries, 91708040 fired transitions, 2680 secs || 94307750 markings, 166278335 edges, 31684 markings/sec, 2680 secs
lola: STP completed || 92 tries, 91876377 fired transitions, 2685 secs || 94466896 markings, 166572585 edges, 31829 markings/sec, 2685 secs
lola: STP completed || 93 tries, 92044803 fired transitions, 2690 secs || 94622232 markings, 166855480 edges, 31067 markings/sec, 2690 secs
lola: STP completed || 93 tries, 92213684 fired transitions, 2695 secs || 94783093 markings, 167151957 edges, 32172 markings/sec, 2695 secs
lola: STP completed || 93 tries, 92382267 fired transitions, 2700 secs || 94940255 markings, 167437574 edges, 31432 markings/sec, 2700 secs
lola: STP completed || 93 tries, 92550248 fired transitions, 2705 secs || 95101542 markings, 167711691 edges, 32257 markings/sec, 2705 secs
lola: STP completed || 93 tries, 92717700 fired transitions, 2710 secs || 95269433 markings, 167981951 edges, 33578 markings/sec, 2710 secs
lola: STP completed || 93 tries, 92887400 fired transitions, 2715 secs || 95426516 markings, 168288225 edges, 31417 markings/sec, 2715 secs
lola: STP completed || 94 tries, 93055396 fired transitions, 2720 secs || 95595625 markings, 168573168 edges, 33822 markings/sec, 2720 secs
lola: STP completed || 94 tries, 93223942 fired transitions, 2725 secs || 95755523 markings, 168864484 edges, 31980 markings/sec, 2725 secs
lola: STP completed || 94 tries, 93392761 fired transitions, 2730 secs || 95915874 markings, 169163257 edges, 32070 markings/sec, 2730 secs
lola: STP completed || 94 tries, 93561078 fired transitions, 2735 secs || 96074377 markings, 169457745 edges, 31701 markings/sec, 2735 secs
lola: STP completed || 94 tries, 93728953 fired transitions, 2740 secs || 96230642 markings, 169741408 edges, 31253 markings/sec, 2740 secs
lola: STP completed || 94 tries, 93896386 fired transitions, 2745 secs || 96386101 markings, 170041685 edges, 31092 markings/sec, 2745 secs
lola: STP completed || 95 tries, 94065437 fired transitions, 2750 secs || 96547673 markings, 170349578 edges, 32314 markings/sec, 2750 secs
lola: STP completed || 95 tries, 94237173 fired transitions, 2755 secs || 96707778 markings, 170657703 edges, 32021 markings/sec, 2755 secs
lola: STP completed || 95 tries, 94407383 fired transitions, 2760 secs || 96863852 markings, 170944072 edges, 31215 markings/sec, 2760 secs
lola: STP completed || 95 tries, 94572313 fired transitions, 2765 secs || 97015845 markings, 171239287 edges, 30399 markings/sec, 2765 secs
lola: STP completed || 95 tries, 94735789 fired transitions, 2770 secs || 97177893 markings, 171502720 edges, 32410 markings/sec, 2770 secs
lola: STP completed || 95 tries, 94899132 fired transitions, 2775 secs || 97329996 markings, 171768126 edges, 30421 markings/sec, 2775 secs
lola: STP completed || 96 tries, 95062492 fired transitions, 2780 secs || 97486869 markings, 172038323 edges, 31375 markings/sec, 2780 secs
lola: STP completed || 96 tries, 95228337 fired transitions, 2785 secs || 97645696 markings, 172322676 edges, 31765 markings/sec, 2785 secs
lola: STP completed || 96 tries, 95394231 fired transitions, 2790 secs || 97799930 markings, 172611184 edges, 30847 markings/sec, 2790 secs
lola: STP completed || 96 tries, 95560562 fired transitions, 2795 secs || 97961045 markings, 172889893 edges, 32223 markings/sec, 2795 secs
lola: STP completed || 96 tries, 95728704 fired transitions, 2800 secs || 98131787 markings, 173165581 edges, 34148 markings/sec, 2800 secs
lola: STP completed || 96 tries, 95897232 fired transitions, 2805 secs || 98296622 markings, 173448289 edges, 32967 markings/sec, 2805 secs
lola: STP completed || 97 tries, 96067006 fired transitions, 2810 secs || 98468021 markings, 173720662 edges, 34280 markings/sec, 2810 secs
lola: STP completed || 97 tries, 96237726 fired transitions, 2815 secs || 98630702 markings, 174011737 edges, 32536 markings/sec, 2815 secs
lola: STP completed || 97 tries, 96408269 fired transitions, 2820 secs || 98771291 markings, 174264150 edges, 28118 markings/sec, 2820 secs
lola: STP completed || 97 tries, 96577382 fired transitions, 2825 secs || 98900725 markings, 174491476 edges, 25887 markings/sec, 2825 secs
lola: STP completed || 97 tries, 96747451 fired transitions, 2830 secs || 99036365 markings, 174740902 edges, 27128 markings/sec, 2830 secs
lola: STP completed || 97 tries, 96917719 fired transitions, 2835 secs || 99167890 markings, 174994354 edges, 26305 markings/sec, 2835 secs
lola: STP completed || 98 tries, 97088048 fired transitions, 2840 secs || 99296517 markings, 175219039 edges, 25725 markings/sec, 2840 secs
lola: STP completed || 98 tries, 97258159 fired transitions, 2845 secs || 99432017 markings, 175448361 edges, 27100 markings/sec, 2845 secs
lola: STP completed || 98 tries, 97427276 fired transitions, 2850 secs || 99565439 markings, 175654145 edges, 26684 markings/sec, 2850 secs
lola: STP completed || 98 tries, 97596925 fired transitions, 2855 secs || 99694740 markings, 175877998 edges, 25860 markings/sec, 2855 secs
lola: STP completed || 98 tries, 97767020 fired transitions, 2860 secs || 99830017 markings, 176117091 edges, 27055 markings/sec, 2860 secs
lola: STP completed || 98 tries, 97935875 fired transitions, 2865 secs || 99965058 markings, 176335638 edges, 27008 markings/sec, 2865 secs
lola: STP completed || 99 tries, 98104724 fired transitions, 2870 secs || 100097416 markings, 176556127 edges, 26472 markings/sec, 2870 secs
lola: STP completed || 99 tries, 98273568 fired transitions, 2875 secs || 100233941 markings, 176771738 edges, 27305 markings/sec, 2875 secs
lola: STP completed || 99 tries, 98442831 fired transitions, 2880 secs || 100371714 markings, 176983603 edges, 27555 markings/sec, 2880 secs
lola: STP completed || 99 tries, 98611558 fired transitions, 2885 secs || 100512143 markings, 177228058 edges, 28086 markings/sec, 2885 secs
lola: STP completed || 99 tries, 98781793 fired transitions, 2890 secs || 100649288 markings, 177475258 edges, 27429 markings/sec, 2890 secs
lola: STP completed || 99 tries, 98951954 fired transitions, 2895 secs || 100790288 markings, 177742791 edges, 28200 markings/sec, 2895 secs
lola: STP completed || 100 tries, 99123106 fired transitions, 2900 secs || 100930570 markings, 178008772 edges, 28056 markings/sec, 2900 secs
lola: STP completed || 100 tries, 99293052 fired transitions, 2905 secs || 101066395 markings, 178263832 edges, 27165 markings/sec, 2905 secs
lola: STP completed || 100 tries, 99464348 fired transitions, 2910 secs || 101202387 markings, 178530468 edges, 27198 markings/sec, 2910 secs
lola: STP completed || 100 tries, 99633800 fired transitions, 2915 secs || 101342532 markings, 178783271 edges, 28029 markings/sec, 2915 secs
lola: STP completed || 100 tries, 99803407 fired transitions, 2920 secs || 101483632 markings, 179029991 edges, 28220 markings/sec, 2920 secs
lola: STP completed || 100 tries, 99973816 fired transitions, 2925 secs || 101624011 markings, 179283591 edges, 28076 markings/sec, 2925 secs
lola: STP completed || 101 tries, 100143816 fired transitions, 2930 secs || 101762001 markings, 179533093 edges, 27598 markings/sec, 2930 secs
lola: STP completed || 101 tries, 100311269 fired transitions, 2935 secs || 101916556 markings, 179781288 edges, 30911 markings/sec, 2935 secs
lola: STP completed || 101 tries, 100480171 fired transitions, 2940 secs || 102066559 markings, 180032928 edges, 30001 markings/sec, 2940 secs
lola: STP completed || 101 tries, 100650536 fired transitions, 2945 secs || 102210198 markings, 180292064 edges, 28728 markings/sec, 2945 secs
lola: STP completed || 101 tries, 100821034 fired transitions, 2950 secs || 102359326 markings, 180556233 edges, 29826 markings/sec, 2950 secs
lola: STP completed || 101 tries, 100993246 fired transitions, 2955 secs || 102503068 markings, 180825182 edges, 28748 markings/sec, 2955 secs
lola: STP completed || 102 tries, 101162530 fired transitions, 2960 secs || 102649047 markings, 181078797 edges, 29196 markings/sec, 2960 secs
lola: STP completed || 102 tries, 101329991 fired transitions, 2965 secs || 102834049 markings, 181393381 edges, 37000 markings/sec, 2965 secs
lola: STP completed || 102 tries, 101456488 fired transitions, 2970 secs || 102961007 markings, 181621885 edges, 25392 markings/sec, 2970 secs
Killed
FORMULA Vasy2003-PT-none-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 1494951388750

--------------------
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="Vasy2003-PT-none"
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/Vasy2003-PT-none.tgz
mv Vasy2003-PT-none execution

# this is for BenchKit: explicit launching of the test

cd execution
echo "====================================================================="
echo " Generated by BenchKit 2-3253"
echo " Executing tool lola"
echo " Input is Vasy2003-PT-none, 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 r078-ebro-149441008700386"
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 ;