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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1.7M
-rw-r--r-- 1 mcc users 4.3K Feb 9 09:50 CTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Feb 9 09:50 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Feb 5 08:48 CTLFireability.txt
-rw-r--r-- 1 mcc users 16K Feb 5 08:48 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 10 17:31 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 103 Feb 24 15:05 GlobalProperties.txt
-rw-r--r-- 1 mcc users 341 Feb 24 15:05 GlobalProperties.xml
-rw-r--r-- 1 mcc users 2.2K Feb 4 23:17 LTLCardinality.txt
-rw-r--r-- 1 mcc users 9.5K Feb 4 23:17 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.8K Feb 4 22:33 LTLFireability.txt
-rw-r--r-- 1 mcc users 8.2K Feb 4 22:33 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.3K Feb 2 02:39 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 16K Feb 2 02:39 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Jan 29 16:26 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 12K Jan 29 16:26 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 4 22:18 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Feb 4 22:18 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Jan 29 09:34 equiv_col
-rw-r--r-- 1 mcc users 3 Jan 29 09:34 instance
-rw-r--r-- 1 mcc users 6 Jan 29 09:34 iscolored
-rw-r--r-- 1 mcc users 1.5M 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 DLCflexbar-PT-2b-GlobalProperties-0

=== Now, execution of the tool begins

BK_START 1552442646039

