Execution Chart

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

Trace from the execution

Formatting '/data/fko/mcc2019-input.r126-oct2-155274853200183.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fko/mcc2019-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
................
=====================================================================
Generated by BenchKit 2-3954
Executing tool lola
Input is ProductionCell-PT-none, examination is GlobalProperties
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r126-oct2-155274853200183
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 212K
-rw-r--r-- 1 mcc users 4.1K Feb 12 10:30 CTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Feb 12 10:30 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.6K Feb 8 12:39 CTLFireability.txt
-rw-r--r-- 1 mcc users 18K Feb 8 12:39 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 10 17:31 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 109 Feb 24 15:05 GlobalProperties.txt
-rw-r--r-- 1 mcc users 347 Feb 24 15:05 GlobalProperties.xml
-rw-r--r-- 1 mcc users 2.3K Feb 5 00:43 LTLCardinality.txt
-rw-r--r-- 1 mcc users 9.8K Feb 5 00:43 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.9K Feb 4 22:41 LTLFireability.txt
-rw-r--r-- 1 mcc users 8.8K Feb 4 22:41 LTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Feb 4 13:54 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 21K Feb 4 13:54 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.6K Feb 1 10:17 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 15K Feb 1 10:17 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Feb 4 22:26 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Feb 4 22:26 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Jan 29 09:34 equiv_col
-rw-r--r-- 1 mcc users 5 Jan 29 09:34 instance
-rw-r--r-- 1 mcc users 6 Jan 29 09:34 iscolored
-rw-r--r-- 1 mcc users 43K 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 ProductionCell-PT-none-GlobalProperties-0

=== Now, execution of the tool begins

BK_START 1553893010105

