Execution Chart

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

Trace from the execution

Formatting '/data/fkordon/mcc2019-input.r137-smll-155284909300021.qcow2', fmt=qcow2 size=4294967296 backing_file='/data/fkordon/mcc2019-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
....................
=====================================================================
Generated by BenchKit 2-3957
Executing tool lola
Input is Raft-PT-04, examination is GlobalProperties
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r137-smll-155284909300021
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 192K
-rw-r--r-- 1 mcc users 2.8K Feb 12 11:32 CTLCardinality.txt
-rw-r--r-- 1 mcc users 16K Feb 12 11:32 CTLCardinality.xml
-rw-r--r-- 1 mcc users 1.9K Feb 8 13:43 CTLFireability.txt
-rw-r--r-- 1 mcc users 12K Feb 8 13:43 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 10 17:31 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 97 Feb 24 15:05 GlobalProperties.txt
-rw-r--r-- 1 mcc users 335 Feb 24 15:05 GlobalProperties.xml
-rw-r--r-- 1 mcc users 2.2K Feb 5 00:57 LTLCardinality.txt
-rw-r--r-- 1 mcc users 11K Feb 5 00:57 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.7K Feb 4 22:47 LTLFireability.txt
-rw-r--r-- 1 mcc users 8.2K Feb 4 22:47 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.2K Feb 4 14:49 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 17K Feb 4 14:49 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.8K Feb 1 11:15 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 19K Feb 1 11:15 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.5K Feb 4 22:30 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.5K Feb 4 22:30 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Jan 29 09:35 equiv_col
-rw-r--r-- 1 mcc users 3 Jan 29 09:35 instance
-rw-r--r-- 1 mcc users 6 Jan 29 09:35 iscolored
-rw-r--r-- 1 mcc users 41K Mar 10 17:31 model.pnml

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

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

The expected result is a vector of booleans
BOOL_VECTOR

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

=== Now, execution of the tool begins

BK_START 1552895164667