info: Time: 3600 - MCC
vrfy: Checking GlobalProperties @ DLCflexbar-PT-2b @ 3570 seconds
Makefile:16: recipe for target 'verify' failed
vrfy: finished
info: timeLeft: 750
rslt: Output for GlobalProperties @ DLCflexbar-PT-2b
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: 10728/268435456 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 4456
lola: finding significant places
lola: 4456 places, 6272 transitions, 4260 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 24 generators (24 in search tree, 0 by composition)
lola: representing 1.67772E+07 symmetries
lola: 0 dead branches visited in search tree
lola: 3 tries, 2108294 fired transitions, 0 secs || 100518 markings, 111353 edges, 20104 markings/sec, 0 secs
lola: 5 tries, 4040457 fired transitions, 5 secs || 195302 markings, 217816 edges, 18957 markings/sec, 5 secs
lola: 7 tries, 6218946 fired transitions, 10 secs || 298252 markings, 334475 edges, 20590 markings/sec, 10 secs
lola: 9 tries, 8758554 fired transitions, 15 secs || 413301 markings, 465109 edges, 23010 markings/sec, 15 secs
lola: 11 tries, 10971634 fired transitions, 20 secs || 509719 markings, 574698 edges, 19284 markings/sec, 20 secs
lola: 14 tries, 13178249 fired transitions, 25 secs || 606507 markings, 683261 edges, 19358 markings/sec, 25 secs
lola: 16 tries, 15451286 fired transitions, 30 secs || 711214 markings, 802104 edges, 20941 markings/sec, 30 secs
lola: 18 tries, 17375268 fired transitions, 35 secs || 804290 markings, 906982 edges, 18615 markings/sec, 35 secs
lola: 20 tries, 19310513 fired transitions, 40 secs || 897400 markings, 1012852 edges, 18622 markings/sec, 40 secs
lola: 22 tries, 21222786 fired transitions, 45 secs || 987990 markings, 1115164 edges, 18118 markings/sec, 45 secs
lola: 24 tries, 23138305 fired transitions, 50 secs || 1078530 markings, 1217638 edges, 18108 markings/sec, 50 secs
lola: 26 tries, 25077644 fired transitions, 55 secs || 1174728 markings, 1326716 edges, 19240 markings/sec, 55 secs
lola: 28 tries, 27030213 fired transitions, 60 secs || 1267781 markings, 1432389 edges, 18611 markings/sec, 60 secs
lola: 29 tries, 28986083 fired transitions, 65 secs || 1362453 markings, 1540033 edges, 18934 markings/sec, 65 secs
lola: 31 tries, 30928970 fired transitions, 70 secs || 1451877 markings, 1640513 edges, 17885 markings/sec, 70 secs
lola: 33 tries, 32899343 fired transitions, 75 secs || 1543589 markings, 1745296 edges, 18342 markings/sec, 75 secs
lola: 35 tries, 34838546 fired transitions, 80 secs || 1637113 markings, 1851661 edges, 18705 markings/sec, 80 secs
lola: 37 tries, 36814256 fired transitions, 85 secs || 1731630 markings, 1958990 edges, 18903 markings/sec, 85 secs
lola: 40 tries, 39268258 fired transitions, 90 secs || 1843009 markings, 2085552 edges, 22276 markings/sec, 90 secs
lola: 42 tries, 41738288 fired transitions, 95 secs || 1955469 markings, 2213689 edges, 22492 markings/sec, 95 secs
lola: 45 tries, 44141124 fired transitions, 100 secs || 2064340 markings, 2337872 edges, 21774 markings/sec, 100 secs
lola: 47 tries, 46599266 fired transitions, 105 secs || 2172776 markings, 2460949 edges, 21687 markings/sec, 105 secs
lola: 50 tries, 49151021 fired transitions, 110 secs || 2284309 markings, 2587623 edges, 22307 markings/sec, 110 secs
lola: 52 tries, 51701252 fired transitions, 115 secs || 2393808 markings, 2712324 edges, 21900 markings/sec, 115 secs
lola: 55 tries, 54124599 fired transitions, 120 secs || 2507143 markings, 2840335 edges, 22667 markings/sec, 120 secs
lola: 57 tries, 56069995 fired transitions, 125 secs || 2603122 markings, 2949265 edges, 19196 markings/sec, 125 secs
lola: 59 tries, 58028722 fired transitions, 130 secs || 2696215 markings, 3055085 edges, 18619 markings/sec, 130 secs
lola: 60 tries, 59955810 fired transitions, 135 secs || 2791440 markings, 3162136 edges, 19045 markings/sec, 135 secs
lola: 63 tries, 62028014 fired transitions, 140 secs || 2892632 markings, 3276252 edges, 20238 markings/sec, 140 secs
lola: 65 tries, 64574272 fired transitions, 145 secs || 3009491 markings, 3409280 edges, 23372 markings/sec, 145 secs
lola: 68 tries, 67121778 fired transitions, 150 secs || 3124477 markings, 3539878 edges, 22997 markings/sec, 150 secs
lola: 70 tries, 69674488 fired transitions, 155 secs || 3240064 markings, 3672169 edges, 23117 markings/sec, 155 secs
lola: 73 tries, 72220607 fired transitions, 160 secs || 3354275 markings, 3802035 edges, 22842 markings/sec, 160 secs
lola: 75 tries, 74765170 fired transitions, 165 secs || 3469824 markings, 3932836 edges, 23110 markings/sec, 165 secs
lola: 78 tries, 77315416 fired transitions, 170 secs || 3586147 markings, 4065818 edges, 23265 markings/sec, 170 secs
lola: 80 tries, 79869810 fired transitions, 175 secs || 3703310 markings, 4200520 edges, 23433 markings/sec, 175 secs
lola: 83 tries, 82415077 fired transitions, 180 secs || 3816727 markings, 4329020 edges, 22683 markings/sec, 180 secs
lola: 85 tries, 84956793 fired transitions, 185 secs || 3930013 markings, 4457390 edges, 22657 markings/sec, 185 secs
lola: 88 tries, 87511029 fired transitions, 190 secs || 4045038 markings, 4588996 edges, 23005 markings/sec, 190 secs
lola: 91 tries, 90057443 fired transitions, 195 secs || 4158691 markings, 4718604 edges, 22731 markings/sec, 195 secs
lola: 93 tries, 92610980 fired transitions, 200 secs || 4272996 markings, 4849127 edges, 22861 markings/sec, 200 secs
lola: 96 tries, 95158427 fired transitions, 205 secs || 4386951 markings, 4979476 edges, 22791 markings/sec, 205 secs
lola: 98 tries, 97697547 fired transitions, 210 secs || 4500503 markings, 5108427 edges, 22710 markings/sec, 210 secs
lola: 101 tries, 100238661 fired transitions, 215 secs || 4614763 markings, 5237877 edges, 22852 markings/sec, 215 secs
lola: 103 tries, 102787010 fired transitions, 220 secs || 4730536 markings, 5369605 edges, 23155 markings/sec, 220 secs
lola: 106 tries, 105332554 fired transitions, 225 secs || 4844615 markings, 5498826 edges, 22816 markings/sec, 225 secs
lola: 108 tries, 107880586 fired transitions, 230 secs || 4958712 markings, 5629102 edges, 22819 markings/sec, 230 secs
lola: 111 tries, 110418925 fired transitions, 235 secs || 5074158 markings, 5759936 edges, 23089 markings/sec, 235 secs
lola: 113 tries, 112959719 fired transitions, 240 secs || 5189761 markings, 5890524 edges, 23121 markings/sec, 240 secs
lola: 116 tries, 115502037 fired transitions, 245 secs || 5304324 markings, 6020517 edges, 22913 markings/sec, 245 secs
lola: 119 tries, 118046864 fired transitions, 250 secs || 5420075 markings, 6151867 edges, 23150 markings/sec, 250 secs
lola: 121 tries, 120592848 fired transitions, 255 secs || 5534645 markings, 6282139 edges, 22914 markings/sec, 255 secs
lola: 123 tries, 122760355 fired transitions, 260 secs || 5636522 markings, 6398062 edges, 20375 markings/sec, 260 secs
lola: 125 tries, 124703097 fired transitions, 265 secs || 5728306 markings, 6502165 edges, 18357 markings/sec, 265 secs
lola: 127 tries, 126644744 fired transitions, 270 secs || 5823434 markings, 6609869 edges, 19026 markings/sec, 270 secs
lola: 129 tries, 128600010 fired transitions, 275 secs || 5916377 markings, 6715118 edges, 18589 markings/sec, 275 secs
lola: 131 tries, 130538950 fired transitions, 280 secs || 6009370 markings, 6820344 edges, 18599 markings/sec, 280 secs
lola: 133 tries, 132480601 fired transitions, 285 secs || 6103201 markings, 6926797 edges, 18766 markings/sec, 285 secs
lola: 135 tries, 134430834 fired transitions, 290 secs || 6196500 markings, 7032515 edges, 18660 markings/sec, 290 secs
lola: 137 tries, 136377061 fired transitions, 295 secs || 6290924 markings, 7139656 edges, 18885 markings/sec, 295 secs
lola: 139 tries, 138564610 fired transitions, 300 secs || 6393788 markings, 7256397 edges, 20573 markings/sec, 300 secs
lola: 142 tries, 141114642 fired transitions, 305 secs || 6505298 markings, 7383316 edges, 22302 markings/sec, 305 secs
lola: 144 tries, 143662258 fired transitions, 310 secs || 6615399 markings, 7509173 edges, 22020 markings/sec, 310 secs
lola: 147 tries, 146208922 fired transitions, 315 secs || 6724864 markings, 7632971 edges, 21893 markings/sec, 315 secs
lola: 149 tries, 148755907 fired transitions, 320 secs || 6837091 markings, 7760343 edges, 22445 markings/sec, 320 secs
lola: 152 tries, 151298055 fired transitions, 325 secs || 6949684 markings, 7888218 edges, 22519 markings/sec, 325 secs
lola: 154 tries, 153828123 fired transitions, 330 secs || 7060280 markings, 8013639 edges, 22119 markings/sec, 330 secs
lola: 157 tries, 156372631 fired transitions, 335 secs || 7170458 markings, 8138626 edges, 22036 markings/sec, 335 secs
lola: 159 tries, 158923886 fired transitions, 340 secs || 7279251 markings, 8262786 edges, 21759 markings/sec, 340 secs
lola: 162 tries, 161466554 fired transitions, 345 secs || 7389241 markings, 8387663 edges, 21998 markings/sec, 345 secs
lola: 164 tries, 163631241 fired transitions, 350 secs || 7489574 markings, 8501509 edges, 20067 markings/sec, 350 secs
lola: 166 tries, 165564494 fired transitions, 355 secs || 7582934 markings, 8606865 edges, 18672 markings/sec, 355 secs
lola: 168 tries, 167536463 fired transitions, 360 secs || 7680355 markings, 8718390 edges, 19484 markings/sec, 360 secs
lola: 170 tries, 169491622 fired transitions, 365 secs || 7777568 markings, 8828776 edges, 19443 markings/sec, 365 secs
lola: 172 tries, 171422589 fired transitions, 370 secs || 7871684 markings, 8934892 edges, 18823 markings/sec, 370 secs
lola: 174 tries, 173382572 fired transitions, 375 secs || 7965515 markings, 9041566 edges, 18766 markings/sec, 375 secs
lola: 176 tries, 175328197 fired transitions, 380 secs || 8059541 markings, 9148176 edges, 18805 markings/sec, 380 secs
lola: 178 tries, 177276010 fired transitions, 385 secs || 8153756 markings, 9255168 edges, 18843 markings/sec, 385 secs
lola: 180 tries, 179220408 fired transitions, 390 secs || 8249313 markings, 9363757 edges, 19111 markings/sec, 390 secs
lola: 182 tries, 181150304 fired transitions, 395 secs || 8343967 markings, 9470193 edges, 18931 markings/sec, 395 secs
lola: 184 tries, 183091163 fired transitions, 400 secs || 8439652 markings, 9579104 edges, 19137 markings/sec, 400 secs
lola: 186 tries, 185023640 fired transitions, 405 secs || 8536893 markings, 9688963 edges, 19448 markings/sec, 405 secs
lola: 187 tries, 186970333 fired transitions, 410 secs || 8632061 markings, 9797196 edges, 19034 markings/sec, 410 secs
lola: 190 tries, 189412342 fired transitions, 415 secs || 8739813 markings, 9920198 edges, 21550 markings/sec, 415 secs
lola: 192 tries, 191953200 fired transitions, 420 secs || 8853302 markings, 10050513 edges, 22698 markings/sec, 420 secs
lola: 195 tries, 194496621 fired transitions, 425 secs || 8965312 markings, 10178040 edges, 22402 markings/sec, 425 secs
lola: 198 tries, 197035803 fired transitions, 430 secs || 9074273 markings, 10301359 edges, 21792 markings/sec, 430 secs
lola: 200 tries, 199589647 fired transitions, 435 secs || 9184714 markings, 10427207 edges, 22088 markings/sec, 435 secs
lola: 203 tries, 202179298 fired transitions, 440 secs || 9295772 markings, 10553278 edges, 22212 markings/sec, 440 secs
lola: 205 tries, 204773195 fired transitions, 445 secs || 9408551 markings, 10682231 edges, 22556 markings/sec, 445 secs
lola: 208 tries, 207330370 fired transitions, 450 secs || 9520448 markings, 10809199 edges, 22379 markings/sec, 450 secs
lola: 210 tries, 209876103 fired transitions, 455 secs || 9635141 markings, 10940709 edges, 22939 markings/sec, 455 secs
lola: 213 tries, 212418558 fired transitions, 460 secs || 9746730 markings, 11068598 edges, 22318 markings/sec, 460 secs
lola: 215 tries, 214948415 fired transitions, 465 secs || 9860821 markings, 11199024 edges, 22818 markings/sec, 465 secs
lola: 218 tries, 217493504 fired transitions, 470 secs || 9972238 markings, 11325810 edges, 22283 markings/sec, 470 secs
lola: 221 tries, 220049209 fired transitions, 475 secs || 10083902 markings, 11453790 edges, 22333 markings/sec, 475 secs
lola: 223 tries, 222598166 fired transitions, 480 secs || 10197356 markings, 11583492 edges, 22691 markings/sec, 480 secs
lola: 226 tries, 225147166 fired transitions, 485 secs || 10311074 markings, 11713778 edges, 22744 markings/sec, 485 secs
lola: 228 tries, 227698762 fired transitions, 490 secs || 10423561 markings, 11842737 edges, 22497 markings/sec, 490 secs
lola: 231 tries, 230252075 fired transitions, 495 secs || 10539262 markings, 11976092 edges, 23140 markings/sec, 495 secs
lola: 233 tries, 232794983 fired transitions, 500 secs || 10651633 markings, 12104979 edges, 22474 markings/sec, 500 secs
lola: 236 tries, 235320634 fired transitions, 505 secs || 10762510 markings, 12232006 edges, 22175 markings/sec, 505 secs
lola: 238 tries, 237871100 fired transitions, 510 secs || 10877080 markings, 12363235 edges, 22914 markings/sec, 510 secs
lola: 241 tries, 240430427 fired transitions, 515 secs || 10990292 markings, 12492541 edges, 22642 markings/sec, 515 secs
lola: 243 tries, 242940076 fired transitions, 520 secs || 11106051 markings, 12624401 edges, 23152 markings/sec, 520 secs
lola: 245 tries, 244435197 fired transitions, 525 secs || 11174984 markings, 12704943 edges, 13787 markings/sec, 525 secs
lola: 247 tries, 246863082 fired transitions, 530 secs || 11289705 markings, 12838026 edges, 22944 markings/sec, 530 secs
lola: 250 tries, 249409138 fired transitions, 535 secs || 11402847 markings, 12966914 edges, 22628 markings/sec, 535 secs
lola: 252 tries, 251956338 fired transitions, 540 secs || 11518941 markings, 13100899 edges, 23219 markings/sec, 540 secs
lola: 255 tries, 254494852 fired transitions, 545 secs || 11634318 markings, 13232916 edges, 23075 markings/sec, 545 secs
lola: 258 tries, 257039101 fired transitions, 550 secs || 11749746 markings, 13365608 edges, 23086 markings/sec, 550 secs
lola: 260 tries, 259577692 fired transitions, 555 secs || 11863734 markings, 13495455 edges, 22798 markings/sec, 555 secs
lola: 263 tries, 262116131 fired transitions, 560 secs || 11978288 markings, 13626860 edges, 22911 markings/sec, 560 secs
lola: 265 tries, 264662419 fired transitions, 565 secs || 12091288 markings, 13756182 edges, 22600 markings/sec, 565 secs
lola: 268 tries, 267169930 fired transitions, 570 secs || 12205993 markings, 13887767 edges, 22941 markings/sec, 570 secs
lola: 270 tries, 269709547 fired transitions, 575 secs || 12320728 markings, 14019447 edges, 22947 markings/sec, 575 secs
lola: 273 tries, 272227954 fired transitions, 580 secs || 12434662 markings, 14149475 edges, 22787 markings/sec, 580 secs
lola: 275 tries, 274740466 fired transitions, 585 secs || 12549095 markings, 14280304 edges, 22887 markings/sec, 585 secs
lola: 278 tries, 277253560 fired transitions, 590 secs || 12663930 markings, 14411497 edges, 22967 markings/sec, 590 secs
lola: 280 tries, 279761861 fired transitions, 595 secs || 12779346 markings, 14543291 edges, 23083 markings/sec, 595 secs
lola: 282 tries, 281466789 fired transitions, 600 secs || 12856405 markings, 14632416 edges, 15412 markings/sec, 600 secs
lola: 283 tries, 282882595 fired transitions, 605 secs || 12923110 markings, 14710915 edges, 13341 markings/sec, 605 secs
lola: 285 tries, 284291035 fired transitions, 610 secs || 12990129 markings, 14790436 edges, 13404 markings/sec, 610 secs
lola: 286 tries, 285712126 fired transitions, 615 secs || 13057801 markings, 14870941 edges, 13534 markings/sec, 615 secs
lola: 288 tries, 287120219 fired transitions, 620 secs || 13122841 markings, 14947353 edges, 13008 markings/sec, 620 secs
lola: 289 tries, 288527666 fired transitions, 625 secs || 13187563 markings, 15023334 edges, 12944 markings/sec, 625 secs
lola: 290 tries, 289932264 fired transitions, 630 secs || 13253624 markings, 15101483 edges, 13212 markings/sec, 630 secs
lola: 292 tries, 291341123 fired transitions, 635 secs || 13320581 markings, 15180680 edges, 13391 markings/sec, 635 secs
lola: 293 tries, 292753320 fired transitions, 640 secs || 13384851 markings, 15256322 edges, 12854 markings/sec, 640 secs
lola: 295 tries, 294156994 fired transitions, 645 secs || 13450036 markings, 15333304 edges, 13037 markings/sec, 645 secs
lola: 296 tries, 295568169 fired transitions, 650 secs || 13515074 markings, 15410239 edges, 13008 markings/sec, 650 secs
lola: 297 tries, 296972888 fired transitions, 655 secs || 13581196 markings, 15488437 edges, 13224 markings/sec, 655 secs
lola: 299 tries, 298376304 fired transitions, 660 secs || 13646513 markings, 15565501 edges, 13063 markings/sec, 660 secs
lola: 300 tries, 299782039 fired transitions, 665 secs || 13712984 markings, 15644282 edges, 13294 markings/sec, 665 secs
lola: 302 tries, 301190517 fired transitions, 670 secs || 13778540 markings, 15721243 edges, 13111 markings/sec, 670 secs
lola: 303 tries, 302591826 fired transitions, 675 secs || 13844814 markings, 15799127 edges, 13255 markings/sec, 675 secs
lola: 305 tries, 304000362 fired transitions, 680 secs || 13911454 markings, 15877592 edges, 13328 markings/sec, 680 secs
lola: 306 tries, 305405258 fired transitions, 685 secs || 13978140 markings, 15956752 edges, 13337 markings/sec, 685 secs
lola: 307 tries, 306812234 fired transitions, 690 secs || 14044695 markings, 16035399 edges, 13311 markings/sec, 690 secs
lola: 309 tries, 308214840 fired transitions, 695 secs || 14111015 markings, 16113235 edges, 13264 markings/sec, 695 secs
lola: 310 tries, 309624787 fired transitions, 700 secs || 14177538 markings, 16191595 edges, 13305 markings/sec, 700 secs
lola: 312 tries, 311033912 fired transitions, 705 secs || 14243427 markings, 16268958 edges, 13178 markings/sec, 705 secs
lola: 313 tries, 312441761 fired transitions, 710 secs || 14310403 markings, 16348428 edges, 13395 markings/sec, 710 secs
lola: 314 tries, 313847599 fired transitions, 715 secs || 14376578 markings, 16426339 edges, 13235 markings/sec, 715 secs
lola: 316 tries, 315256952 fired transitions, 720 secs || 14442897 markings, 16504304 edges, 13264 markings/sec, 720 secs
lola: 317 tries, 316661183 fired transitions, 725 secs || 14509872 markings, 16583605 edges, 13395 markings/sec, 725 secs
lola: 319 tries, 318066885 fired transitions, 730 secs || 14575796 markings, 16661267 edges, 13185 markings/sec, 730 secs
lola: 320 tries, 319472839 fired transitions, 735 secs || 14641315 markings, 16738351 edges, 13104 markings/sec, 735 secs
lola: 321 tries, 320878709 fired transitions, 740 secs || 14705939 markings, 16814256 edges, 12925 markings/sec, 740 secs
lola: 323 tries, 322282148 fired transitions, 745 secs || 14772023 markings, 16892469 edges, 13217 markings/sec, 745 secs
lola: 324 tries, 323689322 fired transitions, 750 secs || 14838146 markings, 16970741 edges, 13225 markings/sec, 750 secs
lola: 326 tries, 325097535 fired transitions, 755 secs || 14903710 markings, 17047676 edges, 13113 markings/sec, 755 secs
lola: 327 tries, 326818756 fired transitions, 760 secs || 14981332 markings, 17137687 edges, 15524 markings/sec, 760 secs
lola: 330 tries, 329328787 fired transitions, 765 secs || 15095266 markings, 17268483 edges, 22787 markings/sec, 765 secs
lola: 332 tries, 331784680 fired transitions, 770 secs || 15205771 markings, 17395009 edges, 22101 markings/sec, 770 secs
lola: 335 tries, 334282544 fired transitions, 775 secs || 15318694 markings, 17523651 edges, 22585 markings/sec, 775 secs
lola: 337 tries, 336816898 fired transitions, 780 secs || 15434247 markings, 17656731 edges, 23111 markings/sec, 780 secs
lola: 340 tries, 339340145 fired transitions, 785 secs || 15548333 markings, 17786984 edges, 22817 markings/sec, 785 secs
lola: 342 tries, 341858175 fired transitions, 790 secs || 15661399 markings, 17915917 edges, 22613 markings/sec, 790 secs
lola: 345 tries, 344410014 fired transitions, 795 secs || 15776533 markings, 18048199 edges, 23027 markings/sec, 795 secs
lola: 347 tries, 346492528 fired transitions, 800 secs || 15875351 markings, 18160549 edges, 19764 markings/sec, 800 secs
lola: 349 tries, 348464226 fired transitions, 805 secs || 15970466 markings, 18269713 edges, 19023 markings/sec, 805 secs
lola: 351 tries, 350467690 fired transitions, 810 secs || 16068413 markings, 18382816 edges, 19589 markings/sec, 810 secs
lola: 353 tries, 352443651 fired transitions, 815 secs || 16164697 markings, 18493696 edges, 19257 markings/sec, 815 secs
lola: 355 tries, 354428715 fired transitions, 820 secs || 16261068 markings, 18604669 edges, 19274 markings/sec, 820 secs
lola: 357 tries, 356407728 fired transitions, 825 secs || 16357232 markings, 18715125 edges, 19233 markings/sec, 825 secs
lola: 359 tries, 358371658 fired transitions, 830 secs || 16452828 markings, 18824475 edges, 19119 markings/sec, 830 secs
lola: 361 tries, 360322173 fired transitions, 835 secs || 16548079 markings, 18932712 edges, 19050 markings/sec, 835 secs
lola: 363 tries, 362278751 fired transitions, 840 secs || 16643918 markings, 19042401 edges, 19168 markings/sec, 840 secs
lola: 365 tries, 364214949 fired transitions, 845 secs || 16738703 markings, 19149808 edges, 18957 markings/sec, 845 secs
lola: 367 tries, 366168594 fired transitions, 850 secs || 16831337 markings, 19255018 edges, 18527 markings/sec, 850 secs
lola: 369 tries, 368158731 fired transitions, 855 secs || 16927352 markings, 19365740 edges, 19203 markings/sec, 855 secs
lola: 371 tries, 370135644 fired transitions, 860 secs || 17022771 markings, 19474973 edges, 19084 markings/sec, 860 secs
lola: 373 tries, 372098298 fired transitions, 865 secs || 17116789 markings, 19582142 edges, 18804 markings/sec, 865 secs
lola: 375 tries, 374091304 fired transitions, 870 secs || 17211748 markings, 19691784 edges, 18992 markings/sec, 870 secs
lola: 377 tries, 376045293 fired transitions, 875 secs || 17304526 markings, 19797737 edges, 18556 markings/sec, 875 secs
lola: 378 tries, 377989073 fired transitions, 880 secs || 17397455 markings, 19903324 edges, 18586 markings/sec, 880 secs
lola: 380 tries, 379938181 fired transitions, 885 secs || 17491016 markings, 20010102 edges, 18712 markings/sec, 885 secs
lola: 382 tries, 381885920 fired transitions, 890 secs || 17585045 markings, 20116929 edges, 18806 markings/sec, 890 secs
lola: 384 tries, 383854121 fired transitions, 895 secs || 17678999 markings, 20224431 edges, 18791 markings/sec, 895 secs
lola: 386 tries, 385831165 fired transitions, 900 secs || 17775268 markings, 20334640 edges, 19254 markings/sec, 900 secs
lola: 388 tries, 387800680 fired transitions, 905 secs || 17870757 markings, 20443639 edges, 19098 markings/sec, 905 secs
lola: 390 tries, 389766309 fired transitions, 910 secs || 17965188 markings, 20551518 edges, 18886 markings/sec, 910 secs
lola: 392 tries, 391834778 fired transitions, 915 secs || 18064774 markings, 20667346 edges, 19917 markings/sec, 915 secs
lola: 395 tries, 394390858 fired transitions, 920 secs || 18182704 markings, 20804214 edges, 23586 markings/sec, 920 secs
lola: 397 tries, 396577252 fired transitions, 925 secs || 18285152 markings, 20921146 edges, 20490 markings/sec, 925 secs
lola: 399 tries, 398552449 fired transitions, 930 secs || 18380760 markings, 21031137 edges, 19122 markings/sec, 930 secs
lola: 401 tries, 400509683 fired transitions, 935 secs || 18476073 markings, 21140210 edges, 19063 markings/sec, 935 secs
lola: 403 tries, 402482419 fired transitions, 940 secs || 18573241 markings, 21251422 edges, 19434 markings/sec, 940 secs
lola: 405 tries, 404480942 fired transitions, 945 secs || 18670367 markings, 21363506 edges, 19425 markings/sec, 945 secs
lola: 407 tries, 406480290 fired transitions, 950 secs || 18769888 markings, 21477966 edges, 19904 markings/sec, 950 secs
lola: 409 tries, 408738710 fired transitions, 955 secs || 18877780 markings, 21601882 edges, 21578 markings/sec, 955 secs
lola: 412 tries, 411199546 fired transitions, 960 secs || 18989570 markings, 21728979 edges, 22358 markings/sec, 960 secs
lola: 414 tries, 413593763 fired transitions, 965 secs || 19097747 markings, 21853281 edges, 21635 markings/sec, 965 secs
lola: 416 tries, 415536804 fired transitions, 970 secs || 19192104 markings, 21960341 edges, 18871 markings/sec, 970 secs
lola: 418 tries, 417500037 fired transitions, 975 secs || 19286381 markings, 22068172 edges, 18855 markings/sec, 975 secs
lola: 420 tries, 419457105 fired transitions, 980 secs || 19382317 markings, 22177565 edges, 19187 markings/sec, 980 secs
lola: 422 tries, 421448579 fired transitions, 985 secs || 19478737 markings, 22288079 edges, 19284 markings/sec, 985 secs
lola: 424 tries, 423434593 fired transitions, 990 secs || 19575368 markings, 22399258 edges, 19326 markings/sec, 990 secs
lola: 426 tries, 425412149 fired transitions, 995 secs || 19672501 markings, 22510997 edges, 19427 markings/sec, 995 secs
lola: 428 tries, 427368796 fired transitions, 1000 secs || 19768721 markings, 22621214 edges, 19244 markings/sec, 1000 secs
lola: 430 tries, 429380097 fired transitions, 1005 secs || 19866159 markings, 22734154 edges, 19488 markings/sec, 1005 secs
lola: 432 tries, 431358208 fired transitions, 1010 secs || 19961548 markings, 22843557 edges, 19078 markings/sec, 1010 secs
lola: 434 tries, 433339164 fired transitions, 1015 secs || 20056174 markings, 22951467 edges, 18925 markings/sec, 1015 secs
lola: 436 tries, 435353251 fired transitions, 1020 secs || 20154238 markings, 23065236 edges, 19613 markings/sec, 1020 secs
lola: 438 tries, 437342910 fired transitions, 1025 secs || 20252975 markings, 23179241 edges, 19747 markings/sec, 1025 secs
lola: 440 tries, 439298752 fired transitions, 1030 secs || 20349384 markings, 23290001 edges, 19282 markings/sec, 1030 secs
lola: 442 tries, 441233446 fired transitions, 1035 secs || 20443518 markings, 23396475 edges, 18827 markings/sec, 1035 secs
lola: 444 tries, 443210065 fired transitions, 1040 secs || 20540034 markings, 23506879 edges, 19303 markings/sec, 1040 secs
lola: 446 tries, 445200642 fired transitions, 1045 secs || 20636755 markings, 23618136 edges, 19344 markings/sec, 1045 secs
lola: 448 tries, 447211362 fired transitions, 1050 secs || 20732668 markings, 23727411 edges, 19183 markings/sec, 1050 secs
lola: 450 tries, 449748026 fired transitions, 1055 secs || 20846459 markings, 23857799 edges, 22758 markings/sec, 1055 secs
lola: 453 tries, 452298197 fired transitions, 1060 secs || 20961577 markings, 23989756 edges, 23024 markings/sec, 1060 secs
lola: 455 tries, 454853868 fired transitions, 1065 secs || 21078808 markings, 24124759 edges, 23446 markings/sec, 1065 secs
lola: 458 tries, 457316645 fired transitions, 1070 secs || 21190855 markings, 24252591 edges, 22409 markings/sec, 1070 secs
lola: 460 tries, 459284178 fired transitions, 1075 secs || 21284410 markings, 24358892 edges, 18711 markings/sec, 1075 secs
lola: 462 tries, 461273861 fired transitions, 1080 secs || 21379809 markings, 24468556 edges, 19080 markings/sec, 1080 secs
lola: 464 tries, 463756452 fired transitions, 1085 secs || 21491721 markings, 24597537 edges, 22382 markings/sec, 1085 secs
lola: 466 tries, 465746183 fired transitions, 1090 secs || 21576939 markings, 24693780 edges, 17044 markings/sec, 1090 secs
lola: 468 tries, 467802383 fired transitions, 1095 secs || 21665627 markings, 24796423 edges, 17738 markings/sec, 1095 secs
lola: 470 tries, 469832824 fired transitions, 1100 secs || 21750889 markings, 24893295 edges, 17052 markings/sec, 1100 secs
lola: 472 tries, 471868933 fired transitions, 1105 secs || 21836821 markings, 24991402 edges, 17186 markings/sec, 1105 secs
lola: 474 tries, 473913738 fired transitions, 1110 secs || 21922970 markings, 25090818 edges, 17230 markings/sec, 1110 secs
lola: 476 tries, 475954786 fired transitions, 1115 secs || 22010775 markings, 25191348 edges, 17561 markings/sec, 1115 secs
lola: 478 tries, 477987663 fired transitions, 1120 secs || 22096044 markings, 25289038 edges, 17054 markings/sec, 1120 secs
lola: 481 tries, 480025113 fired transitions, 1125 secs || 22181984 markings, 25387821 edges, 17188 markings/sec, 1125 secs
lola: 483 tries, 482050794 fired transitions, 1130 secs || 22266120 markings, 25483620 edges, 16827 markings/sec, 1130 secs
lola: 485 tries, 484076676 fired transitions, 1135 secs || 22351821 markings, 25580814 edges, 17140 markings/sec, 1135 secs
lola: 487 tries, 486112297 fired transitions, 1140 secs || 22436912 markings, 25678291 edges, 17018 markings/sec, 1140 secs
lola: 489 tries, 488152336 fired transitions, 1145 secs || 22521915 markings, 25775939 edges, 17001 markings/sec, 1145 secs
lola: 491 tries, 490291208 fired transitions, 1150 secs || 22616389 markings, 25884366 edges, 18895 markings/sec, 1150 secs
lola: 493 tries, 492786946 fired transitions, 1155 secs || 22730818 markings, 26016274 edges, 22886 markings/sec, 1155 secs
lola: 496 tries, 495253842 fired transitions, 1160 secs || 22847553 markings, 26151648 edges, 23347 markings/sec, 1160 secs
lola: 498 tries, 497737314 fired transitions, 1165 secs || 22962253 markings, 26284082 edges, 22940 markings/sec, 1165 secs
lola: 501 tries, 500257671 fired transitions, 1170 secs || 23076242 markings, 26416681 edges, 22798 markings/sec, 1170 secs
lola: 503 tries, 502817731 fired transitions, 1175 secs || 23188000 markings, 26545046 edges, 22352 markings/sec, 1175 secs
lola: 506 tries, 505277428 fired transitions, 1180 secs || 23297263 markings, 26671243 edges, 21853 markings/sec, 1180 secs
lola: 508 tries, 507751979 fired transitions, 1185 secs || 23407765 markings, 26798874 edges, 22100 markings/sec, 1185 secs
lola: 511 tries, 510314970 fired transitions, 1190 secs || 23523266 markings, 26933184 edges, 23100 markings/sec, 1190 secs
lola: 513 tries, 512873074 fired transitions, 1195 secs || 23639825 markings, 27067199 edges, 23312 markings/sec, 1195 secs
lola: 516 tries, 515003165 fired transitions, 1200 secs || 23740027 markings, 27181926 edges, 20040 markings/sec, 1200 secs
lola: 517 tries, 516969844 fired transitions, 1205 secs || 23834317 markings, 27289873 edges, 18858 markings/sec, 1205 secs
lola: 519 tries, 518954962 fired transitions, 1210 secs || 23929588 markings, 27399848 edges, 19054 markings/sec, 1210 secs
lola: 521 tries, 520911250 fired transitions, 1215 secs || 24023934 markings, 27507526 edges, 18869 markings/sec, 1215 secs
lola: 523 tries, 522883201 fired transitions, 1220 secs || 24117666 markings, 27614846 edges, 18746 markings/sec, 1220 secs
lola: 525 tries, 524871644 fired transitions, 1225 secs || 24213359 markings, 27724675 edges, 19139 markings/sec, 1225 secs
lola: 528 tries, 527121016 fired transitions, 1230 secs || 24320723 markings, 27847290 edges, 21473 markings/sec, 1230 secs
lola: 530 tries, 529647514 fired transitions, 1235 secs || 24433160 markings, 27977344 edges, 22487 markings/sec, 1235 secs
lola: 533 tries, 532177555 fired transitions, 1240 secs || 24545462 markings, 28106575 edges, 22460 markings/sec, 1240 secs
lola: 535 tries, 534377918 fired transitions, 1245 secs || 24648834 markings, 28225093 edges, 20674 markings/sec, 1245 secs
lola: 537 tries, 536372843 fired transitions, 1250 secs || 24745860 markings, 28336878 edges, 19405 markings/sec, 1250 secs
lola: 539 tries, 538373982 fired transitions, 1255 secs || 24843230 markings, 28449308 edges, 19474 markings/sec, 1255 secs
lola: 541 tries, 540367773 fired transitions, 1260 secs || 24939250 markings, 28559632 edges, 19204 markings/sec, 1260 secs
lola: 543 tries, 542549028 fired transitions, 1265 secs || 25042976 markings, 28678306 edges, 20745 markings/sec, 1265 secs
lola: 546 tries, 545091088 fired transitions, 1270 secs || 25156590 markings, 28807721 edges, 22723 markings/sec, 1270 secs
lola: 548 tries, 547648190 fired transitions, 1275 secs || 25270897 markings, 28939956 edges, 22861 markings/sec, 1275 secs
lola: 551 tries, 550194657 fired transitions, 1280 secs || 25384957 markings, 29070823 edges, 22812 markings/sec, 1280 secs
lola: 553 tries, 552751182 fired transitions, 1285 secs || 25500258 markings, 29203296 edges, 23060 markings/sec, 1285 secs
lola: 556 tries, 555301534 fired transitions, 1290 secs || 25616389 markings, 29335993 edges, 23226 markings/sec, 1290 secs
lola: 558 tries, 557863104 fired transitions, 1295 secs || 25731122 markings, 29468368 edges, 22947 markings/sec, 1295 secs
lola: 561 tries, 560426106 fired transitions, 1300 secs || 25849417 markings, 29605763 edges, 23659 markings/sec, 1300 secs
lola: 563 tries, 562983086 fired transitions, 1305 secs || 25965711 markings, 29739271 edges, 23259 markings/sec, 1305 secs
lola: 566 tries, 565538119 fired transitions, 1310 secs || 26081062 markings, 29871515 edges, 23070 markings/sec, 1310 secs
lola: 569 tries, 568093586 fired transitions, 1315 secs || 26196461 markings, 30004554 edges, 23080 markings/sec, 1315 secs
lola: 571 tries, 570648530 fired transitions, 1320 secs || 26309868 markings, 30134114 edges, 22681 markings/sec, 1320 secs
lola: 574 tries, 573195202 fired transitions, 1325 secs || 26425490 markings, 30266237 edges, 23124 markings/sec, 1325 secs
lola: 576 tries, 575744645 fired transitions, 1330 secs || 26540296 markings, 30398278 edges, 22961 markings/sec, 1330 secs
lola: 579 tries, 578301206 fired transitions, 1335 secs || 26656375 markings, 30532606 edges, 23216 markings/sec, 1335 secs
lola: 581 tries, 580855234 fired transitions, 1340 secs || 26772310 markings, 30665840 edges, 23187 markings/sec, 1340 secs
lola: 584 tries, 583410312 fired transitions, 1345 secs || 26889174 markings, 30800518 edges, 23373 markings/sec, 1345 secs
lola: 586 tries, 585959714 fired transitions, 1350 secs || 27004397 markings, 30932223 edges, 23045 markings/sec, 1350 secs
lola: 589 tries, 588511364 fired transitions, 1355 secs || 27119293 markings, 31064058 edges, 22979 markings/sec, 1355 secs
lola: 592 tries, 591060850 fired transitions, 1360 secs || 27235059 markings, 31195555 edges, 23153 markings/sec, 1360 secs
lola: 594 tries, 593613743 fired transitions, 1365 secs || 27350202 markings, 31327694 edges, 23029 markings/sec, 1365 secs
lola: 597 tries, 596159202 fired transitions, 1370 secs || 27466035 markings, 31459370 edges, 23167 markings/sec, 1370 secs
lola: 599 tries, 598710319 fired transitions, 1375 secs || 27580417 markings, 31590341 edges, 22876 markings/sec, 1375 secs
lola: 602 tries, 601258254 fired transitions, 1380 secs || 27694493 markings, 31721113 edges, 22815 markings/sec, 1380 secs
lola: 604 tries, 603815531 fired transitions, 1385 secs || 27809364 markings, 31853269 edges, 22974 markings/sec, 1385 secs
lola: 607 tries, 606361858 fired transitions, 1390 secs || 27923536 markings, 31983581 edges, 22834 markings/sec, 1390 secs
lola: 609 tries, 608913474 fired transitions, 1395 secs || 28039260 markings, 32116528 edges, 23145 markings/sec, 1395 secs
lola: 612 tries, 611467261 fired transitions, 1400 secs || 28154439 markings, 32249116 edges, 23036 markings/sec, 1400 secs
lola: 615 tries, 614019761 fired transitions, 1405 secs || 28270783 markings, 32381972 edges, 23269 markings/sec, 1405 secs
lola: 617 tries, 616568837 fired transitions, 1410 secs || 28385718 markings, 32513862 edges, 22987 markings/sec, 1410 secs
lola: 620 tries, 619119601 fired transitions, 1415 secs || 28500707 markings, 32645326 edges, 22998 markings/sec, 1415 secs
lola: 622 tries, 621671785 fired transitions, 1420 secs || 28615772 markings, 32777685 edges, 23013 markings/sec, 1420 secs
lola: 625 tries, 624226309 fired transitions, 1425 secs || 28730955 markings, 32909957 edges, 23037 markings/sec, 1425 secs
lola: 627 tries, 626778741 fired transitions, 1430 secs || 28846449 markings, 33042970 edges, 23099 markings/sec, 1430 secs
lola: 630 tries, 629333448 fired transitions, 1435 secs || 28961808 markings, 33176183 edges, 23072 markings/sec, 1435 secs
lola: 632 tries, 631885161 fired transitions, 1440 secs || 29077372 markings, 33308672 edges, 23113 markings/sec, 1440 secs
lola: 635 tries, 634442726 fired transitions, 1445 secs || 29193814 markings, 33442643 edges, 23288 markings/sec, 1445 secs
lola: 637 tries, 636993738 fired transitions, 1450 secs || 29308576 markings, 33574167 edges, 22952 markings/sec, 1450 secs
lola: 640 tries, 639541086 fired transitions, 1455 secs || 29423628 markings, 33705488 edges, 23010 markings/sec, 1455 secs
lola: 643 tries, 642100937 fired transitions, 1460 secs || 29539842 markings, 33839824 edges, 23243 markings/sec, 1460 secs
lola: 645 tries, 644647880 fired transitions, 1465 secs || 29653235 markings, 33968992 edges, 22679 markings/sec, 1465 secs
lola: 648 tries, 647200674 fired transitions, 1470 secs || 29768533 markings, 34101846 edges, 23060 markings/sec, 1470 secs
lola: 650 tries, 649752338 fired transitions, 1475 secs || 29884184 markings, 34234992 edges, 23130 markings/sec, 1475 secs
lola: 653 tries, 652322044 fired transitions, 1480 secs || 30002434 markings, 34373074 edges, 23650 markings/sec, 1480 secs
lola: 655 tries, 654875237 fired transitions, 1485 secs || 30117894 markings, 34506312 edges, 23092 markings/sec, 1485 secs
lola: 658 tries, 657431640 fired transitions, 1490 secs || 30234419 markings, 34639950 edges, 23305 markings/sec, 1490 secs
lola: 660 tries, 659984386 fired transitions, 1495 secs || 30349285 markings, 34771596 edges, 22973 markings/sec, 1495 secs
lola: 663 tries, 662532358 fired transitions, 1500 secs || 30464440 markings, 34902913 edges, 23031 markings/sec, 1500 secs
lola: 666 tries, 665083435 fired transitions, 1505 secs || 30579423 markings, 35034637 edges, 22997 markings/sec, 1505 secs
lola: 668 tries, 667596896 fired transitions, 1510 secs || 30692249 markings, 35163623 edges, 22565 markings/sec, 1510 secs
lola: 671 tries, 670153774 fired transitions, 1515 secs || 30809862 markings, 35298904 edges, 23523 markings/sec, 1515 secs
lola: 673 tries, 672711920 fired transitions, 1520 secs || 30925606 markings, 35432464 edges, 23149 markings/sec, 1520 secs
lola: 676 tries, 675259896 fired transitions, 1525 secs || 31041291 markings, 35564526 edges, 23137 markings/sec, 1525 secs
lola: 678 tries, 677816856 fired transitions, 1530 secs || 31157258 markings, 35697894 edges, 23193 markings/sec, 1530 secs
lola: 681 tries, 680371146 fired transitions, 1535 secs || 31272917 markings, 35831152 edges, 23132 markings/sec, 1535 secs
lola: 683 tries, 682921148 fired transitions, 1540 secs || 31388798 markings, 35963758 edges, 23176 markings/sec, 1540 secs
lola: 686 tries, 685472501 fired transitions, 1545 secs || 31503147 markings, 36094925 edges, 22870 markings/sec, 1545 secs
lola: 689 tries, 688035197 fired transitions, 1550 secs || 31620589 markings, 36230809 edges, 23488 markings/sec, 1550 secs
lola: 691 tries, 690585060 fired transitions, 1555 secs || 31734969 markings, 36361021 edges, 22876 markings/sec, 1555 secs
lola: 694 tries, 693131064 fired transitions, 1560 secs || 31849746 markings, 36492279 edges, 22955 markings/sec, 1560 secs
lola: 696 tries, 695681671 fired transitions, 1565 secs || 31965437 markings, 36624951 edges, 23138 markings/sec, 1565 secs
lola: 699 tries, 698241010 fired transitions, 1570 secs || 32083149 markings, 36761512 edges, 23542 markings/sec, 1570 secs
lola: 701 tries, 700797466 fired transitions, 1575 secs || 32199415 markings, 36895446 edges, 23253 markings/sec, 1575 secs
lola: 704 tries, 703354446 fired transitions, 1580 secs || 32314702 markings, 37028138 edges, 23057 markings/sec, 1580 secs
lola: 706 tries, 705906337 fired transitions, 1585 secs || 32428900 markings, 37158743 edges, 22840 markings/sec, 1585 secs
lola: 709 tries, 708450688 fired transitions, 1590 secs || 32545845 markings, 37292007 edges, 23389 markings/sec, 1590 secs
lola: 711 tries, 710997354 fired transitions, 1595 secs || 32660786 markings, 37423355 edges, 22988 markings/sec, 1595 secs
lola: 714 tries, 713554260 fired transitions, 1600 secs || 32776328 markings, 37556207 edges, 23108 markings/sec, 1600 secs
lola: 717 tries, 716111813 fired transitions, 1605 secs || 32892761 markings, 37690531 edges, 23287 markings/sec, 1605 secs
lola: 719 tries, 718671507 fired transitions, 1610 secs || 33010102 markings, 37827285 edges, 23468 markings/sec, 1610 secs
lola: 722 tries, 721237219 fired transitions, 1615 secs || 33127539 markings, 37963903 edges, 23487 markings/sec, 1615 secs
lola: 724 tries, 723794051 fired transitions, 1620 secs || 33243219 markings, 38097331 edges, 23136 markings/sec, 1620 secs
lola: 727 tries, 726330758 fired transitions, 1625 secs || 33358642 markings, 38227836 edges, 23085 markings/sec, 1625 secs
lola: 729 tries, 728882048 fired transitions, 1630 secs || 33473838 markings, 38359562 edges, 23039 markings/sec, 1630 secs
lola: 732 tries, 731444201 fired transitions, 1635 secs || 33590832 markings, 38495048 edges, 23399 markings/sec, 1635 secs
lola: 734 tries, 733992922 fired transitions, 1640 secs || 33706073 markings, 38627668 edges, 23048 markings/sec, 1640 secs
lola: 737 tries, 736542570 fired transitions, 1645 secs || 33821125 markings, 38759214 edges, 23010 markings/sec, 1645 secs
lola: 740 tries, 739095986 fired transitions, 1650 secs || 33935946 markings, 38891171 edges, 22964 markings/sec, 1650 secs
lola: 742 tries, 741646386 fired transitions, 1655 secs || 34051856 markings, 39023959 edges, 23182 markings/sec, 1655 secs
lola: 745 tries, 744203635 fired transitions, 1660 secs || 34167309 markings, 39157338 edges, 23091 markings/sec, 1660 secs
lola: 747 tries, 746749408 fired transitions, 1665 secs || 34281605 markings, 39288367 edges, 22859 markings/sec, 1665 secs
lola: 750 tries, 749302321 fired transitions, 1670 secs || 34396871 markings, 39421179 edges, 23053 markings/sec, 1670 secs
lola: 752 tries, 751854644 fired transitions, 1675 secs || 34512705 markings, 39554479 edges, 23167 markings/sec, 1675 secs
lola: 755 tries, 754402414 fired transitions, 1680 secs || 34627762 markings, 39685520 edges, 23011 markings/sec, 1680 secs
lola: 757 tries, 756955309 fired transitions, 1685 secs || 34743097 markings, 39818230 edges, 23067 markings/sec, 1685 secs
lola: 760 tries, 759503736 fired transitions, 1690 secs || 34858143 markings, 39950040 edges, 23009 markings/sec, 1690 secs
lola: 763 tries, 762058462 fired transitions, 1695 secs || 34975178 markings, 40084595 edges, 23407 markings/sec, 1695 secs
lola: 765 tries, 764606044 fired transitions, 1700 secs || 35090963 markings, 40217240 edges, 23157 markings/sec, 1700 secs
lola: 768 tries, 767155097 fired transitions, 1705 secs || 35206547 markings, 40349235 edges, 23117 markings/sec, 1705 secs
lola: 770 tries, 769705890 fired transitions, 1710 secs || 35322683 markings, 40482570 edges, 23227 markings/sec, 1710 secs
lola: 773 tries, 772250317 fired transitions, 1715 secs || 35437913 markings, 40614249 edges, 23046 markings/sec, 1715 secs
lola: 775 tries, 774806035 fired transitions, 1720 secs || 35554032 markings, 40748006 edges, 23224 markings/sec, 1720 secs
lola: 778 tries, 777368514 fired transitions, 1725 secs || 35670582 markings, 40882793 edges, 23310 markings/sec, 1725 secs
lola: 780 tries, 779918222 fired transitions, 1730 secs || 35783866 markings, 41012751 edges, 22657 markings/sec, 1730 secs
lola: 783 tries, 782467552 fired transitions, 1735 secs || 35897809 markings, 41143248 edges, 22789 markings/sec, 1735 secs
lola: 786 tries, 785024099 fired transitions, 1740 secs || 36014122 markings, 41276960 edges, 23263 markings/sec, 1740 secs
lola: 788 tries, 787581976 fired transitions, 1745 secs || 36129613 markings, 41410072 edges, 23098 markings/sec, 1745 secs
lola: 791 tries, 790130275 fired transitions, 1750 secs || 36245052 markings, 41541843 edges, 23088 markings/sec, 1750 secs
lola: 793 tries, 792695600 fired transitions, 1755 secs || 36362472 markings, 41678336 edges, 23484 markings/sec, 1755 secs
lola: 796 tries, 795251908 fired transitions, 1760 secs || 36478174 markings, 41811115 edges, 23140 markings/sec, 1760 secs
lola: 798 tries, 797804522 fired transitions, 1765 secs || 36593821 markings, 41943656 edges, 23129 markings/sec, 1765 secs
lola: 801 tries, 800363473 fired transitions, 1770 secs || 36710255 markings, 42078370 edges, 23287 markings/sec, 1770 secs
lola: 803 tries, 802913440 fired transitions, 1775 secs || 36825779 markings, 42210372 edges, 23105 markings/sec, 1775 secs
lola: 806 tries, 805462265 fired transitions, 1780 secs || 36940766 markings, 42341825 edges, 22997 markings/sec, 1780 secs
lola: 809 tries, 808003370 fired transitions, 1785 secs || 37055437 markings, 42473040 edges, 22934 markings/sec, 1785 secs
lola: 811 tries, 810556321 fired transitions, 1790 secs || 37170921 markings, 42605093 edges, 23097 markings/sec, 1790 secs
lola: 814 tries, 813119579 fired transitions, 1795 secs || 37287905 markings, 42740312 edges, 23397 markings/sec, 1795 secs
lola: 816 tries, 815670809 fired transitions, 1800 secs || 37403851 markings, 42873312 edges, 23189 markings/sec, 1800 secs
lola: 819 tries, 818224521 fired transitions, 1805 secs || 37518783 markings, 43005907 edges, 22986 markings/sec, 1805 secs
lola: 821 tries, 820784485 fired transitions, 1810 secs || 37634683 markings, 43140023 edges, 23180 markings/sec, 1810 secs
lola: 824 tries, 823339757 fired transitions, 1815 secs || 37750283 markings, 43272897 edges, 23120 markings/sec, 1815 secs
lola: 826 tries, 825896990 fired transitions, 1820 secs || 37866161 markings, 43406060 edges, 23176 markings/sec, 1820 secs
lola: 829 tries, 828454136 fired transitions, 1825 secs || 37981034 markings, 43538774 edges, 22975 markings/sec, 1825 secs
lola: 832 tries, 831013095 fired transitions, 1830 secs || 38096868 markings, 43672467 edges, 23167 markings/sec, 1830 secs
lola: 834 tries, 833572329 fired transitions, 1835 secs || 38213353 markings, 43806507 edges, 23297 markings/sec, 1835 secs
lola: 837 tries, 836125424 fired transitions, 1840 secs || 38328050 markings, 43938589 edges, 22939 markings/sec, 1840 secs
lola: 839 tries, 838678647 fired transitions, 1845 secs || 38442383 markings, 44069898 edges, 22867 markings/sec, 1845 secs
lola: 842 tries, 841225810 fired transitions, 1850 secs || 38556706 markings, 44201443 edges, 22865 markings/sec, 1850 secs
lola: 844 tries, 843775647 fired transitions, 1855 secs || 38670753 markings, 44331712 edges, 22809 markings/sec, 1855 secs
lola: 847 tries, 846333026 fired transitions, 1860 secs || 38787822 markings, 44465817 edges, 23414 markings/sec, 1860 secs
lola: 849 tries, 848894210 fired transitions, 1865 secs || 38904963 markings, 44601503 edges, 23428 markings/sec, 1865 secs
lola: 852 tries, 851453671 fired transitions, 1870 secs || 39019066 markings, 44733569 edges, 22821 markings/sec, 1870 secs
lola: 854 tries, 853980018 fired transitions, 1875 secs || 39133613 markings, 44863895 edges, 22909 markings/sec, 1875 secs
lola: 857 tries, 856007539 fired transitions, 1880 secs || 39220131 markings, 44963079 edges, 17304 markings/sec, 1880 secs
lola: 858 tries, 857993510 fired transitions, 1885 secs || 39307128 markings, 45062577 edges, 17399 markings/sec, 1885 secs
lola: 860 tries, 859977234 fired transitions, 1890 secs || 39401913 markings, 45171030 edges, 18957 markings/sec, 1890 secs
lola: 862 tries, 861881807 fired transitions, 1895 secs || 39492485 markings, 45276778 edges, 18114 markings/sec, 1895 secs
lola: 864 tries, 863336897 fired transitions, 1900 secs || 39558372 markings, 45353630 edges, 13177 markings/sec, 1900 secs
lola: 866 tries, 865150274 fired transitions, 1905 secs || 39639546 markings, 45447390 edges, 16235 markings/sec, 1905 secs
lola: 868 tries, 867688234 fired transitions, 1910 secs || 39752223 markings, 45576835 edges, 22535 markings/sec, 1910 secs
lola: 871 tries, 870151570 fired transitions, 1915 secs || 39866632 markings, 45708492 edges, 22882 markings/sec, 1915 secs
lola: 873 tries, 872638391 fired transitions, 1920 secs || 39980549 markings, 45838904 edges, 22783 markings/sec, 1920 secs
lola: 876 tries, 875144864 fired transitions, 1925 secs || 40096907 markings, 45972960 edges, 23272 markings/sec, 1925 secs
lola: 878 tries, 877685578 fired transitions, 1930 secs || 40209425 markings, 46102032 edges, 22504 markings/sec, 1930 secs
lola: 881 tries, 880012971 fired transitions, 1935 secs || 40312146 markings, 46220619 edges, 20544 markings/sec, 1935 secs
lola: 882 tries, 881414983 fired transitions, 1940 secs || 40376280 markings, 46295728 edges, 12827 markings/sec, 1940 secs
lola: 883 tries, 882816802 fired transitions, 1945 secs || 40441227 markings, 46372468 edges, 12989 markings/sec, 1945 secs
lola: 885 tries, 884220705 fired transitions, 1950 secs || 40505729 markings, 46448132 edges, 12900 markings/sec, 1950 secs
lola: 886 tries, 885622877 fired transitions, 1955 secs || 40570308 markings, 46524260 edges, 12916 markings/sec, 1955 secs
lola: 888 tries, 887032394 fired transitions, 1960 secs || 40633849 markings, 46598472 edges, 12708 markings/sec, 1960 secs
lola: 889 tries, 888448234 fired transitions, 1965 secs || 40698850 markings, 46675016 edges, 13000 markings/sec, 1965 secs
lola: 890 tries, 889858345 fired transitions, 1970 secs || 40763328 markings, 46751157 edges, 12896 markings/sec, 1970 secs
lola: 892 tries, 891262494 fired transitions, 1975 secs || 40828486 markings, 46827722 edges, 13032 markings/sec, 1975 secs
lola: 893 tries, 892667162 fired transitions, 1980 secs || 40893830 markings, 46904649 edges, 13069 markings/sec, 1980 secs
lola: 895 tries, 894075433 fired transitions, 1985 secs || 40959104 markings, 46981922 edges, 13055 markings/sec, 1985 secs
lola: 896 tries, 895492838 fired transitions, 1990 secs || 41023870 markings, 47057378 edges, 12953 markings/sec, 1990 secs
lola: 898 tries, 897316140 fired transitions, 1995 secs || 41107077 markings, 47154718 edges, 16641 markings/sec, 1995 secs
lola: 900 tries, 899236003 fired transitions, 2000 secs || 41192290 markings, 47253602 edges, 17043 markings/sec, 2000 secs
lola: 901 tries, 900642926 fired transitions, 2005 secs || 41257464 markings, 47330712 edges, 13035 markings/sec, 2005 secs
lola: 903 tries, 902050942 fired transitions, 2010 secs || 41323718 markings, 47409621 edges, 13251 markings/sec, 2010 secs
lola: 904 tries, 903862894 fired transitions, 2015 secs || 41404803 markings, 47504128 edges, 16217 markings/sec, 2015 secs
lola: 907 tries, 906405519 fired transitions, 2020 secs || 41515099 markings, 47630630 edges, 22059 markings/sec, 2020 secs
lola: 909 tries, 908950025 fired transitions, 2025 secs || 41624674 markings, 47754732 edges, 21915 markings/sec, 2025 secs
lola: 912 tries, 911498018 fired transitions, 2030 secs || 41736989 markings, 47885303 edges, 22463 markings/sec, 2030 secs
lola: 915 tries, 914033665 fired transitions, 2035 secs || 41847539 markings, 48012076 edges, 22110 markings/sec, 2035 secs
lola: 917 tries, 916575576 fired transitions, 2040 secs || 41958648 markings, 48140421 edges, 22222 markings/sec, 2040 secs
lola: 920 tries, 919116947 fired transitions, 2045 secs || 42072363 markings, 48272163 edges, 22743 markings/sec, 2045 secs
lola: 922 tries, 921083106 fired transitions, 2050 secs || 42162403 markings, 48376760 edges, 18008 markings/sec, 2050 secs
lola: 923 tries, 922483766 fired transitions, 2055 secs || 42227146 markings, 48452799 edges, 12949 markings/sec, 2055 secs
lola: 924 tries, 923891716 fired transitions, 2060 secs || 42292076 markings, 48529244 edges, 12986 markings/sec, 2060 secs
lola: 926 tries, 925717466 fired transitions, 2065 secs || 42377831 markings, 48629594 edges, 17151 markings/sec, 2065 secs
lola: 929 tries, 928195624 fired transitions, 2070 secs || 42492310 markings, 48761034 edges, 22896 markings/sec, 2070 secs
lola: 931 tries, 930266930 fired transitions, 2075 secs || 42586177 markings, 48869856 edges, 18773 markings/sec, 2075 secs
lola: 933 tries, 932255386 fired transitions, 2080 secs || 42674401 markings, 48971229 edges, 17645 markings/sec, 2080 secs
lola: 935 tries, 934801603 fired transitions, 2085 secs || 42788388 markings, 49103052 edges, 22797 markings/sec, 2085 secs
lola: 938 tries, 937336988 fired transitions, 2090 secs || 42900545 markings, 49232532 edges, 22431 markings/sec, 2090 secs
lola: 940 tries, 939869850 fired transitions, 2095 secs || 43016628 markings, 49365409 edges, 23217 markings/sec, 2095 secs
lola: 943 tries, 942429306 fired transitions, 2100 secs || 43132201 markings, 49499317 edges, 23115 markings/sec, 2100 secs
lola: 945 tries, 944978075 fired transitions, 2105 secs || 43247397 markings, 49631461 edges, 23039 markings/sec, 2105 secs
lola: 948 tries, 947528646 fired transitions, 2110 secs || 43362431 markings, 49763417 edges, 23007 markings/sec, 2110 secs
lola: 951 tries, 950080196 fired transitions, 2115 secs || 43477685 markings, 49895612 edges, 23051 markings/sec, 2115 secs
lola: 953 tries, 952634928 fired transitions, 2120 secs || 43594672 markings, 50030572 edges, 23397 markings/sec, 2120 secs
lola: 956 tries, 955185285 fired transitions, 2125 secs || 43709714 markings, 50161955 edges, 23008 markings/sec, 2125 secs
lola: 958 tries, 957738560 fired transitions, 2130 secs || 43824511 markings, 50293313 edges, 22959 markings/sec, 2130 secs
lola: 961 tries, 960299174 fired transitions, 2135 secs || 43940137 markings, 50427250 edges, 23125 markings/sec, 2135 secs
lola: 963 tries, 962851393 fired transitions, 2140 secs || 44054398 markings, 50558097 edges, 22852 markings/sec, 2140 secs
lola: 966 tries, 965398609 fired transitions, 2145 secs || 44167568 markings, 50687192 edges, 22634 markings/sec, 2145 secs
lola: 968 tries, 967878960 fired transitions, 2150 secs || 44279472 markings, 50815151 edges, 22381 markings/sec, 2150 secs
lola: 970 tries, 969821603 fired transitions, 2155 secs || 44371940 markings, 50920156 edges, 18494 markings/sec, 2155 secs
lola: 972 tries, 971810976 fired transitions, 2160 secs || 44466891 markings, 51029418 edges, 18990 markings/sec, 2160 secs
lola: 974 tries, 973792560 fired transitions, 2165 secs || 44561626 markings, 51138377 edges, 18947 markings/sec, 2165 secs
lola: 976 tries, 975764876 fired transitions, 2170 secs || 44656177 markings, 51246375 edges, 18910 markings/sec, 2170 secs
lola: 978 tries, 977784526 fired transitions, 2175 secs || 44754909 markings, 51361084 edges, 19746 markings/sec, 2175 secs
lola: 980 tries, 979763619 fired transitions, 2180 secs || 44851176 markings, 51471565 edges, 19253 markings/sec, 2180 secs
lola: 982 tries, 981762890 fired transitions, 2185 secs || 44947083 markings, 51582309 edges, 19181 markings/sec, 2185 secs
lola: 984 tries, 983718154 fired transitions, 2190 secs || 45039938 markings, 51688255 edges, 18571 markings/sec, 2190 secs
lola: 986 tries, 985697773 fired transitions, 2195 secs || 45133497 markings, 51795716 edges, 18712 markings/sec, 2195 secs
lola: 988 tries, 987318108 fired transitions, 2200 secs || 45210492 markings, 51886145 edges, 15399 markings/sec, 2200 secs
lola: 989 tries, 988917638 fired transitions, 2205 secs || 45287221 markings, 51974956 edges, 15346 markings/sec, 2205 secs
lola: 991 tries, 990906247 fired transitions, 2210 secs || 45380398 markings, 52082166 edges, 18635 markings/sec, 2210 secs
lola: 993 tries, 992868524 fired transitions, 2215 secs || 45472491 markings, 52187234 edges, 18419 markings/sec, 2215 secs
lola: 995 tries, 994843665 fired transitions, 2220 secs || 45565843 markings, 52294141 edges, 18670 markings/sec, 2220 secs
lola: 997 tries, 996802851 fired transitions, 2225 secs || 45658327 markings, 52399438 edges, 18497 markings/sec, 2225 secs
lola: 999 tries, 998794404 fired transitions, 2230 secs || 45752887 markings, 52508406 edges, 18912 markings/sec, 2230 secs
lola: 1001 tries, 1000257834 fired transitions, 2235 secs || 45819921 markings, 52586685 edges, 13407 markings/sec, 2235 secs
lola: 1003 tries, 1002042944 fired transitions, 2240 secs || 45907129 markings, 52686593 edges, 17442 markings/sec, 2240 secs
lola: 1004 tries, 1003964575 fired transitions, 2245 secs || 46003170 markings, 52797531 edges, 19208 markings/sec, 2245 secs
lola: 1006 tries, 1005830298 fired transitions, 2250 secs || 46095538 markings, 52903078 edges, 18474 markings/sec, 2250 secs
lola: 1008 tries, 1007691818 fired transitions, 2255 secs || 46187492 markings, 53007675 edges, 18391 markings/sec, 2255 secs
lola: 1010 tries, 1009417405 fired transitions, 2260 secs || 46271925 markings, 53104762 edges, 16887 markings/sec, 2260 secs
lola: 1011 tries, 1010825846 fired transitions, 2265 secs || 46336358 markings, 53180145 edges, 12887 markings/sec, 2265 secs
lola: 1013 tries, 1012570971 fired transitions, 2270 secs || 46414294 markings, 53271592 edges, 15587 markings/sec, 2270 secs
lola: 1014 tries, 1013974658 fired transitions, 2275 secs || 46477966 markings, 53346181 edges, 12734 markings/sec, 2275 secs
lola: 1016 tries, 1015381811 fired transitions, 2280 secs || 46543310 markings, 53423358 edges, 13069 markings/sec, 2280 secs
lola: 1017 tries, 1016785293 fired transitions, 2285 secs || 46608128 markings, 53499732 edges, 12964 markings/sec, 2285 secs
lola: 1019 tries, 1018193001 fired transitions, 2290 secs || 46672986 markings, 53576116 edges, 12972 markings/sec, 2290 secs
lola: 1020 tries, 1019595272 fired transitions, 2295 secs || 46738457 markings, 53653241 edges, 13094 markings/sec, 2295 secs
lola: 1022 tries, 1021303095 fired transitions, 2300 secs || 46821191 markings, 53748072 edges, 16547 markings/sec, 2300 secs
lola: 1024 tries, 1023219634 fired transitions, 2305 secs || 46912478 markings, 53851969 edges, 18257 markings/sec, 2305 secs
lola: 1026 tries, 1025166752 fired transitions, 2310 secs || 47006148 markings, 53959928 edges, 18734 markings/sec, 2310 secs
lola: 1028 tries, 1027078921 fired transitions, 2315 secs || 47097266 markings, 54063449 edges, 18224 markings/sec, 2315 secs
lola: 1029 tries, 1028972072 fired transitions, 2320 secs || 47188401 markings, 54166949 edges, 18227 markings/sec, 2320 secs
lola: 1031 tries, 1030889226 fired transitions, 2325 secs || 47283682 markings, 54275334 edges, 19056 markings/sec, 2325 secs
lola: 1033 tries, 1032789619 fired transitions, 2330 secs || 47377647 markings, 54382190 edges, 18793 markings/sec, 2330 secs
lola: 1035 tries, 1034919534 fired transitions, 2335 secs || 47478294 markings, 54497681 edges, 20129 markings/sec, 2335 secs
lola: 1038 tries, 1037477368 fired transitions, 2340 secs || 47592899 markings, 54629147 edges, 22921 markings/sec, 2340 secs
lola: 1041 tries, 1040037962 fired transitions, 2345 secs || 47707880 markings, 54761375 edges, 22996 markings/sec, 2345 secs
lola: 1043 tries, 1042590957 fired transitions, 2350 secs || 47822452 markings, 54893285 edges, 22914 markings/sec, 2350 secs
lola: 1046 tries, 1045152655 fired transitions, 2355 secs || 47937053 markings, 55025383 edges, 22920 markings/sec, 2355 secs
lola: 1048 tries, 1047721346 fired transitions, 2360 secs || 48053798 markings, 55160981 edges, 23349 markings/sec, 2360 secs
lola: 1051 tries, 1050283471 fired transitions, 2365 secs || 48168645 markings, 55293462 edges, 22969 markings/sec, 2365 secs
lola: 1053 tries, 1052850036 fired transitions, 2370 secs || 48284926 markings, 55428035 edges, 23256 markings/sec, 2370 secs
lola: 1056 tries, 1055404767 fired transitions, 2375 secs || 48399898 markings, 55558998 edges, 22994 markings/sec, 2375 secs
lola: 1058 tries, 1057963442 fired transitions, 2380 secs || 48515827 markings, 55691902 edges, 23186 markings/sec, 2380 secs
lola: 1061 tries, 1060439866 fired transitions, 2385 secs || 48625359 markings, 55817198 edges, 21906 markings/sec, 2385 secs
lola: 1063 tries, 1062999140 fired transitions, 2390 secs || 48739691 markings, 55949100 edges, 22866 markings/sec, 2390 secs
lola: 1066 tries, 1065554519 fired transitions, 2395 secs || 48854384 markings, 56080223 edges, 22939 markings/sec, 2395 secs
lola: 1068 tries, 1067965856 fired transitions, 2400 secs || 48965710 markings, 56208790 edges, 22265 markings/sec, 2400 secs
lola: 1070 tries, 1069890770 fired transitions, 2405 secs || 49061150 markings, 56319385 edges, 19088 markings/sec, 2405 secs
lola: 1072 tries, 1071772111 fired transitions, 2410 secs || 49154677 markings, 56426239 edges, 18705 markings/sec, 2410 secs
lola: 1074 tries, 1073665697 fired transitions, 2415 secs || 49248305 markings, 56533984 edges, 18726 markings/sec, 2415 secs
lola: 1076 tries, 1075531199 fired transitions, 2420 secs || 49340766 markings, 56639493 edges, 18492 markings/sec, 2420 secs
lola: 1078 tries, 1077989471 fired transitions, 2425 secs || 49452492 markings, 56767554 edges, 22345 markings/sec, 2425 secs
lola: 1081 tries, 1080553989 fired transitions, 2430 secs || 49568044 markings, 56900912 edges, 23110 markings/sec, 2430 secs
lola: 1084 tries, 1083120730 fired transitions, 2435 secs || 49685999 markings, 57037587 edges, 23591 markings/sec, 2435 secs
lola: 1086 tries, 1085682861 fired transitions, 2440 secs || 49802579 markings, 57171990 edges, 23316 markings/sec, 2440 secs
lola: 1089 tries, 1088243459 fired transitions, 2445 secs || 49914857 markings, 57300735 edges, 22456 markings/sec, 2445 secs
lola: 1091 tries, 1090804050 fired transitions, 2450 secs || 50028325 markings, 57431230 edges, 22694 markings/sec, 2450 secs
lola: 1094 tries, 1093361346 fired transitions, 2455 secs || 50142766 markings, 57562409 edges, 22888 markings/sec, 2455 secs
lola: 1096 tries, 1095915553 fired transitions, 2460 secs || 50258235 markings, 57694837 edges, 23094 markings/sec, 2460 secs
lola: 1099 tries, 1098460776 fired transitions, 2465 secs || 50371291 markings, 57823909 edges, 22611 markings/sec, 2465 secs
lola: 1102 tries, 1101013380 fired transitions, 2470 secs || 50487129 markings, 57955627 edges, 23168 markings/sec, 2470 secs
lola: 1104 tries, 1103567024 fired transitions, 2475 secs || 50601672 markings, 58086946 edges, 22909 markings/sec, 2475 secs
lola: 1107 tries, 1106126062 fired transitions, 2480 secs || 50716422 markings, 58218985 edges, 22950 markings/sec, 2480 secs
lola: 1109 tries, 1108689117 fired transitions, 2485 secs || 50832264 markings, 58352726 edges, 23168 markings/sec, 2485 secs
lola: 1112 tries, 1111247138 fired transitions, 2490 secs || 50947646 markings, 58485368 edges, 23076 markings/sec, 2490 secs
lola: 1114 tries, 1113806666 fired transitions, 2495 secs || 51063616 markings, 58618950 edges, 23194 markings/sec, 2495 secs
lola: 1117 tries, 1116272468 fired transitions, 2500 secs || 51177422 markings, 58751616 edges, 22761 markings/sec, 2500 secs
lola: 1119 tries, 1118829411 fired transitions, 2505 secs || 51293494 markings, 58885454 edges, 23214 markings/sec, 2505 secs
lola: 1122 tries, 1121381646 fired transitions, 2510 secs || 51407995 markings, 59016768 edges, 22900 markings/sec, 2510 secs
lola: 1124 tries, 1123934848 fired transitions, 2515 secs || 51522897 markings, 59148574 edges, 22980 markings/sec, 2515 secs
lola: 1127 tries, 1126486538 fired transitions, 2520 secs || 51636900 markings, 59278789 edges, 22801 markings/sec, 2520 secs
lola: 1130 tries, 1129035249 fired transitions, 2525 secs || 51752143 markings, 59409834 edges, 23049 markings/sec, 2525 secs
lola: 1132 tries, 1131592342 fired transitions, 2530 secs || 51866841 markings, 59541181 edges, 22940 markings/sec, 2530 secs
lola: 1135 tries, 1134151406 fired transitions, 2535 secs || 51982258 markings, 59673567 edges, 23083 markings/sec, 2535 secs
lola: 1137 tries, 1136708914 fired transitions, 2540 secs || 52098118 markings, 59806555 edges, 23172 markings/sec, 2540 secs
lola: 1140 tries, 1139274675 fired transitions, 2545 secs || 52212812 markings, 59939030 edges, 22939 markings/sec, 2545 secs
lola: 1142 tries, 1141842700 fired transitions, 2550 secs || 52328320 markings, 60073839 edges, 23102 markings/sec, 2550 secs
lola: 1145 tries, 1144393087 fired transitions, 2555 secs || 52442802 markings, 60204511 edges, 22896 markings/sec, 2555 secs
lola: 1147 tries, 1146950560 fired transitions, 2560 secs || 52557068 markings, 60336520 edges, 22853 markings/sec, 2560 secs
lola: 1150 tries, 1149506227 fired transitions, 2565 secs || 52671973 markings, 60468281 edges, 22981 markings/sec, 2565 secs
lola: 1153 tries, 1152068438 fired transitions, 2570 secs || 52787705 markings, 60601640 edges, 23146 markings/sec, 2570 secs
lola: 1155 tries, 1154618057 fired transitions, 2575 secs || 52901826 markings, 60732438 edges, 22824 markings/sec, 2575 secs
lola: 1158 tries, 1157169717 fired transitions, 2580 secs || 53015591 markings, 60862533 edges, 22753 markings/sec, 2580 secs
lola: 1160 tries, 1159691473 fired transitions, 2585 secs || 53128934 markings, 60992953 edges, 22669 markings/sec, 2585 secs
lola: 1163 tries, 1162252652 fired transitions, 2590 secs || 53244591 markings, 61126611 edges, 23131 markings/sec, 2590 secs
lola: 1165 tries, 1164813934 fired transitions, 2595 secs || 53359775 markings, 61258947 edges, 23037 markings/sec, 2595 secs
lola: 1168 tries, 1167370450 fired transitions, 2600 secs || 53474878 markings, 61390990 edges, 23021 markings/sec, 2600 secs
lola: 1170 tries, 1169909953 fired transitions, 2605 secs || 53589436 markings, 61522953 edges, 22912 markings/sec, 2605 secs
lola: 1173 tries, 1172460449 fired transitions, 2610 secs || 53704739 markings, 61654577 edges, 23061 markings/sec, 2610 secs
lola: 1176 tries, 1175005441 fired transitions, 2615 secs || 53819036 markings, 61784377 edges, 22859 markings/sec, 2615 secs
lola: 1178 tries, 1177553469 fired transitions, 2620 secs || 53934648 markings, 61917012 edges, 23122 markings/sec, 2620 secs
lola: 1181 tries, 1180105556 fired transitions, 2625 secs || 54049990 markings, 62049253 edges, 23068 markings/sec, 2625 secs
lola: 1183 tries, 1182654384 fired transitions, 2630 secs || 54164830 markings, 62180337 edges, 22968 markings/sec, 2630 secs
lola: 1186 tries, 1185191042 fired transitions, 2635 secs || 54277935 markings, 62311118 edges, 22621 markings/sec, 2635 secs
lola: 1188 tries, 1187753922 fired transitions, 2640 secs || 54391103 markings, 62441860 edges, 22634 markings/sec, 2640 secs
lola: 1191 tries, 1190290280 fired transitions, 2645 secs || 54503138 markings, 62569869 edges, 22407 markings/sec, 2645 secs
lola: 1193 tries, 1192833961 fired transitions, 2650 secs || 54617772 markings, 62701513 edges, 22927 markings/sec, 2650 secs
lola: 1196 tries, 1195389339 fired transitions, 2655 secs || 54731039 markings, 62831798 edges, 22653 markings/sec, 2655 secs
lola: 1198 tries, 1197922978 fired transitions, 2660 secs || 54843303 markings, 62960001 edges, 22453 markings/sec, 2660 secs
lola: 1201 tries, 1200487948 fired transitions, 2665 secs || 54956411 markings, 63089939 edges, 22622 markings/sec, 2665 secs
lola: 1204 tries, 1203033514 fired transitions, 2670 secs || 55068180 markings, 63218398 edges, 22354 markings/sec, 2670 secs
lola: 1206 tries, 1205591782 fired transitions, 2675 secs || 55179539 markings, 63346695 edges, 22272 markings/sec, 2675 secs
lola: 1209 tries, 1208117096 fired transitions, 2680 secs || 55294440 markings, 63479683 edges, 22980 markings/sec, 2680 secs
lola: 1211 tries, 1210666691 fired transitions, 2685 secs || 55409705 markings, 63613203 edges, 23053 markings/sec, 2685 secs
lola: 1214 tries, 1213203746 fired transitions, 2690 secs || 55522772 markings, 63742961 edges, 22613 markings/sec, 2690 secs
lola: 1216 tries, 1215749542 fired transitions, 2695 secs || 55637534 markings, 63875391 edges, 22952 markings/sec, 2695 secs
lola: 1219 tries, 1218299050 fired transitions, 2700 secs || 55749301 markings, 64003757 edges, 22353 markings/sec, 2700 secs
lola: 1221 tries, 1220846362 fired transitions, 2705 secs || 55862179 markings, 64133883 edges, 22576 markings/sec, 2705 secs
lola: 1224 tries, 1223390370 fired transitions, 2710 secs || 55972254 markings, 64261473 edges, 22015 markings/sec, 2710 secs
lola: 1226 tries, 1225945579 fired transitions, 2715 secs || 56086155 markings, 64394757 edges, 22780 markings/sec, 2715 secs
lola: 1229 tries, 1228502254 fired transitions, 2720 secs || 56199821 markings, 64525990 edges, 22733 markings/sec, 2720 secs
lola: 1232 tries, 1231048985 fired transitions, 2725 secs || 56312833 markings, 64654583 edges, 22602 markings/sec, 2725 secs
lola: 1234 tries, 1233600413 fired transitions, 2730 secs || 56427407 markings, 64786996 edges, 22915 markings/sec, 2730 secs
lola: 1237 tries, 1236170088 fired transitions, 2735 secs || 56542783 markings, 64920797 edges, 23075 markings/sec, 2735 secs
lola: 1239 tries, 1238734252 fired transitions, 2740 secs || 56657950 markings, 65054505 edges, 23033 markings/sec, 2740 secs
lola: 1241 tries, 1240875019 fired transitions, 2745 secs || 56754323 markings, 65168044 edges, 19275 markings/sec, 2745 secs
lola: 1243 tries, 1242809393 fired transitions, 2750 secs || 56841869 markings, 65269433 edges, 17509 markings/sec, 2750 secs
lola: 1246 tries, 1245112247 fired transitions, 2755 secs || 56947621 markings, 65391040 edges, 21150 markings/sec, 2755 secs
lola: 1248 tries, 1247033546 fired transitions, 2760 secs || 57042096 markings, 65498799 edges, 18895 markings/sec, 2760 secs
lola: 1249 tries, 1248949010 fired transitions, 2765 secs || 57133983 markings, 65603478 edges, 18377 markings/sec, 2765 secs
lola: 1251 tries, 1250880571 fired transitions, 2770 secs || 57227982 markings, 65711478 edges, 18800 markings/sec, 2770 secs
lola: 1253 tries, 1252822625 fired transitions, 2775 secs || 57322094 markings, 65819727 edges, 18822 markings/sec, 2775 secs
lola: 1255 tries, 1254800135 fired transitions, 2780 secs || 57406744 markings, 65916395 edges, 16930 markings/sec, 2780 secs
lola: 1256 tries, 1255797481 fired transitions, 2785 secs || 57434525 markings, 65948103 edges, 5556 markings/sec, 2785 secs
lola: 1257 tries, 1256619947 fired transitions, 2790 secs || 57462402 markings, 65979958 edges, 5575 markings/sec, 2790 secs
lola: 1258 tries, 1257256227 fired transitions, 2795 secs || 57485520 markings, 66006404 edges, 4624 markings/sec, 2795 secs
lola: 1258 tries, 1257892703 fired transitions, 2800 secs || 57488533 markings, 66009905 edges, 603 markings/sec, 2800 secs
lola: 1259 tries, 1258297350 fired transitions, 2805 secs || 57488561 markings, 66009938 edges, 6 markings/sec, 2805 secs
Killed
rslt: finished

BK_STOP 1552445467159

--------------------
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="DLCflexbar-PT-2b"
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 DLCflexbar-PT-2b, 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-155234404700192"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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