Execution Chart

We display below the execution chart for this examination (boot time has been removed).

Trace from the execution

Waiting for the VM to be ready (probing ssh)
......
=====================================================================
Generated by BenchKit 2-3254
Executing tool lola
Input is S_MultiwaySync-PT-none, examination is ReachabilityDeadlock
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r118-blw7-149441650000224
=====================================================================

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

=== Now, execution of the tool begins

BK_START 1496362880090


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


checking for too many tokens
===========================================================================================
S_MultiwaySync-PT-none: translating PT formula ReachabilityDeadlock into LoLA format
===========================================================================================
translating formula complete
touch formulae;
----- Start make result stdout -----
ReachabilityDeadlock @ S_MultiwaySync-PT-none @ 3540 seconds
Makefile:224: recipe for target 'verify' failed
----- Start make result stdout -----
lola: NET
lola: reading net from model.pnml.lola
lola: finished parsing
lola: closed net file model.pnml.lola
lola: 694/65536 symbol table entries, 0 collisions
lola: preprocessing...
lola: finding significant places
lola: 222 places, 472 transitions, 197 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 547 transition conflict sets
lola: TASK
lola: reading formula from MultiwaySync-PT-none-ReachabilityDeadlock.task
lola: E (F (DEADLOCK))
lola: E (F (DEADLOCK))
lola: checking reachability of deadlocks
lola: Planning: workflow for deadlock check: siphon||findpath||search) (--findpath=par,--siphontrap=par)
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 28 bytes per marking, with 27 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using deadlock preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: SEARCH (findpath)
lola: findpath: using deadlock preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: findpath: starting randomized, memory-less exploration (--search=findpath)
lola: findpath: searching for paths with maximal depth 1000000 (--depthlimit)
lola: findpath: no retry limit given (--retrylimit)
lola: findpath: transitions are chosen randomly
lola: computing symmetries (--symmetry)
lola: time limit for symmetry computation of 300 seconds given (--symmtimelimit)
lola: STP: formula with 8580 variables and 28925 clauses shipped to Minisat
lola: computed 102 generators (24 in search tree, 78 by composition)
lola: representing 1.78541E+14 symmetries
lola: 0 dead branches visited in search tree
lola: stp: The siphon/trap property does not hold
lola: STP completed || 1 tries, 503405 fired transitions, 0 secs || 528406 markings, 2574962 edges, 105681 markings/sec, 0 secs
lola: STP completed || 1 tries, 997824 fired transitions, 5 secs || 933771 markings, 3935623 edges, 81073 markings/sec, 5 secs
lola: STP completed || 2 tries, 1543980 fired transitions, 10 secs || 1433089 markings, 6492456 edges, 99864 markings/sec, 10 secs
lola: STP completed || 3 tries, 2043700 fired transitions, 15 secs || 1824201 markings, 7809742 edges, 78222 markings/sec, 15 secs
lola: STP completed || 3 tries, 2558819 fired transitions, 20 secs || 2247734 markings, 9584872 edges, 84707 markings/sec, 20 secs
lola: STP completed || 4 tries, 3087411 fired transitions, 25 secs || 2705055 markings, 11702207 edges, 91464 markings/sec, 25 secs
lola: STP completed || 4 tries, 3593504 fired transitions, 30 secs || 3087791 markings, 13045286 edges, 76547 markings/sec, 30 secs
lola: STP completed || 5 tries, 4104213 fired transitions, 35 secs || 3458300 markings, 14345745 edges, 74102 markings/sec, 35 secs
lola: STP completed || 5 tries, 4669551 fired transitions, 40 secs || 3929406 markings, 16883019 edges, 94221 markings/sec, 40 secs
lola: STP completed || 6 tries, 5205992 fired transitions, 45 secs || 4340015 markings, 18733946 edges, 82122 markings/sec, 45 secs
lola: STP completed || 6 tries, 5758980 fired transitions, 50 secs || 4784217 markings, 20931014 edges, 88840 markings/sec, 50 secs
lola: STP completed || 7 tries, 6305810 fired transitions, 55 secs || 5218067 markings, 23081136 edges, 86770 markings/sec, 55 secs
lola: STP completed || 7 tries, 6839519 fired transitions, 60 secs || 5675457 markings, 25357654 edges, 91478 markings/sec, 60 secs
lola: STP completed || 8 tries, 7357425 fired transitions, 65 secs || 6207896 markings, 28200797 edges, 106488 markings/sec, 65 secs
lola: STP completed || 8 tries, 7898057 fired transitions, 70 secs || 6721263 markings, 31029257 edges, 102673 markings/sec, 70 secs
lola: STP completed || 9 tries, 8454509 fired transitions, 75 secs || 7274647 markings, 34239721 edges, 110677 markings/sec, 75 secs
lola: STP completed || 9 tries, 8986796 fired transitions, 80 secs || 7822830 markings, 37438896 edges, 109637 markings/sec, 80 secs
lola: STP completed || 10 tries, 9528820 fired transitions, 85 secs || 8372360 markings, 40574625 edges, 109906 markings/sec, 85 secs
lola: STP completed || 11 tries, 10091506 fired transitions, 90 secs || 8952406 markings, 43856527 edges, 116009 markings/sec, 90 secs
lola: STP completed || 11 tries, 10645499 fired transitions, 95 secs || 9502087 markings, 47014936 edges, 109936 markings/sec, 95 secs
lola: STP completed || 12 tries, 11204405 fired transitions, 100 secs || 10076604 markings, 50204334 edges, 114903 markings/sec, 100 secs
lola: STP completed || 12 tries, 11744746 fired transitions, 105 secs || 10641691 markings, 53513742 edges, 113017 markings/sec, 105 secs
lola: STP completed || 13 tries, 12312847 fired transitions, 110 secs || 11246803 markings, 56953640 edges, 121022 markings/sec, 110 secs
lola: STP completed || 13 tries, 12886284 fired transitions, 115 secs || 11813040 markings, 60228470 edges, 113247 markings/sec, 115 secs
lola: STP completed || 14 tries, 13450274 fired transitions, 120 secs || 12403885 markings, 63480487 edges, 118169 markings/sec, 120 secs
lola: STP completed || 15 tries, 14021139 fired transitions, 125 secs || 13017337 markings, 66924946 edges, 122690 markings/sec, 125 secs
lola: STP completed || 15 tries, 14563495 fired transitions, 130 secs || 13619436 markings, 70267714 edges, 120420 markings/sec, 130 secs
lola: STP completed || 16 tries, 15114166 fired transitions, 135 secs || 14223151 markings, 73603373 edges, 120743 markings/sec, 135 secs
lola: STP completed || 16 tries, 15657798 fired transitions, 140 secs || 14848042 markings, 76989300 edges, 124978 markings/sec, 140 secs
lola: STP completed || 17 tries, 16205204 fired transitions, 145 secs || 15460837 markings, 80326474 edges, 122559 markings/sec, 145 secs
lola: STP completed || 17 tries, 16762118 fired transitions, 150 secs || 16087469 markings, 83807778 edges, 125326 markings/sec, 150 secs
lola: STP completed || 18 tries, 17310480 fired transitions, 155 secs || 16667675 markings, 86951604 edges, 116041 markings/sec, 155 secs
lola: STP completed || 18 tries, 17875227 fired transitions, 160 secs || 17196330 markings, 89526428 edges, 105731 markings/sec, 160 secs
lola: STP completed || 19 tries, 18454186 fired transitions, 165 secs || 17630101 markings, 91214887 edges, 86754 markings/sec, 165 secs
lola: STP completed || 19 tries, 18990326 fired transitions, 170 secs || 18110143 markings, 93691827 edges, 96008 markings/sec, 170 secs
lola: STP completed || 20 tries, 19555261 fired transitions, 175 secs || 18587518 markings, 96053865 edges, 95475 markings/sec, 175 secs
lola: STP completed || 21 tries, 20123689 fired transitions, 180 secs || 19018081 markings, 97907316 edges, 86113 markings/sec, 180 secs
lola: STP completed || 21 tries, 20650572 fired transitions, 185 secs || 19417218 markings, 99484863 edges, 79827 markings/sec, 185 secs
lola: STP completed || 22 tries, 21186568 fired transitions, 190 secs || 19811037 markings, 101337737 edges, 78764 markings/sec, 190 secs
lola: STP completed || 22 tries, 21767316 fired transitions, 195 secs || 20236452 markings, 103698901 edges, 85083 markings/sec, 195 secs
lola: STP completed || 23 tries, 22348617 fired transitions, 200 secs || 20651369 markings, 105345440 edges, 82983 markings/sec, 200 secs
lola: STP completed || 23 tries, 22884142 fired transitions, 205 secs || 21056913 markings, 107183906 edges, 81109 markings/sec, 205 secs
lola: STP completed || 24 tries, 23431209 fired transitions, 210 secs || 21517209 markings, 109730556 edges, 92059 markings/sec, 210 secs
lola: STP completed || 24 tries, 23989975 fired transitions, 215 secs || 22025030 markings, 112321545 edges, 101564 markings/sec, 215 secs
lola: STP completed || 25 tries, 24525828 fired transitions, 220 secs || 22457385 markings, 114627817 edges, 86471 markings/sec, 220 secs
lola: STP completed || 26 tries, 25076589 fired transitions, 225 secs || 22885837 markings, 116994008 edges, 85690 markings/sec, 225 secs
lola: STP completed || 26 tries, 25636144 fired transitions, 230 secs || 23335728 markings, 119487773 edges, 89978 markings/sec, 230 secs
lola: STP completed || 27 tries, 26175880 fired transitions, 235 secs || 23817082 markings, 122170354 edges, 96271 markings/sec, 235 secs
lola: STP completed || 27 tries, 26723732 fired transitions, 240 secs || 24312035 markings, 125003322 edges, 98991 markings/sec, 240 secs
lola: STP completed || 28 tries, 27267766 fired transitions, 245 secs || 24829339 markings, 128064830 edges, 103461 markings/sec, 245 secs
lola: STP completed || 28 tries, 27791050 fired transitions, 250 secs || 25369005 markings, 131196692 edges, 107933 markings/sec, 250 secs
lola: STP completed || 29 tries, 28346588 fired transitions, 255 secs || 25911547 markings, 134297247 edges, 108508 markings/sec, 255 secs
lola: STP completed || 29 tries, 28891039 fired transitions, 260 secs || 26453323 markings, 137408334 edges, 108355 markings/sec, 260 secs
lola: STP completed || 30 tries, 29458293 fired transitions, 265 secs || 27017597 markings, 140616386 edges, 112855 markings/sec, 265 secs
lola: STP completed || 31 tries, 30006743 fired transitions, 270 secs || 27588743 markings, 143944993 edges, 114229 markings/sec, 270 secs
lola: STP completed || 31 tries, 30596018 fired transitions, 275 secs || 28163871 markings, 147293091 edges, 115026 markings/sec, 275 secs
lola: STP completed || 32 tries, 31159809 fired transitions, 280 secs || 28755483 markings, 150670294 edges, 118322 markings/sec, 280 secs
lola: STP completed || 32 tries, 31724272 fired transitions, 285 secs || 29328021 markings, 153941606 edges, 114508 markings/sec, 285 secs
lola: STP completed || 33 tries, 32278220 fired transitions, 290 secs || 29916601 markings, 157274520 edges, 117716 markings/sec, 290 secs
lola: STP completed || 33 tries, 32850390 fired transitions, 295 secs || 30514184 markings, 160637473 edges, 119517 markings/sec, 295 secs
lola: STP completed || 34 tries, 33399877 fired transitions, 300 secs || 31110568 markings, 163918044 edges, 119277 markings/sec, 300 secs
lola: STP completed || 34 tries, 33937890 fired transitions, 305 secs || 31705311 markings, 167184966 edges, 118949 markings/sec, 305 secs
lola: STP completed || 35 tries, 34491776 fired transitions, 310 secs || 32311210 markings, 170526653 edges, 121180 markings/sec, 310 secs
lola: STP completed || 36 tries, 35047490 fired transitions, 315 secs || 32919422 markings, 173935928 edges, 121642 markings/sec, 315 secs
lola: STP completed || 36 tries, 35598147 fired transitions, 320 secs || 33436058 markings, 176550498 edges, 103327 markings/sec, 320 secs
lola: STP completed || 37 tries, 36125407 fired transitions, 325 secs || 33865288 markings, 178454468 edges, 85846 markings/sec, 325 secs
lola: STP completed || 37 tries, 36645023 fired transitions, 330 secs || 34263659 markings, 179836534 edges, 79674 markings/sec, 330 secs
lola: STP completed || 38 tries, 37188465 fired transitions, 335 secs || 34663294 markings, 181289688 edges, 79927 markings/sec, 335 secs
lola: STP completed || 38 tries, 37753315 fired transitions, 340 secs || 35136700 markings, 183771808 edges, 94681 markings/sec, 340 secs
lola: STP completed || 39 tries, 38305852 fired transitions, 345 secs || 35547415 markings, 185381328 edges, 82143 markings/sec, 345 secs
lola: STP completed || 39 tries, 38856539 fired transitions, 350 secs || 35999525 markings, 187731476 edges, 90422 markings/sec, 350 secs
lola: STP completed || 40 tries, 39432011 fired transitions, 355 secs || 36430231 markings, 190102977 edges, 86141 markings/sec, 355 secs
lola: STP completed || 40 tries, 39989159 fired transitions, 360 secs || 36830600 markings, 191985202 edges, 80074 markings/sec, 360 secs
lola: STP completed || 41 tries, 40524187 fired transitions, 365 secs || 37223214 markings, 193466738 edges, 78523 markings/sec, 365 secs
lola: STP completed || 42 tries, 41101848 fired transitions, 370 secs || 37643823 markings, 195207709 edges, 84122 markings/sec, 370 secs
lola: STP completed || 42 tries, 41654650 fired transitions, 375 secs || 38101333 markings, 197681593 edges, 91502 markings/sec, 375 secs
lola: STP completed || 43 tries, 42220677 fired transitions, 380 secs || 38538797 markings, 199974183 edges, 87493 markings/sec, 380 secs
lola: STP completed || 43 tries, 42790562 fired transitions, 385 secs || 38974488 markings, 202312698 edges, 87138 markings/sec, 385 secs
lola: STP completed || 44 tries, 43383175 fired transitions, 390 secs || 39384216 markings, 204564217 edges, 81946 markings/sec, 390 secs
lola: STP completed || 44 tries, 43937375 fired transitions, 395 secs || 39839644 markings, 207038507 edges, 91086 markings/sec, 395 secs
lola: STP completed || 45 tries, 44474194 fired transitions, 400 secs || 40281037 markings, 209443168 edges, 88279 markings/sec, 400 secs
lola: STP completed || 46 tries, 45025459 fired transitions, 405 secs || 40794257 markings, 212431412 edges, 102644 markings/sec, 405 secs
lola: STP completed || 46 tries, 45603239 fired transitions, 410 secs || 41313681 markings, 215303870 edges, 103885 markings/sec, 410 secs
lola: STP completed || 47 tries, 46157338 fired transitions, 415 secs || 41834719 markings, 218369122 edges, 104208 markings/sec, 415 secs
lola: STP completed || 47 tries, 46735031 fired transitions, 420 secs || 42338171 markings, 221286719 edges, 100690 markings/sec, 420 secs
lola: STP completed || 48 tries, 47297149 fired transitions, 425 secs || 42837485 markings, 224119897 edges, 99863 markings/sec, 425 secs
lola: STP completed || 48 tries, 47872900 fired transitions, 430 secs || 43353940 markings, 227141312 edges, 103291 markings/sec, 430 secs
lola: STP completed || 49 tries, 48423588 fired transitions, 435 secs || 43882640 markings, 230255804 edges, 105740 markings/sec, 435 secs
lola: STP completed || 49 tries, 48975612 fired transitions, 440 secs || 44418451 markings, 233374181 edges, 107162 markings/sec, 440 secs
lola: STP completed || 50 tries, 49564371 fired transitions, 445 secs || 44957915 markings, 236460191 edges, 107893 markings/sec, 445 secs
lola: STP completed || 51 tries, 50119596 fired transitions, 450 secs || 45511011 markings, 239570978 edges, 110619 markings/sec, 450 secs
lola: STP completed || 51 tries, 50696664 fired transitions, 455 secs || 46069518 markings, 242721482 edges, 111701 markings/sec, 455 secs
lola: STP completed || 52 tries, 51255080 fired transitions, 460 secs || 46613957 markings, 245682426 edges, 108888 markings/sec, 460 secs
lola: STP completed || 52 tries, 51812392 fired transitions, 465 secs || 47178835 markings, 248819066 edges, 112976 markings/sec, 465 secs
lola: STP completed || 53 tries, 52377024 fired transitions, 470 secs || 47751909 markings, 251950195 edges, 114615 markings/sec, 470 secs
lola: STP completed || 53 tries, 52955678 fired transitions, 475 secs || 48340708 markings, 255134589 edges, 117760 markings/sec, 475 secs
lola: STP completed || 54 tries, 53509146 fired transitions, 480 secs || 48898369 markings, 258221068 edges, 111532 markings/sec, 480 secs
lola: STP completed || 55 tries, 54087084 fired transitions, 485 secs || 49482093 markings, 261484692 edges, 116745 markings/sec, 485 secs
lola: STP completed || 55 tries, 54663487 fired transitions, 490 secs || 50026166 markings, 264307980 edges, 108815 markings/sec, 490 secs
lola: STP completed || 56 tries, 55216078 fired transitions, 495 secs || 50558656 markings, 267067021 edges, 106498 markings/sec, 495 secs
lola: STP completed || 56 tries, 55808911 fired transitions, 500 secs || 51101868 markings, 269959155 edges, 108642 markings/sec, 500 secs
lola: STP completed || 57 tries, 56395910 fired transitions, 505 secs || 51624805 markings, 272627251 edges, 104587 markings/sec, 505 secs
lola: STP completed || 57 tries, 56940735 fired transitions, 510 secs || 52085011 markings, 274635914 edges, 92041 markings/sec, 510 secs
lola: STP completed || 58 tries, 57503639 fired transitions, 515 secs || 52522785 markings, 276248650 edges, 87555 markings/sec, 515 secs
lola: STP completed || 59 tries, 58078290 fired transitions, 520 secs || 53062040 markings, 278902891 edges, 107851 markings/sec, 520 secs
lola: STP completed || 59 tries, 58628813 fired transitions, 525 secs || 53574846 markings, 281243403 edges, 102561 markings/sec, 525 secs
lola: STP completed || 60 tries, 59186016 fired transitions, 530 secs || 54028181 markings, 283425720 edges, 90667 markings/sec, 530 secs
lola: STP completed || 60 tries, 59731780 fired transitions, 535 secs || 54557983 markings, 286513289 edges, 105960 markings/sec, 535 secs
lola: STP completed || 61 tries, 60289999 fired transitions, 540 secs || 55125502 markings, 289580809 edges, 113504 markings/sec, 540 secs
lola: STP completed || 61 tries, 60842378 fired transitions, 545 secs || 55555615 markings, 291530831 edges, 86023 markings/sec, 545 secs
lola: STP completed || 62 tries, 61430011 fired transitions, 550 secs || 56056821 markings, 294269668 edges, 100241 markings/sec, 550 secs
lola: STP completed || 63 tries, 62015312 fired transitions, 555 secs || 56636257 markings, 297547677 edges, 115887 markings/sec, 555 secs
lola: STP completed || 63 tries, 62568960 fired transitions, 560 secs || 57145554 markings, 300316813 edges, 101859 markings/sec, 560 secs
lola: STP completed || 64 tries, 63090910 fired transitions, 565 secs || 57546324 markings, 302019430 edges, 80154 markings/sec, 565 secs
lola: STP completed || 64 tries, 63648379 fired transitions, 570 secs || 58072645 markings, 305061138 edges, 105264 markings/sec, 570 secs
lola: STP completed || 65 tries, 64244898 fired transitions, 575 secs || 58645167 markings, 308243920 edges, 114504 markings/sec, 575 secs
lola: STP completed || 65 tries, 64814938 fired transitions, 580 secs || 59126165 markings, 310767208 edges, 96200 markings/sec, 580 secs
lola: STP completed || 66 tries, 65360415 fired transitions, 585 secs || 59632598 markings, 313331122 edges, 101287 markings/sec, 585 secs
lola: STP completed || 66 tries, 65910002 fired transitions, 590 secs || 60117141 markings, 315937571 edges, 96909 markings/sec, 590 secs
lola: STP completed || 67 tries, 66458749 fired transitions, 595 secs || 60616161 markings, 318399387 edges, 99804 markings/sec, 595 secs
lola: STP completed || 68 tries, 67004193 fired transitions, 600 secs || 61034560 markings, 320344051 edges, 83680 markings/sec, 600 secs
lola: STP completed || 68 tries, 67573062 fired transitions, 605 secs || 61569376 markings, 323390384 edges, 106963 markings/sec, 605 secs
lola: STP completed || 69 tries, 68137311 fired transitions, 610 secs || 62132038 markings, 326530415 edges, 112532 markings/sec, 610 secs
lola: STP completed || 69 tries, 68714860 fired transitions, 615 secs || 62624049 markings, 329127044 edges, 98402 markings/sec, 615 secs
lola: STP completed || 70 tries, 69284583 fired transitions, 620 secs || 63166440 markings, 332060378 edges, 108478 markings/sec, 620 secs
lola: STP completed || 70 tries, 69837200 fired transitions, 625 secs || 63697338 markings, 335114225 edges, 106180 markings/sec, 625 secs
lola: STP completed || 71 tries, 70374134 fired transitions, 630 secs || 64253733 markings, 338197632 edges, 111279 markings/sec, 630 secs
lola: STP completed || 71 tries, 70925574 fired transitions, 635 secs || 64818524 markings, 341293939 edges, 112958 markings/sec, 635 secs
lola: STP completed || 72 tries, 71518621 fired transitions, 640 secs || 65405350 markings, 344523704 edges, 117365 markings/sec, 640 secs
lola: STP completed || 73 tries, 72084778 fired transitions, 645 secs || 65944277 markings, 347011472 edges, 107785 markings/sec, 645 secs
lola: STP completed || 73 tries, 72635746 fired transitions, 650 secs || 66386751 markings, 348455868 edges, 88495 markings/sec, 650 secs
lola: STP completed || 74 tries, 73195375 fired transitions, 655 secs || 66875949 markings, 350944863 edges, 97840 markings/sec, 655 secs
lola: STP completed || 74 tries, 73749823 fired transitions, 660 secs || 67300105 markings, 352449370 edges, 84831 markings/sec, 660 secs
lola: STP completed || 75 tries, 74300493 fired transitions, 665 secs || 67770954 markings, 354647471 edges, 94170 markings/sec, 665 secs
lola: STP completed || 75 tries, 74857013 fired transitions, 670 secs || 68198012 markings, 356451999 edges, 85412 markings/sec, 670 secs
lola: STP completed || 76 tries, 75446554 fired transitions, 675 secs || 68640289 markings, 358847580 edges, 88455 markings/sec, 675 secs
lola: STP completed || 77 tries, 76000058 fired transitions, 680 secs || 69055091 markings, 360684579 edges, 82960 markings/sec, 680 secs
lola: STP completed || 77 tries, 76571328 fired transitions, 685 secs || 69486204 markings, 362852659 edges, 86223 markings/sec, 685 secs
lola: STP completed || 78 tries, 77134441 fired transitions, 690 secs || 69912299 markings, 364922898 edges, 85219 markings/sec, 690 secs
lola: STP completed || 78 tries, 77686486 fired transitions, 695 secs || 70331750 markings, 366427676 edges, 83890 markings/sec, 695 secs
lola: STP completed || 79 tries, 78210275 fired transitions, 700 secs || 70787830 markings, 368721077 edges, 91216 markings/sec, 700 secs
lola: STP completed || 79 tries, 78761005 fired transitions, 705 secs || 71261184 markings, 371087294 edges, 94671 markings/sec, 705 secs
lola: STP completed || 80 tries, 79338550 fired transitions, 710 secs || 71746692 markings, 373662124 edges, 97102 markings/sec, 710 secs
lola: STP completed || 80 tries, 79896756 fired transitions, 715 secs || 72215792 markings, 376163175 edges, 93820 markings/sec, 715 secs
lola: STP completed || 81 tries, 80442761 fired transitions, 720 secs || 72669154 markings, 378618237 edges, 90672 markings/sec, 720 secs
lola: STP completed || 81 tries, 80999246 fired transitions, 725 secs || 73200451 markings, 381550414 edges, 106259 markings/sec, 725 secs
lola: STP completed || 82 tries, 81571631 fired transitions, 730 secs || 73744422 markings, 384717240 edges, 108794 markings/sec, 730 secs
lola: STP completed || 83 tries, 82117669 fired transitions, 735 secs || 74286599 markings, 387800607 edges, 108435 markings/sec, 735 secs
lola: STP completed || 83 tries, 82647665 fired transitions, 740 secs || 74825082 markings, 390794315 edges, 107697 markings/sec, 740 secs
lola: STP completed || 84 tries, 83218921 fired transitions, 745 secs || 75367777 markings, 393980848 edges, 108539 markings/sec, 745 secs
lola: STP completed || 84 tries, 83776578 fired transitions, 750 secs || 75916037 markings, 397180067 edges, 109652 markings/sec, 750 secs
lola: STP completed || 85 tries, 84344878 fired transitions, 755 secs || 76480772 markings, 400440514 edges, 112947 markings/sec, 755 secs
lola: STP completed || 85 tries, 84920146 fired transitions, 760 secs || 77055954 markings, 403737523 edges, 115036 markings/sec, 760 secs
lola: STP completed || 86 tries, 85490717 fired transitions, 765 secs || 77605407 markings, 406898065 edges, 109891 markings/sec, 765 secs
lola: STP completed || 87 tries, 86020791 fired transitions, 770 secs || 78169964 markings, 410072050 edges, 112911 markings/sec, 770 secs
lola: STP completed || 87 tries, 86582924 fired transitions, 775 secs || 78757357 markings, 413352224 edges, 117479 markings/sec, 775 secs
lola: STP completed || 88 tries, 87156212 fired transitions, 780 secs || 79339755 markings, 416585042 edges, 116480 markings/sec, 780 secs
lola: STP completed || 88 tries, 87706302 fired transitions, 785 secs || 79936675 markings, 419811887 edges, 119384 markings/sec, 785 secs
lola: STP completed || 89 tries, 88265984 fired transitions, 790 secs || 80546878 markings, 423130815 edges, 122041 markings/sec, 790 secs
lola: STP completed || 89 tries, 88833022 fired transitions, 795 secs || 81124821 markings, 426329605 edges, 115589 markings/sec, 795 secs
lola: STP completed || 90 tries, 89377284 fired transitions, 800 secs || 81714182 markings, 429640843 edges, 117872 markings/sec, 800 secs
lola: STP completed || 90 tries, 89884302 fired transitions, 805 secs || 82235967 markings, 432100822 edges, 104357 markings/sec, 805 secs
lola: STP completed || 91 tries, 90381920 fired transitions, 810 secs || 82661193 markings, 433475510 edges, 85045 markings/sec, 810 secs
lola: STP completed || 91 tries, 90938522 fired transitions, 815 secs || 83115412 markings, 435445668 edges, 90844 markings/sec, 815 secs
lola: STP completed || 92 tries, 91505591 fired transitions, 820 secs || 83579050 markings, 437621723 edges, 92728 markings/sec, 820 secs
lola: STP completed || 93 tries, 92060249 fired transitions, 825 secs || 84041224 markings, 439904024 edges, 92435 markings/sec, 825 secs
lola: STP completed || 93 tries, 92621313 fired transitions, 830 secs || 84453018 markings, 441527247 edges, 82359 markings/sec, 830 secs
lola: STP completed || 94 tries, 93172058 fired transitions, 835 secs || 84867808 markings, 443770687 edges, 82958 markings/sec, 835 secs
lola: STP completed || 94 tries, 93714367 fired transitions, 840 secs || 85281731 markings, 445531636 edges, 82785 markings/sec, 840 secs
lola: STP completed || 95 tries, 94223150 fired transitions, 845 secs || 85667099 markings, 446898684 edges, 77074 markings/sec, 845 secs
lola: STP completed || 95 tries, 94765415 fired transitions, 850 secs || 86121580 markings, 448976472 edges, 90896 markings/sec, 850 secs
lola: STP completed || 96 tries, 95329448 fired transitions, 855 secs || 86596531 markings, 451653471 edges, 94990 markings/sec, 855 secs
lola: STP completed || 96 tries, 95877521 fired transitions, 860 secs || 87022571 markings, 453822425 edges, 85208 markings/sec, 860 secs
lola: STP completed || 97 tries, 96424517 fired transitions, 865 secs || 87458368 markings, 456059944 edges, 87159 markings/sec, 865 secs
lola: STP completed || 97 tries, 96957546 fired transitions, 870 secs || 87861506 markings, 458192809 edges, 80628 markings/sec, 870 secs
lola: STP completed || 98 tries, 97535966 fired transitions, 875 secs || 88357043 markings, 461050630 edges, 99107 markings/sec, 875 secs
lola: STP completed || 99 tries, 98061123 fired transitions, 880 secs || 88793375 markings, 463020313 edges, 87266 markings/sec, 880 secs
lola: STP completed || 99 tries, 98633305 fired transitions, 885 secs || 89284815 markings, 465748654 edges, 98288 markings/sec, 885 secs
lola: STP completed || 100 tries, 99207231 fired transitions, 890 secs || 89749894 markings, 468230458 edges, 93016 markings/sec, 890 secs
lola: STP completed || 100 tries, 99777170 fired transitions, 895 secs || 90285963 markings, 471314585 edges, 107214 markings/sec, 895 secs
lola: STP completed || 101 tries, 100371231 fired transitions, 900 secs || 90816437 markings, 474294381 edges, 106095 markings/sec, 900 secs
lola: STP completed || 101 tries, 100930204 fired transitions, 905 secs || 91327889 markings, 477199436 edges, 102290 markings/sec, 905 secs
lola: STP completed || 102 tries, 101526434 fired transitions, 910 secs || 91858783 markings, 480166818 edges, 106179 markings/sec, 910 secs
lola: STP completed || 103 tries, 102121631 fired transitions, 915 secs || 92354620 markings, 483079526 edges, 99167 markings/sec, 915 secs
lola: STP completed || 103 tries, 102717147 fired transitions, 920 secs || 92878254 markings, 486129703 edges, 104727 markings/sec, 920 secs
lola: STP completed || 104 tries, 103310371 fired transitions, 925 secs || 93409343 markings, 489199556 edges, 106218 markings/sec, 925 secs
lola: STP completed || 104 tries, 103900590 fired transitions, 930 secs || 93953841 markings, 492270704 edges, 108900 markings/sec, 930 secs
lola: STP completed || 105 tries, 104497808 fired transitions, 935 secs || 94494575 markings, 495322173 edges, 108147 markings/sec, 935 secs
lola: STP completed || 106 tries, 105097517 fired transitions, 940 secs || 95038822 markings, 498387301 edges, 108849 markings/sec, 940 secs
lola: STP completed || 106 tries, 105698839 fired transitions, 945 secs || 95606338 markings, 501528899 edges, 113503 markings/sec, 945 secs
lola: STP completed || 107 tries, 106300017 fired transitions, 950 secs || 96183031 markings, 504684850 edges, 115339 markings/sec, 950 secs
lola: STP completed || 107 tries, 106902364 fired transitions, 955 secs || 96769931 markings, 507868492 edges, 117380 markings/sec, 955 secs
lola: STP completed || 108 tries, 107503292 fired transitions, 960 secs || 97346460 markings, 511002225 edges, 115306 markings/sec, 960 secs
lola: STP completed || 109 tries, 108081938 fired transitions, 965 secs || 97912201 markings, 514138339 edges, 113148 markings/sec, 965 secs
lola: STP completed || 109 tries, 108631900 fired transitions, 970 secs || 98382758 markings, 516483122 edges, 94111 markings/sec, 970 secs
lola: STP completed || 110 tries, 109167066 fired transitions, 975 secs || 98806461 markings, 518197957 edges, 84741 markings/sec, 975 secs
lola: STP completed || 110 tries, 109752396 fired transitions, 980 secs || 99272165 markings, 520642565 edges, 93141 markings/sec, 980 secs
lola: STP completed || 111 tries, 110329428 fired transitions, 985 secs || 99668196 markings, 522082060 edges, 79206 markings/sec, 985 secs
lola: STP completed || 111 tries, 110911244 fired transitions, 990 secs || 100057415 markings, 523513910 edges, 77844 markings/sec, 990 secs
lola: STP completed || 112 tries, 111489601 fired transitions, 995 secs || 100480813 markings, 525417150 edges, 84680 markings/sec, 995 secs
lola: STP completed || 113 tries, 112068575 fired transitions, 1000 secs || 100914502 markings, 527444408 edges, 86738 markings/sec, 1000 secs
lola: STP completed || 113 tries, 112651863 fired transitions, 1005 secs || 101293577 markings, 528865672 edges, 75815 markings/sec, 1005 secs
lola: STP completed || 114 tries, 113250466 fired transitions, 1010 secs || 101686268 markings, 530853232 edges, 78538 markings/sec, 1010 secs
lola: STP completed || 114 tries, 113851161 fired transitions, 1015 secs || 102097347 markings, 533001253 edges, 82216 markings/sec, 1015 secs
lola: STP completed || 115 tries, 114444679 fired transitions, 1020 secs || 102508123 markings, 534986505 edges, 82155 markings/sec, 1020 secs
lola: STP completed || 116 tries, 115038217 fired transitions, 1025 secs || 102964762 markings, 537332043 edges, 91328 markings/sec, 1025 secs
lola: STP completed || 116 tries, 115630607 fired transitions, 1030 secs || 103414295 markings, 539642121 edges, 89907 markings/sec, 1030 secs
lola: STP completed || 117 tries, 116185198 fired transitions, 1035 secs || 103808975 markings, 541713000 edges, 78936 markings/sec, 1035 secs
lola: STP completed || 117 tries, 116758160 fired transitions, 1040 secs || 104212730 markings, 543921389 edges, 80751 markings/sec, 1040 secs
lola: STP completed || 118 tries, 117349021 fired transitions, 1045 secs || 104663920 markings, 546534827 edges, 90238 markings/sec, 1045 secs
lola: STP completed || 118 tries, 117932813 fired transitions, 1050 secs || 105103722 markings, 548917062 edges, 87960 markings/sec, 1050 secs
lola: STP completed || 119 tries, 118525910 fired transitions, 1055 secs || 105537312 markings, 551158817 edges, 86718 markings/sec, 1055 secs
lola: STP completed || 120 tries, 119123502 fired transitions, 1060 secs || 106010289 markings, 553877677 edges, 94595 markings/sec, 1060 secs
lola: STP completed || 120 tries, 119725283 fired transitions, 1065 secs || 106505999 markings, 556655740 edges, 99142 markings/sec, 1065 secs
lola: STP completed || 121 tries, 120322832 fired transitions, 1070 secs || 107007051 markings, 559550504 edges, 100210 markings/sec, 1070 secs
lola: STP completed || 121 tries, 120917079 fired transitions, 1075 secs || 107520053 markings, 562582929 edges, 102600 markings/sec, 1075 secs
lola: STP completed || 122 tries, 121509145 fired transitions, 1080 secs || 108018202 markings, 565356080 edges, 99630 markings/sec, 1080 secs
lola: STP completed || 123 tries, 122100250 fired transitions, 1085 secs || 108532996 markings, 568345695 edges, 102959 markings/sec, 1085 secs
lola: STP completed || 123 tries, 122694741 fired transitions, 1090 secs || 109052877 markings, 571366578 edges, 103976 markings/sec, 1090 secs
lola: STP completed || 124 tries, 123289952 fired transitions, 1095 secs || 109561331 markings, 574321747 edges, 101691 markings/sec, 1095 secs
lola: STP completed || 124 tries, 123886350 fired transitions, 1100 secs || 110092901 markings, 577329685 edges, 106314 markings/sec, 1100 secs
lola: STP completed || 125 tries, 124483632 fired transitions, 1105 secs || 110635701 markings, 580387923 edges, 108560 markings/sec, 1105 secs
lola: STP completed || 126 tries, 125082046 fired transitions, 1110 secs || 111160501 markings, 583392273 edges, 104960 markings/sec, 1110 secs
lola: STP completed || 126 tries, 125680912 fired transitions, 1115 secs || 111702649 markings, 586418681 edges, 108430 markings/sec, 1115 secs
lola: STP completed || 127 tries, 126275450 fired transitions, 1120 secs || 112245101 markings, 589436380 edges, 108490 markings/sec, 1120 secs
lola: STP completed || 127 tries, 126867084 fired transitions, 1125 secs || 112819269 markings, 592547680 edges, 114834 markings/sec, 1125 secs
lola: STP completed || 128 tries, 127462601 fired transitions, 1130 secs || 113359297 markings, 595514975 edges, 108006 markings/sec, 1130 secs
lola: STP completed || 129 tries, 128056250 fired transitions, 1135 secs || 113925416 markings, 598670698 edges, 113224 markings/sec, 1135 secs
lola: STP completed || 129 tries, 128653274 fired transitions, 1140 secs || 114468064 markings, 601712420 edges, 108530 markings/sec, 1140 secs
lola: STP completed || 130 tries, 129227620 fired transitions, 1145 secs || 114939737 markings, 603777606 edges, 94335 markings/sec, 1145 secs
lola: STP completed || 130 tries, 129772238 fired transitions, 1150 secs || 115326464 markings, 605038630 edges, 77345 markings/sec, 1150 secs
lola: STP completed || 131 tries, 130355099 fired transitions, 1155 secs || 115809259 markings, 607425460 edges, 96559 markings/sec, 1155 secs
lola: STP completed || 131 tries, 130923813 fired transitions, 1160 secs || 116246525 markings, 609184514 edges, 87453 markings/sec, 1160 secs
lola: STP completed || 132 tries, 131509062 fired transitions, 1165 secs || 116650770 markings, 611316853 edges, 80849 markings/sec, 1165 secs
lola: STP completed || 133 tries, 132086567 fired transitions, 1170 secs || 117040102 markings, 613107238 edges, 77866 markings/sec, 1170 secs
lola: STP completed || 133 tries, 132669759 fired transitions, 1175 secs || 117518502 markings, 615546546 edges, 95680 markings/sec, 1175 secs
lola: STP completed || 134 tries, 133243213 fired transitions, 1180 secs || 117948136 markings, 617053869 edges, 85927 markings/sec, 1180 secs
lola: STP completed || 134 tries, 133821598 fired transitions, 1185 secs || 118370563 markings, 618576647 edges, 84485 markings/sec, 1185 secs
lola: STP completed || 135 tries, 134423070 fired transitions, 1190 secs || 118793304 markings, 620578291 edges, 84548 markings/sec, 1190 secs
lola: STP completed || 135 tries, 134987074 fired transitions, 1195 secs || 119214496 markings, 622780601 edges, 84238 markings/sec, 1195 secs
lola: STP completed || 136 tries, 135514392 fired transitions, 1200 secs || 119583690 markings, 624249214 edges, 73839 markings/sec, 1200 secs
lola: STP completed || 137 tries, 136070942 fired transitions, 1205 secs || 120004719 markings, 626415932 edges, 84206 markings/sec, 1205 secs
lola: STP completed || 137 tries, 136643573 fired transitions, 1210 secs || 120493018 markings, 629044641 edges, 97660 markings/sec, 1210 secs
lola: STP completed || 138 tries, 137209038 fired transitions, 1215 secs || 120943525 markings, 631415794 edges, 90101 markings/sec, 1215 secs
lola: STP completed || 138 tries, 137722061 fired transitions, 1220 secs || 121421298 markings, 634040234 edges, 95555 markings/sec, 1220 secs
lola: STP completed || 139 tries, 138288323 fired transitions, 1225 secs || 121932278 markings, 636857007 edges, 102196 markings/sec, 1225 secs
lola: STP completed || 139 tries, 138840222 fired transitions, 1230 secs || 122453502 markings, 639713135 edges, 104245 markings/sec, 1230 secs
lola: STP completed || 140 tries, 139418210 fired transitions, 1235 secs || 122984258 markings, 642798188 edges, 106151 markings/sec, 1235 secs
lola: STP completed || 140 tries, 139969564 fired transitions, 1240 secs || 123519052 markings, 645861786 edges, 106959 markings/sec, 1240 secs
lola: STP completed || 141 tries, 140536394 fired transitions, 1245 secs || 124058541 markings, 649021223 edges, 107898 markings/sec, 1245 secs
lola: STP completed || 142 tries, 141100340 fired transitions, 1250 secs || 124587501 markings, 652101149 edges, 105792 markings/sec, 1250 secs
lola: STP completed || 142 tries, 141657213 fired transitions, 1255 secs || 125110381 markings, 655176903 edges, 104576 markings/sec, 1255 secs
lola: STP completed || 143 tries, 142183122 fired transitions, 1260 secs || 125653646 markings, 658223202 edges, 108653 markings/sec, 1260 secs
lola: STP completed || 143 tries, 142750707 fired transitions, 1265 secs || 126184782 markings, 661250890 edges, 106227 markings/sec, 1265 secs
lola: STP completed || 144 tries, 143310654 fired transitions, 1270 secs || 126752683 markings, 664460227 edges, 113580 markings/sec, 1270 secs
lola: STP completed || 144 tries, 143853861 fired transitions, 1275 secs || 127312201 markings, 667619862 edges, 111904 markings/sec, 1275 secs
lola: STP completed || 145 tries, 144439051 fired transitions, 1280 secs || 127879309 markings, 670812569 edges, 113422 markings/sec, 1280 secs
lola: STP completed || 146 tries, 145021385 fired transitions, 1285 secs || 128451827 markings, 673975737 edges, 114504 markings/sec, 1285 secs
lola: STP completed || 146 tries, 145614760 fired transitions, 1290 secs || 129050755 markings, 677227923 edges, 119786 markings/sec, 1290 secs
lola: STP completed || 147 tries, 146213330 fired transitions, 1295 secs || 129625796 markings, 680370859 edges, 115008 markings/sec, 1295 secs
lola: STP completed || 147 tries, 146803159 fired transitions, 1300 secs || 130225315 markings, 683672603 edges, 119904 markings/sec, 1300 secs
lola: STP completed || 148 tries, 147385347 fired transitions, 1305 secs || 130804745 markings, 686929038 edges, 115886 markings/sec, 1305 secs
lola: STP completed || 148 tries, 147954749 fired transitions, 1310 secs || 131296883 markings, 689186005 edges, 98428 markings/sec, 1310 secs
lola: STP completed || 149 tries, 148528045 fired transitions, 1315 secs || 131747555 markings, 691215271 edges, 90134 markings/sec, 1315 secs
lola: STP completed || 150 tries, 149106129 fired transitions, 1320 secs || 132194014 markings, 693305822 edges, 89292 markings/sec, 1320 secs
lola: STP completed || 150 tries, 149683665 fired transitions, 1325 secs || 132596243 markings, 694858151 edges, 80446 markings/sec, 1325 secs
lola: STP completed || 151 tries, 150273052 fired transitions, 1330 secs || 133072391 markings, 697345743 edges, 95230 markings/sec, 1330 secs
lola: STP completed || 151 tries, 150855965 fired transitions, 1335 secs || 133497570 markings, 699195061 edges, 85036 markings/sec, 1335 secs
lola: STP completed || 152 tries, 151452273 fired transitions, 1340 secs || 133924302 markings, 701531020 edges, 85346 markings/sec, 1340 secs
lola: STP completed || 153 tries, 152038154 fired transitions, 1345 secs || 134325723 markings, 703340496 edges, 80284 markings/sec, 1345 secs
lola: STP completed || 153 tries, 152612769 fired transitions, 1350 secs || 134757675 markings, 705733751 edges, 86390 markings/sec, 1350 secs
lola: STP completed || 154 tries, 153185832 fired transitions, 1355 secs || 135167717 markings, 707687875 edges, 82008 markings/sec, 1355 secs
lola: STP completed || 154 tries, 153763443 fired transitions, 1360 secs || 135557231 markings, 709255372 edges, 77903 markings/sec, 1360 secs
lola: STP completed || 155 tries, 154337456 fired transitions, 1365 secs || 135973252 markings, 711209205 edges, 83204 markings/sec, 1365 secs
lola: STP completed || 155 tries, 154908822 fired transitions, 1370 secs || 136454478 markings, 713746087 edges, 96245 markings/sec, 1370 secs
lola: STP completed || 156 tries, 155486878 fired transitions, 1375 secs || 136908325 markings, 716282161 edges, 90769 markings/sec, 1375 secs
lola: STP completed || 157 tries, 156068864 fired transitions, 1380 secs || 137377521 markings, 718873767 edges, 93839 markings/sec, 1380 secs
lola: STP completed || 157 tries, 156658391 fired transitions, 1385 secs || 137883598 markings, 721730395 edges, 101215 markings/sec, 1385 secs
lola: STP completed || 158 tries, 157251006 fired transitions, 1390 secs || 138382000 markings, 724664724 edges, 99680 markings/sec, 1390 secs
lola: STP completed || 158 tries, 157845360 fired transitions, 1395 secs || 138897762 markings, 727563085 edges, 103152 markings/sec, 1395 secs
lola: STP completed || 159 tries, 158437613 fired transitions, 1400 secs || 139408340 markings, 730609643 edges, 102116 markings/sec, 1400 secs
lola: STP completed || 160 tries, 159030945 fired transitions, 1405 secs || 139947866 markings, 733795498 edges, 107905 markings/sec, 1405 secs
lola: STP completed || 160 tries, 159620991 fired transitions, 1410 secs || 140485381 markings, 736772773 edges, 107503 markings/sec, 1410 secs
lola: STP completed || 161 tries, 160211955 fired transitions, 1415 secs || 141023848 markings, 739948110 edges, 107693 markings/sec, 1415 secs
lola: STP completed || 161 tries, 160804123 fired transitions, 1420 secs || 141569439 markings, 743079145 edges, 109118 markings/sec, 1420 secs
lola: STP completed || 162 tries, 161393482 fired transitions, 1425 secs || 142146004 markings, 746398882 edges, 115313 markings/sec, 1425 secs
lola: STP completed || 162 tries, 161985256 fired transitions, 1430 secs || 142703301 markings, 749545108 edges, 111459 markings/sec, 1430 secs
lola: STP completed || 163 tries, 162574646 fired transitions, 1435 secs || 143258519 markings, 752727032 edges, 111044 markings/sec, 1435 secs
lola: STP completed || 164 tries, 163164434 fired transitions, 1440 secs || 143823974 markings, 755922551 edges, 113091 markings/sec, 1440 secs
lola: STP completed || 164 tries, 163756318 fired transitions, 1445 secs || 144398982 markings, 759144770 edges, 115002 markings/sec, 1445 secs
lola: STP completed || 165 tries, 164347081 fired transitions, 1450 secs || 144982419 markings, 762386173 edges, 116687 markings/sec, 1450 secs
lola: STP completed || 165 tries, 164939085 fired transitions, 1455 secs || 145564331 markings, 765586730 edges, 116382 markings/sec, 1455 secs
lola: STP completed || 166 tries, 165526675 fired transitions, 1460 secs || 146139746 markings, 768798314 edges, 115083 markings/sec, 1460 secs
lola: STP completed || 167 tries, 166113771 fired transitions, 1465 secs || 146733067 markings, 772073963 edges, 118664 markings/sec, 1465 secs
lola: STP completed || 167 tries, 166701416 fired transitions, 1470 secs || 147276763 markings, 774884868 edges, 108739 markings/sec, 1470 secs
lola: STP completed || 168 tries, 167276326 fired transitions, 1475 secs || 147736164 markings, 776879013 edges, 91880 markings/sec, 1475 secs
lola: STP completed || 168 tries, 167846622 fired transitions, 1480 secs || 148171812 markings, 778819814 edges, 87130 markings/sec, 1480 secs
lola: STP completed || 169 tries, 168417586 fired transitions, 1485 secs || 148598443 markings, 780763088 edges, 85326 markings/sec, 1485 secs
lola: STP completed || 169 tries, 168989900 fired transitions, 1490 secs || 149028216 markings, 782709611 edges, 85955 markings/sec, 1490 secs
lola: STP completed || 170 tries, 169578018 fired transitions, 1495 secs || 149443914 markings, 784633852 edges, 83140 markings/sec, 1495 secs
lola: STP completed || 171 tries, 170161815 fired transitions, 1500 secs || 149846193 markings, 786471723 edges, 80456 markings/sec, 1500 secs
lola: STP completed || 171 tries, 170741038 fired transitions, 1505 secs || 150252274 markings, 788696745 edges, 81216 markings/sec, 1505 secs
lola: STP completed || 172 tries, 171312689 fired transitions, 1510 secs || 150643816 markings, 790221974 edges, 78308 markings/sec, 1510 secs
lola: STP completed || 172 tries, 171889371 fired transitions, 1515 secs || 151029498 markings, 791676212 edges, 77136 markings/sec, 1515 secs
lola: STP completed || 173 tries, 172468670 fired transitions, 1520 secs || 151426026 markings, 793338012 edges, 79306 markings/sec, 1520 secs
lola: STP completed || 174 tries, 173057551 fired transitions, 1525 secs || 151879808 markings, 795916757 edges, 90756 markings/sec, 1525 secs
lola: STP completed || 174 tries, 173654965 fired transitions, 1530 secs || 152332618 markings, 798324197 edges, 90562 markings/sec, 1530 secs
lola: STP completed || 175 tries, 174243496 fired transitions, 1535 secs || 152732857 markings, 800320717 edges, 80048 markings/sec, 1535 secs
lola: STP completed || 175 tries, 174831056 fired transitions, 1540 secs || 153148854 markings, 802558295 edges, 83199 markings/sec, 1540 secs
lola: STP completed || 176 tries, 175408157 fired transitions, 1545 secs || 153635411 markings, 805278772 edges, 97311 markings/sec, 1545 secs
lola: STP completed || 176 tries, 175980647 fired transitions, 1550 secs || 154067611 markings, 807582256 edges, 86440 markings/sec, 1550 secs
lola: STP completed || 177 tries, 176560364 fired transitions, 1555 secs || 154532684 markings, 810296932 edges, 93015 markings/sec, 1555 secs
lola: STP completed || 178 tries, 177145924 fired transitions, 1560 secs || 155014264 markings, 813064703 edges, 96316 markings/sec, 1560 secs
lola: STP completed || 178 tries, 177743227 fired transitions, 1565 secs || 155523268 markings, 815918364 edges, 101801 markings/sec, 1565 secs
lola: STP completed || 179 tries, 178330665 fired transitions, 1570 secs || 156027086 markings, 818821029 edges, 100764 markings/sec, 1570 secs
lola: STP completed || 179 tries, 178910830 fired transitions, 1575 secs || 156528027 markings, 821625421 edges, 100188 markings/sec, 1575 secs
lola: STP completed || 180 tries, 179502643 fired transitions, 1580 secs || 157020664 markings, 824441034 edges, 98527 markings/sec, 1580 secs
lola: STP completed || 181 tries, 180095794 fired transitions, 1585 secs || 157533071 markings, 827326875 edges, 102481 markings/sec, 1585 secs
lola: STP completed || 181 tries, 180686768 fired transitions, 1590 secs || 158059166 markings, 830358253 edges, 105219 markings/sec, 1590 secs
lola: STP completed || 182 tries, 181274235 fired transitions, 1595 secs || 158578540 markings, 833387181 edges, 103875 markings/sec, 1595 secs
lola: STP completed || 182 tries, 181859827 fired transitions, 1600 secs || 159110153 markings, 836429439 edges, 106323 markings/sec, 1600 secs
lola: STP completed || 183 tries, 182442723 fired transitions, 1605 secs || 159628044 markings, 839398556 edges, 103578 markings/sec, 1605 secs
lola: STP completed || 184 tries, 183025789 fired transitions, 1610 secs || 160165088 markings, 842398587 edges, 107409 markings/sec, 1610 secs
lola: STP completed || 184 tries, 183618688 fired transitions, 1615 secs || 160704089 markings, 845426851 edges, 107800 markings/sec, 1615 secs
lola: STP completed || 185 tries, 184211353 fired transitions, 1620 secs || 161247686 markings, 848453856 edges, 108719 markings/sec, 1620 secs
lola: STP completed || 185 tries, 184801367 fired transitions, 1625 secs || 161802938 markings, 851498298 edges, 111050 markings/sec, 1625 secs
lola: STP completed || 186 tries, 185392497 fired transitions, 1630 secs || 162358976 markings, 854526531 edges, 111208 markings/sec, 1630 secs
lola: STP completed || 186 tries, 185984907 fired transitions, 1635 secs || 162907318 markings, 857555629 edges, 109668 markings/sec, 1635 secs
lola: STP completed || 187 tries, 186576584 fired transitions, 1640 secs || 163470140 markings, 860688389 edges, 112564 markings/sec, 1640 secs
lola: STP completed || 188 tries, 187156717 fired transitions, 1645 secs || 163958702 markings, 862759449 edges, 97712 markings/sec, 1645 secs
lola: STP completed || 188 tries, 187729670 fired transitions, 1650 secs || 164387489 markings, 864163195 edges, 85757 markings/sec, 1650 secs
lola: STP completed || 189 tries, 188317854 fired transitions, 1655 secs || 164863890 markings, 866596658 edges, 95280 markings/sec, 1655 secs
lola: STP completed || 189 tries, 188897989 fired transitions, 1660 secs || 165286940 markings, 868133571 edges, 84610 markings/sec, 1660 secs
lola: STP completed || 190 tries, 189471525 fired transitions, 1665 secs || 165757289 markings, 870557766 edges, 94070 markings/sec, 1665 secs
lola: STP completed || 191 tries, 190033198 fired transitions, 1670 secs || 166166300 markings, 872012708 edges, 81802 markings/sec, 1670 secs
lola: STP completed || 191 tries, 190610056 fired transitions, 1675 secs || 166579788 markings, 873459851 edges, 82698 markings/sec, 1675 secs
lola: STP completed || 192 tries, 191199340 fired transitions, 1680 secs || 167013901 markings, 875818588 edges, 86823 markings/sec, 1680 secs
lola: STP completed || 192 tries, 191782200 fired transitions, 1685 secs || 167421716 markings, 877850731 edges, 81563 markings/sec, 1685 secs
lola: STP completed || 193 tries, 192370158 fired transitions, 1690 secs || 167844641 markings, 880140967 edges, 84585 markings/sec, 1690 secs
lola: STP completed || 193 tries, 192951268 fired transitions, 1695 secs || 168251006 markings, 881835200 edges, 81273 markings/sec, 1695 secs
lola: STP completed || 194 tries, 193523802 fired transitions, 1700 secs || 168678907 markings, 883923438 edges, 85580 markings/sec, 1700 secs
lola: STP completed || 195 tries, 194099525 fired transitions, 1705 secs || 169165374 markings, 886413434 edges, 97293 markings/sec, 1705 secs
lola: STP completed || 195 tries, 194690039 fired transitions, 1710 secs || 169621232 markings, 888926285 edges, 91172 markings/sec, 1710 secs
lola: STP completed || 196 tries, 195272864 fired transitions, 1715 secs || 170063121 markings, 891253839 edges, 88378 markings/sec, 1715 secs
lola: STP completed || 196 tries, 195850666 fired transitions, 1720 secs || 170538001 markings, 893813679 edges, 94976 markings/sec, 1720 secs
lola: STP completed || 197 tries, 196443431 fired transitions, 1725 secs || 171036023 markings, 896613743 edges, 99604 markings/sec, 1725 secs
lola: STP completed || 198 tries, 197041358 fired transitions, 1730 secs || 171547805 markings, 899475530 edges, 102356 markings/sec, 1730 secs
lola: STP completed || 198 tries, 197635617 fired transitions, 1735 secs || 172057166 markings, 902352106 edges, 101872 markings/sec, 1735 secs
lola: STP completed || 199 tries, 198228839 fired transitions, 1740 secs || 172585078 markings, 905440028 edges, 105582 markings/sec, 1740 secs
lola: STP completed || 199 tries, 198821106 fired transitions, 1745 secs || 173110877 markings, 908498953 edges, 105160 markings/sec, 1745 secs
lola: STP completed || 200 tries, 199409043 fired transitions, 1750 secs || 173633945 markings, 911444527 edges, 104614 markings/sec, 1750 secs
lola: STP completed || 200 tries, 199993778 fired transitions, 1755 secs || 174163723 markings, 914506502 edges, 105956 markings/sec, 1755 secs
lola: STP completed || 201 tries, 200578318 fired transitions, 1760 secs || 174683999 markings, 917518319 edges, 104055 markings/sec, 1760 secs
lola: STP completed || 202 tries, 201159897 fired transitions, 1765 secs || 175220971 markings, 920594082 edges, 107394 markings/sec, 1765 secs
lola: STP completed || 202 tries, 201733503 fired transitions, 1770 secs || 175751905 markings, 923600586 edges, 106187 markings/sec, 1770 secs
lola: STP completed || 203 tries, 202318509 fired transitions, 1775 secs || 176311285 markings, 926719856 edges, 111876 markings/sec, 1775 secs
lola: STP completed || 203 tries, 202913174 fired transitions, 1780 secs || 176869724 markings, 929826991 edges, 111688 markings/sec, 1780 secs
lola: STP completed || 204 tries, 203507251 fired transitions, 1785 secs || 177427217 markings, 932918130 edges, 111499 markings/sec, 1785 secs
lola: STP completed || 205 tries, 204100027 fired transitions, 1790 secs || 177980086 markings, 935962373 edges, 110574 markings/sec, 1790 secs
lola: STP completed || 205 tries, 204689900 fired transitions, 1795 secs || 178562368 markings, 939089735 edges, 116456 markings/sec, 1795 secs
lola: STP completed || 206 tries, 205281688 fired transitions, 1800 secs || 179115223 markings, 942129096 edges, 110571 markings/sec, 1800 secs
lola: STP completed || 206 tries, 205848136 fired transitions, 1805 secs || 179680987 markings, 945284459 edges, 113153 markings/sec, 1805 secs
lola: STP completed || 207 tries, 206407014 fired transitions, 1810 secs || 180147337 markings, 947552489 edges, 93270 markings/sec, 1810 secs
lola: STP completed || 207 tries, 206985283 fired transitions, 1815 secs || 180541893 markings, 948913538 edges, 78911 markings/sec, 1815 secs
lola: STP completed || 208 tries, 207573323 fired transitions, 1820 secs || 180973821 markings, 950846341 edges, 86386 markings/sec, 1820 secs
lola: STP completed || 209 tries, 208145538 fired transitions, 1825 secs || 181390313 markings, 952771622 edges, 83298 markings/sec, 1825 secs
lola: STP completed || 209 tries, 208662628 fired transitions, 1830 secs || 181752925 markings, 954104729 edges, 72522 markings/sec, 1830 secs
lola: STP completed || 210 tries, 209200643 fired transitions, 1835 secs || 182149034 markings, 955886071 edges, 79222 markings/sec, 1835 secs
lola: STP completed || 210 tries, 209768333 fired transitions, 1840 secs || 182552678 markings, 958095454 edges, 80729 markings/sec, 1840 secs
lola: STP completed || 211 tries, 210348060 fired transitions, 1845 secs || 182984949 markings, 960215227 edges, 86454 markings/sec, 1845 secs
lola: STP completed || 211 tries, 210931730 fired transitions, 1850 secs || 183408157 markings, 962141444 edges, 84642 markings/sec, 1850 secs
lola: STP completed || 212 tries, 211509354 fired transitions, 1855 secs || 183789021 markings, 963587074 edges, 76173 markings/sec, 1855 secs
lola: STP completed || 213 tries, 212100099 fired transitions, 1860 secs || 184209603 markings, 965918404 edges, 84116 markings/sec, 1860 secs
lola: STP completed || 213 tries, 212687471 fired transitions, 1865 secs || 184602506 markings, 967764760 edges, 78581 markings/sec, 1865 secs
lola: STP completed || 214 tries, 213267045 fired transitions, 1870 secs || 185030145 markings, 969765245 edges, 85528 markings/sec, 1870 secs
lola: STP completed || 214 tries, 213844587 fired transitions, 1875 secs || 185481418 markings, 972154020 edges, 90255 markings/sec, 1875 secs
lola: STP completed || 215 tries, 214427832 fired transitions, 1880 secs || 185924185 markings, 974483845 edges, 88553 markings/sec, 1880 secs
lola: STP completed || 216 tries, 215015923 fired transitions, 1885 secs || 186368526 markings, 976919666 edges, 88868 markings/sec, 1885 secs
lola: STP completed || 216 tries, 215594787 fired transitions, 1890 secs || 186836367 markings, 979614718 edges, 93568 markings/sec, 1890 secs
lola: STP completed || 217 tries, 216177326 fired transitions, 1895 secs || 187333809 markings, 982417212 edges, 99488 markings/sec, 1895 secs
lola: STP completed || 217 tries, 216766902 fired transitions, 1900 secs || 187819360 markings, 985203840 edges, 97110 markings/sec, 1900 secs
lola: STP completed || 218 tries, 217353003 fired transitions, 1905 secs || 188306496 markings, 988051095 edges, 97427 markings/sec, 1905 secs
lola: STP completed || 218 tries, 217936516 fired transitions, 1910 secs || 188808980 markings, 991022810 edges, 100497 markings/sec, 1910 secs
lola: STP completed || 219 tries, 218528553 fired transitions, 1915 secs || 189325974 markings, 993996705 edges, 103399 markings/sec, 1915 secs
lola: STP completed || 220 tries, 219118977 fired transitions, 1920 secs || 189828521 markings, 996930139 edges, 100509 markings/sec, 1920 secs
lola: STP completed || 220 tries, 219695026 fired transitions, 1925 secs || 190339466 markings, 999900321 edges, 102189 markings/sec, 1925 secs
lola: STP completed || 221 tries, 220282937 fired transitions, 1930 secs || 190854904 markings, 1002882068 edges, 103088 markings/sec, 1930 secs
lola: STP completed || 221 tries, 220881959 fired transitions, 1935 secs || 191390516 markings, 1005796005 edges, 107122 markings/sec, 1935 secs
lola: STP completed || 222 tries, 221462003 fired transitions, 1940 secs || 191924503 markings, 1008848472 edges, 106797 markings/sec, 1940 secs
lola: STP completed || 223 tries, 222037966 fired transitions, 1945 secs || 192454337 markings, 1011862736 edges, 105967 markings/sec, 1945 secs
lola: STP completed || 223 tries, 222626943 fired transitions, 1950 secs || 192982891 markings, 1014866317 edges, 105711 markings/sec, 1950 secs
lola: STP completed || 224 tries, 223216778 fired transitions, 1955 secs || 193520504 markings, 1017870931 edges, 107523 markings/sec, 1955 secs
lola: STP completed || 224 tries, 223810614 fired transitions, 1960 secs || 194071211 markings, 1020896733 edges, 110141 markings/sec, 1960 secs
lola: STP completed || 225 tries, 224406668 fired transitions, 1965 secs || 194633823 markings, 1023953099 edges, 112522 markings/sec, 1965 secs
lola: STP completed || 226 tries, 225003590 fired transitions, 1970 secs || 195182635 markings, 1026990583 edges, 109762 markings/sec, 1970 secs
lola: STP completed || 226 tries, 225598243 fired transitions, 1975 secs || 195739034 markings, 1030085146 edges, 111280 markings/sec, 1975 secs
lola: STP completed || 227 tries, 226182867 fired transitions, 1980 secs || 196264132 markings, 1032679104 edges, 105020 markings/sec, 1980 secs
lola: STP completed || 227 tries, 226749748 fired transitions, 1985 secs || 196750337 markings, 1034697734 edges, 97241 markings/sec, 1985 secs
lola: STP completed || 228 tries, 227310697 fired transitions, 1990 secs || 197177193 markings, 1036136655 edges, 85371 markings/sec, 1990 secs
lola: STP completed || 228 tries, 227879315 fired transitions, 1995 secs || 197647200 markings, 1038300395 edges, 94001 markings/sec, 1995 secs
lola: STP completed || 229 tries, 228445659 fired transitions, 2000 secs || 198080614 markings, 1040102202 edges, 86683 markings/sec, 2000 secs
lola: STP completed || 230 tries, 229016186 fired transitions, 2005 secs || 198540525 markings, 1042246080 edges, 91982 markings/sec, 2005 secs
lola: STP completed || 230 tries, 229596278 fired transitions, 2010 secs || 198967991 markings, 1044037427 edges, 85493 markings/sec, 2010 secs
lola: STP completed || 231 tries, 230180386 fired transitions, 2015 secs || 199389411 markings, 1045965241 edges, 84284 markings/sec, 2015 secs
lola: STP completed || 231 tries, 230772503 fired transitions, 2020 secs || 199820488 markings, 1048291086 edges, 86215 markings/sec, 2020 secs
lola: STP completed || 232 tries, 231349142 fired transitions, 2025 secs || 200246637 markings, 1049832263 edges, 85230 markings/sec, 2025 secs
lola: STP completed || 232 tries, 231920538 fired transitions, 2030 secs || 200684969 markings, 1052092819 edges, 87666 markings/sec, 2030 secs
lola: STP completed || 233 tries, 232505473 fired transitions, 2035 secs || 201134397 markings, 1054292217 edges, 89886 markings/sec, 2035 secs
lola: STP completed || 234 tries, 233096351 fired transitions, 2040 secs || 201563714 markings, 1056619326 edges, 85863 markings/sec, 2040 secs
lola: STP completed || 234 tries, 233686716 fired transitions, 2045 secs || 202053954 markings, 1059404437 edges, 98048 markings/sec, 2045 secs
lola: STP completed || 235 tries, 234266524 fired transitions, 2050 secs || 202506194 markings, 1061631894 edges, 90448 markings/sec, 2050 secs
lola: STP completed || 235 tries, 234848063 fired transitions, 2055 secs || 202960997 markings, 1064082709 edges, 90961 markings/sec, 2055 secs
lola: STP completed || 236 tries, 235433494 fired transitions, 2060 secs || 203411207 markings, 1066509771 edges, 90042 markings/sec, 2060 secs
lola: STP completed || 236 tries, 235828096 fired transitions, 2065 secs || 203767008 markings, 1068606875 edges, 71160 markings/sec, 2065 secs
Killed
FORMULA MultiwaySync-PT-none-ReachabilityDeadlock-0 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT SAT_SMT STATE_COMPRESSION STUBBORN_SETS SYMMETRIES TOPOLOGICAL USE_NUPN
----- Kill lola and sara stdout -----
----- Finished stdout -----

BK_STOP 1496364952442

--------------------
content from stderr:

----- Start make prepare stderr -----
----- Start make result stderr -----
make: [verify] Error 137 (ignored)
----- Start make result stderr -----
----- Kill lola and sara stderr -----
----- Finished stderr -----

Sequence of Actions to be Executed by the VM

This is useful if one wants to reexecute the tool in the VM from the submitted image disk.

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="S_MultiwaySync-PT-none"
export BK_EXAMINATION="ReachabilityDeadlock"
export BK_TOOL="lola"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

tar xzf /home/mcc/BenchKit/INPUTS/S_MultiwaySync-PT-none.tgz
mv S_MultiwaySync-PT-none execution

# this is for BenchKit: explicit launching of the test

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