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 Raft-PT-10, examination is ReachabilityDeadlock
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r068-csrt-149440963000035
=====================================================================

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

=== Now, execution of the tool begins

BK_START 1494799790808


Time: 3600 - MCC
----- Start make prepare stdout -----
checking for too many tokens
----- Start make result stdout -----
ReachabilityDeadlock @ Raft-PT-10 @ 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: 1376/65536 symbol table entries, 0 collisions
lola: preprocessing...
lola: finding significant places
lola: 508 places, 868 transitions, 408 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 857 transition conflict sets
lola: TASK
lola: reading formula from Raft-PT-10-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 52 bytes per marking, with 8 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 117 generators (13 in search tree, 104 by composition)
lola: representing 3.6288E+06 symmetries
lola: 0 dead branches visited in search tree
lola: STP: formula with 16874 variables and 61659 clauses shipped to Minisat
lola: stp: The siphon/trap property does not hold
lola: STP completed || 1 tries, 72602 fired transitions, 0 secs || 65944 markings, 463306 edges, 13189 markings/sec, 0 secs
lola: STP completed || 1 tries, 144011 fired transitions, 5 secs || 135491 markings, 957894 edges, 13909 markings/sec, 5 secs
lola: STP completed || 1 tries, 217060 fired transitions, 10 secs || 201767 markings, 1430750 edges, 13255 markings/sec, 10 secs
lola: STP completed || 1 tries, 286097 fired transitions, 15 secs || 263550 markings, 2035456 edges, 12357 markings/sec, 15 secs
lola: STP completed || 1 tries, 352666 fired transitions, 20 secs || 330178 markings, 2609881 edges, 13326 markings/sec, 20 secs
lola: STP completed || 1 tries, 420952 fired transitions, 25 secs || 399246 markings, 3132724 edges, 13814 markings/sec, 25 secs
lola: STP completed || 1 tries, 486658 fired transitions, 30 secs || 466381 markings, 3634305 edges, 13427 markings/sec, 30 secs
lola: STP completed || 1 tries, 553139 fired transitions, 35 secs || 532894 markings, 4137009 edges, 13303 markings/sec, 35 secs
lola: STP completed || 1 tries, 620391 fired transitions, 40 secs || 601474 markings, 4650303 edges, 13716 markings/sec, 40 secs
lola: STP completed || 1 tries, 688714 fired transitions, 45 secs || 671902 markings, 5180454 edges, 14086 markings/sec, 45 secs
lola: STP completed || 1 tries, 757974 fired transitions, 50 secs || 743089 markings, 5726257 edges, 14237 markings/sec, 50 secs
lola: STP completed || 1 tries, 827671 fired transitions, 55 secs || 815750 markings, 6274014 edges, 14532 markings/sec, 55 secs
lola: STP completed || 1 tries, 898258 fired transitions, 60 secs || 889329 markings, 6829479 edges, 14716 markings/sec, 60 secs
lola: STP completed || 1 tries, 963971 fired transitions, 65 secs || 958829 markings, 7359017 edges, 13900 markings/sec, 65 secs
lola: STP completed || 2 tries, 1032484 fired transitions, 70 secs || 1032127 markings, 7920963 edges, 14660 markings/sec, 70 secs
lola: STP completed || 2 tries, 1101249 fired transitions, 75 secs || 1104316 markings, 8464514 edges, 14438 markings/sec, 75 secs
lola: STP completed || 2 tries, 1167431 fired transitions, 80 secs || 1171381 markings, 8973521 edges, 13413 markings/sec, 80 secs
lola: STP completed || 2 tries, 1235573 fired transitions, 85 secs || 1243143 markings, 9513677 edges, 14352 markings/sec, 85 secs
lola: STP completed || 2 tries, 1303644 fired transitions, 90 secs || 1315458 markings, 10059115 edges, 14463 markings/sec, 90 secs
lola: STP completed || 2 tries, 1371374 fired transitions, 95 secs || 1387894 markings, 10600221 edges, 14487 markings/sec, 95 secs
lola: STP completed || 2 tries, 1439530 fired transitions, 100 secs || 1460002 markings, 11144521 edges, 14422 markings/sec, 100 secs
lola: STP completed || 2 tries, 1507666 fired transitions, 105 secs || 1532884 markings, 11699550 edges, 14576 markings/sec, 105 secs
lola: STP completed || 2 tries, 1576091 fired transitions, 110 secs || 1606976 markings, 12259506 edges, 14818 markings/sec, 110 secs
lola: STP completed || 2 tries, 1644171 fired transitions, 115 secs || 1681627 markings, 12827581 edges, 14930 markings/sec, 115 secs
lola: STP completed || 2 tries, 1712582 fired transitions, 120 secs || 1756050 markings, 13394092 edges, 14885 markings/sec, 120 secs
lola: STP completed || 2 tries, 1781012 fired transitions, 125 secs || 1831027 markings, 13965710 edges, 14995 markings/sec, 125 secs
lola: STP completed || 2 tries, 1849657 fired transitions, 130 secs || 1906396 markings, 14533341 edges, 15074 markings/sec, 130 secs
lola: STP completed || 2 tries, 1920010 fired transitions, 135 secs || 1982105 markings, 15108691 edges, 15142 markings/sec, 135 secs
lola: STP completed || 2 tries, 1989420 fired transitions, 140 secs || 2053131 markings, 15648366 edges, 14205 markings/sec, 140 secs
lola: STP completed || 3 tries, 2058427 fired transitions, 145 secs || 2130071 markings, 16216106 edges, 15388 markings/sec, 145 secs
lola: STP completed || 3 tries, 2126635 fired transitions, 150 secs || 2207508 markings, 16785510 edges, 15487 markings/sec, 150 secs
lola: STP completed || 3 tries, 2195692 fired transitions, 155 secs || 2285786 markings, 17358424 edges, 15656 markings/sec, 155 secs
lola: STP completed || 3 tries, 2264649 fired transitions, 160 secs || 2361423 markings, 17913978 edges, 15127 markings/sec, 160 secs
lola: STP completed || 3 tries, 2333694 fired transitions, 165 secs || 2435942 markings, 18461991 edges, 14904 markings/sec, 165 secs
lola: STP completed || 3 tries, 2405950 fired transitions, 170 secs || 2512471 markings, 19027525 edges, 15306 markings/sec, 170 secs
lola: STP completed || 3 tries, 2478150 fired transitions, 175 secs || 2590333 markings, 19601205 edges, 15572 markings/sec, 175 secs
lola: STP completed || 3 tries, 2549879 fired transitions, 180 secs || 2668502 markings, 20171656 edges, 15634 markings/sec, 180 secs
lola: STP completed || 3 tries, 2621826 fired transitions, 185 secs || 2746037 markings, 20738329 edges, 15507 markings/sec, 185 secs
lola: STP completed || 3 tries, 2693907 fired transitions, 190 secs || 2819553 markings, 21271393 edges, 14703 markings/sec, 190 secs
lola: STP completed || 3 tries, 2766027 fired transitions, 195 secs || 2891038 markings, 21798036 edges, 14297 markings/sec, 195 secs
lola: STP completed || 3 tries, 2837884 fired transitions, 200 secs || 2961276 markings, 22308696 edges, 14048 markings/sec, 200 secs
lola: STP completed || 3 tries, 2910245 fired transitions, 205 secs || 3031881 markings, 22828570 edges, 14121 markings/sec, 205 secs
lola: STP completed || 3 tries, 2982795 fired transitions, 210 secs || 3101847 markings, 23346462 edges, 13993 markings/sec, 210 secs
lola: STP completed || 4 tries, 3053412 fired transitions, 215 secs || 3172533 markings, 23883558 edges, 14137 markings/sec, 215 secs
lola: STP completed || 4 tries, 3128293 fired transitions, 220 secs || 3246913 markings, 24448297 edges, 14876 markings/sec, 220 secs
lola: STP completed || 4 tries, 3198211 fired transitions, 225 secs || 3321799 markings, 25014281 edges, 14977 markings/sec, 225 secs
lola: STP completed || 4 tries, 3266923 fired transitions, 230 secs || 3394239 markings, 25558173 edges, 14488 markings/sec, 230 secs
lola: STP completed || 4 tries, 3337383 fired transitions, 235 secs || 3465446 markings, 26099461 edges, 14241 markings/sec, 235 secs
lola: STP completed || 4 tries, 3407236 fired transitions, 240 secs || 3537602 markings, 26639456 edges, 14431 markings/sec, 240 secs
lola: STP completed || 4 tries, 3477275 fired transitions, 245 secs || 3609293 markings, 27182931 edges, 14338 markings/sec, 245 secs
lola: STP completed || 4 tries, 3547671 fired transitions, 250 secs || 3680833 markings, 27715324 edges, 14308 markings/sec, 250 secs
lola: STP completed || 4 tries, 3618377 fired transitions, 255 secs || 3752198 markings, 28259332 edges, 14273 markings/sec, 255 secs
lola: STP completed || 4 tries, 3687243 fired transitions, 260 secs || 3823806 markings, 28804505 edges, 14322 markings/sec, 260 secs
lola: STP completed || 4 tries, 3755015 fired transitions, 265 secs || 3896017 markings, 29359618 edges, 14442 markings/sec, 265 secs
lola: STP completed || 4 tries, 3822982 fired transitions, 270 secs || 3967625 markings, 29914272 edges, 14322 markings/sec, 270 secs
lola: STP completed || 4 tries, 3891214 fired transitions, 275 secs || 4039633 markings, 30471989 edges, 14402 markings/sec, 275 secs
lola: STP completed || 4 tries, 3959439 fired transitions, 280 secs || 4111921 markings, 31021053 edges, 14458 markings/sec, 280 secs
lola: STP completed || 5 tries, 4028053 fired transitions, 285 secs || 4185270 markings, 31557861 edges, 14670 markings/sec, 285 secs
lola: STP completed || 5 tries, 4097381 fired transitions, 290 secs || 4259828 markings, 32102455 edges, 14912 markings/sec, 290 secs
lola: STP completed || 5 tries, 4167884 fired transitions, 295 secs || 4333872 markings, 32644020 edges, 14809 markings/sec, 295 secs
lola: STP completed || 5 tries, 4241205 fired transitions, 300 secs || 4408824 markings, 33190958 edges, 14990 markings/sec, 300 secs
lola: STP completed || 5 tries, 4317840 fired transitions, 305 secs || 4484293 markings, 33740509 edges, 15094 markings/sec, 305 secs
lola: STP completed || 5 tries, 4393506 fired transitions, 310 secs || 4559805 markings, 34294351 edges, 15102 markings/sec, 310 secs
lola: STP completed || 5 tries, 4468239 fired transitions, 315 secs || 4637621 markings, 34861770 edges, 15563 markings/sec, 315 secs
lola: STP completed || 5 tries, 4537056 fired transitions, 320 secs || 4715262 markings, 35429629 edges, 15528 markings/sec, 320 secs
lola: STP completed || 5 tries, 4605907 fired transitions, 325 secs || 4792686 markings, 36000734 edges, 15485 markings/sec, 325 secs
lola: STP completed || 5 tries, 4675066 fired transitions, 330 secs || 4870434 markings, 36567013 edges, 15550 markings/sec, 330 secs
lola: STP completed || 5 tries, 4744054 fired transitions, 335 secs || 4944413 markings, 37112465 edges, 14796 markings/sec, 335 secs
lola: STP completed || 5 tries, 4813079 fired transitions, 340 secs || 5021613 markings, 37676121 edges, 15440 markings/sec, 340 secs
lola: STP completed || 5 tries, 4882288 fired transitions, 345 secs || 5099568 markings, 38245579 edges, 15591 markings/sec, 345 secs
lola: STP completed || 5 tries, 4951328 fired transitions, 350 secs || 5176370 markings, 38821559 edges, 15360 markings/sec, 350 secs
lola: STP completed || 6 tries, 5020057 fired transitions, 355 secs || 5253906 markings, 39388122 edges, 15507 markings/sec, 355 secs
lola: STP completed || 6 tries, 5088919 fired transitions, 360 secs || 5331065 markings, 39960199 edges, 15432 markings/sec, 360 secs
lola: STP completed || 6 tries, 5158006 fired transitions, 365 secs || 5405732 markings, 40505996 edges, 14933 markings/sec, 365 secs
lola: STP completed || 6 tries, 5227121 fired transitions, 370 secs || 5481489 markings, 41061215 edges, 15151 markings/sec, 370 secs
lola: STP completed || 6 tries, 5296498 fired transitions, 375 secs || 5559045 markings, 41636661 edges, 15511 markings/sec, 375 secs
lola: STP completed || 6 tries, 5365395 fired transitions, 380 secs || 5636544 markings, 42214642 edges, 15500 markings/sec, 380 secs
lola: STP completed || 6 tries, 5434286 fired transitions, 385 secs || 5713577 markings, 42785450 edges, 15407 markings/sec, 385 secs
lola: STP completed || 6 tries, 5503054 fired transitions, 390 secs || 5790934 markings, 43356032 edges, 15471 markings/sec, 390 secs
lola: STP completed || 6 tries, 5572194 fired transitions, 395 secs || 5868860 markings, 43929997 edges, 15585 markings/sec, 395 secs
lola: STP completed || 6 tries, 5641014 fired transitions, 400 secs || 5946328 markings, 44508267 edges, 15494 markings/sec, 400 secs
lola: STP completed || 6 tries, 5710291 fired transitions, 405 secs || 6023817 markings, 45082596 edges, 15498 markings/sec, 405 secs
lola: STP completed || 6 tries, 5779593 fired transitions, 410 secs || 6101238 markings, 45643345 edges, 15484 markings/sec, 410 secs
lola: STP completed || 6 tries, 5848884 fired transitions, 415 secs || 6178369 markings, 46215604 edges, 15426 markings/sec, 415 secs
lola: STP completed || 6 tries, 5917882 fired transitions, 420 secs || 6255634 markings, 46781337 edges, 15453 markings/sec, 420 secs
lola: STP completed || 6 tries, 5987037 fired transitions, 425 secs || 6329753 markings, 47325666 edges, 14824 markings/sec, 425 secs
lola: STP completed || 7 tries, 6054490 fired transitions, 430 secs || 6402365 markings, 47863355 edges, 14522 markings/sec, 430 secs
lola: STP completed || 7 tries, 6122665 fired transitions, 435 secs || 6473890 markings, 48406603 edges, 14305 markings/sec, 435 secs
lola: STP completed || 7 tries, 6190395 fired transitions, 440 secs || 6545796 markings, 48953505 edges, 14381 markings/sec, 440 secs
lola: STP completed || 7 tries, 6258566 fired transitions, 445 secs || 6618535 markings, 49500066 edges, 14548 markings/sec, 445 secs
lola: STP completed || 7 tries, 6327405 fired transitions, 450 secs || 6690709 markings, 50039991 edges, 14435 markings/sec, 450 secs
lola: STP completed || 7 tries, 6395380 fired transitions, 455 secs || 6763318 markings, 50592393 edges, 14522 markings/sec, 455 secs
lola: STP completed || 7 tries, 6463006 fired transitions, 460 secs || 6835867 markings, 51138347 edges, 14510 markings/sec, 460 secs
lola: STP completed || 7 tries, 6530737 fired transitions, 465 secs || 6909632 markings, 51700582 edges, 14753 markings/sec, 465 secs
lola: STP completed || 7 tries, 6599128 fired transitions, 470 secs || 6984762 markings, 52284308 edges, 15026 markings/sec, 470 secs
lola: STP completed || 7 tries, 6669924 fired transitions, 475 secs || 7059945 markings, 52853096 edges, 15037 markings/sec, 475 secs
lola: STP completed || 7 tries, 6743148 fired transitions, 480 secs || 7135213 markings, 53427239 edges, 15054 markings/sec, 480 secs
lola: STP completed || 7 tries, 6816418 fired transitions, 485 secs || 7210353 markings, 53997898 edges, 15028 markings/sec, 485 secs
lola: STP completed || 7 tries, 6884362 fired transitions, 490 secs || 7282451 markings, 54536321 edges, 14420 markings/sec, 490 secs
lola: STP completed || 7 tries, 6951959 fired transitions, 495 secs || 7354824 markings, 55078578 edges, 14475 markings/sec, 495 secs
lola: STP completed || 8 tries, 7019923 fired transitions, 500 secs || 7427006 markings, 55622162 edges, 14436 markings/sec, 500 secs
lola: STP completed || 8 tries, 7088012 fired transitions, 505 secs || 7499271 markings, 56164066 edges, 14453 markings/sec, 505 secs
lola: STP completed || 8 tries, 7156007 fired transitions, 510 secs || 7571825 markings, 56719944 edges, 14511 markings/sec, 510 secs
lola: STP completed || 8 tries, 7223553 fired transitions, 515 secs || 7646681 markings, 57298279 edges, 14971 markings/sec, 515 secs
lola: STP completed || 8 tries, 7291334 fired transitions, 520 secs || 7721936 markings, 57873959 edges, 15051 markings/sec, 520 secs
lola: STP completed || 8 tries, 7359318 fired transitions, 525 secs || 7796775 markings, 58442739 edges, 14968 markings/sec, 525 secs
lola: STP completed || 8 tries, 7427188 fired transitions, 530 secs || 7872071 markings, 59014796 edges, 15059 markings/sec, 530 secs
lola: STP completed || 8 tries, 7495426 fired transitions, 535 secs || 7946818 markings, 59585884 edges, 14949 markings/sec, 535 secs
lola: STP completed || 8 tries, 7563372 fired transitions, 540 secs || 8021427 markings, 60154323 edges, 14922 markings/sec, 540 secs
lola: STP completed || 8 tries, 7631417 fired transitions, 545 secs || 8096481 markings, 60732903 edges, 15011 markings/sec, 545 secs
lola: STP completed || 8 tries, 7699139 fired transitions, 550 secs || 8170536 markings, 61292688 edges, 14811 markings/sec, 550 secs
lola: STP completed || 8 tries, 7767340 fired transitions, 555 secs || 8245031 markings, 61853375 edges, 14899 markings/sec, 555 secs
lola: STP completed || 8 tries, 7835558 fired transitions, 560 secs || 8318982 markings, 62414585 edges, 14790 markings/sec, 560 secs
lola: STP completed || 8 tries, 7903471 fired transitions, 565 secs || 8390968 markings, 62954471 edges, 14397 markings/sec, 565 secs
lola: STP completed || 8 tries, 7970858 fired transitions, 570 secs || 8463234 markings, 63490161 edges, 14453 markings/sec, 570 secs
lola: STP completed || 9 tries, 8039691 fired transitions, 575 secs || 8536740 markings, 64037131 edges, 14701 markings/sec, 575 secs
lola: STP completed || 9 tries, 8108574 fired transitions, 580 secs || 8610743 markings, 64587703 edges, 14801 markings/sec, 580 secs
lola: STP completed || 9 tries, 8178108 fired transitions, 585 secs || 8686230 markings, 65155237 edges, 15097 markings/sec, 585 secs
lola: STP completed || 9 tries, 8247131 fired transitions, 590 secs || 8763027 markings, 65728860 edges, 15359 markings/sec, 590 secs
lola: STP completed || 9 tries, 8316370 fired transitions, 595 secs || 8839583 markings, 66300454 edges, 15311 markings/sec, 595 secs
lola: STP completed || 9 tries, 8385930 fired transitions, 600 secs || 8916039 markings, 66871158 edges, 15291 markings/sec, 600 secs
lola: STP completed || 9 tries, 8455107 fired transitions, 605 secs || 8992750 markings, 67430051 edges, 15342 markings/sec, 605 secs
lola: STP completed || 9 tries, 8524735 fired transitions, 610 secs || 9068049 markings, 67979240 edges, 15060 markings/sec, 610 secs
lola: STP completed || 9 tries, 8593416 fired transitions, 615 secs || 9142850 markings, 68531370 edges, 14960 markings/sec, 615 secs
lola: STP completed || 9 tries, 8662983 fired transitions, 620 secs || 9218103 markings, 69079912 edges, 15051 markings/sec, 620 secs
lola: STP completed || 9 tries, 8732172 fired transitions, 625 secs || 9292657 markings, 69626830 edges, 14911 markings/sec, 625 secs
lola: STP completed || 9 tries, 8801337 fired transitions, 630 secs || 9370379 markings, 70201648 edges, 15544 markings/sec, 630 secs
lola: STP completed || 9 tries, 8870946 fired transitions, 635 secs || 9447928 markings, 70773507 edges, 15510 markings/sec, 635 secs
lola: STP completed || 9 tries, 8940304 fired transitions, 640 secs || 9525728 markings, 71347703 edges, 15560 markings/sec, 640 secs
lola: STP completed || 10 tries, 9009385 fired transitions, 645 secs || 9604270 markings, 71919339 edges, 15708 markings/sec, 645 secs
lola: STP completed || 10 tries, 9078809 fired transitions, 650 secs || 9682121 markings, 72496567 edges, 15570 markings/sec, 650 secs
lola: STP completed || 10 tries, 9147973 fired transitions, 655 secs || 9760065 markings, 73062193 edges, 15589 markings/sec, 655 secs
lola: STP completed || 10 tries, 9216440 fired transitions, 660 secs || 9837521 markings, 73629153 edges, 15491 markings/sec, 660 secs
lola: STP completed || 10 tries, 9287106 fired transitions, 665 secs || 9911892 markings, 74172045 edges, 14874 markings/sec, 665 secs
lola: STP completed || 10 tries, 9357710 fired transitions, 670 secs || 9984998 markings, 74718951 edges, 14621 markings/sec, 670 secs
lola: STP completed || 10 tries, 9429758 fired transitions, 675 secs || 10057503 markings, 75247737 edges, 14501 markings/sec, 675 secs
lola: STP completed || 10 tries, 9501062 fired transitions, 680 secs || 10128458 markings, 75767246 edges, 14191 markings/sec, 680 secs
lola: STP completed || 10 tries, 9571745 fired transitions, 685 secs || 10198775 markings, 76279527 edges, 14063 markings/sec, 685 secs
lola: STP completed || 10 tries, 9642071 fired transitions, 690 secs || 10269149 markings, 76795558 edges, 14075 markings/sec, 690 secs
lola: STP completed || 10 tries, 9712250 fired transitions, 695 secs || 10344444 markings, 77345899 edges, 15059 markings/sec, 695 secs
lola: STP completed || 10 tries, 9781998 fired transitions, 700 secs || 10422067 markings, 77901193 edges, 15525 markings/sec, 700 secs
lola: STP completed || 10 tries, 9850616 fired transitions, 705 secs || 10498807 markings, 78472616 edges, 15348 markings/sec, 705 secs
lola: STP completed || 10 tries, 9920290 fired transitions, 710 secs || 10572699 markings, 79017604 edges, 14778 markings/sec, 710 secs
lola: STP completed || 10 tries, 9993049 fired transitions, 715 secs || 10646885 markings, 79566580 edges, 14837 markings/sec, 715 secs
lola: STP completed || 11 tries, 10061187 fired transitions, 720 secs || 10720318 markings, 80154034 edges, 14687 markings/sec, 720 secs
lola: STP completed || 11 tries, 10129020 fired transitions, 725 secs || 10789181 markings, 80740367 edges, 13773 markings/sec, 725 secs
lola: STP completed || 11 tries, 10196863 fired transitions, 730 secs || 10860992 markings, 81276851 edges, 14362 markings/sec, 730 secs
lola: STP completed || 11 tries, 10264594 fired transitions, 735 secs || 10932458 markings, 81809530 edges, 14293 markings/sec, 735 secs
lola: STP completed || 11 tries, 10332095 fired transitions, 740 secs || 11003927 markings, 82356875 edges, 14294 markings/sec, 740 secs
lola: STP completed || 11 tries, 10400448 fired transitions, 745 secs || 11076521 markings, 82900316 edges, 14519 markings/sec, 745 secs
lola: STP completed || 11 tries, 10468515 fired transitions, 750 secs || 11150573 markings, 83457419 edges, 14810 markings/sec, 750 secs
lola: STP completed || 11 tries, 10536648 fired transitions, 755 secs || 11224853 markings, 84018553 edges, 14856 markings/sec, 755 secs
lola: STP completed || 11 tries, 10603923 fired transitions, 760 secs || 11296953 markings, 84577964 edges, 14420 markings/sec, 760 secs
lola: STP completed || 11 tries, 10672495 fired transitions, 765 secs || 11368657 markings, 85121019 edges, 14341 markings/sec, 765 secs
lola: STP completed || 11 tries, 10740627 fired transitions, 770 secs || 11440344 markings, 85665844 edges, 14337 markings/sec, 770 secs
lola: STP completed || 11 tries, 10808849 fired transitions, 775 secs || 11512590 markings, 86220375 edges, 14449 markings/sec, 775 secs
lola: STP completed || 11 tries, 10877458 fired transitions, 780 secs || 11584961 markings, 86759096 edges, 14474 markings/sec, 780 secs
lola: STP completed || 11 tries, 10946610 fired transitions, 785 secs || 11650003 markings, 87249807 edges, 13008 markings/sec, 785 secs
lola: STP completed || 12 tries, 11014382 fired transitions, 790 secs || 11719905 markings, 87786731 edges, 13980 markings/sec, 790 secs
lola: STP completed || 12 tries, 11082302 fired transitions, 795 secs || 11789792 markings, 88317719 edges, 13977 markings/sec, 795 secs
lola: STP completed || 12 tries, 11150964 fired transitions, 800 secs || 11858607 markings, 88849705 edges, 13763 markings/sec, 800 secs
lola: STP completed || 12 tries, 11217749 fired transitions, 805 secs || 11926808 markings, 89368046 edges, 13640 markings/sec, 805 secs
lola: STP completed || 12 tries, 11285248 fired transitions, 810 secs || 11995977 markings, 89891872 edges, 13834 markings/sec, 810 secs
lola: STP completed || 12 tries, 11356598 fired transitions, 815 secs || 12064090 markings, 90415833 edges, 13623 markings/sec, 815 secs
lola: STP completed || 12 tries, 11424788 fired transitions, 820 secs || 12135790 markings, 90953572 edges, 14340 markings/sec, 820 secs
lola: STP completed || 12 tries, 11490267 fired transitions, 825 secs || 12204448 markings, 91477949 edges, 13732 markings/sec, 825 secs
lola: STP completed || 12 tries, 11558088 fired transitions, 830 secs || 12276126 markings, 92030917 edges, 14336 markings/sec, 830 secs
lola: STP completed || 12 tries, 11626107 fired transitions, 835 secs || 12346973 markings, 92580306 edges, 14169 markings/sec, 835 secs
lola: STP completed || 12 tries, 11694486 fired transitions, 840 secs || 12418937 markings, 93117287 edges, 14393 markings/sec, 840 secs
lola: STP completed || 12 tries, 11762188 fired transitions, 845 secs || 12491007 markings, 93657648 edges, 14414 markings/sec, 845 secs
lola: STP completed || 12 tries, 11830661 fired transitions, 850 secs || 12563129 markings, 94196504 edges, 14424 markings/sec, 850 secs
lola: STP completed || 12 tries, 11898861 fired transitions, 855 secs || 12634318 markings, 94736944 edges, 14238 markings/sec, 855 secs
lola: STP completed || 12 tries, 11967917 fired transitions, 860 secs || 12705010 markings, 95269684 edges, 14138 markings/sec, 860 secs
lola: STP completed || 13 tries, 12038760 fired transitions, 865 secs || 12776310 markings, 95818334 edges, 14260 markings/sec, 865 secs
lola: STP completed || 13 tries, 12107702 fired transitions, 870 secs || 12846707 markings, 96364846 edges, 14079 markings/sec, 870 secs
lola: STP completed || 13 tries, 12176548 fired transitions, 875 secs || 12916781 markings, 96912720 edges, 14015 markings/sec, 875 secs
lola: STP completed || 13 tries, 12245102 fired transitions, 880 secs || 12988765 markings, 97457342 edges, 14397 markings/sec, 880 secs
lola: STP completed || 13 tries, 12313488 fired transitions, 885 secs || 13055332 markings, 97973390 edges, 13313 markings/sec, 885 secs
lola: STP completed || 13 tries, 12384701 fired transitions, 890 secs || 13123525 markings, 98488789 edges, 13639 markings/sec, 890 secs
lola: STP completed || 13 tries, 12453985 fired transitions, 895 secs || 13190059 markings, 98998805 edges, 13307 markings/sec, 895 secs
lola: STP completed || 13 tries, 12522780 fired transitions, 900 secs || 13260480 markings, 99560903 edges, 14084 markings/sec, 900 secs
lola: STP completed || 13 tries, 12590095 fired transitions, 905 secs || 13334002 markings, 100117798 edges, 14704 markings/sec, 905 secs
lola: STP completed || 13 tries, 12660212 fired transitions, 910 secs || 13404191 markings, 100645601 edges, 14038 markings/sec, 910 secs
lola: STP completed || 13 tries, 12728119 fired transitions, 915 secs || 13477784 markings, 101217357 edges, 14719 markings/sec, 915 secs
lola: STP completed || 13 tries, 12795211 fired transitions, 920 secs || 13550937 markings, 101781608 edges, 14631 markings/sec, 920 secs
lola: STP completed || 13 tries, 12863828 fired transitions, 925 secs || 13621228 markings, 102326581 edges, 14058 markings/sec, 925 secs
lola: STP completed || 13 tries, 12934194 fired transitions, 930 secs || 13690323 markings, 102867661 edges, 13819 markings/sec, 930 secs
lola: STP completed || 14 tries, 13003010 fired transitions, 935 secs || 13763229 markings, 103414810 edges, 14581 markings/sec, 935 secs
lola: STP completed || 14 tries, 13071795 fired transitions, 940 secs || 13839858 markings, 103977688 edges, 15326 markings/sec, 940 secs
lola: STP completed || 14 tries, 13139660 fired transitions, 945 secs || 13911828 markings, 104505252 edges, 14394 markings/sec, 945 secs
lola: STP completed || 14 tries, 13212155 fired transitions, 950 secs || 13984919 markings, 105039450 edges, 14618 markings/sec, 950 secs
lola: STP completed || 14 tries, 13281101 fired transitions, 955 secs || 14060440 markings, 105587848 edges, 15104 markings/sec, 955 secs
lola: STP completed || 14 tries, 13351428 fired transitions, 960 secs || 14130471 markings, 106101241 edges, 14006 markings/sec, 960 secs
lola: STP completed || 14 tries, 13422367 fired transitions, 965 secs || 14203052 markings, 106641356 edges, 14516 markings/sec, 965 secs
lola: STP completed || 14 tries, 13490220 fired transitions, 970 secs || 14278913 markings, 107198754 edges, 15172 markings/sec, 970 secs
lola: STP completed || 14 tries, 13559044 fired transitions, 975 secs || 14347154 markings, 107696466 edges, 13648 markings/sec, 975 secs
lola: STP completed || 14 tries, 13629193 fired transitions, 980 secs || 14420073 markings, 108228943 edges, 14584 markings/sec, 980 secs
lola: STP completed || 14 tries, 13697819 fired transitions, 985 secs || 14492884 markings, 108756308 edges, 14562 markings/sec, 985 secs
lola: STP completed || 14 tries, 13770459 fired transitions, 990 secs || 14566301 markings, 109300237 edges, 14683 markings/sec, 990 secs
lola: STP completed || 14 tries, 13842840 fired transitions, 995 secs || 14639593 markings, 109840377 edges, 14658 markings/sec, 995 secs
lola: STP completed || 14 tries, 13912642 fired transitions, 1000 secs || 14711892 markings, 110363360 edges, 14460 markings/sec, 1000 secs
lola: STP completed || 14 tries, 13982595 fired transitions, 1005 secs || 14783791 markings, 110894006 edges, 14380 markings/sec, 1005 secs
lola: STP completed || 15 tries, 14050392 fired transitions, 1010 secs || 14854258 markings, 111415401 edges, 14093 markings/sec, 1010 secs
lola: STP completed || 15 tries, 14120200 fired transitions, 1015 secs || 14924828 markings, 111932374 edges, 14114 markings/sec, 1015 secs
lola: STP completed || 15 tries, 14190962 fired transitions, 1020 secs || 14993045 markings, 112431556 edges, 13643 markings/sec, 1020 secs
lola: STP completed || 15 tries, 14262122 fired transitions, 1025 secs || 15061527 markings, 112930035 edges, 13696 markings/sec, 1025 secs
lola: STP completed || 15 tries, 14332500 fired transitions, 1030 secs || 15130548 markings, 113429124 edges, 13804 markings/sec, 1030 secs
lola: STP completed || 15 tries, 14402859 fired transitions, 1035 secs || 15201723 markings, 113945174 edges, 14235 markings/sec, 1035 secs
lola: STP completed || 15 tries, 14474877 fired transitions, 1040 secs || 15272255 markings, 114461330 edges, 14106 markings/sec, 1040 secs
lola: STP completed || 15 tries, 14543360 fired transitions, 1045 secs || 15345513 markings, 114998166 edges, 14652 markings/sec, 1045 secs
lola: STP completed || 15 tries, 14617096 fired transitions, 1050 secs || 15419763 markings, 115531685 edges, 14850 markings/sec, 1050 secs
lola: STP completed || 15 tries, 14689193 fired transitions, 1055 secs || 15493694 markings, 116081580 edges, 14786 markings/sec, 1055 secs
lola: STP completed || 15 tries, 14760870 fired transitions, 1060 secs || 15565945 markings, 116612427 edges, 14450 markings/sec, 1060 secs
lola: STP completed || 15 tries, 14832560 fired transitions, 1065 secs || 15637491 markings, 117142719 edges, 14309 markings/sec, 1065 secs
lola: STP completed || 15 tries, 14904326 fired transitions, 1070 secs || 15710246 markings, 117681982 edges, 14551 markings/sec, 1070 secs
lola: STP completed || 15 tries, 14976416 fired transitions, 1075 secs || 15783208 markings, 118219368 edges, 14592 markings/sec, 1075 secs
lola: STP completed || 16 tries, 15052234 fired transitions, 1080 secs || 15853451 markings, 118747811 edges, 14049 markings/sec, 1080 secs
lola: STP completed || 16 tries, 15120745 fired transitions, 1085 secs || 15927562 markings, 119303824 edges, 14822 markings/sec, 1085 secs
lola: STP completed || 16 tries, 15195386 fired transitions, 1090 secs || 15999634 markings, 119843687 edges, 14414 markings/sec, 1090 secs
lola: STP completed || 16 tries, 15262471 fired transitions, 1095 secs || 16071804 markings, 120392007 edges, 14434 markings/sec, 1095 secs
lola: STP completed || 16 tries, 15329003 fired transitions, 1100 secs || 16140925 markings, 120910878 edges, 13824 markings/sec, 1100 secs
lola: STP completed || 16 tries, 15400267 fired transitions, 1105 secs || 16214191 markings, 121466652 edges, 14653 markings/sec, 1105 secs
lola: STP completed || 16 tries, 15472744 fired transitions, 1110 secs || 16284653 markings, 122012098 edges, 14092 markings/sec, 1110 secs
lola: STP completed || 16 tries, 15540991 fired transitions, 1115 secs || 16356408 markings, 122568669 edges, 14351 markings/sec, 1115 secs
lola: STP completed || 16 tries, 15612427 fired transitions, 1120 secs || 16427986 markings, 123114014 edges, 14316 markings/sec, 1120 secs
lola: STP completed || 16 tries, 15682965 fired transitions, 1125 secs || 16500422 markings, 123674833 edges, 14487 markings/sec, 1125 secs
lola: STP completed || 16 tries, 15751120 fired transitions, 1130 secs || 16573368 markings, 124245246 edges, 14589 markings/sec, 1130 secs
lola: STP completed || 16 tries, 15819301 fired transitions, 1135 secs || 16644964 markings, 124781456 edges, 14319 markings/sec, 1135 secs
lola: STP completed || 16 tries, 15893346 fired transitions, 1140 secs || 16716581 markings, 125327876 edges, 14323 markings/sec, 1140 secs
lola: STP completed || 16 tries, 15961761 fired transitions, 1145 secs || 16788964 markings, 125866142 edges, 14477 markings/sec, 1145 secs
lola: STP completed || 17 tries, 16029193 fired transitions, 1150 secs || 16859804 markings, 126409167 edges, 14168 markings/sec, 1150 secs
lola: STP completed || 17 tries, 16096871 fired transitions, 1155 secs || 16931282 markings, 126949984 edges, 14296 markings/sec, 1155 secs
lola: STP completed || 17 tries, 16164829 fired transitions, 1160 secs || 17002732 markings, 127487035 edges, 14290 markings/sec, 1160 secs
lola: STP completed || 17 tries, 16232691 fired transitions, 1165 secs || 17074275 markings, 128024687 edges, 14309 markings/sec, 1165 secs
lola: STP completed || 17 tries, 16302363 fired transitions, 1170 secs || 17142439 markings, 128539688 edges, 13633 markings/sec, 1170 secs
lola: STP completed || 17 tries, 16372690 fired transitions, 1175 secs || 17209703 markings, 129061070 edges, 13453 markings/sec, 1175 secs
lola: STP completed || 17 tries, 16441514 fired transitions, 1180 secs || 17275616 markings, 129576075 edges, 13183 markings/sec, 1180 secs
lola: STP completed || 17 tries, 16509089 fired transitions, 1185 secs || 17347610 markings, 130126289 edges, 14399 markings/sec, 1185 secs
lola: STP completed || 17 tries, 16576932 fired transitions, 1190 secs || 17419811 markings, 130675810 edges, 14440 markings/sec, 1190 secs
lola: STP completed || 17 tries, 16645476 fired transitions, 1195 secs || 17492369 markings, 131220970 edges, 14512 markings/sec, 1195 secs
lola: STP completed || 17 tries, 16713531 fired transitions, 1200 secs || 17564605 markings, 131761430 edges, 14447 markings/sec, 1200 secs
lola: STP completed || 17 tries, 16788709 fired transitions, 1205 secs || 17635139 markings, 132306944 edges, 14107 markings/sec, 1205 secs
lola: STP completed || 17 tries, 16863211 fired transitions, 1210 secs || 17704125 markings, 132848028 edges, 13797 markings/sec, 1210 secs
lola: STP completed || 17 tries, 16935221 fired transitions, 1215 secs || 17776854 markings, 133412659 edges, 14546 markings/sec, 1215 secs
lola: STP completed || 18 tries, 17003924 fired transitions, 1220 secs || 17849131 markings, 133960739 edges, 14455 markings/sec, 1220 secs
lola: STP completed || 18 tries, 17076724 fired transitions, 1225 secs || 17923445 markings, 134523859 edges, 14863 markings/sec, 1225 secs
lola: STP completed || 18 tries, 17147632 fired transitions, 1230 secs || 17997970 markings, 135077480 edges, 14905 markings/sec, 1230 secs
lola: STP completed || 18 tries, 17213261 fired transitions, 1235 secs || 18071175 markings, 135607368 edges, 14641 markings/sec, 1235 secs
lola: STP completed || 18 tries, 17282332 fired transitions, 1240 secs || 18146322 markings, 136158559 edges, 15029 markings/sec, 1240 secs
lola: STP completed || 18 tries, 17355013 fired transitions, 1245 secs || 18221671 markings, 136714711 edges, 15070 markings/sec, 1245 secs
lola: STP completed || 18 tries, 17432578 fired transitions, 1250 secs || 18298658 markings, 137273722 edges, 15397 markings/sec, 1250 secs
lola: STP completed || 18 tries, 17511125 fired transitions, 1255 secs || 18374990 markings, 137826116 edges, 15266 markings/sec, 1255 secs
lola: STP completed || 18 tries, 17589206 fired transitions, 1260 secs || 18451761 markings, 138394009 edges, 15354 markings/sec, 1260 secs
lola: STP completed || 18 tries, 17666334 fired transitions, 1265 secs || 18531923 markings, 138975884 edges, 16032 markings/sec, 1265 secs
lola: STP completed || 18 tries, 17741002 fired transitions, 1270 secs || 18609906 markings, 139553408 edges, 15597 markings/sec, 1270 secs
lola: STP completed || 18 tries, 17817712 fired transitions, 1275 secs || 18689359 markings, 140137085 edges, 15891 markings/sec, 1275 secs
lola: STP completed || 18 tries, 17895654 fired transitions, 1280 secs || 18769911 markings, 140722873 edges, 16110 markings/sec, 1280 secs
lola: STP completed || 18 tries, 17972827 fired transitions, 1285 secs || 18850059 markings, 141310532 edges, 16030 markings/sec, 1285 secs
lola: STP completed || 19 tries, 18045275 fired transitions, 1290 secs || 18928297 markings, 141887808 edges, 15648 markings/sec, 1290 secs
lola: STP completed || 19 tries, 18122699 fired transitions, 1295 secs || 19008139 markings, 142470494 edges, 15968 markings/sec, 1295 secs
lola: STP completed || 19 tries, 18201363 fired transitions, 1300 secs || 19088722 markings, 143061716 edges, 16117 markings/sec, 1300 secs
lola: STP completed || 19 tries, 18279246 fired transitions, 1305 secs || 19166463 markings, 143625505 edges, 15548 markings/sec, 1305 secs
lola: STP completed || 19 tries, 18357968 fired transitions, 1310 secs || 19246672 markings, 144213409 edges, 16042 markings/sec, 1310 secs
lola: STP completed || 19 tries, 18437709 fired transitions, 1315 secs || 19328544 markings, 144809975 edges, 16374 markings/sec, 1315 secs
lola: STP completed || 19 tries, 18517454 fired transitions, 1320 secs || 19409967 markings, 145406410 edges, 16285 markings/sec, 1320 secs
lola: STP completed || 19 tries, 18597090 fired transitions, 1325 secs || 19489953 markings, 145987560 edges, 15997 markings/sec, 1325 secs
lola: STP completed || 19 tries, 18676259 fired transitions, 1330 secs || 19567932 markings, 146559827 edges, 15596 markings/sec, 1330 secs
lola: STP completed || 19 tries, 18754506 fired transitions, 1335 secs || 19648478 markings, 147147411 edges, 16109 markings/sec, 1335 secs
lola: STP completed || 19 tries, 18832751 fired transitions, 1340 secs || 19729504 markings, 147735533 edges, 16205 markings/sec, 1340 secs
lola: STP completed || 19 tries, 18911008 fired transitions, 1345 secs || 19809080 markings, 148319760 edges, 15915 markings/sec, 1345 secs
lola: STP completed || 19 tries, 18988439 fired transitions, 1350 secs || 19885299 markings, 148879959 edges, 15244 markings/sec, 1350 secs
lola: STP completed || 20 tries, 19064829 fired transitions, 1355 secs || 19958701 markings, 149433271 edges, 14680 markings/sec, 1355 secs
lola: STP completed || 20 tries, 19137579 fired transitions, 1360 secs || 20029918 markings, 149976877 edges, 14243 markings/sec, 1360 secs
lola: STP completed || 20 tries, 19210515 fired transitions, 1365 secs || 20101497 markings, 150523959 edges, 14316 markings/sec, 1365 secs
lola: STP completed || 20 tries, 19281256 fired transitions, 1370 secs || 20174022 markings, 151071644 edges, 14505 markings/sec, 1370 secs
lola: STP completed || 20 tries, 19348758 fired transitions, 1375 secs || 20245109 markings, 151618887 edges, 14217 markings/sec, 1375 secs
lola: STP completed || 20 tries, 19418439 fired transitions, 1380 secs || 20316899 markings, 152177223 edges, 14358 markings/sec, 1380 secs
lola: STP completed || 20 tries, 19496195 fired transitions, 1385 secs || 20391254 markings, 152759918 edges, 14871 markings/sec, 1385 secs
lola: STP completed || 20 tries, 19573899 fired transitions, 1390 secs || 20465429 markings, 153338039 edges, 14835 markings/sec, 1390 secs
lola: STP completed || 20 tries, 19650063 fired transitions, 1395 secs || 20539025 markings, 153900120 edges, 14719 markings/sec, 1395 secs
lola: STP completed || 20 tries, 19727382 fired transitions, 1400 secs || 20612867 markings, 154466493 edges, 14768 markings/sec, 1400 secs
lola: STP completed || 20 tries, 19799893 fired transitions, 1405 secs || 20685527 markings, 155024963 edges, 14532 markings/sec, 1405 secs
lola: STP completed || 20 tries, 19876708 fired transitions, 1410 secs || 20759088 markings, 155603057 edges, 14712 markings/sec, 1410 secs
lola: STP completed || 20 tries, 19954327 fired transitions, 1415 secs || 20832262 markings, 156167314 edges, 14635 markings/sec, 1415 secs
lola: STP completed || 21 tries, 20031727 fired transitions, 1420 secs || 20906044 markings, 156731980 edges, 14756 markings/sec, 1420 secs
lola: STP completed || 21 tries, 20108855 fired transitions, 1425 secs || 20979614 markings, 157294016 edges, 14714 markings/sec, 1425 secs
lola: STP completed || 21 tries, 20185593 fired transitions, 1430 secs || 21052392 markings, 157863832 edges, 14556 markings/sec, 1430 secs
lola: STP completed || 21 tries, 20262411 fired transitions, 1435 secs || 21126416 markings, 158444551 edges, 14805 markings/sec, 1435 secs
lola: STP completed || 21 tries, 20335280 fired transitions, 1440 secs || 21199549 markings, 159009848 edges, 14627 markings/sec, 1440 secs
lola: STP completed || 21 tries, 20405989 fired transitions, 1445 secs || 21274721 markings, 159570913 edges, 15034 markings/sec, 1445 secs
lola: STP completed || 21 tries, 20477001 fired transitions, 1450 secs || 21349317 markings, 160138404 edges, 14919 markings/sec, 1450 secs
lola: STP completed || 21 tries, 20550534 fired transitions, 1455 secs || 21421257 markings, 160701595 edges, 14388 markings/sec, 1455 secs
lola: STP completed || 21 tries, 20628077 fired transitions, 1460 secs || 21495460 markings, 161290373 edges, 14841 markings/sec, 1460 secs
lola: STP completed || 21 tries, 20705291 fired transitions, 1465 secs || 21569325 markings, 161883687 edges, 14773 markings/sec, 1465 secs
lola: STP completed || 21 tries, 20782274 fired transitions, 1470 secs || 21642880 markings, 162467751 edges, 14711 markings/sec, 1470 secs
lola: STP completed || 21 tries, 20857834 fired transitions, 1475 secs || 21715390 markings, 163021420 edges, 14502 markings/sec, 1475 secs
lola: STP completed || 21 tries, 20928290 fired transitions, 1480 secs || 21787680 markings, 163561605 edges, 14458 markings/sec, 1480 secs
lola: STP completed || 21 tries, 20997499 fired transitions, 1485 secs || 21859267 markings, 164112171 edges, 14317 markings/sec, 1485 secs
lola: STP completed || 22 tries, 21073460 fired transitions, 1490 secs || 21934948 markings, 164672353 edges, 15136 markings/sec, 1490 secs
lola: STP completed || 22 tries, 21150040 fired transitions, 1495 secs || 22013907 markings, 165253257 edges, 15792 markings/sec, 1495 secs
lola: STP completed || 22 tries, 21225420 fired transitions, 1500 secs || 22092832 markings, 165830005 edges, 15785 markings/sec, 1500 secs
lola: STP completed || 22 tries, 21301776 fired transitions, 1505 secs || 22171409 markings, 166406459 edges, 15715 markings/sec, 1505 secs
lola: STP completed || 22 tries, 21377449 fired transitions, 1510 secs || 22249258 markings, 166979347 edges, 15570 markings/sec, 1510 secs
lola: STP completed || 22 tries, 21453048 fired transitions, 1515 secs || 22327112 markings, 167550564 edges, 15571 markings/sec, 1515 secs
lola: STP completed || 22 tries, 21527668 fired transitions, 1520 secs || 22404955 markings, 168120881 edges, 15569 markings/sec, 1520 secs
lola: STP completed || 22 tries, 21602121 fired transitions, 1525 secs || 22480145 markings, 168672293 edges, 15038 markings/sec, 1525 secs
lola: STP completed || 22 tries, 21678698 fired transitions, 1530 secs || 22555584 markings, 169225995 edges, 15088 markings/sec, 1530 secs
lola: STP completed || 22 tries, 21753652 fired transitions, 1535 secs || 22632621 markings, 169789842 edges, 15407 markings/sec, 1535 secs
lola: STP completed || 22 tries, 21832190 fired transitions, 1540 secs || 22712216 markings, 170369176 edges, 15919 markings/sec, 1540 secs
lola: STP completed || 22 tries, 21910634 fired transitions, 1545 secs || 22789711 markings, 170937179 edges, 15499 markings/sec, 1545 secs
lola: STP completed || 22 tries, 21982729 fired transitions, 1550 secs || 22865071 markings, 171489768 edges, 15072 markings/sec, 1550 secs
lola: STP completed || 23 tries, 22050880 fired transitions, 1555 secs || 22937642 markings, 172034719 edges, 14514 markings/sec, 1555 secs
lola: STP completed || 23 tries, 22117996 fired transitions, 1560 secs || 23009452 markings, 172576010 edges, 14362 markings/sec, 1560 secs
lola: STP completed || 23 tries, 22189450 fired transitions, 1565 secs || 23081219 markings, 173141272 edges, 14353 markings/sec, 1565 secs
lola: STP completed || 23 tries, 22262992 fired transitions, 1570 secs || 23151605 markings, 173678921 edges, 14077 markings/sec, 1570 secs
lola: STP completed || 23 tries, 22337859 fired transitions, 1575 secs || 23223128 markings, 174224490 edges, 14305 markings/sec, 1575 secs
lola: STP completed || 23 tries, 22408615 fired transitions, 1580 secs || 23294546 markings, 174771499 edges, 14284 markings/sec, 1580 secs
lola: STP completed || 23 tries, 22480495 fired transitions, 1585 secs || 23366089 markings, 175323650 edges, 14309 markings/sec, 1585 secs
lola: STP completed || 23 tries, 22552811 fired transitions, 1590 secs || 23437494 markings, 175873368 edges, 14281 markings/sec, 1590 secs
lola: STP completed || 23 tries, 22625186 fired transitions, 1595 secs || 23508948 markings, 176429665 edges, 14291 markings/sec, 1595 secs
lola: STP completed || 23 tries, 22699299 fired transitions, 1600 secs || 23581221 markings, 176996022 edges, 14455 markings/sec, 1600 secs
lola: STP completed || 23 tries, 22768409 fired transitions, 1605 secs || 23653388 markings, 177545755 edges, 14433 markings/sec, 1605 secs
lola: STP completed || 23 tries, 22835818 fired transitions, 1610 secs || 23725049 markings, 178081177 edges, 14332 markings/sec, 1610 secs
lola: STP completed || 23 tries, 22903434 fired transitions, 1615 secs || 23796557 markings, 178614573 edges, 14302 markings/sec, 1615 secs
lola: STP completed || 23 tries, 22970629 fired transitions, 1620 secs || 23868358 markings, 179147151 edges, 14360 markings/sec, 1620 secs
lola: STP completed || 24 tries, 23038284 fired transitions, 1625 secs || 23941552 markings, 179687769 edges, 14639 markings/sec, 1625 secs
lola: STP completed || 24 tries, 23111666 fired transitions, 1630 secs || 24017219 markings, 180248047 edges, 15133 markings/sec, 1630 secs
lola: STP completed || 24 tries, 23187517 fired transitions, 1635 secs || 24092571 markings, 180798403 edges, 15070 markings/sec, 1635 secs
lola: STP completed || 24 tries, 23263603 fired transitions, 1640 secs || 24167555 markings, 181330908 edges, 14997 markings/sec, 1640 secs
lola: STP completed || 24 tries, 23337647 fired transitions, 1645 secs || 24242022 markings, 181872616 edges, 14893 markings/sec, 1645 secs
lola: STP completed || 24 tries, 23409800 fired transitions, 1650 secs || 24316751 markings, 182422381 edges, 14946 markings/sec, 1650 secs
lola: STP completed || 24 tries, 23484821 fired transitions, 1655 secs || 24391029 markings, 182965794 edges, 14856 markings/sec, 1655 secs
lola: STP completed || 24 tries, 23557850 fired transitions, 1660 secs || 24465386 markings, 183511808 edges, 14871 markings/sec, 1660 secs
lola: STP completed || 24 tries, 23627182 fired transitions, 1665 secs || 24539946 markings, 184052174 edges, 14912 markings/sec, 1665 secs
lola: STP completed || 24 tries, 23700580 fired transitions, 1670 secs || 24613150 markings, 184593077 edges, 14641 markings/sec, 1670 secs
lola: STP completed || 24 tries, 23773524 fired transitions, 1675 secs || 24690257 markings, 185161180 edges, 15421 markings/sec, 1675 secs
lola: STP completed || 24 tries, 23847369 fired transitions, 1680 secs || 24767733 markings, 185730749 edges, 15495 markings/sec, 1680 secs
lola: STP completed || 24 tries, 23920726 fired transitions, 1685 secs || 24845013 markings, 186294333 edges, 15456 markings/sec, 1685 secs
lola: STP completed || 24 tries, 23989519 fired transitions, 1690 secs || 24921943 markings, 186855013 edges, 15386 markings/sec, 1690 secs
lola: STP completed || 25 tries, 24058140 fired transitions, 1695 secs || 24999438 markings, 187417074 edges, 15499 markings/sec, 1695 secs
lola: STP completed || 25 tries, 24126641 fired transitions, 1700 secs || 25076559 markings, 187979162 edges, 15424 markings/sec, 1700 secs
lola: STP completed || 25 tries, 24195690 fired transitions, 1705 secs || 25153169 markings, 188546289 edges, 15322 markings/sec, 1705 secs
lola: STP completed || 25 tries, 24269798 fired transitions, 1710 secs || 25231096 markings, 189113619 edges, 15585 markings/sec, 1710 secs
lola: STP completed || 25 tries, 24346924 fired transitions, 1715 secs || 25308406 markings, 189676914 edges, 15462 markings/sec, 1715 secs
lola: STP completed || 25 tries, 24424277 fired transitions, 1720 secs || 25386528 markings, 190253057 edges, 15624 markings/sec, 1720 secs
lola: STP completed || 25 tries, 24500544 fired transitions, 1725 secs || 25463243 markings, 190815962 edges, 15343 markings/sec, 1725 secs
lola: STP completed || 25 tries, 24575878 fired transitions, 1730 secs || 25538228 markings, 191376069 edges, 14997 markings/sec, 1730 secs
lola: STP completed || 25 tries, 24650583 fired transitions, 1735 secs || 25614297 markings, 191939654 edges, 15214 markings/sec, 1735 secs
lola: STP completed || 25 tries, 24720443 fired transitions, 1740 secs || 25691320 markings, 192507810 edges, 15405 markings/sec, 1740 secs
lola: STP completed || 25 tries, 24795303 fired transitions, 1745 secs || 25769332 markings, 193080220 edges, 15602 markings/sec, 1745 secs
lola: STP completed || 25 tries, 24867931 fired transitions, 1750 secs || 25844918 markings, 193643465 edges, 15117 markings/sec, 1750 secs
lola: STP completed || 25 tries, 24937810 fired transitions, 1755 secs || 25919219 markings, 194191666 edges, 14860 markings/sec, 1755 secs
lola: STP completed || 26 tries, 25006734 fired transitions, 1760 secs || 25995226 markings, 194750359 edges, 15201 markings/sec, 1760 secs
lola: STP completed || 26 tries, 25072882 fired transitions, 1765 secs || 26068313 markings, 195296499 edges, 14617 markings/sec, 1765 secs
lola: STP completed || 26 tries, 25146910 fired transitions, 1770 secs || 26142850 markings, 195857511 edges, 14907 markings/sec, 1770 secs
lola: STP completed || 26 tries, 25216136 fired transitions, 1775 secs || 26216590 markings, 196411054 edges, 14748 markings/sec, 1775 secs
lola: STP completed || 26 tries, 25285909 fired transitions, 1780 secs || 26290770 markings, 196971438 edges, 14836 markings/sec, 1780 secs
lola: STP completed || 26 tries, 25356312 fired transitions, 1785 secs || 26365889 markings, 197537869 edges, 15024 markings/sec, 1785 secs
lola: STP completed || 26 tries, 25428454 fired transitions, 1790 secs || 26440009 markings, 198096864 edges, 14824 markings/sec, 1790 secs
lola: STP completed || 26 tries, 25502352 fired transitions, 1795 secs || 26511439 markings, 198639393 edges, 14286 markings/sec, 1795 secs
lola: STP completed || 26 tries, 25573090 fired transitions, 1800 secs || 26583459 markings, 199185725 edges, 14404 markings/sec, 1800 secs
lola: STP completed || 26 tries, 25641818 fired transitions, 1805 secs || 26655650 markings, 199727451 edges, 14438 markings/sec, 1805 secs
lola: STP completed || 26 tries, 25709612 fired transitions, 1810 secs || 26728075 markings, 200278875 edges, 14485 markings/sec, 1810 secs
lola: STP completed || 26 tries, 25777490 fired transitions, 1815 secs || 26800323 markings, 200836281 edges, 14450 markings/sec, 1815 secs
lola: STP completed || 26 tries, 25844821 fired transitions, 1820 secs || 26872294 markings, 201386349 edges, 14394 markings/sec, 1820 secs
lola: STP completed || 26 tries, 25911970 fired transitions, 1825 secs || 26943418 markings, 201931582 edges, 14225 markings/sec, 1825 secs
lola: STP completed || 26 tries, 25979264 fired transitions, 1830 secs || 27017964 markings, 202495033 edges, 14909 markings/sec, 1830 secs
lola: STP completed || 27 tries, 26047138 fired transitions, 1835 secs || 27092096 markings, 203081197 edges, 14826 markings/sec, 1835 secs
lola: STP completed || 27 tries, 26114510 fired transitions, 1840 secs || 27164639 markings, 203641766 edges, 14509 markings/sec, 1840 secs
lola: STP completed || 27 tries, 26181232 fired transitions, 1845 secs || 27236614 markings, 204204360 edges, 14395 markings/sec, 1845 secs
lola: STP completed || 27 tries, 26226130 fired transitions, 1850 secs || 27282779 markings, 204560281 edges, 9233 markings/sec, 1850 secs
Killed
FORMULA Raft-PT-10-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 1494801647459

--------------------
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="Raft-PT-10"
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/Raft-PT-10.tgz
mv Raft-PT-10 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 Raft-PT-10, examination is ReachabilityDeadlock"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r068-csrt-149440963000035"
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 ;