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)
..................
/home/mcc/execution
total 264K
-rw-r--r-- 1 mcc users 3.6K May 15 18:54 CTLCardinality.txt
-rw-r--r-- 1 mcc users 21K May 15 18:54 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K May 15 18:54 CTLFireability.txt
-rw-r--r-- 1 mcc users 14K May 15 18:54 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K May 15 18:50 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.1K May 15 18:50 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 2.5K May 15 18:54 LTLCardinality.txt
-rw-r--r-- 1 mcc users 11K May 15 18:54 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.9K May 15 18:54 LTLFireability.txt
-rw-r--r-- 1 mcc users 9.0K May 15 18:54 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.7K May 15 18:54 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 19K May 15 18:54 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 113 May 15 18:54 ReachabilityDeadlock.txt
-rw-r--r-- 1 mcc users 351 May 15 18:54 ReachabilityDeadlock.xml
-rw-r--r-- 1 mcc users 2.9K May 15 18:54 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 18K May 15 18:54 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K May 15 18:54 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K May 15 18:54 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 15 18:50 equiv_col
-rw-r--r-- 1 mcc users 4 May 15 18:50 instance
-rw-r--r-- 1 mcc users 6 May 15 18:50 iscolored
-rw-r--r-- 1 mcc users 94K May 15 18:50 model.pnml
=====================================================================
Generated by BenchKit 2-3637
Executing tool lola
Input is FlexibleBarrier-PT-10a, examination is ReachabilityDeadlock
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r088-blw7-152649998100146
=====================================================================

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

=== Now, execution of the tool begins

BK_START 1526651210976

