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

--------------------
content from stdout:

=== Data for post analysis generated by BenchKit (invocation template)

The expected result is a vector of booleans
BOOL_VECTOR

here is the order used to build the result vector(from text file)
FORMULA_NAME Raft-PT-09-ReachabilityDeadlock-0

=== Now, execution of the tool begins

BK_START 1494799781613


Time: 3600 - MCC
----- Start make prepare stdout -----
checking for too many tokens
----- Start make result stdout -----
ReachabilityDeadlock @ Raft-PT-09 @ 3540 seconds
Makefile:224: recipe for target 'verify' failed
----- Start make result stdout -----
lola: NET
lola: reading net from model.pnml.lola
lola: finished parsing
lola: closed net file model.pnml.lola
lola: 1123/65536 symbol table entries, 0 collisions
lola: preprocessing...
lola: finding significant places
lola: 413 places, 710 transitions, 332 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 700 transition conflict sets
lola: TASK
lola: reading formula from Raft-PT-09-ReachabilityDeadlock.task
lola: E (F (DEADLOCK))
lola: E (F (DEADLOCK))
lola: checking reachability of deadlocks
lola: Planning: workflow for deadlock check: siphon||findpath||search) (--findpath=par,--siphontrap=par)
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 44 bytes per marking, with 20 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using deadlock preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: SEARCH (findpath)
lola: findpath: using deadlock preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: findpath: starting randomized, memory-less exploration (--search=findpath)
lola: findpath: searching for paths with maximal depth 1000000 (--depthlimit)
lola: findpath: no retry limit given (--retrylimit)
lola: findpath: transitions are chosen randomly
lola: computing symmetries (--symmetry)
lola: time limit for symmetry computation of 300 seconds given (--symmtimelimit)
lola: computed 122 generators (11 in search tree, 111 by composition)
lola: representing 362880 symmetries
lola: 0 dead branches visited in search tree
lola: STP: formula with 13775 variables and 50332 clauses shipped to Minisat
lola: stp: The siphon/trap property does not hold
lola: STP completed || 1 tries, 91846 fired transitions, 0 secs || 93699 markings, 610906 edges, 18740 markings/sec, 0 secs
lola: STP completed || 1 tries, 187382 fired transitions, 5 secs || 184608 markings, 1203222 edges, 18182 markings/sec, 5 secs
lola: STP completed || 1 tries, 284097 fired transitions, 10 secs || 278149 markings, 1811242 edges, 18708 markings/sec, 10 secs
lola: STP completed || 1 tries, 376326 fired transitions, 15 secs || 371172 markings, 2417381 edges, 18605 markings/sec, 15 secs
lola: STP completed || 1 tries, 465773 fired transitions, 20 secs || 466982 markings, 3040073 edges, 19162 markings/sec, 20 secs
lola: STP completed || 1 tries, 564587 fired transitions, 25 secs || 565099 markings, 3691107 edges, 19623 markings/sec, 25 secs
lola: STP completed || 1 tries, 662293 fired transitions, 30 secs || 664920 markings, 4343618 edges, 19964 markings/sec, 30 secs
lola: STP completed || 1 tries, 760436 fired transitions, 35 secs || 764729 markings, 4992301 edges, 19962 markings/sec, 35 secs
lola: STP completed || 1 tries, 846791 fired transitions, 40 secs || 852267 markings, 5736815 edges, 17508 markings/sec, 40 secs
lola: STP completed || 1 tries, 934401 fired transitions, 45 secs || 938117 markings, 6555359 edges, 17170 markings/sec, 45 secs
lola: STP completed || 2 tries, 1024295 fired transitions, 50 secs || 1023233 markings, 7365631 edges, 17023 markings/sec, 50 secs
lola: STP completed || 2 tries, 1115826 fired transitions, 55 secs || 1107783 markings, 8176729 edges, 16910 markings/sec, 55 secs
lola: STP completed || 2 tries, 1214615 fired transitions, 60 secs || 1201471 markings, 9068561 edges, 18738 markings/sec, 60 secs
lola: STP completed || 2 tries, 1308438 fired transitions, 65 secs || 1288233 markings, 9897436 edges, 17352 markings/sec, 65 secs
lola: STP completed || 2 tries, 1397013 fired transitions, 70 secs || 1374775 markings, 10728386 edges, 17308 markings/sec, 70 secs
lola: STP completed || 2 tries, 1487263 fired transitions, 75 secs || 1461927 markings, 11563531 edges, 17430 markings/sec, 75 secs
lola: STP completed || 2 tries, 1581905 fired transitions, 80 secs || 1547317 markings, 12375019 edges, 17078 markings/sec, 80 secs
lola: STP completed || 2 tries, 1676079 fired transitions, 85 secs || 1636494 markings, 13225111 edges, 17835 markings/sec, 85 secs
lola: STP completed || 2 tries, 1775025 fired transitions, 90 secs || 1722536 markings, 14054179 edges, 17208 markings/sec, 90 secs
lola: STP completed || 2 tries, 1873047 fired transitions, 95 secs || 1811148 markings, 14892866 edges, 17722 markings/sec, 95 secs
lola: STP completed || 2 tries, 1971121 fired transitions, 100 secs || 1898351 markings, 15733215 edges, 17441 markings/sec, 100 secs
lola: STP completed || 3 tries, 2069522 fired transitions, 105 secs || 1988453 markings, 16587462 edges, 18020 markings/sec, 105 secs
lola: STP completed || 3 tries, 2168245 fired transitions, 110 secs || 2076553 markings, 17433934 edges, 17620 markings/sec, 110 secs
lola: STP completed || 3 tries, 2267238 fired transitions, 115 secs || 2164388 markings, 18286981 edges, 17567 markings/sec, 115 secs
lola: STP completed || 3 tries, 2365844 fired transitions, 120 secs || 2252706 markings, 19129639 edges, 17664 markings/sec, 120 secs
lola: STP completed || 3 tries, 2464390 fired transitions, 125 secs || 2340794 markings, 19968828 edges, 17618 markings/sec, 125 secs
lola: STP completed || 3 tries, 2563338 fired transitions, 130 secs || 2430271 markings, 20822821 edges, 17895 markings/sec, 130 secs
lola: STP completed || 3 tries, 2660792 fired transitions, 135 secs || 2519429 markings, 21677919 edges, 17832 markings/sec, 135 secs
lola: STP completed || 3 tries, 2760013 fired transitions, 140 secs || 2605979 markings, 22512085 edges, 17310 markings/sec, 140 secs
lola: STP completed || 3 tries, 2858552 fired transitions, 145 secs || 2694324 markings, 23358780 edges, 17669 markings/sec, 145 secs
lola: STP completed || 3 tries, 2963799 fired transitions, 150 secs || 2792927 markings, 24303129 edges, 19721 markings/sec, 150 secs
lola: STP completed || 4 tries, 3070622 fired transitions, 155 secs || 2888071 markings, 25212412 edges, 19029 markings/sec, 155 secs
lola: STP completed || 4 tries, 3178960 fired transitions, 160 secs || 2986181 markings, 26154043 edges, 19622 markings/sec, 160 secs
lola: STP completed || 4 tries, 3286907 fired transitions, 165 secs || 3084920 markings, 27098676 edges, 19748 markings/sec, 165 secs
lola: STP completed || 4 tries, 3394531 fired transitions, 170 secs || 3177581 markings, 27991971 edges, 18532 markings/sec, 170 secs
lola: STP completed || 4 tries, 3501229 fired transitions, 175 secs || 3272942 markings, 28896741 edges, 19072 markings/sec, 175 secs
lola: STP completed || 4 tries, 3609441 fired transitions, 180 secs || 3368956 markings, 29821850 edges, 19203 markings/sec, 180 secs
lola: STP completed || 4 tries, 3716739 fired transitions, 185 secs || 3461149 markings, 30688272 edges, 18439 markings/sec, 185 secs
lola: STP completed || 4 tries, 3823798 fired transitions, 190 secs || 3550302 markings, 31542333 edges, 17831 markings/sec, 190 secs
lola: STP completed || 4 tries, 3930183 fired transitions, 195 secs || 3641454 markings, 32415495 edges, 18230 markings/sec, 195 secs
lola: STP completed || 5 tries, 4034860 fired transitions, 200 secs || 3739469 markings, 33350020 edges, 19603 markings/sec, 200 secs
lola: STP completed || 5 tries, 4139541 fired transitions, 205 secs || 3837971 markings, 34291147 edges, 19700 markings/sec, 205 secs
lola: STP completed || 5 tries, 4244155 fired transitions, 210 secs || 3935407 markings, 35216692 edges, 19487 markings/sec, 210 secs
lola: STP completed || 5 tries, 4348707 fired transitions, 215 secs || 4032942 markings, 36148108 edges, 19507 markings/sec, 215 secs
lola: STP completed || 5 tries, 4453702 fired transitions, 220 secs || 4131129 markings, 37093655 edges, 19637 markings/sec, 220 secs
lola: STP completed || 5 tries, 4557590 fired transitions, 225 secs || 4230323 markings, 38028121 edges, 19839 markings/sec, 225 secs
lola: STP completed || 5 tries, 4661850 fired transitions, 230 secs || 4328585 markings, 38958724 edges, 19652 markings/sec, 230 secs
lola: STP completed || 5 tries, 4751980 fired transitions, 235 secs || 4421848 markings, 39852042 edges, 18653 markings/sec, 235 secs
lola: STP completed || 5 tries, 4843262 fired transitions, 240 secs || 4515251 markings, 40737556 edges, 18681 markings/sec, 240 secs
lola: STP completed || 5 tries, 4934700 fired transitions, 245 secs || 4608258 markings, 41630456 edges, 18601 markings/sec, 245 secs
lola: STP completed || 6 tries, 5026467 fired transitions, 250 secs || 4700442 markings, 42518922 edges, 18437 markings/sec, 250 secs
lola: STP completed || 6 tries, 5118375 fired transitions, 255 secs || 4794305 markings, 43416160 edges, 18773 markings/sec, 255 secs
lola: STP completed || 6 tries, 5210485 fired transitions, 260 secs || 4888203 markings, 44310313 edges, 18780 markings/sec, 260 secs
lola: STP completed || 6 tries, 5302845 fired transitions, 265 secs || 4975899 markings, 45153413 edges, 17539 markings/sec, 265 secs
lola: STP completed || 6 tries, 5400437 fired transitions, 270 secs || 5069092 markings, 46042283 edges, 18639 markings/sec, 270 secs
lola: STP completed || 6 tries, 5493576 fired transitions, 275 secs || 5161887 markings, 46926692 edges, 18559 markings/sec, 275 secs
lola: STP completed || 6 tries, 5585413 fired transitions, 280 secs || 5254603 markings, 47811663 edges, 18543 markings/sec, 280 secs
lola: STP completed || 6 tries, 5676208 fired transitions, 285 secs || 5346737 markings, 48691193 edges, 18427 markings/sec, 285 secs
lola: STP completed || 6 tries, 5768003 fired transitions, 290 secs || 5439423 markings, 49569199 edges, 18537 markings/sec, 290 secs
lola: STP completed || 6 tries, 5860216 fired transitions, 295 secs || 5530203 markings, 50451890 edges, 18156 markings/sec, 295 secs
lola: STP completed || 6 tries, 5953693 fired transitions, 300 secs || 5622928 markings, 51336564 edges, 18545 markings/sec, 300 secs
lola: STP completed || 7 tries, 6046304 fired transitions, 305 secs || 5713905 markings, 52210436 edges, 18195 markings/sec, 305 secs
lola: STP completed || 7 tries, 6138409 fired transitions, 310 secs || 5805690 markings, 53086026 edges, 18357 markings/sec, 310 secs
lola: STP completed || 7 tries, 6230172 fired transitions, 315 secs || 5897285 markings, 53965334 edges, 18319 markings/sec, 315 secs
lola: STP completed || 7 tries, 6318936 fired transitions, 320 secs || 5987486 markings, 54828162 edges, 18040 markings/sec, 320 secs
lola: STP completed || 7 tries, 6407155 fired transitions, 325 secs || 6080132 markings, 55713645 edges, 18529 markings/sec, 325 secs
lola: STP completed || 7 tries, 6498997 fired transitions, 330 secs || 6171528 markings, 56589551 edges, 18279 markings/sec, 330 secs
lola: STP completed || 7 tries, 6589061 fired transitions, 335 secs || 6263607 markings, 57466781 edges, 18416 markings/sec, 335 secs
lola: STP completed || 7 tries, 6680264 fired transitions, 340 secs || 6356929 markings, 58350717 edges, 18664 markings/sec, 340 secs
lola: STP completed || 7 tries, 6771361 fired transitions, 345 secs || 6447755 markings, 59227730 edges, 18165 markings/sec, 345 secs
lola: STP completed || 7 tries, 6861152 fired transitions, 350 secs || 6539111 markings, 60105994 edges, 18271 markings/sec, 350 secs
lola: STP completed || 7 tries, 6951105 fired transitions, 355 secs || 6631703 markings, 60983926 edges, 18518 markings/sec, 355 secs
lola: STP completed || 8 tries, 7041196 fired transitions, 360 secs || 6723976 markings, 61862023 edges, 18455 markings/sec, 360 secs
lola: STP completed || 8 tries, 7134312 fired transitions, 365 secs || 6814995 markings, 62741480 edges, 18204 markings/sec, 365 secs
lola: STP completed || 8 tries, 7228088 fired transitions, 370 secs || 6908471 markings, 63635374 edges, 18695 markings/sec, 370 secs
lola: STP completed || 8 tries, 7322676 fired transitions, 375 secs || 7002380 markings, 64532611 edges, 18782 markings/sec, 375 secs
lola: STP completed || 8 tries, 7416328 fired transitions, 380 secs || 7096122 markings, 65432821 edges, 18748 markings/sec, 380 secs
lola: STP completed || 8 tries, 7510939 fired transitions, 385 secs || 7189111 markings, 66327722 edges, 18598 markings/sec, 385 secs
lola: STP completed || 8 tries, 7605222 fired transitions, 390 secs || 7281651 markings, 67216983 edges, 18508 markings/sec, 390 secs
lola: STP completed || 8 tries, 7699947 fired transitions, 395 secs || 7373278 markings, 68103856 edges, 18325 markings/sec, 395 secs
lola: STP completed || 8 tries, 7793458 fired transitions, 400 secs || 7466877 markings, 69011224 edges, 18720 markings/sec, 400 secs
lola: STP completed || 8 tries, 7887971 fired transitions, 405 secs || 7559241 markings, 69891460 edges, 18473 markings/sec, 405 secs
lola: STP completed || 8 tries, 7982884 fired transitions, 410 secs || 7652410 markings, 70787344 edges, 18634 markings/sec, 410 secs
lola: STP completed || 9 tries, 8077288 fired transitions, 415 secs || 7744724 markings, 71670339 edges, 18463 markings/sec, 415 secs
lola: STP completed || 9 tries, 8170977 fired transitions, 420 secs || 7838370 markings, 72555260 edges, 18729 markings/sec, 420 secs
lola: STP completed || 9 tries, 8265534 fired transitions, 425 secs || 7929737 markings, 73432217 edges, 18273 markings/sec, 425 secs
lola: STP completed || 9 tries, 8358159 fired transitions, 430 secs || 8018463 markings, 74272922 edges, 17745 markings/sec, 430 secs
lola: STP completed || 9 tries, 8450036 fired transitions, 435 secs || 8105870 markings, 75094304 edges, 17481 markings/sec, 435 secs
lola: STP completed || 9 tries, 8540851 fired transitions, 440 secs || 8191926 markings, 75902690 edges, 17211 markings/sec, 440 secs
lola: STP completed || 9 tries, 8632006 fired transitions, 445 secs || 8280405 markings, 76733259 edges, 17696 markings/sec, 445 secs
lola: STP completed || 9 tries, 8726952 fired transitions, 450 secs || 8374158 markings, 77629817 edges, 18751 markings/sec, 450 secs
lola: STP completed || 9 tries, 8819801 fired transitions, 455 secs || 8466481 markings, 78521401 edges, 18465 markings/sec, 455 secs
lola: STP completed || 9 tries, 8913296 fired transitions, 460 secs || 8559573 markings, 79408086 edges, 18618 markings/sec, 460 secs
lola: STP completed || 10 tries, 9007737 fired transitions, 465 secs || 8651992 markings, 80297602 edges, 18484 markings/sec, 465 secs
lola: STP completed || 10 tries, 9102584 fired transitions, 470 secs || 8739668 markings, 81134600 edges, 17535 markings/sec, 470 secs
lola: STP completed || 10 tries, 9197096 fired transitions, 475 secs || 8828230 markings, 81975770 edges, 17712 markings/sec, 475 secs
lola: STP completed || 10 tries, 9291386 fired transitions, 480 secs || 8921653 markings, 82872999 edges, 18685 markings/sec, 480 secs
lola: STP completed || 10 tries, 9383819 fired transitions, 485 secs || 9015997 markings, 83774529 edges, 18869 markings/sec, 485 secs
lola: STP completed || 10 tries, 9488734 fired transitions, 490 secs || 9112115 markings, 84706697 edges, 19224 markings/sec, 490 secs
lola: STP completed || 10 tries, 9594736 fired transitions, 495 secs || 9210685 markings, 85653784 edges, 19714 markings/sec, 495 secs
lola: STP completed || 10 tries, 9703332 fired transitions, 500 secs || 9310046 markings, 86615200 edges, 19872 markings/sec, 500 secs
lola: STP completed || 10 tries, 9808644 fired transitions, 505 secs || 9407642 markings, 87539184 edges, 19519 markings/sec, 505 secs
lola: STP completed || 10 tries, 9911691 fired transitions, 510 secs || 9502608 markings, 88454038 edges, 18993 markings/sec, 510 secs
lola: STP completed || 11 tries, 10016580 fired transitions, 515 secs || 9599296 markings, 89380470 edges, 19338 markings/sec, 515 secs
lola: STP completed || 11 tries, 10120785 fired transitions, 520 secs || 9695741 markings, 90298274 edges, 19289 markings/sec, 520 secs
lola: STP completed || 11 tries, 10224769 fired transitions, 525 secs || 9791642 markings, 91215201 edges, 19180 markings/sec, 525 secs
lola: STP completed || 11 tries, 10331606 fired transitions, 530 secs || 9891113 markings, 92162420 edges, 19894 markings/sec, 530 secs
lola: STP completed || 11 tries, 10437924 fired transitions, 535 secs || 9990454 markings, 93105601 edges, 19868 markings/sec, 535 secs
lola: STP completed || 11 tries, 10546071 fired transitions, 540 secs || 10090042 markings, 94066925 edges, 19918 markings/sec, 540 secs
lola: STP completed || 11 tries, 10653037 fired transitions, 545 secs || 10189447 markings, 95018775 edges, 19881 markings/sec, 545 secs
lola: STP completed || 11 tries, 10760424 fired transitions, 550 secs || 10289517 markings, 95968352 edges, 20014 markings/sec, 550 secs
lola: STP completed || 11 tries, 10868600 fired transitions, 555 secs || 10389599 markings, 96931667 edges, 20016 markings/sec, 555 secs
lola: STP completed || 11 tries, 10976094 fired transitions, 560 secs || 10489582 markings, 97888404 edges, 19997 markings/sec, 560 secs
lola: STP completed || 12 tries, 11083669 fired transitions, 565 secs || 10588680 markings, 98841088 edges, 19820 markings/sec, 565 secs
lola: STP completed || 12 tries, 11190746 fired transitions, 570 secs || 10687620 markings, 99789029 edges, 19788 markings/sec, 570 secs
lola: STP completed || 12 tries, 11299406 fired transitions, 575 secs || 10787500 markings, 100748234 edges, 19976 markings/sec, 575 secs
lola: STP completed || 12 tries, 11406451 fired transitions, 580 secs || 10886863 markings, 101693511 edges, 19873 markings/sec, 580 secs
lola: STP completed || 12 tries, 11505971 fired transitions, 585 secs || 10981233 markings, 102608949 edges, 18874 markings/sec, 585 secs
lola: STP completed || 12 tries, 11603355 fired transitions, 590 secs || 11074484 markings, 103505519 edges, 18650 markings/sec, 590 secs
lola: STP completed || 12 tries, 11701404 fired transitions, 595 secs || 11167533 markings, 104399250 edges, 18610 markings/sec, 595 secs
lola: STP completed || 12 tries, 11800739 fired transitions, 600 secs || 11258279 markings, 105265963 edges, 18149 markings/sec, 600 secs
lola: STP completed || 12 tries, 11902508 fired transitions, 605 secs || 11346579 markings, 106107718 edges, 17660 markings/sec, 605 secs
lola: STP completed || 13 tries, 12002869 fired transitions, 610 secs || 11436398 markings, 106966267 edges, 17964 markings/sec, 610 secs
lola: STP completed || 13 tries, 12100490 fired transitions, 615 secs || 11527201 markings, 107842802 edges, 18161 markings/sec, 615 secs
lola: STP completed || 13 tries, 12198879 fired transitions, 620 secs || 11616397 markings, 108701770 edges, 17839 markings/sec, 620 secs
lola: STP completed || 13 tries, 12296861 fired transitions, 625 secs || 11705847 markings, 109559368 edges, 17890 markings/sec, 625 secs
lola: STP completed || 13 tries, 12394950 fired transitions, 630 secs || 11796621 markings, 110421309 edges, 18155 markings/sec, 630 secs
lola: STP completed || 13 tries, 12492865 fired transitions, 635 secs || 11885219 markings, 111276271 edges, 17720 markings/sec, 635 secs
lola: STP completed || 13 tries, 12590748 fired transitions, 640 secs || 11975502 markings, 112131167 edges, 18057 markings/sec, 640 secs
lola: STP completed || 13 tries, 12689297 fired transitions, 645 secs || 12064687 markings, 112981825 edges, 17837 markings/sec, 645 secs
lola: STP completed || 13 tries, 12785905 fired transitions, 650 secs || 12153600 markings, 113822785 edges, 17783 markings/sec, 650 secs
lola: STP completed || 13 tries, 12884426 fired transitions, 655 secs || 12244082 markings, 114687273 edges, 18096 markings/sec, 655 secs
lola: STP completed || 13 tries, 12982914 fired transitions, 660 secs || 12333428 markings, 115530313 edges, 17869 markings/sec, 660 secs
lola: STP completed || 14 tries, 13085841 fired transitions, 665 secs || 12428308 markings, 116443361 edges, 18976 markings/sec, 665 secs
lola: STP completed || 14 tries, 13191166 fired transitions, 670 secs || 12526551 markings, 117381583 edges, 19649 markings/sec, 670 secs
lola: STP completed || 14 tries, 13293473 fired transitions, 675 secs || 12623220 markings, 118301245 edges, 19334 markings/sec, 675 secs
lola: STP completed || 14 tries, 13394271 fired transitions, 680 secs || 12718525 markings, 119213654 edges, 19061 markings/sec, 680 secs
lola: STP completed || 14 tries, 13496875 fired transitions, 685 secs || 12816335 markings, 120146711 edges, 19562 markings/sec, 685 secs
lola: STP completed || 14 tries, 13599345 fired transitions, 690 secs || 12912929 markings, 121071536 edges, 19319 markings/sec, 690 secs
lola: STP completed || 14 tries, 13701653 fired transitions, 695 secs || 13009527 markings, 121988357 edges, 19320 markings/sec, 695 secs
lola: STP completed || 14 tries, 13804432 fired transitions, 700 secs || 13106743 markings, 122909781 edges, 19443 markings/sec, 700 secs
lola: STP completed || 14 tries, 13908079 fired transitions, 705 secs || 13204431 markings, 123844622 edges, 19538 markings/sec, 705 secs
lola: STP completed || 15 tries, 14009738 fired transitions, 710 secs || 13301792 markings, 124774557 edges, 19472 markings/sec, 710 secs
lola: STP completed || 15 tries, 14111534 fired transitions, 715 secs || 13398893 markings, 125692715 edges, 19420 markings/sec, 715 secs
lola: STP completed || 15 tries, 14216871 fired transitions, 720 secs || 13494588 markings, 126606156 edges, 19139 markings/sec, 720 secs
lola: STP completed || 15 tries, 14317446 fired transitions, 725 secs || 13590135 markings, 127509616 edges, 19109 markings/sec, 725 secs
lola: STP completed || 15 tries, 14416385 fired transitions, 730 secs || 13682331 markings, 128386849 edges, 18439 markings/sec, 730 secs
lola: STP completed || 15 tries, 14516133 fired transitions, 735 secs || 13775081 markings, 129271538 edges, 18550 markings/sec, 735 secs
lola: STP completed || 15 tries, 14614958 fired transitions, 740 secs || 13868107 markings, 130165491 edges, 18605 markings/sec, 740 secs
lola: STP completed || 15 tries, 14717889 fired transitions, 745 secs || 13965621 markings, 131101305 edges, 19503 markings/sec, 745 secs
lola: STP completed || 15 tries, 14821034 fired transitions, 750 secs || 14063777 markings, 132034404 edges, 19631 markings/sec, 750 secs
lola: STP completed || 15 tries, 14925699 fired transitions, 755 secs || 14159844 markings, 132960565 edges, 19213 markings/sec, 755 secs
lola: STP completed || 16 tries, 15027344 fired transitions, 760 secs || 14254903 markings, 133873326 edges, 19012 markings/sec, 760 secs
lola: STP completed || 16 tries, 15119534 fired transitions, 765 secs || 14345582 markings, 134740196 edges, 18136 markings/sec, 765 secs
lola: STP completed || 16 tries, 15211116 fired transitions, 770 secs || 14437509 markings, 135610857 edges, 18385 markings/sec, 770 secs
lola: STP completed || 16 tries, 15303783 fired transitions, 775 secs || 14528056 markings, 136480213 edges, 18109 markings/sec, 775 secs
lola: STP completed || 16 tries, 15403628 fired transitions, 780 secs || 14622739 markings, 137391057 edges, 18937 markings/sec, 780 secs
lola: STP completed || 16 tries, 15502787 fired transitions, 785 secs || 14718700 markings, 138306648 edges, 19192 markings/sec, 785 secs
lola: STP completed || 16 tries, 15604473 fired transitions, 790 secs || 14815393 markings, 139226858 edges, 19339 markings/sec, 790 secs
lola: STP completed || 16 tries, 15707130 fired transitions, 795 secs || 14912722 markings, 140158053 edges, 19466 markings/sec, 795 secs
lola: STP completed || 16 tries, 15810063 fired transitions, 800 secs || 15010031 markings, 141093220 edges, 19462 markings/sec, 800 secs
lola: STP completed || 16 tries, 15909670 fired transitions, 805 secs || 15106366 markings, 141994763 edges, 19267 markings/sec, 805 secs
lola: STP completed || 17 tries, 16010596 fired transitions, 810 secs || 15203163 markings, 142916962 edges, 19359 markings/sec, 810 secs
lola: STP completed || 17 tries, 16111980 fired transitions, 815 secs || 15295188 markings, 143795725 edges, 18405 markings/sec, 815 secs
lola: STP completed || 17 tries, 16212816 fired transitions, 820 secs || 15391383 markings, 144694942 edges, 19239 markings/sec, 820 secs
lola: STP completed || 17 tries, 16317261 fired transitions, 825 secs || 15488368 markings, 145620678 edges, 19397 markings/sec, 825 secs
lola: STP completed || 17 tries, 16423427 fired transitions, 830 secs || 15586804 markings, 146570849 edges, 19687 markings/sec, 830 secs
lola: STP completed || 17 tries, 16515029 fired transitions, 835 secs || 15677857 markings, 147442274 edges, 18211 markings/sec, 835 secs
lola: STP completed || 17 tries, 16606561 fired transitions, 840 secs || 15769687 markings, 148316618 edges, 18366 markings/sec, 840 secs
lola: STP completed || 17 tries, 16700715 fired transitions, 845 secs || 15861485 markings, 149202559 edges, 18360 markings/sec, 845 secs
lola: STP completed || 17 tries, 16793058 fired transitions, 850 secs || 15953603 markings, 150082370 edges, 18424 markings/sec, 850 secs
lola: STP completed || 17 tries, 16884681 fired transitions, 855 secs || 16045090 markings, 150958360 edges, 18297 markings/sec, 855 secs
lola: STP completed || 17 tries, 16984228 fired transitions, 860 secs || 16139442 markings, 151858548 edges, 18870 markings/sec, 860 secs
lola: STP completed || 18 tries, 17084165 fired transitions, 865 secs || 16234970 markings, 152771951 edges, 19106 markings/sec, 865 secs
lola: STP completed || 18 tries, 17185764 fired transitions, 870 secs || 16332196 markings, 153703175 edges, 19445 markings/sec, 870 secs
lola: STP completed || 18 tries, 17278006 fired transitions, 875 secs || 16426372 markings, 154599601 edges, 18835 markings/sec, 875 secs
lola: STP completed || 18 tries, 17370443 fired transitions, 880 secs || 16518467 markings, 155483123 edges, 18419 markings/sec, 880 secs
lola: STP completed || 18 tries, 17464207 fired transitions, 885 secs || 16612124 markings, 156373233 edges, 18731 markings/sec, 885 secs
lola: STP completed || 18 tries, 17564121 fired transitions, 890 secs || 16708669 markings, 157297875 edges, 19309 markings/sec, 890 secs
lola: STP completed || 18 tries, 17666605 fired transitions, 895 secs || 16805080 markings, 158233548 edges, 19282 markings/sec, 895 secs
lola: STP completed || 18 tries, 17771299 fired transitions, 900 secs || 16902776 markings, 159164567 edges, 19539 markings/sec, 900 secs
lola: STP completed || 18 tries, 17872132 fired transitions, 905 secs || 16999123 markings, 160084457 edges, 19269 markings/sec, 905 secs
lola: STP completed || 18 tries, 17975741 fired transitions, 910 secs || 17096655 markings, 161024509 edges, 19506 markings/sec, 910 secs
lola: STP completed || 19 tries, 18080627 fired transitions, 915 secs || 17194587 markings, 161963821 edges, 19586 markings/sec, 915 secs
lola: STP completed || 19 tries, 18181988 fired transitions, 920 secs || 17289553 markings, 162880034 edges, 18993 markings/sec, 920 secs
lola: STP completed || 19 tries, 18280455 fired transitions, 925 secs || 17381599 markings, 163764954 edges, 18409 markings/sec, 925 secs
lola: STP completed || 19 tries, 18385170 fired transitions, 930 secs || 17477094 markings, 164687480 edges, 19099 markings/sec, 930 secs
lola: STP completed || 19 tries, 18490623 fired transitions, 935 secs || 17574384 markings, 165614777 edges, 19458 markings/sec, 935 secs
lola: STP completed || 19 tries, 18594707 fired transitions, 940 secs || 17672796 markings, 166550333 edges, 19682 markings/sec, 940 secs
lola: STP completed || 19 tries, 18700171 fired transitions, 945 secs || 17769110 markings, 167479250 edges, 19263 markings/sec, 945 secs
lola: STP completed || 19 tries, 18804705 fired transitions, 950 secs || 17865415 markings, 168402877 edges, 19261 markings/sec, 950 secs
lola: STP completed || 19 tries, 18910628 fired transitions, 955 secs || 17961745 markings, 169329017 edges, 19266 markings/sec, 955 secs
lola: STP completed || 20 tries, 19015502 fired transitions, 960 secs || 18058134 markings, 170243184 edges, 19278 markings/sec, 960 secs
lola: STP completed || 20 tries, 19117163 fired transitions, 965 secs || 18152705 markings, 171155444 edges, 18914 markings/sec, 965 secs
lola: STP completed || 20 tries, 19219036 fired transitions, 970 secs || 18249434 markings, 172089240 edges, 19346 markings/sec, 970 secs
lola: STP completed || 20 tries, 19321244 fired transitions, 975 secs || 18345747 markings, 173008370 edges, 19263 markings/sec, 975 secs
lola: STP completed || 20 tries, 19424702 fired transitions, 980 secs || 18441422 markings, 173914889 edges, 19135 markings/sec, 980 secs
lola: STP completed || 20 tries, 19525661 fired transitions, 985 secs || 18537324 markings, 174832599 edges, 19180 markings/sec, 985 secs
lola: STP completed || 20 tries, 19627148 fired transitions, 990 secs || 18632789 markings, 175746874 edges, 19093 markings/sec, 990 secs
lola: STP completed || 20 tries, 19731667 fired transitions, 995 secs || 18729517 markings, 176680735 edges, 19346 markings/sec, 995 secs
lola: STP completed || 20 tries, 19836549 fired transitions, 1000 secs || 18826985 markings, 177612192 edges, 19494 markings/sec, 1000 secs
lola: STP completed || 20 tries, 19944902 fired transitions, 1005 secs || 18926754 markings, 178566847 edges, 19954 markings/sec, 1005 secs
lola: STP completed || 21 tries, 20052726 fired transitions, 1010 secs || 19025523 markings, 179508537 edges, 19754 markings/sec, 1010 secs
lola: STP completed || 21 tries, 20158315 fired transitions, 1015 secs || 19123831 markings, 180447006 edges, 19662 markings/sec, 1015 secs
lola: STP completed || 21 tries, 20258586 fired transitions, 1020 secs || 19217704 markings, 181358897 edges, 18775 markings/sec, 1020 secs
lola: STP completed || 21 tries, 20362909 fired transitions, 1025 secs || 19315053 markings, 182294820 edges, 19470 markings/sec, 1025 secs
lola: STP completed || 21 tries, 20468095 fired transitions, 1030 secs || 19410858 markings, 183221184 edges, 19161 markings/sec, 1030 secs
lola: STP completed || 21 tries, 20569817 fired transitions, 1035 secs || 19506559 markings, 184143650 edges, 19140 markings/sec, 1035 secs
lola: STP completed || 21 tries, 20671563 fired transitions, 1040 secs || 19600936 markings, 185047413 edges, 18875 markings/sec, 1040 secs
lola: STP completed || 21 tries, 20778323 fired transitions, 1045 secs || 19698350 markings, 185983171 edges, 19483 markings/sec, 1045 secs
lola: STP completed || 21 tries, 20882562 fired transitions, 1050 secs || 19796066 markings, 186913790 edges, 19543 markings/sec, 1050 secs
lola: STP completed || 21 tries, 20989797 fired transitions, 1055 secs || 19893956 markings, 187855738 edges, 19578 markings/sec, 1055 secs
lola: STP completed || 22 tries, 21093021 fired transitions, 1060 secs || 19990368 markings, 188775406 edges, 19282 markings/sec, 1060 secs
lola: STP completed || 22 tries, 21197929 fired transitions, 1065 secs || 20088590 markings, 189711310 edges, 19644 markings/sec, 1065 secs
lola: STP completed || 22 tries, 21302314 fired transitions, 1070 secs || 20185398 markings, 190642842 edges, 19362 markings/sec, 1070 secs
lola: STP completed || 22 tries, 21406966 fired transitions, 1075 secs || 20282654 markings, 191569983 edges, 19451 markings/sec, 1075 secs
lola: STP completed || 22 tries, 21511836 fired transitions, 1080 secs || 20379115 markings, 192498618 edges, 19292 markings/sec, 1080 secs
lola: STP completed || 22 tries, 21617057 fired transitions, 1085 secs || 20476343 markings, 193428541 edges, 19446 markings/sec, 1085 secs
lola: STP completed || 22 tries, 21724478 fired transitions, 1090 secs || 20576115 markings, 194370423 edges, 19954 markings/sec, 1090 secs
lola: STP completed || 22 tries, 21832929 fired transitions, 1095 secs || 20676999 markings, 195323320 edges, 20177 markings/sec, 1095 secs
lola: STP completed || 22 tries, 21936334 fired transitions, 1100 secs || 20772923 markings, 196230945 edges, 19185 markings/sec, 1100 secs
lola: STP completed || 23 tries, 22037535 fired transitions, 1105 secs || 20869191 markings, 197144552 edges, 19254 markings/sec, 1105 secs
lola: STP completed || 23 tries, 22134292 fired transitions, 1110 secs || 20962826 markings, 198036358 edges, 18727 markings/sec, 1110 secs
lola: STP completed || 23 tries, 22233516 fired transitions, 1115 secs || 21056300 markings, 198927909 edges, 18695 markings/sec, 1115 secs
lola: STP completed || 23 tries, 22330421 fired transitions, 1120 secs || 21149666 markings, 199813491 edges, 18673 markings/sec, 1120 secs
lola: STP completed || 23 tries, 22422512 fired transitions, 1125 secs || 21241157 markings, 200688784 edges, 18298 markings/sec, 1125 secs
lola: STP completed || 23 tries, 22514867 fired transitions, 1130 secs || 21332672 markings, 201560498 edges, 18303 markings/sec, 1130 secs
lola: STP completed || 23 tries, 22606407 fired transitions, 1135 secs || 21424575 markings, 202438435 edges, 18381 markings/sec, 1135 secs
lola: STP completed || 23 tries, 22698279 fired transitions, 1140 secs || 21517028 markings, 203315624 edges, 18491 markings/sec, 1140 secs
lola: STP completed || 23 tries, 22790721 fired transitions, 1145 secs || 21609222 markings, 204194766 edges, 18439 markings/sec, 1145 secs
lola: STP completed || 23 tries, 22882459 fired transitions, 1150 secs || 21701091 markings, 205069828 edges, 18374 markings/sec, 1150 secs
lola: STP completed || 23 tries, 22982492 fired transitions, 1155 secs || 21794205 markings, 205955527 edges, 18623 markings/sec, 1155 secs
lola: STP completed || 24 tries, 23084879 fired transitions, 1160 secs || 21888216 markings, 206862266 edges, 18802 markings/sec, 1160 secs
lola: STP completed || 24 tries, 23190265 fired transitions, 1165 secs || 21986163 markings, 207805481 edges, 19589 markings/sec, 1165 secs
lola: STP completed || 24 tries, 23295267 fired transitions, 1170 secs || 22084145 markings, 208740358 edges, 19596 markings/sec, 1170 secs
lola: STP completed || 24 tries, 23399234 fired transitions, 1175 secs || 22181720 markings, 209670973 edges, 19515 markings/sec, 1175 secs
lola: STP completed || 24 tries, 23505363 fired transitions, 1180 secs || 22278728 markings, 210609438 edges, 19402 markings/sec, 1180 secs
lola: STP completed || 24 tries, 23609154 fired transitions, 1185 secs || 22375758 markings, 211543116 edges, 19406 markings/sec, 1185 secs
lola: STP completed || 24 tries, 23709946 fired transitions, 1190 secs || 22469852 markings, 212443884 edges, 18819 markings/sec, 1190 secs
lola: STP completed || 24 tries, 23815380 fired transitions, 1195 secs || 22567332 markings, 213375351 edges, 19496 markings/sec, 1195 secs
lola: STP completed || 24 tries, 23920120 fired transitions, 1200 secs || 22663471 markings, 214307667 edges, 19228 markings/sec, 1200 secs
lola: STP completed || 25 tries, 24023316 fired transitions, 1205 secs || 22758945 markings, 215226674 edges, 19095 markings/sec, 1205 secs
lola: STP completed || 25 tries, 24127916 fired transitions, 1210 secs || 22853721 markings, 216151805 edges, 18955 markings/sec, 1210 secs
lola: STP completed || 25 tries, 24231910 fired transitions, 1215 secs || 22950247 markings, 217073897 edges, 19305 markings/sec, 1215 secs
lola: STP completed || 25 tries, 24336447 fired transitions, 1220 secs || 23047440 markings, 218004757 edges, 19439 markings/sec, 1220 secs
lola: STP completed || 25 tries, 24432034 fired transitions, 1225 secs || 23140357 markings, 218891832 edges, 18583 markings/sec, 1225 secs
lola: STP completed || 25 tries, 24525232 fired transitions, 1230 secs || 23233300 markings, 219779672 edges, 18589 markings/sec, 1230 secs
lola: STP completed || 25 tries, 24621323 fired transitions, 1235 secs || 23324267 markings, 220644767 edges, 18193 markings/sec, 1235 secs
lola: STP completed || 25 tries, 24719870 fired transitions, 1240 secs || 23419076 markings, 221551111 edges, 18962 markings/sec, 1240 secs
lola: STP completed || 25 tries, 24811910 fired transitions, 1245 secs || 23510385 markings, 222430310 edges, 18262 markings/sec, 1245 secs
lola: STP completed || 25 tries, 24903961 fired transitions, 1250 secs || 23602126 markings, 223304008 edges, 18348 markings/sec, 1250 secs
lola: STP completed || 26 tries, 25003155 fired transitions, 1255 secs || 23697584 markings, 224217734 edges, 19092 markings/sec, 1255 secs
lola: STP completed || 26 tries, 25106928 fired transitions, 1260 secs || 23794660 markings, 225146254 edges, 19415 markings/sec, 1260 secs
lola: STP completed || 26 tries, 25210288 fired transitions, 1265 secs || 23892297 markings, 226074640 edges, 19527 markings/sec, 1265 secs
lola: STP completed || 26 tries, 25313067 fired transitions, 1270 secs || 23989076 markings, 226996878 edges, 19356 markings/sec, 1270 secs
lola: STP completed || 26 tries, 25416149 fired transitions, 1275 secs || 24085636 markings, 227921960 edges, 19312 markings/sec, 1275 secs
lola: STP completed || 26 tries, 25520711 fired transitions, 1280 secs || 24182666 markings, 228850947 edges, 19406 markings/sec, 1280 secs
lola: STP completed || 26 tries, 25625931 fired transitions, 1285 secs || 24280939 markings, 229785524 edges, 19655 markings/sec, 1285 secs
lola: STP completed || 26 tries, 25731649 fired transitions, 1290 secs || 24378505 markings, 230713117 edges, 19513 markings/sec, 1290 secs
lola: STP completed || 26 tries, 25836956 fired transitions, 1295 secs || 24474524 markings, 231646387 edges, 19204 markings/sec, 1295 secs
lola: STP completed || 26 tries, 25940756 fired transitions, 1300 secs || 24571096 markings, 232569114 edges, 19314 markings/sec, 1300 secs
lola: STP completed || 27 tries, 26045237 fired transitions, 1305 secs || 24668646 markings, 233507473 edges, 19510 markings/sec, 1305 secs
lola: STP completed || 27 tries, 26151350 fired transitions, 1310 secs || 24766191 markings, 234449430 edges, 19509 markings/sec, 1310 secs
lola: STP completed || 27 tries, 26256115 fired transitions, 1315 secs || 24863580 markings, 235390410 edges, 19478 markings/sec, 1315 secs
lola: STP completed || 27 tries, 26360089 fired transitions, 1320 secs || 24960715 markings, 236319082 edges, 19427 markings/sec, 1320 secs
lola: STP completed || 27 tries, 26465433 fired transitions, 1325 secs || 25056296 markings, 237239496 edges, 19116 markings/sec, 1325 secs
lola: STP completed || 27 tries, 26569967 fired transitions, 1330 secs || 25150582 markings, 238155461 edges, 18857 markings/sec, 1330 secs
lola: STP completed || 27 tries, 26673322 fired transitions, 1335 secs || 25247587 markings, 239078776 edges, 19401 markings/sec, 1335 secs
lola: STP completed || 27 tries, 26777179 fired transitions, 1340 secs || 25345108 markings, 240016150 edges, 19504 markings/sec, 1340 secs
lola: STP completed || 27 tries, 26881707 fired transitions, 1345 secs || 25442254 markings, 240940756 edges, 19429 markings/sec, 1345 secs
lola: STP completed || 27 tries, 26986289 fired transitions, 1350 secs || 25540657 markings, 241873618 edges, 19681 markings/sec, 1350 secs
lola: STP completed || 28 tries, 27090852 fired transitions, 1355 secs || 25637532 markings, 242810274 edges, 19375 markings/sec, 1355 secs
lola: STP completed || 28 tries, 27196414 fired transitions, 1360 secs || 25735337 markings, 243737732 edges, 19561 markings/sec, 1360 secs
lola: STP completed || 28 tries, 27300123 fired transitions, 1365 secs || 25830990 markings, 244659684 edges, 19131 markings/sec, 1365 secs
lola: STP completed || 28 tries, 27404335 fired transitions, 1370 secs || 25927444 markings, 245574866 edges, 19291 markings/sec, 1370 secs
lola: STP completed || 28 tries, 27508597 fired transitions, 1375 secs || 26023471 markings, 246490252 edges, 19205 markings/sec, 1375 secs
lola: STP completed || 28 tries, 27616360 fired transitions, 1380 secs || 26120671 markings, 247426321 edges, 19440 markings/sec, 1380 secs
lola: STP completed || 28 tries, 27724802 fired transitions, 1385 secs || 26219015 markings, 248361260 edges, 19669 markings/sec, 1385 secs
lola: STP completed || 28 tries, 27829842 fired transitions, 1390 secs || 26313241 markings, 249264998 edges, 18845 markings/sec, 1390 secs
lola: STP completed || 28 tries, 27935087 fired transitions, 1395 secs || 26408177 markings, 250172216 edges, 18987 markings/sec, 1395 secs
lola: STP completed || 29 tries, 28040100 fired transitions, 1400 secs || 26504667 markings, 251088828 edges, 19298 markings/sec, 1400 secs
lola: STP completed || 29 tries, 28145580 fired transitions, 1405 secs || 26600369 markings, 252007029 edges, 19140 markings/sec, 1405 secs
lola: STP completed || 29 tries, 28251489 fired transitions, 1410 secs || 26696154 markings, 252932680 edges, 19157 markings/sec, 1410 secs
lola: STP completed || 29 tries, 28355381 fired transitions, 1415 secs || 26791446 markings, 253844755 edges, 19058 markings/sec, 1415 secs
lola: STP completed || 29 tries, 28460944 fired transitions, 1420 secs || 26886230 markings, 254763173 edges, 18957 markings/sec, 1420 secs
lola: STP completed || 29 tries, 28566198 fired transitions, 1425 secs || 26980193 markings, 255669023 edges, 18793 markings/sec, 1425 secs
lola: STP completed || 29 tries, 28671697 fired transitions, 1430 secs || 27075029 markings, 256583233 edges, 18967 markings/sec, 1430 secs
lola: STP completed || 29 tries, 28777937 fired transitions, 1435 secs || 27171893 markings, 257507171 edges, 19373 markings/sec, 1435 secs
lola: STP completed || 29 tries, 28884120 fired transitions, 1440 secs || 27267505 markings, 258419846 edges, 19122 markings/sec, 1440 secs
lola: STP completed || 29 tries, 28988484 fired transitions, 1445 secs || 27362860 markings, 259331790 edges, 19071 markings/sec, 1445 secs
lola: STP completed || 30 tries, 29092701 fired transitions, 1450 secs || 27460342 markings, 260258121 edges, 19496 markings/sec, 1450 secs
lola: STP completed || 30 tries, 29197786 fired transitions, 1455 secs || 27557884 markings, 261189302 edges, 19508 markings/sec, 1455 secs
lola: STP completed || 30 tries, 29302756 fired transitions, 1460 secs || 27655679 markings, 262122405 edges, 19559 markings/sec, 1460 secs
lola: STP completed || 30 tries, 29407179 fired transitions, 1465 secs || 27753369 markings, 263052523 edges, 19538 markings/sec, 1465 secs
lola: STP completed || 30 tries, 29512711 fired transitions, 1470 secs || 27849719 markings, 263980073 edges, 19270 markings/sec, 1470 secs
lola: STP completed || 30 tries, 29617818 fired transitions, 1475 secs || 27945449 markings, 264893812 edges, 19146 markings/sec, 1475 secs
lola: STP completed || 30 tries, 29723766 fired transitions, 1480 secs || 28040445 markings, 265796810 edges, 18999 markings/sec, 1480 secs
lola: STP completed || 30 tries, 29829535 fired transitions, 1485 secs || 28135539 markings, 266684492 edges, 19019 markings/sec, 1485 secs
lola: STP completed || 30 tries, 29935586 fired transitions, 1490 secs || 28230969 markings, 267600368 edges, 19086 markings/sec, 1490 secs
lola: STP completed || 31 tries, 30040719 fired transitions, 1495 secs || 28325670 markings, 268499610 edges, 18940 markings/sec, 1495 secs
lola: STP completed || 31 tries, 30146667 fired transitions, 1500 secs || 28416428 markings, 269364261 edges, 18152 markings/sec, 1500 secs
lola: STP completed || 31 tries, 30252947 fired transitions, 1505 secs || 28511798 markings, 270280106 edges, 19074 markings/sec, 1505 secs
lola: STP completed || 31 tries, 30358680 fired transitions, 1510 secs || 28608827 markings, 271201416 edges, 19406 markings/sec, 1510 secs
lola: STP completed || 31 tries, 30462330 fired transitions, 1515 secs || 28706190 markings, 272133034 edges, 19473 markings/sec, 1515 secs
lola: STP completed || 31 tries, 30567659 fired transitions, 1520 secs || 28803342 markings, 273070249 edges, 19430 markings/sec, 1520 secs
lola: STP completed || 31 tries, 30671498 fired transitions, 1525 secs || 28900160 markings, 273998301 edges, 19364 markings/sec, 1525 secs
lola: STP completed || 31 tries, 30774732 fired transitions, 1530 secs || 28998257 markings, 274928656 edges, 19619 markings/sec, 1530 secs
lola: STP completed || 31 tries, 30878940 fired transitions, 1535 secs || 29096775 markings, 275865460 edges, 19704 markings/sec, 1535 secs
lola: STP completed || 31 tries, 30983402 fired transitions, 1540 secs || 29194296 markings, 276801829 edges, 19504 markings/sec, 1540 secs
lola: STP completed || 32 tries, 31088480 fired transitions, 1545 secs || 29293281 markings, 277742810 edges, 19797 markings/sec, 1545 secs
lola: STP completed || 32 tries, 31193074 fired transitions, 1550 secs || 29391483 markings, 278694651 edges, 19640 markings/sec, 1550 secs
lola: STP completed || 32 tries, 31297383 fired transitions, 1555 secs || 29490320 markings, 279634790 edges, 19767 markings/sec, 1555 secs
lola: STP completed || 32 tries, 31392181 fired transitions, 1560 secs || 29581739 markings, 280507461 edges, 18284 markings/sec, 1560 secs
lola: STP completed || 32 tries, 31483539 fired transitions, 1565 secs || 29673338 markings, 281366245 edges, 18320 markings/sec, 1565 secs
lola: STP completed || 32 tries, 31575486 fired transitions, 1570 secs || 29764093 markings, 282216625 edges, 18151 markings/sec, 1570 secs
lola: STP completed || 32 tries, 31675601 fired transitions, 1575 secs || 29861042 markings, 283122682 edges, 19390 markings/sec, 1575 secs
lola: STP completed || 32 tries, 31781010 fired transitions, 1580 secs || 29960208 markings, 284067775 edges, 19833 markings/sec, 1580 secs
lola: STP completed || 32 tries, 31887922 fired transitions, 1585 secs || 30060984 markings, 285023708 edges, 20155 markings/sec, 1585 secs
lola: STP completed || 32 tries, 31994826 fired transitions, 1590 secs || 30159932 markings, 285966729 edges, 19790 markings/sec, 1590 secs
Killed
FORMULA Raft-PT-09-ReachabilityDeadlock-0 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT SAT_SMT STATE_COMPRESSION STUBBORN_SETS SYMMETRIES TOPOLOGICAL USE_NUPN
----- Kill lola and sara stdout -----
----- Finished stdout -----

BK_STOP 1494801381592

--------------------
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-09"
export BK_EXAMINATION="ReachabilityDeadlock"
export BK_TOOL="lola"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi

tar xzf /home/mcc/BenchKit/INPUTS/Raft-PT-09.tgz
mv Raft-PT-09 execution

# this is for BenchKit: explicit launching of the test

cd execution
echo "====================================================================="
echo " Generated by BenchKit 2-3254"
echo " Executing tool lola"
echo " Input is Raft-PT-09, examination is ReachabilityDeadlock"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r068-csrt-149440963000026"
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 ;