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 S_Raft-PT-09, examination is ReachabilityDeadlock
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r148-csrt-149443432700026
=====================================================================

--------------------
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 Raft-PT-09-ReachabilityDeadlock-0

=== Now, execution of the tool begins

BK_START 1496437905777


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


checking for too many tokens
===========================================================================================
S_Raft-PT-09: translating PT formula ReachabilityDeadlock into LoLA format
===========================================================================================
translating formula complete
touch formulae;
----- Start make result stdout -----
ReachabilityDeadlock @ S_Raft-PT-09 @ 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: 1123/65536 symbol table entries, 0 collisions
lola: preprocessing...
lola: finding significant places
lola: 413 places, 710 transitions, 332 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 700 transition conflict sets
lola: TASK
lola: reading formula from Raft-PT-09-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 44 bytes per marking, with 20 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 122 generators (11 in search tree, 111 by composition)
lola: representing 362880 symmetries
lola: 0 dead branches visited in search tree
lola: STP: formula with 13775 variables and 50332 clauses shipped to Minisat
lola: stp: The siphon/trap property does not hold
lola: STP completed || 1 tries, 99566 fired transitions, 0 secs || 100805 markings, 657126 edges, 20161 markings/sec, 0 secs
lola: STP completed || 1 tries, 197030 fired transitions, 5 secs || 200785 markings, 1308441 edges, 19996 markings/sec, 5 secs
lola: STP completed || 1 tries, 294197 fired transitions, 10 secs || 293083 markings, 1908323 edges, 18460 markings/sec, 10 secs
lola: STP completed || 1 tries, 399324 fired transitions, 15 secs || 393259 markings, 2560647 edges, 20035 markings/sec, 15 secs
lola: STP completed || 1 tries, 501388 fired transitions, 20 secs || 494748 markings, 3224893 edges, 20298 markings/sec, 20 secs
lola: STP completed || 1 tries, 601761 fired transitions, 25 secs || 594346 markings, 3886000 edges, 19920 markings/sec, 25 secs
lola: STP completed || 1 tries, 700175 fired transitions, 30 secs || 696270 markings, 4546351 edges, 20385 markings/sec, 30 secs
lola: STP completed || 1 tries, 794927 fired transitions, 35 secs || 795441 markings, 5201994 edges, 19834 markings/sec, 35 secs
lola: STP completed || 1 tries, 889495 fired transitions, 40 secs || 888668 markings, 6083398 edges, 18645 markings/sec, 40 secs
lola: STP completed || 1 tries, 983386 fired transitions, 45 secs || 981642 markings, 6969525 edges, 18595 markings/sec, 45 secs
lola: STP completed || 2 tries, 1074372 fired transitions, 50 secs || 1074811 markings, 7858476 edges, 18634 markings/sec, 50 secs
lola: STP completed || 2 tries, 1165140 fired transitions, 55 secs || 1168277 markings, 8746044 edges, 18693 markings/sec, 55 secs
lola: STP completed || 2 tries, 1255405 fired transitions, 60 secs || 1262004 markings, 9640058 edges, 18745 markings/sec, 60 secs
lola: STP completed || 2 tries, 1346361 fired transitions, 65 secs || 1355291 markings, 10523989 edges, 18657 markings/sec, 65 secs
lola: STP completed || 2 tries, 1444872 fired transitions, 70 secs || 1450886 markings, 11436072 edges, 19119 markings/sec, 70 secs
lola: STP completed || 2 tries, 1545106 fired transitions, 75 secs || 1545973 markings, 12344750 edges, 19017 markings/sec, 75 secs
lola: STP completed || 2 tries, 1646229 fired transitions, 80 secs || 1641376 markings, 13256371 edges, 19081 markings/sec, 80 secs
lola: STP completed || 2 tries, 1745276 fired transitions, 85 secs || 1736418 markings, 14166345 edges, 19008 markings/sec, 85 secs
lola: STP completed || 2 tries, 1845679 fired transitions, 90 secs || 1832373 markings, 15083487 edges, 19191 markings/sec, 90 secs
lola: STP completed || 2 tries, 1942369 fired transitions, 95 secs || 1927751 markings, 15994204 edges, 19076 markings/sec, 95 secs
lola: STP completed || 3 tries, 2042419 fired transitions, 100 secs || 2022760 markings, 16906126 edges, 19002 markings/sec, 100 secs
lola: STP completed || 3 tries, 2142660 fired transitions, 105 secs || 2117701 markings, 17818712 edges, 18988 markings/sec, 105 secs
lola: STP completed || 3 tries, 2241550 fired transitions, 110 secs || 2213343 markings, 18725653 edges, 19128 markings/sec, 110 secs
lola: STP completed || 3 tries, 2338220 fired transitions, 115 secs || 2307709 markings, 19628138 edges, 18873 markings/sec, 115 secs
lola: STP completed || 3 tries, 2438479 fired transitions, 120 secs || 2402255 markings, 20543931 edges, 18909 markings/sec, 120 secs
lola: STP completed || 3 tries, 2538661 fired transitions, 125 secs || 2497605 markings, 21461307 edges, 19070 markings/sec, 125 secs
lola: STP completed || 3 tries, 2633215 fired transitions, 130 secs || 2590541 markings, 22358132 edges, 18587 markings/sec, 130 secs
lola: STP completed || 3 tries, 2724426 fired transitions, 135 secs || 2683981 markings, 23246396 edges, 18688 markings/sec, 135 secs
lola: STP completed || 3 tries, 2815313 fired transitions, 140 secs || 2776738 markings, 24134314 edges, 18551 markings/sec, 140 secs
lola: STP completed || 3 tries, 2906064 fired transitions, 145 secs || 2869530 markings, 25030806 edges, 18558 markings/sec, 145 secs
lola: STP completed || 3 tries, 2996713 fired transitions, 150 secs || 2961750 markings, 25911495 edges, 18444 markings/sec, 150 secs
lola: STP completed || 4 tries, 3087232 fired transitions, 155 secs || 3054122 markings, 26796646 edges, 18474 markings/sec, 155 secs
lola: STP completed || 4 tries, 3178325 fired transitions, 160 secs || 3145430 markings, 27676289 edges, 18262 markings/sec, 160 secs
lola: STP completed || 4 tries, 3269897 fired transitions, 165 secs || 3236873 markings, 28549129 edges, 18289 markings/sec, 165 secs
lola: STP completed || 4 tries, 3360439 fired transitions, 170 secs || 3329386 markings, 29427738 edges, 18503 markings/sec, 170 secs
lola: STP completed || 4 tries, 3451182 fired transitions, 175 secs || 3421587 markings, 30309239 edges, 18440 markings/sec, 175 secs
lola: STP completed || 4 tries, 3542166 fired transitions, 180 secs || 3513795 markings, 31189406 edges, 18442 markings/sec, 180 secs
lola: STP completed || 4 tries, 3632408 fired transitions, 185 secs || 3605314 markings, 32071817 edges, 18304 markings/sec, 185 secs
lola: STP completed || 4 tries, 3722829 fired transitions, 190 secs || 3696998 markings, 32949662 edges, 18337 markings/sec, 190 secs
lola: STP completed || 4 tries, 3813387 fired transitions, 195 secs || 3788790 markings, 33822117 edges, 18358 markings/sec, 195 secs
lola: STP completed || 4 tries, 3904187 fired transitions, 200 secs || 3880997 markings, 34700921 edges, 18441 markings/sec, 200 secs
lola: STP completed || 4 tries, 3994680 fired transitions, 205 secs || 3972115 markings, 35575774 edges, 18224 markings/sec, 205 secs
lola: STP completed || 5 tries, 4085109 fired transitions, 210 secs || 4063872 markings, 36459992 edges, 18351 markings/sec, 210 secs
lola: STP completed || 5 tries, 4175815 fired transitions, 215 secs || 4155789 markings, 37339837 edges, 18383 markings/sec, 215 secs
lola: STP completed || 5 tries, 4266199 fired transitions, 220 secs || 4248443 markings, 38227284 edges, 18531 markings/sec, 220 secs
lola: STP completed || 5 tries, 4356841 fired transitions, 225 secs || 4340642 markings, 39115103 edges, 18440 markings/sec, 225 secs
lola: STP completed || 5 tries, 4447164 fired transitions, 230 secs || 4432675 markings, 40000547 edges, 18407 markings/sec, 230 secs
lola: STP completed || 5 tries, 4544473 fired transitions, 235 secs || 4526580 markings, 40892527 edges, 18781 markings/sec, 235 secs
lola: STP completed || 5 tries, 4644525 fired transitions, 240 secs || 4621841 markings, 41804894 edges, 19052 markings/sec, 240 secs
lola: STP completed || 5 tries, 4744360 fired transitions, 245 secs || 4716061 markings, 42717194 edges, 18844 markings/sec, 245 secs
lola: STP completed || 5 tries, 4842201 fired transitions, 250 secs || 4810803 markings, 43619337 edges, 18948 markings/sec, 250 secs
lola: STP completed || 5 tries, 4940938 fired transitions, 255 secs || 4904132 markings, 44528109 edges, 18666 markings/sec, 255 secs
lola: STP completed || 6 tries, 5040358 fired transitions, 260 secs || 4999946 markings, 45438952 edges, 19163 markings/sec, 260 secs
lola: STP completed || 6 tries, 5139372 fired transitions, 265 secs || 5096884 markings, 46357552 edges, 19388 markings/sec, 265 secs
lola: STP completed || 6 tries, 5241028 fired transitions, 270 secs || 5195370 markings, 47301426 edges, 19697 markings/sec, 270 secs
lola: STP completed || 6 tries, 5344216 fired transitions, 275 secs || 5293653 markings, 48238459 edges, 19657 markings/sec, 275 secs
lola: STP completed || 6 tries, 5445278 fired transitions, 280 secs || 5389986 markings, 49150822 edges, 19267 markings/sec, 280 secs
lola: STP completed || 6 tries, 5546570 fired transitions, 285 secs || 5485104 markings, 50064124 edges, 19024 markings/sec, 285 secs
lola: STP completed || 6 tries, 5650736 fired transitions, 290 secs || 5583596 markings, 51005571 edges, 19698 markings/sec, 290 secs
lola: STP completed || 6 tries, 5753376 fired transitions, 295 secs || 5681558 markings, 51936347 edges, 19592 markings/sec, 295 secs
lola: STP completed || 6 tries, 5854212 fired transitions, 300 secs || 5776343 markings, 52850531 edges, 18957 markings/sec, 300 secs
lola: STP completed || 6 tries, 5957508 fired transitions, 305 secs || 5874606 markings, 53783112 edges, 19653 markings/sec, 305 secs
lola: STP completed || 7 tries, 6061077 fired transitions, 310 secs || 5972102 markings, 54730135 edges, 19499 markings/sec, 310 secs
lola: STP completed || 7 tries, 6164724 fired transitions, 315 secs || 6069165 markings, 55664356 edges, 19413 markings/sec, 315 secs
lola: STP completed || 7 tries, 6265659 fired transitions, 320 secs || 6165275 markings, 56572030 edges, 19222 markings/sec, 320 secs
lola: STP completed || 7 tries, 6369869 fired transitions, 325 secs || 6263072 markings, 57506542 edges, 19559 markings/sec, 325 secs
lola: STP completed || 7 tries, 6473507 fired transitions, 330 secs || 6360946 markings, 58436706 edges, 19575 markings/sec, 330 secs
lola: STP completed || 7 tries, 6577234 fired transitions, 335 secs || 6458136 markings, 59341455 edges, 19438 markings/sec, 335 secs
lola: STP completed || 7 tries, 6679571 fired transitions, 340 secs || 6553850 markings, 60255182 edges, 19143 markings/sec, 340 secs
lola: STP completed || 7 tries, 6778483 fired transitions, 345 secs || 6647557 markings, 61150096 edges, 18741 markings/sec, 345 secs
lola: STP completed || 7 tries, 6877447 fired transitions, 350 secs || 6741941 markings, 62044010 edges, 18877 markings/sec, 350 secs
lola: STP completed || 7 tries, 6975392 fired transitions, 355 secs || 6835781 markings, 62943842 edges, 18768 markings/sec, 355 secs
lola: STP completed || 8 tries, 7079341 fired transitions, 360 secs || 6932494 markings, 63873546 edges, 19343 markings/sec, 360 secs
lola: STP completed || 8 tries, 7181761 fired transitions, 365 secs || 7026497 markings, 64776824 edges, 18801 markings/sec, 365 secs
lola: STP completed || 8 tries, 7281545 fired transitions, 370 secs || 7122156 markings, 65683597 edges, 19132 markings/sec, 370 secs
lola: STP completed || 8 tries, 7382482 fired transitions, 375 secs || 7217867 markings, 66593608 edges, 19142 markings/sec, 375 secs
lola: STP completed || 8 tries, 7486679 fired transitions, 380 secs || 7313806 markings, 67516216 edges, 19188 markings/sec, 380 secs
lola: STP completed || 8 tries, 7588623 fired transitions, 385 secs || 7410181 markings, 68443117 edges, 19275 markings/sec, 385 secs
lola: STP completed || 8 tries, 7688748 fired transitions, 390 secs || 7504025 markings, 69340189 edges, 18769 markings/sec, 390 secs
lola: STP completed || 8 tries, 7790085 fired transitions, 395 secs || 7598833 markings, 70252114 edges, 18962 markings/sec, 395 secs
lola: STP completed || 8 tries, 7895025 fired transitions, 400 secs || 7697589 markings, 71190684 edges, 19751 markings/sec, 400 secs
lola: STP completed || 8 tries, 7995294 fired transitions, 405 secs || 7793278 markings, 72104957 edges, 19138 markings/sec, 405 secs
lola: STP completed || 9 tries, 8095192 fired transitions, 410 secs || 7887290 markings, 73012343 edges, 18802 markings/sec, 410 secs
lola: STP completed || 9 tries, 8196636 fired transitions, 415 secs || 7981059 markings, 73920218 edges, 18754 markings/sec, 415 secs
lola: STP completed || 9 tries, 8298068 fired transitions, 420 secs || 8075187 markings, 74833949 edges, 18826 markings/sec, 420 secs
lola: STP completed || 9 tries, 8398963 fired transitions, 425 secs || 8168637 markings, 75721110 edges, 18690 markings/sec, 425 secs
lola: STP completed || 9 tries, 8503877 fired transitions, 430 secs || 8266891 markings, 76653559 edges, 19651 markings/sec, 430 secs
lola: STP completed || 9 tries, 8600616 fired transitions, 435 secs || 8360319 markings, 77554614 edges, 18686 markings/sec, 435 secs
lola: STP completed || 9 tries, 8691721 fired transitions, 440 secs || 8451624 markings, 78432609 edges, 18261 markings/sec, 440 secs
lola: STP completed || 9 tries, 8784835 fired transitions, 445 secs || 8542847 markings, 79312795 edges, 18245 markings/sec, 445 secs
lola: STP completed || 9 tries, 8892030 fired transitions, 450 secs || 8644495 markings, 80273660 edges, 20330 markings/sec, 450 secs
lola: STP completed || 9 tries, 8992872 fired transitions, 455 secs || 8739339 markings, 81187164 edges, 18969 markings/sec, 455 secs
lola: STP completed || 10 tries, 9095488 fired transitions, 460 secs || 8835322 markings, 82102322 edges, 19197 markings/sec, 460 secs
lola: STP completed || 10 tries, 9203134 fired transitions, 465 secs || 8935129 markings, 83057301 edges, 19961 markings/sec, 465 secs
lola: STP completed || 10 tries, 9311451 fired transitions, 470 secs || 9035849 markings, 84021281 edges, 20144 markings/sec, 470 secs
lola: STP completed || 10 tries, 9415551 fired transitions, 475 secs || 9133133 markings, 84950787 edges, 19457 markings/sec, 475 secs
lola: STP completed || 10 tries, 9518144 fired transitions, 480 secs || 9229181 markings, 85871548 edges, 19210 markings/sec, 480 secs
lola: STP completed || 10 tries, 9623990 fired transitions, 485 secs || 9327454 markings, 86808240 edges, 19655 markings/sec, 485 secs
lola: STP completed || 10 tries, 9731616 fired transitions, 490 secs || 9426230 markings, 87756324 edges, 19755 markings/sec, 490 secs
lola: STP completed || 10 tries, 9836798 fired transitions, 495 secs || 9522359 markings, 88679453 edges, 19226 markings/sec, 495 secs
lola: STP completed || 10 tries, 9941524 fired transitions, 500 secs || 9619101 markings, 89605738 edges, 19348 markings/sec, 500 secs
lola: STP completed || 11 tries, 10045443 fired transitions, 505 secs || 9715057 markings, 90531173 edges, 19191 markings/sec, 505 secs
lola: STP completed || 11 tries, 10148028 fired transitions, 510 secs || 9810258 markings, 91438022 edges, 19040 markings/sec, 510 secs
lola: STP completed || 11 tries, 10253603 fired transitions, 515 secs || 9907244 markings, 92372564 edges, 19397 markings/sec, 515 secs
lola: STP completed || 11 tries, 10360334 fired transitions, 520 secs || 10005031 markings, 93312916 edges, 19557 markings/sec, 520 secs
lola: STP completed || 11 tries, 10468780 fired transitions, 525 secs || 10103292 markings, 94260324 edges, 19652 markings/sec, 525 secs
lola: STP completed || 11 tries, 10575643 fired transitions, 530 secs || 10202060 markings, 95201833 edges, 19754 markings/sec, 530 secs
lola: STP completed || 11 tries, 10680102 fired transitions, 535 secs || 10298385 markings, 96129091 edges, 19265 markings/sec, 535 secs
lola: STP completed || 11 tries, 10784792 fired transitions, 540 secs || 10395369 markings, 97060398 edges, 19397 markings/sec, 540 secs
lola: STP completed || 11 tries, 10891718 fired transitions, 545 secs || 10493139 markings, 97993959 edges, 19554 markings/sec, 545 secs
lola: STP completed || 11 tries, 10995831 fired transitions, 550 secs || 10590053 markings, 98926619 edges, 19383 markings/sec, 550 secs
lola: STP completed || 12 tries, 11101394 fired transitions, 555 secs || 10687913 markings, 99867380 edges, 19572 markings/sec, 555 secs
lola: STP completed || 12 tries, 11206342 fired transitions, 560 secs || 10784565 markings, 100796064 edges, 19330 markings/sec, 560 secs
lola: STP completed || 12 tries, 11308388 fired transitions, 565 secs || 10880432 markings, 101705728 edges, 19173 markings/sec, 565 secs
lola: STP completed || 12 tries, 11413185 fired transitions, 570 secs || 10977080 markings, 102633094 edges, 19330 markings/sec, 570 secs
lola: STP completed || 12 tries, 11513992 fired transitions, 575 secs || 11070627 markings, 103537177 edges, 18709 markings/sec, 575 secs
lola: STP completed || 12 tries, 11620078 fired transitions, 580 secs || 11169740 markings, 104480223 edges, 19823 markings/sec, 580 secs
lola: STP completed || 12 tries, 11727015 fired transitions, 585 secs || 11268724 markings, 105419766 edges, 19797 markings/sec, 585 secs
lola: STP completed || 12 tries, 11833618 fired transitions, 590 secs || 11368391 markings, 106366965 edges, 19933 markings/sec, 590 secs
lola: STP completed || 12 tries, 11941070 fired transitions, 595 secs || 11468057 markings, 107311847 edges, 19933 markings/sec, 595 secs
lola: STP completed || 13 tries, 12049148 fired transitions, 600 secs || 11565789 markings, 108242511 edges, 19546 markings/sec, 600 secs
lola: STP completed || 13 tries, 12154005 fired transitions, 605 secs || 11657273 markings, 109117254 edges, 18297 markings/sec, 605 secs
lola: STP completed || 13 tries, 12257753 fired transitions, 610 secs || 11748251 markings, 109983466 edges, 18196 markings/sec, 610 secs
lola: STP completed || 13 tries, 12361189 fired transitions, 615 secs || 11845467 markings, 110903559 edges, 19443 markings/sec, 615 secs
lola: STP completed || 13 tries, 12460325 fired transitions, 620 secs || 11939485 markings, 111804382 edges, 18804 markings/sec, 620 secs
lola: STP completed || 13 tries, 12555712 fired transitions, 625 secs || 12032488 markings, 112697605 edges, 18601 markings/sec, 625 secs
lola: STP completed || 13 tries, 12654634 fired transitions, 630 secs || 12127885 markings, 113602234 edges, 19079 markings/sec, 630 secs
lola: STP completed || 13 tries, 12759003 fired transitions, 635 secs || 12224524 markings, 114527182 edges, 19328 markings/sec, 635 secs
lola: STP completed || 13 tries, 12865419 fired transitions, 640 secs || 12324702 markings, 115478658 edges, 20036 markings/sec, 640 secs
lola: STP completed || 13 tries, 12973678 fired transitions, 645 secs || 12426585 markings, 116445071 edges, 20377 markings/sec, 645 secs
lola: STP completed || 14 tries, 13081868 fired transitions, 650 secs || 12527224 markings, 117408592 edges, 20128 markings/sec, 650 secs
lola: STP completed || 14 tries, 13188548 fired transitions, 655 secs || 12625943 markings, 118353508 edges, 19744 markings/sec, 655 secs
lola: STP completed || 14 tries, 13291796 fired transitions, 660 secs || 12723178 markings, 119275784 edges, 19447 markings/sec, 660 secs
lola: STP completed || 14 tries, 13396283 fired transitions, 665 secs || 12819697 markings, 120198619 edges, 19304 markings/sec, 665 secs
lola: STP completed || 14 tries, 13500127 fired transitions, 670 secs || 12916301 markings, 121129718 edges, 19321 markings/sec, 670 secs
lola: STP completed || 14 tries, 13604562 fired transitions, 675 secs || 13012810 markings, 122059846 edges, 19302 markings/sec, 675 secs
lola: STP completed || 14 tries, 13708942 fired transitions, 680 secs || 13108672 markings, 122985584 edges, 19172 markings/sec, 680 secs
lola: STP completed || 14 tries, 13804997 fired transitions, 685 secs || 13202725 markings, 123892907 edges, 18811 markings/sec, 685 secs
lola: STP completed || 14 tries, 13900875 fired transitions, 690 secs || 13296596 markings, 124789185 edges, 18774 markings/sec, 690 secs
lola: STP completed || 14 tries, 13994033 fired transitions, 695 secs || 13388577 markings, 125672767 edges, 18396 markings/sec, 695 secs
lola: STP completed || 15 tries, 14094576 fired transitions, 700 secs || 13483079 markings, 126579620 edges, 18900 markings/sec, 700 secs
lola: STP completed || 15 tries, 14202556 fired transitions, 705 secs || 13583230 markings, 127528731 edges, 20030 markings/sec, 705 secs
lola: STP completed || 15 tries, 14306310 fired transitions, 710 secs || 13680034 markings, 128455465 edges, 19361 markings/sec, 710 secs
lola: STP completed || 15 tries, 14416030 fired transitions, 715 secs || 13781158 markings, 129422446 edges, 20225 markings/sec, 715 secs
lola: STP completed || 15 tries, 14518002 fired transitions, 720 secs || 13877542 markings, 130345858 edges, 19277 markings/sec, 720 secs
lola: STP completed || 15 tries, 14621912 fired transitions, 725 secs || 13974282 markings, 131272531 edges, 19348 markings/sec, 725 secs
lola: STP completed || 15 tries, 14724013 fired transitions, 730 secs || 14070162 markings, 132192170 edges, 19176 markings/sec, 730 secs
lola: STP completed || 15 tries, 14823048 fired transitions, 735 secs || 14163576 markings, 133089896 edges, 18683 markings/sec, 735 secs
lola: STP completed || 15 tries, 14927204 fired transitions, 740 secs || 14261341 markings, 134018558 edges, 19553 markings/sec, 740 secs
lola: STP completed || 16 tries, 15031241 fired transitions, 745 secs || 14359251 markings, 134946967 edges, 19582 markings/sec, 745 secs
lola: STP completed || 16 tries, 15135173 fired transitions, 750 secs || 14455785 markings, 135873511 edges, 19307 markings/sec, 750 secs
lola: STP completed || 16 tries, 15236715 fired transitions, 755 secs || 14548823 markings, 136760842 edges, 18608 markings/sec, 755 secs
lola: STP completed || 16 tries, 15339516 fired transitions, 760 secs || 14646855 markings, 137682855 edges, 19606 markings/sec, 760 secs
lola: STP completed || 16 tries, 15430558 fired transitions, 765 secs || 14739092 markings, 138556798 edges, 18447 markings/sec, 765 secs
lola: STP completed || 16 tries, 15521918 fired transitions, 770 secs || 14830501 markings, 139427533 edges, 18282 markings/sec, 770 secs
lola: STP completed || 16 tries, 15612420 fired transitions, 775 secs || 14922413 markings, 140301294 edges, 18382 markings/sec, 775 secs
lola: STP completed || 16 tries, 15714105 fired transitions, 780 secs || 15018157 markings, 141214976 edges, 19149 markings/sec, 780 secs
lola: STP completed || 16 tries, 15819098 fired transitions, 785 secs || 15115002 markings, 142143183 edges, 19369 markings/sec, 785 secs
lola: STP completed || 16 tries, 15924166 fired transitions, 790 secs || 15211977 markings, 143070877 edges, 19395 markings/sec, 790 secs
lola: STP completed || 17 tries, 16025429 fired transitions, 795 secs || 15305862 markings, 143968695 edges, 18777 markings/sec, 795 secs
lola: STP completed || 17 tries, 16124746 fired transitions, 800 secs || 15400732 markings, 144866695 edges, 18974 markings/sec, 800 secs
lola: STP completed || 17 tries, 16227779 fired transitions, 805 secs || 15496857 markings, 145789532 edges, 19225 markings/sec, 805 secs
lola: STP completed || 17 tries, 16331638 fired transitions, 810 secs || 15592559 markings, 146714879 edges, 19140 markings/sec, 810 secs
lola: STP completed || 17 tries, 16435909 fired transitions, 815 secs || 15689005 markings, 147643903 edges, 19289 markings/sec, 815 secs
lola: STP completed || 17 tries, 16539950 fired transitions, 820 secs || 15784830 markings, 148569841 edges, 19165 markings/sec, 820 secs
lola: STP completed || 17 tries, 16642550 fired transitions, 825 secs || 15882209 markings, 149498262 edges, 19476 markings/sec, 825 secs
lola: STP completed || 17 tries, 16746283 fired transitions, 830 secs || 15979712 markings, 150426448 edges, 19501 markings/sec, 830 secs
lola: STP completed || 17 tries, 16843786 fired transitions, 835 secs || 16073685 markings, 151333751 edges, 18795 markings/sec, 835 secs
lola: STP completed || 17 tries, 16934825 fired transitions, 840 secs || 16164016 markings, 152206038 edges, 18066 markings/sec, 840 secs
lola: STP completed || 18 tries, 17026174 fired transitions, 845 secs || 16254659 markings, 153078108 edges, 18129 markings/sec, 845 secs
lola: STP completed || 18 tries, 17118690 fired transitions, 850 secs || 16346894 markings, 153961511 edges, 18447 markings/sec, 850 secs
lola: STP completed || 18 tries, 17209146 fired transitions, 855 secs || 16438015 markings, 154836531 edges, 18224 markings/sec, 855 secs
lola: STP completed || 18 tries, 17299255 fired transitions, 860 secs || 16529433 markings, 155711328 edges, 18284 markings/sec, 860 secs
lola: STP completed || 18 tries, 17402708 fired transitions, 865 secs || 16626836 markings, 156639576 edges, 19481 markings/sec, 865 secs
lola: STP completed || 18 tries, 17506660 fired transitions, 870 secs || 16723506 markings, 157563932 edges, 19334 markings/sec, 870 secs
lola: STP completed || 18 tries, 17599589 fired transitions, 875 secs || 16816445 markings, 158442432 edges, 18588 markings/sec, 875 secs
lola: STP completed || 18 tries, 17689860 fired transitions, 880 secs || 16907091 markings, 159310432 edges, 18129 markings/sec, 880 secs
lola: STP completed || 18 tries, 17780989 fired transitions, 885 secs || 16999310 markings, 160189841 edges, 18444 markings/sec, 885 secs
lola: STP completed || 18 tries, 17876751 fired transitions, 890 secs || 17093503 markings, 161089307 edges, 18839 markings/sec, 890 secs
lola: STP completed || 18 tries, 17980186 fired transitions, 895 secs || 17190911 markings, 162019227 edges, 19482 markings/sec, 895 secs
lola: STP completed || 19 tries, 18083457 fired transitions, 900 secs || 17287337 markings, 162946418 edges, 19285 markings/sec, 900 secs
lola: STP completed || 19 tries, 18186368 fired transitions, 905 secs || 17383289 markings, 163866710 edges, 19190 markings/sec, 905 secs
lola: STP completed || 19 tries, 18281375 fired transitions, 910 secs || 17479104 markings, 164774860 edges, 19163 markings/sec, 910 secs
lola: STP completed || 19 tries, 18374709 fired transitions, 915 secs || 17573778 markings, 165670624 edges, 18935 markings/sec, 915 secs
lola: STP completed || 19 tries, 18467186 fired transitions, 920 secs || 17669161 markings, 166567916 edges, 19077 markings/sec, 920 secs
lola: STP completed || 19 tries, 18561745 fired transitions, 925 secs || 17761954 markings, 167447360 edges, 18559 markings/sec, 925 secs
lola: STP completed || 19 tries, 18663257 fired transitions, 930 secs || 17858134 markings, 168364835 edges, 19236 markings/sec, 930 secs
lola: STP completed || 19 tries, 18766720 fired transitions, 935 secs || 17955110 markings, 169283259 edges, 19395 markings/sec, 935 secs
lola: STP completed || 19 tries, 18869223 fired transitions, 940 secs || 18050519 markings, 170191947 edges, 19082 markings/sec, 940 secs
lola: STP completed || 19 tries, 18973413 fired transitions, 945 secs || 18147999 markings, 171126638 edges, 19496 markings/sec, 945 secs
lola: STP completed || 20 tries, 19077291 fired transitions, 950 secs || 18243219 markings, 172053167 edges, 19044 markings/sec, 950 secs
lola: STP completed || 20 tries, 19179484 fired transitions, 955 secs || 18338490 markings, 172965445 edges, 19054 markings/sec, 955 secs
lola: STP completed || 20 tries, 19282206 fired transitions, 960 secs || 18434269 markings, 173882410 edges, 19156 markings/sec, 960 secs
lola: STP completed || 20 tries, 19385688 fired transitions, 965 secs || 18531801 markings, 174809757 edges, 19506 markings/sec, 965 secs
lola: STP completed || 20 tries, 19488234 fired transitions, 970 secs || 18627152 markings, 175727985 edges, 19070 markings/sec, 970 secs
lola: STP completed || 20 tries, 19592571 fired transitions, 975 secs || 18725623 markings, 176658396 edges, 19694 markings/sec, 975 secs
lola: STP completed || 20 tries, 19695960 fired transitions, 980 secs || 18820341 markings, 177574868 edges, 18944 markings/sec, 980 secs
lola: STP completed || 20 tries, 19797220 fired transitions, 985 secs || 18914701 markings, 178484895 edges, 18872 markings/sec, 985 secs
lola: STP completed || 20 tries, 19899776 fired transitions, 990 secs || 19011452 markings, 179406853 edges, 19350 markings/sec, 990 secs
lola: STP completed || 21 tries, 20003692 fired transitions, 995 secs || 19108822 markings, 180335418 edges, 19474 markings/sec, 995 secs
lola: STP completed || 21 tries, 20105519 fired transitions, 1000 secs || 19204708 markings, 181251297 edges, 19177 markings/sec, 1000 secs
lola: STP completed || 21 tries, 20209477 fired transitions, 1005 secs || 19302192 markings, 182184424 edges, 19497 markings/sec, 1005 secs
lola: STP completed || 21 tries, 20313524 fired transitions, 1010 secs || 19398763 markings, 183113647 edges, 19314 markings/sec, 1010 secs
lola: STP completed || 21 tries, 20417945 fired transitions, 1015 secs || 19494879 markings, 184035869 edges, 19223 markings/sec, 1015 secs
lola: STP completed || 21 tries, 20522184 fired transitions, 1020 secs || 19591720 markings, 184968371 edges, 19368 markings/sec, 1020 secs
lola: STP completed || 21 tries, 20626096 fired transitions, 1025 secs || 19687043 markings, 185887723 edges, 19065 markings/sec, 1025 secs
lola: STP completed || 21 tries, 20730611 fired transitions, 1030 secs || 19783624 markings, 186812114 edges, 19316 markings/sec, 1030 secs
lola: STP completed || 21 tries, 20834701 fired transitions, 1035 secs || 19881242 markings, 187737653 edges, 19524 markings/sec, 1035 secs
lola: STP completed || 21 tries, 20937644 fired transitions, 1040 secs || 19977857 markings, 188652563 edges, 19323 markings/sec, 1040 secs
lola: STP completed || 22 tries, 21041116 fired transitions, 1045 secs || 20074444 markings, 189572847 edges, 19317 markings/sec, 1045 secs
lola: STP completed || 22 tries, 21144545 fired transitions, 1050 secs || 20171512 markings, 190493225 edges, 19414 markings/sec, 1050 secs
lola: STP completed || 22 tries, 21248802 fired transitions, 1055 secs || 20268325 markings, 191413348 edges, 19363 markings/sec, 1055 secs
lola: STP completed || 22 tries, 21353099 fired transitions, 1060 secs || 20364664 markings, 192336871 edges, 19268 markings/sec, 1060 secs
lola: STP completed || 22 tries, 21456635 fired transitions, 1065 secs || 20460992 markings, 193257885 edges, 19266 markings/sec, 1065 secs
lola: STP completed || 22 tries, 21561319 fired transitions, 1070 secs || 20558150 markings, 194188393 edges, 19432 markings/sec, 1070 secs
lola: STP completed || 22 tries, 21665471 fired transitions, 1075 secs || 20654942 markings, 195114919 edges, 19358 markings/sec, 1075 secs
lola: STP completed || 22 tries, 21769786 fired transitions, 1080 secs || 20752069 markings, 196039601 edges, 19425 markings/sec, 1080 secs
lola: STP completed || 22 tries, 21862533 fired transitions, 1085 secs || 20846807 markings, 196940932 edges, 18948 markings/sec, 1085 secs
lola: STP completed || 22 tries, 21957760 fired transitions, 1090 secs || 20943112 markings, 197847598 edges, 19261 markings/sec, 1090 secs
lola: STP completed || 23 tries, 22048816 fired transitions, 1095 secs || 21033739 markings, 198721583 edges, 18125 markings/sec, 1095 secs
lola: STP completed || 23 tries, 22141190 fired transitions, 1100 secs || 21121946 markings, 199564225 edges, 17641 markings/sec, 1100 secs
lola: STP completed || 23 tries, 22240053 fired transitions, 1105 secs || 21212987 markings, 200424021 edges, 18208 markings/sec, 1105 secs
lola: STP completed || 23 tries, 22329327 fired transitions, 1110 secs || 21298947 markings, 201243655 edges, 17192 markings/sec, 1110 secs
lola: STP completed || 23 tries, 22417186 fired transitions, 1115 secs || 21384389 markings, 202072736 edges, 17088 markings/sec, 1115 secs
lola: STP completed || 23 tries, 22504015 fired transitions, 1120 secs || 21470831 markings, 202894321 edges, 17288 markings/sec, 1120 secs
lola: STP completed || 23 tries, 22594949 fired transitions, 1125 secs || 21561138 markings, 203760342 edges, 18061 markings/sec, 1125 secs
lola: STP completed || 23 tries, 22684634 fired transitions, 1130 secs || 21648989 markings, 204591881 edges, 17570 markings/sec, 1130 secs
lola: STP completed || 23 tries, 22780728 fired transitions, 1135 secs || 21733335 markings, 205406589 edges, 16869 markings/sec, 1135 secs
lola: STP completed || 23 tries, 22882857 fired transitions, 1140 secs || 21824896 markings, 206267795 edges, 18312 markings/sec, 1140 secs
lola: STP completed || 23 tries, 22984933 fired transitions, 1145 secs || 21910947 markings, 207092367 edges, 17210 markings/sec, 1145 secs
lola: STP completed || 24 tries, 23084017 fired transitions, 1150 secs || 22001596 markings, 207961024 edges, 18130 markings/sec, 1150 secs
lola: STP completed || 24 tries, 23187233 fired transitions, 1155 secs || 22098477 markings, 208880545 edges, 19376 markings/sec, 1155 secs
lola: STP completed || 24 tries, 23279705 fired transitions, 1160 secs || 22193812 markings, 209795592 edges, 19067 markings/sec, 1160 secs
lola: STP completed || 24 tries, 23370295 fired transitions, 1165 secs || 22288226 markings, 210678996 edges, 18883 markings/sec, 1165 secs
lola: STP completed || 24 tries, 23460207 fired transitions, 1170 secs || 22380888 markings, 211559738 edges, 18532 markings/sec, 1170 secs
lola: STP completed || 24 tries, 23547544 fired transitions, 1175 secs || 22474359 markings, 212455552 edges, 18694 markings/sec, 1175 secs
lola: STP completed || 24 tries, 23635091 fired transitions, 1180 secs || 22567177 markings, 213338318 edges, 18564 markings/sec, 1180 secs
lola: STP completed || 24 tries, 23729035 fired transitions, 1185 secs || 22662202 markings, 214250242 edges, 19005 markings/sec, 1185 secs
lola: STP completed || 24 tries, 23815412 fired transitions, 1190 secs || 22755741 markings, 215138602 edges, 18708 markings/sec, 1190 secs
lola: STP completed || 24 tries, 23908694 fired transitions, 1195 secs || 22848965 markings, 216029725 edges, 18645 markings/sec, 1195 secs
lola: STP completed || 24 tries, 23995724 fired transitions, 1200 secs || 22942393 markings, 216918310 edges, 18686 markings/sec, 1200 secs
lola: STP completed || 25 tries, 24095607 fired transitions, 1205 secs || 23031486 markings, 217774321 edges, 17819 markings/sec, 1205 secs
lola: STP completed || 25 tries, 24183553 fired transitions, 1210 secs || 23120374 markings, 218623155 edges, 17778 markings/sec, 1210 secs
lola: STP completed || 25 tries, 24273361 fired transitions, 1215 secs || 23208723 markings, 219458458 edges, 17670 markings/sec, 1215 secs
lola: STP completed || 25 tries, 24360513 fired transitions, 1220 secs || 23302714 markings, 220348332 edges, 18798 markings/sec, 1220 secs
lola: STP completed || 25 tries, 24448180 fired transitions, 1225 secs || 23391853 markings, 221175648 edges, 17828 markings/sec, 1225 secs
lola: STP completed || 25 tries, 24538831 fired transitions, 1230 secs || 23481923 markings, 222039478 edges, 18014 markings/sec, 1230 secs
lola: STP completed || 25 tries, 24629293 fired transitions, 1235 secs || 23568287 markings, 222869950 edges, 17273 markings/sec, 1235 secs
lola: STP completed || 25 tries, 24728702 fired transitions, 1240 secs || 23657109 markings, 223717903 edges, 17764 markings/sec, 1240 secs
lola: STP completed || 25 tries, 24829345 fired transitions, 1245 secs || 23746193 markings, 224563921 edges, 17817 markings/sec, 1245 secs
lola: STP completed || 25 tries, 24930354 fired transitions, 1250 secs || 23833929 markings, 225398780 edges, 17547 markings/sec, 1250 secs
lola: STP completed || 26 tries, 25026832 fired transitions, 1255 secs || 23923683 markings, 226253060 edges, 17951 markings/sec, 1255 secs
lola: STP completed || 26 tries, 25121509 fired transitions, 1260 secs || 24016743 markings, 227143254 edges, 18612 markings/sec, 1260 secs
lola: STP completed || 26 tries, 25211896 fired transitions, 1265 secs || 24109280 markings, 228029277 edges, 18507 markings/sec, 1265 secs
lola: STP completed || 26 tries, 25301783 fired transitions, 1270 secs || 24200007 markings, 228891954 edges, 18145 markings/sec, 1270 secs
lola: STP completed || 26 tries, 25390267 fired transitions, 1275 secs || 24285935 markings, 229715876 edges, 17186 markings/sec, 1275 secs
lola: STP completed || 26 tries, 25478599 fired transitions, 1280 secs || 24376164 markings, 230568908 edges, 18046 markings/sec, 1280 secs
lola: STP completed || 26 tries, 25566401 fired transitions, 1285 secs || 24466895 markings, 231431167 edges, 18146 markings/sec, 1285 secs
lola: STP completed || 26 tries, 25663092 fired transitions, 1290 secs || 24560682 markings, 232330367 edges, 18757 markings/sec, 1290 secs
lola: STP completed || 26 tries, 25752506 fired transitions, 1295 secs || 24655176 markings, 233226603 edges, 18899 markings/sec, 1295 secs
lola: STP completed || 26 tries, 25841635 fired transitions, 1300 secs || 24748633 markings, 234122900 edges, 18691 markings/sec, 1300 secs
lola: STP completed || 26 tries, 25931259 fired transitions, 1305 secs || 24842650 markings, 235017096 edges, 18803 markings/sec, 1305 secs
lola: STP completed || 27 tries, 26033670 fired transitions, 1310 secs || 24933584 markings, 235884271 edges, 18187 markings/sec, 1310 secs
lola: STP completed || 27 tries, 26134977 fired transitions, 1315 secs || 25018670 markings, 236707440 edges, 17017 markings/sec, 1315 secs
lola: STP completed || 27 tries, 26238331 fired transitions, 1320 secs || 25111843 markings, 237598481 edges, 18635 markings/sec, 1320 secs
lola: STP completed || 27 tries, 26336664 fired transitions, 1325 secs || 25199401 markings, 238431723 edges, 17512 markings/sec, 1325 secs
lola: STP completed || 27 tries, 26422685 fired transitions, 1330 secs || 25293898 markings, 239344183 edges, 18899 markings/sec, 1330 secs
lola: STP completed || 27 tries, 26510060 fired transitions, 1335 secs || 25387193 markings, 240243993 edges, 18659 markings/sec, 1335 secs
lola: STP completed || 27 tries, 26599743 fired transitions, 1340 secs || 25481000 markings, 241151950 edges, 18761 markings/sec, 1340 secs
lola: STP completed || 27 tries, 26687289 fired transitions, 1345 secs || 25576437 markings, 242064092 edges, 19087 markings/sec, 1345 secs
lola: STP completed || 27 tries, 26777405 fired transitions, 1350 secs || 25669791 markings, 242964346 edges, 18671 markings/sec, 1350 secs
lola: STP completed || 27 tries, 26876864 fired transitions, 1355 secs || 25766269 markings, 243891175 edges, 19296 markings/sec, 1355 secs
lola: STP completed || 27 tries, 26980430 fired transitions, 1360 secs || 25861853 markings, 244808627 edges, 19117 markings/sec, 1360 secs
lola: STP completed || 28 tries, 27075749 fired transitions, 1365 secs || 25951342 markings, 245666039 edges, 17898 markings/sec, 1365 secs
lola: STP completed || 28 tries, 27169969 fired transitions, 1370 secs || 26046716 markings, 246578576 edges, 19075 markings/sec, 1370 secs
lola: STP completed || 28 tries, 27260168 fired transitions, 1375 secs || 26143189 markings, 247495504 edges, 19295 markings/sec, 1375 secs
lola: STP completed || 28 tries, 27364218 fired transitions, 1380 secs || 26240215 markings, 248425319 edges, 19405 markings/sec, 1380 secs
lola: STP completed || 28 tries, 27468017 fired transitions, 1385 secs || 26337305 markings, 249347792 edges, 19418 markings/sec, 1385 secs
lola: STP completed || 28 tries, 27566367 fired transitions, 1390 secs || 26426335 markings, 250201390 edges, 17806 markings/sec, 1390 secs
lola: STP completed || 28 tries, 27658072 fired transitions, 1395 secs || 26519978 markings, 251089209 edges, 18729 markings/sec, 1395 secs
lola: STP completed || 28 tries, 27749155 fired transitions, 1400 secs || 26612801 markings, 251978769 edges, 18565 markings/sec, 1400 secs
lola: STP completed || 28 tries, 27846639 fired transitions, 1405 secs || 26706178 markings, 252870075 edges, 18675 markings/sec, 1405 secs
lola: STP completed || 28 tries, 27947474 fired transitions, 1410 secs || 26793521 markings, 253695542 edges, 17469 markings/sec, 1410 secs
lola: STP completed || 29 tries, 28047891 fired transitions, 1415 secs || 26882461 markings, 254549370 edges, 17788 markings/sec, 1415 secs
lola: STP completed || 29 tries, 28149498 fired transitions, 1420 secs || 26978845 markings, 255463577 edges, 19277 markings/sec, 1420 secs
lola: STP completed || 29 tries, 28251573 fired transitions, 1425 secs || 27074676 markings, 256380839 edges, 19166 markings/sec, 1425 secs
lola: STP completed || 29 tries, 28355082 fired transitions, 1430 secs || 27172949 markings, 257318170 edges, 19655 markings/sec, 1430 secs
lola: STP completed || 29 tries, 28457922 fired transitions, 1435 secs || 27268207 markings, 258234895 edges, 19052 markings/sec, 1435 secs
lola: STP completed || 29 tries, 28560872 fired transitions, 1440 secs || 27364580 markings, 259161896 edges, 19275 markings/sec, 1440 secs
lola: STP completed || 29 tries, 28651619 fired transitions, 1445 secs || 27458489 markings, 260061174 edges, 18782 markings/sec, 1445 secs
lola: STP completed || 29 tries, 28741855 fired transitions, 1450 secs || 27551074 markings, 260948984 edges, 18517 markings/sec, 1450 secs
lola: STP completed || 29 tries, 28832345 fired transitions, 1455 secs || 27643812 markings, 261834934 edges, 18548 markings/sec, 1455 secs
lola: STP completed || 29 tries, 28923638 fired transitions, 1460 secs || 27736894 markings, 262731040 edges, 18616 markings/sec, 1460 secs
lola: STP completed || 30 tries, 29014188 fired transitions, 1465 secs || 27830256 markings, 263636772 edges, 18672 markings/sec, 1465 secs
lola: STP completed || 30 tries, 29105240 fired transitions, 1470 secs || 27924051 markings, 264533439 edges, 18759 markings/sec, 1470 secs
lola: STP completed || 30 tries, 29197475 fired transitions, 1475 secs || 28017374 markings, 265421917 edges, 18665 markings/sec, 1475 secs
lola: STP completed || 30 tries, 29288888 fired transitions, 1480 secs || 28109545 markings, 266310149 edges, 18434 markings/sec, 1480 secs
lola: STP completed || 30 tries, 29381314 fired transitions, 1485 secs || 28202255 markings, 267209207 edges, 18542 markings/sec, 1485 secs
lola: STP completed || 30 tries, 29473285 fired transitions, 1490 secs || 28295007 markings, 268100602 edges, 18550 markings/sec, 1490 secs
lola: STP completed || 30 tries, 29565288 fired transitions, 1495 secs || 28387708 markings, 268994086 edges, 18540 markings/sec, 1495 secs
lola: STP completed || 30 tries, 29657540 fired transitions, 1500 secs || 28481265 markings, 269892301 edges, 18711 markings/sec, 1500 secs
lola: STP completed || 30 tries, 29749782 fired transitions, 1505 secs || 28574410 markings, 270787693 edges, 18629 markings/sec, 1505 secs
lola: STP completed || 30 tries, 29840736 fired transitions, 1510 secs || 28667243 markings, 271681469 edges, 18567 markings/sec, 1510 secs
lola: STP completed || 30 tries, 29933035 fired transitions, 1515 secs || 28756977 markings, 272547495 edges, 17947 markings/sec, 1515 secs
lola: STP completed || 31 tries, 30024111 fired transitions, 1520 secs || 28846518 markings, 273404592 edges, 17908 markings/sec, 1520 secs
lola: STP completed || 31 tries, 30116577 fired transitions, 1525 secs || 28935793 markings, 274261630 edges, 17855 markings/sec, 1525 secs
lola: STP completed || 31 tries, 30204713 fired transitions, 1530 secs || 29027306 markings, 275132194 edges, 18303 markings/sec, 1530 secs
lola: STP completed || 31 tries, 30297174 fired transitions, 1535 secs || 29121638 markings, 276037874 edges, 18866 markings/sec, 1535 secs
lola: STP completed || 31 tries, 30389510 fired transitions, 1540 secs || 29215721 markings, 276935022 edges, 18817 markings/sec, 1540 secs
lola: STP completed || 31 tries, 30480744 fired transitions, 1545 secs || 29309205 markings, 277832751 edges, 18697 markings/sec, 1545 secs
lola: STP completed || 31 tries, 30572036 fired transitions, 1550 secs || 29402683 markings, 278730609 edges, 18696 markings/sec, 1550 secs
lola: STP completed || 31 tries, 30660993 fired transitions, 1555 secs || 29492475 markings, 279601290 edges, 17958 markings/sec, 1555 secs
lola: STP completed || 31 tries, 30748666 fired transitions, 1560 secs || 29579215 markings, 280427056 edges, 17348 markings/sec, 1560 secs
lola: STP completed || 31 tries, 30835551 fired transitions, 1565 secs || 29665735 markings, 281252882 edges, 17304 markings/sec, 1565 secs
lola: STP completed || 31 tries, 30921476 fired transitions, 1570 secs || 29756171 markings, 282114404 edges, 18087 markings/sec, 1570 secs
lola: STP completed || 32 tries, 31007203 fired transitions, 1575 secs || 29850130 markings, 282994268 edges, 18792 markings/sec, 1575 secs
lola: STP completed || 32 tries, 31093072 fired transitions, 1580 secs || 29944669 markings, 283904217 edges, 18908 markings/sec, 1580 secs
lola: STP completed || 32 tries, 31188421 fired transitions, 1585 secs || 30037289 markings, 284797239 edges, 18524 markings/sec, 1585 secs
lola: STP completed || 32 tries, 31288216 fired transitions, 1590 secs || 30131837 markings, 285692045 edges, 18910 markings/sec, 1590 secs
Killed
FORMULA Raft-PT-09-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 1496439506535

--------------------
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="S_Raft-PT-09"
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/S_Raft-PT-09.tgz
mv S_Raft-PT-09 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 S_Raft-PT-09, 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 r148-csrt-149443432700026"
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 ;