info: Time: 3600 - MCC
vrfy: Checking GlobalProperties @ Raft-PT-04 @ 3570 seconds
Makefile:16: recipe for target 'verify' failed
vrfy: finished
info: timeLeft: 1167
rslt: Output for GlobalProperties @ Raft-PT-04
lola: LoLA will run for 3570 seconds at most (--timelimit)
lola: NET
lola: input: PNML file (--pnml)
lola: reading net from model.pnml
lola: reading pnml
lola: PNML file contains place/transition net
lola: finished parsing
lola: closed net file model.pnml
lola: 248/268435456 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 88
lola: finding significant places
lola: 88 places, 160 transitions, 72 significant places
lola: compute conflict clusters
lola: computed conflict clusters
lola: Computing conflicting sets
lola: Computing back conflicting sets
lola: TASK
lola: Reading formula in XML format (--xmlformula)
lola: reading pnml
lola: reading formula from GlobalProperties.xml
lola: E (F (DEADLOCK))
lola: checking reachability
lola: Planning: workflow for reachability check: findpath||search (--findpath=par)
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: processed formula: E (F (DEADLOCK))
lola: processed formula length: 16
lola: 1 rewrites
lola: closed formula file GlobalProperties.xml
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 reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: SEARCH (findpath)
lola: findpath: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: findpath: starting randomized, memory-less exploration (--findpath)
lola: findpath: searching for paths with maximal depth 1000000 (--depthlimit)
lola: findpath: no retry limit given (--retrylimit)
lola: findpath: transitions are chosen hash-driven
lola: computing symmetries (--symmetry)
lola: time limit for symmetry computation of 300 seconds given (--symmtimelimit)
lola: computed 12 generators (4 in search tree, 8 by composition)
lola: representing 24 symmetries
lola: 0 dead branches visited in search tree
lola: 2 tries, 1384727 fired transitions, 0 secs || 324685 markings, 2485027 edges, 64937 markings/sec, 0 secs
lola: 3 tries, 2772560 fired transitions, 5 secs || 642321 markings, 4914432 edges, 63527 markings/sec, 5 secs
lola: 5 tries, 4160973 fired transitions, 10 secs || 958032 markings, 7331824 edges, 63142 markings/sec, 10 secs
lola: 6 tries, 5549507 fired transitions, 15 secs || 1271031 markings, 9733824 edges, 62600 markings/sec, 15 secs
lola: 7 tries, 6936525 fired transitions, 20 secs || 1583853 markings, 12126930 edges, 62564 markings/sec, 20 secs
lola: 9 tries, 8331844 fired transitions, 25 secs || 1835320 markings, 14048458 edges, 50293 markings/sec, 25 secs
lola: 10 tries, 9722181 fired transitions, 30 secs || 2145861 markings, 16432731 edges, 62108 markings/sec, 30 secs
lola: 12 tries, 11112438 fired transitions, 35 secs || 2455887 markings, 18804939 edges, 62005 markings/sec, 35 secs
lola: 13 tries, 12502589 fired transitions, 40 secs || 2763914 markings, 21179348 edges, 61605 markings/sec, 40 secs
lola: 14 tries, 13893043 fired transitions, 45 secs || 3072535 markings, 23549242 edges, 61724 markings/sec, 45 secs
lola: 16 tries, 15262131 fired transitions, 50 secs || 3379048 markings, 25904415 edges, 61303 markings/sec, 50 secs
lola: 17 tries, 16516947 fired transitions, 55 secs || 3671414 markings, 28140647 edges, 58473 markings/sec, 55 secs
lola: 18 tries, 17810179 fired transitions, 60 secs || 3963230 markings, 30378015 edges, 58363 markings/sec, 60 secs
lola: 20 tries, 19120221 fired transitions, 65 secs || 4261065 markings, 32647971 edges, 59567 markings/sec, 65 secs
lola: 21 tries, 20504485 fired transitions, 70 secs || 4571700 markings, 35022155 edges, 62127 markings/sec, 70 secs
lola: 22 tries, 21875168 fired transitions, 75 secs || 4882377 markings, 37392894 edges, 62135 markings/sec, 75 secs
lola: 24 tries, 23245901 fired transitions, 80 secs || 5191782 markings, 39766728 edges, 61881 markings/sec, 80 secs
lola: 25 tries, 24612567 fired transitions, 85 secs || 5501315 markings, 42134128 edges, 61907 markings/sec, 85 secs
lola: 26 tries, 25984221 fired transitions, 90 secs || 5809843 markings, 44511586 edges, 61706 markings/sec, 90 secs
lola: 28 tries, 27356148 fired transitions, 95 secs || 6118611 markings, 46874252 edges, 61754 markings/sec, 95 secs
lola: 29 tries, 28726865 fired transitions, 100 secs || 6425634 markings, 49234558 edges, 61405 markings/sec, 100 secs
lola: 31 tries, 30099889 fired transitions, 105 secs || 6732957 markings, 51597797 edges, 61465 markings/sec, 105 secs
lola: 32 tries, 31471111 fired transitions, 110 secs || 7040354 markings, 53953482 edges, 61479 markings/sec, 110 secs
lola: 33 tries, 32842212 fired transitions, 115 secs || 7348456 markings, 56307001 edges, 61620 markings/sec, 115 secs
lola: 35 tries, 34214643 fired transitions, 120 secs || 7657146 markings, 58665131 edges, 61738 markings/sec, 120 secs
lola: 36 tries, 35585671 fired transitions, 125 secs || 7964301 markings, 61015540 edges, 61431 markings/sec, 125 secs
lola: 37 tries, 36958874 fired transitions, 130 secs || 8271592 markings, 63365136 edges, 61458 markings/sec, 130 secs
lola: 39 tries, 38289409 fired transitions, 135 secs || 8551143 markings, 65504992 edges, 55910 markings/sec, 135 secs
lola: 40 tries, 39577835 fired transitions, 140 secs || 8835027 markings, 67673941 edges, 56777 markings/sec, 140 secs
lola: 41 tries, 40866308 fired transitions, 145 secs || 9123071 markings, 69880679 edges, 57609 markings/sec, 145 secs
lola: 43 tries, 42155619 fired transitions, 150 secs || 9411333 markings, 72090727 edges, 57652 markings/sec, 150 secs
lola: 44 tries, 43442827 fired transitions, 155 secs || 9701236 markings, 74301682 edges, 57981 markings/sec, 155 secs
lola: 45 tries, 44730821 fired transitions, 160 secs || 9990696 markings, 76508867 edges, 57892 markings/sec, 160 secs
lola: 47 tries, 46050053 fired transitions, 165 secs || 10268816 markings, 78638548 edges, 55624 markings/sec, 165 secs
lola: 48 tries, 47337871 fired transitions, 170 secs || 10557963 markings, 80839342 edges, 57829 markings/sec, 170 secs
lola: 49 tries, 48705519 fired transitions, 175 secs || 10860902 markings, 83157468 edges, 60588 markings/sec, 175 secs
lola: 51 tries, 50078853 fired transitions, 180 secs || 11164082 markings, 85484787 edges, 60636 markings/sec, 180 secs
lola: 52 tries, 51452369 fired transitions, 185 secs || 11469171 markings, 87803904 edges, 61018 markings/sec, 185 secs
lola: 53 tries, 52823284 fired transitions, 190 secs || 11774470 markings, 90132549 edges, 61060 markings/sec, 190 secs
lola: 55 tries, 54195883 fired transitions, 195 secs || 12080026 markings, 92465680 edges, 61111 markings/sec, 195 secs
lola: 56 tries, 55569663 fired transitions, 200 secs || 12384989 markings, 94790824 edges, 60993 markings/sec, 200 secs
lola: 57 tries, 56942695 fired transitions, 205 secs || 12689930 markings, 97111316 edges, 60988 markings/sec, 205 secs
lola: 59 tries, 58315355 fired transitions, 210 secs || 12993998 markings, 99439246 edges, 60814 markings/sec, 210 secs
lola: 60 tries, 59686889 fired transitions, 215 secs || 13298244 markings, 101753118 edges, 60849 markings/sec, 215 secs
lola: 62 tries, 61057577 fired transitions, 220 secs || 13601249 markings, 104068189 edges, 60601 markings/sec, 220 secs
lola: 63 tries, 62427481 fired transitions, 225 secs || 13905275 markings, 106389297 edges, 60805 markings/sec, 225 secs
lola: 64 tries, 63797811 fired transitions, 230 secs || 14210398 markings, 108712673 edges, 61025 markings/sec, 230 secs
lola: 66 tries, 65169667 fired transitions, 235 secs || 14513520 markings, 111030950 edges, 60624 markings/sec, 235 secs
lola: 67 tries, 66539622 fired transitions, 240 secs || 14816669 markings, 113348703 edges, 60630 markings/sec, 240 secs
lola: 68 tries, 67909545 fired transitions, 245 secs || 15119659 markings, 115662152 edges, 60598 markings/sec, 245 secs
lola: 70 tries, 69279760 fired transitions, 250 secs || 15423091 markings, 117980226 edges, 60686 markings/sec, 250 secs
lola: 71 tries, 70649623 fired transitions, 255 secs || 15725752 markings, 120291743 edges, 60532 markings/sec, 255 secs
lola: 73 tries, 72019763 fired transitions, 260 secs || 16028568 markings, 122602648 edges, 60563 markings/sec, 260 secs
lola: 74 tries, 73392827 fired transitions, 265 secs || 16331317 markings, 124909840 edges, 60550 markings/sec, 265 secs
lola: 75 tries, 74767095 fired transitions, 270 secs || 16635088 markings, 127219444 edges, 60754 markings/sec, 270 secs
lola: 77 tries, 76139941 fired transitions, 275 secs || 16937103 markings, 129533848 edges, 60403 markings/sec, 275 secs
lola: 78 tries, 77511479 fired transitions, 280 secs || 17239331 markings, 131839157 edges, 60446 markings/sec, 280 secs
lola: 79 tries, 78883787 fired transitions, 285 secs || 17542640 markings, 134142469 edges, 60662 markings/sec, 285 secs
lola: 81 tries, 80258685 fired transitions, 290 secs || 17844559 markings, 136450576 edges, 60384 markings/sec, 290 secs
lola: 82 tries, 81633779 fired transitions, 295 secs || 18147204 markings, 138757489 edges, 60529 markings/sec, 295 secs
lola: 84 tries, 83007975 fired transitions, 300 secs || 18451277 markings, 141060925 edges, 60815 markings/sec, 300 secs
lola: 85 tries, 84380779 fired transitions, 305 secs || 18753149 markings, 143367593 edges, 60374 markings/sec, 305 secs
lola: 86 tries, 85755173 fired transitions, 310 secs || 19055046 markings, 145668204 edges, 60379 markings/sec, 310 secs
lola: 88 tries, 87126713 fired transitions, 315 secs || 19357061 markings, 147970128 edges, 60403 markings/sec, 315 secs
lola: 89 tries, 88498849 fired transitions, 320 secs || 19658830 markings, 150268717 edges, 60354 markings/sec, 320 secs
lola: 90 tries, 89873413 fired transitions, 325 secs || 19961671 markings, 152562528 edges, 60568 markings/sec, 325 secs
lola: 92 tries, 91246489 fired transitions, 330 secs || 20264226 markings, 154859134 edges, 60511 markings/sec, 330 secs
lola: 93 tries, 92620463 fired transitions, 335 secs || 20565779 markings, 157150629 edges, 60311 markings/sec, 335 secs
lola: 94 tries, 93994192 fired transitions, 340 secs || 20867406 markings, 159442763 edges, 60325 markings/sec, 340 secs
lola: 96 tries, 95366647 fired transitions, 345 secs || 21167587 markings, 161736777 edges, 60036 markings/sec, 345 secs
lola: 97 tries, 96739319 fired transitions, 350 secs || 21468579 markings, 164021834 edges, 60198 markings/sec, 350 secs
lola: 99 tries, 98112367 fired transitions, 355 secs || 21770609 markings, 166311615 edges, 60406 markings/sec, 355 secs
lola: 100 tries, 99483985 fired transitions, 360 secs || 22071072 markings, 168597873 edges, 60093 markings/sec, 360 secs
lola: 101 tries, 100854685 fired transitions, 365 secs || 22372251 markings, 170890036 edges, 60236 markings/sec, 365 secs
lola: 103 tries, 102225926 fired transitions, 370 secs || 22671437 markings, 173172477 edges, 59837 markings/sec, 370 secs
lola: 104 tries, 103597243 fired transitions, 375 secs || 22972989 markings, 175455041 edges, 60310 markings/sec, 375 secs
lola: 105 tries, 104969411 fired transitions, 380 secs || 23274687 markings, 177743264 edges, 60340 markings/sec, 380 secs
lola: 107 tries, 106334305 fired transitions, 385 secs || 23576395 markings, 180031523 edges, 60342 markings/sec, 385 secs
lola: 108 tries, 107707109 fired transitions, 390 secs || 23878626 markings, 182318912 edges, 60446 markings/sec, 390 secs
lola: 110 tries, 109078379 fired transitions, 395 secs || 24179293 markings, 184604113 edges, 60133 markings/sec, 395 secs
lola: 111 tries, 110450955 fired transitions, 400 secs || 24480928 markings, 186887390 edges, 60327 markings/sec, 400 secs
lola: 112 tries, 111821126 fired transitions, 405 secs || 24781248 markings, 189167412 edges, 60064 markings/sec, 405 secs
lola: 114 tries, 113192373 fired transitions, 410 secs || 25081931 markings, 191449134 edges, 60137 markings/sec, 410 secs
lola: 115 tries, 114564789 fired transitions, 415 secs || 25383519 markings, 193728432 edges, 60318 markings/sec, 415 secs
lola: 116 tries, 115938383 fired transitions, 420 secs || 25683428 markings, 196014248 edges, 59982 markings/sec, 420 secs
lola: 118 tries, 117309237 fired transitions, 425 secs || 25984616 markings, 198294391 edges, 60238 markings/sec, 425 secs
lola: 119 tries, 118681426 fired transitions, 430 secs || 26284024 markings, 200580215 edges, 59882 markings/sec, 430 secs
lola: 121 tries, 120053953 fired transitions, 435 secs || 26585214 markings, 202862622 edges, 60238 markings/sec, 435 secs
lola: 122 tries, 121425251 fired transitions, 440 secs || 26885826 markings, 205141707 edges, 60122 markings/sec, 440 secs
lola: 123 tries, 122798463 fired transitions, 445 secs || 27186734 markings, 207417075 edges, 60182 markings/sec, 445 secs
lola: 125 tries, 124168023 fired transitions, 450 secs || 27489150 markings, 209698216 edges, 60483 markings/sec, 450 secs
lola: 126 tries, 125540045 fired transitions, 455 secs || 27789852 markings, 211971881 edges, 60140 markings/sec, 455 secs
lola: 127 tries, 126910855 fired transitions, 460 secs || 28091693 markings, 214245787 edges, 60368 markings/sec, 460 secs
lola: 129 tries, 128282331 fired transitions, 465 secs || 28392471 markings, 216519752 edges, 60156 markings/sec, 465 secs
lola: 130 tries, 129656594 fired transitions, 470 secs || 28692189 markings, 218791749 edges, 59944 markings/sec, 470 secs
lola: 132 tries, 131030061 fired transitions, 475 secs || 28993011 markings, 221068993 edges, 60164 markings/sec, 475 secs
lola: 133 tries, 132405199 fired transitions, 480 secs || 29293089 markings, 223337864 edges, 60016 markings/sec, 480 secs
lola: 134 tries, 133777971 fired transitions, 485 secs || 29593436 markings, 225613155 edges, 60069 markings/sec, 485 secs
lola: 136 tries, 135152697 fired transitions, 490 secs || 29895421 markings, 227879789 edges, 60397 markings/sec, 490 secs
lola: 137 tries, 136527029 fired transitions, 495 secs || 30196657 markings, 230151762 edges, 60247 markings/sec, 495 secs
lola: 138 tries, 137902365 fired transitions, 500 secs || 30496627 markings, 232417489 edges, 59994 markings/sec, 500 secs
lola: 140 tries, 139275689 fired transitions, 505 secs || 30794802 markings, 234687616 edges, 59635 markings/sec, 505 secs
lola: 141 tries, 140651269 fired transitions, 510 secs || 31095305 markings, 236948562 edges, 60101 markings/sec, 510 secs
lola: 143 tries, 142026440 fired transitions, 515 secs || 31394493 markings, 239214746 edges, 59838 markings/sec, 515 secs
lola: 144 tries, 143401035 fired transitions, 520 secs || 31693826 markings, 241483777 edges, 59867 markings/sec, 520 secs
lola: 145 tries, 144774792 fired transitions, 525 secs || 31993701 markings, 243749607 edges, 59975 markings/sec, 525 secs
lola: 147 tries, 146148195 fired transitions, 530 secs || 32293891 markings, 246010600 edges, 60038 markings/sec, 530 secs
lola: 148 tries, 147522949 fired transitions, 535 secs || 32594236 markings, 248274019 edges, 60069 markings/sec, 535 secs
lola: 149 tries, 148898096 fired transitions, 540 secs || 32894093 markings, 250537388 edges, 59971 markings/sec, 540 secs
lola: 151 tries, 150273482 fired transitions, 545 secs || 33194233 markings, 252803820 edges, 60028 markings/sec, 545 secs
lola: 152 tries, 151646379 fired transitions, 550 secs || 33495686 markings, 255065066 edges, 60291 markings/sec, 550 secs
lola: 154 tries, 153017917 fired transitions, 555 secs || 33794399 markings, 257324233 edges, 59743 markings/sec, 555 secs
lola: 155 tries, 154391143 fired transitions, 560 secs || 34094648 markings, 259583275 edges, 60050 markings/sec, 560 secs
lola: 156 tries, 155763779 fired transitions, 565 secs || 34393750 markings, 261842064 edges, 59820 markings/sec, 565 secs
lola: 158 tries, 157138869 fired transitions, 570 secs || 34693171 markings, 264100556 edges, 59884 markings/sec, 570 secs
lola: 159 tries, 158514037 fired transitions, 575 secs || 34992442 markings, 266356808 edges, 59854 markings/sec, 575 secs
lola: 160 tries, 159888767 fired transitions, 580 secs || 35290628 markings, 268610733 edges, 59637 markings/sec, 580 secs
lola: 162 tries, 161263801 fired transitions, 585 secs || 35590156 markings, 270866363 edges, 59906 markings/sec, 585 secs
lola: 163 tries, 162636271 fired transitions, 590 secs || 35889486 markings, 273116896 edges, 59866 markings/sec, 590 secs
lola: 165 tries, 164011235 fired transitions, 595 secs || 36188675 markings, 275377383 edges, 59838 markings/sec, 595 secs
lola: 166 tries, 165384171 fired transitions, 600 secs || 36487404 markings, 277623238 edges, 59746 markings/sec, 600 secs
lola: 167 tries, 166760357 fired transitions, 605 secs || 36784956 markings, 279873067 edges, 59510 markings/sec, 605 secs
lola: 169 tries, 168136297 fired transitions, 610 secs || 37084276 markings, 282126733 edges, 59864 markings/sec, 610 secs
lola: 170 tries, 169510329 fired transitions, 615 secs || 37383047 markings, 284378602 edges, 59754 markings/sec, 615 secs
lola: 171 tries, 170884671 fired transitions, 620 secs || 37683121 markings, 286631405 edges, 60015 markings/sec, 620 secs
lola: 173 tries, 172258045 fired transitions, 625 secs || 37981582 markings, 288874521 edges, 59692 markings/sec, 625 secs
lola: 174 tries, 173633000 fired transitions, 630 secs || 38281040 markings, 291120190 edges, 59892 markings/sec, 630 secs
lola: 176 tries, 175008422 fired transitions, 635 secs || 38579554 markings, 293366451 edges, 59703 markings/sec, 635 secs
lola: 177 tries, 176384980 fired transitions, 640 secs || 38878722 markings, 295615991 edges, 59834 markings/sec, 640 secs
lola: 178 tries, 177762705 fired transitions, 645 secs || 39177376 markings, 297860412 edges, 59731 markings/sec, 645 secs
lola: 180 tries, 179138179 fired transitions, 650 secs || 39475781 markings, 300113091 edges, 59681 markings/sec, 650 secs
lola: 181 tries, 180511471 fired transitions, 655 secs || 39773292 markings, 302356467 edges, 59502 markings/sec, 655 secs
lola: 182 tries, 181888071 fired transitions, 660 secs || 40070616 markings, 304598236 edges, 59465 markings/sec, 660 secs
lola: 184 tries, 183263875 fired transitions, 665 secs || 40368806 markings, 306834922 edges, 59638 markings/sec, 665 secs
lola: 185 tries, 184638326 fired transitions, 670 secs || 40667301 markings, 309077682 edges, 59699 markings/sec, 670 secs
lola: 187 tries, 186011617 fired transitions, 675 secs || 40966083 markings, 311314554 edges, 59756 markings/sec, 675 secs
lola: 188 tries, 187388943 fired transitions, 680 secs || 41263656 markings, 313560035 edges, 59515 markings/sec, 680 secs
lola: 189 tries, 188757726 fired transitions, 685 secs || 41561343 markings, 315797811 edges, 59537 markings/sec, 685 secs
lola: 191 tries, 190133739 fired transitions, 690 secs || 41858951 markings, 318034602 edges, 59522 markings/sec, 690 secs
lola: 192 tries, 191508562 fired transitions, 695 secs || 42157306 markings, 320275894 edges, 59671 markings/sec, 695 secs
lola: 193 tries, 192882763 fired transitions, 700 secs || 42454501 markings, 322513374 edges, 59439 markings/sec, 700 secs
lola: 195 tries, 194257653 fired transitions, 705 secs || 42752980 markings, 324756642 edges, 59696 markings/sec, 705 secs
lola: 196 tries, 195633873 fired transitions, 710 secs || 43050553 markings, 326998527 edges, 59515 markings/sec, 710 secs
lola: 198 tries, 197009057 fired transitions, 715 secs || 43348607 markings, 329235997 edges, 59611 markings/sec, 715 secs
lola: 199 tries, 198383905 fired transitions, 720 secs || 43646863 markings, 331470455 edges, 59651 markings/sec, 720 secs
lola: 200 tries, 199755215 fired transitions, 725 secs || 43944496 markings, 333706385 edges, 59527 markings/sec, 725 secs
lola: 202 tries, 201129740 fired transitions, 730 secs || 44242978 markings, 335941763 edges, 59696 markings/sec, 730 secs
lola: 203 tries, 202501011 fired transitions, 735 secs || 44541416 markings, 338178215 edges, 59688 markings/sec, 735 secs
lola: 204 tries, 203873123 fired transitions, 740 secs || 44840318 markings, 340415528 edges, 59780 markings/sec, 740 secs
lola: 206 tries, 205195041 fired transitions, 745 secs || 45106278 markings, 342400317 edges, 53192 markings/sec, 745 secs
lola: 207 tries, 206498603 fired transitions, 750 secs || 45378366 markings, 344435648 edges, 54418 markings/sec, 750 secs
lola: 208 tries, 207801633 fired transitions, 755 secs || 45652177 markings, 346486371 edges, 54762 markings/sec, 755 secs
lola: 210 tries, 209103931 fired transitions, 760 secs || 45922648 markings, 348514096 edges, 54094 markings/sec, 760 secs
lola: 211 tries, 210404203 fired transitions, 765 secs || 46195237 markings, 350544150 edges, 54518 markings/sec, 765 secs
lola: 212 tries, 211703827 fired transitions, 770 secs || 46466387 markings, 352572345 edges, 54230 markings/sec, 770 secs
lola: 214 tries, 213006400 fired transitions, 775 secs || 46741908 markings, 354618886 edges, 55104 markings/sec, 775 secs
lola: 215 tries, 214309543 fired transitions, 780 secs || 47017378 markings, 356681522 edges, 55094 markings/sec, 780 secs
lola: 216 tries, 215614004 fired transitions, 785 secs || 47291586 markings, 358731202 edges, 54842 markings/sec, 785 secs
lola: 217 tries, 216915165 fired transitions, 790 secs || 47566668 markings, 360783538 edges, 55016 markings/sec, 790 secs
lola: 219 tries, 218216021 fired transitions, 795 secs || 47837559 markings, 362811112 edges, 54178 markings/sec, 795 secs
lola: 220 tries, 219519843 fired transitions, 800 secs || 48112900 markings, 364867248 edges, 55068 markings/sec, 800 secs
lola: 221 tries, 220824799 fired transitions, 805 secs || 48386626 markings, 366908177 edges, 54745 markings/sec, 805 secs
lola: 223 tries, 222128471 fired transitions, 810 secs || 48659096 markings, 368952409 edges, 54494 markings/sec, 810 secs
lola: 224 tries, 223435238 fired transitions, 815 secs || 48932716 markings, 370982476 edges, 54724 markings/sec, 815 secs
lola: 225 tries, 224736461 fired transitions, 820 secs || 49206907 markings, 373031140 edges, 54838 markings/sec, 820 secs
lola: 227 tries, 226040747 fired transitions, 825 secs || 49481119 markings, 375077922 edges, 54842 markings/sec, 825 secs
lola: 228 tries, 227346163 fired transitions, 830 secs || 49754222 markings, 377120532 edges, 54621 markings/sec, 830 secs
lola: 229 tries, 228652573 fired transitions, 835 secs || 50027617 markings, 379162913 edges, 54679 markings/sec, 835 secs
lola: 230 tries, 229958902 fired transitions, 840 secs || 50301252 markings, 381204605 edges, 54727 markings/sec, 840 secs
lola: 232 tries, 231265355 fired transitions, 845 secs || 50572540 markings, 383237606 edges, 54258 markings/sec, 845 secs
lola: 233 tries, 232571192 fired transitions, 850 secs || 50843619 markings, 385259902 edges, 54216 markings/sec, 850 secs
lola: 234 tries, 233875538 fired transitions, 855 secs || 51117636 markings, 387310049 edges, 54803 markings/sec, 855 secs
lola: 236 tries, 235180361 fired transitions, 860 secs || 51390841 markings, 389341332 edges, 54641 markings/sec, 860 secs
lola: 237 tries, 236487663 fired transitions, 865 secs || 51664413 markings, 391385606 edges, 54714 markings/sec, 865 secs
lola: 238 tries, 237791315 fired transitions, 870 secs || 51939437 markings, 393438855 edges, 55005 markings/sec, 870 secs
lola: 240 tries, 239134997 fired transitions, 875 secs || 52226957 markings, 395576568 edges, 57504 markings/sec, 875 secs
lola: 241 tries, 240580215 fired transitions, 880 secs || 52538241 markings, 397903190 edges, 62257 markings/sec, 880 secs
lola: 243 tries, 242027697 fired transitions, 885 secs || 52849164 markings, 400232406 edges, 62185 markings/sec, 885 secs
lola: 244 tries, 243468579 fired transitions, 890 secs || 53159456 markings, 402560733 edges, 62058 markings/sec, 890 secs
lola: 245 tries, 244903510 fired transitions, 895 secs || 53471531 markings, 404887456 edges, 62415 markings/sec, 895 secs
lola: 247 tries, 246337449 fired transitions, 900 secs || 53781856 markings, 407200560 edges, 62065 markings/sec, 900 secs
lola: 248 tries, 247774901 fired transitions, 905 secs || 54092781 markings, 409520763 edges, 62185 markings/sec, 905 secs
lola: 250 tries, 249218579 fired transitions, 910 secs || 54406685 markings, 411854945 edges, 62781 markings/sec, 910 secs
lola: 251 tries, 250662165 fired transitions, 915 secs || 54718512 markings, 414190376 edges, 62365 markings/sec, 915 secs
lola: 253 tries, 252106108 fired transitions, 920 secs || 55031927 markings, 416521177 edges, 62683 markings/sec, 920 secs
lola: 254 tries, 253549401 fired transitions, 925 secs || 55344628 markings, 418853878 edges, 62540 markings/sec, 925 secs
lola: 255 tries, 254992736 fired transitions, 930 secs || 55658368 markings, 421186054 edges, 62748 markings/sec, 930 secs
lola: 257 tries, 256437967 fired transitions, 935 secs || 55970182 markings, 423512002 edges, 62363 markings/sec, 935 secs
lola: 258 tries, 257882505 fired transitions, 940 secs || 56282620 markings, 425842692 edges, 62488 markings/sec, 940 secs
lola: 260 tries, 259324875 fired transitions, 945 secs || 56595760 markings, 428175088 edges, 62628 markings/sec, 945 secs
lola: 261 tries, 260771425 fired transitions, 950 secs || 56908720 markings, 430501179 edges, 62592 markings/sec, 950 secs
lola: 263 tries, 262215767 fired transitions, 955 secs || 57220123 markings, 432832433 edges, 62281 markings/sec, 955 secs
lola: 264 tries, 263660710 fired transitions, 960 secs || 57532581 markings, 435151454 edges, 62492 markings/sec, 960 secs
lola: 266 tries, 265105191 fired transitions, 965 secs || 57845443 markings, 437484468 edges, 62572 markings/sec, 965 secs
lola: 267 tries, 266551167 fired transitions, 970 secs || 58157892 markings, 439808516 edges, 62490 markings/sec, 970 secs
lola: 268 tries, 267994165 fired transitions, 975 secs || 58469549 markings, 442136957 edges, 62331 markings/sec, 975 secs
lola: 270 tries, 269439023 fired transitions, 980 secs || 58781293 markings, 444461407 edges, 62349 markings/sec, 980 secs
lola: 271 tries, 270882776 fired transitions, 985 secs || 59092774 markings, 446785870 edges, 62296 markings/sec, 985 secs
lola: 273 tries, 272327011 fired transitions, 990 secs || 59405778 markings, 449108290 edges, 62601 markings/sec, 990 secs
lola: 274 tries, 273771775 fired transitions, 995 secs || 59718375 markings, 451433007 edges, 62519 markings/sec, 995 secs
lola: 276 tries, 275218863 fired transitions, 1000 secs || 60029992 markings, 453752347 edges, 62323 markings/sec, 1000 secs
lola: 277 tries, 276664827 fired transitions, 1005 secs || 60341717 markings, 456078547 edges, 62345 markings/sec, 1005 secs
lola: 279 tries, 278111179 fired transitions, 1010 secs || 60654823 markings, 458399459 edges, 62621 markings/sec, 1010 secs
lola: 280 tries, 279555007 fired transitions, 1015 secs || 60966490 markings, 460720774 edges, 62333 markings/sec, 1015 secs
lola: 281 tries, 280998287 fired transitions, 1020 secs || 61279904 markings, 463042942 edges, 62683 markings/sec, 1020 secs
lola: 283 tries, 282442737 fired transitions, 1025 secs || 61591593 markings, 465358759 edges, 62338 markings/sec, 1025 secs
lola: 284 tries, 283887921 fired transitions, 1030 secs || 61903531 markings, 467677561 edges, 62388 markings/sec, 1030 secs
lola: 286 tries, 285333323 fired transitions, 1035 secs || 62215351 markings, 469993959 edges, 62364 markings/sec, 1035 secs
lola: 287 tries, 286779011 fired transitions, 1040 secs || 62527944 markings, 472311771 edges, 62519 markings/sec, 1040 secs
lola: 289 tries, 288224141 fired transitions, 1045 secs || 62840419 markings, 474630169 edges, 62495 markings/sec, 1045 secs
lola: 290 tries, 289667913 fired transitions, 1050 secs || 63152879 markings, 476946193 edges, 62492 markings/sec, 1050 secs
lola: 292 tries, 291114141 fired transitions, 1055 secs || 63465223 markings, 479259419 edges, 62469 markings/sec, 1055 secs
lola: 293 tries, 292561051 fired transitions, 1060 secs || 63776809 markings, 481571355 edges, 62317 markings/sec, 1060 secs
lola: 295 tries, 294006511 fired transitions, 1065 secs || 64088253 markings, 483887342 edges, 62289 markings/sec, 1065 secs
lola: 296 tries, 295452459 fired transitions, 1070 secs || 64399122 markings, 486202899 edges, 62174 markings/sec, 1070 secs
lola: 297 tries, 296897508 fired transitions, 1075 secs || 64711352 markings, 488514104 edges, 62446 markings/sec, 1075 secs
lola: 299 tries, 298342305 fired transitions, 1080 secs || 65023539 markings, 490832435 edges, 62437 markings/sec, 1080 secs
lola: 300 tries, 299787241 fired transitions, 1085 secs || 65336656 markings, 493147774 edges, 62623 markings/sec, 1085 secs
lola: 302 tries, 301231119 fired transitions, 1090 secs || 65647783 markings, 495461809 edges, 62225 markings/sec, 1090 secs
lola: 303 tries, 302675243 fired transitions, 1095 secs || 65959238 markings, 497771128 edges, 62291 markings/sec, 1095 secs
lola: 305 tries, 304116859 fired transitions, 1100 secs || 66270929 markings, 500079733 edges, 62338 markings/sec, 1100 secs
lola: 306 tries, 305559653 fired transitions, 1105 secs || 66583139 markings, 502387426 edges, 62442 markings/sec, 1105 secs
lola: 308 tries, 307001123 fired transitions, 1110 secs || 66894201 markings, 504697739 edges, 62212 markings/sec, 1110 secs
lola: 309 tries, 308446263 fired transitions, 1115 secs || 67205737 markings, 507006272 edges, 62307 markings/sec, 1115 secs
lola: 310 tries, 309891835 fired transitions, 1120 secs || 67518795 markings, 509317534 edges, 62612 markings/sec, 1120 secs
lola: 312 tries, 311338925 fired transitions, 1125 secs || 67829766 markings, 511623578 edges, 62194 markings/sec, 1125 secs
lola: 313 tries, 312784069 fired transitions, 1130 secs || 68142295 markings, 513931999 edges, 62506 markings/sec, 1130 secs
lola: 315 tries, 314230187 fired transitions, 1135 secs || 68454469 markings, 516233421 edges, 62435 markings/sec, 1135 secs
lola: 316 tries, 315675172 fired transitions, 1140 secs || 68765753 markings, 518539773 edges, 62257 markings/sec, 1140 secs
lola: 318 tries, 317121965 fired transitions, 1145 secs || 69078190 markings, 520851094 edges, 62487 markings/sec, 1145 secs
lola: 319 tries, 318569060 fired transitions, 1150 secs || 69389380 markings, 523150515 edges, 62238 markings/sec, 1150 secs
lola: 321 tries, 320014991 fired transitions, 1155 secs || 69701947 markings, 525449541 edges, 62513 markings/sec, 1155 secs
lola: 322 tries, 321460913 fired transitions, 1160 secs || 70015256 markings, 527754361 edges, 62662 markings/sec, 1160 secs
lola: 323 tries, 322905689 fired transitions, 1165 secs || 70327757 markings, 530059894 edges, 62500 markings/sec, 1165 secs
lola: 325 tries, 324351236 fired transitions, 1170 secs || 70639290 markings, 532367371 edges, 62307 markings/sec, 1170 secs
lola: 326 tries, 325797145 fired transitions, 1175 secs || 70949712 markings, 534680301 edges, 62084 markings/sec, 1175 secs
lola: 328 tries, 327241415 fired transitions, 1180 secs || 71262267 markings, 536984359 edges, 62511 markings/sec, 1180 secs
lola: 329 tries, 328687059 fired transitions, 1185 secs || 71573254 markings, 539290050 edges, 62197 markings/sec, 1185 secs
lola: 331 tries, 330132983 fired transitions, 1190 secs || 71884458 markings, 541583494 edges, 62241 markings/sec, 1190 secs
lola: 332 tries, 331578753 fired transitions, 1195 secs || 72197403 markings, 543881782 edges, 62589 markings/sec, 1195 secs
lola: 334 tries, 333025219 fired transitions, 1200 secs || 72508903 markings, 546177447 edges, 62300 markings/sec, 1200 secs
lola: 335 tries, 334469833 fired transitions, 1205 secs || 72820089 markings, 548472710 edges, 62237 markings/sec, 1205 secs
lola: 336 tries, 335916522 fired transitions, 1210 secs || 73133067 markings, 550767583 edges, 62596 markings/sec, 1210 secs
lola: 338 tries, 337362336 fired transitions, 1215 secs || 73443896 markings, 553063744 edges, 62166 markings/sec, 1215 secs
lola: 339 tries, 338807887 fired transitions, 1220 secs || 73754632 markings, 555363454 edges, 62147 markings/sec, 1220 secs
lola: 341 tries, 340253621 fired transitions, 1225 secs || 74066641 markings, 557654707 edges, 62402 markings/sec, 1225 secs
lola: 342 tries, 341698118 fired transitions, 1230 secs || 74379874 markings, 559948902 edges, 62647 markings/sec, 1230 secs
lola: 344 tries, 343143642 fired transitions, 1235 secs || 74691801 markings, 562241442 edges, 62385 markings/sec, 1235 secs
lola: 345 tries, 344589355 fired transitions, 1240 secs || 75001803 markings, 564532264 edges, 62000 markings/sec, 1240 secs
lola: 347 tries, 346034905 fired transitions, 1245 secs || 75314064 markings, 566833411 edges, 62452 markings/sec, 1245 secs
lola: 348 tries, 347481917 fired transitions, 1250 secs || 75624432 markings, 569127992 edges, 62074 markings/sec, 1250 secs
lola: 349 tries, 348929481 fired transitions, 1255 secs || 75936453 markings, 571422079 edges, 62404 markings/sec, 1255 secs
lola: 351 tries, 350375493 fired transitions, 1260 secs || 76247242 markings, 573714877 edges, 62158 markings/sec, 1260 secs
lola: 352 tries, 351825995 fired transitions, 1265 secs || 76557712 markings, 576017479 edges, 62094 markings/sec, 1265 secs
lola: 354 tries, 353272037 fired transitions, 1270 secs || 76868912 markings, 578309265 edges, 62240 markings/sec, 1270 secs
lola: 355 tries, 354718898 fired transitions, 1275 secs || 77181004 markings, 580606272 edges, 62418 markings/sec, 1275 secs
lola: 357 tries, 356165583 fired transitions, 1280 secs || 77492277 markings, 582896858 edges, 62255 markings/sec, 1280 secs
lola: 358 tries, 357607367 fired transitions, 1285 secs || 77803386 markings, 585188116 edges, 62222 markings/sec, 1285 secs
lola: 360 tries, 359052289 fired transitions, 1290 secs || 78114537 markings, 587471447 edges, 62230 markings/sec, 1290 secs
lola: 361 tries, 360497594 fired transitions, 1295 secs || 78426837 markings, 589762555 edges, 62460 markings/sec, 1295 secs
lola: 362 tries, 361942901 fired transitions, 1300 secs || 78737709 markings, 592049789 edges, 62174 markings/sec, 1300 secs
lola: 364 tries, 363387147 fired transitions, 1305 secs || 79048035 markings, 594340667 edges, 62065 markings/sec, 1305 secs
lola: 365 tries, 364832489 fired transitions, 1310 secs || 79360358 markings, 596625658 edges, 62465 markings/sec, 1310 secs
lola: 367 tries, 366278527 fired transitions, 1315 secs || 79670620 markings, 598916643 edges, 62052 markings/sec, 1315 secs
lola: 368 tries, 367725429 fired transitions, 1320 secs || 79982239 markings, 601199208 edges, 62324 markings/sec, 1320 secs
lola: 370 tries, 369169733 fired transitions, 1325 secs || 80293914 markings, 603491865 edges, 62335 markings/sec, 1325 secs
lola: 371 tries, 370614633 fired transitions, 1330 secs || 80604949 markings, 605777364 edges, 62207 markings/sec, 1330 secs
lola: 373 tries, 372061243 fired transitions, 1335 secs || 80915226 markings, 608057686 edges, 62055 markings/sec, 1335 secs
lola: 374 tries, 373507641 fired transitions, 1340 secs || 81227074 markings, 610336076 edges, 62370 markings/sec, 1340 secs
lola: 375 tries, 374953231 fired transitions, 1345 secs || 81537913 markings, 612620791 edges, 62168 markings/sec, 1345 secs
lola: 377 tries, 376399512 fired transitions, 1350 secs || 81848577 markings, 614905738 edges, 62133 markings/sec, 1350 secs
lola: 378 tries, 377844629 fired transitions, 1355 secs || 82161211 markings, 617183010 edges, 62527 markings/sec, 1355 secs
lola: 380 tries, 379289493 fired transitions, 1360 secs || 82472183 markings, 619471693 edges, 62194 markings/sec, 1360 secs
lola: 381 tries, 380734461 fired transitions, 1365 secs || 82782972 markings, 621749540 edges, 62158 markings/sec, 1365 secs
lola: 383 tries, 382180942 fired transitions, 1370 secs || 83093380 markings, 624026832 edges, 62082 markings/sec, 1370 secs
lola: 384 tries, 383627941 fired transitions, 1375 secs || 83403400 markings, 626298825 edges, 62004 markings/sec, 1375 secs
lola: 386 tries, 385075603 fired transitions, 1380 secs || 83714559 markings, 628579054 edges, 62232 markings/sec, 1380 secs
lola: 387 tries, 386521696 fired transitions, 1385 secs || 84025454 markings, 630857633 edges, 62179 markings/sec, 1385 secs
lola: 388 tries, 387969190 fired transitions, 1390 secs || 84337119 markings, 633135482 edges, 62333 markings/sec, 1390 secs
lola: 390 tries, 389415879 fired transitions, 1395 secs || 84647788 markings, 635409852 edges, 62134 markings/sec, 1395 secs
lola: 391 tries, 390861068 fired transitions, 1400 secs || 84959413 markings, 637683416 edges, 62325 markings/sec, 1400 secs
lola: 393 tries, 392305057 fired transitions, 1405 secs || 85270647 markings, 639956741 edges, 62247 markings/sec, 1405 secs
lola: 394 tries, 393749497 fired transitions, 1410 secs || 85581091 markings, 642230982 edges, 62089 markings/sec, 1410 secs
lola: 396 tries, 395194869 fired transitions, 1415 secs || 85891381 markings, 644499835 edges, 62058 markings/sec, 1415 secs
lola: 397 tries, 396640185 fired transitions, 1420 secs || 86201858 markings, 646768361 edges, 62095 markings/sec, 1420 secs
lola: 399 tries, 398087541 fired transitions, 1425 secs || 86513036 markings, 649040300 edges, 62236 markings/sec, 1425 secs
lola: 400 tries, 399535112 fired transitions, 1430 secs || 86824492 markings, 651313823 edges, 62291 markings/sec, 1430 secs
lola: 401 tries, 400979821 fired transitions, 1435 secs || 87135183 markings, 653584187 edges, 62138 markings/sec, 1435 secs
lola: 403 tries, 402422988 fired transitions, 1440 secs || 87446541 markings, 655860767 edges, 62272 markings/sec, 1440 secs
lola: 404 tries, 403866925 fired transitions, 1445 secs || 87756836 markings, 658133885 edges, 62059 markings/sec, 1445 secs
lola: 406 tries, 405309965 fired transitions, 1450 secs || 88067165 markings, 660402803 edges, 62066 markings/sec, 1450 secs
lola: 407 tries, 406753614 fired transitions, 1455 secs || 88379298 markings, 662673512 edges, 62427 markings/sec, 1455 secs
lola: 409 tries, 408197217 fired transitions, 1460 secs || 88690622 markings, 664940348 edges, 62265 markings/sec, 1460 secs
lola: 410 tries, 409642221 fired transitions, 1465 secs || 89001915 markings, 667212266 edges, 62259 markings/sec, 1465 secs
lola: 412 tries, 411088573 fired transitions, 1470 secs || 89311526 markings, 669482575 edges, 61922 markings/sec, 1470 secs
lola: 413 tries, 412534757 fired transitions, 1475 secs || 89622405 markings, 671750948 edges, 62176 markings/sec, 1475 secs
lola: 414 tries, 413981604 fired transitions, 1480 secs || 89933063 markings, 674018022 edges, 62132 markings/sec, 1480 secs
lola: 416 tries, 415429193 fired transitions, 1485 secs || 90243874 markings, 676280664 edges, 62162 markings/sec, 1485 secs
lola: 417 tries, 416876300 fired transitions, 1490 secs || 90554881 markings, 678545714 edges, 62201 markings/sec, 1490 secs
lola: 419 tries, 418321626 fired transitions, 1495 secs || 90865939 markings, 680808050 edges, 62212 markings/sec, 1495 secs
lola: 420 tries, 419768201 fired transitions, 1500 secs || 91176320 markings, 683076556 edges, 62076 markings/sec, 1500 secs
lola: 422 tries, 421216033 fired transitions, 1505 secs || 91487351 markings, 685344711 edges, 62206 markings/sec, 1505 secs
lola: 423 tries, 422663303 fired transitions, 1510 secs || 91799009 markings, 687605269 edges, 62332 markings/sec, 1510 secs
lola: 425 tries, 424110953 fired transitions, 1515 secs || 92108805 markings, 689860062 edges, 61959 markings/sec, 1515 secs
lola: 426 tries, 425556389 fired transitions, 1520 secs || 92420666 markings, 692123167 edges, 62372 markings/sec, 1520 secs
lola: 428 tries, 427003659 fired transitions, 1525 secs || 92732436 markings, 694378287 edges, 62354 markings/sec, 1525 secs
lola: 429 tries, 428450487 fired transitions, 1530 secs || 93043267 markings, 696642083 edges, 62166 markings/sec, 1530 secs
lola: 430 tries, 429897377 fired transitions, 1535 secs || 93352939 markings, 698905200 edges, 61934 markings/sec, 1535 secs
lola: 432 tries, 431345427 fired transitions, 1540 secs || 93663879 markings, 701166658 edges, 62188 markings/sec, 1540 secs
lola: 433 tries, 432792336 fired transitions, 1545 secs || 93973664 markings, 703420982 edges, 61957 markings/sec, 1545 secs
lola: 435 tries, 434237401 fired transitions, 1550 secs || 94284505 markings, 705685799 edges, 62168 markings/sec, 1550 secs
lola: 436 tries, 435680983 fired transitions, 1555 secs || 94594588 markings, 707945632 edges, 62017 markings/sec, 1555 secs
lola: 438 tries, 437125510 fired transitions, 1560 secs || 94905017 markings, 710208795 edges, 62086 markings/sec, 1560 secs
lola: 439 tries, 438568063 fired transitions, 1565 secs || 95216543 markings, 712466619 edges, 62305 markings/sec, 1565 secs
lola: 441 tries, 440011932 fired transitions, 1570 secs || 95526340 markings, 714723525 edges, 61959 markings/sec, 1570 secs
lola: 442 tries, 441455735 fired transitions, 1575 secs || 95837029 markings, 716991472 edges, 62138 markings/sec, 1575 secs
lola: 443 tries, 442898385 fired transitions, 1580 secs || 96148182 markings, 719252564 edges, 62231 markings/sec, 1580 secs
lola: 445 tries, 444336179 fired transitions, 1585 secs || 96459392 markings, 721510407 edges, 62242 markings/sec, 1585 secs
lola: 446 tries, 445779951 fired transitions, 1590 secs || 96769688 markings, 723769938 edges, 62059 markings/sec, 1590 secs
lola: 448 tries, 447224991 fired transitions, 1595 secs || 97080894 markings, 726028656 edges, 62241 markings/sec, 1595 secs
lola: 449 tries, 448669535 fired transitions, 1600 secs || 97390195 markings, 728283001 edges, 61860 markings/sec, 1600 secs
lola: 451 tries, 450114177 fired transitions, 1605 secs || 97700468 markings, 730526850 edges, 62055 markings/sec, 1605 secs
lola: 452 tries, 451560461 fired transitions, 1610 secs || 98009790 markings, 732786386 edges, 61864 markings/sec, 1610 secs
lola: 454 tries, 453005275 fired transitions, 1615 secs || 98320036 markings, 735041742 edges, 62049 markings/sec, 1615 secs
lola: 455 tries, 454449238 fired transitions, 1620 secs || 98630326 markings, 737299488 edges, 62058 markings/sec, 1620 secs
lola: 456 tries, 455895455 fired transitions, 1625 secs || 98940252 markings, 739547365 edges, 61985 markings/sec, 1625 secs
lola: 458 tries, 457340189 fired transitions, 1630 secs || 99250109 markings, 741792846 edges, 61971 markings/sec, 1630 secs
lola: 459 tries, 458784821 fired transitions, 1635 secs || 99560168 markings, 744042792 edges, 62012 markings/sec, 1635 secs
lola: 461 tries, 460232067 fired transitions, 1640 secs || 99870950 markings, 746294712 edges, 62156 markings/sec, 1640 secs
lola: 462 tries, 461679063 fired transitions, 1645 secs || 100181572 markings, 748537726 edges, 62124 markings/sec, 1645 secs
lola: 464 tries, 463124207 fired transitions, 1650 secs || 100491665 markings, 750781760 edges, 62019 markings/sec, 1650 secs
lola: 465 tries, 464569991 fired transitions, 1655 secs || 100801110 markings, 753027916 edges, 61889 markings/sec, 1655 secs
lola: 467 tries, 466015781 fired transitions, 1660 secs || 101111753 markings, 755282364 edges, 62129 markings/sec, 1660 secs
lola: 468 tries, 467462021 fired transitions, 1665 secs || 101422066 markings, 757526925 edges, 62063 markings/sec, 1665 secs
lola: 469 tries, 468907905 fired transitions, 1670 secs || 101732671 markings, 759778339 edges, 62121 markings/sec, 1670 secs
lola: 471 tries, 470354545 fired transitions, 1675 secs || 102041861 markings, 762018389 edges, 61838 markings/sec, 1675 secs
lola: 472 tries, 471799757 fired transitions, 1680 secs || 102352512 markings, 764254821 edges, 62130 markings/sec, 1680 secs
lola: 474 tries, 473245667 fired transitions, 1685 secs || 102663519 markings, 766499164 edges, 62201 markings/sec, 1685 secs
lola: 475 tries, 474692665 fired transitions, 1690 secs || 102973607 markings, 768745842 edges, 62018 markings/sec, 1690 secs
lola: 477 tries, 476139309 fired transitions, 1695 secs || 103283058 markings, 770982960 edges, 61890 markings/sec, 1695 secs
lola: 478 tries, 477586313 fired transitions, 1700 secs || 103593715 markings, 773227627 edges, 62131 markings/sec, 1700 secs
lola: 480 tries, 479032873 fired transitions, 1705 secs || 103904294 markings, 775466979 edges, 62116 markings/sec, 1705 secs
lola: 481 tries, 480402791 fired transitions, 1710 secs || 104201647 markings, 777620806 edges, 59471 markings/sec, 1710 secs
lola: 482 tries, 481774259 fired transitions, 1715 secs || 104498982 markings, 779768387 edges, 59467 markings/sec, 1715 secs
lola: 484 tries, 483219477 fired transitions, 1720 secs || 104807140 markings, 782005466 edges, 61632 markings/sec, 1720 secs
lola: 485 tries, 484663845 fired transitions, 1725 secs || 105116776 markings, 784245720 edges, 61927 markings/sec, 1725 secs
lola: 487 tries, 486109228 fired transitions, 1730 secs || 105426246 markings, 786484197 edges, 61894 markings/sec, 1730 secs
lola: 488 tries, 487555803 fired transitions, 1735 secs || 105734834 markings, 788723842 edges, 61718 markings/sec, 1735 secs
lola: 489 tries, 488999867 fired transitions, 1740 secs || 106044389 markings, 790967621 edges, 61911 markings/sec, 1740 secs
lola: 491 tries, 490445143 fired transitions, 1745 secs || 106354738 markings, 793207904 edges, 62070 markings/sec, 1745 secs
lola: 492 tries, 491890943 fired transitions, 1750 secs || 106664138 markings, 795449728 edges, 61880 markings/sec, 1750 secs
lola: 494 tries, 493335271 fired transitions, 1755 secs || 106973667 markings, 797682004 edges, 61906 markings/sec, 1755 secs
lola: 495 tries, 494777978 fired transitions, 1760 secs || 107284483 markings, 799915416 edges, 62163 markings/sec, 1760 secs
lola: 497 tries, 496222909 fired transitions, 1765 secs || 107593547 markings, 802145391 edges, 61813 markings/sec, 1765 secs
lola: 498 tries, 497665877 fired transitions, 1770 secs || 107903302 markings, 804381850 edges, 61951 markings/sec, 1770 secs
lola: 500 tries, 499111385 fired transitions, 1775 secs || 108213961 markings, 806618536 edges, 62132 markings/sec, 1775 secs
lola: 501 tries, 500556099 fired transitions, 1780 secs || 108523739 markings, 808854809 edges, 61956 markings/sec, 1780 secs
lola: 503 tries, 502002952 fired transitions, 1785 secs || 108833749 markings, 811083587 edges, 62002 markings/sec, 1785 secs
lola: 504 tries, 503448385 fired transitions, 1790 secs || 109143851 markings, 813319014 edges, 62020 markings/sec, 1790 secs
lola: 505 tries, 504894511 fired transitions, 1795 secs || 109454267 markings, 815547603 edges, 62083 markings/sec, 1795 secs
lola: 507 tries, 506340314 fired transitions, 1800 secs || 109764338 markings, 817778806 edges, 62014 markings/sec, 1800 secs
lola: 508 tries, 507795021 fired transitions, 1805 secs || 110073730 markings, 820015995 edges, 61878 markings/sec, 1805 secs
lola: 510 tries, 509243959 fired transitions, 1810 secs || 110383359 markings, 822241595 edges, 61926 markings/sec, 1810 secs
lola: 511 tries, 510689553 fired transitions, 1815 secs || 110692817 markings, 824464779 edges, 61892 markings/sec, 1815 secs
lola: 513 tries, 512137489 fired transitions, 1820 secs || 111002089 markings, 826689264 edges, 61854 markings/sec, 1820 secs
lola: 514 tries, 513584543 fired transitions, 1825 secs || 111312415 markings, 828921375 edges, 62065 markings/sec, 1825 secs
lola: 516 tries, 515032293 fired transitions, 1830 secs || 111622255 markings, 831147975 edges, 61968 markings/sec, 1830 secs
lola: 517 tries, 516478241 fired transitions, 1835 secs || 111931450 markings, 833369191 edges, 61839 markings/sec, 1835 secs
lola: 518 tries, 517926791 fired transitions, 1840 secs || 112241463 markings, 835588501 edges, 62003 markings/sec, 1840 secs
lola: 520 tries, 519373634 fired transitions, 1845 secs || 112551439 markings, 837820238 edges, 61995 markings/sec, 1845 secs
lola: 521 tries, 520820747 fired transitions, 1850 secs || 112859886 markings, 840038271 edges, 61689 markings/sec, 1850 secs
lola: 523 tries, 522267715 fired transitions, 1855 secs || 113169273 markings, 842254610 edges, 61877 markings/sec, 1855 secs
lola: 524 tries, 523714030 fired transitions, 1860 secs || 113479570 markings, 844479221 edges, 62059 markings/sec, 1860 secs
lola: 526 tries, 525165427 fired transitions, 1865 secs || 113790654 markings, 846704617 edges, 62217 markings/sec, 1865 secs
lola: 527 tries, 526611895 fired transitions, 1870 secs || 114100143 markings, 848919689 edges, 61898 markings/sec, 1870 secs
lola: 529 tries, 528058657 fired transitions, 1875 secs || 114408609 markings, 851141934 edges, 61693 markings/sec, 1875 secs
lola: 530 tries, 529505826 fired transitions, 1880 secs || 114719308 markings, 853349352 edges, 62140 markings/sec, 1880 secs
lola: 531 tries, 530946809 fired transitions, 1885 secs || 115029117 markings, 855574762 edges, 61962 markings/sec, 1885 secs
lola: 533 tries, 532394461 fired transitions, 1890 secs || 115339178 markings, 857785907 edges, 62012 markings/sec, 1890 secs
lola: 534 tries, 533842385 fired transitions, 1895 secs || 115650199 markings, 860005906 edges, 62204 markings/sec, 1895 secs
lola: 536 tries, 535289663 fired transitions, 1900 secs || 115958933 markings, 862231968 edges, 61747 markings/sec, 1900 secs
lola: 537 tries, 536738017 fired transitions, 1905 secs || 116267547 markings, 864446269 edges, 61723 markings/sec, 1905 secs
lola: 539 tries, 538184375 fired transitions, 1910 secs || 116578455 markings, 866662014 edges, 62182 markings/sec, 1910 secs
lola: 540 tries, 539629797 fired transitions, 1915 secs || 116888526 markings, 868877858 edges, 62014 markings/sec, 1915 secs
lola: 542 tries, 541075753 fired transitions, 1920 secs || 117199679 markings, 871096490 edges, 62231 markings/sec, 1920 secs
lola: 543 tries, 542523607 fired transitions, 1925 secs || 117508836 markings, 873311833 edges, 61831 markings/sec, 1925 secs
lola: 544 tries, 543970431 fired transitions, 1930 secs || 117818712 markings, 875527781 edges, 61975 markings/sec, 1930 secs
lola: 546 tries, 545417692 fired transitions, 1935 secs || 118128495 markings, 877737306 edges, 61957 markings/sec, 1935 secs
lola: 547 tries, 546866207 fired transitions, 1940 secs || 118439454 markings, 879952567 edges, 62192 markings/sec, 1940 secs
lola: 549 tries, 548313327 fired transitions, 1945 secs || 118747893 markings, 882157662 edges, 61688 markings/sec, 1945 secs
lola: 550 tries, 549759837 fired transitions, 1950 secs || 119059451 markings, 884370172 edges, 62312 markings/sec, 1950 secs
lola: 552 tries, 551207727 fired transitions, 1955 secs || 119368430 markings, 886581345 edges, 61796 markings/sec, 1955 secs
lola: 553 tries, 552655779 fired transitions, 1960 secs || 119679914 markings, 888786072 edges, 62297 markings/sec, 1960 secs
lola: 555 tries, 554102067 fired transitions, 1965 secs || 119991001 markings, 890996180 edges, 62217 markings/sec, 1965 secs
lola: 556 tries, 555547704 fired transitions, 1970 secs || 120300280 markings, 893212262 edges, 61856 markings/sec, 1970 secs
lola: 557 tries, 556992831 fired transitions, 1975 secs || 120609285 markings, 895420924 edges, 61801 markings/sec, 1975 secs
lola: 559 tries, 558436779 fired transitions, 1980 secs || 120918039 markings, 897636592 edges, 61751 markings/sec, 1980 secs
lola: 560 tries, 559881300 fired transitions, 1985 secs || 121228872 markings, 899842462 edges, 62167 markings/sec, 1985 secs
lola: 562 tries, 561326211 fired transitions, 1990 secs || 121538375 markings, 902053375 edges, 61901 markings/sec, 1990 secs
lola: 563 tries, 562771715 fired transitions, 1995 secs || 121848700 markings, 904273602 edges, 62065 markings/sec, 1995 secs
lola: 565 tries, 564217359 fired transitions, 2000 secs || 122158964 markings, 906483772 edges, 62053 markings/sec, 2000 secs
lola: 566 tries, 565662384 fired transitions, 2005 secs || 122468562 markings, 908690926 edges, 61920 markings/sec, 2005 secs
lola: 568 tries, 567106397 fired transitions, 2010 secs || 122779498 markings, 910896488 edges, 62187 markings/sec, 2010 secs
lola: 569 tries, 568550747 fired transitions, 2015 secs || 123088436 markings, 913102933 edges, 61788 markings/sec, 2015 secs
lola: 570 tries, 569996110 fired transitions, 2020 secs || 123399082 markings, 915313116 edges, 62129 markings/sec, 2020 secs
lola: 572 tries, 571443261 fired transitions, 2025 secs || 123708067 markings, 917508094 edges, 61797 markings/sec, 2025 secs
lola: 573 tries, 572887805 fired transitions, 2030 secs || 124018146 markings, 919714543 edges, 62016 markings/sec, 2030 secs
lola: 575 tries, 574332905 fired transitions, 2035 secs || 124329007 markings, 921913788 edges, 62172 markings/sec, 2035 secs
lola: 576 tries, 575777358 fired transitions, 2040 secs || 124639647 markings, 924121141 edges, 62128 markings/sec, 2040 secs
lola: 578 tries, 577222381 fired transitions, 2045 secs || 124949207 markings, 926323893 edges, 61912 markings/sec, 2045 secs
lola: 579 tries, 578667428 fired transitions, 2050 secs || 125257700 markings, 928533336 edges, 61699 markings/sec, 2050 secs
lola: 581 tries, 580112239 fired transitions, 2055 secs || 125568330 markings, 930743089 edges, 62126 markings/sec, 2055 secs
lola: 582 tries, 581556015 fired transitions, 2060 secs || 125878436 markings, 932941663 edges, 62021 markings/sec, 2060 secs
lola: 584 tries, 583000219 fired transitions, 2065 secs || 126187619 markings, 935143553 edges, 61837 markings/sec, 2065 secs
lola: 585 tries, 584445457 fired transitions, 2070 secs || 126495146 markings, 937340850 edges, 61505 markings/sec, 2070 secs
lola: 586 tries, 585889311 fired transitions, 2075 secs || 126805414 markings, 939541256 edges, 62054 markings/sec, 2075 secs
lola: 588 tries, 587332649 fired transitions, 2080 secs || 127115736 markings, 941736641 edges, 62064 markings/sec, 2080 secs
lola: 589 tries, 588778015 fired transitions, 2085 secs || 127426079 markings, 943933713 edges, 62069 markings/sec, 2085 secs
lola: 591 tries, 590222679 fired transitions, 2090 secs || 127738007 markings, 946136028 edges, 62386 markings/sec, 2090 secs
lola: 592 tries, 591668565 fired transitions, 2095 secs || 128048100 markings, 948329036 edges, 62019 markings/sec, 2095 secs
lola: 594 tries, 593113595 fired transitions, 2100 secs || 128358523 markings, 950521490 edges, 62085 markings/sec, 2100 secs
lola: 595 tries, 594558877 fired transitions, 2105 secs || 128667850 markings, 952716315 edges, 61865 markings/sec, 2105 secs
lola: 597 tries, 596004617 fired transitions, 2110 secs || 128978486 markings, 954920699 edges, 62127 markings/sec, 2110 secs
lola: 598 tries, 597451329 fired transitions, 2115 secs || 129286533 markings, 957116498 edges, 61609 markings/sec, 2115 secs
lola: 599 tries, 598895453 fired transitions, 2120 secs || 129595936 markings, 959307180 edges, 61881 markings/sec, 2120 secs
lola: 601 tries, 600340359 fired transitions, 2125 secs || 129905746 markings, 961500381 edges, 61962 markings/sec, 2125 secs
lola: 602 tries, 601788361 fired transitions, 2130 secs || 130216416 markings, 963695263 edges, 62134 markings/sec, 2130 secs
lola: 604 tries, 603233781 fired transitions, 2135 secs || 130526194 markings, 965890054 edges, 61956 markings/sec, 2135 secs
lola: 605 tries, 604681009 fired transitions, 2140 secs || 130836607 markings, 968085093 edges, 62083 markings/sec, 2140 secs
lola: 607 tries, 606127196 fired transitions, 2145 secs || 131146417 markings, 970276848 edges, 61962 markings/sec, 2145 secs
lola: 608 tries, 607574455 fired transitions, 2150 secs || 131456130 markings, 972466605 edges, 61943 markings/sec, 2150 secs
lola: 610 tries, 609021745 fired transitions, 2155 secs || 131766584 markings, 974667214 edges, 62091 markings/sec, 2155 secs
lola: 611 tries, 610471073 fired transitions, 2160 secs || 132075962 markings, 976855832 edges, 61876 markings/sec, 2160 secs
lola: 612 tries, 611920226 fired transitions, 2165 secs || 132386258 markings, 979052086 edges, 62059 markings/sec, 2165 secs
lola: 614 tries, 613371782 fired transitions, 2170 secs || 132696473 markings, 981247779 edges, 62043 markings/sec, 2170 secs
lola: 615 tries, 614819689 fired transitions, 2175 secs || 133006103 markings, 983429790 edges, 61926 markings/sec, 2175 secs
lola: 617 tries, 616266723 fired transitions, 2180 secs || 133315760 markings, 985621628 edges, 61931 markings/sec, 2180 secs
lola: 618 tries, 617708415 fired transitions, 2185 secs || 133626574 markings, 987817953 edges, 62163 markings/sec, 2185 secs
lola: 620 tries, 619157771 fired transitions, 2190 secs || 133936423 markings, 990011531 edges, 61970 markings/sec, 2190 secs
lola: 621 tries, 620605815 fired transitions, 2195 secs || 134246176 markings, 992194956 edges, 61951 markings/sec, 2195 secs
lola: 623 tries, 622053754 fired transitions, 2200 secs || 134556089 markings, 994384262 edges, 61983 markings/sec, 2200 secs
lola: 624 tries, 623501932 fired transitions, 2205 secs || 134866396 markings, 996568453 edges, 62061 markings/sec, 2205 secs
lola: 625 tries, 624963055 fired transitions, 2210 secs || 135102366 markings, 998233994 edges, 47194 markings/sec, 2210 secs
lola: 627 tries, 626280355 fired transitions, 2215 secs || 135250152 markings, 999266948 edges, 29557 markings/sec, 2215 secs
lola: 627 tries, 626549922 fired transitions, 2220 secs || 135261944 markings, 999351129 edges, 2358 markings/sec, 2220 secs
lola: 627 tries, 626581303 fired transitions, 2225 secs || 135264952 markings, 999373222 edges, 602 markings/sec, 2225 secs
lola: 627 tries, 626581414 fired transitions, 2230 secs || 135264963 markings, 999373284 edges, 2 markings/sec, 2230 secs
lola: 627 tries, 626604537 fired transitions, 2235 secs || 135266028 markings, 999380735 edges, 213 markings/sec, 2235 secs
lola: 627 tries, 626713995 fired transitions, 2240 secs || 135270488 markings, 999412411 edges, 892 markings/sec, 2240 secs
lola: 628 tries, 627016050 fired transitions, 2245 secs || 135272444 markings, 999426195 edges, 391 markings/sec, 2245 secs
lola: 628 tries, 627089826 fired transitions, 2250 secs || 135272461 markings, 999426317 edges, 3 markings/sec, 2250 secs
lola: 628 tries, 627119520 fired transitions, 2255 secs || 135275513 markings, 999446725 edges, 610 markings/sec, 2255 secs
lola: 628 tries, 627119646 fired transitions, 2260 secs || 135275530 markings, 999446812 edges, 3 markings/sec, 2260 secs
lola: 628 tries, 627242509 fired transitions, 2265 secs || 135277698 markings, 999462439 edges, 434 markings/sec, 2265 secs
lola: 628 tries, 627261059 fired transitions, 2270 secs || 135278756 markings, 999469333 edges, 212 markings/sec, 2270 secs
lola: 628 tries, 627307511 fired transitions, 2275 secs || 135283748 markings, 999504146 edges, 998 markings/sec, 2275 secs
lola: 628 tries, 627340877 fired transitions, 2280 secs || 135284169 markings, 999507223 edges, 84 markings/sec, 2280 secs
lola: 628 tries, 627368244 fired transitions, 2285 secs || 135286418 markings, 999521992 edges, 450 markings/sec, 2285 secs
lola: 628 tries, 627372664 fired transitions, 2290 secs || 135286939 markings, 999525896 edges, 104 markings/sec, 2290 secs
lola: 628 tries, 627393778 fired transitions, 2295 secs || 135288275 markings, 999535464 edges, 267 markings/sec, 2295 secs
lola: 628 tries, 627448090 fired transitions, 2300 secs || 135291821 markings, 999560613 edges, 709 markings/sec, 2300 secs
lola: 628 tries, 627873007 fired transitions, 2305 secs || 135295932 markings, 999589508 edges, 822 markings/sec, 2305 secs
lola: 629 tries, 628052533 fired transitions, 2310 secs || 135298444 markings, 999607373 edges, 502 markings/sec, 2310 secs
lola: 629 tries, 628171892 fired transitions, 2315 secs || 135300505 markings, 999621076 edges, 412 markings/sec, 2315 secs
lola: 629 tries, 628197306 fired transitions, 2320 secs || 135302013 markings, 999632011 edges, 302 markings/sec, 2320 secs
lola: 629 tries, 628233888 fired transitions, 2325 secs || 135305433 markings, 999656260 edges, 684 markings/sec, 2325 secs
lola: 629 tries, 628444502 fired transitions, 2330 secs || 135306026 markings, 999660409 edges, 119 markings/sec, 2330 secs
lola: 629 tries, 628444635 fired transitions, 2335 secs || 135306038 markings, 999660479 edges, 2 markings/sec, 2335 secs
lola: 629 tries, 628957317 fired transitions, 2340 secs || 135306058 markings, 999660593 edges, 4 markings/sec, 2340 secs
lola: 630 tries, 629879749 fired transitions, 2345 secs || 135306413 markings, 999662868 edges, 71 markings/sec, 2345 secs
lola: 631 tries, 630072607 fired transitions, 2350 secs || 135307752 markings, 999671518 edges, 268 markings/sec, 2350 secs
lola: 631 tries, 630601834 fired transitions, 2355 secs || 135309351 markings, 999683071 edges, 320 markings/sec, 2355 secs
lola: 631 tries, 630601984 fired transitions, 2360 secs || 135309368 markings, 999683166 edges, 3 markings/sec, 2360 secs
lola: 631 tries, 630635202 fired transitions, 2365 secs || 135311052 markings, 999695325 edges, 337 markings/sec, 2365 secs
lola: 631 tries, 630817611 fired transitions, 2370 secs || 135328896 markings, 999820591 edges, 3569 markings/sec, 2370 secs
Killed
rslt: finished

BK_STOP 1552897567886

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

grep: GenericPropertiesVerdict.xml: No such file or directory
make: [verify] Error 137 (ignored)
grep: GenericPropertiesVerdict.xml: No such file or directory

Sequence of Actions to be Executed by the VM

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

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="Raft-PT-04"
export BK_EXAMINATION="GlobalProperties"
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

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-3957"
echo " Executing tool lola"
echo " Input is Raft-PT-04, examination is GlobalProperties"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r137-smll-155284909300021"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/Raft-PT-04.tgz
mv Raft-PT-04 execution
cd execution
if [ "GlobalProperties" = "GlobalProperties" ] ; then
rm -f GenericPropertiesVerdict.xml
fi
if [ "GlobalProperties" = "UpperBounds" ] ; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh

echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "GlobalProperties" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "GlobalProperties" != "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 "GlobalProperties.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property GlobalProperties.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "GlobalProperties.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 '' GlobalProperties.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 ;