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

--------------------
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-08-ReachabilityDeadlock-0

=== Now, execution of the tool begins

BK_START 1496437894258


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


checking for too many tokens
===========================================================================================
S_Raft-PT-08: translating PT formula ReachabilityDeadlock into LoLA format
===========================================================================================
translating formula complete
touch formulae;
----- Start make result stdout -----
ReachabilityDeadlock @ S_Raft-PT-08 @ 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: 896/65536 symbol table entries, 0 collisions
lola: preprocessing...
lola: finding significant places
lola: 328 places, 568 transitions, 264 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 559 transition conflict sets
lola: TASK
lola: reading formula from Raft-PT-08-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 36 bytes per marking, with 24 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 90 generators (8 in search tree, 82 by composition)
lola: representing 40320 symmetries
lola: 0 dead branches visited in search tree
lola: STP: formula with 10994 variables and 40003 clauses shipped to Minisat
lola: stp: The siphon/trap property does not hold
lola: STP completed || 1 tries, 132469 fired transitions, 0 secs || 118089 markings, 928784 edges, 23618 markings/sec, 0 secs
lola: STP completed || 1 tries, 278552 fired transitions, 5 secs || 244902 markings, 1913083 edges, 25363 markings/sec, 5 secs
lola: STP completed || 1 tries, 405392 fired transitions, 10 secs || 358843 markings, 2809933 edges, 22788 markings/sec, 10 secs
lola: STP completed || 1 tries, 522818 fired transitions, 15 secs || 466794 markings, 3656138 edges, 21590 markings/sec, 15 secs
lola: STP completed || 1 tries, 644987 fired transitions, 20 secs || 573081 markings, 4497327 edges, 21257 markings/sec, 20 secs
lola: STP completed || 1 tries, 767661 fired transitions, 25 secs || 679611 markings, 5342067 edges, 21306 markings/sec, 25 secs
lola: STP completed || 1 tries, 888655 fired transitions, 30 secs || 783773 markings, 6173063 edges, 20832 markings/sec, 30 secs
lola: STP completed || 2 tries, 1004965 fired transitions, 35 secs || 891168 markings, 7164015 edges, 21479 markings/sec, 35 secs
lola: STP completed || 2 tries, 1125572 fired transitions, 40 secs || 992226 markings, 8096864 edges, 20212 markings/sec, 40 secs
lola: STP completed || 2 tries, 1239179 fired transitions, 45 secs || 1097206 markings, 9068243 edges, 20996 markings/sec, 45 secs
lola: STP completed || 2 tries, 1353371 fired transitions, 50 secs || 1199062 markings, 9988094 edges, 20371 markings/sec, 50 secs
lola: STP completed || 2 tries, 1467302 fired transitions, 55 secs || 1300712 markings, 10909358 edges, 20330 markings/sec, 55 secs
lola: STP completed || 2 tries, 1581259 fired transitions, 60 secs || 1400914 markings, 11837167 edges, 20040 markings/sec, 60 secs
lola: STP completed || 2 tries, 1694077 fired transitions, 65 secs || 1505602 markings, 12809720 edges, 20938 markings/sec, 65 secs
lola: STP completed || 2 tries, 1805625 fired transitions, 70 secs || 1614674 markings, 13815762 edges, 21814 markings/sec, 70 secs
lola: STP completed || 2 tries, 1918273 fired transitions, 75 secs || 1729676 markings, 14818830 edges, 23000 markings/sec, 75 secs
lola: STP completed || 3 tries, 2037261 fired transitions, 80 secs || 1841420 markings, 15822356 edges, 22349 markings/sec, 80 secs
lola: STP completed || 3 tries, 2158501 fired transitions, 85 secs || 1949892 markings, 16826203 edges, 21694 markings/sec, 85 secs
lola: STP completed || 3 tries, 2280218 fired transitions, 90 secs || 2058700 markings, 17836101 edges, 21762 markings/sec, 90 secs
lola: STP completed || 3 tries, 2400736 fired transitions, 95 secs || 2167622 markings, 18838443 edges, 21784 markings/sec, 95 secs
lola: STP completed || 3 tries, 2522845 fired transitions, 100 secs || 2279784 markings, 19849027 edges, 22432 markings/sec, 100 secs
lola: STP completed || 3 tries, 2642411 fired transitions, 105 secs || 2388107 markings, 20848284 edges, 21665 markings/sec, 105 secs
lola: STP completed || 3 tries, 2764493 fired transitions, 110 secs || 2495115 markings, 21848292 edges, 21402 markings/sec, 110 secs
lola: STP completed || 3 tries, 2886285 fired transitions, 115 secs || 2601296 markings, 22839939 edges, 21236 markings/sec, 115 secs
lola: STP completed || 4 tries, 3007419 fired transitions, 120 secs || 2710394 markings, 23822452 edges, 21820 markings/sec, 120 secs
lola: STP completed || 4 tries, 3127515 fired transitions, 125 secs || 2817785 markings, 24814534 edges, 21478 markings/sec, 125 secs
lola: STP completed || 4 tries, 3248511 fired transitions, 130 secs || 2925158 markings, 25808785 edges, 21475 markings/sec, 130 secs
lola: STP completed || 4 tries, 3370480 fired transitions, 135 secs || 3033649 markings, 26802833 edges, 21698 markings/sec, 135 secs
lola: STP completed || 4 tries, 3488619 fired transitions, 140 secs || 3144858 markings, 27795298 edges, 22242 markings/sec, 140 secs
lola: STP completed || 4 tries, 3603097 fired transitions, 145 secs || 3255128 markings, 28796920 edges, 22054 markings/sec, 145 secs
lola: STP completed || 4 tries, 3716732 fired transitions, 150 secs || 3365845 markings, 29815929 edges, 22143 markings/sec, 150 secs
lola: STP completed || 4 tries, 3830658 fired transitions, 155 secs || 3475603 markings, 30813136 edges, 21952 markings/sec, 155 secs
lola: STP completed || 4 tries, 3944676 fired transitions, 160 secs || 3585424 markings, 31796939 edges, 21964 markings/sec, 160 secs
lola: STP completed || 5 tries, 4058553 fired transitions, 165 secs || 3696068 markings, 32802884 edges, 22129 markings/sec, 165 secs
lola: STP completed || 5 tries, 4172416 fired transitions, 170 secs || 3809719 markings, 33809721 edges, 22730 markings/sec, 170 secs
lola: STP completed || 5 tries, 4285176 fired transitions, 175 secs || 3920077 markings, 34811934 edges, 22072 markings/sec, 175 secs
lola: STP completed || 5 tries, 4398374 fired transitions, 180 secs || 4032924 markings, 35809892 edges, 22569 markings/sec, 180 secs
lola: STP completed || 5 tries, 4511655 fired transitions, 185 secs || 4147216 markings, 36802054 edges, 22858 markings/sec, 185 secs
lola: STP completed || 5 tries, 4625210 fired transitions, 190 secs || 4254625 markings, 37798790 edges, 21482 markings/sec, 190 secs
lola: STP completed || 5 tries, 4738816 fired transitions, 195 secs || 4364136 markings, 38815656 edges, 21902 markings/sec, 195 secs
lola: STP completed || 5 tries, 4852337 fired transitions, 200 secs || 4472501 markings, 39826003 edges, 21673 markings/sec, 200 secs
lola: STP completed || 5 tries, 4966101 fired transitions, 205 secs || 4581798 markings, 40825058 edges, 21859 markings/sec, 205 secs
lola: STP completed || 6 tries, 5079648 fired transitions, 210 secs || 4693411 markings, 41822883 edges, 22323 markings/sec, 210 secs
lola: STP completed || 6 tries, 5193506 fired transitions, 215 secs || 4806294 markings, 42831262 edges, 22577 markings/sec, 215 secs
lola: STP completed || 6 tries, 5306801 fired transitions, 220 secs || 4915423 markings, 43841537 edges, 21826 markings/sec, 220 secs
lola: STP completed || 6 tries, 5420514 fired transitions, 225 secs || 5024628 markings, 44817601 edges, 21841 markings/sec, 225 secs
lola: STP completed || 6 tries, 5534823 fired transitions, 230 secs || 5132581 markings, 45772648 edges, 21591 markings/sec, 230 secs
lola: STP completed || 6 tries, 5648850 fired transitions, 235 secs || 5237666 markings, 46747847 edges, 21017 markings/sec, 235 secs
lola: STP completed || 6 tries, 5763700 fired transitions, 240 secs || 5342021 markings, 47707933 edges, 20871 markings/sec, 240 secs
lola: STP completed || 6 tries, 5881727 fired transitions, 245 secs || 5446466 markings, 48667837 edges, 20889 markings/sec, 245 secs
lola: STP completed || 7 tries, 6003384 fired transitions, 250 secs || 5551519 markings, 49625704 edges, 21011 markings/sec, 250 secs
lola: STP completed || 7 tries, 6125564 fired transitions, 255 secs || 5658704 markings, 50583642 edges, 21437 markings/sec, 255 secs
lola: STP completed || 7 tries, 6246532 fired transitions, 260 secs || 5769104 markings, 51543636 edges, 22080 markings/sec, 260 secs
lola: STP completed || 7 tries, 6366589 fired transitions, 265 secs || 5876364 markings, 52498989 edges, 21452 markings/sec, 265 secs
lola: STP completed || 7 tries, 6489270 fired transitions, 270 secs || 5987193 markings, 53465327 edges, 22166 markings/sec, 270 secs
lola: STP completed || 7 tries, 6610978 fired transitions, 275 secs || 6097613 markings, 54464830 edges, 22084 markings/sec, 275 secs
lola: STP completed || 7 tries, 6736833 fired transitions, 280 secs || 6209927 markings, 55444054 edges, 22463 markings/sec, 280 secs
lola: STP completed || 7 tries, 6861784 fired transitions, 285 secs || 6315872 markings, 56413787 edges, 21189 markings/sec, 285 secs
lola: STP completed || 7 tries, 6983999 fired transitions, 290 secs || 6423514 markings, 57406206 edges, 21528 markings/sec, 290 secs
lola: STP completed || 8 tries, 7107618 fired transitions, 295 secs || 6529093 markings, 58385979 edges, 21116 markings/sec, 295 secs
lola: STP completed || 8 tries, 7234220 fired transitions, 300 secs || 6633820 markings, 59335904 edges, 20945 markings/sec, 300 secs
lola: STP completed || 8 tries, 7359145 fired transitions, 305 secs || 6740558 markings, 60289161 edges, 21348 markings/sec, 305 secs
lola: STP completed || 8 tries, 7481936 fired transitions, 310 secs || 6850093 markings, 61261713 edges, 21907 markings/sec, 310 secs
lola: STP completed || 8 tries, 7607275 fired transitions, 315 secs || 6963759 markings, 62246119 edges, 22733 markings/sec, 315 secs
lola: STP completed || 8 tries, 7732500 fired transitions, 320 secs || 7068700 markings, 63225114 edges, 20988 markings/sec, 320 secs
lola: STP completed || 8 tries, 7858015 fired transitions, 325 secs || 7173360 markings, 64205132 edges, 20932 markings/sec, 325 secs
lola: STP completed || 8 tries, 7980967 fired transitions, 330 secs || 7279444 markings, 65173971 edges, 21217 markings/sec, 330 secs
lola: STP completed || 9 tries, 8110952 fired transitions, 335 secs || 7389287 markings, 66177909 edges, 21969 markings/sec, 335 secs
lola: STP completed || 9 tries, 8243833 fired transitions, 340 secs || 7498238 markings, 67188635 edges, 21790 markings/sec, 340 secs
lola: STP completed || 9 tries, 8375030 fired transitions, 345 secs || 7605465 markings, 68187028 edges, 21445 markings/sec, 345 secs
lola: STP completed || 9 tries, 8503149 fired transitions, 350 secs || 7713845 markings, 69184983 edges, 21676 markings/sec, 350 secs
lola: STP completed || 9 tries, 8623861 fired transitions, 355 secs || 7825661 markings, 70196348 edges, 22363 markings/sec, 355 secs
lola: STP completed || 9 tries, 8744554 fired transitions, 360 secs || 7935138 markings, 71205045 edges, 21895 markings/sec, 360 secs
lola: STP completed || 9 tries, 8865701 fired transitions, 365 secs || 8042950 markings, 72211510 edges, 21562 markings/sec, 365 secs
lola: STP completed || 9 tries, 8999702 fired transitions, 370 secs || 8153599 markings, 73238848 edges, 22130 markings/sec, 370 secs
lola: STP completed || 10 tries, 9136189 fired transitions, 375 secs || 8266831 markings, 74262721 edges, 22646 markings/sec, 375 secs
lola: STP completed || 10 tries, 9265152 fired transitions, 380 secs || 8377167 markings, 75251098 edges, 22067 markings/sec, 380 secs
lola: STP completed || 10 tries, 9397397 fired transitions, 385 secs || 8492178 markings, 76281956 edges, 23002 markings/sec, 385 secs
lola: STP completed || 10 tries, 9534798 fired transitions, 390 secs || 8604831 markings, 77308652 edges, 22531 markings/sec, 390 secs
lola: STP completed || 10 tries, 9668689 fired transitions, 395 secs || 8714053 markings, 78325572 edges, 21844 markings/sec, 395 secs
lola: STP completed || 10 tries, 9790968 fired transitions, 400 secs || 8821378 markings, 79321973 edges, 21465 markings/sec, 400 secs
lola: STP completed || 10 tries, 9913010 fired transitions, 405 secs || 8931097 markings, 80315654 edges, 21944 markings/sec, 405 secs
lola: STP completed || 11 tries, 10048801 fired transitions, 410 secs || 9044487 markings, 81341023 edges, 22678 markings/sec, 410 secs
lola: STP completed || 11 tries, 10184589 fired transitions, 415 secs || 9150030 markings, 82281750 edges, 21109 markings/sec, 415 secs
lola: STP completed || 11 tries, 10317610 fired transitions, 420 secs || 9249577 markings, 83200755 edges, 19909 markings/sec, 420 secs
lola: STP completed || 11 tries, 10449701 fired transitions, 425 secs || 9348963 markings, 84126677 edges, 19877 markings/sec, 425 secs
lola: STP completed || 11 tries, 10577006 fired transitions, 430 secs || 9452720 markings, 85086185 edges, 20751 markings/sec, 430 secs
lola: STP completed || 11 tries, 10700607 fired transitions, 435 secs || 9562038 markings, 86063595 edges, 21864 markings/sec, 435 secs
lola: STP completed || 11 tries, 10827482 fired transitions, 440 secs || 9668617 markings, 87018579 edges, 21316 markings/sec, 440 secs
lola: STP completed || 11 tries, 10950308 fired transitions, 445 secs || 9768316 markings, 87927375 edges, 19940 markings/sec, 445 secs
lola: STP completed || 12 tries, 11067030 fired transitions, 450 secs || 9876438 markings, 88900580 edges, 21624 markings/sec, 450 secs
lola: STP completed || 12 tries, 11187883 fired transitions, 455 secs || 9987129 markings, 89874343 edges, 22138 markings/sec, 455 secs
lola: STP completed || 12 tries, 11319377 fired transitions, 460 secs || 10097847 markings, 90859388 edges, 22144 markings/sec, 460 secs
lola: STP completed || 12 tries, 11448145 fired transitions, 465 secs || 10203484 markings, 91795669 edges, 21127 markings/sec, 465 secs
lola: STP completed || 12 tries, 11579484 fired transitions, 470 secs || 10311233 markings, 92760747 edges, 21550 markings/sec, 470 secs
lola: STP completed || 12 tries, 11712108 fired transitions, 475 secs || 10418862 markings, 93726088 edges, 21526 markings/sec, 475 secs
lola: STP completed || 12 tries, 11845590 fired transitions, 480 secs || 10528843 markings, 94722783 edges, 21996 markings/sec, 480 secs
lola: STP completed || 12 tries, 11977232 fired transitions, 485 secs || 10631269 markings, 95673695 edges, 20485 markings/sec, 485 secs
lola: STP completed || 13 tries, 12104787 fired transitions, 490 secs || 10734212 markings, 96625604 edges, 20589 markings/sec, 490 secs
lola: STP completed || 13 tries, 12231590 fired transitions, 495 secs || 10835467 markings, 97551100 edges, 20251 markings/sec, 495 secs
lola: STP completed || 13 tries, 12367379 fired transitions, 500 secs || 10948086 markings, 98572828 edges, 22524 markings/sec, 500 secs
lola: STP completed || 13 tries, 12496161 fired transitions, 505 secs || 11060805 markings, 99585640 edges, 22544 markings/sec, 505 secs
lola: STP completed || 13 tries, 12622412 fired transitions, 510 secs || 11169238 markings, 100571036 edges, 21687 markings/sec, 510 secs
lola: STP completed || 13 tries, 12748943 fired transitions, 515 secs || 11274304 markings, 101558092 edges, 21013 markings/sec, 515 secs
lola: STP completed || 13 tries, 12873167 fired transitions, 520 secs || 11382239 markings, 102553187 edges, 21587 markings/sec, 520 secs
lola: STP completed || 14 tries, 13006456 fired transitions, 525 secs || 11495678 markings, 103569942 edges, 22688 markings/sec, 525 secs
lola: STP completed || 14 tries, 13142377 fired transitions, 530 secs || 11611383 markings, 104578491 edges, 23141 markings/sec, 530 secs
lola: STP completed || 14 tries, 13278888 fired transitions, 535 secs || 11726953 markings, 105600073 edges, 23114 markings/sec, 535 secs
lola: STP completed || 14 tries, 13414473 fired transitions, 540 secs || 11842475 markings, 106641118 edges, 23104 markings/sec, 540 secs
lola: STP completed || 14 tries, 13540682 fired transitions, 545 secs || 11954627 markings, 107645333 edges, 22430 markings/sec, 545 secs
lola: STP completed || 14 tries, 13666906 fired transitions, 550 secs || 12065847 markings, 108640905 edges, 22244 markings/sec, 550 secs
lola: STP completed || 14 tries, 13798713 fired transitions, 555 secs || 12179038 markings, 109655012 edges, 22638 markings/sec, 555 secs
lola: STP completed || 14 tries, 13934347 fired transitions, 560 secs || 12292255 markings, 110677741 edges, 22643 markings/sec, 560 secs
lola: STP completed || 15 tries, 14069901 fired transitions, 565 secs || 12404454 markings, 111691478 edges, 22440 markings/sec, 565 secs
lola: STP completed || 15 tries, 14203491 fired transitions, 570 secs || 12518276 markings, 112698094 edges, 22764 markings/sec, 570 secs
lola: STP completed || 15 tries, 14339414 fired transitions, 575 secs || 12632865 markings, 113714200 edges, 22918 markings/sec, 575 secs
lola: STP completed || 15 tries, 14463638 fired transitions, 580 secs || 12741733 markings, 114723986 edges, 21774 markings/sec, 580 secs
lola: STP completed || 15 tries, 14578969 fired transitions, 585 secs || 12848531 markings, 115724203 edges, 21360 markings/sec, 585 secs
lola: STP completed || 15 tries, 14693358 fired transitions, 590 secs || 12954874 markings, 116690411 edges, 21269 markings/sec, 590 secs
lola: STP completed || 15 tries, 14806771 fired transitions, 595 secs || 13059464 markings, 117644728 edges, 20918 markings/sec, 595 secs
lola: STP completed || 15 tries, 14920244 fired transitions, 600 secs || 13163991 markings, 118606780 edges, 20905 markings/sec, 600 secs
lola: STP completed || 16 tries, 15034336 fired transitions, 605 secs || 13268103 markings, 119564191 edges, 20822 markings/sec, 605 secs
lola: STP completed || 16 tries, 15152744 fired transitions, 610 secs || 13372441 markings, 120509939 edges, 20868 markings/sec, 610 secs
lola: STP completed || 16 tries, 15285135 fired transitions, 615 secs || 13479798 markings, 121486959 edges, 21471 markings/sec, 615 secs
lola: STP completed || 16 tries, 15425335 fired transitions, 620 secs || 13591423 markings, 122505154 edges, 22325 markings/sec, 620 secs
lola: STP completed || 16 tries, 15562015 fired transitions, 625 secs || 13700963 markings, 123512933 edges, 21908 markings/sec, 625 secs
lola: STP completed || 16 tries, 15682226 fired transitions, 630 secs || 13803727 markings, 124474316 edges, 20553 markings/sec, 630 secs
lola: STP completed || 16 tries, 15816448 fired transitions, 635 secs || 13904375 markings, 125413084 edges, 20130 markings/sec, 635 secs
lola: STP completed || 16 tries, 15947821 fired transitions, 640 secs || 14007134 markings, 126348516 edges, 20552 markings/sec, 640 secs
lola: STP completed || 17 tries, 16080626 fired transitions, 645 secs || 14116236 markings, 127344009 edges, 21820 markings/sec, 645 secs
lola: STP completed || 17 tries, 16216509 fired transitions, 650 secs || 14226295 markings, 128365720 edges, 22012 markings/sec, 650 secs
lola: STP completed || 17 tries, 16351600 fired transitions, 655 secs || 14339787 markings, 129394687 edges, 22698 markings/sec, 655 secs
lola: STP completed || 17 tries, 16486664 fired transitions, 660 secs || 14452398 markings, 130417274 edges, 22522 markings/sec, 660 secs
lola: STP completed || 17 tries, 16621379 fired transitions, 665 secs || 14564958 markings, 131442744 edges, 22512 markings/sec, 665 secs
lola: STP completed || 17 tries, 16751156 fired transitions, 670 secs || 14675183 markings, 132462774 edges, 22045 markings/sec, 670 secs
lola: STP completed || 17 tries, 16876867 fired transitions, 675 secs || 14785659 markings, 133454069 edges, 22095 markings/sec, 675 secs
lola: STP completed || 18 tries, 17003271 fired transitions, 680 secs || 14893898 markings, 134464499 edges, 21648 markings/sec, 680 secs
lola: STP completed || 18 tries, 17130110 fired transitions, 685 secs || 15000906 markings, 135455529 edges, 21402 markings/sec, 685 secs
lola: STP completed || 18 tries, 17258463 fired transitions, 690 secs || 15112076 markings, 136459551 edges, 22234 markings/sec, 690 secs
lola: STP completed || 18 tries, 17377962 fired transitions, 695 secs || 15222428 markings, 137454685 edges, 22070 markings/sec, 695 secs
lola: STP completed || 18 tries, 17504549 fired transitions, 700 secs || 15332442 markings, 138424565 edges, 22003 markings/sec, 700 secs
lola: STP completed || 18 tries, 17624121 fired transitions, 705 secs || 15441214 markings, 139388693 edges, 21754 markings/sec, 705 secs
lola: STP completed || 18 tries, 17750316 fired transitions, 710 secs || 15553454 markings, 140388175 edges, 22448 markings/sec, 710 secs
lola: STP completed || 18 tries, 17884670 fired transitions, 715 secs || 15667292 markings, 141411343 edges, 22768 markings/sec, 715 secs
lola: STP completed || 19 tries, 18015995 fired transitions, 720 secs || 15776650 markings, 142384030 edges, 21872 markings/sec, 720 secs
lola: STP completed || 19 tries, 18147463 fired transitions, 725 secs || 15888702 markings, 143394516 edges, 22410 markings/sec, 725 secs
lola: STP completed || 19 tries, 18281799 fired transitions, 730 secs || 15995907 markings, 144357879 edges, 21441 markings/sec, 730 secs
lola: STP completed || 19 tries, 18416570 fired transitions, 735 secs || 16100141 markings, 145291953 edges, 20847 markings/sec, 735 secs
lola: STP completed || 19 tries, 18550253 fired transitions, 740 secs || 16205646 markings, 146244783 edges, 21101 markings/sec, 740 secs
lola: STP completed || 19 tries, 18684269 fired transitions, 745 secs || 16302163 markings, 147141682 edges, 19303 markings/sec, 745 secs
lola: STP completed || 19 tries, 18816257 fired transitions, 750 secs || 16404192 markings, 148091628 edges, 20406 markings/sec, 750 secs
lola: STP completed || 19 tries, 18943125 fired transitions, 755 secs || 16513129 markings, 149086173 edges, 21787 markings/sec, 755 secs
lola: STP completed || 20 tries, 19068205 fired transitions, 760 secs || 16622631 markings, 150071986 edges, 21900 markings/sec, 760 secs
lola: STP completed || 20 tries, 19191360 fired transitions, 765 secs || 16732011 markings, 151035480 edges, 21876 markings/sec, 765 secs
lola: STP completed || 20 tries, 19320040 fired transitions, 770 secs || 16838035 markings, 151975669 edges, 21205 markings/sec, 770 secs
lola: STP completed || 20 tries, 19439198 fired transitions, 775 secs || 16943682 markings, 152949135 edges, 21129 markings/sec, 775 secs
lola: STP completed || 20 tries, 19557515 fired transitions, 780 secs || 17052697 markings, 153925605 edges, 21803 markings/sec, 780 secs
lola: STP completed || 20 tries, 19676010 fired transitions, 785 secs || 17157189 markings, 154900172 edges, 20898 markings/sec, 785 secs
lola: STP completed || 20 tries, 19814667 fired transitions, 790 secs || 17268590 markings, 155925395 edges, 22280 markings/sec, 790 secs
lola: STP completed || 20 tries, 19953448 fired transitions, 795 secs || 17380545 markings, 156954996 edges, 22391 markings/sec, 795 secs
lola: STP completed || 21 tries, 20090478 fired transitions, 800 secs || 17494421 markings, 157971817 edges, 22775 markings/sec, 800 secs
lola: STP completed || 21 tries, 20231671 fired transitions, 805 secs || 17610639 markings, 159021072 edges, 23244 markings/sec, 805 secs
lola: STP completed || 21 tries, 20374283 fired transitions, 810 secs || 17730046 markings, 160067438 edges, 23881 markings/sec, 810 secs
lola: STP completed || 21 tries, 20516969 fired transitions, 815 secs || 17849805 markings, 161129706 edges, 23952 markings/sec, 815 secs
lola: STP completed || 21 tries, 20658161 fired transitions, 820 secs || 17971970 markings, 162195540 edges, 24433 markings/sec, 820 secs
lola: STP completed || 21 tries, 20800091 fired transitions, 825 secs || 18091077 markings, 163251855 edges, 23821 markings/sec, 825 secs
lola: STP completed || 21 tries, 20943313 fired transitions, 830 secs || 18211677 markings, 164314313 edges, 24120 markings/sec, 830 secs
lola: STP completed || 22 tries, 21085666 fired transitions, 835 secs || 18327428 markings, 165345994 edges, 23150 markings/sec, 835 secs
lola: STP completed || 22 tries, 21228369 fired transitions, 840 secs || 18446324 markings, 166400968 edges, 23779 markings/sec, 840 secs
lola: STP completed || 22 tries, 21361251 fired transitions, 845 secs || 18559301 markings, 167413989 edges, 22595 markings/sec, 845 secs
lola: STP completed || 22 tries, 21482535 fired transitions, 850 secs || 18670413 markings, 168398347 edges, 22222 markings/sec, 850 secs
lola: STP completed || 22 tries, 21608429 fired transitions, 855 secs || 18783715 markings, 169394975 edges, 22660 markings/sec, 855 secs
lola: STP completed || 22 tries, 21735289 fired transitions, 860 secs || 18897008 markings, 170377016 edges, 22659 markings/sec, 860 secs
lola: STP completed || 22 tries, 21854154 fired transitions, 865 secs || 19007356 markings, 171351667 edges, 22070 markings/sec, 865 secs
lola: STP completed || 22 tries, 21972246 fired transitions, 870 secs || 19117709 markings, 172332757 edges, 22071 markings/sec, 870 secs
lola: STP completed || 23 tries, 22112008 fired transitions, 875 secs || 19236880 markings, 173377188 edges, 23834 markings/sec, 875 secs
lola: STP completed || 23 tries, 22251793 fired transitions, 880 secs || 19352634 markings, 174405470 edges, 23151 markings/sec, 880 secs
lola: STP completed || 23 tries, 22376388 fired transitions, 885 secs || 19461417 markings, 175395952 edges, 21757 markings/sec, 885 secs
lola: STP completed || 23 tries, 22494907 fired transitions, 890 secs || 19573293 markings, 176362731 edges, 22375 markings/sec, 890 secs
lola: STP completed || 23 tries, 22613056 fired transitions, 895 secs || 19682345 markings, 177322448 edges, 21810 markings/sec, 895 secs
lola: STP completed || 23 tries, 22737593 fired transitions, 900 secs || 19813519 markings, 178340467 edges, 26235 markings/sec, 900 secs
lola: STP completed || 23 tries, 22869358 fired transitions, 905 secs || 19955935 markings, 179381871 edges, 28483 markings/sec, 905 secs
lola: STP completed || 24 tries, 23004122 fired transitions, 910 secs || 20095841 markings, 180379866 edges, 27981 markings/sec, 910 secs
lola: STP completed || 24 tries, 23131883 fired transitions, 915 secs || 20235736 markings, 181406450 edges, 27979 markings/sec, 915 secs
lola: STP completed || 24 tries, 23266087 fired transitions, 920 secs || 20376504 markings, 182448539 edges, 28154 markings/sec, 920 secs
lola: STP completed || 24 tries, 23398692 fired transitions, 925 secs || 20518350 markings, 183505327 edges, 28369 markings/sec, 925 secs
lola: STP completed || 24 tries, 23527717 fired transitions, 930 secs || 20656859 markings, 184514283 edges, 27702 markings/sec, 930 secs
lola: STP completed || 24 tries, 23649740 fired transitions, 935 secs || 20795933 markings, 185521985 edges, 27815 markings/sec, 935 secs
lola: STP completed || 24 tries, 23780737 fired transitions, 940 secs || 20935619 markings, 186541680 edges, 27937 markings/sec, 940 secs
lola: STP completed || 24 tries, 23905290 fired transitions, 945 secs || 21072155 markings, 187531946 edges, 27307 markings/sec, 945 secs
lola: STP completed || 25 tries, 24034042 fired transitions, 950 secs || 21208667 markings, 188561661 edges, 27302 markings/sec, 950 secs
lola: STP completed || 25 tries, 24165470 fired transitions, 955 secs || 21351513 markings, 189589703 edges, 28569 markings/sec, 955 secs
lola: STP completed || 25 tries, 24292231 fired transitions, 960 secs || 21488084 markings, 190590075 edges, 27314 markings/sec, 960 secs
lola: STP completed || 25 tries, 24426486 fired transitions, 965 secs || 21624892 markings, 191621567 edges, 27362 markings/sec, 965 secs
lola: STP completed || 25 tries, 24554491 fired transitions, 970 secs || 21761999 markings, 192642402 edges, 27421 markings/sec, 970 secs
lola: STP completed || 25 tries, 24687571 fired transitions, 975 secs || 21901296 markings, 193694418 edges, 27859 markings/sec, 975 secs
lola: STP completed || 25 tries, 24818814 fired transitions, 980 secs || 22038350 markings, 194727005 edges, 27411 markings/sec, 980 secs
lola: STP completed || 25 tries, 24945113 fired transitions, 985 secs || 22175441 markings, 195746489 edges, 27418 markings/sec, 985 secs
lola: STP completed || 26 tries, 25077495 fired transitions, 990 secs || 22315395 markings, 196787232 edges, 27991 markings/sec, 990 secs
lola: STP completed || 26 tries, 25198912 fired transitions, 995 secs || 22450755 markings, 197812004 edges, 27072 markings/sec, 995 secs
lola: STP completed || 26 tries, 25324287 fired transitions, 1000 secs || 22586832 markings, 198845149 edges, 27215 markings/sec, 1000 secs
lola: STP completed || 26 tries, 25459680 fired transitions, 1005 secs || 22726316 markings, 199902420 edges, 27897 markings/sec, 1005 secs
lola: STP completed || 26 tries, 25594222 fired transitions, 1010 secs || 22866067 markings, 200949550 edges, 27950 markings/sec, 1010 secs
lola: STP completed || 26 tries, 25719221 fired transitions, 1015 secs || 23004393 markings, 201965972 edges, 27665 markings/sec, 1015 secs
lola: STP completed || 26 tries, 25850346 fired transitions, 1020 secs || 23142023 markings, 202986816 edges, 27526 markings/sec, 1020 secs
lola: STP completed || 26 tries, 25982318 fired transitions, 1025 secs || 23281467 markings, 204026448 edges, 27889 markings/sec, 1025 secs
lola: STP completed || 27 tries, 26112784 fired transitions, 1030 secs || 23418362 markings, 205038622 edges, 27379 markings/sec, 1030 secs
lola: STP completed || 27 tries, 26242002 fired transitions, 1035 secs || 23555936 markings, 206047225 edges, 27515 markings/sec, 1035 secs
lola: STP completed || 27 tries, 26366193 fired transitions, 1040 secs || 23692802 markings, 207040340 edges, 27373 markings/sec, 1040 secs
lola: STP completed || 27 tries, 26499540 fired transitions, 1045 secs || 23835044 markings, 208074447 edges, 28448 markings/sec, 1045 secs
lola: STP completed || 27 tries, 26624076 fired transitions, 1050 secs || 23972473 markings, 209060213 edges, 27486 markings/sec, 1050 secs
lola: STP completed || 27 tries, 26752556 fired transitions, 1055 secs || 24109974 markings, 210081065 edges, 27500 markings/sec, 1055 secs
lola: STP completed || 27 tries, 26884651 fired transitions, 1060 secs || 24247846 markings, 211126653 edges, 27574 markings/sec, 1060 secs
lola: STP completed || 28 tries, 27004417 fired transitions, 1065 secs || 24383072 markings, 212131014 edges, 27045 markings/sec, 1065 secs
lola: STP completed || 28 tries, 27133391 fired transitions, 1070 secs || 24518871 markings, 213128770 edges, 27160 markings/sec, 1070 secs
lola: STP completed || 28 tries, 27257783 fired transitions, 1075 secs || 24654573 markings, 214122370 edges, 27140 markings/sec, 1075 secs
lola: STP completed || 28 tries, 27389036 fired transitions, 1080 secs || 24793719 markings, 215118669 edges, 27829 markings/sec, 1080 secs
lola: STP completed || 28 tries, 27511263 fired transitions, 1085 secs || 24928801 markings, 216104507 edges, 27016 markings/sec, 1085 secs
lola: STP completed || 28 tries, 27639131 fired transitions, 1090 secs || 25062525 markings, 217090181 edges, 26745 markings/sec, 1090 secs
lola: STP completed || 28 tries, 27765109 fired transitions, 1095 secs || 25197149 markings, 218096041 edges, 26925 markings/sec, 1095 secs
lola: STP completed || 28 tries, 27882939 fired transitions, 1100 secs || 25327799 markings, 219071918 edges, 26130 markings/sec, 1100 secs
lola: STP completed || 29 tries, 28002168 fired transitions, 1105 secs || 25461929 markings, 220066276 edges, 26826 markings/sec, 1105 secs
lola: STP completed || 29 tries, 28125102 fired transitions, 1110 secs || 25594974 markings, 221047484 edges, 26609 markings/sec, 1110 secs
lola: STP completed || 29 tries, 28245838 fired transitions, 1115 secs || 25728973 markings, 222062168 edges, 26800 markings/sec, 1115 secs
lola: STP completed || 29 tries, 28367215 fired transitions, 1120 secs || 25867773 markings, 223068676 edges, 27760 markings/sec, 1120 secs
lola: STP completed || 29 tries, 28487166 fired transitions, 1125 secs || 26005568 markings, 224063544 edges, 27559 markings/sec, 1125 secs
lola: STP completed || 29 tries, 28604814 fired transitions, 1130 secs || 26143725 markings, 225067470 edges, 27631 markings/sec, 1130 secs
lola: STP completed || 29 tries, 28723527 fired transitions, 1135 secs || 26284776 markings, 226075558 edges, 28210 markings/sec, 1135 secs
lola: STP completed || 29 tries, 28842209 fired transitions, 1140 secs || 26422427 markings, 227101032 edges, 27530 markings/sec, 1140 secs
lola: STP completed || 29 tries, 28960509 fired transitions, 1145 secs || 26559897 markings, 228081718 edges, 27494 markings/sec, 1145 secs
lola: STP completed || 30 tries, 29084412 fired transitions, 1150 secs || 26700385 markings, 229110109 edges, 28098 markings/sec, 1150 secs
lola: STP completed || 30 tries, 29215639 fired transitions, 1155 secs || 26842361 markings, 230158447 edges, 28395 markings/sec, 1155 secs
lola: STP completed || 30 tries, 29353744 fired transitions, 1160 secs || 26986596 markings, 231208051 edges, 28847 markings/sec, 1160 secs
lola: STP completed || 30 tries, 29489759 fired transitions, 1165 secs || 27127355 markings, 232229678 edges, 28152 markings/sec, 1165 secs
lola: STP completed || 30 tries, 29616327 fired transitions, 1170 secs || 27263651 markings, 233235698 edges, 27259 markings/sec, 1170 secs
lola: STP completed || 30 tries, 29740843 fired transitions, 1175 secs || 27399872 markings, 234264122 edges, 27244 markings/sec, 1175 secs
lola: STP completed || 30 tries, 29865323 fired transitions, 1180 secs || 27539238 markings, 235283569 edges, 27873 markings/sec, 1180 secs
lola: STP completed || 30 tries, 29986361 fired transitions, 1185 secs || 27676215 markings, 236300010 edges, 27395 markings/sec, 1185 secs
lola: STP completed || 31 tries, 30104592 fired transitions, 1190 secs || 27812221 markings, 237323159 edges, 27201 markings/sec, 1190 secs
lola: STP completed || 31 tries, 30223371 fired transitions, 1195 secs || 27949282 markings, 238340174 edges, 27412 markings/sec, 1195 secs
lola: STP completed || 31 tries, 30342018 fired transitions, 1200 secs || 28088436 markings, 239340871 edges, 27831 markings/sec, 1200 secs
lola: STP completed || 31 tries, 30460355 fired transitions, 1205 secs || 28226739 markings, 240349113 edges, 27661 markings/sec, 1205 secs
lola: STP completed || 31 tries, 30578197 fired transitions, 1210 secs || 28362249 markings, 241348743 edges, 27102 markings/sec, 1210 secs
lola: STP completed || 31 tries, 30708207 fired transitions, 1215 secs || 28499405 markings, 242353133 edges, 27431 markings/sec, 1215 secs
lola: STP completed || 31 tries, 30829944 fired transitions, 1220 secs || 28636399 markings, 243382621 edges, 27399 markings/sec, 1220 secs
lola: STP completed || 31 tries, 30956359 fired transitions, 1225 secs || 28773462 markings, 244412255 edges, 27413 markings/sec, 1225 secs
lola: STP completed || 32 tries, 31075050 fired transitions, 1230 secs || 28911464 markings, 245420959 edges, 27600 markings/sec, 1230 secs
lola: STP completed || 32 tries, 31196446 fired transitions, 1235 secs || 29050437 markings, 246431506 edges, 27795 markings/sec, 1235 secs
lola: STP completed || 32 tries, 31314331 fired transitions, 1240 secs || 29187999 markings, 247443163 edges, 27512 markings/sec, 1240 secs
lola: STP completed || 32 tries, 31432452 fired transitions, 1245 secs || 29325362 markings, 248436122 edges, 27473 markings/sec, 1245 secs
lola: STP completed || 32 tries, 31552862 fired transitions, 1250 secs || 29461065 markings, 249405664 edges, 27141 markings/sec, 1250 secs
lola: STP completed || 32 tries, 31673005 fired transitions, 1255 secs || 29598127 markings, 250412225 edges, 27412 markings/sec, 1255 secs
lola: STP completed || 32 tries, 31797364 fired transitions, 1260 secs || 29736139 markings, 251435422 edges, 27602 markings/sec, 1260 secs
lola: STP completed || 32 tries, 31927519 fired transitions, 1265 secs || 29876942 markings, 252457492 edges, 28161 markings/sec, 1265 secs
lola: STP completed || 33 tries, 32056342 fired transitions, 1270 secs || 30016284 markings, 253481148 edges, 27868 markings/sec, 1270 secs
lola: STP completed || 33 tries, 32188214 fired transitions, 1275 secs || 30152560 markings, 254464303 edges, 27255 markings/sec, 1275 secs
lola: STP completed || 33 tries, 32315711 fired transitions, 1280 secs || 30290476 markings, 255455499 edges, 27583 markings/sec, 1280 secs
lola: STP completed || 33 tries, 32433949 fired transitions, 1285 secs || 30425360 markings, 256422490 edges, 26977 markings/sec, 1285 secs
lola: STP completed || 33 tries, 32551895 fired transitions, 1290 secs || 30559465 markings, 257404737 edges, 26821 markings/sec, 1290 secs
lola: STP completed || 33 tries, 32671823 fired transitions, 1295 secs || 30694446 markings, 258414072 edges, 26996 markings/sec, 1295 secs
lola: STP completed || 33 tries, 32809425 fired transitions, 1300 secs || 30833484 markings, 259436474 edges, 27808 markings/sec, 1300 secs
lola: STP completed || 33 tries, 32936880 fired transitions, 1305 secs || 30969322 markings, 260453844 edges, 27168 markings/sec, 1305 secs
lola: STP completed || 34 tries, 33061242 fired transitions, 1310 secs || 31104966 markings, 261474314 edges, 27129 markings/sec, 1310 secs
lola: STP completed || 34 tries, 33180451 fired transitions, 1315 secs || 31236441 markings, 262458724 edges, 26295 markings/sec, 1315 secs
lola: STP completed || 34 tries, 33299888 fired transitions, 1320 secs || 31370507 markings, 263444338 edges, 26813 markings/sec, 1320 secs
lola: STP completed || 34 tries, 33417165 fired transitions, 1325 secs || 31502928 markings, 264410454 edges, 26484 markings/sec, 1325 secs
lola: STP completed || 34 tries, 33540621 fired transitions, 1330 secs || 31636555 markings, 265417901 edges, 26725 markings/sec, 1330 secs
lola: STP completed || 34 tries, 33670535 fired transitions, 1335 secs || 31774599 markings, 266429982 edges, 27609 markings/sec, 1335 secs
lola: STP completed || 34 tries, 33791655 fired transitions, 1340 secs || 31911854 markings, 267444374 edges, 27451 markings/sec, 1340 secs
lola: STP completed || 34 tries, 33915265 fired transitions, 1345 secs || 32049015 markings, 268445065 edges, 27432 markings/sec, 1345 secs
lola: STP completed || 35 tries, 34041704 fired transitions, 1350 secs || 32186630 markings, 269455082 edges, 27523 markings/sec, 1350 secs
lola: STP completed || 35 tries, 34159662 fired transitions, 1355 secs || 32322398 markings, 270446411 edges, 27154 markings/sec, 1355 secs
lola: STP completed || 35 tries, 34283143 fired transitions, 1360 secs || 32459568 markings, 271444083 edges, 27434 markings/sec, 1360 secs
lola: STP completed || 35 tries, 34414703 fired transitions, 1365 secs || 32595687 markings, 272468091 edges, 27224 markings/sec, 1365 secs
lola: STP completed || 35 tries, 34545782 fired transitions, 1370 secs || 32732217 markings, 273504538 edges, 27306 markings/sec, 1370 secs
lola: STP completed || 35 tries, 34679749 fired transitions, 1375 secs || 32870436 markings, 274513533 edges, 27644 markings/sec, 1375 secs
lola: STP completed || 35 tries, 34814437 fired transitions, 1380 secs || 33010203 markings, 275568343 edges, 27953 markings/sec, 1380 secs
lola: STP completed || 35 tries, 34950465 fired transitions, 1385 secs || 33148185 markings, 276623468 edges, 27596 markings/sec, 1385 secs
lola: STP completed || 36 tries, 35083965 fired transitions, 1390 secs || 33289011 markings, 277665357 edges, 28165 markings/sec, 1390 secs
lola: STP completed || 36 tries, 35216777 fired transitions, 1395 secs || 33429419 markings, 278695157 edges, 28082 markings/sec, 1395 secs
lola: STP completed || 36 tries, 35349573 fired transitions, 1400 secs || 33567632 markings, 279715551 edges, 27643 markings/sec, 1400 secs
lola: STP completed || 36 tries, 35481304 fired transitions, 1405 secs || 33703954 markings, 280734818 edges, 27264 markings/sec, 1405 secs
lola: STP completed || 36 tries, 35611546 fired transitions, 1410 secs || 33841167 markings, 281774945 edges, 27443 markings/sec, 1410 secs
lola: STP completed || 36 tries, 35747983 fired transitions, 1415 secs || 33981660 markings, 282830142 edges, 28099 markings/sec, 1415 secs
lola: STP completed || 36 tries, 35880383 fired transitions, 1420 secs || 34118788 markings, 283861781 edges, 27426 markings/sec, 1420 secs
lola: STP completed || 37 tries, 36013673 fired transitions, 1425 secs || 34259021 markings, 284903613 edges, 28047 markings/sec, 1425 secs
lola: STP completed || 37 tries, 36143720 fired transitions, 1430 secs || 34394567 markings, 285929360 edges, 27109 markings/sec, 1430 secs
lola: STP completed || 37 tries, 36276976 fired transitions, 1435 secs || 34533896 markings, 286975292 edges, 27866 markings/sec, 1435 secs
lola: STP completed || 37 tries, 36406519 fired transitions, 1440 secs || 34671214 markings, 288010117 edges, 27464 markings/sec, 1440 secs
lola: STP completed || 37 tries, 36536246 fired transitions, 1445 secs || 34807864 markings, 289033560 edges, 27330 markings/sec, 1445 secs
lola: STP completed || 37 tries, 36666596 fired transitions, 1450 secs || 34950371 markings, 290073045 edges, 28501 markings/sec, 1450 secs
lola: STP completed || 37 tries, 36793892 fired transitions, 1455 secs || 35091115 markings, 291083933 edges, 28149 markings/sec, 1455 secs
lola: STP completed || 37 tries, 36919701 fired transitions, 1460 secs || 35229240 markings, 292098690 edges, 27625 markings/sec, 1460 secs
lola: STP completed || 38 tries, 37047301 fired transitions, 1465 secs || 35367402 markings, 293119371 edges, 27632 markings/sec, 1465 secs
lola: STP completed || 38 tries, 37174279 fired transitions, 1470 secs || 35508149 markings, 294142455 edges, 28149 markings/sec, 1470 secs
lola: STP completed || 38 tries, 37302291 fired transitions, 1475 secs || 35648158 markings, 295159053 edges, 28002 markings/sec, 1475 secs
lola: STP completed || 38 tries, 37428606 fired transitions, 1480 secs || 35787440 markings, 296181077 edges, 27856 markings/sec, 1480 secs
lola: STP completed || 38 tries, 37558761 fired transitions, 1485 secs || 35927523 markings, 297205474 edges, 28017 markings/sec, 1485 secs
lola: STP completed || 38 tries, 37687288 fired transitions, 1490 secs || 36066046 markings, 298214144 edges, 27705 markings/sec, 1490 secs
lola: STP completed || 38 tries, 37818009 fired transitions, 1495 secs || 36203505 markings, 299254767 edges, 27492 markings/sec, 1495 secs
lola: STP completed || 38 tries, 37949063 fired transitions, 1500 secs || 36339648 markings, 300273625 edges, 27229 markings/sec, 1500 secs
lola: STP completed || 39 tries, 38081480 fired transitions, 1505 secs || 36479313 markings, 301282584 edges, 27933 markings/sec, 1505 secs
lola: STP completed || 39 tries, 38213485 fired transitions, 1510 secs || 36620337 markings, 302316795 edges, 28205 markings/sec, 1510 secs
lola: STP completed || 39 tries, 38344972 fired transitions, 1515 secs || 36756889 markings, 303364071 edges, 27310 markings/sec, 1515 secs
lola: STP completed || 39 tries, 38474424 fired transitions, 1520 secs || 36892938 markings, 304357259 edges, 27210 markings/sec, 1520 secs
lola: STP completed || 39 tries, 38602155 fired transitions, 1525 secs || 37030606 markings, 305389426 edges, 27534 markings/sec, 1525 secs
lola: STP completed || 39 tries, 38721409 fired transitions, 1530 secs || 37165269 markings, 306413783 edges, 26933 markings/sec, 1530 secs
lola: STP completed || 39 tries, 38852482 fired transitions, 1535 secs || 37302020 markings, 307441031 edges, 27350 markings/sec, 1535 secs
lola: STP completed || 39 tries, 38973653 fired transitions, 1540 secs || 37436338 markings, 308460742 edges, 26864 markings/sec, 1540 secs
lola: STP completed || 40 tries, 39097582 fired transitions, 1545 secs || 37571248 markings, 309440564 edges, 26982 markings/sec, 1545 secs
Killed
FORMULA Raft-PT-08-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 1496439447622

--------------------
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-08"
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-08.tgz
mv S_Raft-PT-08 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-08, 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-149443432700017"
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 ;