info: Time: 3600 - MCC
vrfy: Checking GlobalProperties @ ProductionCell-PT-none @ 3570 seconds
Makefile:16: recipe for target 'verify' failed
vrfy: finished
info: timeLeft: 402
rslt: Output for GlobalProperties @ ProductionCell-PT-none
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: 310/268435456 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 176
lola: finding significant places
lola: 176 places, 134 transitions, 126 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 0 generators (0 in search tree, 0 by composition)
lola: representing 1 symmetries
lola: 0 dead branches visited in search tree
lola: 2 tries, 1509901 fired transitions, 0 secs || 703893 markings, 887688 edges, 140779 markings/sec, 0 secs
lola: 4 tries, 3112607 fired transitions, 5 secs || 1346057 markings, 1786448 edges, 128433 markings/sec, 5 secs
lola: 5 tries, 4773728 fired transitions, 10 secs || 1997987 markings, 2741750 edges, 130386 markings/sec, 10 secs
lola: 7 tries, 6528945 fired transitions, 15 secs || 2634799 markings, 3704365 edges, 127362 markings/sec, 15 secs
lola: 9 tries, 8306619 fired transitions, 20 secs || 3272009 markings, 4692199 edges, 127442 markings/sec, 20 secs
lola: 11 tries, 10083106 fired transitions, 25 secs || 3904557 markings, 5695910 edges, 126510 markings/sec, 25 secs
lola: 12 tries, 11871742 fired transitions, 30 secs || 4533736 markings, 6727056 edges, 125836 markings/sec, 30 secs
lola: 14 tries, 13734816 fired transitions, 35 secs || 5163282 markings, 7762328 edges, 125909 markings/sec, 35 secs
lola: 16 tries, 15637836 fired transitions, 40 secs || 5776722 markings, 8808889 edges, 122688 markings/sec, 40 secs
lola: 18 tries, 17677428 fired transitions, 45 secs || 6401609 markings, 9878173 edges, 124977 markings/sec, 45 secs
lola: 20 tries, 19833426 fired transitions, 50 secs || 7052093 markings, 10997575 edges, 130097 markings/sec, 50 secs
lola: 23 tries, 22045836 fired transitions, 55 secs || 7685091 markings, 12085627 edges, 126600 markings/sec, 55 secs
lola: 25 tries, 24205821 fired transitions, 60 secs || 8349371 markings, 13241108 edges, 132856 markings/sec, 60 secs
lola: 27 tries, 26140143 fired transitions, 65 secs || 8971928 markings, 14356772 edges, 124511 markings/sec, 65 secs
lola: 29 tries, 28072911 fired transitions, 70 secs || 9604552 markings, 15469291 edges, 126525 markings/sec, 70 secs
lola: 31 tries, 30034621 fired transitions, 75 secs || 10221795 markings, 16587815 edges, 123449 markings/sec, 75 secs
lola: 32 tries, 31983913 fired transitions, 80 secs || 10839964 markings, 17706784 edges, 123634 markings/sec, 80 secs
lola: 34 tries, 33885453 fired transitions, 85 secs || 11469637 markings, 18858352 edges, 125935 markings/sec, 85 secs
lola: 36 tries, 35913375 fired transitions, 90 secs || 12070137 markings, 19994745 edges, 120100 markings/sec, 90 secs
lola: 38 tries, 37943142 fired transitions, 95 secs || 12669848 markings, 21092930 edges, 119942 markings/sec, 95 secs
lola: 40 tries, 39958116 fired transitions, 100 secs || 13269549 markings, 22223008 edges, 119940 markings/sec, 100 secs
lola: 42 tries, 41987713 fired transitions, 105 secs || 13864614 markings, 23345081 edges, 119013 markings/sec, 105 secs
lola: 45 tries, 44016504 fired transitions, 110 secs || 14461501 markings, 24483682 edges, 119377 markings/sec, 110 secs
lola: 47 tries, 46034228 fired transitions, 115 secs || 15048016 markings, 25630609 edges, 117303 markings/sec, 115 secs
lola: 49 tries, 48066170 fired transitions, 120 secs || 15624575 markings, 26762501 edges, 115312 markings/sec, 120 secs
lola: 51 tries, 50059552 fired transitions, 125 secs || 16229927 markings, 27916616 edges, 121070 markings/sec, 125 secs
lola: 53 tries, 52074898 fired transitions, 130 secs || 16812872 markings, 29073543 edges, 116589 markings/sec, 130 secs
lola: 55 tries, 54076473 fired transitions, 135 secs || 17422648 markings, 30219060 edges, 121955 markings/sec, 135 secs
lola: 57 tries, 56105761 fired transitions, 140 secs || 18021814 markings, 31339050 edges, 119833 markings/sec, 140 secs
lola: 59 tries, 58169553 fired transitions, 145 secs || 18624521 markings, 32467937 edges, 120541 markings/sec, 145 secs
lola: 61 tries, 60231172 fired transitions, 150 secs || 19230908 markings, 33620528 edges, 121277 markings/sec, 150 secs
lola: 63 tries, 62268451 fired transitions, 155 secs || 19849169 markings, 34779859 edges, 123652 markings/sec, 155 secs
lola: 65 tries, 64337532 fired transitions, 160 secs || 20459381 markings, 35914758 edges, 122042 markings/sec, 160 secs
lola: 67 tries, 66380764 fired transitions, 165 secs || 21049383 markings, 37103386 edges, 118000 markings/sec, 165 secs
lola: 69 tries, 68415660 fired transitions, 170 secs || 21669571 markings, 38281724 edges, 124038 markings/sec, 170 secs
lola: 71 tries, 70444983 fired transitions, 175 secs || 22261414 markings, 39428553 edges, 118369 markings/sec, 175 secs
lola: 73 tries, 72517834 fired transitions, 180 secs || 22850577 markings, 40542767 edges, 117833 markings/sec, 180 secs
lola: 75 tries, 74599162 fired transitions, 185 secs || 23430639 markings, 41716263 edges, 116012 markings/sec, 185 secs
lola: 77 tries, 76682725 fired transitions, 190 secs || 24022580 markings, 42867750 edges, 118388 markings/sec, 190 secs
lola: 79 tries, 78785646 fired transitions, 195 secs || 24615350 markings, 43994283 edges, 118554 markings/sec, 195 secs
lola: 81 tries, 80903627 fired transitions, 200 secs || 25209778 markings, 45126263 edges, 118886 markings/sec, 200 secs
lola: 83 tries, 82987901 fired transitions, 205 secs || 25788255 markings, 46262083 edges, 115695 markings/sec, 205 secs
lola: 86 tries, 85081519 fired transitions, 210 secs || 26389708 markings, 47418524 edges, 120291 markings/sec, 210 secs
lola: 88 tries, 87177048 fired transitions, 215 secs || 26980600 markings, 48564460 edges, 118178 markings/sec, 215 secs
lola: 90 tries, 89229532 fired transitions, 220 secs || 27569076 markings, 49718264 edges, 117695 markings/sec, 220 secs
lola: 92 tries, 91237381 fired transitions, 225 secs || 28147861 markings, 50851477 edges, 115757 markings/sec, 225 secs
lola: 94 tries, 93329814 fired transitions, 230 secs || 28738557 markings, 51959888 edges, 118139 markings/sec, 230 secs
lola: 96 tries, 95408186 fired transitions, 235 secs || 29342724 markings, 53102780 edges, 120833 markings/sec, 235 secs
lola: 98 tries, 97452495 fired transitions, 240 secs || 29941283 markings, 54250135 edges, 119712 markings/sec, 240 secs
lola: 100 tries, 99538116 fired transitions, 245 secs || 30534382 markings, 55400837 edges, 118620 markings/sec, 245 secs
lola: 102 tries, 101611317 fired transitions, 250 secs || 31108565 markings, 56583752 edges, 114837 markings/sec, 250 secs
lola: 104 tries, 103686917 fired transitions, 255 secs || 31718130 markings, 57744910 edges, 121913 markings/sec, 255 secs
lola: 106 tries, 105766063 fired transitions, 260 secs || 32303856 markings, 58925197 edges, 117145 markings/sec, 260 secs
lola: 108 tries, 107809773 fired transitions, 265 secs || 32899775 markings, 60083481 edges, 119184 markings/sec, 265 secs
lola: 110 tries, 109834888 fired transitions, 270 secs || 33510036 markings, 61243628 edges, 122052 markings/sec, 270 secs
lola: 112 tries, 111823399 fired transitions, 275 secs || 34081329 markings, 62423601 edges, 114259 markings/sec, 275 secs
lola: 114 tries, 113834391 fired transitions, 280 secs || 34668128 markings, 63585162 edges, 117360 markings/sec, 280 secs
lola: 116 tries, 115840439 fired transitions, 285 secs || 35249182 markings, 64737526 edges, 116211 markings/sec, 285 secs
lola: 118 tries, 117747756 fired transitions, 290 secs || 35839831 markings, 65904872 edges, 118130 markings/sec, 290 secs
lola: 120 tries, 119704794 fired transitions, 295 secs || 36428431 markings, 67067741 edges, 117720 markings/sec, 295 secs
lola: 122 tries, 121708692 fired transitions, 300 secs || 37028507 markings, 68227996 edges, 120015 markings/sec, 300 secs
lola: 124 tries, 123850804 fired transitions, 305 secs || 37625643 markings, 69411188 edges, 119427 markings/sec, 305 secs
lola: 127 tries, 126320252 fired transitions, 310 secs || 38259006 markings, 70640612 edges, 126673 markings/sec, 310 secs
lola: 129 tries, 128811520 fired transitions, 315 secs || 38908964 markings, 71911511 edges, 129992 markings/sec, 315 secs
lola: 132 tries, 131296191 fired transitions, 320 secs || 39548787 markings, 73181926 edges, 127965 markings/sec, 320 secs
lola: 134 tries, 133761460 fired transitions, 325 secs || 40162460 markings, 74430547 edges, 122735 markings/sec, 325 secs
lola: 137 tries, 136173719 fired transitions, 330 secs || 40802754 markings, 75648103 edges, 128059 markings/sec, 330 secs
lola: 139 tries, 138642725 fired transitions, 335 secs || 41437263 markings, 76862382 edges, 126902 markings/sec, 335 secs
lola: 142 tries, 141051731 fired transitions, 340 secs || 42093858 markings, 78102271 edges, 131319 markings/sec, 340 secs
lola: 144 tries, 143425403 fired transitions, 345 secs || 42743002 markings, 79359088 edges, 129829 markings/sec, 345 secs
lola: 146 tries, 145781461 fired transitions, 350 secs || 43384020 markings, 80592479 edges, 128204 markings/sec, 350 secs
lola: 149 tries, 148190146 fired transitions, 355 secs || 44021221 markings, 81833131 edges, 127440 markings/sec, 355 secs
lola: 151 tries, 150671250 fired transitions, 360 secs || 44657131 markings, 83051471 edges, 127182 markings/sec, 360 secs
lola: 154 tries, 153151459 fired transitions, 365 secs || 45288264 markings, 84289292 edges, 126227 markings/sec, 365 secs
lola: 156 tries, 155700261 fired transitions, 370 secs || 45934509 markings, 85541126 edges, 129249 markings/sec, 370 secs
lola: 159 tries, 158170630 fired transitions, 375 secs || 46562098 markings, 86771668 edges, 125518 markings/sec, 375 secs
lola: 161 tries, 160633751 fired transitions, 380 secs || 47192436 markings, 87994330 edges, 126068 markings/sec, 380 secs
lola: 164 tries, 163063931 fired transitions, 385 secs || 47809338 markings, 89202668 edges, 123380 markings/sec, 385 secs
lola: 166 tries, 165508535 fired transitions, 390 secs || 48440547 markings, 90443959 edges, 126242 markings/sec, 390 secs
lola: 168 tries, 167974716 fired transitions, 395 secs || 49065011 markings, 91665586 edges, 124893 markings/sec, 395 secs
lola: 171 tries, 170394280 fired transitions, 400 secs || 49714786 markings, 92935104 edges, 129955 markings/sec, 400 secs
lola: 173 tries, 172672595 fired transitions, 405 secs || 50338090 markings, 94191949 edges, 124661 markings/sec, 405 secs
lola: 176 tries, 175024190 fired transitions, 410 secs || 50969056 markings, 95455042 edges, 126193 markings/sec, 410 secs
lola: 178 tries, 177401540 fired transitions, 415 secs || 51634682 markings, 96710240 edges, 133125 markings/sec, 415 secs
lola: 180 tries, 179721948 fired transitions, 420 secs || 52244509 markings, 97933076 edges, 121965 markings/sec, 420 secs
lola: 183 tries, 182111528 fired transitions, 425 secs || 52917090 markings, 99192569 edges, 134516 markings/sec, 425 secs
lola: 185 tries, 184443966 fired transitions, 430 secs || 53544062 markings, 100493320 edges, 125394 markings/sec, 430 secs
lola: 187 tries, 186768146 fired transitions, 435 secs || 54205517 markings, 101744849 edges, 132291 markings/sec, 435 secs
lola: 190 tries, 189110178 fired transitions, 440 secs || 54839232 markings, 103013351 edges, 126743 markings/sec, 440 secs
lola: 192 tries, 191401194 fired transitions, 445 secs || 55480555 markings, 104281574 edges, 128265 markings/sec, 445 secs
lola: 194 tries, 193697029 fired transitions, 450 secs || 56175084 markings, 105573985 edges, 138906 markings/sec, 450 secs
lola: 196 tries, 195976701 fired transitions, 455 secs || 56780363 markings, 106799809 edges, 121056 markings/sec, 455 secs
lola: 199 tries, 198214884 fired transitions, 460 secs || 57410262 markings, 108054024 edges, 125980 markings/sec, 460 secs
lola: 201 tries, 200265670 fired transitions, 465 secs || 58125503 markings, 109349445 edges, 143048 markings/sec, 465 secs
lola: 203 tries, 202651004 fired transitions, 470 secs || 58753210 markings, 110598423 edges, 125541 markings/sec, 470 secs
lola: 206 tries, 205045589 fired transitions, 475 secs || 59394038 markings, 111867179 edges, 128166 markings/sec, 475 secs
lola: 208 tries, 207427979 fired transitions, 480 secs || 60058749 markings, 113134678 edges, 132942 markings/sec, 480 secs
lola: 210 tries, 209861713 fired transitions, 485 secs || 60700086 markings, 114386434 edges, 128267 markings/sec, 485 secs
lola: 213 tries, 212091576 fired transitions, 490 secs || 61311302 markings, 115628067 edges, 122243 markings/sec, 490 secs
lola: 215 tries, 214397270 fired transitions, 495 secs || 61978004 markings, 116938533 edges, 133340 markings/sec, 495 secs
lola: 217 tries, 216623084 fired transitions, 500 secs || 62593142 markings, 118190525 edges, 123028 markings/sec, 500 secs
lola: 219 tries, 218819560 fired transitions, 505 secs || 63271669 markings, 119488626 edges, 135705 markings/sec, 505 secs
lola: 222 tries, 221005942 fired transitions, 510 secs || 63852411 markings, 120737939 edges, 116148 markings/sec, 510 secs
lola: 224 tries, 223346760 fired transitions, 515 secs || 64530095 markings, 122024816 edges, 135537 markings/sec, 515 secs
lola: 226 tries, 225533015 fired transitions, 520 secs || 65212247 markings, 123321915 edges, 136430 markings/sec, 520 secs
lola: 228 tries, 227835404 fired transitions, 525 secs || 65863206 markings, 124593724 edges, 130192 markings/sec, 525 secs
lola: 231 tries, 230192128 fired transitions, 530 secs || 66530364 markings, 125897100 edges, 133432 markings/sec, 530 secs
lola: 233 tries, 232678877 fired transitions, 535 secs || 67204758 markings, 127194098 edges, 134879 markings/sec, 535 secs
lola: 236 tries, 235122811 fired transitions, 540 secs || 67840654 markings, 128502476 edges, 127179 markings/sec, 540 secs
lola: 238 tries, 237427206 fired transitions, 545 secs || 68513871 markings, 129802607 edges, 134643 markings/sec, 545 secs
lola: 240 tries, 239793054 fired transitions, 550 secs || 69214391 markings, 131096022 edges, 140104 markings/sec, 550 secs
lola: 243 tries, 242201838 fired transitions, 555 secs || 69887812 markings, 132401974 edges, 134684 markings/sec, 555 secs
lola: 245 tries, 244590686 fired transitions, 560 secs || 70592275 markings, 133712242 edges, 140893 markings/sec, 560 secs
lola: 247 tries, 246885795 fired transitions, 565 secs || 71280928 markings, 134997341 edges, 137731 markings/sec, 565 secs
lola: 250 tries, 249268397 fired transitions, 570 secs || 71946402 markings, 136318734 edges, 133095 markings/sec, 570 secs
lola: 252 tries, 251733311 fired transitions, 575 secs || 72617626 markings, 137642791 edges, 134245 markings/sec, 575 secs
lola: 255 tries, 254128475 fired transitions, 580 secs || 73257427 markings, 138957779 edges, 127960 markings/sec, 580 secs
lola: 257 tries, 256528226 fired transitions, 585 secs || 73912699 markings, 140259539 edges, 131054 markings/sec, 585 secs
lola: 259 tries, 258943094 fired transitions, 590 secs || 74592318 markings, 141588057 edges, 135924 markings/sec, 590 secs
lola: 262 tries, 261314669 fired transitions, 595 secs || 75292205 markings, 142901261 edges, 139977 markings/sec, 595 secs
lola: 264 tries, 263591347 fired transitions, 600 secs || 76024738 markings, 144252845 edges, 146507 markings/sec, 600 secs
lola: 266 tries, 265941898 fired transitions, 605 secs || 76659643 markings, 145581342 edges, 126981 markings/sec, 605 secs
lola: 269 tries, 268375050 fired transitions, 610 secs || 77319702 markings, 146914391 edges, 132012 markings/sec, 610 secs
lola: 271 tries, 270759836 fired transitions, 615 secs || 77907111 markings, 148187813 edges, 117482 markings/sec, 615 secs
lola: 274 tries, 273132602 fired transitions, 620 secs || 78550732 markings, 149488199 edges, 128724 markings/sec, 620 secs
lola: 276 tries, 275506984 fired transitions, 625 secs || 79246404 markings, 150780944 edges, 139134 markings/sec, 625 secs
lola: 278 tries, 277676137 fired transitions, 630 secs || 79926244 markings, 152059850 edges, 135968 markings/sec, 630 secs
lola: 281 tries, 280015946 fired transitions, 635 secs || 80665265 markings, 153418240 edges, 147804 markings/sec, 635 secs
lola: 283 tries, 282240582 fired transitions, 640 secs || 81403348 markings, 154770806 edges, 147617 markings/sec, 640 secs
lola: 285 tries, 284670543 fired transitions, 645 secs || 82088726 markings, 156125543 edges, 137076 markings/sec, 645 secs
lola: 288 tries, 287062060 fired transitions, 650 secs || 82802280 markings, 157474448 edges, 142711 markings/sec, 650 secs
lola: 290 tries, 289443527 fired transitions, 655 secs || 83536809 markings, 158814024 edges, 146906 markings/sec, 655 secs
lola: 292 tries, 291916825 fired transitions, 660 secs || 84229992 markings, 160128084 edges, 138637 markings/sec, 660 secs
lola: 295 tries, 294273570 fired transitions, 665 secs || 84935004 markings, 161445210 edges, 141002 markings/sec, 665 secs
lola: 297 tries, 296589467 fired transitions, 670 secs || 85598392 markings, 162710766 edges, 132678 markings/sec, 670 secs
lola: 300 tries, 299056337 fired transitions, 675 secs || 86264802 markings, 164024768 edges, 133282 markings/sec, 675 secs
lola: 302 tries, 301477313 fired transitions, 680 secs || 86974682 markings, 165347353 edges, 141976 markings/sec, 680 secs
lola: 304 tries, 303745604 fired transitions, 685 secs || 87545741 markings, 166602141 edges, 114212 markings/sec, 685 secs
lola: 307 tries, 306103265 fired transitions, 690 secs || 88235294 markings, 167911782 edges, 137911 markings/sec, 690 secs
lola: 309 tries, 308287179 fired transitions, 695 secs || 88974486 markings, 169232063 edges, 147838 markings/sec, 695 secs
lola: 311 tries, 310513843 fired transitions, 700 secs || 89627176 markings, 170520423 edges, 130538 markings/sec, 700 secs
lola: 313 tries, 312918770 fired transitions, 705 secs || 90346184 markings, 171884094 edges, 143802 markings/sec, 705 secs
lola: 316 tries, 315317630 fired transitions, 710 secs || 91044138 markings, 173219648 edges, 139591 markings/sec, 710 secs
lola: 318 tries, 317550072 fired transitions, 715 secs || 91763117 markings, 174517970 edges, 143796 markings/sec, 715 secs
lola: 320 tries, 319923832 fired transitions, 720 secs || 92475911 markings, 175821005 edges, 142559 markings/sec, 720 secs
lola: 323 tries, 322309509 fired transitions, 725 secs || 93170739 markings, 177092366 edges, 138966 markings/sec, 725 secs
lola: 325 tries, 324831862 fired transitions, 730 secs || 93871091 markings, 178411670 edges, 140070 markings/sec, 730 secs
lola: 328 tries, 327236689 fired transitions, 735 secs || 94543919 markings, 179686024 edges, 134566 markings/sec, 735 secs
lola: 330 tries, 329665093 fired transitions, 740 secs || 95226773 markings, 181022658 edges, 136571 markings/sec, 740 secs
lola: 333 tries, 332084773 fired transitions, 745 secs || 95907322 markings, 182322288 edges, 136110 markings/sec, 745 secs
lola: 335 tries, 334436985 fired transitions, 750 secs || 96569448 markings, 183587126 edges, 132425 markings/sec, 750 secs
lola: 337 tries, 336802333 fired transitions, 755 secs || 97209092 markings, 184856967 edges, 127929 markings/sec, 755 secs
lola: 340 tries, 339345335 fired transitions, 760 secs || 97850763 markings, 186139700 edges, 128334 markings/sec, 760 secs
lola: 342 tries, 341713025 fired transitions, 765 secs || 98505477 markings, 187426432 edges, 130943 markings/sec, 765 secs
lola: 345 tries, 344155226 fired transitions, 770 secs || 99225101 markings, 188730966 edges, 143925 markings/sec, 770 secs
lola: 347 tries, 346472332 fired transitions, 775 secs || 99925083 markings, 190036014 edges, 139996 markings/sec, 775 secs
lola: 349 tries, 348752099 fired transitions, 780 secs || 100609315 markings, 191335524 edges, 136846 markings/sec, 780 secs
lola: 352 tries, 351208137 fired transitions, 785 secs || 101299455 markings, 192622976 edges, 138028 markings/sec, 785 secs
lola: 354 tries, 353456935 fired transitions, 790 secs || 101933775 markings, 193891453 edges, 126864 markings/sec, 790 secs
lola: 356 tries, 355787757 fired transitions, 795 secs || 102632465 markings, 195190698 edges, 139738 markings/sec, 795 secs
lola: 359 tries, 358140214 fired transitions, 800 secs || 103258341 markings, 196463965 edges, 125175 markings/sec, 800 secs
lola: 361 tries, 360533154 fired transitions, 805 secs || 103891027 markings, 197740426 edges, 126537 markings/sec, 805 secs
lola: 363 tries, 362861991 fired transitions, 810 secs || 104534400 markings, 199007998 edges, 128675 markings/sec, 810 secs
lola: 366 tries, 365178674 fired transitions, 815 secs || 105173847 markings, 200264290 edges, 127889 markings/sec, 815 secs
lola: 368 tries, 367443074 fired transitions, 820 secs || 105805884 markings, 201527938 edges, 126407 markings/sec, 820 secs
lola: 370 tries, 369752303 fired transitions, 825 secs || 106486370 markings, 202764127 edges, 136097 markings/sec, 825 secs
lola: 373 tries, 372247695 fired transitions, 830 secs || 107205030 markings, 204081533 edges, 143732 markings/sec, 830 secs
lola: 375 tries, 374755734 fired transitions, 835 secs || 107904067 markings, 205408829 edges, 139807 markings/sec, 835 secs
lola: 378 tries, 377287798 fired transitions, 840 secs || 108620054 markings, 206728886 edges, 143197 markings/sec, 840 secs
lola: 380 tries, 379787946 fired transitions, 845 secs || 109360349 markings, 208074052 edges, 148059 markings/sec, 845 secs
lola: 385 tries, 384326192 fired transitions, 850 secs || 110480755 markings, 210219799 edges, 224081 markings/sec, 850 secs
lola: 388 tries, 387024329 fired transitions, 855 secs || 111239278 markings, 211606684 edges, 151705 markings/sec, 855 secs
lola: 390 tries, 389458804 fired transitions, 860 secs || 111932262 markings, 212915086 edges, 138597 markings/sec, 860 secs
lola: 392 tries, 391755587 fired transitions, 865 secs || 112609687 markings, 214165576 edges, 135485 markings/sec, 865 secs
lola: 394 tries, 393979878 fired transitions, 870 secs || 113294209 markings, 215452436 edges, 136904 markings/sec, 870 secs
lola: 397 tries, 396292914 fired transitions, 875 secs || 113981348 markings, 216790003 edges, 137428 markings/sec, 875 secs
lola: 399 tries, 398618544 fired transitions, 880 secs || 114674443 markings, 218109998 edges, 138619 markings/sec, 880 secs
lola: 401 tries, 400886124 fired transitions, 885 secs || 115312393 markings, 219380742 edges, 127590 markings/sec, 885 secs
lola: 404 tries, 403210158 fired transitions, 890 secs || 116016279 markings, 220703873 edges, 140777 markings/sec, 890 secs
lola: 406 tries, 405550452 fired transitions, 895 secs || 116726065 markings, 222025078 edges, 141957 markings/sec, 895 secs
lola: 408 tries, 407951421 fired transitions, 900 secs || 117457140 markings, 223368972 edges, 146215 markings/sec, 900 secs
lola: 411 tries, 410367993 fired transitions, 905 secs || 118190353 markings, 224724345 edges, 146643 markings/sec, 905 secs
lola: 413 tries, 412792179 fired transitions, 910 secs || 118884025 markings, 226062206 edges, 138734 markings/sec, 910 secs
lola: 416 tries, 415113588 fired transitions, 915 secs || 119558011 markings, 227340872 edges, 134797 markings/sec, 915 secs
lola: 418 tries, 417448822 fired transitions, 920 secs || 120299606 markings, 228684140 edges, 148319 markings/sec, 920 secs
lola: 420 tries, 419904242 fired transitions, 925 secs || 120985242 markings, 230034602 edges, 137127 markings/sec, 925 secs
lola: 423 tries, 422388038 fired transitions, 930 secs || 121649223 markings, 231384441 edges, 132796 markings/sec, 930 secs
lola: 425 tries, 424791215 fired transitions, 935 secs || 122302966 markings, 232687798 edges, 130749 markings/sec, 935 secs
lola: 429 tries, 428134626 fired transitions, 940 secs || 123173719 markings, 234343807 edges, 174151 markings/sec, 940 secs
lola: 433 tries, 432624001 fired transitions, 945 secs || 124302027 markings, 236467864 edges, 225662 markings/sec, 945 secs
lola: 438 tries, 437096392 fired transitions, 950 secs || 125421543 markings, 238607469 edges, 223903 markings/sec, 950 secs
lola: 442 tries, 441741337 fired transitions, 955 secs || 126561432 markings, 240747678 edges, 227978 markings/sec, 955 secs
lola: 446 tries, 445035042 fired transitions, 960 secs || 127385860 markings, 242312178 edges, 164886 markings/sec, 960 secs
lola: 448 tries, 447104570 fired transitions, 965 secs || 128040047 markings, 243512942 edges, 130837 markings/sec, 965 secs
lola: 450 tries, 449648046 fired transitions, 970 secs || 128723536 markings, 244850977 edges, 136698 markings/sec, 970 secs
lola: 453 tries, 452257051 fired transitions, 975 secs || 129416669 markings, 246210541 edges, 138627 markings/sec, 975 secs
lola: 455 tries, 454859606 fired transitions, 980 secs || 130141089 markings, 247573864 edges, 144884 markings/sec, 980 secs
lola: 458 tries, 457337497 fired transitions, 985 secs || 130811156 markings, 248926926 edges, 134013 markings/sec, 985 secs
lola: 461 tries, 460100394 fired transitions, 990 secs || 131533226 markings, 250286315 edges, 144414 markings/sec, 990 secs
lola: 463 tries, 462754933 fired transitions, 995 secs || 132185096 markings, 251532446 edges, 130374 markings/sec, 995 secs
lola: 466 tries, 465119623 fired transitions, 1000 secs || 132798215 markings, 252742782 edges, 122624 markings/sec, 1000 secs
lola: 468 tries, 467578325 fired transitions, 1005 secs || 133491307 markings, 254051199 edges, 138618 markings/sec, 1005 secs
lola: 470 tries, 469947802 fired transitions, 1010 secs || 134174595 markings, 255331943 edges, 136658 markings/sec, 1010 secs
lola: 473 tries, 472402403 fired transitions, 1015 secs || 134891988 markings, 256637708 edges, 143479 markings/sec, 1015 secs
lola: 475 tries, 474900101 fired transitions, 1020 secs || 135530670 markings, 257905413 edges, 127736 markings/sec, 1020 secs
lola: 478 tries, 477369712 fired transitions, 1025 secs || 136183211 markings, 259194052 edges, 130508 markings/sec, 1025 secs
lola: 480 tries, 479798715 fired transitions, 1030 secs || 136831679 markings, 260467756 edges, 129694 markings/sec, 1030 secs
lola: 483 tries, 482200024 fired transitions, 1035 secs || 137504765 markings, 261744021 edges, 134617 markings/sec, 1035 secs
lola: 485 tries, 484911539 fired transitions, 1040 secs || 138210599 markings, 263101496 edges, 141167 markings/sec, 1040 secs
lola: 490 tries, 489602794 fired transitions, 1045 secs || 139314337 markings, 265224990 edges, 220748 markings/sec, 1045 secs
lola: 495 tries, 494173931 fired transitions, 1050 secs || 140385822 markings, 267350801 edges, 214297 markings/sec, 1050 secs
lola: 497 tries, 496664934 fired transitions, 1055 secs || 141155087 markings, 268682869 edges, 153853 markings/sec, 1055 secs
lola: 500 tries, 499064169 fired transitions, 1060 secs || 141792845 markings, 269909556 edges, 127552 markings/sec, 1060 secs
lola: 502 tries, 501461609 fired transitions, 1065 secs || 142394823 markings, 271121058 edges, 120396 markings/sec, 1065 secs
lola: 505 tries, 504028449 fired transitions, 1070 secs || 142991216 markings, 272292239 edges, 119279 markings/sec, 1070 secs
lola: 507 tries, 506213482 fired transitions, 1075 secs || 143652340 markings, 273548434 edges, 132225 markings/sec, 1075 secs
lola: 509 tries, 508693454 fired transitions, 1080 secs || 144276914 markings, 274844463 edges, 124915 markings/sec, 1080 secs
lola: 512 tries, 511114416 fired transitions, 1085 secs || 145011862 markings, 276190666 edges, 146990 markings/sec, 1085 secs
lola: 514 tries, 513491261 fired transitions, 1090 secs || 145693864 markings, 277514903 edges, 136400 markings/sec, 1090 secs
lola: 516 tries, 515838571 fired transitions, 1095 secs || 146315593 markings, 278806893 edges, 124346 markings/sec, 1095 secs
lola: 519 tries, 518131727 fired transitions, 1100 secs || 146920759 markings, 280076705 edges, 121033 markings/sec, 1100 secs
lola: 521 tries, 520406887 fired transitions, 1105 secs || 147543157 markings, 281329028 edges, 124480 markings/sec, 1105 secs
lola: 523 tries, 522628843 fired transitions, 1110 secs || 148220474 markings, 282568146 edges, 135463 markings/sec, 1110 secs
lola: 525 tries, 524857028 fired transitions, 1115 secs || 148888505 markings, 283792680 edges, 133606 markings/sec, 1115 secs
lola: 528 tries, 527102453 fired transitions, 1120 secs || 149531329 markings, 285035539 edges, 128565 markings/sec, 1120 secs
lola: 530 tries, 529347571 fired transitions, 1125 secs || 150205494 markings, 286301085 edges, 134833 markings/sec, 1125 secs
lola: 532 tries, 531557411 fired transitions, 1130 secs || 150844947 markings, 287530963 edges, 127891 markings/sec, 1130 secs
lola: 534 tries, 533917171 fired transitions, 1135 secs || 151494037 markings, 288818019 edges, 129818 markings/sec, 1135 secs
lola: 537 tries, 536256625 fired transitions, 1140 secs || 152152386 markings, 290116090 edges, 131670 markings/sec, 1140 secs
lola: 539 tries, 538541154 fired transitions, 1145 secs || 152789384 markings, 291391648 edges, 127400 markings/sec, 1145 secs
lola: 541 tries, 540810905 fired transitions, 1150 secs || 153433171 markings, 292662065 edges, 128757 markings/sec, 1150 secs
lola: 544 tries, 543200280 fired transitions, 1155 secs || 154117079 markings, 293990081 edges, 136782 markings/sec, 1155 secs
lola: 546 tries, 545551175 fired transitions, 1160 secs || 154755496 markings, 295287848 edges, 127683 markings/sec, 1160 secs
lola: 548 tries, 547936913 fired transitions, 1165 secs || 155355731 markings, 296524589 edges, 120047 markings/sec, 1165 secs
lola: 551 tries, 550253919 fired transitions, 1170 secs || 155932480 markings, 297808429 edges, 115350 markings/sec, 1170 secs
lola: 553 tries, 552542742 fired transitions, 1175 secs || 156538280 markings, 299067649 edges, 121160 markings/sec, 1175 secs
lola: 555 tries, 554994592 fired transitions, 1180 secs || 157193530 markings, 300391989 edges, 131050 markings/sec, 1180 secs
lola: 558 tries, 557480178 fired transitions, 1185 secs || 157835130 markings, 301718268 edges, 128320 markings/sec, 1185 secs
lola: 560 tries, 559993139 fired transitions, 1190 secs || 158550506 markings, 303066326 edges, 143075 markings/sec, 1190 secs
lola: 563 tries, 562422379 fired transitions, 1195 secs || 159226731 markings, 304379089 edges, 135245 markings/sec, 1195 secs
lola: 565 tries, 564753201 fired transitions, 1200 secs || 159910865 markings, 305730706 edges, 136827 markings/sec, 1200 secs
lola: 568 tries, 567465737 fired transitions, 1205 secs || 160601778 markings, 307144825 edges, 138183 markings/sec, 1205 secs
lola: 571 tries, 570304407 fired transitions, 1210 secs || 161300202 markings, 308615762 edges, 139685 markings/sec, 1210 secs
lola: 573 tries, 572982527 fired transitions, 1215 secs || 162012004 markings, 310007757 edges, 142360 markings/sec, 1215 secs
lola: 577 tries, 576094044 fired transitions, 1220 secs || 162916546 markings, 311511414 edges, 180908 markings/sec, 1220 secs
lola: 579 tries, 578550455 fired transitions, 1225 secs || 163751809 markings, 312914440 edges, 167053 markings/sec, 1225 secs
lola: 581 tries, 580962245 fired transitions, 1230 secs || 164505864 markings, 314264446 edges, 150811 markings/sec, 1230 secs
lola: 584 tries, 583685887 fired transitions, 1235 secs || 165294267 markings, 315757385 edges, 157681 markings/sec, 1235 secs
lola: 587 tries, 586799488 fired transitions, 1240 secs || 166116167 markings, 317399488 edges, 164380 markings/sec, 1240 secs
lola: 590 tries, 589924572 fired transitions, 1245 secs || 166898102 markings, 318982812 edges, 156387 markings/sec, 1245 secs
lola: 594 tries, 593047576 fired transitions, 1250 secs || 167750890 markings, 320612705 edges, 170558 markings/sec, 1250 secs
lola: 597 tries, 596172079 fired transitions, 1255 secs || 168580187 markings, 322247078 edges, 165859 markings/sec, 1255 secs
lola: 599 tries, 598883295 fired transitions, 1260 secs || 169361667 markings, 323715099 edges, 156296 markings/sec, 1260 secs
lola: 603 tries, 602046263 fired transitions, 1265 secs || 170152522 markings, 325329885 edges, 158171 markings/sec, 1265 secs
lola: 606 tries, 605211002 fired transitions, 1270 secs || 171011602 markings, 326969364 edges, 171816 markings/sec, 1270 secs
lola: 609 tries, 608353168 fired transitions, 1275 secs || 171830183 markings, 328537800 edges, 163716 markings/sec, 1275 secs
lola: 612 tries, 611466168 fired transitions, 1280 secs || 172656117 markings, 330124782 edges, 165187 markings/sec, 1280 secs
lola: 614 tries, 613997136 fired transitions, 1285 secs || 173443110 markings, 331558995 edges, 157399 markings/sec, 1285 secs
lola: 617 tries, 616364315 fired transitions, 1290 secs || 174187335 markings, 332889793 edges, 148845 markings/sec, 1290 secs
lola: 619 tries, 618769557 fired transitions, 1295 secs || 174887825 markings, 334254247 edges, 140098 markings/sec, 1295 secs
lola: 622 tries, 621135313 fired transitions, 1300 secs || 175580146 markings, 335605263 edges, 138464 markings/sec, 1300 secs
lola: 624 tries, 623536344 fired transitions, 1305 secs || 176214556 markings, 336969358 edges, 126882 markings/sec, 1305 secs
lola: 626 tries, 625910023 fired transitions, 1310 secs || 176915588 markings, 338312636 edges, 140206 markings/sec, 1310 secs
lola: 629 tries, 628280031 fired transitions, 1315 secs || 177659323 markings, 339721539 edges, 148747 markings/sec, 1315 secs
lola: 631 tries, 630566534 fired transitions, 1320 secs || 178405095 markings, 341113517 edges, 149154 markings/sec, 1320 secs
lola: 633 tries, 632790295 fired transitions, 1325 secs || 179092947 markings, 342430396 edges, 137570 markings/sec, 1325 secs
lola: 636 tries, 635065895 fired transitions, 1330 secs || 179785327 markings, 343763834 edges, 138476 markings/sec, 1330 secs
lola: 638 tries, 637307942 fired transitions, 1335 secs || 180553439 markings, 345179187 edges, 153622 markings/sec, 1335 secs
lola: 640 tries, 639499629 fired transitions, 1340 secs || 181307194 markings, 346574268 edges, 150751 markings/sec, 1340 secs
lola: 642 tries, 641688923 fired transitions, 1345 secs || 182060712 markings, 347942923 edges, 150704 markings/sec, 1345 secs
lola: 645 tries, 644048148 fired transitions, 1350 secs || 182770208 markings, 349351744 edges, 141899 markings/sec, 1350 secs
lola: 647 tries, 646431956 fired transitions, 1355 secs || 183436857 markings, 350760476 edges, 133330 markings/sec, 1355 secs
lola: 649 tries, 648794467 fired transitions, 1360 secs || 184091187 markings, 352115217 edges, 130866 markings/sec, 1360 secs
lola: 652 tries, 651119864 fired transitions, 1365 secs || 184838107 markings, 353518340 edges, 149384 markings/sec, 1365 secs
lola: 654 tries, 653442030 fired transitions, 1370 secs || 185596780 markings, 354905013 edges, 151735 markings/sec, 1370 secs
lola: 656 tries, 655793071 fired transitions, 1375 secs || 186232837 markings, 356197214 edges, 127211 markings/sec, 1375 secs
lola: 659 tries, 658093373 fired transitions, 1380 secs || 186950445 markings, 357565853 edges, 143522 markings/sec, 1380 secs
lola: 661 tries, 660364042 fired transitions, 1385 secs || 187678004 markings, 358955589 edges, 145512 markings/sec, 1385 secs
lola: 663 tries, 662627546 fired transitions, 1390 secs || 188463467 markings, 360372584 edges, 157093 markings/sec, 1390 secs
lola: 665 tries, 664944072 fired transitions, 1395 secs || 189229469 markings, 361757368 edges, 153200 markings/sec, 1395 secs
lola: 668 tries, 667365887 fired transitions, 1400 secs || 189945628 markings, 363096576 edges, 143232 markings/sec, 1400 secs
lola: 670 tries, 669638906 fired transitions, 1405 secs || 190618591 markings, 364414673 edges, 134593 markings/sec, 1405 secs
lola: 672 tries, 671989691 fired transitions, 1410 secs || 191388403 markings, 365751709 edges, 153962 markings/sec, 1410 secs
lola: 675 tries, 674256472 fired transitions, 1415 secs || 192152628 markings, 367088929 edges, 152845 markings/sec, 1415 secs
lola: 677 tries, 676480235 fired transitions, 1420 secs || 192874567 markings, 368409799 edges, 144388 markings/sec, 1420 secs
lola: 679 tries, 678743622 fired transitions, 1425 secs || 193637065 markings, 369731392 edges, 152500 markings/sec, 1425 secs
lola: 682 tries, 681107612 fired transitions, 1430 secs || 194374720 markings, 371071136 edges, 147531 markings/sec, 1430 secs
lola: 684 tries, 683481919 fired transitions, 1435 secs || 195147655 markings, 372425822 edges, 154587 markings/sec, 1435 secs
lola: 686 tries, 685857043 fired transitions, 1440 secs || 195930145 markings, 373747092 edges, 156498 markings/sec, 1440 secs
lola: 689 tries, 688189832 fired transitions, 1445 secs || 196666891 markings, 375078825 edges, 147349 markings/sec, 1445 secs
lola: 691 tries, 690498611 fired transitions, 1450 secs || 197414186 markings, 376397276 edges, 149459 markings/sec, 1450 secs
lola: 693 tries, 692943418 fired transitions, 1455 secs || 198106895 markings, 377738855 edges, 138542 markings/sec, 1455 secs
lola: 696 tries, 695348892 fired transitions, 1460 secs || 198830293 markings, 379092256 edges, 144680 markings/sec, 1460 secs
lola: 698 tries, 697743281 fired transitions, 1465 secs || 199540697 markings, 380402624 edges, 142081 markings/sec, 1465 secs
lola: 701 tries, 700037776 fired transitions, 1470 secs || 200253426 markings, 381720024 edges, 142546 markings/sec, 1470 secs
lola: 703 tries, 702244104 fired transitions, 1475 secs || 201041944 markings, 383099280 edges, 157704 markings/sec, 1475 secs
lola: 705 tries, 704379541 fired transitions, 1480 secs || 201811577 markings, 384481223 edges, 153927 markings/sec, 1480 secs
lola: 707 tries, 706541760 fired transitions, 1485 secs || 202588073 markings, 385818087 edges, 155299 markings/sec, 1485 secs
lola: 709 tries, 708935013 fired transitions, 1490 secs || 203298538 markings, 387164616 edges, 142093 markings/sec, 1490 secs
lola: 712 tries, 711381298 fired transitions, 1495 secs || 204032045 markings, 388524933 edges, 146701 markings/sec, 1495 secs
lola: 714 tries, 713831378 fired transitions, 1500 secs || 204761068 markings, 389902420 edges, 145805 markings/sec, 1500 secs
lola: 717 tries, 716240251 fired transitions, 1505 secs || 205474059 markings, 391292301 edges, 142598 markings/sec, 1505 secs
lola: 719 tries, 718631995 fired transitions, 1510 secs || 206204755 markings, 392664495 edges, 146139 markings/sec, 1510 secs
lola: 722 tries, 721115071 fired transitions, 1515 secs || 206887489 markings, 394032193 edges, 136547 markings/sec, 1515 secs
lola: 724 tries, 723553299 fired transitions, 1520 secs || 207611516 markings, 395416165 edges, 144805 markings/sec, 1520 secs
lola: 726 tries, 725955055 fired transitions, 1525 secs || 208332512 markings, 396780603 edges, 144199 markings/sec, 1525 secs
lola: 729 tries, 728330598 fired transitions, 1530 secs || 209059787 markings, 398118226 edges, 145455 markings/sec, 1530 secs
lola: 731 tries, 730618314 fired transitions, 1535 secs || 209777426 markings, 399415799 edges, 143528 markings/sec, 1535 secs
lola: 733 tries, 732905714 fired transitions, 1540 secs || 210506029 markings, 400748843 edges, 145721 markings/sec, 1540 secs
lola: 736 tries, 735033391 fired transitions, 1545 secs || 211174530 markings, 402035781 edges, 133700 markings/sec, 1545 secs
lola: 738 tries, 737357378 fired transitions, 1550 secs || 211919699 markings, 403336403 edges, 149034 markings/sec, 1550 secs
lola: 740 tries, 739856126 fired transitions, 1555 secs || 212621450 markings, 404687788 edges, 140350 markings/sec, 1555 secs
lola: 743 tries, 742327713 fired transitions, 1560 secs || 213323360 markings, 406016694 edges, 140382 markings/sec, 1560 secs
lola: 745 tries, 744713856 fired transitions, 1565 secs || 214052829 markings, 407372806 edges, 145894 markings/sec, 1565 secs
lola: 748 tries, 747030989 fired transitions, 1570 secs || 214733056 markings, 408723292 edges, 136045 markings/sec, 1570 secs
lola: 750 tries, 749325902 fired transitions, 1575 secs || 215491594 markings, 410110524 edges, 151708 markings/sec, 1575 secs
lola: 752 tries, 751568260 fired transitions, 1580 secs || 216235656 markings, 411478691 edges, 148812 markings/sec, 1580 secs
lola: 754 tries, 753864852 fired transitions, 1585 secs || 216980714 markings, 412827858 edges, 149012 markings/sec, 1585 secs
lola: 757 tries, 756235277 fired transitions, 1590 secs || 217731146 markings, 414203050 edges, 150086 markings/sec, 1590 secs
lola: 759 tries, 758674653 fired transitions, 1595 secs || 218509730 markings, 415578878 edges, 155717 markings/sec, 1595 secs
lola: 761 tries, 760902001 fired transitions, 1600 secs || 219291175 markings, 416944938 edges, 156289 markings/sec, 1600 secs
lola: 764 tries, 763256236 fired transitions, 1605 secs || 220062194 markings, 418299158 edges, 154204 markings/sec, 1605 secs
lola: 766 tries, 765488150 fired transitions, 1610 secs || 220829901 markings, 419669253 edges, 153541 markings/sec, 1610 secs
lola: 768 tries, 767764792 fired transitions, 1615 secs || 221588698 markings, 421016354 edges, 151759 markings/sec, 1615 secs
lola: 771 tries, 770501249 fired transitions, 1620 secs || 222401250 markings, 422450018 edges, 162510 markings/sec, 1620 secs
lola: 774 tries, 773627127 fired transitions, 1625 secs || 223199122 markings, 423998419 edges, 159574 markings/sec, 1625 secs
lola: 777 tries, 776747269 fired transitions, 1630 secs || 223984517 markings, 425543044 edges, 157079 markings/sec, 1630 secs
lola: 780 tries, 779772591 fired transitions, 1635 secs || 224744800 markings, 427049979 edges, 152057 markings/sec, 1635 secs
lola: 783 tries, 782360244 fired transitions, 1640 secs || 225441880 markings, 428456467 edges, 139416 markings/sec, 1640 secs
lola: 785 tries, 784885918 fired transitions, 1645 secs || 226158906 markings, 429860449 edges, 143405 markings/sec, 1645 secs
lola: 788 tries, 787297626 fired transitions, 1650 secs || 226891895 markings, 431242494 edges, 146598 markings/sec, 1650 secs
lola: 790 tries, 789704573 fired transitions, 1655 secs || 227619893 markings, 432620321 edges, 145600 markings/sec, 1655 secs
lola: 793 tries, 792102190 fired transitions, 1660 secs || 228322544 markings, 433992511 edges, 140530 markings/sec, 1660 secs
lola: 795 tries, 794364117 fired transitions, 1665 secs || 229029799 markings, 435372855 edges, 141451 markings/sec, 1665 secs
lola: 797 tries, 796550161 fired transitions, 1670 secs || 229803249 markings, 436758728 edges, 154690 markings/sec, 1670 secs
lola: 799 tries, 798756756 fired transitions, 1675 secs || 230535864 markings, 438145857 edges, 146523 markings/sec, 1675 secs
lola: 802 tries, 801057973 fired transitions, 1680 secs || 231285936 markings, 439516693 edges, 150014 markings/sec, 1680 secs
lola: 804 tries, 803364597 fired transitions, 1685 secs || 232007595 markings, 440896023 edges, 144332 markings/sec, 1685 secs
lola: 806 tries, 805702318 fired transitions, 1690 secs || 232721845 markings, 442294252 edges, 142850 markings/sec, 1690 secs
lola: 808 tries, 807943777 fired transitions, 1695 secs || 233449527 markings, 443668826 edges, 145536 markings/sec, 1695 secs
lola: 811 tries, 810227430 fired transitions, 1700 secs || 234145047 markings, 445022279 edges, 139104 markings/sec, 1700 secs
lola: 813 tries, 812777320 fired transitions, 1705 secs || 234841853 markings, 446421056 edges, 139361 markings/sec, 1705 secs
lola: 816 tries, 815289308 fired transitions, 1710 secs || 235537283 markings, 447804037 edges, 139086 markings/sec, 1710 secs
lola: 818 tries, 817730692 fired transitions, 1715 secs || 236232068 markings, 449118086 edges, 138957 markings/sec, 1715 secs
lola: 821 tries, 820201654 fired transitions, 1720 secs || 236916508 markings, 450486948 edges, 136888 markings/sec, 1720 secs
lola: 823 tries, 822603188 fired transitions, 1725 secs || 237630208 markings, 451849982 edges, 142740 markings/sec, 1725 secs
lola: 826 tries, 825076135 fired transitions, 1730 secs || 238318392 markings, 453228395 edges, 137637 markings/sec, 1730 secs
lola: 828 tries, 827540457 fired transitions, 1735 secs || 239011954 markings, 454607973 edges, 138712 markings/sec, 1735 secs
lola: 830 tries, 829963264 fired transitions, 1740 secs || 239769916 markings, 456008775 edges, 151592 markings/sec, 1740 secs
lola: 833 tries, 832292666 fired transitions, 1745 secs || 240404032 markings, 457327307 edges, 126823 markings/sec, 1745 secs
lola: 835 tries, 834703927 fired transitions, 1750 secs || 241085602 markings, 458676194 edges, 136314 markings/sec, 1750 secs
lola: 838 tries, 837010713 fired transitions, 1755 secs || 241814516 markings, 460064450 edges, 145783 markings/sec, 1755 secs
lola: 840 tries, 839344865 fired transitions, 1760 secs || 242585485 markings, 461468560 edges, 154194 markings/sec, 1760 secs
lola: 842 tries, 841717816 fired transitions, 1765 secs || 243254233 markings, 462835524 edges, 133750 markings/sec, 1765 secs
lola: 845 tries, 844105572 fired transitions, 1770 secs || 243881212 markings, 464173850 edges, 125396 markings/sec, 1770 secs
lola: 847 tries, 846585236 fired transitions, 1775 secs || 244551207 markings, 465494391 edges, 133999 markings/sec, 1775 secs
lola: 849 tries, 848991541 fired transitions, 1780 secs || 245253704 markings, 466860913 edges, 140499 markings/sec, 1780 secs
lola: 852 tries, 851494088 fired transitions, 1785 secs || 245969252 markings, 468234634 edges, 143110 markings/sec, 1785 secs
lola: 854 tries, 853963112 fired transitions, 1790 secs || 246718960 markings, 469579864 edges, 149942 markings/sec, 1790 secs
lola: 857 tries, 856425145 fired transitions, 1795 secs || 247403049 markings, 470923914 edges, 136818 markings/sec, 1795 secs
lola: 859 tries, 858874124 fired transitions, 1800 secs || 248108135 markings, 472342702 edges, 141017 markings/sec, 1800 secs
lola: 862 tries, 861340526 fired transitions, 1805 secs || 248791633 markings, 473748295 edges, 136700 markings/sec, 1805 secs
lola: 864 tries, 863811916 fired transitions, 1810 secs || 249470598 markings, 475095550 edges, 135793 markings/sec, 1810 secs
lola: 867 tries, 866260565 fired transitions, 1815 secs || 250149006 markings, 476433736 edges, 135682 markings/sec, 1815 secs
lola: 869 tries, 868606642 fired transitions, 1820 secs || 250858005 markings, 477829995 edges, 141800 markings/sec, 1820 secs
lola: 872 tries, 871114455 fired transitions, 1825 secs || 251548860 markings, 479208555 edges, 138171 markings/sec, 1825 secs
lola: 874 tries, 873604555 fired transitions, 1830 secs || 252226002 markings, 480602547 edges, 135428 markings/sec, 1830 secs
lola: 876 tries, 875932568 fired transitions, 1835 secs || 252924526 markings, 482007854 edges, 139705 markings/sec, 1835 secs
lola: 879 tries, 878365022 fired transitions, 1840 secs || 253631111 markings, 483384626 edges, 141317 markings/sec, 1840 secs
lola: 881 tries, 880848776 fired transitions, 1845 secs || 254335623 markings, 484743456 edges, 140902 markings/sec, 1845 secs
lola: 884 tries, 883346666 fired transitions, 1850 secs || 255031350 markings, 486109928 edges, 139145 markings/sec, 1850 secs
lola: 886 tries, 885781881 fired transitions, 1855 secs || 255769885 markings, 487506019 edges, 147707 markings/sec, 1855 secs
lola: 889 tries, 888195994 fired transitions, 1860 secs || 256503304 markings, 488874958 edges, 146684 markings/sec, 1860 secs
lola: 891 tries, 890743246 fired transitions, 1865 secs || 257205272 markings, 490225697 edges, 140394 markings/sec, 1865 secs
lola: 894 tries, 893312373 fired transitions, 1870 secs || 257888980 markings, 491607868 edges, 136742 markings/sec, 1870 secs
lola: 896 tries, 895921098 fired transitions, 1875 secs || 258581015 markings, 493023068 edges, 138407 markings/sec, 1875 secs
lola: 899 tries, 898509804 fired transitions, 1880 secs || 259307496 markings, 494442348 edges, 145296 markings/sec, 1880 secs
lola: 902 tries, 901054820 fired transitions, 1885 secs || 260014146 markings, 495851890 edges, 141330 markings/sec, 1885 secs
lola: 904 tries, 903585289 fired transitions, 1890 secs || 260721076 markings, 497252822 edges, 141386 markings/sec, 1890 secs
lola: 907 tries, 906209386 fired transitions, 1895 secs || 261423968 markings, 498667234 edges, 140578 markings/sec, 1895 secs
lola: 909 tries, 908766585 fired transitions, 1900 secs || 262101590 markings, 500061862 edges, 135524 markings/sec, 1900 secs
lola: 912 tries, 911399384 fired transitions, 1905 secs || 262788829 markings, 501461747 edges, 137448 markings/sec, 1905 secs
lola: 914 tries, 913985547 fired transitions, 1910 secs || 263469201 markings, 502842250 edges, 136074 markings/sec, 1910 secs
lola: 917 tries, 916258497 fired transitions, 1915 secs || 264216136 markings, 504219624 edges, 149387 markings/sec, 1915 secs
lola: 919 tries, 918640856 fired transitions, 1920 secs || 264946506 markings, 505594128 edges, 146074 markings/sec, 1920 secs
lola: 922 tries, 921031226 fired transitions, 1925 secs || 265679278 markings, 506958621 edges, 146554 markings/sec, 1925 secs
lola: 924 tries, 923511919 fired transitions, 1930 secs || 266386292 markings, 508334943 edges, 141403 markings/sec, 1930 secs
lola: 926 tries, 925976723 fired transitions, 1935 secs || 267049352 markings, 509594819 edges, 132612 markings/sec, 1935 secs
lola: 929 tries, 928424657 fired transitions, 1940 secs || 267773492 markings, 510945434 edges, 144828 markings/sec, 1940 secs
lola: 931 tries, 930890008 fired transitions, 1945 secs || 268530304 markings, 512293113 edges, 151362 markings/sec, 1945 secs
lola: 934 tries, 933359643 fired transitions, 1950 secs || 269243627 markings, 513662110 edges, 142665 markings/sec, 1950 secs
lola: 936 tries, 935900728 fired transitions, 1955 secs || 269967176 markings, 515022021 edges, 144710 markings/sec, 1955 secs
lola: 939 tries, 938313359 fired transitions, 1960 secs || 270656952 markings, 516359708 edges, 137955 markings/sec, 1960 secs
lola: 941 tries, 940705585 fired transitions, 1965 secs || 271306851 markings, 517684989 edges, 129980 markings/sec, 1965 secs
lola: 944 tries, 943027759 fired transitions, 1970 secs || 271975188 markings, 519028820 edges, 133667 markings/sec, 1970 secs
lola: 946 tries, 945397237 fired transitions, 1975 secs || 272710697 markings, 520369887 edges, 147102 markings/sec, 1975 secs
lola: 948 tries, 947743864 fired transitions, 1980 secs || 273381891 markings, 521694848 edges, 134239 markings/sec, 1980 secs
lola: 951 tries, 950087993 fired transitions, 1985 secs || 273984502 markings, 523071355 edges, 120522 markings/sec, 1985 secs
lola: 953 tries, 952422132 fired transitions, 1990 secs || 274742120 markings, 524427002 edges, 151524 markings/sec, 1990 secs
lola: 955 tries, 954854211 fired transitions, 1995 secs || 275489513 markings, 525747226 edges, 149479 markings/sec, 1995 secs
lola: 958 tries, 957278487 fired transitions, 2000 secs || 276236262 markings, 527135454 edges, 149350 markings/sec, 2000 secs
lola: 960 tries, 959586134 fired transitions, 2005 secs || 276984890 markings, 528483104 edges, 149726 markings/sec, 2005 secs
lola: 962 tries, 961906525 fired transitions, 2010 secs || 277727559 markings, 529841551 edges, 148534 markings/sec, 2010 secs
lola: 965 tries, 964315306 fired transitions, 2015 secs || 278503339 markings, 531203119 edges, 155156 markings/sec, 2015 secs
lola: 967 tries, 966698387 fired transitions, 2020 secs || 279227942 markings, 532528853 edges, 144921 markings/sec, 2020 secs
lola: 970 tries, 969081076 fired transitions, 2025 secs || 279936730 markings, 533844592 edges, 141758 markings/sec, 2025 secs
lola: 972 tries, 971490351 fired transitions, 2030 secs || 280673287 markings, 535189215 edges, 147311 markings/sec, 2030 secs
lola: 975 tries, 974433381 fired transitions, 2035 secs || 281467283 markings, 536667783 edges, 158799 markings/sec, 2035 secs
lola: 977 tries, 976943266 fired transitions, 2040 secs || 282189753 markings, 538031263 edges, 144494 markings/sec, 2040 secs
lola: 980 tries, 979444581 fired transitions, 2045 secs || 282926305 markings, 539368968 edges, 147310 markings/sec, 2045 secs
lola: 982 tries, 981966186 fired transitions, 2050 secs || 283672863 markings, 540740379 edges, 149312 markings/sec, 2050 secs
lola: 985 tries, 984518213 fired transitions, 2055 secs || 284410687 markings, 542086035 edges, 147565 markings/sec, 2055 secs
lola: 988 tries, 987088252 fired transitions, 2060 secs || 285106087 markings, 543437282 edges, 139080 markings/sec, 2060 secs
lola: 990 tries, 989589422 fired transitions, 2065 secs || 285819643 markings, 544781137 edges, 142711 markings/sec, 2065 secs
lola: 993 tries, 992138106 fired transitions, 2070 secs || 286526331 markings, 546113529 edges, 141338 markings/sec, 2070 secs
lola: 995 tries, 994725802 fired transitions, 2075 secs || 287240356 markings, 547453510 edges, 142805 markings/sec, 2075 secs
lola: 998 tries, 997331831 fired transitions, 2080 secs || 287958003 markings, 548798723 edges, 143529 markings/sec, 2080 secs
lola: 1000 tries, 999931632 fired transitions, 2085 secs || 288660401 markings, 550163062 edges, 140480 markings/sec, 2085 secs
lola: 1003 tries, 1002539072 fired transitions, 2090 secs || 289350002 markings, 551490250 edges, 137920 markings/sec, 2090 secs
lola: 1006 tries, 1005148048 fired transitions, 2095 secs || 290051757 markings, 552818283 edges, 140351 markings/sec, 2095 secs
lola: 1008 tries, 1007788103 fired transitions, 2100 secs || 290757931 markings, 554140754 edges, 141235 markings/sec, 2100 secs
lola: 1011 tries, 1010369644 fired transitions, 2105 secs || 291474887 markings, 555462446 edges, 143391 markings/sec, 2105 secs
lola: 1014 tries, 1013562978 fired transitions, 2110 secs || 292238321 markings, 556914797 edges, 152687 markings/sec, 2110 secs
lola: 1017 tries, 1016299107 fired transitions, 2115 secs || 292927463 markings, 558222015 edges, 137828 markings/sec, 2115 secs
lola: 1019 tries, 1018985276 fired transitions, 2120 secs || 293646490 markings, 559540511 edges, 143805 markings/sec, 2120 secs
lola: 1022 tries, 1021718171 fired transitions, 2125 secs || 294319543 markings, 560837626 edges, 134611 markings/sec, 2125 secs
lola: 1025 tries, 1024445917 fired transitions, 2130 secs || 295011198 markings, 562137753 edges, 138331 markings/sec, 2130 secs
lola: 1028 tries, 1027109524 fired transitions, 2135 secs || 295732550 markings, 563460363 edges, 144270 markings/sec, 2135 secs
lola: 1030 tries, 1029815585 fired transitions, 2140 secs || 296415857 markings, 564761508 edges, 136661 markings/sec, 2140 secs
lola: 1033 tries, 1032520214 fired transitions, 2145 secs || 297090753 markings, 566066223 edges, 134979 markings/sec, 2145 secs
lola: 1036 tries, 1035152075 fired transitions, 2150 secs || 297788900 markings, 567389465 edges, 139629 markings/sec, 2150 secs
lola: 1038 tries, 1037771874 fired transitions, 2155 secs || 298501192 markings, 568712650 edges, 142458 markings/sec, 2155 secs
lola: 1041 tries, 1040491899 fired transitions, 2160 secs || 299165071 markings, 570015643 edges, 132776 markings/sec, 2160 secs
lola: 1044 tries, 1043273586 fired transitions, 2165 secs || 299815355 markings, 571311071 edges, 130057 markings/sec, 2165 secs
lola: 1047 tries, 1046075777 fired transitions, 2170 secs || 300473625 markings, 572607323 edges, 131654 markings/sec, 2170 secs
lola: 1049 tries, 1048944563 fired transitions, 2175 secs || 301122681 markings, 573885650 edges, 129811 markings/sec, 2175 secs
lola: 1052 tries, 1051720601 fired transitions, 2180 secs || 301780898 markings, 575169351 edges, 131643 markings/sec, 2180 secs
lola: 1055 tries, 1054847526 fired transitions, 2185 secs || 302387292 markings, 576373169 edges, 121279 markings/sec, 2185 secs
lola: 1058 tries, 1057609416 fired transitions, 2190 secs || 303060884 markings, 577668956 edges, 134718 markings/sec, 2190 secs
lola: 1061 tries, 1060602037 fired transitions, 2195 secs || 303681651 markings, 578905736 edges, 124153 markings/sec, 2195 secs
lola: 1064 tries, 1063433102 fired transitions, 2200 secs || 304317684 markings, 580185128 edges, 127207 markings/sec, 2200 secs
lola: 1067 tries, 1066320806 fired transitions, 2205 secs || 304959241 markings, 581455249 edges, 128311 markings/sec, 2205 secs
lola: 1070 tries, 1069222466 fired transitions, 2210 secs || 305589022 markings, 582713281 edges, 125956 markings/sec, 2210 secs
lola: 1073 tries, 1072174264 fired transitions, 2215 secs || 306218226 markings, 583964550 edges, 125841 markings/sec, 2215 secs
lola: 1076 tries, 1075064017 fired transitions, 2220 secs || 306848919 markings, 585234112 edges, 126139 markings/sec, 2220 secs
lola: 1078 tries, 1077934736 fired transitions, 2225 secs || 307480156 markings, 586510826 edges, 126247 markings/sec, 2225 secs
lola: 1081 tries, 1080788067 fired transitions, 2230 secs || 308126573 markings, 587794192 edges, 129283 markings/sec, 2230 secs
lola: 1084 tries, 1083651910 fired transitions, 2235 secs || 308757749 markings, 589070941 edges, 126235 markings/sec, 2235 secs
lola: 1089 tries, 1088400171 fired transitions, 2240 secs || 309544995 markings, 590674563 edges, 157449 markings/sec, 2240 secs
lola: 1094 tries, 1093531787 fired transitions, 2245 secs || 310360074 markings, 592339528 edges, 163016 markings/sec, 2245 secs
lola: 1099 tries, 1098697812 fired transitions, 2250 secs || 311172012 markings, 593986672 edges, 162388 markings/sec, 2250 secs
lola: 1104 tries, 1103898109 fired transitions, 2255 secs || 311995734 markings, 595624374 edges, 164744 markings/sec, 2255 secs
lola: 1110 tries, 1109143793 fired transitions, 2260 secs || 312770102 markings, 597205224 edges, 154874 markings/sec, 2260 secs
lola: 1115 tries, 1114373458 fired transitions, 2265 secs || 313539145 markings, 598789190 edges, 153809 markings/sec, 2265 secs
lola: 1120 tries, 1119592354 fired transitions, 2270 secs || 314310671 markings, 600375520 edges, 154305 markings/sec, 2270 secs
lola: 1125 tries, 1124811254 fired transitions, 2275 secs || 315085697 markings, 601962607 edges, 155005 markings/sec, 2275 secs
lola: 1131 tries, 1130128836 fired transitions, 2280 secs || 315826975 markings, 603481718 edges, 148256 markings/sec, 2280 secs
lola: 1136 tries, 1135428051 fired transitions, 2285 secs || 316570041 markings, 605000683 edges, 148613 markings/sec, 2285 secs
lola: 1141 tries, 1140043781 fired transitions, 2290 secs || 317257743 markings, 606406143 edges, 137540 markings/sec, 2290 secs
lola: 1144 tries, 1143317903 fired transitions, 2295 secs || 317842922 markings, 607594911 edges, 117036 markings/sec, 2295 secs
lola: 1147 tries, 1146569220 fired transitions, 2300 secs || 318429488 markings, 608795320 edges, 117313 markings/sec, 2300 secs
lola: 1150 tries, 1149483625 fired transitions, 2305 secs || 319028410 markings, 609991363 edges, 119784 markings/sec, 2305 secs
lola: 1153 tries, 1152645783 fired transitions, 2310 secs || 319637454 markings, 611233297 edges, 121809 markings/sec, 2310 secs
lola: 1158 tries, 1157435737 fired transitions, 2315 secs || 320380146 markings, 612737982 edges, 148538 markings/sec, 2315 secs
lola: 1163 tries, 1162734377 fired transitions, 2320 secs || 321163284 markings, 614322446 edges, 156628 markings/sec, 2320 secs
lola: 1169 tries, 1168019725 fired transitions, 2325 secs || 321937799 markings, 615901145 edges, 154903 markings/sec, 2325 secs
lola: 1174 tries, 1173252288 fired transitions, 2330 secs || 322738278 markings, 617537525 edges, 160096 markings/sec, 2330 secs
lola: 1178 tries, 1177773542 fired transitions, 2335 secs || 323899362 markings, 619273961 edges, 232217 markings/sec, 2335 secs
lola: 1181 tries, 1180392752 fired transitions, 2340 secs || 324759057 markings, 620496033 edges, 171939 markings/sec, 2340 secs
lola: 1183 tries, 1182737445 fired transitions, 2345 secs || 325506903 markings, 621620581 edges, 149569 markings/sec, 2345 secs
lola: 1186 tries, 1185066966 fired transitions, 2350 secs || 326194576 markings, 622677803 edges, 137535 markings/sec, 2350 secs
lola: 1188 tries, 1187535484 fired transitions, 2355 secs || 326927176 markings, 623838080 edges, 146520 markings/sec, 2355 secs
lola: 1191 tries, 1190015929 fired transitions, 2360 secs || 327659526 markings, 625012873 edges, 146470 markings/sec, 2360 secs
lola: 1193 tries, 1192536924 fired transitions, 2365 secs || 328390496 markings, 626215129 edges, 146194 markings/sec, 2365 secs
lola: 1196 tries, 1195057680 fired transitions, 2370 secs || 329114781 markings, 627437602 edges, 144857 markings/sec, 2370 secs
lola: 1198 tries, 1197573785 fired transitions, 2375 secs || 329840203 markings, 628678497 edges, 145084 markings/sec, 2375 secs
lola: 1201 tries, 1200085429 fired transitions, 2380 secs || 330559371 markings, 629938280 edges, 143834 markings/sec, 2380 secs
lola: 1203 tries, 1202653007 fired transitions, 2385 secs || 331283283 markings, 631195965 edges, 144782 markings/sec, 2385 secs
lola: 1206 tries, 1205313455 fired transitions, 2390 secs || 331992782 markings, 632441702 edges, 141900 markings/sec, 2390 secs
lola: 1208 tries, 1207927861 fired transitions, 2395 secs || 332700885 markings, 633696919 edges, 141621 markings/sec, 2395 secs
lola: 1212 tries, 1211376124 fired transitions, 2400 secs || 333570387 markings, 635255977 edges, 173900 markings/sec, 2400 secs
lola: 1216 tries, 1215950832 fired transitions, 2405 secs || 334633300 markings, 637192210 edges, 212583 markings/sec, 2405 secs
lola: 1221 tries, 1220600639 fired transitions, 2410 secs || 335704504 markings, 639165648 edges, 214241 markings/sec, 2410 secs
lola: 1226 tries, 1225260948 fired transitions, 2415 secs || 336756715 markings, 641149173 edges, 210442 markings/sec, 2415 secs
lola: 1230 tries, 1229885823 fired transitions, 2420 secs || 337813607 markings, 643161519 edges, 211378 markings/sec, 2420 secs
lola: 1235 tries, 1234496324 fired transitions, 2425 secs || 338860017 markings, 645150363 edges, 209282 markings/sec, 2425 secs
lola: 1240 tries, 1239113929 fired transitions, 2430 secs || 339917461 markings, 647155856 edges, 211489 markings/sec, 2430 secs
lola: 1244 tries, 1243778738 fired transitions, 2435 secs || 340981329 markings, 649186278 edges, 212774 markings/sec, 2435 secs
lola: 1249 tries, 1248388320 fired transitions, 2440 secs || 342067414 markings, 651273415 edges, 217217 markings/sec, 2440 secs
lola: 1253 tries, 1252975118 fired transitions, 2445 secs || 343112158 markings, 653339077 edges, 208949 markings/sec, 2445 secs
lola: 1258 tries, 1257646201 fired transitions, 2450 secs || 344163484 markings, 655370927 edges, 210265 markings/sec, 2450 secs
lola: 1262 tries, 1261614893 fired transitions, 2455 secs || 345057737 markings, 657118742 edges, 178851 markings/sec, 2455 secs
lola: 1265 tries, 1264223722 fired transitions, 2460 secs || 345688429 markings, 658355986 edges, 126138 markings/sec, 2460 secs
lola: 1267 tries, 1266849246 fired transitions, 2465 secs || 346309958 markings, 659584903 edges, 124306 markings/sec, 2465 secs
lola: 1270 tries, 1269481419 fired transitions, 2470 secs || 346953230 markings, 660824882 edges, 128654 markings/sec, 2470 secs
lola: 1273 tries, 1272135751 fired transitions, 2475 secs || 347582866 markings, 662070563 edges, 125927 markings/sec, 2475 secs
lola: 1275 tries, 1274817694 fired transitions, 2480 secs || 348211353 markings, 663297001 edges, 125697 markings/sec, 2480 secs
lola: 1278 tries, 1277493469 fired transitions, 2485 secs || 348837279 markings, 664573330 edges, 125185 markings/sec, 2485 secs
lola: 1281 tries, 1280096352 fired transitions, 2490 secs || 349474989 markings, 665835199 edges, 127542 markings/sec, 2490 secs
lola: 1283 tries, 1282699651 fired transitions, 2495 secs || 350101411 markings, 667073830 edges, 125284 markings/sec, 2495 secs
lola: 1286 tries, 1285317215 fired transitions, 2500 secs || 350755950 markings, 668332110 edges, 130908 markings/sec, 2500 secs
lola: 1288 tries, 1287868751 fired transitions, 2505 secs || 351441609 markings, 669627867 edges, 137132 markings/sec, 2505 secs
lola: 1291 tries, 1290422333 fired transitions, 2510 secs || 352114145 markings, 670885706 edges, 134507 markings/sec, 2510 secs
lola: 1294 tries, 1293058692 fired transitions, 2515 secs || 352742839 markings, 672132423 edges, 125739 markings/sec, 2515 secs
lola: 1296 tries, 1295670890 fired transitions, 2520 secs || 353394032 markings, 673388085 edges, 130239 markings/sec, 2520 secs
lola: 1299 tries, 1298268537 fired transitions, 2525 secs || 354042157 markings, 674659909 edges, 129625 markings/sec, 2525 secs
lola: 1301 tries, 1300809233 fired transitions, 2530 secs || 354674131 markings, 675948637 edges, 126395 markings/sec, 2530 secs
lola: 1304 tries, 1303372115 fired transitions, 2535 secs || 355327584 markings, 677211414 edges, 130691 markings/sec, 2535 secs
lola: 1307 tries, 1306037932 fired transitions, 2540 secs || 355970501 markings, 678446482 edges, 128583 markings/sec, 2540 secs
lola: 1309 tries, 1308666303 fired transitions, 2545 secs || 356612189 markings, 679708175 edges, 128338 markings/sec, 2545 secs
lola: 1312 tries, 1311311596 fired transitions, 2550 secs || 357254607 markings, 680969783 edges, 128484 markings/sec, 2550 secs
lola: 1314 tries, 1313884952 fired transitions, 2555 secs || 357933178 markings, 682249298 edges, 135714 markings/sec, 2555 secs
lola: 1317 tries, 1316500839 fired transitions, 2560 secs || 358559717 markings, 683514267 edges, 125308 markings/sec, 2560 secs
lola: 1320 tries, 1319079886 fired transitions, 2565 secs || 359221039 markings, 684783482 edges, 132264 markings/sec, 2565 secs
lola: 1322 tries, 1321612863 fired transitions, 2570 secs || 359893019 markings, 686094449 edges, 134396 markings/sec, 2570 secs
lola: 1325 tries, 1324179348 fired transitions, 2575 secs || 360534517 markings, 687371405 edges, 128300 markings/sec, 2575 secs
lola: 1327 tries, 1326728990 fired transitions, 2580 secs || 361140535 markings, 688668704 edges, 121204 markings/sec, 2580 secs
lola: 1330 tries, 1329274383 fired transitions, 2585 secs || 361774290 markings, 689935566 edges, 126751 markings/sec, 2585 secs
lola: 1332 tries, 1331884299 fired transitions, 2590 secs || 362397928 markings, 691235774 edges, 124728 markings/sec, 2590 secs
lola: 1335 tries, 1334564157 fired transitions, 2595 secs || 363024722 markings, 692536603 edges, 125359 markings/sec, 2595 secs
lola: 1338 tries, 1337218439 fired transitions, 2600 secs || 363639473 markings, 693811973 edges, 122950 markings/sec, 2600 secs
lola: 1340 tries, 1339808654 fired transitions, 2605 secs || 364289314 markings, 695100597 edges, 129968 markings/sec, 2605 secs
lola: 1343 tries, 1342417576 fired transitions, 2610 secs || 364931250 markings, 696399305 edges, 128387 markings/sec, 2610 secs
lola: 1345 tries, 1344970189 fired transitions, 2615 secs || 365567704 markings, 697675397 edges, 127291 markings/sec, 2615 secs
lola: 1348 tries, 1347529223 fired transitions, 2620 secs || 366209648 markings, 698975455 edges, 128389 markings/sec, 2620 secs
lola: 1351 tries, 1350145007 fired transitions, 2625 secs || 366839105 markings, 700246396 edges, 125891 markings/sec, 2625 secs
lola: 1353 tries, 1352684097 fired transitions, 2630 secs || 367488953 markings, 701547315 edges, 129970 markings/sec, 2630 secs
lola: 1356 tries, 1355207055 fired transitions, 2635 secs || 368160401 markings, 702835729 edges, 134290 markings/sec, 2635 secs
lola: 1358 tries, 1357691472 fired transitions, 2640 secs || 368802962 markings, 704149843 edges, 128512 markings/sec, 2640 secs
lola: 1361 tries, 1360118271 fired transitions, 2645 secs || 369480071 markings, 705464144 edges, 135422 markings/sec, 2645 secs
lola: 1363 tries, 1362592919 fired transitions, 2650 secs || 370156260 markings, 706777027 edges, 135238 markings/sec, 2650 secs
lola: 1365 tries, 1364989158 fired transitions, 2655 secs || 370846530 markings, 708107317 edges, 138054 markings/sec, 2655 secs
lola: 1368 tries, 1367328747 fired transitions, 2660 secs || 371465228 markings, 709381792 edges, 123740 markings/sec, 2660 secs
lola: 1370 tries, 1369763329 fired transitions, 2665 secs || 372094480 markings, 710649571 edges, 125850 markings/sec, 2665 secs
lola: 1373 tries, 1372772993 fired transitions, 2670 secs || 372856495 markings, 712147245 edges, 152403 markings/sec, 2670 secs
lola: 1376 tries, 1375417797 fired transitions, 2675 secs || 373512037 markings, 713442046 edges, 131108 markings/sec, 2675 secs
lola: 1379 tries, 1378027964 fired transitions, 2680 secs || 374143693 markings, 714749970 edges, 126331 markings/sec, 2680 secs
lola: 1381 tries, 1380545165 fired transitions, 2685 secs || 374813094 markings, 716087340 edges, 133880 markings/sec, 2685 secs
lola: 1384 tries, 1383073396 fired transitions, 2690 secs || 375484307 markings, 717399590 edges, 134243 markings/sec, 2690 secs
lola: 1386 tries, 1385718294 fired transitions, 2695 secs || 376126115 markings, 718687121 edges, 128362 markings/sec, 2695 secs
lola: 1389 tries, 1388283479 fired transitions, 2700 secs || 376782682 markings, 719990101 edges, 131313 markings/sec, 2700 secs
lola: 1392 tries, 1391180526 fired transitions, 2705 secs || 377417936 markings, 721357236 edges, 127051 markings/sec, 2705 secs
lola: 1394 tries, 1393813829 fired transitions, 2710 secs || 378038681 markings, 722559730 edges, 124149 markings/sec, 2710 secs
lola: 1397 tries, 1396995243 fired transitions, 2715 secs || 378754597 markings, 723941836 edges, 143183 markings/sec, 2715 secs
lola: 1400 tries, 1399554876 fired transitions, 2720 secs || 379419518 markings, 725303235 edges, 132984 markings/sec, 2720 secs
lola: 1403 tries, 1402149255 fired transitions, 2725 secs || 380087806 markings, 726598809 edges, 133658 markings/sec, 2725 secs
lola: 1405 tries, 1404723769 fired transitions, 2730 secs || 380770691 markings, 727877252 edges, 136577 markings/sec, 2730 secs
lola: 1408 tries, 1407269101 fired transitions, 2735 secs || 381444127 markings, 729180537 edges, 134687 markings/sec, 2735 secs
lola: 1410 tries, 1409879575 fired transitions, 2740 secs || 382102803 markings, 730479248 edges, 131735 markings/sec, 2740 secs
lola: 1413 tries, 1412463221 fired transitions, 2745 secs || 382758403 markings, 731817279 edges, 131120 markings/sec, 2745 secs
lola: 1415 tries, 1414969804 fired transitions, 2750 secs || 383426493 markings, 733148845 edges, 133618 markings/sec, 2750 secs
lola: 1418 tries, 1417382300 fired transitions, 2755 secs || 384141201 markings, 734515205 edges, 142942 markings/sec, 2755 secs
lola: 1420 tries, 1419960068 fired transitions, 2760 secs || 384825753 markings, 735820959 edges, 136910 markings/sec, 2760 secs
lola: 1423 tries, 1422617705 fired transitions, 2765 secs || 385482548 markings, 737088308 edges, 131359 markings/sec, 2765 secs
lola: 1426 tries, 1425234772 fired transitions, 2770 secs || 386143845 markings, 738390144 edges, 132259 markings/sec, 2770 secs
lola: 1428 tries, 1427784710 fired transitions, 2775 secs || 386819259 markings, 739693225 edges, 135083 markings/sec, 2775 secs
lola: 1431 tries, 1430219821 fired transitions, 2780 secs || 387511167 markings, 741024857 edges, 138382 markings/sec, 2780 secs
lola: 1433 tries, 1432788668 fired transitions, 2785 secs || 388172751 markings, 742349342 edges, 132317 markings/sec, 2785 secs
lola: 1436 tries, 1435372219 fired transitions, 2790 secs || 388838097 markings, 743693219 edges, 133069 markings/sec, 2790 secs
lola: 1438 tries, 1437877924 fired transitions, 2795 secs || 389533392 markings, 745044143 edges, 139059 markings/sec, 2795 secs
lola: 1441 tries, 1440452175 fired transitions, 2800 secs || 390191438 markings, 746378187 edges, 131609 markings/sec, 2800 secs
lola: 1444 tries, 1443028172 fired transitions, 2805 secs || 390860396 markings, 747711593 edges, 133792 markings/sec, 2805 secs
lola: 1446 tries, 1445661109 fired transitions, 2810 secs || 391536109 markings, 749000180 edges, 135143 markings/sec, 2810 secs
lola: 1449 tries, 1448284998 fired transitions, 2815 secs || 392194111 markings, 750291384 edges, 131600 markings/sec, 2815 secs
lola: 1453 tries, 1452829338 fired transitions, 2820 secs || 393197374 markings, 752241326 edges, 200653 markings/sec, 2820 secs
lola: 1457 tries, 1456768086 fired transitions, 2825 secs || 394115590 markings, 754064853 edges, 183643 markings/sec, 2825 secs
lola: 1462 tries, 1461535978 fired transitions, 2830 secs || 395157563 markings, 756123317 edges, 208395 markings/sec, 2830 secs
lola: 1467 tries, 1466237783 fired transitions, 2835 secs || 396254747 markings, 758277725 edges, 219437 markings/sec, 2835 secs
lola: 1472 tries, 1471008868 fired transitions, 2840 secs || 397257828 markings, 760323693 edges, 200616 markings/sec, 2840 secs
lola: 1476 tries, 1475811062 fired transitions, 2845 secs || 398278353 markings, 762392274 edges, 204105 markings/sec, 2845 secs
lola: 1481 tries, 1480560540 fired transitions, 2850 secs || 399326695 markings, 764432394 edges, 209668 markings/sec, 2850 secs
lola: 1486 tries, 1485304967 fired transitions, 2855 secs || 400418399 markings, 766492129 edges, 218341 markings/sec, 2855 secs
lola: 1490 tries, 1489930575 fired transitions, 2860 secs || 401506332 markings, 768634436 edges, 217587 markings/sec, 2860 secs
lola: 1495 tries, 1494653081 fired transitions, 2865 secs || 402575649 markings, 770754059 edges, 213863 markings/sec, 2865 secs
lola: 1498 tries, 1497864788 fired transitions, 2870 secs || 403354169 markings, 772296738 edges, 155704 markings/sec, 2870 secs
lola: 1501 tries, 1500555053 fired transitions, 2875 secs || 404004417 markings, 773581802 edges, 130050 markings/sec, 2875 secs
lola: 1504 tries, 1503231213 fired transitions, 2880 secs || 404652267 markings, 774898076 edges, 129570 markings/sec, 2880 secs
lola: 1506 tries, 1505836318 fired transitions, 2885 secs || 405311806 markings, 776198503 edges, 131908 markings/sec, 2885 secs
lola: 1509 tries, 1508454317 fired transitions, 2890 secs || 405987913 markings, 777481022 edges, 135221 markings/sec, 2890 secs
lola: 1512 tries, 1511034179 fired transitions, 2895 secs || 406645635 markings, 778802859 edges, 131544 markings/sec, 2895 secs
lola: 1514 tries, 1513546484 fired transitions, 2900 secs || 407317155 markings, 780134155 edges, 134304 markings/sec, 2900 secs
lola: 1517 tries, 1516137983 fired transitions, 2905 secs || 408011694 markings, 781437468 edges, 138908 markings/sec, 2905 secs
lola: 1519 tries, 1518826519 fired transitions, 2910 secs || 408661465 markings, 782715606 edges, 129954 markings/sec, 2910 secs
lola: 1522 tries, 1521512355 fired transitions, 2915 secs || 409297656 markings, 784024341 edges, 127238 markings/sec, 2915 secs
lola: 1525 tries, 1524179130 fired transitions, 2920 secs || 409962012 markings, 785327390 edges, 132871 markings/sec, 2920 secs
lola: 1527 tries, 1526672946 fired transitions, 2925 secs || 410639891 markings, 786568843 edges, 135576 markings/sec, 2925 secs
lola: 1530 tries, 1529235967 fired transitions, 2930 secs || 411318630 markings, 787893969 edges, 135748 markings/sec, 2930 secs
lola: 1532 tries, 1531712148 fired transitions, 2935 secs || 412003491 markings, 789260771 edges, 136972 markings/sec, 2935 secs
lola: 1535 tries, 1534234982 fired transitions, 2940 secs || 412684978 markings, 790562013 edges, 136297 markings/sec, 2940 secs
lola: 1537 tries, 1536839694 fired transitions, 2945 secs || 413353591 markings, 791804313 edges, 133723 markings/sec, 2945 secs
lola: 1540 tries, 1539488386 fired transitions, 2950 secs || 414011794 markings, 793114528 edges, 131641 markings/sec, 2950 secs
lola: 1543 tries, 1542070034 fired transitions, 2955 secs || 414701658 markings, 794402845 edges, 137973 markings/sec, 2955 secs
lola: 1545 tries, 1544648635 fired transitions, 2960 secs || 415376561 markings, 795697170 edges, 134981 markings/sec, 2960 secs
lola: 1548 tries, 1547285427 fired transitions, 2965 secs || 416032502 markings, 796997703 edges, 131188 markings/sec, 2965 secs
lola: 1550 tries, 1549926848 fired transitions, 2970 secs || 416696043 markings, 798291439 edges, 132708 markings/sec, 2970 secs
lola: 1553 tries, 1552550410 fired transitions, 2975 secs || 417366827 markings, 799554664 edges, 134157 markings/sec, 2975 secs
lola: 1556 tries, 1555184541 fired transitions, 2980 secs || 418001813 markings, 800859543 edges, 126997 markings/sec, 2980 secs
lola: 1558 tries, 1557832632 fired transitions, 2985 secs || 418656752 markings, 802206907 edges, 130988 markings/sec, 2985 secs
lola: 1561 tries, 1560307060 fired transitions, 2990 secs || 419344514 markings, 803476711 edges, 137552 markings/sec, 2990 secs
lola: 1563 tries, 1562931222 fired transitions, 2995 secs || 420006581 markings, 804783719 edges, 132413 markings/sec, 2995 secs
lola: 1566 tries, 1565585213 fired transitions, 3000 secs || 420671280 markings, 806061123 edges, 132940 markings/sec, 3000 secs
lola: 1569 tries, 1568215705 fired transitions, 3005 secs || 421347148 markings, 807323653 edges, 135174 markings/sec, 3005 secs
lola: 1571 tries, 1570830993 fired transitions, 3010 secs || 422014495 markings, 808608814 edges, 133469 markings/sec, 3010 secs
lola: 1574 tries, 1573487541 fired transitions, 3015 secs || 422670428 markings, 809839966 edges, 131187 markings/sec, 3015 secs
lola: 1577 tries, 1576115332 fired transitions, 3020 secs || 423348634 markings, 811089997 edges, 135641 markings/sec, 3020 secs
lola: 1579 tries, 1578747660 fired transitions, 3025 secs || 424004494 markings, 812407949 edges, 131172 markings/sec, 3025 secs
lola: 1582 tries, 1581343951 fired transitions, 3030 secs || 424676509 markings, 813670040 edges, 134403 markings/sec, 3030 secs
lola: 1584 tries, 1583923532 fired transitions, 3035 secs || 425306176 markings, 814884362 edges, 125933 markings/sec, 3035 secs
lola: 1587 tries, 1586371353 fired transitions, 3040 secs || 425944408 markings, 816170707 edges, 127646 markings/sec, 3040 secs
lola: 1589 tries, 1588693729 fired transitions, 3045 secs || 426558779 markings, 817456946 edges, 122874 markings/sec, 3045 secs
lola: 1592 tries, 1591155519 fired transitions, 3050 secs || 427198932 markings, 818681343 edges, 128031 markings/sec, 3050 secs
lola: 1594 tries, 1593869919 fired transitions, 3055 secs || 427868837 markings, 819956446 edges, 133981 markings/sec, 3055 secs
lola: 1597 tries, 1596519646 fired transitions, 3060 secs || 428529292 markings, 821248558 edges, 132091 markings/sec, 3060 secs
lola: 1600 tries, 1599046591 fired transitions, 3065 secs || 429163093 markings, 822466326 edges, 126760 markings/sec, 3065 secs
lola: 1602 tries, 1601651345 fired transitions, 3070 secs || 429837395 markings, 823722069 edges, 134860 markings/sec, 3070 secs
lola: 1605 tries, 1604257559 fired transitions, 3075 secs || 430501840 markings, 824980033 edges, 132889 markings/sec, 3075 secs
lola: 1607 tries, 1606872532 fired transitions, 3080 secs || 431164227 markings, 826242410 edges, 132477 markings/sec, 3080 secs
lola: 1610 tries, 1609491732 fired transitions, 3085 secs || 431835071 markings, 827552455 edges, 134169 markings/sec, 3085 secs
lola: 1613 tries, 1612001313 fired transitions, 3090 secs || 432486063 markings, 828825995 edges, 130198 markings/sec, 3090 secs
lola: 1615 tries, 1614530254 fired transitions, 3095 secs || 433149910 markings, 830107575 edges, 132769 markings/sec, 3095 secs
lola: 1618 tries, 1617088070 fired transitions, 3100 secs || 433813007 markings, 831377911 edges, 132619 markings/sec, 3100 secs
lola: 1620 tries, 1619714737 fired transitions, 3105 secs || 434476642 markings, 832659129 edges, 132727 markings/sec, 3105 secs
lola: 1623 tries, 1622323873 fired transitions, 3110 secs || 435133650 markings, 833915407 edges, 131402 markings/sec, 3110 secs
lola: 1625 tries, 1624998067 fired transitions, 3115 secs || 435782396 markings, 835176030 edges, 129749 markings/sec, 3115 secs
lola: 1628 tries, 1627628528 fired transitions, 3120 secs || 436418627 markings, 836396007 edges, 127246 markings/sec, 3120 secs
lola: 1632 tries, 1631129800 fired transitions, 3125 secs || 436908765 markings, 837333904 edges, 98028 markings/sec, 3125 secs
lola: 1636 tries, 1635365081 fired transitions, 3130 secs || 437185483 markings, 837892041 edges, 55344 markings/sec, 3130 secs
lola: 1640 tries, 1639811932 fired transitions, 3135 secs || 437455145 markings, 838409173 edges, 53932 markings/sec, 3135 secs
lola: 1644 tries, 1643086048 fired transitions, 3140 secs || 437653189 markings, 838785007 edges, 39609 markings/sec, 3140 secs
lola: 1647 tries, 1646228906 fired transitions, 3145 secs || 437850053 markings, 839157487 edges, 39373 markings/sec, 3145 secs
lola: 1648 tries, 1647439769 fired transitions, 3150 secs || 437913392 markings, 839302527 edges, 12668 markings/sec, 3150 secs
lola: 1648 tries, 1647573381 fired transitions, 3155 secs || 437914519 markings, 839305056 edges, 225 markings/sec, 3155 secs
Killed
rslt: finished

BK_STOP 1553896178705

--------------------
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="ProductionCell-PT-none"
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-3954"
echo " Executing tool lola"
echo " Input is ProductionCell-PT-none, 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 r126-oct2-155274853200183"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/ProductionCell-PT-none.tgz
mv ProductionCell-PT-none 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 ;