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.r049-oct2-155234405000408.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 DLCround-PT-08b, examination is GlobalProperties
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r049-oct2-155234405000408
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1.3M
-rw-r--r-- 1 mcc users 4.0K Feb 10 06:35 CTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Feb 10 06:35 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.5K Feb 6 04:54 CTLFireability.txt
-rw-r--r-- 1 mcc users 17K Feb 6 04:54 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 10 17:31 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 102 Feb 24 15:05 GlobalProperties.txt
-rw-r--r-- 1 mcc users 340 Feb 24 15:05 GlobalProperties.xml
-rw-r--r-- 1 mcc users 2.2K Feb 4 23:21 LTLCardinality.txt
-rw-r--r-- 1 mcc users 9.4K Feb 4 23:21 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.9K Feb 4 22:33 LTLFireability.txt
-rw-r--r-- 1 mcc users 9.2K Feb 4 22:33 LTLFireability.xml
-rw-r--r-- 1 mcc users 4.1K Feb 2 22:24 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 22K Feb 2 22:24 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.5K Jan 30 12:33 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 14K Jan 30 12:33 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 4 22:19 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Feb 4 22:19 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Jan 29 09:34 equiv_col
-rw-r--r-- 1 mcc users 4 Jan 29 09:34 instance
-rw-r--r-- 1 mcc users 6 Jan 29 09:34 iscolored
-rw-r--r-- 1 mcc users 1.1M 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 DLCround-PT-08b-GlobalProperties-0

=== Now, execution of the tool begins

BK_START 1552455091363