info: Time: 3600 - MCC
===========================================================================================
prep: translating FlexibleBarrier-PT-10a Petri net model.pnml into LoLA format
===========================================================================================
prep: translating PT Petri net complete
prep: net is already safe
prep: check for too many tokens
===========================================================================================
prep: translating FlexibleBarrier-PT-10a formula ReachabilityDeadlock into LoLA format
===========================================================================================
prep: translating PT formula complete
vrfy: Checking ReachabilityDeadlock @ FlexibleBarrier-PT-10a @ 3569 seconds
lola: LoLA will run for 3569 seconds at most (--timelimit)
lola: NET
lola: reading net from model.pnml.lola
lola: finished parsing
lola: closed net file model.pnml.lola
lola: 457/65536 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 123
lola: finding significant places
lola: 123 places, 334 transitions, 111 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 274 transition conflict sets
lola: TASK
lola: reading formula from FlexibleBarrier-PT-10a-ReachabilityDeadlock.task
lola: E (F (DEADLOCK))
lola: rewrite Frontend/Parser/formula_rewrite.k:106
lola: checking reachability of deadlocks
lola: Planning: workflow for deadlock check: siphon||findpath||search) (--findpath=par,--siphontrap=par)
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using deadlock preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: SEARCH (findpath)
lola: findpath: using deadlock preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: findpath: starting randomized, memory-less exploration (--search=findpath)
lola: findpath: searching for paths with maximal depth 1000000 (--depthlimit)
lola: findpath: no retry limit given (--retrylimit)
lola: findpath: transitions are chosen randomly
lola: computing symmetries (--symmetry)
lola: time limit for symmetry computation of 300 seconds given (--symmtimelimit)
lola: computed 36 generators (18 in search tree, 18 by composition)
lola: representing 362880 symmetries
lola: 0 dead branches visited in search tree
lola: STP: formula with 5697 variables and 24280 clauses shipped to Minisat
lola: stp: The siphon/trap property does not hold
lola: STP completed || 1 tries, 248326 fired transitions, 0 secs || 306929 markings, 497912 edges, 61386 markings/sec, 0 secs
lola: STP completed || 1 tries, 497056 fired transitions, 5 secs || 612957 markings, 1004773 edges, 61206 markings/sec, 5 secs
lola: STP completed || 1 tries, 755703 fired transitions, 10 secs || 932057 markings, 1553391 edges, 63820 markings/sec, 10 secs
lola: STP completed || 2 tries, 1016846 fired transitions, 15 secs || 1215968 markings, 2033252 edges, 56782 markings/sec, 15 secs
lola: STP completed || 2 tries, 1275912 fired transitions, 20 secs || 1519959 markings, 2559544 edges, 60798 markings/sec, 20 secs
lola: STP completed || 2 tries, 1534737 fired transitions, 25 secs || 1833927 markings, 3103605 edges, 62794 markings/sec, 25 secs
lola: STP completed || 2 tries, 1794300 fired transitions, 30 secs || 2153634 markings, 3666083 edges, 63941 markings/sec, 30 secs
lola: STP completed || 3 tries, 2054268 fired transitions, 35 secs || 2471578 markings, 4229406 edges, 63589 markings/sec, 35 secs
lola: STP completed || 3 tries, 2313651 fired transitions, 40 secs || 2784272 markings, 4763819 edges, 62539 markings/sec, 40 secs
lola: STP completed || 3 tries, 2574906 fired transitions, 45 secs || 3102999 markings, 5339424 edges, 63745 markings/sec, 45 secs
lola: STP completed || 3 tries, 2840397 fired transitions, 50 secs || 3368468 markings, 5825107 edges, 53094 markings/sec, 50 secs
lola: STP completed || 4 tries, 3099336 fired transitions, 55 secs || 3682034 markings, 6367937 edges, 62713 markings/sec, 55 secs
lola: STP completed || 4 tries, 3358709 fired transitions, 60 secs || 3999921 markings, 6938707 edges, 63577 markings/sec, 60 secs
lola: STP completed || 4 tries, 3624527 fired transitions, 65 secs || 4260067 markings, 7413756 edges, 52029 markings/sec, 65 secs
lola: STP completed || 4 tries, 3883921 fired transitions, 70 secs || 4573701 markings, 7957725 edges, 62727 markings/sec, 70 secs
lola: STP completed || 5 tries, 4144000 fired transitions, 75 secs || 4892326 markings, 8533904 edges, 63725 markings/sec, 75 secs
lola: STP completed || 5 tries, 4403473 fired transitions, 80 secs || 5207260 markings, 9093159 edges, 62987 markings/sec, 80 secs
lola: STP completed || 5 tries, 4664431 fired transitions, 85 secs || 5524317 markings, 9659035 edges, 63411 markings/sec, 85 secs
lola: STP completed || 5 tries, 4924820 fired transitions, 90 secs || 5840954 markings, 10231667 edges, 63327 markings/sec, 90 secs
lola: STP completed || 6 tries, 5183699 fired transitions, 95 secs || 6151826 markings, 10776205 edges, 62174 markings/sec, 95 secs
lola: STP completed || 6 tries, 5445488 fired transitions, 100 secs || 6463097 markings, 11308491 edges, 62254 markings/sec, 100 secs
lola: STP completed || 6 tries, 5707511 fired transitions, 105 secs || 6777204 markings, 11857621 edges, 62821 markings/sec, 105 secs
lola: STP completed || 6 tries, 5971437 fired transitions, 110 secs || 7089276 markings, 12421856 edges, 62414 markings/sec, 110 secs
lola: STP completed || 7 tries, 6236723 fired transitions, 115 secs || 7397797 markings, 12974325 edges, 61704 markings/sec, 115 secs
lola: STP completed || 7 tries, 6501607 fired transitions, 120 secs || 7710807 markings, 13548067 edges, 62602 markings/sec, 120 secs
lola: STP completed || 7 tries, 6766562 fired transitions, 125 secs || 8018377 markings, 14104142 edges, 61514 markings/sec, 125 secs
lola: STP completed || 8 tries, 7036049 fired transitions, 130 secs || 8277097 markings, 14583504 edges, 51744 markings/sec, 130 secs
lola: STP completed || 8 tries, 7300967 fired transitions, 135 secs || 8589169 markings, 15155741 edges, 62414 markings/sec, 135 secs
lola: STP completed || 8 tries, 7565579 fired transitions, 140 secs || 8898201 markings, 15724118 edges, 61806 markings/sec, 140 secs
lola: STP completed || 8 tries, 7831625 fired transitions, 145 secs || 9209905 markings, 16306141 edges, 62341 markings/sec, 145 secs
lola: STP completed || 9 tries, 8098007 fired transitions, 150 secs || 9523816 markings, 16892922 edges, 62782 markings/sec, 150 secs
lola: STP completed || 9 tries, 8367260 fired transitions, 155 secs || 9823267 markings, 17440932 edges, 59890 markings/sec, 155 secs
lola: STP completed || 9 tries, 8633428 fired transitions, 160 secs || 10138215 markings, 18033667 edges, 62990 markings/sec, 160 secs
lola: STP completed || 9 tries, 8899546 fired transitions, 165 secs || 10449106 markings, 18614129 edges, 62178 markings/sec, 165 secs
lola: STP completed || 10 tries, 9165093 fired transitions, 170 secs || 10758237 markings, 19181124 edges, 61826 markings/sec, 170 secs
lola: STP completed || 10 tries, 9429271 fired transitions, 175 secs || 11065587 markings, 19740411 edges, 61470 markings/sec, 175 secs
lola: STP completed || 10 tries, 9695349 fired transitions, 180 secs || 11376856 markings, 20323061 edges, 62254 markings/sec, 180 secs
lola: STP completed || 10 tries, 9961801 fired transitions, 185 secs || 11687358 markings, 20903951 edges, 62100 markings/sec, 185 secs
lola: STP completed || 11 tries, 10223507 fired transitions, 190 secs || 11997931 markings, 21456967 edges, 62115 markings/sec, 190 secs
lola: STP completed || 11 tries, 10485854 fired transitions, 195 secs || 12310661 markings, 22004694 edges, 62546 markings/sec, 195 secs
lola: STP completed || 11 tries, 10751449 fired transitions, 200 secs || 12623943 markings, 22586598 edges, 62656 markings/sec, 200 secs
lola: STP completed || 12 tries, 11018049 fired transitions, 205 secs || 12935914 markings, 23149833 edges, 62394 markings/sec, 205 secs
lola: STP completed || 12 tries, 11281486 fired transitions, 210 secs || 13250165 markings, 23712931 edges, 62850 markings/sec, 210 secs
lola: STP completed || 12 tries, 11544973 fired transitions, 215 secs || 13560279 markings, 24264918 edges, 62023 markings/sec, 215 secs
lola: STP completed || 12 tries, 11811755 fired transitions, 220 secs || 13873679 markings, 24852430 edges, 62680 markings/sec, 220 secs
lola: STP completed || 13 tries, 12077751 fired transitions, 225 secs || 14186181 markings, 25442654 edges, 62500 markings/sec, 225 secs
lola: STP completed || 13 tries, 12341341 fired transitions, 230 secs || 14492165 markings, 25977229 edges, 61197 markings/sec, 230 secs
lola: STP completed || 13 tries, 12604982 fired transitions, 235 secs || 14799375 markings, 26514612 edges, 61442 markings/sec, 235 secs
lola: STP completed || 13 tries, 12869735 fired transitions, 240 secs || 15111948 markings, 27104540 edges, 62515 markings/sec, 240 secs
lola: STP completed || 14 tries, 13133313 fired transitions, 245 secs || 15424754 markings, 27700919 edges, 62561 markings/sec, 245 secs
lola: STP completed || 14 tries, 13398513 fired transitions, 250 secs || 15736964 markings, 28290201 edges, 62442 markings/sec, 250 secs
lola: STP completed || 14 tries, 13664649 fired transitions, 255 secs || 16047962 markings, 28880158 edges, 62200 markings/sec, 255 secs
lola: STP completed || 14 tries, 13931255 fired transitions, 260 secs || 16363250 markings, 29480613 edges, 63058 markings/sec, 260 secs
lola: STP completed || 15 tries, 14202185 fired transitions, 265 secs || 16678109 markings, 30068123 edges, 62972 markings/sec, 265 secs
lola: STP completed || 15 tries, 14475401 fired transitions, 270 secs || 17023109 markings, 30703908 edges, 69000 markings/sec, 270 secs
lola: STP completed || 15 tries, 14754390 fired transitions, 275 secs || 17336369 markings, 31296471 edges, 62652 markings/sec, 275 secs
lola: STP completed || 16 tries, 15012458 fired transitions, 280 secs || 17653855 markings, 31884827 edges, 63497 markings/sec, 280 secs
lola: STP completed || 16 tries, 15274832 fired transitions, 285 secs || 17967942 markings, 32463675 edges, 62817 markings/sec, 285 secs
lola: STP completed || 16 tries, 15540437 fired transitions, 290 secs || 18276394 markings, 33032293 edges, 61690 markings/sec, 290 secs
lola: STP completed || 16 tries, 15806397 fired transitions, 295 secs || 18572960 markings, 33595556 edges, 59313 markings/sec, 295 secs
lola: STP completed || 17 tries, 16066118 fired transitions, 300 secs || 18887089 markings, 34172425 edges, 62826 markings/sec, 300 secs
lola: STP completed || 17 tries, 16328512 fired transitions, 305 secs || 19197704 markings, 34755533 edges, 62123 markings/sec, 305 secs
lola: STP completed || 17 tries, 16594614 fired transitions, 310 secs || 19507781 markings, 35321934 edges, 62015 markings/sec, 310 secs
lola: STP completed || 17 tries, 16857809 fired transitions, 315 secs || 19811219 markings, 35838142 edges, 60688 markings/sec, 315 secs
lola: STP completed || 18 tries, 17123873 fired transitions, 320 secs || 20119180 markings, 36409451 edges, 61592 markings/sec, 320 secs
lola: STP completed || 18 tries, 17390391 fired transitions, 325 secs || 20429180 markings, 36992319 edges, 62000 markings/sec, 325 secs
lola: STP completed || 18 tries, 17656966 fired transitions, 330 secs || 20743846 markings, 37597319 edges, 62933 markings/sec, 330 secs
lola: STP completed || 18 tries, 17926470 fired transitions, 335 secs || 21023966 markings, 38138837 edges, 56024 markings/sec, 335 secs
lola: STP completed || 19 tries, 18195068 fired transitions, 340 secs || 21311185 markings, 38691187 edges, 57444 markings/sec, 340 secs
lola: STP completed || 19 tries, 18461902 fired transitions, 345 secs || 21619799 markings, 39273248 edges, 61723 markings/sec, 345 secs
lola: STP completed || 19 tries, 18729447 fired transitions, 350 secs || 21930500 markings, 39864327 edges, 62140 markings/sec, 350 secs
lola: STP completed || 19 tries, 18995903 fired transitions, 355 secs || 22244189 markings, 40460037 edges, 62738 markings/sec, 355 secs
lola: STP completed || 20 tries, 19262216 fired transitions, 360 secs || 22555982 markings, 41053172 edges, 62359 markings/sec, 360 secs
lola: STP completed || 20 tries, 19532037 fired transitions, 365 secs || 22869359 markings, 41657767 edges, 62675 markings/sec, 365 secs
lola: STP completed || 20 tries, 19805725 fired transitions, 370 secs || 23130377 markings, 42167428 edges, 52204 markings/sec, 370 secs
lola: STP completed || 21 tries, 20074786 fired transitions, 375 secs || 23445731 markings, 42784814 edges, 63071 markings/sec, 375 secs
lola: STP completed || 21 tries, 20343128 fired transitions, 380 secs || 23762275 markings, 43400285 edges, 63309 markings/sec, 380 secs
lola: STP completed || 21 tries, 20614501 fired transitions, 385 secs || 24020179 markings, 43885555 edges, 51581 markings/sec, 385 secs
lola: STP completed || 21 tries, 20881425 fired transitions, 390 secs || 24334655 markings, 44500295 edges, 62895 markings/sec, 390 secs
lola: STP completed || 22 tries, 21130776 fired transitions, 395 secs || 24655469 markings, 45118239 edges, 64163 markings/sec, 395 secs
lola: STP completed || 22 tries, 21397678 fired transitions, 400 secs || 24971316 markings, 45724457 edges, 63169 markings/sec, 400 secs
lola: STP completed || 22 tries, 21664533 fired transitions, 405 secs || 25283681 markings, 46329750 edges, 62473 markings/sec, 405 secs
lola: STP completed || 22 tries, 21931541 fired transitions, 410 secs || 25595285 markings, 46940170 edges, 62321 markings/sec, 410 secs
lola: STP completed || 23 tries, 22203060 fired transitions, 415 secs || 25878304 markings, 47498826 edges, 56604 markings/sec, 415 secs
lola: STP completed || 23 tries, 22471850 fired transitions, 420 secs || 26165825 markings, 48063496 edges, 57504 markings/sec, 420 secs
lola: STP completed || 23 tries, 22740145 fired transitions, 425 secs || 26477821 markings, 48676631 edges, 62399 markings/sec, 425 secs
lola: STP completed || 24 tries, 23006424 fired transitions, 430 secs || 26789325 markings, 49265256 edges, 62301 markings/sec, 430 secs
lola: STP completed || 24 tries, 23274786 fired transitions, 435 secs || 27105703 markings, 49882367 edges, 63276 markings/sec, 435 secs
lola: STP completed || 24 tries, 23541762 fired transitions, 440 secs || 27420402 markings, 50487406 edges, 62940 markings/sec, 440 secs
lola: STP completed || 24 tries, 23810066 fired transitions, 445 secs || 27729361 markings, 51088536 edges, 61792 markings/sec, 445 secs
lola: STP completed || 25 tries, 24081822 fired transitions, 450 secs || 27992330 markings, 51600662 edges, 52594 markings/sec, 450 secs
lola: STP completed || 25 tries, 24347224 fired transitions, 455 secs || 28306408 markings, 52181620 edges, 62816 markings/sec, 455 secs
lola: STP completed || 25 tries, 24612757 fired transitions, 460 secs || 28619473 markings, 52770625 edges, 62613 markings/sec, 460 secs
lola: STP completed || 25 tries, 24884934 fired transitions, 465 secs || 28877514 markings, 53278128 edges, 51608 markings/sec, 465 secs
lola: STP completed || 26 tries, 25153528 fired transitions, 470 secs || 29193668 markings, 53880149 edges, 63231 markings/sec, 470 secs
lola: STP completed || 26 tries, 25421770 fired transitions, 475 secs || 29507831 markings, 54497771 edges, 62833 markings/sec, 475 secs
lola: STP completed || 26 tries, 25701134 fired transitions, 480 secs || 29820392 markings, 55105936 edges, 62512 markings/sec, 480 secs
lola: STP completed || 26 tries, 25969173 fired transitions, 485 secs || 30130173 markings, 55703347 edges, 61956 markings/sec, 485 secs
lola: STP completed || 27 tries, 26236451 fired transitions, 490 secs || 30445587 markings, 56316524 edges, 63083 markings/sec, 490 secs
lola: STP completed || 27 tries, 26504665 fired transitions, 495 secs || 30761177 markings, 56938532 edges, 63118 markings/sec, 495 secs
lola: STP completed || 27 tries, 26770359 fired transitions, 500 secs || 31072098 markings, 57533993 edges, 62184 markings/sec, 500 secs
lola: STP completed || 28 tries, 27036228 fired transitions, 505 secs || 31378843 markings, 58090224 edges, 61349 markings/sec, 505 secs
lola: STP completed || 28 tries, 27286797 fired transitions, 510 secs || 31679452 markings, 58630465 edges, 60122 markings/sec, 510 secs
lola: STP completed || 28 tries, 27553927 fired transitions, 515 secs || 31991581 markings, 59232767 edges, 62426 markings/sec, 515 secs
lola: STP completed || 28 tries, 27823299 fired transitions, 520 secs || 32294543 markings, 59827751 edges, 60592 markings/sec, 520 secs
lola: STP completed || 29 tries, 28091485 fired transitions, 525 secs || 32603831 markings, 60415374 edges, 61858 markings/sec, 525 secs
lola: STP completed || 29 tries, 28359152 fired transitions, 530 secs || 32916305 markings, 61031424 edges, 62495 markings/sec, 530 secs
lola: STP completed || 29 tries, 28626323 fired transitions, 535 secs || 33229131 markings, 61628736 edges, 62565 markings/sec, 535 secs
lola: STP completed || 29 tries, 28893008 fired transitions, 540 secs || 33544038 markings, 62233708 edges, 62981 markings/sec, 540 secs
lola: STP completed || 30 tries, 29157858 fired transitions, 545 secs || 33853538 markings, 62818674 edges, 61900 markings/sec, 545 secs
lola: STP completed || 30 tries, 29426397 fired transitions, 550 secs || 34165397 markings, 63415316 edges, 62372 markings/sec, 550 secs
lola: STP completed || 30 tries, 29692913 fired transitions, 555 secs || 34472469 markings, 63974740 edges, 61414 markings/sec, 555 secs
lola: STP completed || 30 tries, 29960608 fired transitions, 560 secs || 34780800 markings, 64559788 edges, 61666 markings/sec, 560 secs
lola: STP completed || 31 tries, 30229232 fired transitions, 565 secs || 35094579 markings, 65184267 edges, 62756 markings/sec, 565 secs
lola: STP completed || 31 tries, 30498234 fired transitions, 570 secs || 35405685 markings, 65795017 edges, 62221 markings/sec, 570 secs
lola: STP completed || 31 tries, 30767579 fired transitions, 575 secs || 35720654 markings, 66414263 edges, 62994 markings/sec, 575 secs
lola: STP completed || 32 tries, 31033657 fired transitions, 580 secs || 36030044 markings, 66988592 edges, 61878 markings/sec, 580 secs
lola: STP completed || 32 tries, 31301238 fired transitions, 585 secs || 36339604 markings, 67592234 edges, 61912 markings/sec, 585 secs
lola: STP completed || 32 tries, 31569361 fired transitions, 590 secs || 36651917 markings, 68210173 edges, 62463 markings/sec, 590 secs
lola: STP completed || 32 tries, 31838536 fired transitions, 595 secs || 36965898 markings, 68828874 edges, 62796 markings/sec, 595 secs
lola: STP completed || 33 tries, 32107192 fired transitions, 600 secs || 37279828 markings, 69450185 edges, 62786 markings/sec, 600 secs
lola: STP completed || 33 tries, 32375512 fired transitions, 605 secs || 37592651 markings, 70050030 edges, 62565 markings/sec, 605 secs
lola: STP completed || 33 tries, 32640014 fired transitions, 610 secs || 37905348 markings, 70656458 edges, 62539 markings/sec, 610 secs
lola: STP completed || 33 tries, 32910309 fired transitions, 615 secs || 38220315 markings, 71287514 edges, 62993 markings/sec, 615 secs
lola: STP completed || 34 tries, 33195353 fired transitions, 620 secs || 38569423 markings, 71947654 edges, 69822 markings/sec, 620 secs
lola: STP completed || 34 tries, 33445897 fired transitions, 625 secs || 38948259 markings, 72695497 edges, 75767 markings/sec, 625 secs
lola: STP completed || 34 tries, 33756849 fired transitions, 630 secs || 39326079 markings, 73440259 edges, 75564 markings/sec, 630 secs
lola: STP completed || 35 tries, 34067080 fired transitions, 635 secs || 39703587 markings, 74157288 edges, 75502 markings/sec, 635 secs
lola: STP completed || 35 tries, 34377986 fired transitions, 640 secs || 40082951 markings, 74870690 edges, 75873 markings/sec, 640 secs
lola: STP completed || 35 tries, 34688664 fired transitions, 645 secs || 40463311 markings, 75603428 edges, 76072 markings/sec, 645 secs
lola: STP completed || 35 tries, 34998510 fired transitions, 650 secs || 40842833 markings, 76321700 edges, 75904 markings/sec, 650 secs
lola: STP completed || 36 tries, 35308862 fired transitions, 655 secs || 41221803 markings, 77074985 edges, 75794 markings/sec, 655 secs
lola: STP completed || 36 tries, 35618349 fired transitions, 660 secs || 41599194 markings, 77798962 edges, 75478 markings/sec, 660 secs
lola: STP completed || 36 tries, 35929141 fired transitions, 665 secs || 41974973 markings, 78499962 edges, 75156 markings/sec, 665 secs
lola: STP completed || 37 tries, 36239545 fired transitions, 670 secs || 42352737 markings, 79213840 edges, 75553 markings/sec, 670 secs
lola: STP completed || 37 tries, 36548661 fired transitions, 675 secs || 42734314 markings, 79959546 edges, 76315 markings/sec, 675 secs
lola: STP completed || 37 tries, 36858258 fired transitions, 680 secs || 43113465 markings, 80709232 edges, 75830 markings/sec, 680 secs
lola: STP completed || 38 tries, 37164460 fired transitions, 685 secs || 43487272 markings, 81447825 edges, 74761 markings/sec, 685 secs
lola: STP completed || 38 tries, 37413936 fired transitions, 690 secs || 43866800 markings, 82195131 edges, 75906 markings/sec, 690 secs
lola: STP completed || 38 tries, 37723939 fired transitions, 695 secs || 44244001 markings, 82897636 edges, 75440 markings/sec, 695 secs
lola: STP completed || 39 tries, 38035933 fired transitions, 700 secs || 44620625 markings, 83626760 edges, 75325 markings/sec, 700 secs
lola: STP completed || 39 tries, 38346750 fired transitions, 705 secs || 44996302 markings, 84371239 edges, 75135 markings/sec, 705 secs
lola: STP completed || 39 tries, 38658684 fired transitions, 710 secs || 45373750 markings, 85127618 edges, 75490 markings/sec, 710 secs
lola: STP completed || 39 tries, 38969609 fired transitions, 715 secs || 45754371 markings, 85861443 edges, 76124 markings/sec, 715 secs
lola: STP completed || 40 tries, 39279660 fired transitions, 720 secs || 46130927 markings, 86608176 edges, 75311 markings/sec, 720 secs
lola: STP completed || 40 tries, 39588925 fired transitions, 725 secs || 46504632 markings, 87349110 edges, 74741 markings/sec, 725 secs
lola: STP completed || 40 tries, 39899176 fired transitions, 730 secs || 46881884 markings, 88076695 edges, 75450 markings/sec, 730 secs
lola: STP completed || 41 tries, 40209144 fired transitions, 735 secs || 47256544 markings, 88820472 edges, 74932 markings/sec, 735 secs
lola: STP completed || 41 tries, 40519450 fired transitions, 740 secs || 47635016 markings, 89562492 edges, 75694 markings/sec, 740 secs
lola: STP completed || 41 tries, 40795037 fired transitions, 745 secs || 47973803 markings, 90236423 edges, 67757 markings/sec, 745 secs
lola: STP completed || 42 tries, 41054331 fired transitions, 750 secs || 48289522 markings, 90879586 edges, 63144 markings/sec, 750 secs
lola: STP completed || 42 tries, 41324111 fired transitions, 755 secs || 48602494 markings, 91509915 edges, 62594 markings/sec, 755 secs
lola: STP completed || 42 tries, 41592874 fired transitions, 760 secs || 48910296 markings, 92118249 edges, 61560 markings/sec, 760 secs
lola: STP completed || 42 tries, 41862757 fired transitions, 765 secs || 49209757 markings, 92690588 edges, 59892 markings/sec, 765 secs
lola: STP completed || 43 tries, 42131511 fired transitions, 770 secs || 49521545 markings, 93306481 edges, 62358 markings/sec, 770 secs
lola: STP completed || 43 tries, 42401864 fired transitions, 775 secs || 49835490 markings, 93933513 edges, 62789 markings/sec, 775 secs
lola: STP completed || 43 tries, 42670455 fired transitions, 780 secs || 50142024 markings, 94543638 edges, 61307 markings/sec, 780 secs
lola: STP completed || 43 tries, 42939124 fired transitions, 785 secs || 50450583 markings, 95131943 edges, 61712 markings/sec, 785 secs
lola: STP completed || 44 tries, 43208572 fired transitions, 790 secs || 50761462 markings, 95741847 edges, 62176 markings/sec, 790 secs
lola: STP completed || 44 tries, 43477032 fired transitions, 795 secs || 51072466 markings, 96362916 edges, 62201 markings/sec, 795 secs
lola: STP completed || 44 tries, 43744452 fired transitions, 800 secs || 51381581 markings, 96961341 edges, 61823 markings/sec, 800 secs
lola: STP completed || 45 tries, 44013522 fired transitions, 805 secs || 51693392 markings, 97559333 edges, 62362 markings/sec, 805 secs
lola: STP completed || 45 tries, 44281330 fired transitions, 810 secs || 52004642 markings, 98166760 edges, 62250 markings/sec, 810 secs
lola: STP completed || 45 tries, 44548559 fired transitions, 815 secs || 52314034 markings, 98767918 edges, 61878 markings/sec, 815 secs
lola: STP completed || 45 tries, 44818782 fired transitions, 820 secs || 52629143 markings, 99409025 edges, 63022 markings/sec, 820 secs
lola: STP completed || 46 tries, 45087537 fired transitions, 825 secs || 52939032 markings, 100017441 edges, 61978 markings/sec, 825 secs
lola: STP completed || 46 tries, 45356116 fired transitions, 830 secs || 53249540 markings, 100625264 edges, 62102 markings/sec, 830 secs
lola: STP completed || 46 tries, 45624445 fired transitions, 835 secs || 53562597 markings, 101237857 edges, 62611 markings/sec, 835 secs
lola: STP completed || 46 tries, 45891990 fired transitions, 840 secs || 53871718 markings, 101843572 edges, 61824 markings/sec, 840 secs
lola: STP completed || 47 tries, 46161292 fired transitions, 845 secs || 54184980 markings, 102479524 edges, 62652 markings/sec, 845 secs
lola: STP completed || 47 tries, 46430492 fired transitions, 850 secs || 54497501 markings, 103088595 edges, 62504 markings/sec, 850 secs
lola: STP completed || 47 tries, 46700016 fired transitions, 855 secs || 54811983 markings, 103723935 edges, 62896 markings/sec, 855 secs
lola: STP completed || 47 tries, 46967732 fired transitions, 860 secs || 55122132 markings, 104339068 edges, 62030 markings/sec, 860 secs
lola: STP completed || 48 tries, 47237574 fired transitions, 865 secs || 55434358 markings, 104969955 edges, 62445 markings/sec, 865 secs
lola: STP completed || 48 tries, 47506291 fired transitions, 870 secs || 55744306 markings, 105579491 edges, 61990 markings/sec, 870 secs
lola: STP completed || 48 tries, 47774585 fired transitions, 875 secs || 56055191 markings, 106205651 edges, 62177 markings/sec, 875 secs
lola: STP completed || 49 tries, 48044515 fired transitions, 880 secs || 56366974 markings, 106825563 edges, 62357 markings/sec, 880 secs
lola: STP completed || 49 tries, 48313230 fired transitions, 885 secs || 56680230 markings, 107437021 edges, 62651 markings/sec, 885 secs
lola: STP completed || 49 tries, 48572241 fired transitions, 890 secs || 56991993 markings, 108059141 edges, 62353 markings/sec, 890 secs
lola: STP completed || 49 tries, 48842316 fired transitions, 895 secs || 57306475 markings, 108683986 edges, 62896 markings/sec, 895 secs
lola: STP completed || 50 tries, 49112202 fired transitions, 900 secs || 57618713 markings, 109291961 edges, 62448 markings/sec, 900 secs
lola: STP completed || 50 tries, 49381436 fired transitions, 905 secs || 57930676 markings, 109909311 edges, 62393 markings/sec, 905 secs
lola: STP completed || 50 tries, 49647811 fired transitions, 910 secs || 58246537 markings, 110527513 edges, 63172 markings/sec, 910 secs
lola: STP completed || 50 tries, 49912718 fired transitions, 915 secs || 58562178 markings, 111148792 edges, 63128 markings/sec, 915 secs
lola: STP completed || 51 tries, 50179463 fired transitions, 920 secs || 58872400 markings, 111771224 edges, 62044 markings/sec, 920 secs
lola: STP completed || 51 tries, 50445815 fired transitions, 925 secs || 59186723 markings, 112382664 edges, 62865 markings/sec, 925 secs
lola: STP completed || 51 tries, 50710964 fired transitions, 930 secs || 59498846 markings, 112980443 edges, 62425 markings/sec, 930 secs
lola: STP completed || 51 tries, 50999403 fired transitions, 935 secs || 59864787 markings, 113694789 edges, 73188 markings/sec, 935 secs
lola: STP completed || 52 tries, 51262376 fired transitions, 940 secs || 60179934 markings, 114330547 edges, 63029 markings/sec, 940 secs
lola: STP completed || 52 tries, 51525417 fired transitions, 945 secs || 60499885 markings, 114976869 edges, 63990 markings/sec, 945 secs
lola: STP completed || 52 tries, 51784958 fired transitions, 950 secs || 60830954 markings, 115618805 edges, 66214 markings/sec, 950 secs
lola: STP completed || 53 tries, 52049461 fired transitions, 955 secs || 61145976 markings, 116246913 edges, 63004 markings/sec, 955 secs
lola: STP completed || 53 tries, 52309103 fired transitions, 960 secs || 61477478 markings, 116919807 edges, 66300 markings/sec, 960 secs
lola: STP completed || 53 tries, 52560317 fired transitions, 965 secs || 61811804 markings, 117578528 edges, 66865 markings/sec, 965 secs
lola: STP completed || 53 tries, 52838499 fired transitions, 970 secs || 62169212 markings, 118297615 edges, 71482 markings/sec, 970 secs
lola: STP completed || 54 tries, 53102652 fired transitions, 975 secs || 62479776 markings, 118913137 edges, 62113 markings/sec, 975 secs
lola: STP completed || 54 tries, 53367274 fired transitions, 980 secs || 62787963 markings, 119532156 edges, 61637 markings/sec, 980 secs
lola: STP completed || 54 tries, 53632552 fired transitions, 985 secs || 63094658 markings, 120146751 edges, 61339 markings/sec, 985 secs
lola: STP completed || 54 tries, 53896905 fired transitions, 990 secs || 63400534 markings, 120760765 edges, 61175 markings/sec, 990 secs
lola: STP completed || 55 tries, 54162327 fired transitions, 995 secs || 63708884 markings, 121386478 edges, 61670 markings/sec, 995 secs
lola: STP completed || 55 tries, 54426830 fired transitions, 1000 secs || 64016501 markings, 122004487 edges, 61523 markings/sec, 1000 secs
lola: STP completed || 55 tries, 54693738 fired transitions, 1005 secs || 64329518 markings, 122638586 edges, 62603 markings/sec, 1005 secs
lola: STP completed || 55 tries, 54958314 fired transitions, 1010 secs || 64635631 markings, 123234500 edges, 61223 markings/sec, 1010 secs
lola: STP completed || 56 tries, 55223473 fired transitions, 1015 secs || 64945204 markings, 123846529 edges, 61915 markings/sec, 1015 secs
lola: STP completed || 56 tries, 55485709 fired transitions, 1020 secs || 65255345 markings, 124460370 edges, 62028 markings/sec, 1020 secs
lola: STP completed || 56 tries, 55747377 fired transitions, 1025 secs || 65565573 markings, 125080710 edges, 62046 markings/sec, 1025 secs
lola: STP completed || 57 tries, 56009210 fired transitions, 1030 secs || 65878608 markings, 125704296 edges, 62607 markings/sec, 1030 secs
lola: STP completed || 57 tries, 56272562 fired transitions, 1035 secs || 66184755 markings, 126304701 edges, 61229 markings/sec, 1035 secs
lola: STP completed || 57 tries, 56575438 fired transitions, 1040 secs || 66530090 markings, 126991206 edges, 69067 markings/sec, 1040 secs
lola: STP completed || 57 tries, 56886565 fired transitions, 1045 secs || 66901331 markings, 127751066 edges, 74248 markings/sec, 1045 secs
lola: STP completed || 58 tries, 57160940 fired transitions, 1050 secs || 67229605 markings, 128423648 edges, 65655 markings/sec, 1050 secs
lola: STP completed || 58 tries, 57434385 fired transitions, 1055 secs || 67552047 markings, 129075048 edges, 64488 markings/sec, 1055 secs
lola: STP completed || 58 tries, 57696835 fired transitions, 1060 secs || 67867228 markings, 129702385 edges, 63036 markings/sec, 1060 secs
lola: STP completed || 58 tries, 57961085 fired transitions, 1065 secs || 68184003 markings, 130349475 edges, 63355 markings/sec, 1065 secs
lola: STP completed || 59 tries, 58223100 fired transitions, 1070 secs || 68497376 markings, 130962331 edges, 62675 markings/sec, 1070 secs
lola: STP completed || 59 tries, 58496873 fired transitions, 1075 secs || 68814036 markings, 131597008 edges, 63332 markings/sec, 1075 secs
lola: STP completed || 59 tries, 58787683 fired transitions, 1080 secs || 69148655 markings, 132263899 edges, 66924 markings/sec, 1080 secs
lola: STP completed || 60 tries, 59078984 fired transitions, 1085 secs || 69489571 markings, 132938343 edges, 68183 markings/sec, 1085 secs
lola: STP completed || 60 tries, 59349344 fired transitions, 1090 secs || 69738980 markings, 133454340 edges, 49882 markings/sec, 1090 secs
lola: STP completed || 60 tries, 59615242 fired transitions, 1095 secs || 70041445 markings, 134073004 edges, 60493 markings/sec, 1095 secs
lola: STP completed || 60 tries, 59881723 fired transitions, 1100 secs || 70349877 markings, 134696159 edges, 61686 markings/sec, 1100 secs
lola: STP completed || 61 tries, 60170827 fired transitions, 1105 secs || 70710006 markings, 135428471 edges, 72026 markings/sec, 1105 secs
lola: STP completed || 61 tries, 60450871 fired transitions, 1110 secs || 71060446 markings, 136138273 edges, 70088 markings/sec, 1110 secs
lola: STP completed || 61 tries, 60765732 fired transitions, 1115 secs || 71432879 markings, 136887908 edges, 74487 markings/sec, 1115 secs
lola: STP completed || 62 tries, 61081461 fired transitions, 1120 secs || 71813972 markings, 137638095 edges, 76219 markings/sec, 1120 secs
lola: STP completed || 62 tries, 61355060 fired transitions, 1125 secs || 72150799 markings, 138320648 edges, 67365 markings/sec, 1125 secs
lola: STP completed || 62 tries, 61623888 fired transitions, 1130 secs || 72466664 markings, 138958754 edges, 63173 markings/sec, 1130 secs
lola: STP completed || 62 tries, 61891941 fired transitions, 1135 secs || 72778433 markings, 139567994 edges, 62354 markings/sec, 1135 secs
lola: STP completed || 63 tries, 62161194 fired transitions, 1140 secs || 73094656 markings, 140202351 edges, 63245 markings/sec, 1140 secs
lola: STP completed || 63 tries, 62429116 fired transitions, 1145 secs || 73408059 markings, 140847281 edges, 62681 markings/sec, 1145 secs
lola: STP completed || 63 tries, 62711577 fired transitions, 1150 secs || 73757451 markings, 141547400 edges, 69878 markings/sec, 1150 secs
lola: STP completed || 64 tries, 63024545 fired transitions, 1155 secs || 74131710 markings, 142313867 edges, 74852 markings/sec, 1155 secs
lola: STP completed || 64 tries, 63340723 fired transitions, 1160 secs || 74509062 markings, 143082963 edges, 75470 markings/sec, 1160 secs
lola: STP completed || 64 tries, 63655775 fired transitions, 1165 secs || 74878314 markings, 143812350 edges, 73850 markings/sec, 1165 secs
lola: STP completed || 64 tries, 63974057 fired transitions, 1170 secs || 75177639 markings, 144415301 edges, 59865 markings/sec, 1170 secs
lola: STP completed || 65 tries, 64289265 fired transitions, 1175 secs || 75546729 markings, 145163286 edges, 73818 markings/sec, 1175 secs
lola: STP completed || 65 tries, 64604266 fired transitions, 1180 secs || 75924131 markings, 145919001 edges, 75480 markings/sec, 1180 secs
lola: STP completed || 65 tries, 64885662 fired transitions, 1185 secs || 76235864 markings, 146545728 edges, 62347 markings/sec, 1185 secs
lola: STP completed || 66 tries, 65155713 fired transitions, 1190 secs || 76551986 markings, 147185649 edges, 63224 markings/sec, 1190 secs
lola: STP completed || 66 tries, 65420935 fired transitions, 1195 secs || 76870287 markings, 147825532 edges, 63660 markings/sec, 1195 secs
lola: STP completed || 66 tries, 65729670 fired transitions, 1200 secs || 77248045 markings, 148579544 edges, 75552 markings/sec, 1200 secs
lola: STP completed || 67 tries, 66043356 fired transitions, 1205 secs || 77614773 markings, 149306413 edges, 73346 markings/sec, 1205 secs
lola: STP completed || 67 tries, 66357386 fired transitions, 1210 secs || 77991930 markings, 150058759 edges, 75431 markings/sec, 1210 secs
lola: STP completed || 67 tries, 66670197 fired transitions, 1215 secs || 78370774 markings, 150803151 edges, 75769 markings/sec, 1215 secs
lola: STP completed || 67 tries, 66985744 fired transitions, 1220 secs || 78752144 markings, 151562233 edges, 76274 markings/sec, 1220 secs
lola: STP completed || 68 tries, 67301818 fired transitions, 1225 secs || 79132978 markings, 152322976 edges, 76167 markings/sec, 1225 secs
lola: STP completed || 68 tries, 67616403 fired transitions, 1230 secs || 79515243 markings, 153092933 edges, 76453 markings/sec, 1230 secs
lola: STP completed || 68 tries, 67931348 fired transitions, 1235 secs || 79892504 markings, 153865474 edges, 75452 markings/sec, 1235 secs
lola: STP completed || 69 tries, 68240689 fired transitions, 1240 secs || 80253568 markings, 154597511 edges, 72213 markings/sec, 1240 secs
lola: STP completed || 69 tries, 68524081 fired transitions, 1245 secs || 80559901 markings, 155203666 edges, 61267 markings/sec, 1245 secs
lola: STP completed || 69 tries, 68813122 fired transitions, 1250 secs || 80917382 markings, 155908415 edges, 71496 markings/sec, 1250 secs
lola: STP completed || 70 tries, 69128593 fired transitions, 1255 secs || 81295963 markings, 156679712 edges, 75716 markings/sec, 1255 secs
lola: STP completed || 70 tries, 69443531 fired transitions, 1260 secs || 81673249 markings, 157442000 edges, 75457 markings/sec, 1260 secs
lola: STP completed || 70 tries, 69758297 fired transitions, 1265 secs || 82053708 markings, 158196328 edges, 76092 markings/sec, 1265 secs
lola: STP completed || 71 tries, 70071789 fired transitions, 1270 secs || 82434933 markings, 158965276 edges, 76245 markings/sec, 1270 secs
lola: STP completed || 71 tries, 70386352 fired transitions, 1275 secs || 82811066 markings, 159739923 edges, 75227 markings/sec, 1275 secs
lola: STP completed || 71 tries, 70672439 fired transitions, 1280 secs || 83114713 markings, 160333155 edges, 60729 markings/sec, 1280 secs
lola: STP completed || 71 tries, 70985127 fired transitions, 1285 secs || 83482223 markings, 161079547 edges, 73502 markings/sec, 1285 secs
lola: STP completed || 72 tries, 71299185 fired transitions, 1290 secs || 83862283 markings, 161835377 edges, 76012 markings/sec, 1290 secs
lola: STP completed || 72 tries, 71607915 fired transitions, 1295 secs || 84243652 markings, 162604275 edges, 76274 markings/sec, 1295 secs
lola: STP completed || 72 tries, 71922527 fired transitions, 1300 secs || 84623996 markings, 163386730 edges, 76069 markings/sec, 1300 secs
lola: STP completed || 73 tries, 72239649 fired transitions, 1305 secs || 85006170 markings, 164160358 edges, 76435 markings/sec, 1305 secs
lola: STP completed || 73 tries, 72556081 fired transitions, 1310 secs || 85362750 markings, 164891950 edges, 71316 markings/sec, 1310 secs
lola: STP completed || 73 tries, 72872413 fired transitions, 1315 secs || 85692763 markings, 165563868 edges, 66003 markings/sec, 1315 secs
lola: STP completed || 74 tries, 73187717 fired transitions, 1320 secs || 86074074 markings, 166330969 edges, 76262 markings/sec, 1320 secs
lola: STP completed || 74 tries, 73500492 fired transitions, 1325 secs || 86442628 markings, 167087008 edges, 73711 markings/sec, 1325 secs
lola: STP completed || 74 tries, 73816410 fired transitions, 1330 secs || 86812389 markings, 167833903 edges, 73952 markings/sec, 1330 secs
lola: STP completed || 75 tries, 74103737 fired transitions, 1335 secs || 87169196 markings, 168566293 edges, 71361 markings/sec, 1335 secs
lola: STP completed || 75 tries, 74372499 fired transitions, 1340 secs || 87488695 markings, 169213597 edges, 63900 markings/sec, 1340 secs
lola: STP completed || 75 tries, 74642682 fired transitions, 1345 secs || 87808271 markings, 169869730 edges, 63915 markings/sec, 1345 secs
lola: STP completed || 75 tries, 74911634 fired transitions, 1350 secs || 88122799 markings, 170492757 edges, 62906 markings/sec, 1350 secs
lola: STP completed || 76 tries, 75181119 fired transitions, 1355 secs || 88438199 markings, 171130095 edges, 63080 markings/sec, 1355 secs
lola: STP completed || 76 tries, 75452050 fired transitions, 1360 secs || 88756927 markings, 171785420 edges, 63746 markings/sec, 1360 secs
lola: STP completed || 76 tries, 75722879 fired transitions, 1365 secs || 89075499 markings, 172435068 edges, 63714 markings/sec, 1365 secs
lola: STP completed || 76 tries, 75991391 fired transitions, 1370 secs || 89390256 markings, 173070757 edges, 62951 markings/sec, 1370 secs
lola: STP completed || 77 tries, 76243111 fired transitions, 1375 secs || 89678290 markings, 173660171 edges, 57607 markings/sec, 1375 secs
lola: STP completed || 77 tries, 76509178 fired transitions, 1380 secs || 89994983 markings, 174294861 edges, 63339 markings/sec, 1380 secs
lola: STP completed || 77 tries, 76768413 fired transitions, 1385 secs || 90318874 markings, 174958098 edges, 64778 markings/sec, 1385 secs
lola: STP completed || 78 tries, 77039786 fired transitions, 1390 secs || 90618697 markings, 175569163 edges, 59965 markings/sec, 1390 secs
lola: STP completed || 78 tries, 77312758 fired transitions, 1395 secs || 90895125 markings, 176144931 edges, 55286 markings/sec, 1395 secs
lola: STP completed || 78 tries, 77583371 fired transitions, 1400 secs || 91213430 markings, 176793587 edges, 63661 markings/sec, 1400 secs
lola: STP completed || 78 tries, 77853183 fired transitions, 1405 secs || 91532325 markings, 177448907 edges, 63779 markings/sec, 1405 secs
lola: STP completed || 79 tries, 78120683 fired transitions, 1410 secs || 91850440 markings, 178104648 edges, 63623 markings/sec, 1410 secs
lola: STP completed || 79 tries, 78389665 fired transitions, 1415 secs || 92164243 markings, 178733674 edges, 62761 markings/sec, 1415 secs
lola: STP completed || 79 tries, 78659974 fired transitions, 1420 secs || 92483990 markings, 179387198 edges, 63949 markings/sec, 1420 secs
lola: STP completed || 79 tries, 78926729 fired transitions, 1425 secs || 92803699 markings, 180043393 edges, 63942 markings/sec, 1425 secs
lola: STP completed || 80 tries, 79229489 fired transitions, 1430 secs || 93181169 markings, 180821054 edges, 75494 markings/sec, 1430 secs
lola: STP completed || 80 tries, 79495297 fired transitions, 1435 secs || 93511041 markings, 181476512 edges, 65974 markings/sec, 1435 secs
lola: STP completed || 80 tries, 79766064 fired transitions, 1440 secs || 93827661 markings, 182117120 edges, 63324 markings/sec, 1440 secs
lola: STP completed || 81 tries, 80034176 fired transitions, 1445 secs || 94141047 markings, 182741768 edges, 62677 markings/sec, 1445 secs
lola: STP completed || 81 tries, 80303085 fired transitions, 1450 secs || 94457258 markings, 183389539 edges, 63242 markings/sec, 1450 secs
lola: STP completed || 81 tries, 80572762 fired transitions, 1455 secs || 94773706 markings, 184036080 edges, 63290 markings/sec, 1455 secs
lola: STP completed || 81 tries, 80842267 fired transitions, 1460 secs || 95089096 markings, 184668415 edges, 63078 markings/sec, 1460 secs
lola: STP completed || 82 tries, 81112027 fired transitions, 1465 secs || 95405268 markings, 185319401 edges, 63234 markings/sec, 1465 secs
lola: STP completed || 82 tries, 81382880 fired transitions, 1470 secs || 95709891 markings, 185946205 edges, 60925 markings/sec, 1470 secs
lola: STP completed || 82 tries, 81652598 fired transitions, 1475 secs || 96027848 markings, 186594254 edges, 63591 markings/sec, 1475 secs
lola: STP completed || 82 tries, 81923677 fired transitions, 1480 secs || 96347489 markings, 187249916 edges, 63928 markings/sec, 1480 secs
lola: STP completed || 83 tries, 82193143 fired transitions, 1485 secs || 96665419 markings, 187900567 edges, 63586 markings/sec, 1485 secs
lola: STP completed || 83 tries, 82464230 fired transitions, 1490 secs || 96983325 markings, 188561840 edges, 63581 markings/sec, 1490 secs
lola: STP completed || 83 tries, 82735187 fired transitions, 1495 secs || 97300023 markings, 189202156 edges, 63340 markings/sec, 1495 secs
lola: STP completed || 84 tries, 83005445 fired transitions, 1500 secs || 97618388 markings, 189846229 edges, 63673 markings/sec, 1500 secs
lola: STP completed || 84 tries, 83275326 fired transitions, 1505 secs || 97933642 markings, 190491396 edges, 63051 markings/sec, 1505 secs
lola: STP completed || 84 tries, 83545321 fired transitions, 1510 secs || 98246295 markings, 191122818 edges, 62531 markings/sec, 1510 secs
lola: STP completed || 84 tries, 83816240 fired transitions, 1515 secs || 98565262 markings, 191783047 edges, 63793 markings/sec, 1515 secs
lola: STP completed || 85 tries, 84085985 fired transitions, 1520 secs || 98883857 markings, 192426370 edges, 63719 markings/sec, 1520 secs
lola: STP completed || 85 tries, 84351523 fired transitions, 1525 secs || 99199895 markings, 193079458 edges, 63208 markings/sec, 1525 secs
lola: STP completed || 85 tries, 84615184 fired transitions, 1530 secs || 99517073 markings, 193721753 edges, 63436 markings/sec, 1530 secs
lola: STP completed || 85 tries, 84884750 fired transitions, 1535 secs || 99834672 markings, 194379894 edges, 63520 markings/sec, 1535 secs
lola: STP completed || 86 tries, 85155535 fired transitions, 1540 secs || 100153202 markings, 195031189 edges, 63706 markings/sec, 1540 secs
lola: STP completed || 86 tries, 85407460 fired transitions, 1545 secs || 100484103 markings, 195693851 edges, 66180 markings/sec, 1545 secs
lola: STP completed || 86 tries, 85652231 fired transitions, 1550 secs || 100793258 markings, 196317439 edges, 61831 markings/sec, 1550 secs
lola: STP completed || 86 tries, 85923667 fired transitions, 1555 secs || 101090455 markings, 196919087 edges, 59439 markings/sec, 1555 secs
lola: STP completed || 87 tries, 86191437 fired transitions, 1560 secs || 101400431 markings, 197545983 edges, 61995 markings/sec, 1560 secs
lola: STP completed || 87 tries, 86460007 fired transitions, 1565 secs || 101689049 markings, 198150346 edges, 57724 markings/sec, 1565 secs
lola: STP completed || 87 tries, 86729657 fired transitions, 1570 secs || 102009652 markings, 198806704 edges, 64121 markings/sec, 1570 secs
lola: STP completed || 87 tries, 86999360 fired transitions, 1575 secs || 102328902 markings, 199478107 edges, 63850 markings/sec, 1575 secs
lola: STP completed || 88 tries, 87269851 fired transitions, 1580 secs || 102647552 markings, 200135228 edges, 63730 markings/sec, 1580 secs
lola: STP completed || 88 tries, 87539166 fired transitions, 1585 secs || 102965276 markings, 200780677 edges, 63545 markings/sec, 1585 secs
lola: STP completed || 88 tries, 87807399 fired transitions, 1590 secs || 103278779 markings, 201405205 edges, 62701 markings/sec, 1590 secs
lola: STP completed || 89 tries, 88075714 fired transitions, 1595 secs || 103596158 markings, 202048289 edges, 63476 markings/sec, 1595 secs
lola: STP completed || 89 tries, 88346389 fired transitions, 1600 secs || 103905132 markings, 202689413 edges, 61795 markings/sec, 1600 secs
lola: STP completed || 89 tries, 88617968 fired transitions, 1605 secs || 104205102 markings, 203292117 edges, 59994 markings/sec, 1605 secs
lola: STP completed || 89 tries, 88881790 fired transitions, 1610 secs || 104522772 markings, 203933872 edges, 63534 markings/sec, 1610 secs
lola: STP completed || 90 tries, 89135592 fired transitions, 1615 secs || 104843911 markings, 204588069 edges, 64228 markings/sec, 1615 secs
lola: STP completed || 90 tries, 89404171 fired transitions, 1620 secs || 105158843 markings, 205238009 edges, 62986 markings/sec, 1620 secs
lola: STP completed || 90 tries, 89673223 fired transitions, 1625 secs || 105472480 markings, 205864435 edges, 62727 markings/sec, 1625 secs
lola: STP completed || 90 tries, 89942380 fired transitions, 1630 secs || 105787070 markings, 206500485 edges, 62918 markings/sec, 1630 secs
lola: STP completed || 91 tries, 90213489 fired transitions, 1635 secs || 106102572 markings, 207154915 edges, 63100 markings/sec, 1635 secs
lola: STP completed || 91 tries, 90483759 fired transitions, 1640 secs || 106422534 markings, 207824539 edges, 63992 markings/sec, 1640 secs
lola: STP completed || 91 tries, 90739785 fired transitions, 1645 secs || 106736077 markings, 208462949 edges, 62709 markings/sec, 1645 secs
lola: STP completed || 92 tries, 91010050 fired transitions, 1650 secs || 107025187 markings, 209052831 edges, 57822 markings/sec, 1650 secs
lola: STP completed || 92 tries, 91267846 fired transitions, 1655 secs || 107345758 markings, 209711673 edges, 64114 markings/sec, 1655 secs
lola: STP completed || 92 tries, 91534954 fired transitions, 1660 secs || 107663361 markings, 210356129 edges, 63521 markings/sec, 1660 secs
lola: STP completed || 92 tries, 91798505 fired transitions, 1665 secs || 107986777 markings, 211015012 edges, 64683 markings/sec, 1665 secs
lola: STP completed || 93 tries, 92068808 fired transitions, 1670 secs || 108306520 markings, 211665380 edges, 63949 markings/sec, 1670 secs
lola: STP completed || 93 tries, 92329981 fired transitions, 1675 secs || 108619174 markings, 212299355 edges, 62531 markings/sec, 1675 secs
lola: STP completed || 93 tries, 92586077 fired transitions, 1680 secs || 108940833 markings, 212973584 edges, 64332 markings/sec, 1680 secs
lola: STP completed || 93 tries, 92848307 fired transitions, 1685 secs || 109256727 markings, 213619749 edges, 63179 markings/sec, 1685 secs
lola: STP completed || 94 tries, 93116319 fired transitions, 1690 secs || 109560168 markings, 214242286 edges, 60688 markings/sec, 1690 secs
lola: STP completed || 94 tries, 93386091 fired transitions, 1695 secs || 109877725 markings, 214894787 edges, 63511 markings/sec, 1695 secs
lola: STP completed || 94 tries, 93654708 fired transitions, 1700 secs || 110194086 markings, 215556159 edges, 63272 markings/sec, 1700 secs
lola: STP completed || 94 tries, 93924308 fired transitions, 1705 secs || 110513260 markings, 216223834 edges, 63835 markings/sec, 1705 secs
lola: STP completed || 95 tries, 94180432 fired transitions, 1710 secs || 110826615 markings, 216860934 edges, 62671 markings/sec, 1710 secs
lola: STP completed || 95 tries, 94443197 fired transitions, 1715 secs || 111130086 markings, 217485215 edges, 60694 markings/sec, 1715 secs
lola: STP completed || 95 tries, 94717806 fired transitions, 1720 secs || 111430513 markings, 218107543 edges, 60085 markings/sec, 1720 secs
lola: STP completed || 96 tries, 95001876 fired transitions, 1725 secs || 111720078 markings, 218706606 edges, 57913 markings/sec, 1725 secs
lola: STP completed || 96 tries, 95271967 fired transitions, 1730 secs || 112036969 markings, 219365488 edges, 63378 markings/sec, 1730 secs
lola: STP completed || 96 tries, 95541952 fired transitions, 1735 secs || 112352690 markings, 220017967 edges, 63144 markings/sec, 1735 secs
lola: STP completed || 96 tries, 95812802 fired transitions, 1740 secs || 112670105 markings, 220673026 edges, 63483 markings/sec, 1740 secs
lola: STP completed || 97 tries, 96082762 fired transitions, 1745 secs || 112988317 markings, 221335187 edges, 63642 markings/sec, 1745 secs
lola: STP completed || 97 tries, 96353206 fired transitions, 1750 secs || 113311025 markings, 222007608 edges, 64542 markings/sec, 1750 secs
lola: STP completed || 97 tries, 96621990 fired transitions, 1755 secs || 113626441 markings, 222657352 edges, 63083 markings/sec, 1755 secs
lola: STP completed || 97 tries, 96895127 fired transitions, 1760 secs || 113933614 markings, 223292456 edges, 61435 markings/sec, 1760 secs
lola: STP completed || 98 tries, 97165291 fired transitions, 1765 secs || 114252200 markings, 223950964 edges, 63717 markings/sec, 1765 secs
lola: STP completed || 98 tries, 97434193 fired transitions, 1770 secs || 114570801 markings, 224607478 edges, 63720 markings/sec, 1770 secs
lola: STP completed || 98 tries, 97704779 fired transitions, 1775 secs || 114886872 markings, 225261258 edges, 63214 markings/sec, 1775 secs
lola: STP completed || 98 tries, 97974613 fired transitions, 1780 secs || 115206344 markings, 225918368 edges, 63894 markings/sec, 1780 secs
lola: STP completed || 99 tries, 98230674 fired transitions, 1785 secs || 115519600 markings, 226563072 edges, 62651 markings/sec, 1785 secs
lola: STP completed || 99 tries, 98499186 fired transitions, 1790 secs || 115836234 markings, 227215606 edges, 63327 markings/sec, 1790 secs
lola: STP completed || 99 tries, 98747451 fired transitions, 1795 secs || 116155945 markings, 227860386 edges, 63942 markings/sec, 1795 secs
lola: STP completed || 100 tries, 99006866 fired transitions, 1800 secs || 116462296 markings, 228485872 edges, 61270 markings/sec, 1800 secs
lola: STP completed || 100 tries, 99257748 fired transitions, 1805 secs || 116772567 markings, 229136656 edges, 62054 markings/sec, 1805 secs
lola: STP completed || 100 tries, 99526915 fired transitions, 1810 secs || 117076826 markings, 229765896 edges, 60852 markings/sec, 1810 secs
lola: STP completed || 100 tries, 99774027 fired transitions, 1815 secs || 117399134 markings, 230441570 edges, 64462 markings/sec, 1815 secs
lola: STP completed || 101 tries, 100037918 fired transitions, 1820 secs || 117715206 markings, 231077375 edges, 63214 markings/sec, 1820 secs
lola: STP completed || 101 tries, 100299275 fired transitions, 1825 secs || 118026398 markings, 231713386 edges, 62238 markings/sec, 1825 secs
lola: STP completed || 101 tries, 100571050 fired transitions, 1830 secs || 118343914 markings, 232371158 edges, 63503 markings/sec, 1830 secs
lola: STP completed || 101 tries, 100843009 fired transitions, 1835 secs || 118664177 markings, 233034887 edges, 64053 markings/sec, 1835 secs
lola: STP completed || 102 tries, 101114385 fired transitions, 1840 secs || 118979004 markings, 233694438 edges, 62965 markings/sec, 1840 secs
lola: STP completed || 102 tries, 101361385 fired transitions, 1845 secs || 119301226 markings, 234366747 edges, 64444 markings/sec, 1845 secs
lola: STP completed || 102 tries, 101626832 fired transitions, 1850 secs || 119612256 markings, 235017510 edges, 62206 markings/sec, 1850 secs
lola: STP completed || 102 tries, 101898225 fired transitions, 1855 secs || 119934010 markings, 235680726 edges, 64351 markings/sec, 1855 secs
lola: STP completed || 103 tries, 102168829 fired transitions, 1860 secs || 120252254 markings, 236352859 edges, 63649 markings/sec, 1860 secs
lola: STP completed || 103 tries, 102439058 fired transitions, 1865 secs || 120565408 markings, 237005216 edges, 62631 markings/sec, 1865 secs
lola: STP completed || 103 tries, 102709206 fired transitions, 1870 secs || 120882420 markings, 237657614 edges, 63402 markings/sec, 1870 secs
lola: STP completed || 103 tries, 102980897 fired transitions, 1875 secs || 121202111 markings, 238326201 edges, 63938 markings/sec, 1875 secs
lola: STP completed || 104 tries, 103251073 fired transitions, 1880 secs || 121520365 markings, 238987623 edges, 63651 markings/sec, 1880 secs
lola: STP completed || 104 tries, 103523118 fired transitions, 1885 secs || 121834871 markings, 239652462 edges, 62901 markings/sec, 1885 secs
lola: STP completed || 104 tries, 103795834 fired transitions, 1890 secs || 122130315 markings, 240261666 edges, 59089 markings/sec, 1890 secs
lola: STP completed || 105 tries, 104066505 fired transitions, 1895 secs || 122447183 markings, 240910855 edges, 63374 markings/sec, 1895 secs
lola: STP completed || 105 tries, 104337407 fired transitions, 1900 secs || 122767167 markings, 241574330 edges, 63997 markings/sec, 1900 secs
lola: STP completed || 105 tries, 104609445 fired transitions, 1905 secs || 123082248 markings, 242232249 edges, 63016 markings/sec, 1905 secs
lola: STP completed || 105 tries, 104880453 fired transitions, 1910 secs || 123399623 markings, 242888593 edges, 63475 markings/sec, 1910 secs
lola: STP completed || 106 tries, 105151537 fired transitions, 1915 secs || 123715572 markings, 243540531 edges, 63190 markings/sec, 1915 secs
lola: STP completed || 106 tries, 105423030 fired transitions, 1920 secs || 124033781 markings, 244203252 edges, 63642 markings/sec, 1920 secs
lola: STP completed || 106 tries, 105692775 fired transitions, 1925 secs || 124349019 markings, 244837147 edges, 63048 markings/sec, 1925 secs
lola: STP completed || 106 tries, 105963518 fired transitions, 1930 secs || 124668030 markings, 245490923 edges, 63802 markings/sec, 1930 secs
lola: STP completed || 107 tries, 106234090 fired transitions, 1935 secs || 124984643 markings, 246146923 edges, 63323 markings/sec, 1935 secs
lola: STP completed || 107 tries, 106505468 fired transitions, 1940 secs || 125304189 markings, 246805558 edges, 63909 markings/sec, 1940 secs
lola: STP completed || 107 tries, 106776052 fired transitions, 1945 secs || 125623202 markings, 247473412 edges, 63803 markings/sec, 1945 secs
lola: STP completed || 108 tries, 107045304 fired transitions, 1950 secs || 125940487 markings, 248122209 edges, 63457 markings/sec, 1950 secs
lola: STP completed || 108 tries, 107311677 fired transitions, 1955 secs || 126252886 markings, 248768500 edges, 62480 markings/sec, 1955 secs
lola: STP completed || 108 tries, 107577455 fired transitions, 1960 secs || 126570635 markings, 249433692 edges, 63550 markings/sec, 1960 secs
lola: STP completed || 108 tries, 107847518 fired transitions, 1965 secs || 126888899 markings, 250080972 edges, 63653 markings/sec, 1965 secs
lola: STP completed || 109 tries, 108117025 fired transitions, 1970 secs || 127206273 markings, 250736426 edges, 63475 markings/sec, 1970 secs
lola: STP completed || 109 tries, 108388041 fired transitions, 1975 secs || 127525955 markings, 251404810 edges, 63936 markings/sec, 1975 secs
lola: STP completed || 109 tries, 108657692 fired transitions, 1980 secs || 127844396 markings, 252067208 edges, 63688 markings/sec, 1980 secs
lola: STP completed || 109 tries, 108927958 fired transitions, 1985 secs || 128163730 markings, 252742992 edges, 63867 markings/sec, 1985 secs
lola: STP completed || 110 tries, 109199438 fired transitions, 1990 secs || 128479464 markings, 253400537 edges, 63147 markings/sec, 1990 secs
lola: STP completed || 110 tries, 109458428 fired transitions, 1995 secs || 128799940 markings, 254062274 edges, 64095 markings/sec, 1995 secs
lola: STP completed || 110 tries, 109728950 fired transitions, 2000 secs || 129117469 markings, 254722963 edges, 63506 markings/sec, 2000 secs
lola: STP completed || 111 tries, 110000564 fired transitions, 2005 secs || 129435651 markings, 255380680 edges, 63636 markings/sec, 2005 secs
lola: STP completed || 111 tries, 110271279 fired transitions, 2010 secs || 129753268 markings, 256041021 edges, 63523 markings/sec, 2010 secs
lola: STP completed || 111 tries, 110544947 fired transitions, 2015 secs || 130038068 markings, 256639369 edges, 56960 markings/sec, 2015 secs
lola: STP completed || 111 tries, 110817282 fired transitions, 2020 secs || 130324385 markings, 257233851 edges, 57263 markings/sec, 2020 secs
lola: STP completed || 112 tries, 111087776 fired transitions, 2025 secs || 130638761 markings, 257881881 edges, 62875 markings/sec, 2025 secs
lola: STP completed || 112 tries, 111360276 fired transitions, 2030 secs || 130946256 markings, 258521573 edges, 61499 markings/sec, 2030 secs
lola: STP completed || 112 tries, 111630678 fired transitions, 2035 secs || 131260671 markings, 259169334 edges, 62883 markings/sec, 2035 secs
lola: STP completed || 112 tries, 111888988 fired transitions, 2040 secs || 131584403 markings, 259825716 edges, 64746 markings/sec, 2040 secs
lola: STP completed || 113 tries, 112157285 fired transitions, 2045 secs || 131903443 markings, 260495351 edges, 63808 markings/sec, 2045 secs
lola: STP completed || 113 tries, 112427748 fired transitions, 2050 secs || 132221286 markings, 261150352 edges, 63569 markings/sec, 2050 secs
lola: STP completed || 113 tries, 112687143 fired transitions, 2055 secs || 132537161 markings, 261811834 edges, 63175 markings/sec, 2055 secs
lola: STP completed || 113 tries, 112950185 fired transitions, 2060 secs || 132859030 markings, 262487133 edges, 64374 markings/sec, 2060 secs
lola: STP completed || 114 tries, 113217138 fired transitions, 2065 secs || 133179831 markings, 263153392 edges, 64160 markings/sec, 2065 secs
lola: STP completed || 114 tries, 113480477 fired transitions, 2070 secs || 133503365 markings, 263831008 edges, 64707 markings/sec, 2070 secs
lola: STP completed || 114 tries, 113747247 fired transitions, 2075 secs || 133835064 markings, 264524136 edges, 66340 markings/sec, 2075 secs
lola: STP completed || 115 tries, 114010968 fired transitions, 2080 secs || 134175233 markings, 265223208 edges, 68034 markings/sec, 2080 secs
lola: STP completed || 115 tries, 114275982 fired transitions, 2085 secs || 134496126 markings, 265890449 edges, 64179 markings/sec, 2085 secs
lola: STP completed || 115 tries, 114542709 fired transitions, 2090 secs || 134816989 markings, 266565580 edges, 64173 markings/sec, 2090 secs
lola: STP completed || 115 tries, 114808296 fired transitions, 2095 secs || 135137608 markings, 267221943 edges, 64124 markings/sec, 2095 secs
lola: STP completed || 116 tries, 115074539 fired transitions, 2100 secs || 135455708 markings, 267888851 edges, 63620 markings/sec, 2100 secs
lola: STP completed || 116 tries, 115340735 fired transitions, 2105 secs || 135776047 markings, 268551837 edges, 64068 markings/sec, 2105 secs
lola: STP completed || 116 tries, 115606085 fired transitions, 2110 secs || 136098189 markings, 269229059 edges, 64428 markings/sec, 2110 secs
lola: STP completed || 116 tries, 115870585 fired transitions, 2115 secs || 136413460 markings, 269878215 edges, 63054 markings/sec, 2115 secs
lola: STP completed || 117 tries, 116135528 fired transitions, 2120 secs || 136731484 markings, 270539047 edges, 63605 markings/sec, 2120 secs
lola: STP completed || 117 tries, 116401428 fired transitions, 2125 secs || 137087327 markings, 271269013 edges, 71169 markings/sec, 2125 secs
lola: STP completed || 117 tries, 116659458 fired transitions, 2130 secs || 137399144 markings, 271915530 edges, 62363 markings/sec, 2130 secs
lola: STP completed || 117 tries, 116928918 fired transitions, 2135 secs || 137719347 markings, 272595470 edges, 64041 markings/sec, 2135 secs
lola: STP completed || 118 tries, 117200071 fired transitions, 2140 secs || 138037743 markings, 273263551 edges, 63679 markings/sec, 2140 secs
lola: STP completed || 118 tries, 117471470 fired transitions, 2145 secs || 138360532 markings, 273931569 edges, 64558 markings/sec, 2145 secs
lola: STP completed || 118 tries, 117774735 fired transitions, 2150 secs || 138732440 markings, 274706514 edges, 74382 markings/sec, 2150 secs
lola: STP completed || 119 tries, 118090723 fired transitions, 2155 secs || 139112049 markings, 275496789 edges, 75922 markings/sec, 2155 secs
lola: STP completed || 119 tries, 118407010 fired transitions, 2160 secs || 139487229 markings, 276281225 edges, 75036 markings/sec, 2160 secs
lola: STP completed || 119 tries, 118723184 fired transitions, 2165 secs || 139866806 markings, 277070789 edges, 75915 markings/sec, 2165 secs
lola: STP completed || 120 tries, 119040645 fired transitions, 2170 secs || 140246719 markings, 277861504 edges, 75983 markings/sec, 2170 secs
lola: STP completed || 120 tries, 119356192 fired transitions, 2175 secs || 140624045 markings, 278647766 edges, 75465 markings/sec, 2175 secs
lola: STP completed || 120 tries, 119671015 fired transitions, 2180 secs || 141003311 markings, 279455682 edges, 75853 markings/sec, 2180 secs
lola: STP completed || 120 tries, 119987431 fired transitions, 2185 secs || 141382163 markings, 280244765 edges, 75770 markings/sec, 2185 secs
lola: STP completed || 121 tries, 120303098 fired transitions, 2190 secs || 141759931 markings, 281033061 edges, 75554 markings/sec, 2190 secs
lola: STP completed || 121 tries, 120619257 fired transitions, 2195 secs || 142138223 markings, 281809010 edges, 75658 markings/sec, 2195 secs
lola: STP completed || 121 tries, 120935258 fired transitions, 2200 secs || 142521945 markings, 282605773 edges, 76744 markings/sec, 2200 secs
lola: STP completed || 122 tries, 121252174 fired transitions, 2205 secs || 142902134 markings, 283382657 edges, 76038 markings/sec, 2205 secs
lola: STP completed || 122 tries, 121567952 fired transitions, 2210 secs || 143280822 markings, 284174780 edges, 75738 markings/sec, 2210 secs
lola: STP completed || 122 tries, 121884990 fired transitions, 2215 secs || 143660952 markings, 284968033 edges, 76026 markings/sec, 2215 secs
lola: STP completed || 123 tries, 122202034 fired transitions, 2220 secs || 144039439 markings, 285749203 edges, 75697 markings/sec, 2220 secs
lola: STP completed || 123 tries, 122519542 fired transitions, 2225 secs || 144420016 markings, 286552536 edges, 76115 markings/sec, 2225 secs
lola: STP completed || 123 tries, 122836202 fired transitions, 2230 secs || 144801503 markings, 287352195 edges, 76297 markings/sec, 2230 secs
lola: STP completed || 124 tries, 123152647 fired transitions, 2235 secs || 145180714 markings, 288135775 edges, 75842 markings/sec, 2235 secs
lola: STP completed || 124 tries, 123468863 fired transitions, 2240 secs || 145558697 markings, 288925282 edges, 75597 markings/sec, 2240 secs
lola: STP completed || 124 tries, 123785519 fired transitions, 2245 secs || 145936243 markings, 289715728 edges, 75509 markings/sec, 2245 secs
lola: STP completed || 125 tries, 124102306 fired transitions, 2250 secs || 146314448 markings, 290505979 edges, 75641 markings/sec, 2250 secs
lola: STP completed || 125 tries, 124418443 fired transitions, 2255 secs || 146694615 markings, 291310038 edges, 76033 markings/sec, 2255 secs
lola: STP completed || 125 tries, 124734202 fired transitions, 2260 secs || 147075805 markings, 292103225 edges, 76238 markings/sec, 2260 secs
lola: STP completed || 126 tries, 125050299 fired transitions, 2265 secs || 147453386 markings, 292893447 edges, 75516 markings/sec, 2265 secs
lola: STP completed || 126 tries, 125367204 fired transitions, 2270 secs || 147833205 markings, 293680352 edges, 75964 markings/sec, 2270 secs
lola: STP completed || 126 tries, 125682720 fired transitions, 2275 secs || 148214599 markings, 294460675 edges, 76279 markings/sec, 2275 secs
lola: STP completed || 126 tries, 125996640 fired transitions, 2280 secs || 148598879 markings, 295261768 edges, 76856 markings/sec, 2280 secs
lola: STP completed || 127 tries, 126313847 fired transitions, 2285 secs || 148975251 markings, 296057010 edges, 75274 markings/sec, 2285 secs
lola: STP completed || 127 tries, 126630988 fired transitions, 2290 secs || 149359229 markings, 296868816 edges, 76796 markings/sec, 2290 secs
lola: STP completed || 127 tries, 126947955 fired transitions, 2295 secs || 149739545 markings, 297650995 edges, 76063 markings/sec, 2295 secs
lola: STP completed || 128 tries, 127262887 fired transitions, 2300 secs || 150117220 markings, 298438841 edges, 75535 markings/sec, 2300 secs
lola: STP completed || 128 tries, 127526593 fired transitions, 2305 secs || 150438655 markings, 299108538 edges, 64287 markings/sec, 2305 secs
lola: STP completed || 128 tries, 127799225 fired transitions, 2310 secs || 150758949 markings, 299781592 edges, 64059 markings/sec, 2310 secs
lola: STP completed || 129 tries, 128070776 fired transitions, 2315 secs || 151076792 markings, 300450293 edges, 63569 markings/sec, 2315 secs
lola: STP completed || 129 tries, 128341068 fired transitions, 2320 secs || 151397939 markings, 301129648 edges, 64229 markings/sec, 2320 secs
lola: STP completed || 129 tries, 128613144 fired transitions, 2325 secs || 151716225 markings, 301784718 edges, 63657 markings/sec, 2325 secs
lola: STP completed || 129 tries, 128882957 fired transitions, 2330 secs || 152036228 markings, 302452099 edges, 64001 markings/sec, 2330 secs
lola: STP completed || 130 tries, 129155952 fired transitions, 2335 secs || 152319843 markings, 303043514 edges, 56723 markings/sec, 2335 secs
lola: STP completed || 130 tries, 129427610 fired transitions, 2340 secs || 152614987 markings, 303658477 edges, 59029 markings/sec, 2340 secs
lola: STP completed || 130 tries, 129699314 fired transitions, 2345 secs || 152933227 markings, 304335652 edges, 63648 markings/sec, 2345 secs
lola: STP completed || 130 tries, 129969404 fired transitions, 2350 secs || 153250611 markings, 304991482 edges, 63477 markings/sec, 2350 secs
lola: STP completed || 131 tries, 130239549 fired transitions, 2355 secs || 153570780 markings, 305666948 edges, 64034 markings/sec, 2355 secs
lola: STP completed || 131 tries, 130508057 fired transitions, 2360 secs || 153889609 markings, 306329829 edges, 63766 markings/sec, 2360 secs
lola: STP completed || 131 tries, 130777675 fired transitions, 2365 secs || 154202048 markings, 306979423 edges, 62488 markings/sec, 2365 secs
lola: STP completed || 132 tries, 131051208 fired transitions, 2370 secs || 154467325 markings, 307541966 edges, 53055 markings/sec, 2370 secs
lola: STP completed || 132 tries, 131322338 fired transitions, 2375 secs || 154784636 markings, 308200826 edges, 63462 markings/sec, 2375 secs
lola: STP completed || 132 tries, 131586439 fired transitions, 2380 secs || 155105076 markings, 308868812 edges, 64088 markings/sec, 2380 secs
lola: STP completed || 132 tries, 131865229 fired transitions, 2385 secs || 155469562 markings, 309623240 edges, 72897 markings/sec, 2385 secs
lola: STP completed || 133 tries, 132180422 fired transitions, 2390 secs || 155850831 markings, 310419525 edges, 76254 markings/sec, 2390 secs
lola: STP completed || 133 tries, 132495321 fired transitions, 2395 secs || 156229238 markings, 311199717 edges, 75681 markings/sec, 2395 secs
lola: STP completed || 133 tries, 132812237 fired transitions, 2400 secs || 156607554 markings, 311994956 edges, 75663 markings/sec, 2400 secs
lola: STP completed || 134 tries, 133126916 fired transitions, 2405 secs || 156985789 markings, 312786527 edges, 75647 markings/sec, 2405 secs
lola: STP completed || 134 tries, 133442395 fired transitions, 2410 secs || 157364004 markings, 313583733 edges, 75643 markings/sec, 2410 secs
lola: STP completed || 134 tries, 133757300 fired transitions, 2415 secs || 157742925 markings, 314373394 edges, 75784 markings/sec, 2415 secs
lola: STP completed || 135 tries, 134074156 fired transitions, 2420 secs || 158123493 markings, 315177936 edges, 76114 markings/sec, 2420 secs
lola: STP completed || 135 tries, 134391178 fired transitions, 2425 secs || 158503077 markings, 315968878 edges, 75917 markings/sec, 2425 secs
lola: STP completed || 135 tries, 134690458 fired transitions, 2430 secs || 158881497 markings, 316756109 edges, 75684 markings/sec, 2430 secs
lola: STP completed || 135 tries, 134983617 fired transitions, 2435 secs || 159266056 markings, 317558666 edges, 76912 markings/sec, 2435 secs
lola: STP completed || 136 tries, 135299361 fired transitions, 2440 secs || 159646454 markings, 318359697 edges, 76080 markings/sec, 2440 secs
lola: STP completed || 136 tries, 135589997 fired transitions, 2445 secs || 160006025 markings, 319118043 edges, 71914 markings/sec, 2445 secs
lola: STP completed || 136 tries, 135861818 fired transitions, 2450 secs || 160323871 markings, 319787149 edges, 63569 markings/sec, 2450 secs
lola: STP completed || 137 tries, 136135045 fired transitions, 2455 secs || 160644390 markings, 320465743 edges, 64104 markings/sec, 2455 secs
lola: STP completed || 137 tries, 136407215 fired transitions, 2460 secs || 160963810 markings, 321135691 edges, 63884 markings/sec, 2460 secs
lola: STP completed || 137 tries, 136678887 fired transitions, 2465 secs || 161282494 markings, 321805917 edges, 63737 markings/sec, 2465 secs
lola: STP completed || 137 tries, 136952417 fired transitions, 2470 secs || 161603540 markings, 322482746 edges, 64209 markings/sec, 2470 secs
lola: STP completed || 138 tries, 137247712 fired transitions, 2475 secs || 161970483 markings, 323248411 edges, 73389 markings/sec, 2475 secs
lola: STP completed || 138 tries, 137552069 fired transitions, 2480 secs || 162349508 markings, 324034394 edges, 75805 markings/sec, 2480 secs
lola: STP completed || 138 tries, 137868644 fired transitions, 2485 secs || 162730644 markings, 324827046 edges, 76227 markings/sec, 2485 secs
lola: STP completed || 139 tries, 138184981 fired transitions, 2490 secs || 163109375 markings, 325622492 edges, 75746 markings/sec, 2490 secs
lola: STP completed || 139 tries, 138502071 fired transitions, 2495 secs || 163488798 markings, 326421256 edges, 75885 markings/sec, 2495 secs
lola: STP completed || 139 tries, 138819414 fired transitions, 2500 secs || 163871229 markings, 327221545 edges, 76486 markings/sec, 2500 secs
lola: STP completed || 140 tries, 139135886 fired transitions, 2505 secs || 164251245 markings, 328011508 edges, 76003 markings/sec, 2505 secs
lola: STP completed || 140 tries, 139453227 fired transitions, 2510 secs || 164632137 markings, 328814698 edges, 76178 markings/sec, 2510 secs
lola: STP completed || 140 tries, 139771424 fired transitions, 2515 secs || 165009152 markings, 329603147 edges, 75403 markings/sec, 2515 secs
lola: STP completed || 141 tries, 140087896 fired transitions, 2520 secs || 165388829 markings, 330404411 edges, 75935 markings/sec, 2520 secs
lola: STP completed || 141 tries, 140406314 fired transitions, 2525 secs || 165769969 markings, 331203737 edges, 76228 markings/sec, 2525 secs
lola: STP completed || 141 tries, 140723489 fired transitions, 2530 secs || 166142036 markings, 331985425 edges, 74413 markings/sec, 2530 secs
lola: STP completed || 142 tries, 141040087 fired transitions, 2535 secs || 166520494 markings, 332771995 edges, 75692 markings/sec, 2535 secs
lola: STP completed || 142 tries, 141355371 fired transitions, 2540 secs || 166898583 markings, 333566178 edges, 75618 markings/sec, 2540 secs
lola: STP completed || 142 tries, 141672445 fired transitions, 2545 secs || 167280972 markings, 334369198 edges, 76478 markings/sec, 2545 secs
lola: STP completed || 142 tries, 141971415 fired transitions, 2550 secs || 167645628 markings, 335139680 edges, 72931 markings/sec, 2550 secs
lola: STP completed || 143 tries, 142232875 fired transitions, 2555 secs || 167957315 markings, 335787987 edges, 62337 markings/sec, 2555 secs
lola: STP completed || 143 tries, 142495929 fired transitions, 2560 secs || 168268336 markings, 336435155 edges, 62204 markings/sec, 2560 secs
lola: STP completed || 143 tries, 142761828 fired transitions, 2565 secs || 168569451 markings, 337068038 edges, 60223 markings/sec, 2565 secs
lola: STP completed || 144 tries, 143027104 fired transitions, 2570 secs || 168876254 markings, 337713391 edges, 61361 markings/sec, 2570 secs
lola: STP completed || 144 tries, 143306414 fired transitions, 2575 secs || 169185886 markings, 338368911 edges, 61926 markings/sec, 2575 secs
lola: STP completed || 144 tries, 143578129 fired transitions, 2580 secs || 169495845 markings, 339025532 edges, 61992 markings/sec, 2580 secs
lola: STP completed || 144 tries, 143849531 fired transitions, 2585 secs || 169807001 markings, 339687276 edges, 62231 markings/sec, 2585 secs
lola: STP completed || 145 tries, 144120512 fired transitions, 2590 secs || 170124528 markings, 340344894 edges, 63505 markings/sec, 2590 secs
lola: STP completed || 145 tries, 144388859 fired transitions, 2595 secs || 170437455 markings, 341004457 edges, 62585 markings/sec, 2595 secs
lola: STP completed || 145 tries, 144653548 fired transitions, 2600 secs || 170750959 markings, 341658439 edges, 62701 markings/sec, 2600 secs
lola: STP completed || 145 tries, 144925446 fired transitions, 2605 secs || 171068718 markings, 342328205 edges, 63552 markings/sec, 2605 secs
lola: STP completed || 146 tries, 145197844 fired transitions, 2610 secs || 171385789 markings, 342999652 edges, 63414 markings/sec, 2610 secs
lola: STP completed || 146 tries, 145469274 fired transitions, 2615 secs || 171702772 markings, 343667948 edges, 63397 markings/sec, 2615 secs
lola: STP completed || 146 tries, 145741444 fired transitions, 2620 secs || 172014097 markings, 344321372 edges, 62265 markings/sec, 2620 secs
lola: STP completed || 147 tries, 146013039 fired transitions, 2625 secs || 172334413 markings, 344997167 edges, 64063 markings/sec, 2625 secs
lola: STP completed || 147 tries, 146283141 fired transitions, 2630 secs || 172655043 markings, 345672640 edges, 64126 markings/sec, 2630 secs
lola: STP completed || 147 tries, 146586209 fired transitions, 2635 secs || 173014488 markings, 346423343 edges, 71889 markings/sec, 2635 secs
lola: STP completed || 147 tries, 146858571 fired transitions, 2640 secs || 173329768 markings, 347077824 edges, 63056 markings/sec, 2640 secs
lola: STP completed || 148 tries, 147131014 fired transitions, 2645 secs || 173651846 markings, 347764485 edges, 64416 markings/sec, 2645 secs
lola: STP completed || 148 tries, 147402980 fired transitions, 2650 secs || 173990700 markings, 348477619 edges, 67771 markings/sec, 2650 secs
lola: STP completed || 148 tries, 147673484 fired transitions, 2655 secs || 174294752 markings, 349115879 edges, 60810 markings/sec, 2655 secs
lola: STP completed || 148 tries, 147950977 fired transitions, 2660 secs || 174630473 markings, 349831407 edges, 67144 markings/sec, 2660 secs
lola: STP completed || 149 tries, 148263502 fired transitions, 2665 secs || 174987916 markings, 350592841 edges, 71489 markings/sec, 2665 secs
lola: STP completed || 149 tries, 148531673 fired transitions, 2670 secs || 175278447 markings, 351196198 edges, 58106 markings/sec, 2670 secs
lola: STP completed || 149 tries, 148804792 fired transitions, 2675 secs || 175562481 markings, 351788834 edges, 56807 markings/sec, 2675 secs
lola: STP completed || 150 tries, 149076130 fired transitions, 2680 secs || 175879834 markings, 352461754 edges, 63471 markings/sec, 2680 secs
lola: STP completed || 150 tries, 149346576 fired transitions, 2685 secs || 176194064 markings, 353126391 edges, 62846 markings/sec, 2685 secs
lola: STP completed || 150 tries, 149638600 fired transitions, 2690 secs || 176551458 markings, 353878790 edges, 71479 markings/sec, 2690 secs
lola: STP completed || 150 tries, 149954320 fired transitions, 2695 secs || 176930312 markings, 354680329 edges, 75771 markings/sec, 2695 secs
lola: STP completed || 151 tries, 150259700 fired transitions, 2700 secs || 177300951 markings, 355461687 edges, 74128 markings/sec, 2700 secs
lola: STP completed || 151 tries, 150522664 fired transitions, 2705 secs || 177621198 markings, 356137592 edges, 64049 markings/sec, 2705 secs
lola: STP completed || 151 tries, 150794642 fired transitions, 2710 secs || 177938728 markings, 356807663 edges, 63506 markings/sec, 2710 secs
lola: STP completed || 152 tries, 151064914 fired transitions, 2715 secs || 178257787 markings, 357480150 edges, 63812 markings/sec, 2715 secs
lola: STP completed || 152 tries, 151337276 fired transitions, 2720 secs || 178577309 markings, 358157529 edges, 63904 markings/sec, 2720 secs
lola: STP completed || 152 tries, 151608092 fired transitions, 2725 secs || 178892770 markings, 358816891 edges, 63092 markings/sec, 2725 secs
lola: STP completed || 152 tries, 151877629 fired transitions, 2730 secs || 179210919 markings, 359493836 edges, 63630 markings/sec, 2730 secs
lola: STP completed || 153 tries, 152147797 fired transitions, 2735 secs || 179524488 markings, 360162261 edges, 62714 markings/sec, 2735 secs
lola: STP completed || 153 tries, 152434545 fired transitions, 2740 secs || 179858733 markings, 360870101 edges, 66849 markings/sec, 2740 secs
lola: STP completed || 153 tries, 152745274 fired transitions, 2745 secs || 180215019 markings, 361619798 edges, 71257 markings/sec, 2745 secs
lola: STP completed || 154 tries, 153059001 fired transitions, 2750 secs || 180585749 markings, 362409465 edges, 74146 markings/sec, 2750 secs
lola: STP completed || 154 tries, 153364096 fired transitions, 2755 secs || 180917577 markings, 363102146 edges, 66366 markings/sec, 2755 secs
lola: STP completed || 154 tries, 153669610 fired transitions, 2760 secs || 181266616 markings, 363824760 edges, 69808 markings/sec, 2760 secs
lola: STP completed || 154 tries, 153983813 fired transitions, 2765 secs || 181616595 markings, 364560410 edges, 69996 markings/sec, 2765 secs
lola: STP completed || 155 tries, 154293709 fired transitions, 2770 secs || 181971586 markings, 365308031 edges, 70998 markings/sec, 2770 secs
lola: STP completed || 155 tries, 154586755 fired transitions, 2775 secs || 182288923 markings, 365984052 edges, 63467 markings/sec, 2775 secs
lola: STP completed || 155 tries, 154900917 fired transitions, 2780 secs || 182657956 markings, 366759988 edges, 73807 markings/sec, 2780 secs
lola: STP completed || 156 tries, 155217129 fired transitions, 2785 secs || 183036240 markings, 367562372 edges, 75657 markings/sec, 2785 secs
lola: STP completed || 156 tries, 155533884 fired transitions, 2790 secs || 183416417 markings, 368378690 edges, 76035 markings/sec, 2790 secs
lola: STP completed || 156 tries, 155851552 fired transitions, 2795 secs || 183795641 markings, 369185287 edges, 75845 markings/sec, 2795 secs
lola: STP completed || 157 tries, 156168495 fired transitions, 2800 secs || 184174379 markings, 369988080 edges, 75748 markings/sec, 2800 secs
lola: STP completed || 157 tries, 156483181 fired transitions, 2805 secs || 184550871 markings, 370778519 edges, 75298 markings/sec, 2805 secs
lola: STP completed || 157 tries, 156797065 fired transitions, 2810 secs || 184922649 markings, 371567890 edges, 74356 markings/sec, 2810 secs
lola: STP completed || 158 tries, 157069461 fired transitions, 2815 secs || 185232156 markings, 372225894 edges, 61901 markings/sec, 2815 secs
lola: STP completed || 158 tries, 157342777 fired transitions, 2820 secs || 185551651 markings, 372909771 edges, 63899 markings/sec, 2820 secs
lola: STP completed || 158 tries, 157615771 fired transitions, 2825 secs || 185860601 markings, 373564454 edges, 61790 markings/sec, 2825 secs
lola: STP completed || 158 tries, 157888489 fired transitions, 2830 secs || 186174876 markings, 374229982 edges, 62855 markings/sec, 2830 secs
lola: STP completed || 159 tries, 158161944 fired transitions, 2835 secs || 186490987 markings, 374902681 edges, 63222 markings/sec, 2835 secs
lola: STP completed || 159 tries, 158425369 fired transitions, 2840 secs || 186804698 markings, 375559813 edges, 62742 markings/sec, 2840 secs
lola: STP completed || 159 tries, 158699438 fired transitions, 2845 secs || 187104627 markings, 376200278 edges, 59986 markings/sec, 2845 secs
lola: STP completed || 159 tries, 158973552 fired transitions, 2850 secs || 187422668 markings, 376883311 edges, 63608 markings/sec, 2850 secs
lola: STP completed || 160 tries, 159247239 fired transitions, 2855 secs || 187736887 markings, 377546796 edges, 62844 markings/sec, 2855 secs
lola: STP completed || 160 tries, 159520779 fired transitions, 2860 secs || 188055340 markings, 378225151 edges, 63691 markings/sec, 2860 secs
lola: STP completed || 160 tries, 159791735 fired transitions, 2865 secs || 188367207 markings, 378886811 edges, 62373 markings/sec, 2865 secs
lola: STP completed || 161 tries, 160062505 fired transitions, 2870 secs || 188683245 markings, 379556675 edges, 63208 markings/sec, 2870 secs
lola: STP completed || 161 tries, 160335151 fired transitions, 2875 secs || 189001879 markings, 380235430 edges, 63727 markings/sec, 2875 secs
lola: STP completed || 161 tries, 160607806 fired transitions, 2880 secs || 189290806 markings, 380848956 edges, 57785 markings/sec, 2880 secs
lola: STP completed || 161 tries, 160907597 fired transitions, 2885 secs || 189595532 markings, 381491942 edges, 60945 markings/sec, 2885 secs
lola: STP completed || 161 tries, 160973229 fired transitions, 2890 secs || 189641195 markings, 381587490 edges, 9133 markings/sec, 2890 secs
lola: STP completed || 161 tries, 160983614 fired transitions, 2895 secs || 189648826 markings, 381604159 edges, 1526 markings/sec, 2895 secs
lola: STP completed || 162 tries, 161008924 fired transitions, 2900 secs || 189656210 markings, 381618623 edges, 1477 markings/sec, 2900 secs
lola: STP completed || 162 tries, 161095438 fired transitions, 2905 secs || 189672276 markings, 381650804 edges, 3213 markings/sec, 2905 secs
lola: STP completed || 162 tries, 161136165 fired transitions, 2910 secs || 189677654 markings, 381662390 edges, 1076 markings/sec, 2910 secs
lola: STP completed || 162 tries, 161190419 fired transitions, 2915 secs || 189685228 markings, 381678615 edges, 1515 markings/sec, 2915 secs
lola: STP completed || 162 tries, 161253324 fired transitions, 2920 secs || 189696897 markings, 381703234 edges, 2334 markings/sec, 2920 secs
lola: STP completed || 162 tries, 161273754 fired transitions, 2925 secs || 189703862 markings, 381717854 edges, 1393 markings/sec, 2925 secs
lola: STP completed || 162 tries, 161329700 fired transitions, 2930 secs || 189715283 markings, 381743118 edges, 2284 markings/sec, 2930 secs
lola: STP completed || 162 tries, 161360684 fired transitions, 2935 secs || 189722207 markings, 381757694 edges, 1385 markings/sec, 2935 secs

BK_STOP 1526654159787

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

Killed

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-10a"
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-10a.tgz
mv FlexibleBarrier-PT-10a execution
cd execution
pwd
ls -lh

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-3637"
echo " Executing tool lola"
echo " Input is FlexibleBarrier-PT-10a, 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 r088-blw7-152649998100146"
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 ;