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 FlexibleBarrier-PT-12a, examination is ReachabilityDeadlock
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r188-blw3-149581034200080
=====================================================================

--------------------
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 FlexibleBarrier-PT-12a-ReachabilityDeadlock-0

=== Now, execution of the tool begins

BK_START 1496487185921


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


checking for too many tokens
===========================================================================================
FlexibleBarrier-PT-12a: translating PT formula ReachabilityDeadlock into LoLA format
===========================================================================================
translating formula complete
touch formulae;
----- Start make result stdout -----
ReachabilityDeadlock @ FlexibleBarrier-PT-12a @ 3539 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: 595/65536 symbol table entries, 0 collisions
lola: preprocessing...
lola: finding significant places
lola: 147 places, 448 transitions, 133 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 352 transition conflict sets
lola: TASK
lola: reading formula from FlexibleBarrier-PT-12a-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 20 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 7443 variables and 33056 clauses shipped to Minisat
lola: computed 55 generators (22 in search tree, 33 by composition)
lola: representing 3.99168E+07 symmetries
lola: 0 dead branches visited in search tree
lola: stp: The siphon/trap property does not hold
lola: STP completed || 1 tries, 134136 fired transitions, 0 secs || 190592 markings, 300822 edges, 38118 markings/sec, 0 secs
lola: STP completed || 1 tries, 273371 fired transitions, 5 secs || 385667 markings, 614492 edges, 39015 markings/sec, 5 secs
lola: STP completed || 1 tries, 423613 fired transitions, 10 secs || 605658 markings, 977660 edges, 43998 markings/sec, 10 secs
lola: STP completed || 1 tries, 570478 fired transitions, 15 secs || 824289 markings, 1332587 edges, 43726 markings/sec, 15 secs
lola: STP completed || 1 tries, 722261 fired transitions, 20 secs || 1046984 markings, 1693599 edges, 44539 markings/sec, 20 secs
lola: STP completed || 1 tries, 873096 fired transitions, 25 secs || 1267291 markings, 2040000 edges, 44061 markings/sec, 25 secs
lola: STP completed || 2 tries, 1023423 fired transitions, 30 secs || 1478985 markings, 2369464 edges, 42339 markings/sec, 30 secs
lola: STP completed || 2 tries, 1175557 fired transitions, 35 secs || 1679470 markings, 2693198 edges, 40097 markings/sec, 35 secs
lola: STP completed || 2 tries, 1326228 fired transitions, 40 secs || 1895734 markings, 3032645 edges, 43253 markings/sec, 40 secs
lola: STP completed || 2 tries, 1478245 fired transitions, 45 secs || 2115662 markings, 3385565 edges, 43986 markings/sec, 45 secs
lola: STP completed || 2 tries, 1629038 fired transitions, 50 secs || 2331003 markings, 3728432 edges, 43068 markings/sec, 50 secs
lola: STP completed || 2 tries, 1775284 fired transitions, 55 secs || 2546176 markings, 4068117 edges, 43035 markings/sec, 55 secs
lola: STP completed || 2 tries, 1925294 fired transitions, 60 secs || 2761219 markings, 4405687 edges, 43009 markings/sec, 60 secs
lola: STP completed || 3 tries, 2076860 fired transitions, 65 secs || 2975839 markings, 4748972 edges, 42924 markings/sec, 65 secs
lola: STP completed || 3 tries, 2227333 fired transitions, 70 secs || 3191711 markings, 5100203 edges, 43174 markings/sec, 70 secs
lola: STP completed || 3 tries, 2373360 fired transitions, 75 secs || 3397833 markings, 5439777 edges, 41224 markings/sec, 75 secs
lola: STP completed || 3 tries, 2523632 fired transitions, 80 secs || 3615997 markings, 5800716 edges, 43633 markings/sec, 80 secs
lola: STP completed || 3 tries, 2675982 fired transitions, 85 secs || 3838927 markings, 6163919 edges, 44586 markings/sec, 85 secs
lola: STP completed || 3 tries, 2828398 fired transitions, 90 secs || 4061115 markings, 6538826 edges, 44438 markings/sec, 90 secs
lola: STP completed || 3 tries, 2980807 fired transitions, 95 secs || 4281973 markings, 6920537 edges, 44172 markings/sec, 95 secs
lola: STP completed || 4 tries, 3132953 fired transitions, 100 secs || 4505399 markings, 7306847 edges, 44685 markings/sec, 100 secs
lola: STP completed || 4 tries, 3283914 fired transitions, 105 secs || 4724850 markings, 7677155 edges, 43890 markings/sec, 105 secs
lola: STP completed || 4 tries, 3436247 fired transitions, 110 secs || 4945468 markings, 8039636 edges, 44124 markings/sec, 110 secs
lola: STP completed || 4 tries, 3582397 fired transitions, 115 secs || 5168700 markings, 8423070 edges, 44646 markings/sec, 115 secs
lola: STP completed || 4 tries, 3733801 fired transitions, 120 secs || 5391516 markings, 8794946 edges, 44563 markings/sec, 120 secs
lola: STP completed || 4 tries, 3885866 fired transitions, 125 secs || 5614789 markings, 9175398 edges, 44655 markings/sec, 125 secs
lola: STP completed || 5 tries, 4035784 fired transitions, 130 secs || 5838591 markings, 9557910 edges, 44760 markings/sec, 130 secs
lola: STP completed || 5 tries, 4187815 fired transitions, 135 secs || 6042803 markings, 9905280 edges, 40842 markings/sec, 135 secs
lola: STP completed || 5 tries, 4338927 fired transitions, 140 secs || 6260835 markings, 10263810 edges, 43606 markings/sec, 140 secs
lola: STP completed || 5 tries, 4489155 fired transitions, 145 secs || 6475116 markings, 10621423 edges, 42856 markings/sec, 145 secs
lola: STP completed || 5 tries, 4640502 fired transitions, 150 secs || 6700160 markings, 11002160 edges, 45009 markings/sec, 150 secs
lola: STP completed || 5 tries, 4787361 fired transitions, 155 secs || 6920127 markings, 11359674 edges, 43993 markings/sec, 155 secs
lola: STP completed || 5 tries, 4937907 fired transitions, 160 secs || 7143806 markings, 11751642 edges, 44736 markings/sec, 160 secs
lola: STP completed || 6 tries, 5089196 fired transitions, 165 secs || 7366555 markings, 12139981 edges, 44550 markings/sec, 165 secs
lola: STP completed || 6 tries, 5240474 fired transitions, 170 secs || 7584447 markings, 12504122 edges, 43578 markings/sec, 170 secs
lola: STP completed || 6 tries, 5387019 fired transitions, 175 secs || 7801813 markings, 12856805 edges, 43473 markings/sec, 175 secs
lola: STP completed || 6 tries, 5537798 fired transitions, 180 secs || 8019501 markings, 13212727 edges, 43538 markings/sec, 180 secs
lola: STP completed || 6 tries, 5689790 fired transitions, 185 secs || 8238969 markings, 13580223 edges, 43894 markings/sec, 185 secs
lola: STP completed || 6 tries, 5841510 fired transitions, 190 secs || 8460160 markings, 13938936 edges, 44238 markings/sec, 190 secs
lola: STP completed || 6 tries, 5993075 fired transitions, 195 secs || 8684433 markings, 14309917 edges, 44855 markings/sec, 195 secs
lola: STP completed || 7 tries, 6144394 fired transitions, 200 secs || 8903537 markings, 14680978 edges, 43821 markings/sec, 200 secs
lola: STP completed || 7 tries, 6295543 fired transitions, 205 secs || 9124711 markings, 15057659 edges, 44235 markings/sec, 205 secs
lola: STP completed || 7 tries, 6447658 fired transitions, 210 secs || 9340663 markings, 15408898 edges, 43190 markings/sec, 210 secs
lola: STP completed || 7 tries, 6594026 fired transitions, 215 secs || 9543888 markings, 15741430 edges, 40645 markings/sec, 215 secs
lola: STP completed || 7 tries, 6744413 fired transitions, 220 secs || 9762555 markings, 16097241 edges, 43733 markings/sec, 220 secs
lola: STP completed || 7 tries, 6895873 fired transitions, 225 secs || 9982604 markings, 16467164 edges, 44010 markings/sec, 225 secs
lola: STP completed || 8 tries, 7047324 fired transitions, 230 secs || 10207129 markings, 16839298 edges, 44905 markings/sec, 230 secs
lola: STP completed || 8 tries, 7199915 fired transitions, 235 secs || 10429685 markings, 17226169 edges, 44511 markings/sec, 235 secs
lola: STP completed || 8 tries, 7351072 fired transitions, 240 secs || 10653270 markings, 17600419 edges, 44717 markings/sec, 240 secs
lola: STP completed || 8 tries, 7501387 fired transitions, 245 secs || 10877631 markings, 17976745 edges, 44872 markings/sec, 245 secs
lola: STP completed || 8 tries, 7653221 fired transitions, 250 secs || 11101257 markings, 18352193 edges, 44725 markings/sec, 250 secs
lola: STP completed || 8 tries, 7799681 fired transitions, 255 secs || 11310123 markings, 18710533 edges, 41773 markings/sec, 255 secs
lola: STP completed || 8 tries, 7947595 fired transitions, 260 secs || 11529017 markings, 19091322 edges, 43779 markings/sec, 260 secs
lola: STP completed || 9 tries, 8082284 fired transitions, 265 secs || 11725681 markings, 19419871 edges, 39333 markings/sec, 265 secs
lola: STP completed || 9 tries, 8225465 fired transitions, 270 secs || 11934011 markings, 19767517 edges, 41666 markings/sec, 270 secs
lola: STP completed || 9 tries, 8364050 fired transitions, 275 secs || 12135133 markings, 20093445 edges, 40224 markings/sec, 275 secs
lola: STP completed || 9 tries, 8510580 fired transitions, 280 secs || 12350549 markings, 20455663 edges, 43083 markings/sec, 280 secs
lola: STP completed || 9 tries, 8660086 fired transitions, 285 secs || 12567361 markings, 20815160 edges, 43362 markings/sec, 285 secs
lola: STP completed || 9 tries, 8797659 fired transitions, 290 secs || 12769883 markings, 21165008 edges, 40504 markings/sec, 290 secs
lola: STP completed || 9 tries, 8929916 fired transitions, 295 secs || 12957616 markings, 21493255 edges, 37547 markings/sec, 295 secs
lola: STP completed || 10 tries, 9076995 fired transitions, 300 secs || 13135661 markings, 21811665 edges, 35609 markings/sec, 300 secs
lola: STP completed || 10 tries, 9222757 fired transitions, 305 secs || 13349568 markings, 22180382 edges, 42781 markings/sec, 305 secs
lola: STP completed || 10 tries, 9370393 fired transitions, 310 secs || 13564136 markings, 22549474 edges, 42914 markings/sec, 310 secs
lola: STP completed || 10 tries, 9518189 fired transitions, 315 secs || 13782987 markings, 22938469 edges, 43770 markings/sec, 315 secs
lola: STP completed || 10 tries, 9669492 fired transitions, 320 secs || 14002859 markings, 23323120 edges, 43974 markings/sec, 320 secs
lola: STP completed || 10 tries, 9820102 fired transitions, 325 secs || 14223001 markings, 23713410 edges, 44028 markings/sec, 325 secs
lola: STP completed || 10 tries, 9971584 fired transitions, 330 secs || 14442939 markings, 24080033 edges, 43988 markings/sec, 330 secs
lola: STP completed || 11 tries, 10107453 fired transitions, 335 secs || 14665867 markings, 24479327 edges, 44586 markings/sec, 335 secs
lola: STP completed || 11 tries, 10257401 fired transitions, 340 secs || 14887955 markings, 24874514 edges, 44418 markings/sec, 340 secs
lola: STP completed || 11 tries, 10408681 fired transitions, 345 secs || 15110822 markings, 25263266 edges, 44573 markings/sec, 345 secs
lola: STP completed || 11 tries, 10561666 fired transitions, 350 secs || 15332895 markings, 25643167 edges, 44415 markings/sec, 350 secs
lola: STP completed || 11 tries, 10711052 fired transitions, 355 secs || 15549587 markings, 26027320 edges, 43338 markings/sec, 355 secs
lola: STP completed || 11 tries, 10862662 fired transitions, 360 secs || 15730923 markings, 26347718 edges, 36267 markings/sec, 360 secs
lola: STP completed || 12 tries, 11014744 fired transitions, 365 secs || 15947995 markings, 26703798 edges, 43414 markings/sec, 365 secs
lola: STP completed || 12 tries, 11166291 fired transitions, 370 secs || 16169134 markings, 27084447 edges, 44228 markings/sec, 370 secs
lola: STP completed || 12 tries, 11302637 fired transitions, 375 secs || 16389795 markings, 27471576 edges, 44132 markings/sec, 375 secs
lola: STP completed || 12 tries, 11451753 fired transitions, 380 secs || 16612747 markings, 27857939 edges, 44590 markings/sec, 380 secs
lola: STP completed || 12 tries, 11603765 fired transitions, 385 secs || 16833340 markings, 28252188 edges, 44119 markings/sec, 385 secs
lola: STP completed || 12 tries, 11755563 fired transitions, 390 secs || 17050887 markings, 28603505 edges, 43509 markings/sec, 390 secs
lola: STP completed || 12 tries, 11906725 fired transitions, 395 secs || 17270042 markings, 28965679 edges, 43831 markings/sec, 395 secs
lola: STP completed || 13 tries, 12057378 fired transitions, 400 secs || 17492198 markings, 29336847 edges, 44431 markings/sec, 400 secs
lola: STP completed || 13 tries, 12209362 fired transitions, 405 secs || 17711916 markings, 29700270 edges, 43944 markings/sec, 405 secs
lola: STP completed || 13 tries, 12360303 fired transitions, 410 secs || 17926757 markings, 30038725 edges, 42968 markings/sec, 410 secs
lola: STP completed || 13 tries, 12498261 fired transitions, 415 secs || 18142533 markings, 30388373 edges, 43155 markings/sec, 415 secs
lola: STP completed || 13 tries, 12648800 fired transitions, 420 secs || 18357312 markings, 30748427 edges, 42956 markings/sec, 420 secs
lola: STP completed || 13 tries, 12800454 fired transitions, 425 secs || 18576598 markings, 31127024 edges, 43857 markings/sec, 425 secs
lola: STP completed || 13 tries, 12952260 fired transitions, 430 secs || 18794165 markings, 31496179 edges, 43513 markings/sec, 430 secs
lola: STP completed || 14 tries, 13101096 fired transitions, 435 secs || 19010562 markings, 31867974 edges, 43279 markings/sec, 435 secs
lola: STP completed || 14 tries, 13252268 fired transitions, 440 secs || 19234560 markings, 32253531 edges, 44800 markings/sec, 440 secs
lola: STP completed || 14 tries, 13403761 fired transitions, 445 secs || 19455237 markings, 32635907 edges, 44135 markings/sec, 445 secs
lola: STP completed || 14 tries, 13556890 fired transitions, 450 secs || 19674156 markings, 33011812 edges, 43784 markings/sec, 450 secs
lola: STP completed || 14 tries, 13692486 fired transitions, 455 secs || 19895952 markings, 33413838 edges, 44359 markings/sec, 455 secs
lola: STP completed || 14 tries, 13842031 fired transitions, 460 secs || 20117214 markings, 33807653 edges, 44252 markings/sec, 460 secs
lola: STP completed || 14 tries, 13993273 fired transitions, 465 secs || 20338147 markings, 34199638 edges, 44187 markings/sec, 465 secs
lola: STP completed || 15 tries, 14144130 fired transitions, 470 secs || 20560986 markings, 34591921 edges, 44568 markings/sec, 470 secs
lola: STP completed || 15 tries, 14294091 fired transitions, 475 secs || 20782670 markings, 34984403 edges, 44337 markings/sec, 475 secs
lola: STP completed || 15 tries, 14444918 fired transitions, 480 secs || 20962553 markings, 35301653 edges, 35977 markings/sec, 480 secs
lola: STP completed || 15 tries, 14595451 fired transitions, 485 secs || 21183677 markings, 35696068 edges, 44225 markings/sec, 485 secs
lola: STP completed || 15 tries, 14748061 fired transitions, 490 secs || 21409430 markings, 36105727 edges, 45151 markings/sec, 490 secs
lola: STP completed || 15 tries, 14898655 fired transitions, 495 secs || 21635687 markings, 36506463 edges, 45251 markings/sec, 495 secs
lola: STP completed || 16 tries, 15045301 fired transitions, 500 secs || 21853296 markings, 36894868 edges, 43522 markings/sec, 500 secs
lola: STP completed || 16 tries, 15190921 fired transitions, 505 secs || 22065028 markings, 37267906 edges, 42346 markings/sec, 505 secs
lola: STP completed || 16 tries, 15341622 fired transitions, 510 secs || 22285936 markings, 37660979 edges, 44182 markings/sec, 510 secs
lola: STP completed || 16 tries, 15476027 fired transitions, 515 secs || 22499768 markings, 38031807 edges, 42766 markings/sec, 515 secs
lola: STP completed || 16 tries, 15622128 fired transitions, 520 secs || 22674870 markings, 38336400 edges, 35020 markings/sec, 520 secs
lola: STP completed || 16 tries, 15772184 fired transitions, 525 secs || 22892935 markings, 38725125 edges, 43613 markings/sec, 525 secs
lola: STP completed || 16 tries, 15923877 fired transitions, 530 secs || 23116464 markings, 39124937 edges, 44706 markings/sec, 530 secs
lola: STP completed || 17 tries, 16075729 fired transitions, 535 secs || 23337400 markings, 39505337 edges, 44187 markings/sec, 535 secs
lola: STP completed || 17 tries, 16227505 fired transitions, 540 secs || 23558052 markings, 39879541 edges, 44130 markings/sec, 540 secs
lola: STP completed || 17 tries, 16379359 fired transitions, 545 secs || 23781263 markings, 40288224 edges, 44642 markings/sec, 545 secs
lola: STP completed || 17 tries, 16530834 fired transitions, 550 secs || 24006749 markings, 40703172 edges, 45097 markings/sec, 550 secs
lola: STP completed || 17 tries, 16667872 fired transitions, 555 secs || 24235732 markings, 41122963 edges, 45797 markings/sec, 555 secs
lola: STP completed || 17 tries, 16818783 fired transitions, 560 secs || 24419433 markings, 41451986 edges, 36740 markings/sec, 560 secs
lola: STP completed || 17 tries, 16971097 fired transitions, 565 secs || 24641334 markings, 41840109 edges, 44380 markings/sec, 565 secs
lola: STP completed || 18 tries, 17121947 fired transitions, 570 secs || 24862483 markings, 42226723 edges, 44230 markings/sec, 570 secs
lola: STP completed || 18 tries, 17272544 fired transitions, 575 secs || 25086352 markings, 42638470 edges, 44774 markings/sec, 575 secs
lola: STP completed || 18 tries, 17425139 fired transitions, 580 secs || 25312441 markings, 43040207 edges, 45218 markings/sec, 580 secs
lola: STP completed || 18 tries, 17577790 fired transitions, 585 secs || 25536391 markings, 43437519 edges, 44790 markings/sec, 585 secs
lola: STP completed || 18 tries, 17729144 fired transitions, 590 secs || 25759777 markings, 43836651 edges, 44677 markings/sec, 590 secs
lola: STP completed || 18 tries, 17865819 fired transitions, 595 secs || 25982902 markings, 44230454 edges, 44625 markings/sec, 595 secs
lola: STP completed || 19 tries, 18017028 fired transitions, 600 secs || 26164846 markings, 44558759 edges, 36389 markings/sec, 600 secs
lola: STP completed || 19 tries, 18169546 fired transitions, 605 secs || 26389991 markings, 44965658 edges, 45029 markings/sec, 605 secs
lola: STP completed || 19 tries, 18321571 fired transitions, 610 secs || 26614929 markings, 45372812 edges, 44988 markings/sec, 610 secs
lola: STP completed || 19 tries, 18473393 fired transitions, 615 secs || 26839600 markings, 45770636 edges, 44934 markings/sec, 615 secs
lola: STP completed || 19 tries, 18625135 fired transitions, 620 secs || 27059948 markings, 46147946 edges, 44070 markings/sec, 620 secs
lola: STP completed || 19 tries, 18775039 fired transitions, 625 secs || 27280058 markings, 46539269 edges, 44022 markings/sec, 625 secs
lola: STP completed || 19 tries, 18925788 fired transitions, 630 secs || 27505776 markings, 46944094 edges, 45144 markings/sec, 630 secs
lola: STP completed || 20 tries, 19062455 fired transitions, 635 secs || 27723145 markings, 47317177 edges, 43474 markings/sec, 635 secs
lola: STP completed || 20 tries, 19213213 fired transitions, 640 secs || 27944200 markings, 47707258 edges, 44211 markings/sec, 640 secs
lola: STP completed || 20 tries, 19364055 fired transitions, 645 secs || 28165167 markings, 48089732 edges, 44193 markings/sec, 645 secs
lola: STP completed || 20 tries, 19514961 fired transitions, 650 secs || 28386950 markings, 48479213 edges, 44357 markings/sec, 650 secs
lola: STP completed || 20 tries, 19666989 fired transitions, 655 secs || 28608398 markings, 48854499 edges, 44290 markings/sec, 655 secs
lola: STP completed || 20 tries, 19818099 fired transitions, 660 secs || 28828263 markings, 49239846 edges, 43973 markings/sec, 660 secs
lola: STP completed || 20 tries, 19970080 fired transitions, 665 secs || 29051182 markings, 49639034 edges, 44584 markings/sec, 665 secs
lola: STP completed || 21 tries, 20121933 fired transitions, 670 secs || 29270868 markings, 50013663 edges, 43937 markings/sec, 670 secs
lola: STP completed || 21 tries, 20257725 fired transitions, 675 secs || 29493853 markings, 50411872 edges, 44597 markings/sec, 675 secs
lola: STP completed || 21 tries, 20409336 fired transitions, 680 secs || 29718230 markings, 50821411 edges, 44875 markings/sec, 680 secs
lola: STP completed || 21 tries, 20561210 fired transitions, 685 secs || 29942259 markings, 51221089 edges, 44806 markings/sec, 685 secs
lola: STP completed || 21 tries, 20712611 fired transitions, 690 secs || 30165089 markings, 51627750 edges, 44566 markings/sec, 690 secs
lola: STP completed || 21 tries, 20862964 fired transitions, 695 secs || 30386275 markings, 52020980 edges, 44237 markings/sec, 695 secs
lola: STP completed || 22 tries, 21014108 fired transitions, 700 secs || 30607074 markings, 52422879 edges, 44160 markings/sec, 700 secs
lola: STP completed || 22 tries, 21165972 fired transitions, 705 secs || 30833481 markings, 52838744 edges, 45281 markings/sec, 705 secs
lola: STP completed || 22 tries, 21316975 fired transitions, 710 secs || 31054433 markings, 53232365 edges, 44190 markings/sec, 710 secs
lola: STP completed || 22 tries, 21455104 fired transitions, 715 secs || 31277492 markings, 53629411 edges, 44612 markings/sec, 715 secs
lola: STP completed || 22 tries, 21606052 fired transitions, 720 secs || 31501362 markings, 54030629 edges, 44774 markings/sec, 720 secs
lola: STP completed || 22 tries, 21757285 fired transitions, 725 secs || 31730968 markings, 54448846 edges, 45921 markings/sec, 725 secs
lola: STP completed || 22 tries, 21909055 fired transitions, 730 secs || 31959849 markings, 54873824 edges, 45776 markings/sec, 730 secs
lola: STP completed || 23 tries, 22060614 fired transitions, 735 secs || 32184027 markings, 55284656 edges, 44836 markings/sec, 735 secs
lola: STP completed || 23 tries, 22211496 fired transitions, 740 secs || 32411092 markings, 55702625 edges, 45413 markings/sec, 740 secs
lola: STP completed || 23 tries, 22362374 fired transitions, 745 secs || 32633053 markings, 56113674 edges, 44392 markings/sec, 745 secs
lola: STP completed || 23 tries, 22514109 fired transitions, 750 secs || 32861044 markings, 56540209 edges, 45598 markings/sec, 750 secs
lola: STP completed || 23 tries, 22651920 fired transitions, 755 secs || 33082732 markings, 56940922 edges, 44338 markings/sec, 755 secs
lola: STP completed || 23 tries, 22803529 fired transitions, 760 secs || 33307681 markings, 57350553 edges, 44990 markings/sec, 760 secs
lola: STP completed || 23 tries, 22947688 fired transitions, 765 secs || 33519033 markings, 57723641 edges, 42270 markings/sec, 765 secs
lola: STP completed || 24 tries, 23089643 fired transitions, 770 secs || 33726932 markings, 58106085 edges, 41580 markings/sec, 770 secs
lola: STP completed || 24 tries, 23227011 fired transitions, 775 secs || 33946794 markings, 58514562 edges, 43972 markings/sec, 775 secs
lola: STP completed || 24 tries, 23376500 fired transitions, 780 secs || 34167949 markings, 58899357 edges, 44231 markings/sec, 780 secs
lola: STP completed || 24 tries, 23514798 fired transitions, 785 secs || 34368619 markings, 59252576 edges, 40134 markings/sec, 785 secs
lola: STP completed || 24 tries, 23651212 fired transitions, 790 secs || 34566252 markings, 59598665 edges, 39527 markings/sec, 790 secs
lola: STP completed || 24 tries, 23791295 fired transitions, 795 secs || 34755188 markings, 59927371 edges, 37787 markings/sec, 795 secs
lola: STP completed || 24 tries, 23940044 fired transitions, 800 secs || 34976387 markings, 60333084 edges, 44240 markings/sec, 800 secs
lola: STP completed || 25 tries, 24090226 fired transitions, 805 secs || 35197347 markings, 60730918 edges, 44192 markings/sec, 805 secs
lola: STP completed || 25 tries, 24241575 fired transitions, 810 secs || 35419474 markings, 61141648 edges, 44425 markings/sec, 810 secs
lola: STP completed || 25 tries, 24393047 fired transitions, 815 secs || 35614261 markings, 61458642 edges, 38957 markings/sec, 815 secs
lola: STP completed || 25 tries, 24543211 fired transitions, 820 secs || 35833620 markings, 61807026 edges, 43872 markings/sec, 820 secs
lola: STP completed || 25 tries, 24695179 fired transitions, 825 secs || 36056829 markings, 62184013 edges, 44642 markings/sec, 825 secs
lola: STP completed || 25 tries, 24848345 fired transitions, 830 secs || 36281684 markings, 62562881 edges, 44971 markings/sec, 830 secs
lola: STP completed || 25 tries, 24992842 fired transitions, 835 secs || 36501547 markings, 62957103 edges, 43973 markings/sec, 835 secs
lola: STP completed || 26 tries, 25142583 fired transitions, 840 secs || 36720286 markings, 63324185 edges, 43748 markings/sec, 840 secs
lola: STP completed || 26 tries, 25293662 fired transitions, 845 secs || 36946361 markings, 63718670 edges, 45215 markings/sec, 845 secs
lola: STP completed || 26 tries, 25445350 fired transitions, 850 secs || 37167481 markings, 64099991 edges, 44224 markings/sec, 850 secs
lola: STP completed || 26 tries, 25598460 fired transitions, 855 secs || 37387455 markings, 64489417 edges, 43995 markings/sec, 855 secs
lola: STP completed || 26 tries, 25749794 fired transitions, 860 secs || 37610916 markings, 64884656 edges, 44692 markings/sec, 860 secs
lola: STP completed || 26 tries, 25901480 fired transitions, 865 secs || 37832476 markings, 65276271 edges, 44312 markings/sec, 865 secs
lola: STP completed || 27 tries, 26051846 fired transitions, 870 secs || 38051184 markings, 65635099 edges, 43742 markings/sec, 870 secs
lola: STP completed || 27 tries, 26203654 fired transitions, 875 secs || 38274506 markings, 66031435 edges, 44664 markings/sec, 875 secs
lola: STP completed || 27 tries, 26354698 fired transitions, 880 secs || 38495116 markings, 66426711 edges, 44122 markings/sec, 880 secs
lola: STP completed || 27 tries, 26505470 fired transitions, 885 secs || 38718851 markings, 66819232 edges, 44747 markings/sec, 885 secs
lola: STP completed || 27 tries, 26657153 fired transitions, 890 secs || 38943766 markings, 67221558 edges, 44983 markings/sec, 890 secs
lola: STP completed || 27 tries, 26803103 fired transitions, 895 secs || 39137170 markings, 67551895 edges, 38681 markings/sec, 895 secs
lola: STP completed || 27 tries, 26952942 fired transitions, 900 secs || 39352559 markings, 67913133 edges, 43078 markings/sec, 900 secs
lola: STP completed || 28 tries, 27104894 fired transitions, 905 secs || 39573816 markings, 68282059 edges, 44251 markings/sec, 905 secs
lola: STP completed || 28 tries, 27256732 fired transitions, 910 secs || 39796509 markings, 68651745 edges, 44539 markings/sec, 910 secs
lola: STP completed || 28 tries, 27405682 fired transitions, 915 secs || 40024217 markings, 69041931 edges, 45542 markings/sec, 915 secs
lola: STP completed || 28 tries, 27556505 fired transitions, 920 secs || 40251583 markings, 69444837 edges, 45473 markings/sec, 920 secs
lola: STP completed || 28 tries, 27708382 fired transitions, 925 secs || 40475665 markings, 69820343 edges, 44816 markings/sec, 925 secs
lola: STP completed || 28 tries, 27859688 fired transitions, 930 secs || 40699106 markings, 70208237 edges, 44688 markings/sec, 930 secs
lola: STP completed || 29 tries, 28011302 fired transitions, 935 secs || 40900401 markings, 70564475 edges, 40259 markings/sec, 935 secs
lola: STP completed || 29 tries, 28162004 fired transitions, 940 secs || 41122786 markings, 70953799 edges, 44477 markings/sec, 940 secs
lola: STP completed || 29 tries, 28312938 fired transitions, 945 secs || 41342603 markings, 71339734 edges, 43963 markings/sec, 945 secs
lola: STP completed || 29 tries, 28464263 fired transitions, 950 secs || 41562939 markings, 71719767 edges, 44067 markings/sec, 950 secs
lola: STP completed || 29 tries, 28609846 fired transitions, 955 secs || 41780033 markings, 72069265 edges, 43419 markings/sec, 955 secs
lola: STP completed || 29 tries, 28759671 fired transitions, 960 secs || 42000400 markings, 72437273 edges, 44073 markings/sec, 960 secs
lola: STP completed || 29 tries, 28910482 fired transitions, 965 secs || 42222401 markings, 72834352 edges, 44400 markings/sec, 965 secs
lola: STP completed || 30 tries, 29061330 fired transitions, 970 secs || 42443677 markings, 73206673 edges, 44255 markings/sec, 970 secs
lola: STP completed || 30 tries, 29208123 fired transitions, 975 secs || 42663470 markings, 73585340 edges, 43959 markings/sec, 975 secs
lola: STP completed || 30 tries, 29357910 fired transitions, 980 secs || 42881297 markings, 73954800 edges, 43565 markings/sec, 980 secs
lola: STP completed || 30 tries, 29509230 fired transitions, 985 secs || 43099741 markings, 74336182 edges, 43689 markings/sec, 985 secs
lola: STP completed || 30 tries, 29660577 fired transitions, 990 secs || 43325684 markings, 74743674 edges, 45189 markings/sec, 990 secs
lola: STP completed || 30 tries, 29812874 fired transitions, 995 secs || 43519753 markings, 75062001 edges, 38814 markings/sec, 995 secs
lola: STP completed || 30 tries, 29964268 fired transitions, 1000 secs || 43740471 markings, 75439438 edges, 44144 markings/sec, 1000 secs
lola: STP completed || 31 tries, 30116146 fired transitions, 1005 secs || 43969555 markings, 75854385 edges, 45817 markings/sec, 1005 secs
lola: STP completed || 31 tries, 30267581 fired transitions, 1010 secs || 44195994 markings, 76249958 edges, 45288 markings/sec, 1010 secs
lola: STP completed || 31 tries, 30419093 fired transitions, 1015 secs || 44423191 markings, 76660465 edges, 45439 markings/sec, 1015 secs
lola: STP completed || 31 tries, 30571147 fired transitions, 1020 secs || 44651329 markings, 77083616 edges, 45628 markings/sec, 1020 secs
lola: STP completed || 31 tries, 30722043 fired transitions, 1025 secs || 44875016 markings, 77480383 edges, 44737 markings/sec, 1025 secs
lola: STP completed || 31 tries, 30861045 fired transitions, 1030 secs || 45072773 markings, 77845887 edges, 39551 markings/sec, 1030 secs
lola: STP completed || 31 tries, 30998114 fired transitions, 1035 secs || 45288786 markings, 78245005 edges, 43203 markings/sec, 1035 secs
lola: STP completed || 32 tries, 31134548 fired transitions, 1040 secs || 45493471 markings, 78611506 edges, 40937 markings/sec, 1040 secs
lola: STP completed || 32 tries, 31274179 fired transitions, 1045 secs || 45693628 markings, 78951085 edges, 40031 markings/sec, 1045 secs
lola: STP completed || 32 tries, 31410532 fired transitions, 1050 secs || 45892905 markings, 79293963 edges, 39855 markings/sec, 1050 secs
lola: STP completed || 32 tries, 31536572 fired transitions, 1055 secs || 46110459 markings, 79652570 edges, 43511 markings/sec, 1055 secs
lola: STP completed || 32 tries, 31687344 fired transitions, 1060 secs || 46336645 markings, 80041644 edges, 45237 markings/sec, 1060 secs
lola: STP completed || 32 tries, 31838193 fired transitions, 1065 secs || 46560683 markings, 80449345 edges, 44808 markings/sec, 1065 secs
lola: STP completed || 32 tries, 31989280 fired transitions, 1070 secs || 46787309 markings, 80868616 edges, 45325 markings/sec, 1070 secs
lola: STP completed || 33 tries, 32138006 fired transitions, 1075 secs || 47005181 markings, 81273084 edges, 43574 markings/sec, 1075 secs
lola: STP completed || 33 tries, 32285581 fired transitions, 1080 secs || 47224685 markings, 81686174 edges, 43901 markings/sec, 1080 secs
lola: STP completed || 33 tries, 32433081 fired transitions, 1085 secs || 47443543 markings, 82086989 edges, 43772 markings/sec, 1085 secs
lola: STP completed || 33 tries, 32580677 fired transitions, 1090 secs || 47661927 markings, 82490500 edges, 43677 markings/sec, 1090 secs
lola: STP completed || 33 tries, 32726682 fired transitions, 1095 secs || 47879249 markings, 82889141 edges, 43464 markings/sec, 1095 secs
lola: STP completed || 33 tries, 32874746 fired transitions, 1100 secs || 48094697 markings, 83271527 edges, 43090 markings/sec, 1100 secs
lola: STP completed || 34 tries, 33024869 fired transitions, 1105 secs || 48316142 markings, 83675593 edges, 44289 markings/sec, 1105 secs
lola: STP completed || 34 tries, 33175804 fired transitions, 1110 secs || 48536454 markings, 84062378 edges, 44062 markings/sec, 1110 secs
lola: STP completed || 34 tries, 33324282 fired transitions, 1115 secs || 48756274 markings, 84461338 edges, 43964 markings/sec, 1115 secs
lola: STP completed || 34 tries, 33474968 fired transitions, 1120 secs || 48976375 markings, 84842032 edges, 44020 markings/sec, 1120 secs
lola: STP completed || 34 tries, 33624163 fired transitions, 1125 secs || 49198441 markings, 85247760 edges, 44413 markings/sec, 1125 secs
lola: STP completed || 34 tries, 33773911 fired transitions, 1130 secs || 49418978 markings, 85642700 edges, 44107 markings/sec, 1130 secs
lola: STP completed || 34 tries, 33901217 fired transitions, 1135 secs || 49635860 markings, 86004341 edges, 43376 markings/sec, 1135 secs
lola: STP completed || 35 tries, 34052419 fired transitions, 1140 secs || 49861436 markings, 86408363 edges, 45115 markings/sec, 1140 secs
lola: STP completed || 35 tries, 34203793 fired transitions, 1145 secs || 50086185 markings, 86817541 edges, 44950 markings/sec, 1145 secs
lola: STP completed || 35 tries, 34355426 fired transitions, 1150 secs || 50313485 markings, 87241150 edges, 45460 markings/sec, 1150 secs
lola: STP completed || 35 tries, 34504600 fired transitions, 1155 secs || 50531738 markings, 87636673 edges, 43651 markings/sec, 1155 secs
lola: STP completed || 35 tries, 34655308 fired transitions, 1160 secs || 50755882 markings, 88060595 edges, 44829 markings/sec, 1160 secs
lola: STP completed || 35 tries, 34806692 fired transitions, 1165 secs || 50978646 markings, 88467694 edges, 44553 markings/sec, 1165 secs
lola: STP completed || 35 tries, 34957651 fired transitions, 1170 secs || 51205770 markings, 88875324 edges, 45425 markings/sec, 1170 secs
lola: STP completed || 36 tries, 35107338 fired transitions, 1175 secs || 51431052 markings, 89300137 edges, 45056 markings/sec, 1175 secs
lola: STP completed || 36 tries, 35258468 fired transitions, 1180 secs || 51656837 markings, 89707653 edges, 45157 markings/sec, 1180 secs
lola: STP completed || 36 tries, 35410329 fired transitions, 1185 secs || 51883171 markings, 90116354 edges, 45267 markings/sec, 1185 secs
lola: STP completed || 36 tries, 35561691 fired transitions, 1190 secs || 52106829 markings, 90505042 edges, 44732 markings/sec, 1190 secs
lola: STP completed || 36 tries, 35710249 fired transitions, 1195 secs || 52328818 markings, 90920937 edges, 44398 markings/sec, 1195 secs
lola: STP completed || 36 tries, 35861408 fired transitions, 1200 secs || 52550649 markings, 91315151 edges, 44366 markings/sec, 1200 secs
lola: STP completed || 37 tries, 36013822 fired transitions, 1205 secs || 52773321 markings, 91719403 edges, 44534 markings/sec, 1205 secs
lola: STP completed || 37 tries, 36166514 fired transitions, 1210 secs || 52996450 markings, 92123477 edges, 44626 markings/sec, 1210 secs
lola: STP completed || 37 tries, 36316023 fired transitions, 1215 secs || 53218745 markings, 92533522 edges, 44459 markings/sec, 1215 secs
lola: STP completed || 37 tries, 36467637 fired transitions, 1220 secs || 53443729 markings, 92944425 edges, 44997 markings/sec, 1220 secs
lola: STP completed || 37 tries, 36618655 fired transitions, 1225 secs || 53670969 markings, 93371972 edges, 45448 markings/sec, 1225 secs
lola: STP completed || 37 tries, 36770918 fired transitions, 1230 secs || 53897840 markings, 93797521 edges, 45374 markings/sec, 1230 secs
lola: STP completed || 37 tries, 36920490 fired transitions, 1235 secs || 54119267 markings, 94196664 edges, 44285 markings/sec, 1235 secs
lola: STP completed || 38 tries, 37072072 fired transitions, 1240 secs || 54342397 markings, 94588555 edges, 44626 markings/sec, 1240 secs
lola: STP completed || 38 tries, 37223573 fired transitions, 1245 secs || 54560894 markings, 94951986 edges, 43699 markings/sec, 1245 secs
lola: STP completed || 38 tries, 37375056 fired transitions, 1250 secs || 54771624 markings, 95302030 edges, 42146 markings/sec, 1250 secs
lola: STP completed || 38 tries, 37525847 fired transitions, 1255 secs || 54993566 markings, 95680256 edges, 44388 markings/sec, 1255 secs
lola: STP completed || 38 tries, 37677154 fired transitions, 1260 secs || 55218076 markings, 96052608 edges, 44902 markings/sec, 1260 secs
lola: STP completed || 38 tries, 37827791 fired transitions, 1265 secs || 55444398 markings, 96456373 edges, 45264 markings/sec, 1265 secs
lola: STP completed || 38 tries, 37978871 fired transitions, 1270 secs || 55656709 markings, 96838804 edges, 42462 markings/sec, 1270 secs
lola: STP completed || 39 tries, 38105833 fired transitions, 1275 secs || 55874719 markings, 97241036 edges, 43602 markings/sec, 1275 secs
lola: STP completed || 39 tries, 38257529 fired transitions, 1280 secs || 56096763 markings, 97628495 edges, 44409 markings/sec, 1280 secs
lola: STP completed || 39 tries, 38407236 fired transitions, 1285 secs || 56317944 markings, 98021527 edges, 44236 markings/sec, 1285 secs
lola: STP completed || 39 tries, 38557808 fired transitions, 1290 secs || 56543228 markings, 98436701 edges, 45057 markings/sec, 1290 secs
lola: STP completed || 39 tries, 38708513 fired transitions, 1295 secs || 56766388 markings, 98833885 edges, 44632 markings/sec, 1295 secs
lola: STP completed || 39 tries, 38859258 fired transitions, 1300 secs || 56993016 markings, 99246273 edges, 45326 markings/sec, 1300 secs
lola: STP completed || 40 tries, 39010743 fired transitions, 1305 secs || 57219563 markings, 99678863 edges, 45309 markings/sec, 1305 secs
lola: STP completed || 40 tries, 39161529 fired transitions, 1310 secs || 57440455 markings, 100083703 edges, 44178 markings/sec, 1310 secs
lola: STP completed || 40 tries, 39291219 fired transitions, 1315 secs || 57664635 markings, 100482330 edges, 44836 markings/sec, 1315 secs
lola: STP completed || 40 tries, 39442315 fired transitions, 1320 secs || 57888856 markings, 100881591 edges, 44844 markings/sec, 1320 secs
lola: STP completed || 40 tries, 39592951 fired transitions, 1325 secs || 58113901 markings, 101287489 edges, 45009 markings/sec, 1325 secs
lola: STP completed || 40 tries, 39743958 fired transitions, 1330 secs || 58337545 markings, 101688979 edges, 44729 markings/sec, 1330 secs
lola: STP completed || 40 tries, 39892774 fired transitions, 1335 secs || 58553816 markings, 102075142 edges, 43254 markings/sec, 1335 secs
lola: STP completed || 41 tries, 40044384 fired transitions, 1340 secs || 58776897 markings, 102451875 edges, 44616 markings/sec, 1340 secs
lola: STP completed || 41 tries, 40196794 fired transitions, 1345 secs || 59000590 markings, 102839685 edges, 44739 markings/sec, 1345 secs
lola: STP completed || 41 tries, 40347909 fired transitions, 1350 secs || 59227737 markings, 103253490 edges, 45429 markings/sec, 1350 secs
lola: STP completed || 41 tries, 40497825 fired transitions, 1355 secs || 59450511 markings, 103648421 edges, 44555 markings/sec, 1355 secs
lola: STP completed || 41 tries, 40645554 fired transitions, 1360 secs || 59668234 markings, 104044276 edges, 43545 markings/sec, 1360 secs
lola: STP completed || 41 tries, 40797547 fired transitions, 1365 secs || 59894580 markings, 104449504 edges, 45269 markings/sec, 1365 secs
lola: STP completed || 41 tries, 40946282 fired transitions, 1370 secs || 60118663 markings, 104874336 edges, 44817 markings/sec, 1370 secs
lola: STP completed || 42 tries, 41072615 fired transitions, 1375 secs || 60335249 markings, 105254965 edges, 43317 markings/sec, 1375 secs
lola: STP completed || 42 tries, 41217717 fired transitions, 1380 secs || 60548584 markings, 105639578 edges, 42667 markings/sec, 1380 secs
lola: STP completed || 42 tries, 41365315 fired transitions, 1385 secs || 60766522 markings, 106013560 edges, 43588 markings/sec, 1385 secs
lola: STP completed || 42 tries, 41518055 fired transitions, 1390 secs || 60994367 markings, 106425002 edges, 45569 markings/sec, 1390 secs
lola: STP completed || 42 tries, 41665627 fired transitions, 1395 secs || 61195139 markings, 106780758 edges, 40154 markings/sec, 1395 secs
lola: STP completed || 42 tries, 41817065 fired transitions, 1400 secs || 61417881 markings, 107161832 edges, 44548 markings/sec, 1400 secs
lola: STP completed || 42 tries, 41967832 fired transitions, 1405 secs || 61638415 markings, 107543715 edges, 44107 markings/sec, 1405 secs
lola: STP completed || 43 tries, 42118836 fired transitions, 1410 secs || 61864654 markings, 107970604 edges, 45248 markings/sec, 1410 secs
lola: STP completed || 43 tries, 42244236 fired transitions, 1415 secs || 62083684 markings, 108378621 edges, 43806 markings/sec, 1415 secs
lola: STP completed || 43 tries, 42390413 fired transitions, 1420 secs || 62303652 markings, 108789885 edges, 43994 markings/sec, 1420 secs
lola: STP completed || 43 tries, 42538528 fired transitions, 1425 secs || 62519684 markings, 109187059 edges, 43206 markings/sec, 1425 secs
lola: STP completed || 43 tries, 42682401 fired transitions, 1430 secs || 62734613 markings, 109583657 edges, 42986 markings/sec, 1430 secs
lola: STP completed || 43 tries, 42827523 fired transitions, 1435 secs || 62933751 markings, 109944710 edges, 39828 markings/sec, 1435 secs
lola: STP completed || 43 tries, 42973555 fired transitions, 1440 secs || 63148790 markings, 110337215 edges, 43008 markings/sec, 1440 secs
lola: STP completed || 44 tries, 43124203 fired transitions, 1445 secs || 63372183 markings, 110750741 edges, 44679 markings/sec, 1445 secs
lola: STP completed || 44 tries, 43276289 fired transitions, 1450 secs || 63599158 markings, 111157247 edges, 45395 markings/sec, 1450 secs
lola: STP completed || 44 tries, 43402976 fired transitions, 1455 secs || 63818404 markings, 111560945 edges, 43849 markings/sec, 1455 secs
lola: STP completed || 44 tries, 43552181 fired transitions, 1460 secs || 64041914 markings, 111981108 edges, 44702 markings/sec, 1460 secs
lola: STP completed || 44 tries, 43702746 fired transitions, 1465 secs || 64262618 markings, 112392565 edges, 44141 markings/sec, 1465 secs
lola: STP completed || 44 tries, 43854657 fired transitions, 1470 secs || 64487864 markings, 112808102 edges, 45049 markings/sec, 1470 secs
lola: STP completed || 45 tries, 44005118 fired transitions, 1475 secs || 64709638 markings, 113197574 edges, 44355 markings/sec, 1475 secs
lola: STP completed || 45 tries, 44156264 fired transitions, 1480 secs || 64932691 markings, 113596955 edges, 44611 markings/sec, 1480 secs
lola: STP completed || 45 tries, 44307023 fired transitions, 1485 secs || 65156250 markings, 114004826 edges, 44712 markings/sec, 1485 secs
lola: STP completed || 45 tries, 44459110 fired transitions, 1490 secs || 65378733 markings, 114420476 edges, 44497 markings/sec, 1490 secs
lola: STP completed || 45 tries, 44610149 fired transitions, 1495 secs || 65604005 markings, 114839555 edges, 45054 markings/sec, 1495 secs
lola: STP completed || 45 tries, 44762240 fired transitions, 1500 secs || 65827529 markings, 115255456 edges, 44705 markings/sec, 1500 secs
lola: STP completed || 45 tries, 44913494 fired transitions, 1505 secs || 66049703 markings, 115655263 edges, 44435 markings/sec, 1505 secs
lola: STP completed || 46 tries, 45064590 fired transitions, 1510 secs || 66271686 markings, 116052400 edges, 44397 markings/sec, 1510 secs
lola: STP completed || 46 tries, 45216450 fired transitions, 1515 secs || 66495655 markings, 116453481 edges, 44794 markings/sec, 1515 secs
lola: STP completed || 46 tries, 45367360 fired transitions, 1520 secs || 66721341 markings, 116879475 edges, 45137 markings/sec, 1520 secs
lola: STP completed || 46 tries, 45518629 fired transitions, 1525 secs || 66943190 markings, 117291803 edges, 44370 markings/sec, 1525 secs
lola: STP completed || 46 tries, 45666781 fired transitions, 1530 secs || 67162913 markings, 117711436 edges, 43945 markings/sec, 1530 secs
lola: STP completed || 46 tries, 45814086 fired transitions, 1535 secs || 67380156 markings, 118119280 edges, 43449 markings/sec, 1535 secs
lola: STP completed || 46 tries, 45963370 fired transitions, 1540 secs || 67599502 markings, 118530926 edges, 43869 markings/sec, 1540 secs
lola: STP completed || 47 tries, 46114462 fired transitions, 1545 secs || 67825993 markings, 118948865 edges, 45298 markings/sec, 1545 secs
lola: STP completed || 47 tries, 46266600 fired transitions, 1550 secs || 68047962 markings, 119355050 edges, 44394 markings/sec, 1550 secs
lola: STP completed || 47 tries, 46417953 fired transitions, 1555 secs || 68268457 markings, 119751786 edges, 44099 markings/sec, 1555 secs
lola: STP completed || 47 tries, 46569724 fired transitions, 1560 secs || 68483370 markings, 120091722 edges, 42983 markings/sec, 1560 secs
lola: STP completed || 47 tries, 46721004 fired transitions, 1565 secs || 68704033 markings, 120450441 edges, 44133 markings/sec, 1565 secs
lola: STP completed || 47 tries, 46873518 fired transitions, 1570 secs || 68924532 markings, 120812101 edges, 44100 markings/sec, 1570 secs
lola: STP completed || 48 tries, 47026192 fired transitions, 1575 secs || 69122193 markings, 121125873 edges, 39532 markings/sec, 1575 secs
lola: STP completed || 48 tries, 47177915 fired transitions, 1580 secs || 69340843 markings, 121480724 edges, 43730 markings/sec, 1580 secs
lola: STP completed || 48 tries, 47330337 fired transitions, 1585 secs || 69563564 markings, 121849688 edges, 44544 markings/sec, 1585 secs
lola: STP completed || 48 tries, 47482516 fired transitions, 1590 secs || 69783636 markings, 122215067 edges, 44014 markings/sec, 1590 secs
lola: STP completed || 48 tries, 47633869 fired transitions, 1595 secs || 70004029 markings, 122581263 edges, 44079 markings/sec, 1595 secs
lola: STP completed || 48 tries, 47785398 fired transitions, 1600 secs || 70223126 markings, 122936654 edges, 43819 markings/sec, 1600 secs
lola: STP completed || 48 tries, 47932769 fired transitions, 1605 secs || 70437778 markings, 123280704 edges, 42930 markings/sec, 1605 secs
lola: STP completed || 49 tries, 48080012 fired transitions, 1610 secs || 70652460 markings, 123646386 edges, 42936 markings/sec, 1610 secs
lola: STP completed || 49 tries, 48228061 fired transitions, 1615 secs || 70867678 markings, 123997079 edges, 43044 markings/sec, 1615 secs
lola: STP completed || 49 tries, 48379586 fired transitions, 1620 secs || 71085911 markings, 124349372 edges, 43647 markings/sec, 1620 secs
lola: STP completed || 49 tries, 48528765 fired transitions, 1625 secs || 71301514 markings, 124709134 edges, 43121 markings/sec, 1625 secs
lola: STP completed || 49 tries, 48675616 fired transitions, 1630 secs || 71522697 markings, 125090826 edges, 44237 markings/sec, 1630 secs
lola: STP completed || 49 tries, 48824411 fired transitions, 1635 secs || 71743973 markings, 125471289 edges, 44255 markings/sec, 1635 secs
lola: STP completed || 49 tries, 48973962 fired transitions, 1640 secs || 71962987 markings, 125851075 edges, 43803 markings/sec, 1640 secs
lola: STP completed || 50 tries, 49123576 fired transitions, 1645 secs || 72181501 markings, 126221828 edges, 43703 markings/sec, 1645 secs
lola: STP completed || 50 tries, 49271336 fired transitions, 1650 secs || 72400185 markings, 126597294 edges, 43737 markings/sec, 1650 secs
lola: STP completed || 50 tries, 49419041 fired transitions, 1655 secs || 72616551 markings, 126970934 edges, 43273 markings/sec, 1655 secs
lola: STP completed || 50 tries, 49567946 fired transitions, 1660 secs || 72835347 markings, 127354996 edges, 43759 markings/sec, 1660 secs
lola: STP completed || 50 tries, 49714227 fired transitions, 1665 secs || 73052153 markings, 127725155 edges, 43361 markings/sec, 1665 secs
lola: STP completed || 50 tries, 49862477 fired transitions, 1670 secs || 73264864 markings, 128083417 edges, 42542 markings/sec, 1670 secs
lola: STP completed || 51 tries, 50010264 fired transitions, 1675 secs || 73478450 markings, 128433425 edges, 42717 markings/sec, 1675 secs
lola: STP completed || 51 tries, 50157763 fired transitions, 1680 secs || 73695261 markings, 128800835 edges, 43362 markings/sec, 1680 secs
lola: STP completed || 51 tries, 50306842 fired transitions, 1685 secs || 73910217 markings, 129174973 edges, 42991 markings/sec, 1685 secs
lola: STP completed || 51 tries, 50456601 fired transitions, 1690 secs || 74125557 markings, 129542754 edges, 43068 markings/sec, 1690 secs
lola: STP completed || 51 tries, 50604894 fired transitions, 1695 secs || 74340778 markings, 129916716 edges, 43044 markings/sec, 1695 secs
lola: STP completed || 51 tries, 50752346 fired transitions, 1700 secs || 74559419 markings, 130300009 edges, 43728 markings/sec, 1700 secs
lola: STP completed || 51 tries, 50900926 fired transitions, 1705 secs || 74774684 markings, 130671967 edges, 43053 markings/sec, 1705 secs
lola: STP completed || 52 tries, 51049244 fired transitions, 1710 secs || 74988522 markings, 131043543 edges, 42768 markings/sec, 1710 secs
lola: STP completed || 52 tries, 51197101 fired transitions, 1715 secs || 75205017 markings, 131433690 edges, 43299 markings/sec, 1715 secs
lola: STP completed || 52 tries, 51344391 fired transitions, 1720 secs || 75422564 markings, 131841013 edges, 43509 markings/sec, 1720 secs
lola: STP completed || 52 tries, 51491940 fired transitions, 1725 secs || 75638334 markings, 132207898 edges, 43154 markings/sec, 1725 secs
lola: STP completed || 52 tries, 51640512 fired transitions, 1730 secs || 75857833 markings, 132598872 edges, 43900 markings/sec, 1730 secs
lola: STP completed || 52 tries, 51789201 fired transitions, 1735 secs || 76080284 markings, 133022412 edges, 44490 markings/sec, 1735 secs
lola: STP completed || 52 tries, 51936565 fired transitions, 1740 secs || 76297450 markings, 133417008 edges, 43433 markings/sec, 1740 secs
lola: STP completed || 53 tries, 52085050 fired transitions, 1745 secs || 76514207 markings, 133803253 edges, 43351 markings/sec, 1745 secs
lola: STP completed || 53 tries, 52232899 fired transitions, 1750 secs || 76730363 markings, 134196533 edges, 43231 markings/sec, 1750 secs
lola: STP completed || 53 tries, 52380366 fired transitions, 1755 secs || 76951443 markings, 134609586 edges, 44216 markings/sec, 1755 secs
lola: STP completed || 53 tries, 52527598 fired transitions, 1760 secs || 77166628 markings, 135015593 edges, 43037 markings/sec, 1760 secs
lola: STP completed || 53 tries, 52675279 fired transitions, 1765 secs || 77381028 markings, 135387550 edges, 42880 markings/sec, 1765 secs
lola: STP completed || 53 tries, 52822807 fired transitions, 1770 secs || 77596312 markings, 135791038 edges, 43057 markings/sec, 1770 secs
lola: STP completed || 53 tries, 52970644 fired transitions, 1775 secs || 77811887 markings, 136177211 edges, 43115 markings/sec, 1775 secs
lola: STP completed || 54 tries, 53117092 fired transitions, 1780 secs || 78024810 markings, 136542741 edges, 42585 markings/sec, 1780 secs
lola: STP completed || 54 tries, 53264518 fired transitions, 1785 secs || 78240782 markings, 136944720 edges, 43194 markings/sec, 1785 secs
lola: STP completed || 54 tries, 53411054 fired transitions, 1790 secs || 78456211 markings, 137356937 edges, 43086 markings/sec, 1790 secs
lola: STP completed || 54 tries, 53558520 fired transitions, 1795 secs || 78675451 markings, 137755516 edges, 43848 markings/sec, 1795 secs
lola: STP completed || 54 tries, 53706023 fired transitions, 1800 secs || 78893212 markings, 138164433 edges, 43552 markings/sec, 1800 secs
lola: STP completed || 54 tries, 53854713 fired transitions, 1805 secs || 79109670 markings, 138552164 edges, 43292 markings/sec, 1805 secs
lola: STP completed || 55 tries, 54002976 fired transitions, 1810 secs || 79331076 markings, 138971056 edges, 44281 markings/sec, 1810 secs
lola: STP completed || 55 tries, 54150256 fired transitions, 1815 secs || 79547071 markings, 139364121 edges, 43199 markings/sec, 1815 secs
lola: STP completed || 55 tries, 54297886 fired transitions, 1820 secs || 79766556 markings, 139780629 edges, 43897 markings/sec, 1820 secs
lola: STP completed || 55 tries, 54445195 fired transitions, 1825 secs || 79984258 markings, 140180696 edges, 43540 markings/sec, 1825 secs
lola: STP completed || 55 tries, 54591372 fired transitions, 1830 secs || 80199009 markings, 140567337 edges, 42950 markings/sec, 1830 secs
lola: STP completed || 55 tries, 54739865 fired transitions, 1835 secs || 80414825 markings, 140954748 edges, 43163 markings/sec, 1835 secs
lola: STP completed || 55 tries, 54886830 fired transitions, 1840 secs || 80630615 markings, 141356572 edges, 43158 markings/sec, 1840 secs
lola: STP completed || 56 tries, 55034494 fired transitions, 1845 secs || 80844170 markings, 141741053 edges, 42711 markings/sec, 1845 secs
lola: STP completed || 56 tries, 55182292 fired transitions, 1850 secs || 81059462 markings, 142141864 edges, 43058 markings/sec, 1850 secs
lola: STP completed || 56 tries, 55328978 fired transitions, 1855 secs || 81279881 markings, 142561382 edges, 44084 markings/sec, 1855 secs
lola: STP completed || 56 tries, 55477037 fired transitions, 1860 secs || 81500165 markings, 142988663 edges, 44057 markings/sec, 1860 secs
lola: STP completed || 56 tries, 55624858 fired transitions, 1865 secs || 81720338 markings, 143396157 edges, 44035 markings/sec, 1865 secs
lola: STP completed || 56 tries, 55772463 fired transitions, 1870 secs || 81939627 markings, 143802803 edges, 43858 markings/sec, 1870 secs
lola: STP completed || 56 tries, 55921358 fired transitions, 1875 secs || 82138764 markings, 144177909 edges, 39827 markings/sec, 1875 secs
lola: STP completed || 57 tries, 56070507 fired transitions, 1880 secs || 82360312 markings, 144593498 edges, 44310 markings/sec, 1880 secs
lola: STP completed || 57 tries, 56222092 fired transitions, 1885 secs || 82580514 markings, 145005202 edges, 44040 markings/sec, 1885 secs
lola: STP completed || 57 tries, 56373201 fired transitions, 1890 secs || 82802129 markings, 145400707 edges, 44323 markings/sec, 1890 secs
lola: STP completed || 57 tries, 56524581 fired transitions, 1895 secs || 83025445 markings, 145810288 edges, 44663 markings/sec, 1895 secs
lola: STP completed || 57 tries, 56673862 fired transitions, 1900 secs || 83246448 markings, 146198949 edges, 44201 markings/sec, 1900 secs
lola: STP completed || 57 tries, 56820289 fired transitions, 1905 secs || 83466709 markings, 146612552 edges, 44052 markings/sec, 1905 secs
lola: STP completed || 57 tries, 56967927 fired transitions, 1910 secs || 83679607 markings, 146982059 edges, 42580 markings/sec, 1910 secs
lola: STP completed || 58 tries, 57113817 fired transitions, 1915 secs || 83897145 markings, 147370484 edges, 43508 markings/sec, 1915 secs
lola: STP completed || 58 tries, 57262077 fired transitions, 1920 secs || 84114486 markings, 147773380 edges, 43468 markings/sec, 1920 secs
lola: STP completed || 58 tries, 57409552 fired transitions, 1925 secs || 84334305 markings, 148182178 edges, 43964 markings/sec, 1925 secs
lola: STP completed || 58 tries, 57556782 fired transitions, 1930 secs || 84554362 markings, 148595757 edges, 44011 markings/sec, 1930 secs
lola: STP completed || 58 tries, 57684123 fired transitions, 1935 secs || 84774689 markings, 149011556 edges, 44065 markings/sec, 1935 secs
lola: STP completed || 58 tries, 57831718 fired transitions, 1940 secs || 84990713 markings, 149414607 edges, 43205 markings/sec, 1940 secs
lola: STP completed || 58 tries, 57979298 fired transitions, 1945 secs || 85208220 markings, 149802391 edges, 43501 markings/sec, 1945 secs
lola: STP completed || 59 tries, 58127444 fired transitions, 1950 secs || 85424998 markings, 150195754 edges, 43356 markings/sec, 1950 secs
lola: STP completed || 59 tries, 58252816 fired transitions, 1955 secs || 85639898 markings, 150586266 edges, 42980 markings/sec, 1955 secs
lola: STP completed || 59 tries, 58398929 fired transitions, 1960 secs || 85858736 markings, 150989818 edges, 43768 markings/sec, 1960 secs
lola: STP completed || 59 tries, 58546613 fired transitions, 1965 secs || 86077352 markings, 151396311 edges, 43723 markings/sec, 1965 secs
lola: STP completed || 59 tries, 58694229 fired transitions, 1970 secs || 86295113 markings, 151791147 edges, 43552 markings/sec, 1970 secs
lola: STP completed || 59 tries, 58842110 fired transitions, 1975 secs || 86509095 markings, 152194322 edges, 42796 markings/sec, 1975 secs
lola: STP completed || 59 tries, 58988471 fired transitions, 1980 secs || 86727103 markings, 152606145 edges, 43602 markings/sec, 1980 secs
lola: STP completed || 60 tries, 59135572 fired transitions, 1985 secs || 86939452 markings, 153008432 edges, 42470 markings/sec, 1985 secs
lola: STP completed || 60 tries, 59282943 fired transitions, 1990 secs || 87156647 markings, 153418861 edges, 43439 markings/sec, 1990 secs
lola: STP completed || 60 tries, 59433192 fired transitions, 1995 secs || 87350028 markings, 153774216 edges, 38676 markings/sec, 1995 secs
lola: STP completed || 60 tries, 59579070 fired transitions, 2000 secs || 87562487 markings, 154167669 edges, 42492 markings/sec, 2000 secs
lola: STP completed || 60 tries, 59728160 fired transitions, 2005 secs || 87777831 markings, 154569606 edges, 43069 markings/sec, 2005 secs
lola: STP completed || 60 tries, 59875917 fired transitions, 2010 secs || 87994707 markings, 154971898 edges, 43375 markings/sec, 2010 secs
lola: STP completed || 61 tries, 60022601 fired transitions, 2015 secs || 88213377 markings, 155380561 edges, 43734 markings/sec, 2015 secs
lola: STP completed || 61 tries, 60170197 fired transitions, 2020 secs || 88429158 markings, 155747087 edges, 43156 markings/sec, 2020 secs
lola: STP completed || 61 tries, 60319387 fired transitions, 2025 secs || 88648286 markings, 156114349 edges, 43826 markings/sec, 2025 secs
lola: STP completed || 61 tries, 60466432 fired transitions, 2030 secs || 88864524 markings, 156505898 edges, 43248 markings/sec, 2030 secs
lola: STP completed || 61 tries, 60613240 fired transitions, 2035 secs || 89081457 markings, 156916894 edges, 43387 markings/sec, 2035 secs
lola: STP completed || 61 tries, 60761476 fired transitions, 2040 secs || 89298090 markings, 157329266 edges, 43327 markings/sec, 2040 secs
lola: STP completed || 61 tries, 60909396 fired transitions, 2045 secs || 89514219 markings, 157727931 edges, 43226 markings/sec, 2045 secs
lola: STP completed || 62 tries, 61057106 fired transitions, 2050 secs || 89731197 markings, 158128612 edges, 43396 markings/sec, 2050 secs
lola: STP completed || 62 tries, 61204460 fired transitions, 2055 secs || 89948404 markings, 158527074 edges, 43441 markings/sec, 2055 secs
lola: STP completed || 62 tries, 61351467 fired transitions, 2060 secs || 90166275 markings, 158942617 edges, 43574 markings/sec, 2060 secs
lola: STP completed || 62 tries, 61497956 fired transitions, 2065 secs || 90379133 markings, 159305466 edges, 42572 markings/sec, 2065 secs
lola: STP completed || 62 tries, 61648149 fired transitions, 2070 secs || 90597590 markings, 159697238 edges, 43691 markings/sec, 2070 secs
lola: STP completed || 62 tries, 61779577 fired transitions, 2075 secs || 90793041 markings, 160047455 edges, 39090 markings/sec, 2075 secs
lola: STP completed || 62 tries, 61928632 fired transitions, 2080 secs || 91011302 markings, 160451921 edges, 43652 markings/sec, 2080 secs
lola: STP completed || 63 tries, 62076013 fired transitions, 2085 secs || 91228022 markings, 160860904 edges, 43344 markings/sec, 2085 secs
lola: STP completed || 63 tries, 62223554 fired transitions, 2090 secs || 91446101 markings, 161257725 edges, 43616 markings/sec, 2090 secs
lola: STP completed || 63 tries, 62370974 fired transitions, 2095 secs || 91665566 markings, 161669904 edges, 43893 markings/sec, 2095 secs
lola: STP completed || 63 tries, 62520007 fired transitions, 2100 secs || 91880348 markings, 162075447 edges, 42956 markings/sec, 2100 secs
lola: STP completed || 63 tries, 62667831 fired transitions, 2105 secs || 92100009 markings, 162488468 edges, 43932 markings/sec, 2105 secs
lola: STP completed || 63 tries, 62815395 fired transitions, 2110 secs || 92318592 markings, 162895992 edges, 43717 markings/sec, 2110 secs
lola: STP completed || 63 tries, 62963280 fired transitions, 2115 secs || 92533439 markings, 163285873 edges, 42969 markings/sec, 2115 secs
lola: STP completed || 64 tries, 63111070 fired transitions, 2120 secs || 92752592 markings, 163691849 edges, 43831 markings/sec, 2120 secs
lola: STP completed || 64 tries, 63257863 fired transitions, 2125 secs || 92971053 markings, 164098834 edges, 43692 markings/sec, 2125 secs
lola: STP completed || 64 tries, 63404657 fired transitions, 2130 secs || 93190046 markings, 164515477 edges, 43799 markings/sec, 2130 secs
lola: STP completed || 64 tries, 63551951 fired transitions, 2135 secs || 93406010 markings, 164920857 edges, 43193 markings/sec, 2135 secs
lola: STP completed || 64 tries, 63699781 fired transitions, 2140 secs || 93624313 markings, 165315195 edges, 43661 markings/sec, 2140 secs
lola: STP completed || 64 tries, 63849005 fired transitions, 2145 secs || 93849783 markings, 165749090 edges, 45094 markings/sec, 2145 secs
lola: STP completed || 64 tries, 63996278 fired transitions, 2150 secs || 94072102 markings, 166172741 edges, 44464 markings/sec, 2150 secs
lola: STP completed || 65 tries, 64142302 fired transitions, 2155 secs || 94292916 markings, 166585359 edges, 44163 markings/sec, 2155 secs
lola: STP completed || 65 tries, 64290031 fired transitions, 2160 secs || 94507803 markings, 166995567 edges, 42977 markings/sec, 2160 secs
lola: STP completed || 65 tries, 64437358 fired transitions, 2165 secs || 94720081 markings, 167372551 edges, 42456 markings/sec, 2165 secs
lola: STP completed || 65 tries, 64584211 fired transitions, 2170 secs || 94933884 markings, 167739135 edges, 42761 markings/sec, 2170 secs
lola: STP completed || 65 tries, 64731175 fired transitions, 2175 secs || 95145840 markings, 168081920 edges, 42391 markings/sec, 2175 secs
lola: STP completed || 65 tries, 64878053 fired transitions, 2180 secs || 95359385 markings, 168431155 edges, 42709 markings/sec, 2180 secs
lola: STP completed || 66 tries, 65024700 fired transitions, 2185 secs || 95576030 markings, 168792379 edges, 43329 markings/sec, 2185 secs
lola: STP completed || 66 tries, 65171918 fired transitions, 2190 secs || 95790423 markings, 169153472 edges, 42879 markings/sec, 2190 secs
lola: STP completed || 66 tries, 65319089 fired transitions, 2195 secs || 96007654 markings, 169553310 edges, 43446 markings/sec, 2195 secs
lola: STP completed || 66 tries, 65466604 fired transitions, 2200 secs || 96223342 markings, 169954680 edges, 43138 markings/sec, 2200 secs
lola: STP completed || 66 tries, 65613552 fired transitions, 2205 secs || 96442714 markings, 170358881 edges, 43874 markings/sec, 2205 secs
lola: STP completed || 66 tries, 65762025 fired transitions, 2210 secs || 96660709 markings, 170760990 edges, 43599 markings/sec, 2210 secs
lola: STP completed || 66 tries, 65887673 fired transitions, 2215 secs || 96874936 markings, 171142667 edges, 42845 markings/sec, 2215 secs
lola: STP completed || 67 tries, 66035247 fired transitions, 2220 secs || 97095291 markings, 171553784 edges, 44071 markings/sec, 2220 secs
lola: STP completed || 67 tries, 66181890 fired transitions, 2225 secs || 97312193 markings, 171929096 edges, 43380 markings/sec, 2225 secs
lola: STP completed || 67 tries, 66328925 fired transitions, 2230 secs || 97529831 markings, 172314908 edges, 43528 markings/sec, 2230 secs
lola: STP completed || 67 tries, 66476367 fired transitions, 2235 secs || 97746377 markings, 172706006 edges, 43309 markings/sec, 2235 secs
lola: STP completed || 67 tries, 66624369 fired transitions, 2240 secs || 97963198 markings, 173106723 edges, 43364 markings/sec, 2240 secs
lola: STP completed || 67 tries, 66771121 fired transitions, 2245 secs || 98179161 markings, 173493736 edges, 43193 markings/sec, 2245 secs
lola: STP completed || 67 tries, 66918247 fired transitions, 2250 secs || 98397972 markings, 173892663 edges, 43762 markings/sec, 2250 secs
lola: STP completed || 68 tries, 67045637 fired transitions, 2255 secs || 98614245 markings, 174306490 edges, 43255 markings/sec, 2255 secs
lola: STP completed || 68 tries, 67192344 fired transitions, 2260 secs || 98833900 markings, 174718919 edges, 43931 markings/sec, 2260 secs
lola: STP completed || 68 tries, 67340557 fired transitions, 2265 secs || 99048425 markings, 175102033 edges, 42905 markings/sec, 2265 secs
lola: STP completed || 68 tries, 67487752 fired transitions, 2270 secs || 99272100 markings, 175534528 edges, 44735 markings/sec, 2270 secs
lola: STP completed || 68 tries, 67635862 fired transitions, 2275 secs || 99467677 markings, 175902831 edges, 39115 markings/sec, 2275 secs
lola: STP completed || 68 tries, 67783367 fired transitions, 2280 secs || 99684037 markings, 176302825 edges, 43272 markings/sec, 2280 secs
lola: STP completed || 68 tries, 67931228 fired transitions, 2285 secs || 99902109 markings, 176714924 edges, 43614 markings/sec, 2285 secs
lola: STP completed || 69 tries, 68078772 fired transitions, 2290 secs || 100117005 markings, 177112849 edges, 42979 markings/sec, 2290 secs
lola: STP completed || 69 tries, 68225602 fired transitions, 2295 secs || 100334233 markings, 177517132 edges, 43446 markings/sec, 2295 secs
lola: STP completed || 69 tries, 68373361 fired transitions, 2300 secs || 100556014 markings, 177938460 edges, 44356 markings/sec, 2300 secs
lola: STP completed || 69 tries, 68520841 fired transitions, 2305 secs || 100774180 markings, 178356812 edges, 43633 markings/sec, 2305 secs
lola: STP completed || 69 tries, 68667478 fired transitions, 2310 secs || 100990616 markings, 178756476 edges, 43287 markings/sec, 2310 secs
lola: STP completed || 69 tries, 68814172 fired transitions, 2315 secs || 101207852 markings, 179158857 edges, 43447 markings/sec, 2315 secs
lola: STP completed || 69 tries, 68961349 fired transitions, 2320 secs || 101423328 markings, 179551536 edges, 43095 markings/sec, 2320 secs
lola: STP completed || 70 tries, 69108314 fired transitions, 2325 secs || 101644366 markings, 179968146 edges, 44208 markings/sec, 2325 secs
lola: STP completed || 70 tries, 69255773 fired transitions, 2330 secs || 101859086 markings, 180354019 edges, 42944 markings/sec, 2330 secs
lola: STP completed || 70 tries, 69403249 fired transitions, 2335 secs || 102076039 markings, 180733718 edges, 43391 markings/sec, 2335 secs
lola: STP completed || 70 tries, 69551905 fired transitions, 2340 secs || 102293030 markings, 181119887 edges, 43398 markings/sec, 2340 secs
lola: STP completed || 70 tries, 69699255 fired transitions, 2345 secs || 102511476 markings, 181505107 edges, 43689 markings/sec, 2345 secs
lola: STP completed || 70 tries, 69847853 fired transitions, 2350 secs || 102729302 markings, 181896369 edges, 43565 markings/sec, 2350 secs
lola: STP completed || 70 tries, 69994397 fired transitions, 2355 secs || 102949768 markings, 182309375 edges, 44093 markings/sec, 2355 secs
lola: STP completed || 71 tries, 70141978 fired transitions, 2360 secs || 103169609 markings, 182714768 edges, 43968 markings/sec, 2360 secs
lola: STP completed || 71 tries, 70289575 fired transitions, 2365 secs || 103387583 markings, 183121913 edges, 43595 markings/sec, 2365 secs
lola: STP completed || 71 tries, 70438017 fired transitions, 2370 secs || 103606452 markings, 183536528 edges, 43774 markings/sec, 2370 secs
lola: STP completed || 71 tries, 70585421 fired transitions, 2375 secs || 103820592 markings, 183930729 edges, 42828 markings/sec, 2375 secs
lola: STP completed || 71 tries, 70733165 fired transitions, 2380 secs || 104038427 markings, 184333943 edges, 43567 markings/sec, 2380 secs
lola: STP completed || 71 tries, 70879282 fired transitions, 2385 secs || 104257465 markings, 184753394 edges, 43808 markings/sec, 2385 secs
lola: STP completed || 72 tries, 71026859 fired transitions, 2390 secs || 104477302 markings, 185155676 edges, 43967 markings/sec, 2390 secs
lola: STP completed || 72 tries, 71174877 fired transitions, 2395 secs || 104699133 markings, 185578592 edges, 44366 markings/sec, 2395 secs
lola: STP completed || 72 tries, 71322071 fired transitions, 2400 secs || 104915930 markings, 185974004 edges, 43359 markings/sec, 2400 secs
lola: STP completed || 72 tries, 71468966 fired transitions, 2405 secs || 105132828 markings, 186382834 edges, 43380 markings/sec, 2405 secs
lola: STP completed || 72 tries, 71616179 fired transitions, 2410 secs || 105347502 markings, 186786360 edges, 42935 markings/sec, 2410 secs
lola: STP completed || 72 tries, 71764414 fired transitions, 2415 secs || 105561352 markings, 187151212 edges, 42770 markings/sec, 2415 secs
lola: STP completed || 72 tries, 71911534 fired transitions, 2420 secs || 105774631 markings, 187510347 edges, 42656 markings/sec, 2420 secs
lola: STP completed || 73 tries, 72058301 fired transitions, 2425 secs || 105993172 markings, 187893563 edges, 43708 markings/sec, 2425 secs
lola: STP completed || 73 tries, 72205577 fired transitions, 2430 secs || 106206956 markings, 188247997 edges, 42757 markings/sec, 2430 secs
lola: STP completed || 73 tries, 72353214 fired transitions, 2435 secs || 106420742 markings, 188625289 edges, 42757 markings/sec, 2435 secs
lola: STP completed || 73 tries, 72502437 fired transitions, 2440 secs || 106637852 markings, 189011489 edges, 43422 markings/sec, 2440 secs
lola: STP completed || 73 tries, 72650237 fired transitions, 2445 secs || 106853103 markings, 189378635 edges, 43050 markings/sec, 2445 secs
lola: STP completed || 73 tries, 72797616 fired transitions, 2450 secs || 107075305 markings, 189778410 edges, 44440 markings/sec, 2450 secs
lola: STP completed || 73 tries, 72922992 fired transitions, 2455 secs || 107293370 markings, 190165775 edges, 43613 markings/sec, 2455 secs
lola: STP completed || 74 tries, 73071505 fired transitions, 2460 secs || 107512460 markings, 190528332 edges, 43818 markings/sec, 2460 secs
lola: STP completed || 74 tries, 73218971 fired transitions, 2465 secs || 107728038 markings, 190888033 edges, 43116 markings/sec, 2465 secs
lola: STP completed || 74 tries, 73366401 fired transitions, 2470 secs || 107944502 markings, 191271363 edges, 43293 markings/sec, 2470 secs
lola: STP completed || 74 tries, 73514224 fired transitions, 2475 secs || 108159541 markings, 191647775 edges, 43008 markings/sec, 2475 secs
lola: STP completed || 74 tries, 73662032 fired transitions, 2480 secs || 108375442 markings, 192036040 edges, 43180 markings/sec, 2480 secs
lola: STP completed || 74 tries, 73809560 fired transitions, 2485 secs || 108594046 markings, 192423665 edges, 43721 markings/sec, 2485 secs
lola: STP completed || 74 tries, 73957288 fired transitions, 2490 secs || 108810445 markings, 192799325 edges, 43280 markings/sec, 2490 secs
lola: STP completed || 75 tries, 74105468 fired transitions, 2495 secs || 109003783 markings, 193158857 edges, 38668 markings/sec, 2495 secs
lola: STP completed || 75 tries, 74252927 fired transitions, 2500 secs || 109218676 markings, 193536864 edges, 42979 markings/sec, 2500 secs
lola: STP completed || 75 tries, 74399699 fired transitions, 2505 secs || 109432567 markings, 193897879 edges, 42778 markings/sec, 2505 secs
lola: STP completed || 75 tries, 74546197 fired transitions, 2510 secs || 109653109 markings, 194299827 edges, 44108 markings/sec, 2510 secs
lola: STP completed || 75 tries, 74693407 fired transitions, 2515 secs || 109871828 markings, 194682348 edges, 43744 markings/sec, 2515 secs
lola: STP completed || 75 tries, 74841131 fired transitions, 2520 secs || 110085267 markings, 195038974 edges, 42688 markings/sec, 2520 secs
lola: STP completed || 75 tries, 74987578 fired transitions, 2525 secs || 110302072 markings, 195413816 edges, 43361 markings/sec, 2525 secs
lola: STP completed || 76 tries, 75135100 fired transitions, 2530 secs || 110520982 markings, 195799759 edges, 43782 markings/sec, 2530 secs
lola: STP completed || 76 tries, 75261775 fired transitions, 2535 secs || 110734837 markings, 196173124 edges, 42771 markings/sec, 2535 secs
lola: STP completed || 76 tries, 75408344 fired transitions, 2540 secs || 110947104 markings, 196541012 edges, 42453 markings/sec, 2540 secs
lola: STP completed || 76 tries, 75556257 fired transitions, 2545 secs || 111162639 markings, 196920763 edges, 43107 markings/sec, 2545 secs
lola: STP completed || 76 tries, 75704285 fired transitions, 2550 secs || 111379820 markings, 197302026 edges, 43436 markings/sec, 2550 secs
lola: STP completed || 76 tries, 75852548 fired transitions, 2555 secs || 111596635 markings, 197685903 edges, 43363 markings/sec, 2555 secs
lola: STP completed || 76 tries, 75998734 fired transitions, 2560 secs || 111810775 markings, 198061249 edges, 42828 markings/sec, 2560 secs
lola: STP completed || 77 tries, 76147818 fired transitions, 2565 secs || 112029373 markings, 198460803 edges, 43720 markings/sec, 2565 secs
lola: STP completed || 77 tries, 76299007 fired transitions, 2570 secs || 112251134 markings, 198881664 edges, 44352 markings/sec, 2570 secs
lola: STP completed || 77 tries, 76424519 fired transitions, 2575 secs || 112469298 markings, 199293500 edges, 43633 markings/sec, 2575 secs
lola: STP completed || 77 tries, 76573692 fired transitions, 2580 secs || 112687981 markings, 199704325 edges, 43737 markings/sec, 2580 secs
lola: STP completed || 77 tries, 76723294 fired transitions, 2585 secs || 112912559 markings, 200140509 edges, 44916 markings/sec, 2585 secs
lola: STP completed || 77 tries, 76871267 fired transitions, 2590 secs || 113128810 markings, 200548187 edges, 43250 markings/sec, 2590 secs
lola: STP completed || 78 tries, 77019466 fired transitions, 2595 secs || 113319196 markings, 200910815 edges, 38077 markings/sec, 2595 secs
lola: STP completed || 78 tries, 77166829 fired transitions, 2600 secs || 113533179 markings, 201286585 edges, 42797 markings/sec, 2600 secs
lola: STP completed || 78 tries, 77314427 fired transitions, 2605 secs || 113749239 markings, 201694540 edges, 43212 markings/sec, 2605 secs
lola: STP completed || 78 tries, 77461816 fired transitions, 2610 secs || 113969801 markings, 202116459 edges, 44112 markings/sec, 2610 secs
lola: STP completed || 78 tries, 77610863 fired transitions, 2615 secs || 114188288 markings, 202514644 edges, 43697 markings/sec, 2615 secs
lola: STP completed || 78 tries, 77761612 fired transitions, 2620 secs || 114410099 markings, 202931461 edges, 44362 markings/sec, 2620 secs
lola: STP completed || 78 tries, 77910787 fired transitions, 2625 secs || 114627117 markings, 203322510 edges, 43404 markings/sec, 2625 secs
lola: STP completed || 79 tries, 78058010 fired transitions, 2630 secs || 114847436 markings, 203741343 edges, 44064 markings/sec, 2630 secs
lola: STP completed || 79 tries, 78205575 fired transitions, 2635 secs || 115064423 markings, 204122468 edges, 43397 markings/sec, 2635 secs
lola: STP completed || 79 tries, 78353952 fired transitions, 2640 secs || 115281389 markings, 204524690 edges, 43393 markings/sec, 2640 secs
lola: STP completed || 79 tries, 78500567 fired transitions, 2645 secs || 115497993 markings, 204926456 edges, 43321 markings/sec, 2645 secs
lola: STP completed || 79 tries, 78648683 fired transitions, 2650 secs || 115717020 markings, 205343093 edges, 43805 markings/sec, 2650 secs
lola: STP completed || 79 tries, 78796889 fired transitions, 2655 secs || 115935755 markings, 205754079 edges, 43747 markings/sec, 2655 secs
lola: STP completed || 79 tries, 78945130 fired transitions, 2660 secs || 116151201 markings, 206159735 edges, 43089 markings/sec, 2660 secs
lola: STP completed || 80 tries, 79092980 fired transitions, 2665 secs || 116369976 markings, 206562504 edges, 43755 markings/sec, 2665 secs
lola: STP completed || 80 tries, 79240719 fired transitions, 2670 secs || 116590620 markings, 206982791 edges, 44129 markings/sec, 2670 secs
lola: STP completed || 80 tries, 79388461 fired transitions, 2675 secs || 116808588 markings, 207398401 edges, 43594 markings/sec, 2675 secs
lola: STP completed || 80 tries, 79534291 fired transitions, 2680 secs || 117025748 markings, 207816043 edges, 43432 markings/sec, 2680 secs
lola: STP completed || 80 tries, 79681632 fired transitions, 2685 secs || 117242206 markings, 208218385 edges, 43292 markings/sec, 2685 secs
lola: STP completed || 80 tries, 79828959 fired transitions, 2690 secs || 117458041 markings, 208624149 edges, 43167 markings/sec, 2690 secs
lola: STP completed || 80 tries, 79976470 fired transitions, 2695 secs || 117676006 markings, 209038611 edges, 43593 markings/sec, 2695 secs
lola: STP completed || 81 tries, 80123932 fired transitions, 2700 secs || 117891864 markings, 209415180 edges, 43172 markings/sec, 2700 secs
lola: STP completed || 81 tries, 80271191 fired transitions, 2705 secs || 118108728 markings, 209796919 edges, 43373 markings/sec, 2705 secs
lola: STP completed || 81 tries, 80418834 fired transitions, 2710 secs || 118321783 markings, 210173695 edges, 42611 markings/sec, 2710 secs
lola: STP completed || 81 tries, 80565437 fired transitions, 2715 secs || 118540706 markings, 210589751 edges, 43785 markings/sec, 2715 secs
lola: STP completed || 81 tries, 80712634 fired transitions, 2720 secs || 118758598 markings, 210987124 edges, 43578 markings/sec, 2720 secs
lola: STP completed || 81 tries, 80859661 fired transitions, 2725 secs || 118978378 markings, 211384468 edges, 43956 markings/sec, 2725 secs
lola: STP completed || 82 tries, 81007141 fired transitions, 2730 secs || 119196670 markings, 211781582 edges, 43658 markings/sec, 2730 secs
lola: STP completed || 82 tries, 81155665 fired transitions, 2735 secs || 119416072 markings, 212191985 edges, 43880 markings/sec, 2735 secs
lola: STP completed || 82 tries, 81302916 fired transitions, 2740 secs || 119637066 markings, 212607845 edges, 44199 markings/sec, 2740 secs
lola: STP completed || 82 tries, 81449737 fired transitions, 2745 secs || 119855824 markings, 213023671 edges, 43752 markings/sec, 2745 secs
lola: STP completed || 82 tries, 81596970 fired transitions, 2750 secs || 120073699 markings, 213433535 edges, 43575 markings/sec, 2750 secs
lola: STP completed || 82 tries, 81744689 fired transitions, 2755 secs || 120291406 markings, 213843870 edges, 43541 markings/sec, 2755 secs
lola: STP completed || 82 tries, 81893655 fired transitions, 2760 secs || 120510639 markings, 214259515 edges, 43847 markings/sec, 2760 secs
lola: STP completed || 83 tries, 82042735 fired transitions, 2765 secs || 120726155 markings, 214620654 edges, 43103 markings/sec, 2765 secs
lola: STP completed || 83 tries, 82190760 fired transitions, 2770 secs || 120946608 markings, 215047530 edges, 44091 markings/sec, 2770 secs
lola: STP completed || 83 tries, 82338211 fired transitions, 2775 secs || 121162377 markings, 215441743 edges, 43154 markings/sec, 2775 secs
lola: STP completed || 83 tries, 82484910 fired transitions, 2780 secs || 121376879 markings, 215825894 edges, 42900 markings/sec, 2780 secs
lola: STP completed || 83 tries, 82632970 fired transitions, 2785 secs || 121594850 markings, 216237116 edges, 43594 markings/sec, 2785 secs
lola: STP completed || 83 tries, 82781604 fired transitions, 2790 secs || 121809419 markings, 216650145 edges, 42914 markings/sec, 2790 secs
lola: STP completed || 83 tries, 82928932 fired transitions, 2795 secs || 122025601 markings, 217060250 edges, 43236 markings/sec, 2795 secs
lola: STP completed || 84 tries, 83075265 fired transitions, 2800 secs || 122239130 markings, 217447955 edges, 42706 markings/sec, 2800 secs
lola: STP completed || 84 tries, 83221366 fired transitions, 2805 secs || 122450627 markings, 217827388 edges, 42299 markings/sec, 2805 secs
lola: STP completed || 84 tries, 83354009 fired transitions, 2810 secs || 122642027 markings, 218189176 edges, 38280 markings/sec, 2810 secs
Killed
FORMULA FlexibleBarrier-PT-12a-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 1496490003493

--------------------
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="FlexibleBarrier-PT-12a"
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/FlexibleBarrier-PT-12a.tgz
mv FlexibleBarrier-PT-12a 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 FlexibleBarrier-PT-12a, 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 r188-blw3-149581034200080"
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 ;