info: Time: 3600 - MCC
vrfy: Checking GlobalProperties @ DLCround-PT-08b @ 3570 seconds
Makefile:16: recipe for target 'verify' failed
vrfy: finished
info: timeLeft: 1112
rslt: Output for GlobalProperties @ DLCround-PT-08b
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: 7820/268435456 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 3088
lola: finding significant places
lola: 3088 places, 4732 transitions, 2931 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 13 generators (13 in search tree, 0 by composition)
lola: representing 8192 symmetries
lola: 0 dead branches visited in search tree
lola: 2 tries, 1690892 fired transitions, 0 secs || 133103 markings, 153674 edges, 26621 markings/sec, 0 secs
lola: 4 tries, 3449982 fired transitions, 5 secs || 271675 markings, 313186 edges, 27714 markings/sec, 5 secs
lola: 6 tries, 5212559 fired transitions, 10 secs || 409450 markings, 471918 edges, 27555 markings/sec, 10 secs
lola: 7 tries, 6969429 fired transitions, 15 secs || 548319 markings, 631725 edges, 27774 markings/sec, 15 secs
lola: 9 tries, 8739847 fired transitions, 20 secs || 687323 markings, 792780 edges, 27801 markings/sec, 20 secs
lola: 11 tries, 10479889 fired transitions, 25 secs || 823094 markings, 949449 edges, 27154 markings/sec, 25 secs
lola: 13 tries, 12213449 fired transitions, 30 secs || 959535 markings, 1105892 edges, 27288 markings/sec, 30 secs
lola: 14 tries, 13943498 fired transitions, 35 secs || 1096085 markings, 1263870 edges, 27310 markings/sec, 35 secs
lola: 16 tries, 15665287 fired transitions, 40 secs || 1231028 markings, 1419306 edges, 26989 markings/sec, 40 secs
lola: 18 tries, 17397682 fired transitions, 45 secs || 1367947 markings, 1577761 edges, 27384 markings/sec, 45 secs
lola: 20 tries, 19131316 fired transitions, 50 secs || 1504377 markings, 1735721 edges, 27286 markings/sec, 50 secs
lola: 21 tries, 20883249 fired transitions, 55 secs || 1637195 markings, 1890193 edges, 26564 markings/sec, 55 secs
lola: 23 tries, 22645377 fired transitions, 60 secs || 1774926 markings, 2051841 edges, 27546 markings/sec, 60 secs
lola: 25 tries, 24402446 fired transitions, 65 secs || 1912177 markings, 2212167 edges, 27450 markings/sec, 65 secs
lola: 27 tries, 26191091 fired transitions, 70 secs || 2047002 markings, 2368817 edges, 26965 markings/sec, 70 secs
lola: 29 tries, 28331555 fired transitions, 75 secs || 2205717 markings, 2551750 edges, 31743 markings/sec, 75 secs
lola: 31 tries, 30485108 fired transitions, 80 secs || 2364277 markings, 2734725 edges, 31712 markings/sec, 80 secs
lola: 33 tries, 32647444 fired transitions, 85 secs || 2523541 markings, 2919517 edges, 31853 markings/sec, 85 secs
lola: 35 tries, 34837156 fired transitions, 90 secs || 2685149 markings, 3107152 edges, 32322 markings/sec, 90 secs
lola: 38 tries, 37033172 fired transitions, 95 secs || 2846681 markings, 3294237 edges, 32306 markings/sec, 95 secs
lola: 40 tries, 39238615 fired transitions, 100 secs || 3007890 markings, 3480169 edges, 32242 markings/sec, 100 secs
lola: 42 tries, 41450038 fired transitions, 105 secs || 3169126 markings, 3669107 edges, 32247 markings/sec, 105 secs
lola: 44 tries, 43629960 fired transitions, 110 secs || 3328318 markings, 3853357 edges, 31838 markings/sec, 110 secs
lola: 46 tries, 45810689 fired transitions, 115 secs || 3486595 markings, 4036578 edges, 31655 markings/sec, 115 secs
lola: 48 tries, 47974725 fired transitions, 120 secs || 3643579 markings, 4218214 edges, 31397 markings/sec, 120 secs
lola: 51 tries, 50185741 fired transitions, 125 secs || 3805782 markings, 4406800 edges, 32441 markings/sec, 125 secs
lola: 53 tries, 52386845 fired transitions, 130 secs || 3967667 markings, 4596297 edges, 32377 markings/sec, 130 secs
lola: 55 tries, 54592523 fired transitions, 135 secs || 4128704 markings, 4784780 edges, 32207 markings/sec, 135 secs
lola: 57 tries, 56786653 fired transitions, 140 secs || 4288194 markings, 4969228 edges, 31898 markings/sec, 140 secs
lola: 59 tries, 58976593 fired transitions, 145 secs || 4445197 markings, 5151379 edges, 31401 markings/sec, 145 secs
lola: 62 tries, 61167557 fired transitions, 150 secs || 4602903 markings, 5334934 edges, 31541 markings/sec, 150 secs
lola: 64 tries, 63358863 fired transitions, 155 secs || 4758134 markings, 5514594 edges, 31046 markings/sec, 155 secs
lola: 66 tries, 65549855 fired transitions, 160 secs || 4913998 markings, 5695895 edges, 31173 markings/sec, 160 secs
lola: 68 tries, 67744491 fired transitions, 165 secs || 5072456 markings, 5881608 edges, 31692 markings/sec, 165 secs
lola: 70 tries, 69934285 fired transitions, 170 secs || 5228623 markings, 6061650 edges, 31233 markings/sec, 170 secs
lola: 73 tries, 72126609 fired transitions, 175 secs || 5386550 markings, 6245732 edges, 31585 markings/sec, 175 secs
lola: 75 tries, 74320675 fired transitions, 180 secs || 5544119 markings, 6429606 edges, 31514 markings/sec, 180 secs
lola: 77 tries, 76514382 fired transitions, 185 secs || 5699602 markings, 6611666 edges, 31097 markings/sec, 185 secs
lola: 79 tries, 78710557 fired transitions, 190 secs || 5854079 markings, 6791846 edges, 30895 markings/sec, 190 secs
lola: 81 tries, 80903582 fired transitions, 195 secs || 6008698 markings, 6971383 edges, 30924 markings/sec, 195 secs
lola: 84 tries, 83099383 fired transitions, 200 secs || 6165005 markings, 7153792 edges, 31261 markings/sec, 200 secs
lola: 86 tries, 85293664 fired transitions, 205 secs || 6321661 markings, 7336118 edges, 31331 markings/sec, 205 secs
lola: 88 tries, 87486010 fired transitions, 210 secs || 6478711 markings, 7521024 edges, 31410 markings/sec, 210 secs
lola: 90 tries, 89678667 fired transitions, 215 secs || 6635754 markings, 7703464 edges, 31409 markings/sec, 215 secs
lola: 92 tries, 91869335 fired transitions, 220 secs || 6792855 markings, 7884585 edges, 31420 markings/sec, 220 secs
lola: 95 tries, 94066045 fired transitions, 225 secs || 6949853 markings, 8068510 edges, 31400 markings/sec, 225 secs
lola: 97 tries, 96257370 fired transitions, 230 secs || 7105066 markings, 8248323 edges, 31043 markings/sec, 230 secs
lola: 99 tries, 98455925 fired transitions, 235 secs || 7261719 markings, 8432364 edges, 31331 markings/sec, 235 secs
lola: 101 tries, 100646223 fired transitions, 240 secs || 7417752 markings, 8612532 edges, 31207 markings/sec, 240 secs
lola: 103 tries, 102837393 fired transitions, 245 secs || 7575071 markings, 8795863 edges, 31464 markings/sec, 245 secs
lola: 106 tries, 105033179 fired transitions, 250 secs || 7732376 markings, 8979414 edges, 31461 markings/sec, 250 secs
lola: 108 tries, 107225676 fired transitions, 255 secs || 7889316 markings, 9160739 edges, 31388 markings/sec, 255 secs
lola: 110 tries, 109423900 fired transitions, 260 secs || 8049651 markings, 9349506 edges, 32067 markings/sec, 260 secs
lola: 112 tries, 111623566 fired transitions, 265 secs || 8208413 markings, 9536513 edges, 31752 markings/sec, 265 secs
lola: 114 tries, 113820175 fired transitions, 270 secs || 8368546 markings, 9724913 edges, 32027 markings/sec, 270 secs
lola: 117 tries, 116019339 fired transitions, 275 secs || 8526376 markings, 9910315 edges, 31566 markings/sec, 275 secs
lola: 119 tries, 118218709 fired transitions, 280 secs || 8684406 markings, 10096053 edges, 31606 markings/sec, 280 secs
lola: 121 tries, 120409607 fired transitions, 285 secs || 8840811 markings, 10276818 edges, 31281 markings/sec, 285 secs
lola: 123 tries, 122605803 fired transitions, 290 secs || 8999165 markings, 10462871 edges, 31671 markings/sec, 290 secs
lola: 125 tries, 124802518 fired transitions, 295 secs || 9157777 markings, 10648821 edges, 31722 markings/sec, 295 secs
lola: 127 tries, 126995854 fired transitions, 300 secs || 9314562 markings, 10831307 edges, 31357 markings/sec, 300 secs
lola: 130 tries, 129168581 fired transitions, 305 secs || 9469754 markings, 11012829 edges, 31038 markings/sec, 305 secs
lola: 132 tries, 131363587 fired transitions, 310 secs || 9627699 markings, 11197360 edges, 31589 markings/sec, 310 secs
lola: 134 tries, 133541920 fired transitions, 315 secs || 9784076 markings, 11379708 edges, 31275 markings/sec, 315 secs
lola: 136 tries, 135735246 fired transitions, 320 secs || 9936096 markings, 11557684 edges, 30404 markings/sec, 320 secs
lola: 138 tries, 137936215 fired transitions, 325 secs || 10092493 markings, 11741537 edges, 31279 markings/sec, 325 secs
lola: 141 tries, 140125021 fired transitions, 330 secs || 10248397 markings, 11922275 edges, 31181 markings/sec, 330 secs
lola: 143 tries, 142319187 fired transitions, 335 secs || 10403178 markings, 12103323 edges, 30956 markings/sec, 335 secs
lola: 145 tries, 144516804 fired transitions, 340 secs || 10559552 markings, 12287085 edges, 31275 markings/sec, 340 secs
lola: 147 tries, 146713061 fired transitions, 345 secs || 10714924 markings, 12467960 edges, 31074 markings/sec, 345 secs
lola: 149 tries, 148913463 fired transitions, 350 secs || 10866949 markings, 12645560 edges, 30405 markings/sec, 350 secs
lola: 152 tries, 151107583 fired transitions, 355 secs || 11018751 markings, 12821797 edges, 30360 markings/sec, 355 secs
lola: 154 tries, 153310909 fired transitions, 360 secs || 11173632 markings, 13004224 edges, 30976 markings/sec, 360 secs
lola: 156 tries, 155511118 fired transitions, 365 secs || 11326490 markings, 13182771 edges, 30572 markings/sec, 365 secs
lola: 158 tries, 157708648 fired transitions, 370 secs || 11482325 markings, 13364740 edges, 31167 markings/sec, 370 secs
lola: 160 tries, 159902696 fired transitions, 375 secs || 11634588 markings, 13540460 edges, 30453 markings/sec, 375 secs
lola: 163 tries, 162105674 fired transitions, 380 secs || 11790116 markings, 13723660 edges, 31106 markings/sec, 380 secs
lola: 165 tries, 164300685 fired transitions, 385 secs || 11942341 markings, 13899604 edges, 30445 markings/sec, 385 secs
lola: 167 tries, 166498354 fired transitions, 390 secs || 12094418 markings, 14077483 edges, 30415 markings/sec, 390 secs
lola: 169 tries, 168705001 fired transitions, 395 secs || 12247502 markings, 14258317 edges, 30617 markings/sec, 395 secs
lola: 171 tries, 170902996 fired transitions, 400 secs || 12403100 markings, 14441214 edges, 31120 markings/sec, 400 secs
lola: 174 tries, 173109828 fired transitions, 405 secs || 12554666 markings, 14620015 edges, 30313 markings/sec, 405 secs
lola: 176 tries, 175310408 fired transitions, 410 secs || 12710439 markings, 14803933 edges, 31155 markings/sec, 410 secs
lola: 178 tries, 177513570 fired transitions, 415 secs || 12861479 markings, 14981204 edges, 30208 markings/sec, 415 secs
lola: 180 tries, 179625706 fired transitions, 420 secs || 13008762 markings, 15155279 edges, 29457 markings/sec, 420 secs
lola: 181 tries, 180956514 fired transitions, 425 secs || 13103614 markings, 15265758 edges, 18970 markings/sec, 425 secs
lola: 184 tries, 183119474 fired transitions, 430 secs || 13258228 markings, 15446376 edges, 30923 markings/sec, 430 secs
lola: 186 tries, 185316952 fired transitions, 435 secs || 13415044 markings, 15630702 edges, 31363 markings/sec, 435 secs
lola: 188 tries, 187514137 fired transitions, 440 secs || 13573233 markings, 15816985 edges, 31638 markings/sec, 440 secs
lola: 190 tries, 189705711 fired transitions, 445 secs || 13730665 markings, 16001003 edges, 31486 markings/sec, 445 secs
lola: 192 tries, 191904166 fired transitions, 450 secs || 13887260 markings, 16184842 edges, 31319 markings/sec, 450 secs
lola: 195 tries, 194077480 fired transitions, 455 secs || 14044583 markings, 16368318 edges, 31465 markings/sec, 455 secs
lola: 197 tries, 196274612 fired transitions, 460 secs || 14200539 markings, 16549656 edges, 31191 markings/sec, 460 secs
lola: 199 tries, 198463724 fired transitions, 465 secs || 14354554 markings, 16727826 edges, 30803 markings/sec, 465 secs
lola: 201 tries, 200660522 fired transitions, 470 secs || 14509131 markings, 16907978 edges, 30915 markings/sec, 470 secs
lola: 203 tries, 202856596 fired transitions, 475 secs || 14663041 markings, 17087765 edges, 30782 markings/sec, 475 secs
lola: 206 tries, 205054385 fired transitions, 480 secs || 14817255 markings, 17267904 edges, 30843 markings/sec, 480 secs
lola: 208 tries, 207246308 fired transitions, 485 secs || 14971292 markings, 17445808 edges, 30807 markings/sec, 485 secs
lola: 210 tries, 209447629 fired transitions, 490 secs || 15127519 markings, 17629481 edges, 31245 markings/sec, 490 secs
lola: 212 tries, 211649556 fired transitions, 495 secs || 15284396 markings, 17814378 edges, 31375 markings/sec, 495 secs
lola: 214 tries, 213846321 fired transitions, 500 secs || 15438053 markings, 17992840 edges, 30731 markings/sec, 500 secs
lola: 217 tries, 216051833 fired transitions, 505 secs || 15593801 markings, 18177222 edges, 31150 markings/sec, 505 secs
lola: 219 tries, 218246450 fired transitions, 510 secs || 15748632 markings, 18356724 edges, 30966 markings/sec, 510 secs
lola: 221 tries, 220451706 fired transitions, 515 secs || 15906140 markings, 18543589 edges, 31502 markings/sec, 515 secs
lola: 223 tries, 222570081 fired transitions, 520 secs || 16059428 markings, 18721158 edges, 30658 markings/sec, 520 secs
lola: 225 tries, 224752989 fired transitions, 525 secs || 16216080 markings, 18905896 edges, 31330 markings/sec, 525 secs
lola: 227 tries, 226905423 fired transitions, 530 secs || 16373031 markings, 19090207 edges, 31390 markings/sec, 530 secs
lola: 230 tries, 229101357 fired transitions, 535 secs || 16533913 markings, 19279215 edges, 32176 markings/sec, 535 secs
lola: 232 tries, 231268291 fired transitions, 540 secs || 16690087 markings, 19462320 edges, 31235 markings/sec, 540 secs
lola: 234 tries, 233430475 fired transitions, 545 secs || 16845263 markings, 19643771 edges, 31035 markings/sec, 545 secs
lola: 236 tries, 235633472 fired transitions, 550 secs || 17001599 markings, 19827626 edges, 31267 markings/sec, 550 secs
lola: 238 tries, 237833697 fired transitions, 555 secs || 17157555 markings, 20009062 edges, 31191 markings/sec, 555 secs
lola: 241 tries, 240031017 fired transitions, 560 secs || 17313182 markings, 20188317 edges, 31125 markings/sec, 560 secs
lola: 243 tries, 242225852 fired transitions, 565 secs || 17469891 markings, 20372078 edges, 31342 markings/sec, 565 secs
lola: 245 tries, 244414297 fired transitions, 570 secs || 17626211 markings, 20552939 edges, 31264 markings/sec, 570 secs
lola: 247 tries, 246610802 fired transitions, 575 secs || 17782811 markings, 20736335 edges, 31320 markings/sec, 575 secs
lola: 249 tries, 248809257 fired transitions, 580 secs || 17939319 markings, 20919722 edges, 31302 markings/sec, 580 secs
lola: 251 tries, 250997679 fired transitions, 585 secs || 18110320 markings, 21117179 edges, 34200 markings/sec, 585 secs
lola: 254 tries, 253176588 fired transitions, 590 secs || 18278997 markings, 21309691 edges, 33735 markings/sec, 590 secs
lola: 256 tries, 255358482 fired transitions, 595 secs || 18443065 markings, 21496198 edges, 32814 markings/sec, 595 secs
lola: 258 tries, 257546871 fired transitions, 600 secs || 18613546 markings, 21691626 edges, 34096 markings/sec, 600 secs
lola: 260 tries, 259741290 fired transitions, 605 secs || 18789739 markings, 21896064 edges, 35239 markings/sec, 605 secs
lola: 262 tries, 261931460 fired transitions, 610 secs || 18963578 markings, 22097095 edges, 34768 markings/sec, 610 secs
lola: 265 tries, 264080347 fired transitions, 615 secs || 19137204 markings, 22298606 edges, 34725 markings/sec, 615 secs
lola: 267 tries, 266268344 fired transitions, 620 secs || 19311350 markings, 22500156 edges, 34829 markings/sec, 620 secs
lola: 269 tries, 268416283 fired transitions, 625 secs || 19486634 markings, 22704124 edges, 35057 markings/sec, 625 secs
lola: 271 tries, 270600379 fired transitions, 630 secs || 19661146 markings, 22904658 edges, 34902 markings/sec, 630 secs
lola: 273 tries, 272748205 fired transitions, 635 secs || 19837255 markings, 23107433 edges, 35222 markings/sec, 635 secs
lola: 275 tries, 274934389 fired transitions, 640 secs || 20013363 markings, 23310592 edges, 35222 markings/sec, 640 secs
lola: 278 tries, 277121452 fired transitions, 645 secs || 20188681 markings, 23514117 edges, 35064 markings/sec, 645 secs
lola: 280 tries, 279318696 fired transitions, 650 secs || 20365400 markings, 23720473 edges, 35344 markings/sec, 650 secs
lola: 282 tries, 281508655 fired transitions, 655 secs || 20540650 markings, 23924896 edges, 35050 markings/sec, 655 secs
lola: 284 tries, 283706652 fired transitions, 660 secs || 20716988 markings, 24131763 edges, 35268 markings/sec, 660 secs
lola: 286 tries, 285895647 fired transitions, 665 secs || 20891240 markings, 24332784 edges, 34850 markings/sec, 665 secs
lola: 289 tries, 288085820 fired transitions, 670 secs || 21065213 markings, 24533903 edges, 34795 markings/sec, 670 secs
lola: 291 tries, 290275315 fired transitions, 675 secs || 21238297 markings, 24733695 edges, 34617 markings/sec, 675 secs
lola: 293 tries, 292474142 fired transitions, 680 secs || 21412669 markings, 24937044 edges, 34874 markings/sec, 680 secs
lola: 295 tries, 294666983 fired transitions, 685 secs || 21588525 markings, 25144578 edges, 35171 markings/sec, 685 secs
lola: 297 tries, 296822055 fired transitions, 690 secs || 21759479 markings, 25344086 edges, 34191 markings/sec, 690 secs
lola: 299 tries, 298973863 fired transitions, 695 secs || 21930836 markings, 25545126 edges, 34271 markings/sec, 695 secs
lola: 302 tries, 301127436 fired transitions, 700 secs || 22101171 markings, 25743301 edges, 34067 markings/sec, 700 secs
lola: 304 tries, 303271904 fired transitions, 705 secs || 22270058 markings, 25937105 edges, 33777 markings/sec, 705 secs
lola: 306 tries, 305448996 fired transitions, 710 secs || 22443291 markings, 26140381 edges, 34647 markings/sec, 710 secs
lola: 308 tries, 307650252 fired transitions, 715 secs || 22618528 markings, 26346963 edges, 35047 markings/sec, 715 secs
lola: 310 tries, 309850414 fired transitions, 720 secs || 22793981 markings, 26552430 edges, 35091 markings/sec, 720 secs
lola: 313 tries, 312049030 fired transitions, 725 secs || 22968009 markings, 26756461 edges, 34806 markings/sec, 725 secs
lola: 315 tries, 314239703 fired transitions, 730 secs || 23140363 markings, 26955311 edges, 34471 markings/sec, 730 secs
lola: 317 tries, 316439019 fired transitions, 735 secs || 23314082 markings, 27159160 edges, 34744 markings/sec, 735 secs
lola: 319 tries, 318616735 fired transitions, 740 secs || 23488021 markings, 27363621 edges, 34788 markings/sec, 740 secs
lola: 321 tries, 320817621 fired transitions, 745 secs || 23662382 markings, 27568376 edges, 34872 markings/sec, 745 secs
lola: 323 tries, 322980632 fired transitions, 750 secs || 23835656 markings, 27770886 edges, 34655 markings/sec, 750 secs
lola: 326 tries, 325182263 fired transitions, 755 secs || 24008080 markings, 27972439 edges, 34485 markings/sec, 755 secs
lola: 328 tries, 327379252 fired transitions, 760 secs || 24179120 markings, 28171942 edges, 34208 markings/sec, 760 secs
lola: 330 tries, 329584665 fired transitions, 765 secs || 24353345 markings, 28378351 edges, 34845 markings/sec, 765 secs
lola: 332 tries, 331787059 fired transitions, 770 secs || 24526737 markings, 28583791 edges, 34678 markings/sec, 770 secs
lola: 334 tries, 333966186 fired transitions, 775 secs || 24697928 markings, 28785135 edges, 34238 markings/sec, 775 secs
lola: 337 tries, 336161535 fired transitions, 780 secs || 24870542 markings, 28988384 edges, 34523 markings/sec, 780 secs
lola: 339 tries, 338365217 fired transitions, 785 secs || 25043734 markings, 29192731 edges, 34638 markings/sec, 785 secs
lola: 341 tries, 340561839 fired transitions, 790 secs || 25216107 markings, 29394144 edges, 34475 markings/sec, 790 secs
lola: 343 tries, 342767014 fired transitions, 795 secs || 25389277 markings, 29598301 edges, 34634 markings/sec, 795 secs
lola: 345 tries, 344975805 fired transitions, 800 secs || 25563853 markings, 29805595 edges, 34915 markings/sec, 800 secs
lola: 348 tries, 347177030 fired transitions, 805 secs || 25738069 markings, 30010723 edges, 34843 markings/sec, 805 secs
lola: 350 tries, 349378710 fired transitions, 810 secs || 25909628 markings, 30211505 edges, 34312 markings/sec, 810 secs
lola: 352 tries, 351581697 fired transitions, 815 secs || 26083871 markings, 30416078 edges, 34849 markings/sec, 815 secs
lola: 354 tries, 353788352 fired transitions, 820 secs || 26257051 markings, 30620409 edges, 34636 markings/sec, 820 secs
lola: 356 tries, 355983424 fired transitions, 825 secs || 26428035 markings, 30817907 edges, 34197 markings/sec, 825 secs
lola: 359 tries, 358175003 fired transitions, 830 secs || 26599840 markings, 31015339 edges, 34361 markings/sec, 830 secs
lola: 361 tries, 360324246 fired transitions, 835 secs || 26772973 markings, 31214799 edges, 34627 markings/sec, 835 secs
lola: 363 tries, 362513922 fired transitions, 840 secs || 26944278 markings, 31411969 edges, 34261 markings/sec, 840 secs
lola: 365 tries, 364692824 fired transitions, 845 secs || 27115147 markings, 31608706 edges, 34174 markings/sec, 845 secs
lola: 367 tries, 366868859 fired transitions, 850 secs || 27286982 markings, 31806970 edges, 34367 markings/sec, 850 secs
lola: 370 tries, 369057253 fired transitions, 855 secs || 27458589 markings, 32008566 edges, 34321 markings/sec, 855 secs
lola: 372 tries, 371266261 fired transitions, 860 secs || 27632962 markings, 32215438 edges, 34875 markings/sec, 860 secs
lola: 374 tries, 373468862 fired transitions, 865 secs || 27805675 markings, 32418919 edges, 34543 markings/sec, 865 secs
lola: 376 tries, 375675974 fired transitions, 870 secs || 27980253 markings, 32626034 edges, 34916 markings/sec, 870 secs
lola: 378 tries, 377882435 fired transitions, 875 secs || 28153023 markings, 32829704 edges, 34554 markings/sec, 875 secs
lola: 381 tries, 380093711 fired transitions, 880 secs || 28327391 markings, 33036801 edges, 34874 markings/sec, 880 secs
lola: 383 tries, 382289685 fired transitions, 885 secs || 28499989 markings, 33236796 edges, 34520 markings/sec, 885 secs
lola: 385 tries, 384481813 fired transitions, 890 secs || 28672243 markings, 33435688 edges, 34451 markings/sec, 890 secs
lola: 387 tries, 386677823 fired transitions, 895 secs || 28844055 markings, 33635333 edges, 34362 markings/sec, 895 secs
lola: 389 tries, 388880557 fired transitions, 900 secs || 29016723 markings, 33839105 edges, 34534 markings/sec, 900 secs
lola: 392 tries, 391106091 fired transitions, 905 secs || 29190861 markings, 34043733 edges, 34828 markings/sec, 905 secs
lola: 394 tries, 393341534 fired transitions, 910 secs || 29365884 markings, 34249728 edges, 35005 markings/sec, 910 secs
lola: 396 tries, 395563709 fired transitions, 915 secs || 29540469 markings, 34450805 edges, 34917 markings/sec, 915 secs
lola: 398 tries, 397787867 fired transitions, 920 secs || 29715035 markings, 34651748 edges, 34913 markings/sec, 920 secs
lola: 401 tries, 400009164 fired transitions, 925 secs || 29889630 markings, 34853153 edges, 34919 markings/sec, 925 secs
lola: 403 tries, 402207616 fired transitions, 930 secs || 30063176 markings, 35053565 edges, 34709 markings/sec, 930 secs
lola: 405 tries, 404383943 fired transitions, 935 secs || 30234442 markings, 35251548 edges, 34253 markings/sec, 935 secs
lola: 407 tries, 406592741 fired transitions, 940 secs || 30409060 markings, 35454897 edges, 34924 markings/sec, 940 secs
lola: 409 tries, 408783597 fired transitions, 945 secs || 30580698 markings, 35652430 edges, 34328 markings/sec, 945 secs
lola: 411 tries, 410991645 fired transitions, 950 secs || 30752928 markings, 35851402 edges, 34446 markings/sec, 950 secs
lola: 414 tries, 413160733 fired transitions, 955 secs || 30922920 markings, 36047348 edges, 33998 markings/sec, 955 secs
lola: 416 tries, 415357809 fired transitions, 960 secs || 31093898 markings, 36244819 edges, 34196 markings/sec, 960 secs
lola: 418 tries, 417554184 fired transitions, 965 secs || 31265207 markings, 36442945 edges, 34262 markings/sec, 965 secs
lola: 420 tries, 419770788 fired transitions, 970 secs || 31438954 markings, 36642509 edges, 34749 markings/sec, 970 secs
lola: 422 tries, 421965522 fired transitions, 975 secs || 31613658 markings, 36843204 edges, 34941 markings/sec, 975 secs
lola: 425 tries, 424193479 fired transitions, 980 secs || 31788717 markings, 37047100 edges, 35012 markings/sec, 980 secs
lola: 427 tries, 426410982 fired transitions, 985 secs || 31962341 markings, 37247216 edges, 34725 markings/sec, 985 secs
lola: 429 tries, 428618178 fired transitions, 990 secs || 32135848 markings, 37448171 edges, 34701 markings/sec, 990 secs
lola: 431 tries, 430834497 fired transitions, 995 secs || 32308261 markings, 37647159 edges, 34483 markings/sec, 995 secs
lola: 434 tries, 433041284 fired transitions, 1000 secs || 32481271 markings, 37848438 edges, 34602 markings/sec, 1000 secs
lola: 436 tries, 435234851 fired transitions, 1005 secs || 32651947 markings, 38045231 edges, 34135 markings/sec, 1005 secs
lola: 438 tries, 437438698 fired transitions, 1010 secs || 32823741 markings, 38247243 edges, 34359 markings/sec, 1010 secs
lola: 440 tries, 439641325 fired transitions, 1015 secs || 32994224 markings, 38447966 edges, 34097 markings/sec, 1015 secs
lola: 442 tries, 441881458 fired transitions, 1020 secs || 33167067 markings, 38651057 edges, 34569 markings/sec, 1020 secs
lola: 445 tries, 444128191 fired transitions, 1025 secs || 33342800 markings, 38858828 edges, 35147 markings/sec, 1025 secs
lola: 447 tries, 446351675 fired transitions, 1030 secs || 33517494 markings, 39065461 edges, 34939 markings/sec, 1030 secs
lola: 449 tries, 448589644 fired transitions, 1035 secs || 33692008 markings, 39270145 edges, 34903 markings/sec, 1035 secs
lola: 451 tries, 450819620 fired transitions, 1040 secs || 33866382 markings, 39473530 edges, 34875 markings/sec, 1040 secs
lola: 454 tries, 453038442 fired transitions, 1045 secs || 34039401 markings, 39677717 edges, 34604 markings/sec, 1045 secs
lola: 456 tries, 455250939 fired transitions, 1050 secs || 34212336 markings, 39883439 edges, 34587 markings/sec, 1050 secs
lola: 458 tries, 457483012 fired transitions, 1055 secs || 34386062 markings, 40086395 edges, 34745 markings/sec, 1055 secs
lola: 460 tries, 459711478 fired transitions, 1060 secs || 34560636 markings, 40287515 edges, 34915 markings/sec, 1060 secs
lola: 462 tries, 461950710 fired transitions, 1065 secs || 34736421 markings, 40493387 edges, 35157 markings/sec, 1065 secs
lola: 465 tries, 464193223 fired transitions, 1070 secs || 34910589 markings, 40698752 edges, 34834 markings/sec, 1070 secs
lola: 467 tries, 466425873 fired transitions, 1075 secs || 35081997 markings, 40896209 edges, 34282 markings/sec, 1075 secs
lola: 469 tries, 468672055 fired transitions, 1080 secs || 35257439 markings, 41103446 edges, 35088 markings/sec, 1080 secs
lola: 471 tries, 470888740 fired transitions, 1085 secs || 35432675 markings, 41312122 edges, 35047 markings/sec, 1085 secs
lola: 474 tries, 473087621 fired transitions, 1090 secs || 35604368 markings, 41516277 edges, 34339 markings/sec, 1090 secs
lola: 476 tries, 475301029 fired transitions, 1095 secs || 35775412 markings, 41718646 edges, 34209 markings/sec, 1095 secs
lola: 478 tries, 477503172 fired transitions, 1100 secs || 35946512 markings, 41920976 edges, 34220 markings/sec, 1100 secs
lola: 480 tries, 479733343 fired transitions, 1105 secs || 36119244 markings, 42126381 edges, 34546 markings/sec, 1105 secs
lola: 482 tries, 481961660 fired transitions, 1110 secs || 36291740 markings, 42325767 edges, 34499 markings/sec, 1110 secs
lola: 485 tries, 484169631 fired transitions, 1115 secs || 36466073 markings, 42528293 edges, 34867 markings/sec, 1115 secs
lola: 487 tries, 486405997 fired transitions, 1120 secs || 36639468 markings, 42730464 edges, 34679 markings/sec, 1120 secs
lola: 489 tries, 488633332 fired transitions, 1125 secs || 36812802 markings, 42934529 edges, 34667 markings/sec, 1125 secs
lola: 491 tries, 490846205 fired transitions, 1130 secs || 36985506 markings, 43138278 edges, 34541 markings/sec, 1130 secs
lola: 494 tries, 493039531 fired transitions, 1135 secs || 37152731 markings, 43331794 edges, 33445 markings/sec, 1135 secs
lola: 496 tries, 495240266 fired transitions, 1140 secs || 37327883 markings, 43538750 edges, 35030 markings/sec, 1140 secs
lola: 498 tries, 497456485 fired transitions, 1145 secs || 37498907 markings, 43738490 edges, 34205 markings/sec, 1145 secs
lola: 500 tries, 499686748 fired transitions, 1150 secs || 37671277 markings, 43939157 edges, 34474 markings/sec, 1150 secs
lola: 502 tries, 501903235 fired transitions, 1155 secs || 37843660 markings, 44141740 edges, 34477 markings/sec, 1155 secs
lola: 505 tries, 504130120 fired transitions, 1160 secs || 38016605 markings, 44347280 edges, 34589 markings/sec, 1160 secs
lola: 507 tries, 506335336 fired transitions, 1165 secs || 38186700 markings, 44547047 edges, 34019 markings/sec, 1165 secs
lola: 509 tries, 508546418 fired transitions, 1170 secs || 38358138 markings, 44750205 edges, 34288 markings/sec, 1170 secs
lola: 511 tries, 510737819 fired transitions, 1175 secs || 38529457 markings, 44947061 edges, 34264 markings/sec, 1175 secs
lola: 513 tries, 512947337 fired transitions, 1180 secs || 38701684 markings, 45150793 edges, 34445 markings/sec, 1180 secs
lola: 516 tries, 515155320 fired transitions, 1185 secs || 38873170 markings, 45352969 edges, 34297 markings/sec, 1185 secs
lola: 518 tries, 517367682 fired transitions, 1190 secs || 39045077 markings, 45557382 edges, 34381 markings/sec, 1190 secs
lola: 520 tries, 519571336 fired transitions, 1195 secs || 39215174 markings, 45756780 edges, 34019 markings/sec, 1195 secs
lola: 522 tries, 521771352 fired transitions, 1200 secs || 39384122 markings, 45954255 edges, 33790 markings/sec, 1200 secs
lola: 524 tries, 523979522 fired transitions, 1205 secs || 39554784 markings, 46155363 edges, 34132 markings/sec, 1205 secs
lola: 527 tries, 526185710 fired transitions, 1210 secs || 39725851 markings, 46357850 edges, 34213 markings/sec, 1210 secs
lola: 529 tries, 528398720 fired transitions, 1215 secs || 39897305 markings, 46561500 edges, 34291 markings/sec, 1215 secs
lola: 531 tries, 530604619 fired transitions, 1220 secs || 40069258 markings, 46764431 edges, 34391 markings/sec, 1220 secs
lola: 533 tries, 532816314 fired transitions, 1225 secs || 40240880 markings, 46968053 edges, 34324 markings/sec, 1225 secs
lola: 536 tries, 535019924 fired transitions, 1230 secs || 40410892 markings, 47166801 edges, 34002 markings/sec, 1230 secs
lola: 538 tries, 537215826 fired transitions, 1235 secs || 40580978 markings, 47364367 edges, 34017 markings/sec, 1235 secs
lola: 540 tries, 539422499 fired transitions, 1240 secs || 40752132 markings, 47565607 edges, 34231 markings/sec, 1240 secs
lola: 542 tries, 541627858 fired transitions, 1245 secs || 40922519 markings, 47765592 edges, 34077 markings/sec, 1245 secs
lola: 544 tries, 543839199 fired transitions, 1250 secs || 41093032 markings, 47967848 edges, 34103 markings/sec, 1250 secs
lola: 547 tries, 546053428 fired transitions, 1255 secs || 41264503 markings, 48171582 edges, 34294 markings/sec, 1255 secs
lola: 549 tries, 548260725 fired transitions, 1260 secs || 41435249 markings, 48372940 edges, 34149 markings/sec, 1260 secs
lola: 551 tries, 550480043 fired transitions, 1265 secs || 41608992 markings, 48581497 edges, 34749 markings/sec, 1265 secs
lola: 553 tries, 552691863 fired transitions, 1270 secs || 41780645 markings, 48784904 edges, 34331 markings/sec, 1270 secs
lola: 555 tries, 554897500 fired transitions, 1275 secs || 41952145 markings, 48987963 edges, 34300 markings/sec, 1275 secs
lola: 558 tries, 557113774 fired transitions, 1280 secs || 42124783 markings, 49194428 edges, 34528 markings/sec, 1280 secs
lola: 560 tries, 559325343 fired transitions, 1285 secs || 42295533 markings, 49396742 edges, 34150 markings/sec, 1285 secs
lola: 562 tries, 561533150 fired transitions, 1290 secs || 42466253 markings, 49598132 edges, 34144 markings/sec, 1290 secs
lola: 564 tries, 563746016 fired transitions, 1295 secs || 42636805 markings, 49800997 edges, 34110 markings/sec, 1295 secs
lola: 566 tries, 565960890 fired transitions, 1300 secs || 42808794 markings, 50006121 edges, 34398 markings/sec, 1300 secs
lola: 569 tries, 568169909 fired transitions, 1305 secs || 42980662 markings, 50209277 edges, 34374 markings/sec, 1305 secs
lola: 571 tries, 570377876 fired transitions, 1310 secs || 43150027 markings, 50408539 edges, 33873 markings/sec, 1310 secs
lola: 573 tries, 572589206 fired transitions, 1315 secs || 43321565 markings, 50612268 edges, 34308 markings/sec, 1315 secs
lola: 575 tries, 574786628 fired transitions, 1320 secs || 43491751 markings, 50810751 edges, 34037 markings/sec, 1320 secs
lola: 577 tries, 576996650 fired transitions, 1325 secs || 43663007 markings, 51014498 edges, 34251 markings/sec, 1325 secs
lola: 580 tries, 579201158 fired transitions, 1330 secs || 43834069 markings, 51218532 edges, 34212 markings/sec, 1330 secs
lola: 582 tries, 581413687 fired transitions, 1335 secs || 44005622 markings, 51422006 edges, 34311 markings/sec, 1335 secs
lola: 584 tries, 583616675 fired transitions, 1340 secs || 44170070 markings, 51611782 edges, 32890 markings/sec, 1340 secs
lola: 586 tries, 585823784 fired transitions, 1345 secs || 44338393 markings, 51808889 edges, 33665 markings/sec, 1345 secs
lola: 589 tries, 588039163 fired transitions, 1350 secs || 44510403 markings, 52014036 edges, 34402 markings/sec, 1350 secs
lola: 591 tries, 590237451 fired transitions, 1355 secs || 44678590 markings, 52208257 edges, 33637 markings/sec, 1355 secs
lola: 593 tries, 592431719 fired transitions, 1360 secs || 44848169 markings, 52404745 edges, 33916 markings/sec, 1360 secs
lola: 595 tries, 594627447 fired transitions, 1365 secs || 45016260 markings, 52599248 edges, 33618 markings/sec, 1365 secs
lola: 597 tries, 596832157 fired transitions, 1370 secs || 45185050 markings, 52796912 edges, 33758 markings/sec, 1370 secs
lola: 600 tries, 599044604 fired transitions, 1375 secs || 45355524 markings, 52998970 edges, 34095 markings/sec, 1375 secs
lola: 602 tries, 601240429 fired transitions, 1380 secs || 45526083 markings, 53195731 edges, 34112 markings/sec, 1380 secs
lola: 604 tries, 603448187 fired transitions, 1385 secs || 45697072 markings, 53397763 edges, 34198 markings/sec, 1385 secs
lola: 606 tries, 605652442 fired transitions, 1390 secs || 45866458 markings, 53597236 edges, 33877 markings/sec, 1390 secs
lola: 608 tries, 607855393 fired transitions, 1395 secs || 46036147 markings, 53796346 edges, 33938 markings/sec, 1395 secs
lola: 611 tries, 610061431 fired transitions, 1400 secs || 46206482 markings, 53997771 edges, 34067 markings/sec, 1400 secs
lola: 613 tries, 612272440 fired transitions, 1405 secs || 46378361 markings, 54202202 edges, 34376 markings/sec, 1405 secs
lola: 615 tries, 614460942 fired transitions, 1410 secs || 46548674 markings, 54398901 edges, 34063 markings/sec, 1410 secs
lola: 617 tries, 616656413 fired transitions, 1415 secs || 46717407 markings, 54594050 edges, 33747 markings/sec, 1415 secs
lola: 619 tries, 618853763 fired transitions, 1420 secs || 46884896 markings, 54787410 edges, 33498 markings/sec, 1420 secs
lola: 622 tries, 621050970 fired transitions, 1425 secs || 47054623 markings, 54983887 edges, 33945 markings/sec, 1425 secs
lola: 624 tries, 623245757 fired transitions, 1430 secs || 47222211 markings, 55177373 edges, 33518 markings/sec, 1430 secs
lola: 626 tries, 625449057 fired transitions, 1435 secs || 47389708 markings, 55372289 edges, 33499 markings/sec, 1435 secs
lola: 628 tries, 627665339 fired transitions, 1440 secs || 47561212 markings, 55576734 edges, 34301 markings/sec, 1440 secs
lola: 630 tries, 629879773 fired transitions, 1445 secs || 47733199 markings, 55781544 edges, 34397 markings/sec, 1445 secs
lola: 633 tries, 632067641 fired transitions, 1450 secs || 47904421 markings, 55986403 edges, 34244 markings/sec, 1450 secs
lola: 635 tries, 634239304 fired transitions, 1455 secs || 48072784 markings, 56186627 edges, 33673 markings/sec, 1455 secs
lola: 637 tries, 636378661 fired transitions, 1460 secs || 48239049 markings, 56383175 edges, 33253 markings/sec, 1460 secs
lola: 639 tries, 638584060 fired transitions, 1465 secs || 48408845 markings, 56583437 edges, 33959 markings/sec, 1465 secs
lola: 641 tries, 640762572 fired transitions, 1470 secs || 48576109 markings, 56779487 edges, 33453 markings/sec, 1470 secs
lola: 643 tries, 642920943 fired transitions, 1475 secs || 48744094 markings, 56972512 edges, 33597 markings/sec, 1475 secs
lola: 646 tries, 645113226 fired transitions, 1480 secs || 48913252 markings, 57171391 edges, 33832 markings/sec, 1480 secs
lola: 648 tries, 647306669 fired transitions, 1485 secs || 49083009 markings, 57367618 edges, 33951 markings/sec, 1485 secs
lola: 650 tries, 649517903 fired transitions, 1490 secs || 49253197 markings, 57570193 edges, 34038 markings/sec, 1490 secs
lola: 652 tries, 651720027 fired transitions, 1495 secs || 49423719 markings, 57773168 edges, 34104 markings/sec, 1495 secs
lola: 654 tries, 653931469 fired transitions, 1500 secs || 49595339 markings, 57977652 edges, 34324 markings/sec, 1500 secs
lola: 657 tries, 656145753 fired transitions, 1505 secs || 49765778 markings, 58181490 edges, 34088 markings/sec, 1505 secs
lola: 659 tries, 658358900 fired transitions, 1510 secs || 49936644 markings, 58386000 edges, 34173 markings/sec, 1510 secs
lola: 661 tries, 660542723 fired transitions, 1515 secs || 50106514 markings, 58589626 edges, 33974 markings/sec, 1515 secs
lola: 663 tries, 662722245 fired transitions, 1520 secs || 50274282 markings, 58785543 edges, 33554 markings/sec, 1520 secs
lola: 665 tries, 664910505 fired transitions, 1525 secs || 50443077 markings, 58980015 edges, 33759 markings/sec, 1525 secs
lola: 668 tries, 667110296 fired transitions, 1530 secs || 50612280 markings, 59177116 edges, 33841 markings/sec, 1530 secs
lola: 670 tries, 669296509 fired transitions, 1535 secs || 50780473 markings, 59378692 edges, 33639 markings/sec, 1535 secs
lola: 672 tries, 671451114 fired transitions, 1540 secs || 50943812 markings, 59573038 edges, 32668 markings/sec, 1540 secs
lola: 674 tries, 673603846 fired transitions, 1545 secs || 51109556 markings, 59769052 edges, 33149 markings/sec, 1545 secs
lola: 676 tries, 675811946 fired transitions, 1550 secs || 51275640 markings, 59965300 edges, 33217 markings/sec, 1550 secs
lola: 679 tries, 678028283 fired transitions, 1555 secs || 51446407 markings, 60169297 edges, 34153 markings/sec, 1555 secs
lola: 681 tries, 680245065 fired transitions, 1560 secs || 51617576 markings, 60373711 edges, 34234 markings/sec, 1560 secs
lola: 683 tries, 682457758 fired transitions, 1565 secs || 51787626 markings, 60575657 edges, 34010 markings/sec, 1565 secs
lola: 685 tries, 684671031 fired transitions, 1570 secs || 51957528 markings, 60776806 edges, 33980 markings/sec, 1570 secs
lola: 687 tries, 686882652 fired transitions, 1575 secs || 52128028 markings, 60978143 edges, 34100 markings/sec, 1575 secs
lola: 690 tries, 689097140 fired transitions, 1580 secs || 52299607 markings, 61182729 edges, 34316 markings/sec, 1580 secs
lola: 692 tries, 691300806 fired transitions, 1585 secs || 52468691 markings, 61381413 edges, 33817 markings/sec, 1585 secs
lola: 694 tries, 693517708 fired transitions, 1590 secs || 52640571 markings, 61586335 edges, 34376 markings/sec, 1590 secs
lola: 696 tries, 695728356 fired transitions, 1595 secs || 52810762 markings, 61787577 edges, 34038 markings/sec, 1595 secs
lola: 698 tries, 697947499 fired transitions, 1600 secs || 52983512 markings, 61995128 edges, 34550 markings/sec, 1600 secs
lola: 701 tries, 700161846 fired transitions, 1605 secs || 53153569 markings, 62196670 edges, 34011 markings/sec, 1605 secs
lola: 703 tries, 702367583 fired transitions, 1610 secs || 53321637 markings, 62393430 edges, 33614 markings/sec, 1610 secs
lola: 705 tries, 704579699 fired transitions, 1615 secs || 53493448 markings, 62596566 edges, 34362 markings/sec, 1615 secs
lola: 707 tries, 706780253 fired transitions, 1620 secs || 53662550 markings, 62793187 edges, 33820 markings/sec, 1620 secs
lola: 709 tries, 708986938 fired transitions, 1625 secs || 53832863 markings, 62994421 edges, 34063 markings/sec, 1625 secs
lola: 712 tries, 711202407 fired transitions, 1630 secs || 54004319 markings, 63199155 edges, 34291 markings/sec, 1630 secs
lola: 714 tries, 713409476 fired transitions, 1635 secs || 54173649 markings, 63397137 edges, 33866 markings/sec, 1635 secs
lola: 716 tries, 715618854 fired transitions, 1640 secs || 54343982 markings, 63598285 edges, 34067 markings/sec, 1640 secs
lola: 718 tries, 717819231 fired transitions, 1645 secs || 54511407 markings, 63791655 edges, 33485 markings/sec, 1645 secs
lola: 721 tries, 720024057 fired transitions, 1650 secs || 54681771 markings, 63991276 edges, 34073 markings/sec, 1650 secs
lola: 723 tries, 722244043 fired transitions, 1655 secs || 54855286 markings, 64199686 edges, 34703 markings/sec, 1655 secs
lola: 725 tries, 724456396 fired transitions, 1660 secs || 55027508 markings, 64403778 edges, 34444 markings/sec, 1660 secs
lola: 727 tries, 726667768 fired transitions, 1665 secs || 55197731 markings, 64604752 edges, 34045 markings/sec, 1665 secs
lola: 729 tries, 728878207 fired transitions, 1670 secs || 55368030 markings, 64805394 edges, 34060 markings/sec, 1670 secs
lola: 732 tries, 731082454 fired transitions, 1675 secs || 55539377 markings, 65006461 edges, 34269 markings/sec, 1675 secs
lola: 734 tries, 733290309 fired transitions, 1680 secs || 55711370 markings, 65209720 edges, 34399 markings/sec, 1680 secs
lola: 736 tries, 735505797 fired transitions, 1685 secs || 55882888 markings, 65414467 edges, 34304 markings/sec, 1685 secs
lola: 738 tries, 737712948 fired transitions, 1690 secs || 56054295 markings, 65616122 edges, 34281 markings/sec, 1690 secs
lola: 740 tries, 739923518 fired transitions, 1695 secs || 56224356 markings, 65818101 edges, 34012 markings/sec, 1695 secs
lola: 743 tries, 742140598 fired transitions, 1700 secs || 56395038 markings, 66021935 edges, 34136 markings/sec, 1700 secs
lola: 745 tries, 744345501 fired transitions, 1705 secs || 56563859 markings, 66220226 edges, 33764 markings/sec, 1705 secs
lola: 747 tries, 746556624 fired transitions, 1710 secs || 56735695 markings, 66424590 edges, 34367 markings/sec, 1710 secs
lola: 749 tries, 748770893 fired transitions, 1715 secs || 56907514 markings, 66628722 edges, 34364 markings/sec, 1715 secs
lola: 751 tries, 750988605 fired transitions, 1720 secs || 57077749 markings, 66831290 edges, 34047 markings/sec, 1720 secs
lola: 754 tries, 753199706 fired transitions, 1725 secs || 57246868 markings, 67030838 edges, 33824 markings/sec, 1725 secs
lola: 756 tries, 755403209 fired transitions, 1730 secs || 57414972 markings, 67231045 edges, 33621 markings/sec, 1730 secs
lola: 758 tries, 757588118 fired transitions, 1735 secs || 57583703 markings, 67430187 edges, 33746 markings/sec, 1735 secs
lola: 760 tries, 759750372 fired transitions, 1740 secs || 57749895 markings, 67626119 edges, 33238 markings/sec, 1740 secs
lola: 762 tries, 761894764 fired transitions, 1745 secs || 57913497 markings, 67816601 edges, 32720 markings/sec, 1745 secs
lola: 765 tries, 764041107 fired transitions, 1750 secs || 58076711 markings, 68010885 edges, 32643 markings/sec, 1750 secs
lola: 767 tries, 766241511 fired transitions, 1755 secs || 58244639 markings, 68212116 edges, 33586 markings/sec, 1755 secs
lola: 769 tries, 768423903 fired transitions, 1760 secs || 58412861 markings, 68410501 edges, 33644 markings/sec, 1760 secs
lola: 771 tries, 770619278 fired transitions, 1765 secs || 58581191 markings, 68610566 edges, 33666 markings/sec, 1765 secs
lola: 773 tries, 772792859 fired transitions, 1770 secs || 58748234 markings, 68805241 edges, 33409 markings/sec, 1770 secs
lola: 775 tries, 774996430 fired transitions, 1775 secs || 58919060 markings, 69005897 edges, 34165 markings/sec, 1775 secs
lola: 778 tries, 777205900 fired transitions, 1780 secs || 59087313 markings, 69203882 edges, 33651 markings/sec, 1780 secs
lola: 780 tries, 779420705 fired transitions, 1785 secs || 59256472 markings, 69405045 edges, 33832 markings/sec, 1785 secs
lola: 782 tries, 781638390 fired transitions, 1790 secs || 59427636 markings, 69609290 edges, 34233 markings/sec, 1790 secs
lola: 784 tries, 783848482 fired transitions, 1795 secs || 59598214 markings, 69811325 edges, 34116 markings/sec, 1795 secs
lola: 787 tries, 786050685 fired transitions, 1800 secs || 59768354 markings, 70010373 edges, 34028 markings/sec, 1800 secs
lola: 789 tries, 788264651 fired transitions, 1805 secs || 59935251 markings, 70207376 edges, 33379 markings/sec, 1805 secs
lola: 791 tries, 790475205 fired transitions, 1810 secs || 60104515 markings, 70407991 edges, 33853 markings/sec, 1810 secs
lola: 793 tries, 792671848 fired transitions, 1815 secs || 60272860 markings, 70601206 edges, 33669 markings/sec, 1815 secs
lola: 795 tries, 794870461 fired transitions, 1820 secs || 60443621 markings, 70798700 edges, 34152 markings/sec, 1820 secs
lola: 798 tries, 797066841 fired transitions, 1825 secs || 60611185 markings, 70991219 edges, 33513 markings/sec, 1825 secs
lola: 800 tries, 799264310 fired transitions, 1830 secs || 60780643 markings, 71188859 edges, 33892 markings/sec, 1830 secs
lola: 802 tries, 801480710 fired transitions, 1835 secs || 60952830 markings, 71395004 edges, 34437 markings/sec, 1835 secs
lola: 804 tries, 803693905 fired transitions, 1840 secs || 61122316 markings, 71596628 edges, 33897 markings/sec, 1840 secs
lola: 806 tries, 805899105 fired transitions, 1845 secs || 61294471 markings, 71798677 edges, 34431 markings/sec, 1845 secs
lola: 809 tries, 808116714 fired transitions, 1850 secs || 61465796 markings, 72003442 edges, 34265 markings/sec, 1850 secs
lola: 811 tries, 810333716 fired transitions, 1855 secs || 61636903 markings, 72207208 edges, 34221 markings/sec, 1855 secs
lola: 813 tries, 812562238 fired transitions, 1860 secs || 61809660 markings, 72413183 edges, 34551 markings/sec, 1860 secs
lola: 815 tries, 814775759 fired transitions, 1865 secs || 61981478 markings, 72617011 edges, 34364 markings/sec, 1865 secs
lola: 817 tries, 816991497 fired transitions, 1870 secs || 62152644 markings, 72821302 edges, 34233 markings/sec, 1870 secs
lola: 820 tries, 819204652 fired transitions, 1875 secs || 62322930 markings, 73023083 edges, 34057 markings/sec, 1875 secs
lola: 822 tries, 821423573 fired transitions, 1880 secs || 62494078 markings, 73227659 edges, 34230 markings/sec, 1880 secs
lola: 824 tries, 823633517 fired transitions, 1885 secs || 62662849 markings, 73426208 edges, 33754 markings/sec, 1885 secs
lola: 826 tries, 825853968 fired transitions, 1890 secs || 62835359 markings, 73633393 edges, 34502 markings/sec, 1890 secs
lola: 829 tries, 828069604 fired transitions, 1895 secs || 63007090 markings, 73838612 edges, 34346 markings/sec, 1895 secs
lola: 831 tries, 830283776 fired transitions, 1900 secs || 63179108 markings, 74043298 edges, 34404 markings/sec, 1900 secs
lola: 833 tries, 832504102 fired transitions, 1905 secs || 63350139 markings, 74248258 edges, 34206 markings/sec, 1905 secs
lola: 835 tries, 834722226 fired transitions, 1910 secs || 63520922 markings, 74451974 edges, 34157 markings/sec, 1910 secs
lola: 837 tries, 836949973 fired transitions, 1915 secs || 63695116 markings, 74661450 edges, 34839 markings/sec, 1915 secs
lola: 840 tries, 839164319 fired transitions, 1920 secs || 63865569 markings, 74863738 edges, 34091 markings/sec, 1920 secs
lola: 842 tries, 841380260 fired transitions, 1925 secs || 64035530 markings, 75067035 edges, 33992 markings/sec, 1925 secs
lola: 844 tries, 843595413 fired transitions, 1930 secs || 64206613 markings, 75270421 edges, 34217 markings/sec, 1930 secs
lola: 846 tries, 845814193 fired transitions, 1935 secs || 64378630 markings, 75476273 edges, 34403 markings/sec, 1935 secs
lola: 849 tries, 848024560 fired transitions, 1940 secs || 64551224 markings, 75680145 edges, 34519 markings/sec, 1940 secs
lola: 851 tries, 850239479 fired transitions, 1945 secs || 64722393 markings, 75884416 edges, 34234 markings/sec, 1945 secs
lola: 853 tries, 852456715 fired transitions, 1950 secs || 64892858 markings, 76088958 edges, 34093 markings/sec, 1950 secs
lola: 855 tries, 854671606 fired transitions, 1955 secs || 65063643 markings, 76291956 edges, 34157 markings/sec, 1955 secs
lola: 857 tries, 856880269 fired transitions, 1960 secs || 65232495 markings, 76490256 edges, 33770 markings/sec, 1960 secs
lola: 860 tries, 859095781 fired transitions, 1965 secs || 65404863 markings, 76695731 edges, 34474 markings/sec, 1965 secs
lola: 862 tries, 861307466 fired transitions, 1970 secs || 65576160 markings, 76898724 edges, 34259 markings/sec, 1970 secs
lola: 864 tries, 863522249 fired transitions, 1975 secs || 65744918 markings, 77099652 edges, 33752 markings/sec, 1975 secs
lola: 866 tries, 865729088 fired transitions, 1980 secs || 65915712 markings, 77300465 edges, 34159 markings/sec, 1980 secs
lola: 868 tries, 867925128 fired transitions, 1985 secs || 66086816 markings, 77498461 edges, 34221 markings/sec, 1985 secs
lola: 871 tries, 870118985 fired transitions, 1990 secs || 66258179 markings, 77695920 edges, 34273 markings/sec, 1990 secs
lola: 873 tries, 872330687 fired transitions, 1995 secs || 66429194 markings, 77897975 edges, 34203 markings/sec, 1995 secs
lola: 875 tries, 874548499 fired transitions, 2000 secs || 66599060 markings, 78100256 edges, 33973 markings/sec, 2000 secs
lola: 877 tries, 876758509 fired transitions, 2005 secs || 66768440 markings, 78300473 edges, 33876 markings/sec, 2005 secs
lola: 879 tries, 878958997 fired transitions, 2010 secs || 66938018 markings, 78496985 edges, 33916 markings/sec, 2010 secs
lola: 882 tries, 881167725 fired transitions, 2015 secs || 67108718 markings, 78698719 edges, 34140 markings/sec, 2015 secs
lola: 884 tries, 883378250 fired transitions, 2020 secs || 67277955 markings, 78897795 edges, 33847 markings/sec, 2020 secs
lola: 886 tries, 885583486 fired transitions, 2025 secs || 67448735 markings, 79097783 edges, 34156 markings/sec, 2025 secs
lola: 888 tries, 887782249 fired transitions, 2030 secs || 67619730 markings, 79296910 edges, 34199 markings/sec, 2030 secs
lola: 890 tries, 889987863 fired transitions, 2035 secs || 67790063 markings, 79496747 edges, 34067 markings/sec, 2035 secs
lola: 893 tries, 892192089 fired transitions, 2040 secs || 67958949 markings, 79693154 edges, 33777 markings/sec, 2040 secs
lola: 895 tries, 894410289 fired transitions, 2045 secs || 68129622 markings, 79897378 edges, 34135 markings/sec, 2045 secs
lola: 897 tries, 896623991 fired transitions, 2050 secs || 68296394 markings, 80093896 edges, 33354 markings/sec, 2050 secs
lola: 899 tries, 898833348 fired transitions, 2055 secs || 68464036 markings, 80291047 edges, 33528 markings/sec, 2055 secs
lola: 902 tries, 901031718 fired transitions, 2060 secs || 68631978 markings, 80490182 edges, 33588 markings/sec, 2060 secs
lola: 904 tries, 903200297 fired transitions, 2065 secs || 68798746 markings, 80688617 edges, 33354 markings/sec, 2065 secs
lola: 906 tries, 905415786 fired transitions, 2070 secs || 68969057 markings, 80891723 edges, 34062 markings/sec, 2070 secs
lola: 908 tries, 907630616 fired transitions, 2075 secs || 69138694 markings, 81093731 edges, 33927 markings/sec, 2075 secs
lola: 910 tries, 909847241 fired transitions, 2080 secs || 69309166 markings, 81296496 edges, 34094 markings/sec, 2080 secs
lola: 913 tries, 912061612 fired transitions, 2085 secs || 69477302 markings, 81496145 edges, 33627 markings/sec, 2085 secs
lola: 915 tries, 914274320 fired transitions, 2090 secs || 69645821 markings, 81695801 edges, 33704 markings/sec, 2090 secs
lola: 917 tries, 916490711 fired transitions, 2095 secs || 69817139 markings, 81899899 edges, 34264 markings/sec, 2095 secs
lola: 919 tries, 918706257 fired transitions, 2100 secs || 69988290 markings, 82104817 edges, 34230 markings/sec, 2100 secs
lola: 921 tries, 920921278 fired transitions, 2105 secs || 70157302 markings, 82305823 edges, 33802 markings/sec, 2105 secs
lola: 924 tries, 923142553 fired transitions, 2110 secs || 70328588 markings, 82511945 edges, 34257 markings/sec, 2110 secs
lola: 926 tries, 925338924 fired transitions, 2115 secs || 70493775 markings, 82702858 edges, 33037 markings/sec, 2115 secs
lola: 928 tries, 927555684 fired transitions, 2120 secs || 70662526 markings, 82904884 edges, 33750 markings/sec, 2120 secs
lola: 930 tries, 929775518 fired transitions, 2125 secs || 70830123 markings, 83105716 edges, 33519 markings/sec, 2125 secs
lola: 932 tries, 931992755 fired transitions, 2130 secs || 70998190 markings, 83306115 edges, 33613 markings/sec, 2130 secs
lola: 935 tries, 934205286 fired transitions, 2135 secs || 71167129 markings, 83507939 edges, 33788 markings/sec, 2135 secs
lola: 937 tries, 936422324 fired transitions, 2140 secs || 71335264 markings, 83708679 edges, 33627 markings/sec, 2140 secs
lola: 939 tries, 938625622 fired transitions, 2145 secs || 71504071 markings, 83905506 edges, 33761 markings/sec, 2145 secs
lola: 941 tries, 940844495 fired transitions, 2150 secs || 71673502 markings, 84108195 edges, 33886 markings/sec, 2150 secs
lola: 944 tries, 943056862 fired transitions, 2155 secs || 71839746 markings, 84304610 edges, 33249 markings/sec, 2155 secs
lola: 946 tries, 945266258 fired transitions, 2160 secs || 72006075 markings, 84499512 edges, 33266 markings/sec, 2160 secs
lola: 948 tries, 947478056 fired transitions, 2165 secs || 72174983 markings, 84700361 edges, 33782 markings/sec, 2165 secs
lola: 950 tries, 949678199 fired transitions, 2170 secs || 72343093 markings, 84895068 edges, 33622 markings/sec, 2170 secs
lola: 952 tries, 951874197 fired transitions, 2175 secs || 72509719 markings, 85086375 edges, 33325 markings/sec, 2175 secs
lola: 955 tries, 954088689 fired transitions, 2180 secs || 72681095 markings, 85290218 edges, 34275 markings/sec, 2180 secs
lola: 957 tries, 956306574 fired transitions, 2185 secs || 72848464 markings, 85489571 edges, 33474 markings/sec, 2185 secs
lola: 959 tries, 958523663 fired transitions, 2190 secs || 73017873 markings, 85691906 edges, 33882 markings/sec, 2190 secs
lola: 961 tries, 960731974 fired transitions, 2195 secs || 73186893 markings, 85891266 edges, 33804 markings/sec, 2195 secs
lola: 963 tries, 962950726 fired transitions, 2200 secs || 73358325 markings, 86096113 edges, 34286 markings/sec, 2200 secs
lola: 966 tries, 965161092 fired transitions, 2205 secs || 73526623 markings, 86294412 edges, 33660 markings/sec, 2205 secs
lola: 968 tries, 967377572 fired transitions, 2210 secs || 73697064 markings, 86496685 edges, 34088 markings/sec, 2210 secs
lola: 970 tries, 969594954 fired transitions, 2215 secs || 73867813 markings, 86700442 edges, 34150 markings/sec, 2215 secs
lola: 972 tries, 971810770 fired transitions, 2220 secs || 74036291 markings, 86900268 edges, 33696 markings/sec, 2220 secs
lola: 975 tries, 974016949 fired transitions, 2225 secs || 74202353 markings, 87094478 edges, 33212 markings/sec, 2225 secs
lola: 977 tries, 976219981 fired transitions, 2230 secs || 74366211 markings, 87285530 edges, 32772 markings/sec, 2230 secs
lola: 979 tries, 978437179 fired transitions, 2235 secs || 74537958 markings, 87491622 edges, 34349 markings/sec, 2235 secs
lola: 981 tries, 980653723 fired transitions, 2240 secs || 74708207 markings, 87694947 edges, 34050 markings/sec, 2240 secs
lola: 983 tries, 982871305 fired transitions, 2245 secs || 74877228 markings, 87896778 edges, 33804 markings/sec, 2245 secs
lola: 986 tries, 985080715 fired transitions, 2250 secs || 75045584 markings, 88097374 edges, 33671 markings/sec, 2250 secs
lola: 988 tries, 987286088 fired transitions, 2255 secs || 75211694 markings, 88295689 edges, 33222 markings/sec, 2255 secs
lola: 990 tries, 989501622 fired transitions, 2260 secs || 75381298 markings, 88497924 edges, 33921 markings/sec, 2260 secs
lola: 992 tries, 991718782 fired transitions, 2265 secs || 75551148 markings, 88700612 edges, 33970 markings/sec, 2265 secs
lola: 994 tries, 993925628 fired transitions, 2270 secs || 75719949 markings, 88898808 edges, 33760 markings/sec, 2270 secs
lola: 997 tries, 996144500 fired transitions, 2275 secs || 75890468 markings, 89103112 edges, 34104 markings/sec, 2275 secs
lola: 999 tries, 998361200 fired transitions, 2280 secs || 76060231 markings, 89305588 edges, 33953 markings/sec, 2280 secs
lola: 1001 tries, 1000578464 fired transitions, 2285 secs || 76231345 markings, 89510006 edges, 34223 markings/sec, 2285 secs
lola: 1003 tries, 1002794658 fired transitions, 2290 secs || 76402193 markings, 89714081 edges, 34170 markings/sec, 2290 secs
lola: 1006 tries, 1005014993 fired transitions, 2295 secs || 76571839 markings, 89917885 edges, 33929 markings/sec, 2295 secs
lola: 1008 tries, 1007232122 fired transitions, 2300 secs || 76741094 markings, 90119828 edges, 33851 markings/sec, 2300 secs
lola: 1010 tries, 1009446485 fired transitions, 2305 secs || 76910952 markings, 90322085 edges, 33972 markings/sec, 2305 secs
lola: 1012 tries, 1011606193 fired transitions, 2310 secs || 77073047 markings, 90512893 edges, 32419 markings/sec, 2310 secs
lola: 1014 tries, 1013820037 fired transitions, 2315 secs || 77242642 markings, 90714389 edges, 33919 markings/sec, 2315 secs
lola: 1017 tries, 1016036586 fired transitions, 2320 secs || 77411055 markings, 90914624 edges, 33683 markings/sec, 2320 secs
lola: 1019 tries, 1018246307 fired transitions, 2325 secs || 77580893 markings, 91115823 edges, 33968 markings/sec, 2325 secs
lola: 1021 tries, 1020461373 fired transitions, 2330 secs || 77750094 markings, 91316901 edges, 33840 markings/sec, 2330 secs
lola: 1023 tries, 1022681726 fired transitions, 2335 secs || 77920133 markings, 91520447 edges, 34008 markings/sec, 2335 secs
lola: 1025 tries, 1024894681 fired transitions, 2340 secs || 78088811 markings, 91720286 edges, 33736 markings/sec, 2340 secs
lola: 1028 tries, 1027116354 fired transitions, 2345 secs || 78257444 markings, 91922360 edges, 33727 markings/sec, 2345 secs
lola: 1030 tries, 1029335289 fired transitions, 2350 secs || 78424670 markings, 92122647 edges, 33445 markings/sec, 2350 secs
lola: 1032 tries, 1031548535 fired transitions, 2355 secs || 78592864 markings, 92321777 edges, 33639 markings/sec, 2355 secs
lola: 1034 tries, 1033765548 fired transitions, 2360 secs || 78759954 markings, 92520556 edges, 33418 markings/sec, 2360 secs
lola: 1036 tries, 1035981679 fired transitions, 2365 secs || 78929669 markings, 92722433 edges, 33943 markings/sec, 2365 secs
lola: 1039 tries, 1038198971 fired transitions, 2370 secs || 79097519 markings, 92922383 edges, 33570 markings/sec, 2370 secs
lola: 1041 tries, 1040419025 fired transitions, 2375 secs || 79264693 markings, 93122378 edges, 33435 markings/sec, 2375 secs
lola: 1043 tries, 1042635536 fired transitions, 2380 secs || 79429840 markings, 93318606 edges, 33029 markings/sec, 2380 secs
lola: 1045 tries, 1044857412 fired transitions, 2385 secs || 79599033 markings, 93521482 edges, 33839 markings/sec, 2385 secs
lola: 1048 tries, 1047072264 fired transitions, 2390 secs || 79766413 markings, 93719518 edges, 33476 markings/sec, 2390 secs
lola: 1050 tries, 1049284467 fired transitions, 2395 secs || 79934733 markings, 93918324 edges, 33664 markings/sec, 2395 secs
lola: 1052 tries, 1051504681 fired transitions, 2400 secs || 80101942 markings, 94118126 edges, 33442 markings/sec, 2400 secs
lola: 1054 tries, 1053717925 fired transitions, 2405 secs || 80271168 markings, 94318496 edges, 33845 markings/sec, 2405 secs
lola: 1056 tries, 1055924018 fired transitions, 2410 secs || 80436794 markings, 94513960 edges, 33125 markings/sec, 2410 secs
lola: 1059 tries, 1058102569 fired transitions, 2415 secs || 80603924 markings, 94708000 edges, 33426 markings/sec, 2415 secs
lola: 1061 tries, 1060355049 fired transitions, 2420 secs || 80722922 markings, 94848672 edges, 23800 markings/sec, 2420 secs
lola: 1063 tries, 1062421262 fired transitions, 2425 secs || 80805953 markings, 94948263 edges, 16606 markings/sec, 2425 secs
lola: 1064 tries, 1063641835 fired transitions, 2430 secs || 80829570 markings, 94975807 edges, 4723 markings/sec, 2430 secs
lola: 1064 tries, 1063878586 fired transitions, 2435 secs || 80835648 markings, 94982787 edges, 1216 markings/sec, 2435 secs
lola: 1065 tries, 1064457258 fired transitions, 2440 secs || 80860557 markings, 95011960 edges, 4982 markings/sec, 2440 secs
Killed
rslt: finished

BK_STOP 1552457549593

--------------------
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="DLCround-PT-08b"
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 DLCround-PT-08b, 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 r049-oct2-155234405000408"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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