Execution Chart

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

Trace from the execution

Formatting '/local/x2003239/mcc2019-input.r082-csrt-155246549500471.qcow2', fmt=qcow2 size=4294967296 backing_file=/local/x2003239/mcc2019-input.qcow2 encryption=off 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 GlobalResAllocation-COL-05, examination is GlobalProperties
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r082-csrt-155246549500471
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 196K
-rw-r--r-- 1 mcc users 4.3K Feb 11 01:38 CTLCardinality.txt
-rw-r--r-- 1 mcc users 23K Feb 11 01:37 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.8K Feb 7 01:23 CTLFireability.txt
-rw-r--r-- 1 mcc users 18K Feb 7 01:22 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 10 17:31 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 113 Feb 24 15:05 GlobalProperties.txt
-rw-r--r-- 1 mcc users 351 Feb 24 15:05 GlobalProperties.xml
-rw-r--r-- 1 mcc users 2.5K Feb 4 23:55 LTLCardinality.txt
-rw-r--r-- 1 mcc users 9.7K Feb 4 23:55 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.1K Feb 4 22:36 LTLFireability.txt
-rw-r--r-- 1 mcc users 9.1K Feb 4 22:35 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.8K Feb 3 08:49 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 17K Feb 3 08:48 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 3.2K Jan 31 03:01 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 19K Jan 31 03:00 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.9K Feb 4 22:21 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.9K Feb 4 22:20 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Jan 29 09:34 equiv_pt
-rw-r--r-- 1 mcc users 3 Jan 29 09:34 instance
-rw-r--r-- 1 mcc users 5 Jan 29 09:34 iscolored
-rw-r--r-- 1 mcc users 28K 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 GlobalResAllocation-COL-05-GlobalProperties-0

=== Now, execution of the tool begins

BK_START 1552666119470

info: Time: 3600 - MCC
vrfy: Checking GlobalProperties @ GlobalResAllocation-COL-05 @ 3570 seconds
vrfy: finished
info: timeLeft: 0
rslt: Output for GlobalProperties @ GlobalResAllocation-COL-05

{
"build":
{
"architecture": 64,
"assertions": false,
"build_hostname": "mcc2019",
"build_system": "x86_64-unknown-linux-gnu",
"optimizations": true,
"package_version": "2.0",
"svn_version": "3189M"
},
"call":
{
"exec_host": "mcc2019",
"markinglimit": null,
"parameters":
[
"--pnmlnet",
"model.pnml",
"--xmlformula",
"--formula=GlobalProperties.xml",
"--mcc",
"--donotcomputecapacities",
"--encoder=simplecompressed",
"--check=modelchecking",
"--stubborn=combined",
"--siphontrap=par",
"--siphondepth=10",
"--findpath=par",
"--retrylimit=0",
"--depthlimit=1000000",
"--symmetry",
"--symmtimelimit=300",
"--threads=2",
"--symmetrydepth=1073741824",
"--timelimit=3570",
"--json=GlobalProperties.json",
"--jsoninclude=formula,formulastat,net"
],
"starttime": "Fri Mar 15 16:08:39 2019
",
"timelimit": 3570
},
"child": null,
"exit":
{
"error": null,
"memory": 895912,
"runtime": 3570.000000,
"signal": null,
"timelimitreached": true
},
"files":
{
"formula": "GlobalProperties.xml",
"net": "model.pnml"
},
"formula":
{
"count":
{
"A": 0,
"E": 1,
"F": 1,
"G": 0,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 0,
"cont": 0,
"dl": 1,
"fir": 0,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 0,
"visible_transitions": 0
},
"processed": "E (F (DEADLOCK))",
"processed_size": 16,
"rewrites": 1,
"skeleton": "E(F(**))"
},
"net":
{
"arcs": 492760,
"conflict_clusters": 11,
"places": 75,
"places_significant": 55,
"singleton_clusters": 0,
"transitions": 56105
},
"task":
{
"findpath":
{
"depthlimit": 1000000,
"retrylimit": null,
"stubborn":
{
"type": "reachability preserving/insertion"
},
"threads": 2
},
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "reachability preserving/insertion"
},
"symmetry":
{
"card": 1.000000,
"composed": 0,
"dead_branches": 0,
"generators": 0,
"interrupted": false,
"real_computed": 0,
"timelimit": 300
},
"threads": 2,
"type": "dfs"
},
"type": "reachability",
"workflow": "findpath||search"
}
}
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 High-Level net
lola: Places: 75, Transitions: 56105
lola: @ trans enter3
lola: @ trans enter2
lola: @ trans release1
lola: @ trans enter1
lola: @ trans exit
lola: @ trans enter4
lola: @ trans release2
lola: finished unfolding
lola: finished parsing
lola: closed net file model.pnml
lola: 56180/268435456 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 2400
lola: finding significant places
lola: 75 places, 56105 transitions, 55 significant places
lola: compute conflict clusters
lola: computed conflict clusters
lola: Computing conflicting sets
lola: Computing back conflicting sets
lola: TASK
lola: Reading formula in XML format (--xmlformula)
lola: reading pnml
lola: reading formula from GlobalProperties.xml
lola: E (F (DEADLOCK))
lola: checking reachability
lola: Planning: workflow for reachability check: findpath||search (--findpath=par)
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: processed formula: E (F (DEADLOCK))
lola: processed formula length: 16
lola: 1 rewrites
lola: closed formula file GlobalProperties.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: SEARCH (findpath)
lola: findpath: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: findpath: starting randomized, memory-less exploration (--findpath)
lola: findpath: searching for paths with maximal depth 1000000 (--depthlimit)
lola: findpath: no retry limit given (--retrylimit)
lola: findpath: transitions are chosen hash-driven
lola: computing symmetries (--symmetry)
lola: time limit for symmetry computation of 300 seconds given (--symmtimelimit)
lola: computed 0 generators (0 in search tree, 0 by composition)
lola: representing 1 symmetries
lola: 0 dead branches visited in search tree
lola: 1 tries, 6 fired transitions, 0 secs || 6 markings, 5 edges, 1 markings/sec, 0 secs
lola: 1 tries, 12 fired transitions, 5 secs || 1074 markings, 2766 edges, 214 markings/sec, 5 secs
lola: 1 tries, 18 fired transitions, 10 secs || 2354 markings, 5891 edges, 256 markings/sec, 10 secs
lola: 1 tries, 24 fired transitions, 15 secs || 3795 markings, 10738 edges, 288 markings/sec, 15 secs
lola: 1 tries, 36 fired transitions, 20 secs || 4942 markings, 14197 edges, 229 markings/sec, 20 secs
lola: 1 tries, 42 fired transitions, 25 secs || 6015 markings, 17047 edges, 215 markings/sec, 25 secs
lola: 1 tries, 48 fired transitions, 30 secs || 7468 markings, 22412 edges, 291 markings/sec, 30 secs
lola: 1 tries, 54 fired transitions, 35 secs || 8956 markings, 26739 edges, 298 markings/sec, 35 secs
lola: 1 tries, 66 fired transitions, 40 secs || 10077 markings, 29507 edges, 224 markings/sec, 40 secs
lola: 1 tries, 72 fired transitions, 45 secs || 11117 markings, 32101 edges, 208 markings/sec, 45 secs
lola: 1 tries, 78 fired transitions, 50 secs || 12315 markings, 34660 edges, 240 markings/sec, 50 secs
lola: 1 tries, 84 fired transitions, 55 secs || 13785 markings, 40067 edges, 294 markings/sec, 55 secs
lola: 1 tries, 96 fired transitions, 60 secs || 15052 markings, 43022 edges, 253 markings/sec, 60 secs
lola: 1 tries, 102 fired transitions, 65 secs || 15974 markings, 46372 edges, 184 markings/sec, 65 secs
lola: 1 tries, 108 fired transitions, 70 secs || 17016 markings, 48899 edges, 208 markings/sec, 70 secs
lola: 1 tries, 114 fired transitions, 75 secs || 18578 markings, 53068 edges, 312 markings/sec, 75 secs
lola: 1 tries, 126 fired transitions, 80 secs || 19811 markings, 56465 edges, 247 markings/sec, 80 secs
lola: 1 tries, 132 fired transitions, 85 secs || 20871 markings, 59298 edges, 212 markings/sec, 85 secs
lola: 1 tries, 138 fired transitions, 90 secs || 22298 markings, 63040 edges, 285 markings/sec, 90 secs
lola: 1 tries, 144 fired transitions, 95 secs || 23749 markings, 67778 edges, 290 markings/sec, 95 secs
lola: 1 tries, 156 fired transitions, 100 secs || 24896 markings, 73353 edges, 229 markings/sec, 100 secs
lola: 1 tries, 162 fired transitions, 105 secs || 25945 markings, 75392 edges, 210 markings/sec, 105 secs
lola: 1 tries, 168 fired transitions, 110 secs || 27364 markings, 79042 edges, 284 markings/sec, 110 secs
lola: 1 tries, 180 fired transitions, 115 secs || 28909 markings, 82599 edges, 309 markings/sec, 115 secs
lola: 1 tries, 186 fired transitions, 120 secs || 29973 markings, 85561 edges, 213 markings/sec, 120 secs
lola: 1 tries, 192 fired transitions, 125 secs || 31204 markings, 88536 edges, 246 markings/sec, 125 secs
lola: 1 tries, 198 fired transitions, 130 secs || 32627 markings, 92593 edges, 285 markings/sec, 130 secs
lola: 1 tries, 210 fired transitions, 135 secs || 33821 markings, 95977 edges, 239 markings/sec, 135 secs
lola: 1 tries, 216 fired transitions, 140 secs || 34816 markings, 98307 edges, 199 markings/sec, 140 secs
lola: 1 tries, 222 fired transitions, 145 secs || 36169 markings, 105718 edges, 271 markings/sec, 145 secs
lola: 1 tries, 232 fired transitions, 150 secs || 37623 markings, 110409 edges, 291 markings/sec, 150 secs
lola: 1 tries, 240 fired transitions, 155 secs || 38662 markings, 113100 edges, 208 markings/sec, 155 secs
lola: 1 tries, 246 fired transitions, 160 secs || 39787 markings, 116004 edges, 225 markings/sec, 160 secs
lola: 1 tries, 252 fired transitions, 165 secs || 41327 markings, 120260 edges, 308 markings/sec, 165 secs
lola: 1 tries, 264 fired transitions, 170 secs || 42657 markings, 125190 edges, 266 markings/sec, 170 secs
lola: 1 tries, 270 fired transitions, 175 secs || 43694 markings, 127911 edges, 207 markings/sec, 175 secs
lola: 1 tries, 276 fired transitions, 180 secs || 44970 markings, 131043 edges, 255 markings/sec, 180 secs
lola: 1 tries, 282 fired transitions, 185 secs || 46476 markings, 136471 edges, 301 markings/sec, 185 secs
lola: 1 tries, 294 fired transitions, 190 secs || 47702 markings, 139303 edges, 245 markings/sec, 190 secs
lola: 1 tries, 300 fired transitions, 195 secs || 48744 markings, 141868 edges, 208 markings/sec, 195 secs
lola: 1 tries, 306 fired transitions, 200 secs || 50122 markings, 145734 edges, 276 markings/sec, 200 secs
lola: 1 tries, 318 fired transitions, 205 secs || 51659 markings, 149940 edges, 307 markings/sec, 205 secs
lola: 1 tries, 324 fired transitions, 210 secs || 52687 markings, 152959 edges, 206 markings/sec, 210 secs
lola: 1 tries, 330 fired transitions, 215 secs || 53733 markings, 156895 edges, 209 markings/sec, 215 secs
lola: 1 tries, 336 fired transitions, 220 secs || 55253 markings, 161587 edges, 304 markings/sec, 220 secs
lola: 1 tries, 348 fired transitions, 225 secs || 56589 markings, 166006 edges, 267 markings/sec, 225 secs
lola: 1 tries, 354 fired transitions, 230 secs || 57616 markings, 169692 edges, 205 markings/sec, 230 secs
lola: 1 tries, 360 fired transitions, 235 secs || 58918 markings, 172739 edges, 260 markings/sec, 235 secs
lola: 1 tries, 366 fired transitions, 240 secs || 60467 markings, 177803 edges, 310 markings/sec, 240 secs
lola: 1 tries, 378 fired transitions, 245 secs || 61604 markings, 180931 edges, 227 markings/sec, 245 secs
lola: 1 tries, 384 fired transitions, 250 secs || 62622 markings, 183625 edges, 204 markings/sec, 250 secs
lola: 1 tries, 390 fired transitions, 255 secs || 64098 markings, 188125 edges, 295 markings/sec, 255 secs
lola: 1 tries, 402 fired transitions, 260 secs || 65478 markings, 193500 edges, 276 markings/sec, 260 secs
lola: 1 tries, 408 fired transitions, 265 secs || 66518 markings, 195966 edges, 208 markings/sec, 265 secs
lola: 1 tries, 414 fired transitions, 270 secs || 67725 markings, 199107 edges, 241 markings/sec, 270 secs
lola: 1 tries, 420 fired transitions, 275 secs || 69184 markings, 204503 edges, 292 markings/sec, 275 secs
lola: 1 tries, 432 fired transitions, 280 secs || 70370 markings, 208058 edges, 237 markings/sec, 280 secs
lola: 1 tries, 438 fired transitions, 285 secs || 71311 markings, 211416 edges, 188 markings/sec, 285 secs
lola: 1 tries, 444 fired transitions, 290 secs || 72799 markings, 216416 edges, 298 markings/sec, 290 secs
lola: 1 tries, 456 fired transitions, 295 secs || 74184 markings, 220778 edges, 277 markings/sec, 295 secs
lola: 1 tries, 462 fired transitions, 300 secs || 75136 markings, 222908 edges, 190 markings/sec, 300 secs
lola: 1 tries, 468 fired transitions, 305 secs || 76320 markings, 227150 edges, 237 markings/sec, 305 secs
lola: 1 tries, 474 fired transitions, 310 secs || 77726 markings, 233883 edges, 281 markings/sec, 310 secs
lola: 1 tries, 486 fired transitions, 315 secs || 79019 markings, 238878 edges, 259 markings/sec, 315 secs
lola: 1 tries, 492 fired transitions, 320 secs || 79978 markings, 241138 edges, 192 markings/sec, 320 secs
lola: 1 tries, 498 fired transitions, 325 secs || 81251 markings, 244503 edges, 255 markings/sec, 325 secs
lola: 1 tries, 504 fired transitions, 330 secs || 82675 markings, 249387 edges, 285 markings/sec, 330 secs
lola: 1 tries, 516 fired transitions, 335 secs || 83812 markings, 253492 edges, 227 markings/sec, 335 secs
lola: 1 tries, 522 fired transitions, 340 secs || 84876 markings, 257044 edges, 213 markings/sec, 340 secs
lola: 1 tries, 528 fired transitions, 345 secs || 86371 markings, 262302 edges, 299 markings/sec, 345 secs
lola: 1 tries, 540 fired transitions, 350 secs || 87842 markings, 266835 edges, 294 markings/sec, 350 secs
lola: 1 tries, 546 fired transitions, 355 secs || 88828 markings, 269264 edges, 197 markings/sec, 355 secs
lola: 1 tries, 552 fired transitions, 360 secs || 90021 markings, 272289 edges, 239 markings/sec, 360 secs
lola: 1 tries, 558 fired transitions, 365 secs || 91485 markings, 276632 edges, 293 markings/sec, 365 secs
lola: 1 tries, 570 fired transitions, 370 secs || 92778 markings, 280039 edges, 259 markings/sec, 370 secs
lola: 1 tries, 576 fired transitions, 375 secs || 93813 markings, 282757 edges, 207 markings/sec, 375 secs
lola: 1 tries, 582 fired transitions, 380 secs || 95050 markings, 286774 edges, 247 markings/sec, 380 secs
lola: 1 tries, 588 fired transitions, 385 secs || 96570 markings, 291334 edges, 304 markings/sec, 385 secs
lola: 1 tries, 600 fired transitions, 390 secs || 97659 markings, 294320 edges, 218 markings/sec, 390 secs
lola: 1 tries, 606 fired transitions, 395 secs || 98726 markings, 297441 edges, 213 markings/sec, 395 secs
lola: 1 tries, 612 fired transitions, 400 secs || 100213 markings, 301364 edges, 297 markings/sec, 400 secs
lola: 1 tries, 624 fired transitions, 405 secs || 101657 markings, 305764 edges, 289 markings/sec, 405 secs
lola: 1 tries, 630 fired transitions, 410 secs || 102590 markings, 309275 edges, 187 markings/sec, 410 secs
lola: 1 tries, 636 fired transitions, 415 secs || 104012 markings, 313944 edges, 284 markings/sec, 415 secs
lola: 1 tries, 642 fired transitions, 420 secs || 105676 markings, 318785 edges, 333 markings/sec, 420 secs
lola: 1 tries, 654 fired transitions, 425 secs || 106724 markings, 321529 edges, 210 markings/sec, 425 secs
lola: 1 tries, 660 fired transitions, 430 secs || 107947 markings, 326208 edges, 245 markings/sec, 430 secs
lola: 1 tries, 666 fired transitions, 435 secs || 109507 markings, 332217 edges, 312 markings/sec, 435 secs
lola: 1 tries, 678 fired transitions, 440 secs || 110681 markings, 335912 edges, 235 markings/sec, 440 secs
lola: 1 tries, 684 fired transitions, 445 secs || 111817 markings, 338354 edges, 227 markings/sec, 445 secs
lola: 1 tries, 690 fired transitions, 450 secs || 113364 markings, 345565 edges, 309 markings/sec, 450 secs
lola: 1 tries, 702 fired transitions, 455 secs || 114596 markings, 349515 edges, 246 markings/sec, 455 secs
lola: 1 tries, 708 fired transitions, 460 secs || 115598 markings, 352628 edges, 200 markings/sec, 460 secs
lola: 1 tries, 714 fired transitions, 465 secs || 117163 markings, 358086 edges, 313 markings/sec, 465 secs
lola: 1 tries, 726 fired transitions, 470 secs || 118342 markings, 362521 edges, 236 markings/sec, 470 secs
lola: 1 tries, 732 fired transitions, 475 secs || 119413 markings, 365385 edges, 214 markings/sec, 475 secs
lola: 1 tries, 738 fired transitions, 480 secs || 120939 markings, 369984 edges, 305 markings/sec, 480 secs
lola: 1 tries, 750 fired transitions, 485 secs || 122271 markings, 377671 edges, 266 markings/sec, 485 secs
lola: 1 tries, 756 fired transitions, 490 secs || 123263 markings, 380233 edges, 198 markings/sec, 490 secs
lola: 1 tries, 762 fired transitions, 495 secs || 124560 markings, 386903 edges, 259 markings/sec, 495 secs
lola: 1 tries, 768 fired transitions, 500 secs || 126105 markings, 393703 edges, 309 markings/sec, 500 secs
lola: 1 tries, 780 fired transitions, 505 secs || 127174 markings, 399103 edges, 214 markings/sec, 505 secs
lola: 1 tries, 786 fired transitions, 510 secs || 128413 markings, 403950 edges, 248 markings/sec, 510 secs
lola: 1 tries, 798 fired transitions, 515 secs || 129951 markings, 408795 edges, 308 markings/sec, 515 secs
lola: 1 tries, 804 fired transitions, 520 secs || 130940 markings, 412168 edges, 198 markings/sec, 520 secs
lola: 1 tries, 810 fired transitions, 525 secs || 132428 markings, 416483 edges, 298 markings/sec, 525 secs
lola: 1 tries, 822 fired transitions, 530 secs || 133816 markings, 419827 edges, 278 markings/sec, 530 secs
lola: 1 tries, 828 fired transitions, 535 secs || 134921 markings, 423050 edges, 221 markings/sec, 535 secs
lola: 1 tries, 834 fired transitions, 540 secs || 136114 markings, 427113 edges, 239 markings/sec, 540 secs
lola: 1 tries, 840 fired transitions, 545 secs || 137670 markings, 432473 edges, 311 markings/sec, 545 secs
lola: 1 tries, 852 fired transitions, 550 secs || 138781 markings, 435159 edges, 222 markings/sec, 550 secs
lola: 1 tries, 858 fired transitions, 555 secs || 139903 markings, 438855 edges, 224 markings/sec, 555 secs
lola: 1 tries, 864 fired transitions, 560 secs || 141482 markings, 445309 edges, 316 markings/sec, 560 secs
lola: 1 tries, 876 fired transitions, 565 secs || 142756 markings, 449422 edges, 255 markings/sec, 565 secs
lola: 1 tries, 882 fired transitions, 570 secs || 143780 markings, 452230 edges, 205 markings/sec, 570 secs
lola: 1 tries, 888 fired transitions, 575 secs || 145032 markings, 455707 edges, 250 markings/sec, 575 secs
lola: 1 tries, 894 fired transitions, 580 secs || 146510 markings, 460651 edges, 296 markings/sec, 580 secs
lola: 1 tries, 906 fired transitions, 585 secs || 147770 markings, 464999 edges, 252 markings/sec, 585 secs
lola: 1 tries, 912 fired transitions, 590 secs || 148938 markings, 467283 edges, 234 markings/sec, 590 secs
lola: 1 tries, 918 fired transitions, 595 secs || 150620 markings, 473626 edges, 336 markings/sec, 595 secs
lola: 1 tries, 930 fired transitions, 600 secs || 151998 markings, 479052 edges, 276 markings/sec, 600 secs
lola: 1 tries, 936 fired transitions, 605 secs || 153071 markings, 482410 edges, 215 markings/sec, 605 secs
lola: 1 tries, 942 fired transitions, 610 secs || 154543 markings, 487522 edges, 294 markings/sec, 610 secs
lola: 1 tries, 948 fired transitions, 615 secs || 155978 markings, 493419 edges, 287 markings/sec, 615 secs
lola: 1 tries, 960 fired transitions, 620 secs || 157125 markings, 498333 edges, 229 markings/sec, 620 secs
lola: 1 tries, 966 fired transitions, 625 secs || 158205 markings, 503737 edges, 216 markings/sec, 625 secs
lola: 1 tries, 972 fired transitions, 630 secs || 159387 markings, 507645 edges, 236 markings/sec, 630 secs
lola: 1 tries, 978 fired transitions, 635 secs || 160864 markings, 512632 edges, 295 markings/sec, 635 secs
lola: 1 tries, 990 fired transitions, 640 secs || 162102 markings, 515659 edges, 248 markings/sec, 640 secs
lola: 1 tries, 996 fired transitions, 645 secs || 163218 markings, 518905 edges, 223 markings/sec, 645 secs
lola: 1 tries, 1002 fired transitions, 650 secs || 164592 markings, 524676 edges, 275 markings/sec, 650 secs
lola: 1 tries, 1008 fired transitions, 655 secs || 165981 markings, 533393 edges, 278 markings/sec, 655 secs
lola: 1 tries, 1020 fired transitions, 660 secs || 167186 markings, 537206 edges, 241 markings/sec, 660 secs
lola: 1 tries, 1026 fired transitions, 665 secs || 168154 markings, 539061 edges, 194 markings/sec, 665 secs
lola: 1 tries, 1032 fired transitions, 670 secs || 169686 markings, 543489 edges, 306 markings/sec, 670 secs
lola: 1 tries, 1044 fired transitions, 675 secs || 171236 markings, 548392 edges, 310 markings/sec, 675 secs
lola: 1 tries, 1050 fired transitions, 680 secs || 172296 markings, 551901 edges, 212 markings/sec, 680 secs
lola: 1 tries, 1056 fired transitions, 685 secs || 173540 markings, 555668 edges, 249 markings/sec, 685 secs
lola: 1 tries, 1062 fired transitions, 690 secs || 175131 markings, 560399 edges, 318 markings/sec, 690 secs
lola: 1 tries, 1074 fired transitions, 695 secs || 176227 markings, 563088 edges, 219 markings/sec, 695 secs
lola: 1 tries, 1080 fired transitions, 700 secs || 177350 markings, 566444 edges, 225 markings/sec, 700 secs
lola: 1 tries, 1086 fired transitions, 705 secs || 178986 markings, 571495 edges, 327 markings/sec, 705 secs
lola: 1 tries, 1098 fired transitions, 710 secs || 180238 markings, 575990 edges, 250 markings/sec, 710 secs
lola: 1 tries, 1104 fired transitions, 715 secs || 181364 markings, 578367 edges, 225 markings/sec, 715 secs
lola: 1 tries, 1110 fired transitions, 720 secs || 182908 markings, 582635 edges, 309 markings/sec, 720 secs
lola: 1 tries, 1122 fired transitions, 725 secs || 184273 markings, 586916 edges, 273 markings/sec, 725 secs
lola: 1 tries, 1128 fired transitions, 730 secs || 185333 markings, 590429 edges, 212 markings/sec, 730 secs
lola: 1 tries, 1134 fired transitions, 735 secs || 186760 markings, 595766 edges, 285 markings/sec, 735 secs
lola: 1 tries, 1146 fired transitions, 740 secs || 188296 markings, 600306 edges, 307 markings/sec, 740 secs
lola: 1 tries, 1152 fired transitions, 745 secs || 189373 markings, 603630 edges, 215 markings/sec, 745 secs
lola: 1 tries, 1158 fired transitions, 750 secs || 190786 markings, 608672 edges, 283 markings/sec, 750 secs
lola: 1 tries, 1170 fired transitions, 755 secs || 192296 markings, 615162 edges, 302 markings/sec, 755 secs
lola: 1 tries, 1176 fired transitions, 760 secs || 193327 markings, 619516 edges, 206 markings/sec, 760 secs
lola: 1 tries, 1182 fired transitions, 765 secs || 194588 markings, 624326 edges, 252 markings/sec, 765 secs
lola: 1 tries, 1188 fired transitions, 770 secs || 196169 markings, 629984 edges, 316 markings/sec, 770 secs
lola: 1 tries, 1200 fired transitions, 775 secs || 197327 markings, 633680 edges, 232 markings/sec, 775 secs
lola: 1 tries, 1206 fired transitions, 780 secs || 198520 markings, 637275 edges, 239 markings/sec, 780 secs
lola: 1 tries, 1212 fired transitions, 785 secs || 200042 markings, 643651 edges, 304 markings/sec, 785 secs
lola: 1 tries, 1224 fired transitions, 790 secs || 201203 markings, 647237 edges, 232 markings/sec, 790 secs
lola: 1 tries, 1230 fired transitions, 795 secs || 202321 markings, 650299 edges, 224 markings/sec, 795 secs
lola: 1 tries, 1236 fired transitions, 800 secs || 203873 markings, 654950 edges, 310 markings/sec, 800 secs
lola: 1 tries, 1248 fired transitions, 805 secs || 205126 markings, 659216 edges, 251 markings/sec, 805 secs
lola: 1 tries, 1254 fired transitions, 810 secs || 206135 markings, 662502 edges, 202 markings/sec, 810 secs
lola: 1 tries, 1260 fired transitions, 815 secs || 207674 markings, 669476 edges, 308 markings/sec, 815 secs
lola: 1 tries, 1272 fired transitions, 820 secs || 209126 markings, 674012 edges, 290 markings/sec, 820 secs
lola: 1 tries, 1278 fired transitions, 825 secs || 210186 markings, 676680 edges, 212 markings/sec, 825 secs
lola: 1 tries, 1284 fired transitions, 830 secs || 211423 markings, 680263 edges, 247 markings/sec, 830 secs
lola: 1 tries, 1290 fired transitions, 835 secs || 212922 markings, 684525 edges, 300 markings/sec, 835 secs
lola: 1 tries, 1302 fired transitions, 840 secs || 213983 markings, 687738 edges, 212 markings/sec, 840 secs
lola: 1 tries, 1308 fired transitions, 845 secs || 215113 markings, 691755 edges, 226 markings/sec, 845 secs
lola: 1 tries, 1314 fired transitions, 850 secs || 216597 markings, 697194 edges, 297 markings/sec, 850 secs
lola: 1 tries, 1326 fired transitions, 855 secs || 217947 markings, 701215 edges, 270 markings/sec, 855 secs
lola: 1 tries, 1332 fired transitions, 860 secs || 219023 markings, 704302 edges, 215 markings/sec, 860 secs
lola: 1 tries, 1338 fired transitions, 865 secs || 220390 markings, 708407 edges, 273 markings/sec, 865 secs
lola: 1 tries, 1344 fired transitions, 870 secs || 221808 markings, 713836 edges, 284 markings/sec, 870 secs
lola: 1 tries, 1356 fired transitions, 875 secs || 223077 markings, 717367 edges, 254 markings/sec, 875 secs
lola: 1 tries, 1362 fired transitions, 880 secs || 224201 markings, 720145 edges, 225 markings/sec, 880 secs
lola: 1 tries, 1368 fired transitions, 885 secs || 225390 markings, 724049 edges, 238 markings/sec, 885 secs
lola: 1 tries, 1374 fired transitions, 890 secs || 226924 markings, 728904 edges, 307 markings/sec, 890 secs
lola: 1 tries, 1386 fired transitions, 895 secs || 228226 markings, 733010 edges, 260 markings/sec, 895 secs
lola: 1 tries, 1392 fired transitions, 900 secs || 229253 markings, 736291 edges, 205 markings/sec, 900 secs
lola: 1 tries, 1398 fired transitions, 905 secs || 230534 markings, 740699 edges, 256 markings/sec, 905 secs
lola: 1 tries, 1404 fired transitions, 910 secs || 232084 markings, 745158 edges, 310 markings/sec, 910 secs
lola: 1 tries, 1416 fired transitions, 915 secs || 233275 markings, 748572 edges, 238 markings/sec, 915 secs
lola: 1 tries, 1422 fired transitions, 920 secs || 234391 markings, 752466 edges, 223 markings/sec, 920 secs
lola: 1 tries, 1428 fired transitions, 925 secs || 235967 markings, 758306 edges, 315 markings/sec, 925 secs
lola: 1 tries, 1440 fired transitions, 930 secs || 237309 markings, 761936 edges, 268 markings/sec, 930 secs
lola: 1 tries, 1446 fired transitions, 935 secs || 238376 markings, 765909 edges, 213 markings/sec, 935 secs
lola: 1 tries, 1452 fired transitions, 940 secs || 239762 markings, 769893 edges, 277 markings/sec, 940 secs
lola: 1 tries, 1458 fired transitions, 945 secs || 241199 markings, 774114 edges, 287 markings/sec, 945 secs
lola: 1 tries, 1470 fired transitions, 950 secs || 242346 markings, 777797 edges, 229 markings/sec, 950 secs
lola: 1 tries, 1476 fired transitions, 955 secs || 243401 markings, 782073 edges, 211 markings/sec, 955 secs
lola: 1 tries, 1482 fired transitions, 960 secs || 244784 markings, 786320 edges, 277 markings/sec, 960 secs
lola: 1 tries, 1494 fired transitions, 965 secs || 246313 markings, 792976 edges, 306 markings/sec, 965 secs
lola: 1 tries, 1500 fired transitions, 970 secs || 247374 markings, 796237 edges, 212 markings/sec, 970 secs
lola: 1 tries, 1506 fired transitions, 975 secs || 248543 markings, 799584 edges, 234 markings/sec, 975 secs
lola: 1 tries, 1512 fired transitions, 980 secs || 250076 markings, 804896 edges, 307 markings/sec, 980 secs
lola: 1 tries, 1524 fired transitions, 985 secs || 251257 markings, 809858 edges, 236 markings/sec, 985 secs
lola: 1 tries, 1530 fired transitions, 990 secs || 252324 markings, 814426 edges, 213 markings/sec, 990 secs
lola: 1 tries, 1536 fired transitions, 995 secs || 253689 markings, 819334 edges, 273 markings/sec, 995 secs
lola: 1 tries, 1542 fired transitions, 1000 secs || 255199 markings, 824134 edges, 302 markings/sec, 1000 secs
lola: 1 tries, 1554 fired transitions, 1005 secs || 256313 markings, 826573 edges, 223 markings/sec, 1005 secs
lola: 1 tries, 1560 fired transitions, 1010 secs || 257394 markings, 830934 edges, 216 markings/sec, 1010 secs
lola: 1 tries, 1566 fired transitions, 1015 secs || 258859 markings, 836365 edges, 293 markings/sec, 1015 secs
lola: 1 tries, 1578 fired transitions, 1020 secs || 260316 markings, 840859 edges, 291 markings/sec, 1020 secs
lola: 1 tries, 1584 fired transitions, 1025 secs || 261309 markings, 845415 edges, 199 markings/sec, 1025 secs
lola: 1 tries, 1590 fired transitions, 1030 secs || 262447 markings, 848454 edges, 228 markings/sec, 1030 secs
lola: 1 tries, 1596 fired transitions, 1035 secs || 263959 markings, 853524 edges, 302 markings/sec, 1035 secs
lola: 1 tries, 1608 fired transitions, 1040 secs || 265175 markings, 858184 edges, 243 markings/sec, 1040 secs
lola: 1 tries, 1614 fired transitions, 1045 secs || 266256 markings, 861347 edges, 216 markings/sec, 1045 secs
lola: 1 tries, 1620 fired transitions, 1050 secs || 267691 markings, 866591 edges, 287 markings/sec, 1050 secs
lola: 1 tries, 1632 fired transitions, 1055 secs || 269101 markings, 872565 edges, 282 markings/sec, 1055 secs
lola: 1 tries, 1638 fired transitions, 1060 secs || 270049 markings, 875018 edges, 190 markings/sec, 1060 secs
lola: 1 tries, 1644 fired transitions, 1065 secs || 271229 markings, 878649 edges, 236 markings/sec, 1065 secs
lola: 1 tries, 1650 fired transitions, 1070 secs || 272736 markings, 883712 edges, 301 markings/sec, 1070 secs
lola: 1 tries, 1662 fired transitions, 1075 secs || 273926 markings, 888835 edges, 238 markings/sec, 1075 secs
lola: 1 tries, 1668 fired transitions, 1080 secs || 274948 markings, 893641 edges, 204 markings/sec, 1080 secs
lola: 1 tries, 1674 fired transitions, 1085 secs || 276192 markings, 898388 edges, 249 markings/sec, 1085 secs
lola: 1 tries, 1680 fired transitions, 1090 secs || 277640 markings, 902901 edges, 290 markings/sec, 1090 secs
lola: 1 tries, 1692 fired transitions, 1095 secs || 278946 markings, 906070 edges, 261 markings/sec, 1095 secs
lola: 1 tries, 1698 fired transitions, 1100 secs || 279946 markings, 908689 edges, 200 markings/sec, 1100 secs
lola: 1 tries, 1704 fired transitions, 1105 secs || 281185 markings, 915106 edges, 248 markings/sec, 1105 secs
lola: 1 tries, 1710 fired transitions, 1110 secs || 282697 markings, 920716 edges, 302 markings/sec, 1110 secs
lola: 1 tries, 1722 fired transitions, 1115 secs || 284012 markings, 925331 edges, 263 markings/sec, 1115 secs
lola: 1 tries, 1728 fired transitions, 1120 secs || 285093 markings, 928567 edges, 216 markings/sec, 1120 secs
lola: 1 tries, 1734 fired transitions, 1125 secs || 286293 markings, 932826 edges, 240 markings/sec, 1125 secs
lola: 1 tries, 1740 fired transitions, 1130 secs || 287744 markings, 937823 edges, 290 markings/sec, 1130 secs
lola: 1 tries, 1752 fired transitions, 1135 secs || 289160 markings, 943287 edges, 283 markings/sec, 1135 secs
lola: 1 tries, 1758 fired transitions, 1140 secs || 290207 markings, 946908 edges, 209 markings/sec, 1140 secs
lola: 1 tries, 1764 fired transitions, 1145 secs || 291406 markings, 949781 edges, 240 markings/sec, 1145 secs
lola: 1 tries, 1770 fired transitions, 1150 secs || 292891 markings, 954380 edges, 297 markings/sec, 1150 secs
lola: 1 tries, 1782 fired transitions, 1155 secs || 294111 markings, 958941 edges, 244 markings/sec, 1155 secs
lola: 1 tries, 1788 fired transitions, 1160 secs || 295062 markings, 962006 edges, 190 markings/sec, 1160 secs
lola: 1 tries, 1794 fired transitions, 1165 secs || 296275 markings, 967705 edges, 243 markings/sec, 1165 secs
lola: 1 tries, 1800 fired transitions, 1170 secs || 297739 markings, 972933 edges, 293 markings/sec, 1170 secs
lola: 1 tries, 1812 fired transitions, 1175 secs || 299021 markings, 977394 edges, 256 markings/sec, 1175 secs
lola: 1 tries, 1818 fired transitions, 1180 secs || 300023 markings, 979812 edges, 200 markings/sec, 1180 secs
lola: 1 tries, 1824 fired transitions, 1185 secs || 301286 markings, 982980 edges, 253 markings/sec, 1185 secs
lola: 1 tries, 1830 fired transitions, 1190 secs || 302775 markings, 987825 edges, 298 markings/sec, 1190 secs
lola: 1 tries, 1842 fired transitions, 1195 secs || 303942 markings, 992134 edges, 233 markings/sec, 1195 secs
lola: 1 tries, 1848 fired transitions, 1200 secs || 304967 markings, 996046 edges, 205 markings/sec, 1200 secs
lola: 1 tries, 1854 fired transitions, 1205 secs || 306448 markings, 1001573 edges, 296 markings/sec, 1205 secs
lola: 1 tries, 1866 fired transitions, 1210 secs || 307903 markings, 1006173 edges, 291 markings/sec, 1210 secs
lola: 1 tries, 1872 fired transitions, 1215 secs || 308943 markings, 1008487 edges, 208 markings/sec, 1215 secs
lola: 1 tries, 1878 fired transitions, 1220 secs || 310077 markings, 1011254 edges, 227 markings/sec, 1220 secs
lola: 1 tries, 1884 fired transitions, 1225 secs || 311652 markings, 1016328 edges, 315 markings/sec, 1225 secs
lola: 1 tries, 1896 fired transitions, 1230 secs || 312908 markings, 1020736 edges, 251 markings/sec, 1230 secs
lola: 1 tries, 1902 fired transitions, 1235 secs || 313978 markings, 1024069 edges, 214 markings/sec, 1235 secs
lola: 1 tries, 1908 fired transitions, 1240 secs || 315365 markings, 1027562 edges, 277 markings/sec, 1240 secs
lola: 1 tries, 1914 fired transitions, 1245 secs || 316916 markings, 1031832 edges, 310 markings/sec, 1245 secs
lola: 1 tries, 1926 fired transitions, 1250 secs || 317973 markings, 1035163 edges, 211 markings/sec, 1250 secs
lola: 1 tries, 1932 fired transitions, 1255 secs || 319091 markings, 1037936 edges, 224 markings/sec, 1255 secs
lola: 1 tries, 1938 fired transitions, 1260 secs || 320527 markings, 1043026 edges, 287 markings/sec, 1260 secs
lola: 1 tries, 1950 fired transitions, 1265 secs || 321856 markings, 1047118 edges, 266 markings/sec, 1265 secs
lola: 1 tries, 1956 fired transitions, 1270 secs || 322894 markings, 1050112 edges, 208 markings/sec, 1270 secs
lola: 1 tries, 1962 fired transitions, 1275 secs || 324071 markings, 1053448 edges, 235 markings/sec, 1275 secs
lola: 1 tries, 1968 fired transitions, 1280 secs || 325582 markings, 1057552 edges, 302 markings/sec, 1280 secs
lola: 1 tries, 1980 fired transitions, 1285 secs || 326889 markings, 1060786 edges, 261 markings/sec, 1285 secs
lola: 1 tries, 1986 fired transitions, 1290 secs || 327919 markings, 1064201 edges, 206 markings/sec, 1290 secs
lola: 1 tries, 1992 fired transitions, 1295 secs || 329255 markings, 1068195 edges, 267 markings/sec, 1295 secs
lola: 1 tries, 2004 fired transitions, 1300 secs || 330764 markings, 1072352 edges, 302 markings/sec, 1300 secs
lola: 1 tries, 2010 fired transitions, 1305 secs || 331815 markings, 1075832 edges, 210 markings/sec, 1305 secs
lola: 1 tries, 2016 fired transitions, 1310 secs || 332927 markings, 1079983 edges, 222 markings/sec, 1310 secs
lola: 1 tries, 2022 fired transitions, 1315 secs || 334404 markings, 1083726 edges, 295 markings/sec, 1315 secs
lola: 1 tries, 2034 fired transitions, 1320 secs || 335690 markings, 1088357 edges, 257 markings/sec, 1320 secs
lola: 1 tries, 2040 fired transitions, 1325 secs || 336737 markings, 1091733 edges, 209 markings/sec, 1325 secs
lola: 1 tries, 2046 fired transitions, 1330 secs || 337897 markings, 1095776 edges, 232 markings/sec, 1330 secs
lola: 1 tries, 2052 fired transitions, 1335 secs || 339411 markings, 1101387 edges, 303 markings/sec, 1335 secs
lola: 1 tries, 2064 fired transitions, 1340 secs || 340682 markings, 1105884 edges, 254 markings/sec, 1340 secs
lola: 1 tries, 2070 fired transitions, 1345 secs || 341741 markings, 1110547 edges, 212 markings/sec, 1345 secs
lola: 1 tries, 2076 fired transitions, 1350 secs || 343108 markings, 1114212 edges, 273 markings/sec, 1350 secs
lola: 1 tries, 2082 fired transitions, 1355 secs || 344620 markings, 1119720 edges, 302 markings/sec, 1355 secs
lola: 1 tries, 2094 fired transitions, 1360 secs || 345778 markings, 1123692 edges, 232 markings/sec, 1360 secs
lola: 1 tries, 2100 fired transitions, 1365 secs || 346855 markings, 1127239 edges, 215 markings/sec, 1365 secs
lola: 1 tries, 2106 fired transitions, 1370 secs || 348430 markings, 1132177 edges, 315 markings/sec, 1370 secs
lola: 1 tries, 2118 fired transitions, 1375 secs || 349804 markings, 1136472 edges, 275 markings/sec, 1375 secs
lola: 1 tries, 2124 fired transitions, 1380 secs || 350795 markings, 1140098 edges, 198 markings/sec, 1380 secs
lola: 1 tries, 2130 fired transitions, 1385 secs || 351878 markings, 1145052 edges, 217 markings/sec, 1385 secs
lola: 1 tries, 2136 fired transitions, 1390 secs || 353304 markings, 1149935 edges, 285 markings/sec, 1390 secs
lola: 1 tries, 2148 fired transitions, 1395 secs || 354658 markings, 1154900 edges, 271 markings/sec, 1395 secs
lola: 1 tries, 2154 fired transitions, 1400 secs || 355677 markings, 1158546 edges, 204 markings/sec, 1400 secs
lola: 1 tries, 2160 fired transitions, 1405 secs || 356812 markings, 1162277 edges, 227 markings/sec, 1405 secs
lola: 1 tries, 2166 fired transitions, 1410 secs || 358241 markings, 1166485 edges, 286 markings/sec, 1410 secs
lola: 1 tries, 2178 fired transitions, 1415 secs || 359529 markings, 1171143 edges, 258 markings/sec, 1415 secs
lola: 1 tries, 2184 fired transitions, 1420 secs || 360591 markings, 1174512 edges, 212 markings/sec, 1420 secs
lola: 1 tries, 2190 fired transitions, 1425 secs || 361669 markings, 1177755 edges, 216 markings/sec, 1425 secs
lola: 1 tries, 2196 fired transitions, 1430 secs || 363112 markings, 1182623 edges, 289 markings/sec, 1430 secs
lola: 1 tries, 2202 fired transitions, 1435 secs || 364533 markings, 1189070 edges, 284 markings/sec, 1435 secs
lola: 1 tries, 2214 fired transitions, 1440 secs || 365611 markings, 1192198 edges, 216 markings/sec, 1440 secs
lola: 1 tries, 2220 fired transitions, 1445 secs || 366627 markings, 1195369 edges, 203 markings/sec, 1445 secs
lola: 1 tries, 2226 fired transitions, 1450 secs || 367938 markings, 1200065 edges, 262 markings/sec, 1450 secs
lola: 1 tries, 2232 fired transitions, 1455 secs || 369397 markings, 1205414 edges, 292 markings/sec, 1455 secs
lola: 1 tries, 2244 fired transitions, 1460 secs || 370552 markings, 1208430 edges, 231 markings/sec, 1460 secs
lola: 1 tries, 2250 fired transitions, 1465 secs || 371623 markings, 1211793 edges, 214 markings/sec, 1465 secs
lola: 1 tries, 2256 fired transitions, 1470 secs || 372991 markings, 1216903 edges, 274 markings/sec, 1470 secs
lola: 1 tries, 2262 fired transitions, 1475 secs || 374533 markings, 1220812 edges, 308 markings/sec, 1475 secs
lola: 1 tries, 2274 fired transitions, 1480 secs || 375608 markings, 1223529 edges, 215 markings/sec, 1480 secs
lola: 1 tries, 2280 fired transitions, 1485 secs || 376639 markings, 1227615 edges, 206 markings/sec, 1485 secs
lola: 1 tries, 2286 fired transitions, 1490 secs || 378147 markings, 1231975 edges, 302 markings/sec, 1490 secs
lola: 1 tries, 2298 fired transitions, 1495 secs || 379629 markings, 1237576 edges, 296 markings/sec, 1495 secs
lola: 1 tries, 2304 fired transitions, 1500 secs || 380619 markings, 1240055 edges, 198 markings/sec, 1500 secs
lola: 1 tries, 2310 fired transitions, 1505 secs || 381666 markings, 1245369 edges, 209 markings/sec, 1505 secs
lola: 1 tries, 2316 fired transitions, 1510 secs || 383234 markings, 1250497 edges, 314 markings/sec, 1510 secs
lola: 1 tries, 2328 fired transitions, 1515 secs || 384554 markings, 1254755 edges, 264 markings/sec, 1515 secs
lola: 1 tries, 2334 fired transitions, 1520 secs || 385580 markings, 1257162 edges, 205 markings/sec, 1520 secs
lola: 1 tries, 2340 fired transitions, 1525 secs || 387076 markings, 1262842 edges, 299 markings/sec, 1525 secs
lola: 1 tries, 2352 fired transitions, 1530 secs || 388505 markings, 1267496 edges, 286 markings/sec, 1530 secs
lola: 1 tries, 2358 fired transitions, 1535 secs || 389577 markings, 1270867 edges, 214 markings/sec, 1535 secs
lola: 1 tries, 2364 fired transitions, 1540 secs || 390873 markings, 1274869 edges, 259 markings/sec, 1540 secs
lola: 1 tries, 2370 fired transitions, 1545 secs || 392380 markings, 1280708 edges, 301 markings/sec, 1545 secs
lola: 1 tries, 2382 fired transitions, 1550 secs || 393625 markings, 1284462 edges, 249 markings/sec, 1550 secs
lola: 1 tries, 2388 fired transitions, 1555 secs || 394662 markings, 1287319 edges, 207 markings/sec, 1555 secs
lola: 1 tries, 2394 fired transitions, 1560 secs || 396053 markings, 1291436 edges, 278 markings/sec, 1560 secs
lola: 1 tries, 2400 fired transitions, 1565 secs || 397515 markings, 1296753 edges, 292 markings/sec, 1565 secs
lola: 1 tries, 2412 fired transitions, 1570 secs || 398584 markings, 1301219 edges, 214 markings/sec, 1570 secs
lola: 1 tries, 2418 fired transitions, 1575 secs || 399703 markings, 1305504 edges, 224 markings/sec, 1575 secs
lola: 1 tries, 2424 fired transitions, 1580 secs || 401258 markings, 1310284 edges, 311 markings/sec, 1580 secs
lola: 1 tries, 2436 fired transitions, 1585 secs || 402678 markings, 1314909 edges, 284 markings/sec, 1585 secs
lola: 1 tries, 2442 fired transitions, 1590 secs || 403688 markings, 1317458 edges, 202 markings/sec, 1590 secs
lola: 1 tries, 2448 fired transitions, 1595 secs || 405045 markings, 1322681 edges, 271 markings/sec, 1595 secs
lola: 1 tries, 2460 fired transitions, 1600 secs || 406589 markings, 1327372 edges, 309 markings/sec, 1600 secs
lola: 1 tries, 2466 fired transitions, 1605 secs || 407654 markings, 1331338 edges, 213 markings/sec, 1605 secs
lola: 1 tries, 2472 fired transitions, 1610 secs || 408886 markings, 1334794 edges, 246 markings/sec, 1610 secs
lola: 1 tries, 2478 fired transitions, 1615 secs || 410523 markings, 1339501 edges, 327 markings/sec, 1615 secs
lola: 1 tries, 2490 fired transitions, 1620 secs || 411714 markings, 1343409 edges, 238 markings/sec, 1620 secs
lola: 1 tries, 2496 fired transitions, 1625 secs || 412781 markings, 1346963 edges, 213 markings/sec, 1625 secs
lola: 1 tries, 2502 fired transitions, 1630 secs || 414014 markings, 1350093 edges, 247 markings/sec, 1630 secs
lola: 1 tries, 2508 fired transitions, 1635 secs || 415537 markings, 1354259 edges, 305 markings/sec, 1635 secs
lola: 1 tries, 2520 fired transitions, 1640 secs || 416774 markings, 1358137 edges, 247 markings/sec, 1640 secs
lola: 1 tries, 2526 fired transitions, 1645 secs || 417778 markings, 1361395 edges, 201 markings/sec, 1645 secs
lola: 1 tries, 2532 fired transitions, 1650 secs || 419211 markings, 1367624 edges, 287 markings/sec, 1650 secs
lola: 1 tries, 2538 fired transitions, 1655 secs || 420671 markings, 1373500 edges, 292 markings/sec, 1655 secs
lola: 1 tries, 2550 fired transitions, 1660 secs || 421695 markings, 1375965 edges, 205 markings/sec, 1660 secs
lola: 1 tries, 2556 fired transitions, 1665 secs || 422762 markings, 1378400 edges, 213 markings/sec, 1665 secs
lola: 1 tries, 2562 fired transitions, 1670 secs || 424122 markings, 1381882 edges, 272 markings/sec, 1670 secs
lola: 1 tries, 2568 fired transitions, 1675 secs || 425640 markings, 1386685 edges, 304 markings/sec, 1675 secs
lola: 1 tries, 2580 fired transitions, 1680 secs || 426791 markings, 1389745 edges, 230 markings/sec, 1680 secs
lola: 1 tries, 2586 fired transitions, 1685 secs || 427920 markings, 1392535 edges, 226 markings/sec, 1685 secs
lola: 1 tries, 2592 fired transitions, 1690 secs || 429481 markings, 1399500 edges, 312 markings/sec, 1690 secs
lola: 1 tries, 2604 fired transitions, 1695 secs || 430774 markings, 1402584 edges, 259 markings/sec, 1695 secs
lola: 1 tries, 2610 fired transitions, 1700 secs || 431813 markings, 1406092 edges, 208 markings/sec, 1700 secs
lola: 1 tries, 2616 fired transitions, 1705 secs || 433274 markings, 1411348 edges, 292 markings/sec, 1705 secs
lola: 1 tries, 2628 fired transitions, 1710 secs || 434748 markings, 1416321 edges, 295 markings/sec, 1710 secs
lola: 1 tries, 2634 fired transitions, 1715 secs || 435739 markings, 1418669 edges, 198 markings/sec, 1715 secs
lola: 1 tries, 2640 fired transitions, 1720 secs || 436980 markings, 1423233 edges, 248 markings/sec, 1720 secs
lola: 1 tries, 2646 fired transitions, 1725 secs || 438458 markings, 1429077 edges, 296 markings/sec, 1725 secs
lola: 1 tries, 2658 fired transitions, 1730 secs || 439576 markings, 1434443 edges, 224 markings/sec, 1730 secs
lola: 1 tries, 2664 fired transitions, 1735 secs || 440622 markings, 1437679 edges, 209 markings/sec, 1735 secs
lola: 1 tries, 2670 fired transitions, 1740 secs || 442153 markings, 1441671 edges, 306 markings/sec, 1740 secs
lola: 1 tries, 2682 fired transitions, 1745 secs || 443583 markings, 1446212 edges, 286 markings/sec, 1745 secs
lola: 1 tries, 2688 fired transitions, 1750 secs || 444667 markings, 1448985 edges, 217 markings/sec, 1750 secs
lola: 1 tries, 2694 fired transitions, 1755 secs || 446053 markings, 1453918 edges, 277 markings/sec, 1755 secs
lola: 1 tries, 2706 fired transitions, 1760 secs || 447530 markings, 1459127 edges, 295 markings/sec, 1760 secs
lola: 1 tries, 2712 fired transitions, 1765 secs || 448618 markings, 1461816 edges, 218 markings/sec, 1765 secs
lola: 1 tries, 2718 fired transitions, 1770 secs || 449951 markings, 1465607 edges, 267 markings/sec, 1770 secs
lola: 1 tries, 2724 fired transitions, 1775 secs || 451446 markings, 1470314 edges, 299 markings/sec, 1775 secs
lola: 1 tries, 2736 fired transitions, 1780 secs || 452557 markings, 1473221 edges, 222 markings/sec, 1780 secs
lola: 1 tries, 2742 fired transitions, 1785 secs || 453681 markings, 1476822 edges, 225 markings/sec, 1785 secs
lola: 1 tries, 2748 fired transitions, 1790 secs || 455229 markings, 1483567 edges, 310 markings/sec, 1790 secs
lola: 1 tries, 2760 fired transitions, 1795 secs || 456448 markings, 1488560 edges, 244 markings/sec, 1795 secs
lola: 1 tries, 2766 fired transitions, 1800 secs || 457515 markings, 1492063 edges, 213 markings/sec, 1800 secs
lola: 1 tries, 2772 fired transitions, 1805 secs || 459031 markings, 1496735 edges, 303 markings/sec, 1805 secs
lola: 1 tries, 2784 fired transitions, 1810 secs || 460359 markings, 1501308 edges, 266 markings/sec, 1810 secs
lola: 1 tries, 2790 fired transitions, 1815 secs || 461427 markings, 1505097 edges, 214 markings/sec, 1815 secs
lola: 1 tries, 2796 fired transitions, 1820 secs || 462896 markings, 1509077 edges, 294 markings/sec, 1820 secs
lola: 1 tries, 2808 fired transitions, 1825 secs || 464491 markings, 1514265 edges, 319 markings/sec, 1825 secs
lola: 1 tries, 2814 fired transitions, 1830 secs || 465542 markings, 1517650 edges, 210 markings/sec, 1830 secs
lola: 1 tries, 2820 fired transitions, 1835 secs || 466859 markings, 1521163 edges, 263 markings/sec, 1835 secs
lola: 1 tries, 2826 fired transitions, 1840 secs || 468498 markings, 1525732 edges, 328 markings/sec, 1840 secs
lola: 1 tries, 2838 fired transitions, 1845 secs || 469565 markings, 1529277 edges, 213 markings/sec, 1845 secs
lola: 1 tries, 2844 fired transitions, 1850 secs || 470780 markings, 1532320 edges, 243 markings/sec, 1850 secs
lola: 1 tries, 2850 fired transitions, 1855 secs || 472416 markings, 1536661 edges, 327 markings/sec, 1855 secs
lola: 1 tries, 2862 fired transitions, 1860 secs || 473705 markings, 1541287 edges, 258 markings/sec, 1860 secs
lola: 1 tries, 2868 fired transitions, 1865 secs || 474736 markings, 1543644 edges, 206 markings/sec, 1865 secs
lola: 1 tries, 2874 fired transitions, 1870 secs || 476235 markings, 1549103 edges, 300 markings/sec, 1870 secs
lola: 1 tries, 2886 fired transitions, 1875 secs || 477715 markings, 1552967 edges, 296 markings/sec, 1875 secs
lola: 1 tries, 2892 fired transitions, 1880 secs || 478756 markings, 1557049 edges, 208 markings/sec, 1880 secs
lola: 1 tries, 2898 fired transitions, 1885 secs || 480103 markings, 1560776 edges, 269 markings/sec, 1885 secs
lola: 1 tries, 2904 fired transitions, 1890 secs || 481730 markings, 1567557 edges, 325 markings/sec, 1890 secs
lola: 1 tries, 2916 fired transitions, 1895 secs || 482897 markings, 1571607 edges, 233 markings/sec, 1895 secs
lola: 1 tries, 2922 fired transitions, 1900 secs || 484027 markings, 1574852 edges, 226 markings/sec, 1900 secs
lola: 1 tries, 2928 fired transitions, 1905 secs || 485526 markings, 1579226 edges, 300 markings/sec, 1905 secs
lola: 1 tries, 2940 fired transitions, 1910 secs || 486926 markings, 1583001 edges, 280 markings/sec, 1910 secs
lola: 1 tries, 2946 fired transitions, 1915 secs || 487981 markings, 1587082 edges, 211 markings/sec, 1915 secs
lola: 1 tries, 2952 fired transitions, 1920 secs || 489140 markings, 1590798 edges, 232 markings/sec, 1920 secs
lola: 1 tries, 2958 fired transitions, 1925 secs || 490633 markings, 1595562 edges, 299 markings/sec, 1925 secs
lola: 1 tries, 2970 fired transitions, 1930 secs || 492068 markings, 1601775 edges, 287 markings/sec, 1930 secs
lola: 1 tries, 2976 fired transitions, 1935 secs || 493114 markings, 1605803 edges, 209 markings/sec, 1935 secs
lola: 1 tries, 2982 fired transitions, 1940 secs || 494287 markings, 1609106 edges, 235 markings/sec, 1940 secs
lola: 1 tries, 2988 fired transitions, 1945 secs || 495728 markings, 1613184 edges, 288 markings/sec, 1945 secs
lola: 1 tries, 3000 fired transitions, 1950 secs || 497065 markings, 1618663 edges, 267 markings/sec, 1950 secs
lola: 1 tries, 3006 fired transitions, 1955 secs || 498084 markings, 1621625 edges, 204 markings/sec, 1955 secs
lola: 1 tries, 3012 fired transitions, 1960 secs || 499383 markings, 1626420 edges, 260 markings/sec, 1960 secs
lola: 1 tries, 3018 fired transitions, 1965 secs || 500910 markings, 1631398 edges, 305 markings/sec, 1965 secs
lola: 1 tries, 3030 fired transitions, 1970 secs || 502005 markings, 1634755 edges, 219 markings/sec, 1970 secs
lola: 1 tries, 3036 fired transitions, 1975 secs || 503062 markings, 1638372 edges, 211 markings/sec, 1975 secs
lola: 1 tries, 3042 fired transitions, 1980 secs || 504569 markings, 1642349 edges, 301 markings/sec, 1980 secs
lola: 1 tries, 3049 fired transitions, 1985 secs || 506062 markings, 1647557 edges, 299 markings/sec, 1985 secs
lola: 1 tries, 3060 fired transitions, 1990 secs || 507122 markings, 1650663 edges, 212 markings/sec, 1990 secs
lola: 1 tries, 3066 fired transitions, 1995 secs || 508251 markings, 1653809 edges, 226 markings/sec, 1995 secs
lola: 1 tries, 3072 fired transitions, 2000 secs || 509592 markings, 1657614 edges, 268 markings/sec, 2000 secs
lola: 1 tries, 3084 fired transitions, 2005 secs || 510982 markings, 1662680 edges, 278 markings/sec, 2005 secs
lola: 1 tries, 3090 fired transitions, 2010 secs || 512052 markings, 1666458 edges, 214 markings/sec, 2010 secs
lola: 1 tries, 3096 fired transitions, 2015 secs || 513246 markings, 1669693 edges, 239 markings/sec, 2015 secs
lola: 1 tries, 3102 fired transitions, 2020 secs || 514848 markings, 1675480 edges, 320 markings/sec, 2020 secs
lola: 1 tries, 3114 fired transitions, 2025 secs || 516075 markings, 1679091 edges, 245 markings/sec, 2025 secs
lola: 1 tries, 3120 fired transitions, 2030 secs || 517038 markings, 1682049 edges, 193 markings/sec, 2030 secs
lola: 1 tries, 3126 fired transitions, 2035 secs || 518572 markings, 1686666 edges, 307 markings/sec, 2035 secs
lola: 1 tries, 3138 fired transitions, 2040 secs || 520014 markings, 1690304 edges, 288 markings/sec, 2040 secs
lola: 1 tries, 3144 fired transitions, 2045 secs || 521065 markings, 1692856 edges, 210 markings/sec, 2045 secs
lola: 1 tries, 3150 fired transitions, 2050 secs || 522162 markings, 1696055 edges, 219 markings/sec, 2050 secs
lola: 1 tries, 3156 fired transitions, 2055 secs || 523690 markings, 1701586 edges, 306 markings/sec, 2055 secs
lola: 1 tries, 3168 fired transitions, 2060 secs || 525092 markings, 1706651 edges, 280 markings/sec, 2060 secs
lola: 1 tries, 3174 fired transitions, 2065 secs || 526149 markings, 1711311 edges, 211 markings/sec, 2065 secs
lola: 1 tries, 3180 fired transitions, 2070 secs || 527154 markings, 1718710 edges, 201 markings/sec, 2070 secs
lola: 1 tries, 3186 fired transitions, 2075 secs || 528679 markings, 1724940 edges, 305 markings/sec, 2075 secs
lola: 1 tries, 3198 fired transitions, 2080 secs || 530142 markings, 1729314 edges, 293 markings/sec, 2080 secs
lola: 1 tries, 3204 fired transitions, 2085 secs || 531178 markings, 1732686 edges, 207 markings/sec, 2085 secs
lola: 1 tries, 3210 fired transitions, 2090 secs || 532197 markings, 1736641 edges, 204 markings/sec, 2090 secs
lola: 1 tries, 3216 fired transitions, 2095 secs || 533737 markings, 1740934 edges, 308 markings/sec, 2095 secs
lola: 1 tries, 3228 fired transitions, 2100 secs || 535118 markings, 1745880 edges, 276 markings/sec, 2100 secs
lola: 1 tries, 3234 fired transitions, 2105 secs || 536064 markings, 1748348 edges, 189 markings/sec, 2105 secs
lola: 1 tries, 3240 fired transitions, 2110 secs || 537138 markings, 1751733 edges, 215 markings/sec, 2110 secs
lola: 1 tries, 3246 fired transitions, 2115 secs || 538707 markings, 1758058 edges, 314 markings/sec, 2115 secs
lola: 1 tries, 3258 fired transitions, 2120 secs || 540092 markings, 1762064 edges, 277 markings/sec, 2120 secs
lola: 1 tries, 3264 fired transitions, 2125 secs || 541066 markings, 1765137 edges, 195 markings/sec, 2125 secs
lola: 1 tries, 3270 fired transitions, 2130 secs || 542260 markings, 1768481 edges, 239 markings/sec, 2130 secs
lola: 1 tries, 3276 fired transitions, 2135 secs || 543753 markings, 1772385 edges, 299 markings/sec, 2135 secs
lola: 1 tries, 3288 fired transitions, 2140 secs || 545135 markings, 1777175 edges, 276 markings/sec, 2140 secs
lola: 1 tries, 3294 fired transitions, 2145 secs || 546193 markings, 1781195 edges, 212 markings/sec, 2145 secs
lola: 1 tries, 3300 fired transitions, 2150 secs || 547273 markings, 1784043 edges, 216 markings/sec, 2150 secs
lola: 1 tries, 3306 fired transitions, 2155 secs || 548829 markings, 1789821 edges, 311 markings/sec, 2155 secs
lola: 1 tries, 3318 fired transitions, 2160 secs || 550196 markings, 1793742 edges, 273 markings/sec, 2160 secs
lola: 1 tries, 3324 fired transitions, 2165 secs || 551249 markings, 1797331 edges, 211 markings/sec, 2165 secs
lola: 1 tries, 3330 fired transitions, 2170 secs || 552373 markings, 1801194 edges, 225 markings/sec, 2170 secs
lola: 1 tries, 3336 fired transitions, 2175 secs || 553933 markings, 1806629 edges, 312 markings/sec, 2175 secs
lola: 1 tries, 3348 fired transitions, 2180 secs || 555206 markings, 1811878 edges, 255 markings/sec, 2180 secs
lola: 1 tries, 3354 fired transitions, 2185 secs || 556270 markings, 1815214 edges, 213 markings/sec, 2185 secs
lola: 1 tries, 3360 fired transitions, 2190 secs || 557783 markings, 1821074 edges, 303 markings/sec, 2190 secs
lola: 1 tries, 3372 fired transitions, 2195 secs || 559108 markings, 1824516 edges, 265 markings/sec, 2195 secs
lola: 1 tries, 3378 fired transitions, 2200 secs || 560032 markings, 1827169 edges, 185 markings/sec, 2200 secs
lola: 1 tries, 3384 fired transitions, 2205 secs || 561479 markings, 1831241 edges, 289 markings/sec, 2205 secs
lola: 1 tries, 3396 fired transitions, 2210 secs || 563014 markings, 1835938 edges, 307 markings/sec, 2210 secs
lola: 1 tries, 3402 fired transitions, 2215 secs || 564072 markings, 1839089 edges, 212 markings/sec, 2215 secs
lola: 1 tries, 3408 fired transitions, 2220 secs || 565413 markings, 1843448 edges, 268 markings/sec, 2220 secs
lola: 1 tries, 3414 fired transitions, 2225 secs || 566937 markings, 1847237 edges, 305 markings/sec, 2225 secs
lola: 1 tries, 3426 fired transitions, 2230 secs || 568004 markings, 1851463 edges, 213 markings/sec, 2230 secs
lola: 1 tries, 3432 fired transitions, 2235 secs || 569030 markings, 1854711 edges, 205 markings/sec, 2235 secs
lola: 1 tries, 3438 fired transitions, 2240 secs || 570410 markings, 1861670 edges, 276 markings/sec, 2240 secs
lola: 1 tries, 3444 fired transitions, 2245 secs || 571930 markings, 1865915 edges, 304 markings/sec, 2245 secs
lola: 1 tries, 3456 fired transitions, 2250 secs || 573037 markings, 1870407 edges, 221 markings/sec, 2250 secs
lola: 1 tries, 3462 fired transitions, 2255 secs || 574081 markings, 1873677 edges, 209 markings/sec, 2255 secs
lola: 1 tries, 3468 fired transitions, 2260 secs || 575487 markings, 1878198 edges, 281 markings/sec, 2260 secs
lola: 1 tries, 3474 fired transitions, 2265 secs || 576971 markings, 1882344 edges, 297 markings/sec, 2265 secs
lola: 1 tries, 3486 fired transitions, 2270 secs || 578131 markings, 1886101 edges, 232 markings/sec, 2270 secs
lola: 1 tries, 3492 fired transitions, 2275 secs || 579197 markings, 1890364 edges, 213 markings/sec, 2275 secs
lola: 1 tries, 3498 fired transitions, 2280 secs || 580610 markings, 1894299 edges, 283 markings/sec, 2280 secs
lola: 1 tries, 3510 fired transitions, 2285 secs || 582028 markings, 1898753 edges, 284 markings/sec, 2285 secs
lola: 1 tries, 3516 fired transitions, 2290 secs || 582978 markings, 1901572 edges, 190 markings/sec, 2290 secs
lola: 1 tries, 3522 fired transitions, 2295 secs || 584225 markings, 1906458 edges, 249 markings/sec, 2295 secs
lola: 1 tries, 3528 fired transitions, 2300 secs || 585733 markings, 1911543 edges, 302 markings/sec, 2300 secs
lola: 1 tries, 3540 fired transitions, 2305 secs || 586942 markings, 1915744 edges, 242 markings/sec, 2305 secs
lola: 1 tries, 3546 fired transitions, 2310 secs || 588013 markings, 1918722 edges, 214 markings/sec, 2310 secs
lola: 1 tries, 3552 fired transitions, 2315 secs || 589524 markings, 1924726 edges, 302 markings/sec, 2315 secs
lola: 1 tries, 3564 fired transitions, 2320 secs || 590957 markings, 1929547 edges, 287 markings/sec, 2320 secs
lola: 1 tries, 3570 fired transitions, 2325 secs || 592011 markings, 1932729 edges, 211 markings/sec, 2325 secs
lola: 1 tries, 3576 fired transitions, 2330 secs || 593104 markings, 1936300 edges, 219 markings/sec, 2330 secs
lola: 1 tries, 3582 fired transitions, 2335 secs || 594551 markings, 1941721 edges, 289 markings/sec, 2335 secs
lola: 1 tries, 3594 fired transitions, 2340 secs || 595994 markings, 1946364 edges, 289 markings/sec, 2340 secs
lola: 1 tries, 3600 fired transitions, 2345 secs || 597004 markings, 1948572 edges, 202 markings/sec, 2345 secs
lola: 1 tries, 3606 fired transitions, 2350 secs || 598082 markings, 1951604 edges, 216 markings/sec, 2350 secs
lola: 1 tries, 3612 fired transitions, 2355 secs || 599700 markings, 1957190 edges, 324 markings/sec, 2355 secs
lola: 1 tries, 3624 fired transitions, 2360 secs || 601035 markings, 1962070 edges, 267 markings/sec, 2360 secs
lola: 1 tries, 3630 fired transitions, 2365 secs || 602069 markings, 1964421 edges, 207 markings/sec, 2365 secs
lola: 1 tries, 3636 fired transitions, 2370 secs || 603204 markings, 1968644 edges, 227 markings/sec, 2370 secs
lola: 1 tries, 3642 fired transitions, 2375 secs || 604821 markings, 1974597 edges, 323 markings/sec, 2375 secs
lola: 1 tries, 3654 fired transitions, 2380 secs || 606141 markings, 1978353 edges, 264 markings/sec, 2380 secs
lola: 1 tries, 3660 fired transitions, 2385 secs || 607119 markings, 1982785 edges, 196 markings/sec, 2385 secs
lola: 1 tries, 3666 fired transitions, 2390 secs || 608617 markings, 1987796 edges, 300 markings/sec, 2390 secs
lola: 1 tries, 3678 fired transitions, 2395 secs || 609970 markings, 1991665 edges, 271 markings/sec, 2395 secs
lola: 1 tries, 3684 fired transitions, 2400 secs || 610993 markings, 1995467 edges, 205 markings/sec, 2400 secs
lola: 1 tries, 3690 fired transitions, 2405 secs || 612521 markings, 2001902 edges, 306 markings/sec, 2405 secs
lola: 1 tries, 3702 fired transitions, 2410 secs || 613879 markings, 2006613 edges, 272 markings/sec, 2410 secs
lola: 1 tries, 3708 fired transitions, 2415 secs || 614846 markings, 2009839 edges, 193 markings/sec, 2415 secs
lola: 1 tries, 3714 fired transitions, 2420 secs || 615945 markings, 2012569 edges, 220 markings/sec, 2420 secs
lola: 1 tries, 3720 fired transitions, 2425 secs || 617482 markings, 2017940 edges, 307 markings/sec, 2425 secs
lola: 1 tries, 3732 fired transitions, 2430 secs || 618959 markings, 2022113 edges, 295 markings/sec, 2430 secs
lola: 1 tries, 3738 fired transitions, 2435 secs || 619968 markings, 2024991 edges, 202 markings/sec, 2435 secs
lola: 1 tries, 3744 fired transitions, 2440 secs || 621079 markings, 2027531 edges, 222 markings/sec, 2440 secs
lola: 1 tries, 3750 fired transitions, 2445 secs || 622600 markings, 2031175 edges, 304 markings/sec, 2445 secs
lola: 1 tries, 3762 fired transitions, 2450 secs || 623830 markings, 2035634 edges, 246 markings/sec, 2450 secs
lola: 1 tries, 3768 fired transitions, 2455 secs || 624979 markings, 2039209 edges, 230 markings/sec, 2455 secs
lola: 1 tries, 3774 fired transitions, 2460 secs || 626563 markings, 2045382 edges, 317 markings/sec, 2460 secs
lola: 1 tries, 3786 fired transitions, 2465 secs || 627826 markings, 2049056 edges, 253 markings/sec, 2465 secs
lola: 1 tries, 3792 fired transitions, 2470 secs || 628886 markings, 2053448 edges, 212 markings/sec, 2470 secs
lola: 1 tries, 3798 fired transitions, 2475 secs || 630402 markings, 2059955 edges, 303 markings/sec, 2475 secs
lola: 1 tries, 3810 fired transitions, 2480 secs || 631822 markings, 2065366 edges, 284 markings/sec, 2480 secs
lola: 1 tries, 3816 fired transitions, 2485 secs || 632900 markings, 2068322 edges, 216 markings/sec, 2485 secs
lola: 1 tries, 3822 fired transitions, 2490 secs || 634263 markings, 2073111 edges, 273 markings/sec, 2490 secs
lola: 1 tries, 3834 fired transitions, 2495 secs || 635860 markings, 2077812 edges, 319 markings/sec, 2495 secs
lola: 1 tries, 3840 fired transitions, 2500 secs || 636859 markings, 2081763 edges, 200 markings/sec, 2500 secs
lola: 1 tries, 3846 fired transitions, 2505 secs || 638045 markings, 2085650 edges, 237 markings/sec, 2505 secs
lola: 1 tries, 3852 fired transitions, 2510 secs || 639515 markings, 2090522 edges, 294 markings/sec, 2510 secs
lola: 1 tries, 3864 fired transitions, 2515 secs || 640816 markings, 2094311 edges, 260 markings/sec, 2515 secs
lola: 1 tries, 3870 fired transitions, 2520 secs || 641889 markings, 2097845 edges, 215 markings/sec, 2520 secs
lola: 1 tries, 3876 fired transitions, 2525 secs || 643089 markings, 2102439 edges, 240 markings/sec, 2525 secs
lola: 1 tries, 3882 fired transitions, 2530 secs || 644582 markings, 2107680 edges, 299 markings/sec, 2530 secs
lola: 1 tries, 3894 fired transitions, 2535 secs || 645943 markings, 2112095 edges, 272 markings/sec, 2535 secs
lola: 1 tries, 3900 fired transitions, 2540 secs || 646977 markings, 2115921 edges, 207 markings/sec, 2540 secs
lola: 1 tries, 3906 fired transitions, 2545 secs || 648062 markings, 2119122 edges, 217 markings/sec, 2545 secs
lola: 1 tries, 3912 fired transitions, 2550 secs || 649539 markings, 2123538 edges, 295 markings/sec, 2550 secs
lola: 1 tries, 3924 fired transitions, 2555 secs || 650923 markings, 2130165 edges, 277 markings/sec, 2555 secs
lola: 1 tries, 3930 fired transitions, 2560 secs || 651966 markings, 2133572 edges, 209 markings/sec, 2560 secs
lola: 1 tries, 3936 fired transitions, 2565 secs || 653025 markings, 2136410 edges, 212 markings/sec, 2565 secs
lola: 1 tries, 3942 fired transitions, 2570 secs || 654485 markings, 2142561 edges, 292 markings/sec, 2570 secs
lola: 1 tries, 3954 fired transitions, 2575 secs || 655906 markings, 2147264 edges, 284 markings/sec, 2575 secs
lola: 1 tries, 3960 fired transitions, 2580 secs || 656935 markings, 2149788 edges, 206 markings/sec, 2580 secs
lola: 1 tries, 3966 fired transitions, 2585 secs || 658000 markings, 2154396 edges, 213 markings/sec, 2585 secs
lola: 1 tries, 3972 fired transitions, 2590 secs || 659462 markings, 2158626 edges, 292 markings/sec, 2590 secs
lola: 1 tries, 3984 fired transitions, 2595 secs || 660920 markings, 2163130 edges, 292 markings/sec, 2595 secs
lola: 1 tries, 3990 fired transitions, 2600 secs || 661985 markings, 2167467 edges, 213 markings/sec, 2600 secs
lola: 1 tries, 3996 fired transitions, 2605 secs || 663213 markings, 2170624 edges, 246 markings/sec, 2605 secs
lola: 1 tries, 4002 fired transitions, 2610 secs || 664754 markings, 2174866 edges, 308 markings/sec, 2610 secs
lola: 1 tries, 4014 fired transitions, 2615 secs || 665995 markings, 2178685 edges, 248 markings/sec, 2615 secs
lola: 1 tries, 4020 fired transitions, 2620 secs || 667037 markings, 2181503 edges, 208 markings/sec, 2620 secs
lola: 1 tries, 4026 fired transitions, 2625 secs || 668375 markings, 2185383 edges, 268 markings/sec, 2625 secs
lola: 1 tries, 4038 fired transitions, 2630 secs || 669917 markings, 2191267 edges, 308 markings/sec, 2630 secs
lola: 1 tries, 4044 fired transitions, 2635 secs || 670918 markings, 2194557 edges, 200 markings/sec, 2635 secs
lola: 1 tries, 4050 fired transitions, 2640 secs || 672177 markings, 2199318 edges, 252 markings/sec, 2640 secs
lola: 1 tries, 4056 fired transitions, 2645 secs || 673682 markings, 2204206 edges, 301 markings/sec, 2645 secs
lola: 1 tries, 4068 fired transitions, 2650 secs || 674917 markings, 2208564 edges, 247 markings/sec, 2650 secs
lola: 1 tries, 4074 fired transitions, 2655 secs || 676007 markings, 2211544 edges, 218 markings/sec, 2655 secs
lola: 1 tries, 4080 fired transitions, 2660 secs || 677454 markings, 2216151 edges, 289 markings/sec, 2660 secs
lola: 1 tries, 4092 fired transitions, 2665 secs || 678875 markings, 2220022 edges, 284 markings/sec, 2665 secs
lola: 1 tries, 4098 fired transitions, 2670 secs || 679791 markings, 2222248 edges, 183 markings/sec, 2670 secs
lola: 1 tries, 4104 fired transitions, 2675 secs || 680813 markings, 2226211 edges, 204 markings/sec, 2675 secs
lola: 1 tries, 4110 fired transitions, 2680 secs || 682225 markings, 2230118 edges, 282 markings/sec, 2680 secs
lola: 1 tries, 4116 fired transitions, 2685 secs || 683730 markings, 2234021 edges, 301 markings/sec, 2685 secs
lola: 1 tries, 4128 fired transitions, 2690 secs || 684855 markings, 2237063 edges, 225 markings/sec, 2690 secs
lola: 1 tries, 4134 fired transitions, 2695 secs || 685925 markings, 2240036 edges, 214 markings/sec, 2695 secs
lola: 1 tries, 4140 fired transitions, 2700 secs || 687348 markings, 2245255 edges, 285 markings/sec, 2700 secs
lola: 1 tries, 4152 fired transitions, 2705 secs || 688886 markings, 2250217 edges, 308 markings/sec, 2705 secs
lola: 1 tries, 4158 fired transitions, 2710 secs || 689930 markings, 2253318 edges, 209 markings/sec, 2710 secs
lola: 1 tries, 4164 fired transitions, 2715 secs || 691601 markings, 2259817 edges, 334 markings/sec, 2715 secs
lola: 1 tries, 4176 fired transitions, 2720 secs || 692850 markings, 2263448 edges, 250 markings/sec, 2720 secs
lola: 1 tries, 4182 fired transitions, 2725 secs || 694142 markings, 2267172 edges, 258 markings/sec, 2725 secs
lola: 1 tries, 4194 fired transitions, 2730 secs || 695884 markings, 2272528 edges, 348 markings/sec, 2730 secs
lola: 1 tries, 4200 fired transitions, 2735 secs || 696956 markings, 2275803 edges, 214 markings/sec, 2735 secs
lola: 1 tries, 4206 fired transitions, 2740 secs || 698504 markings, 2281182 edges, 310 markings/sec, 2740 secs
lola: 1 tries, 4218 fired transitions, 2745 secs || 699983 markings, 2286251 edges, 296 markings/sec, 2745 secs
lola: 1 tries, 4224 fired transitions, 2750 secs || 701099 markings, 2289673 edges, 223 markings/sec, 2750 secs
lola: 1 tries, 4230 fired transitions, 2755 secs || 702793 markings, 2295646 edges, 339 markings/sec, 2755 secs
lola: 1 tries, 4242 fired transitions, 2760 secs || 703930 markings, 2298452 edges, 227 markings/sec, 2760 secs
lola: 1 tries, 4248 fired transitions, 2765 secs || 705290 markings, 2302754 edges, 272 markings/sec, 2765 secs
lola: 1 tries, 4260 fired transitions, 2770 secs || 706982 markings, 2308581 edges, 338 markings/sec, 2770 secs
lola: 1 tries, 4266 fired transitions, 2775 secs || 708097 markings, 2313324 edges, 223 markings/sec, 2775 secs
lola: 1 tries, 4272 fired transitions, 2780 secs || 709609 markings, 2317800 edges, 302 markings/sec, 2780 secs
lola: 1 tries, 4284 fired transitions, 2785 secs || 710985 markings, 2322646 edges, 275 markings/sec, 2785 secs
lola: 1 tries, 4290 fired transitions, 2790 secs || 712010 markings, 2326652 edges, 205 markings/sec, 2790 secs
lola: 1 tries, 4296 fired transitions, 2795 secs || 713067 markings, 2329486 edges, 211 markings/sec, 2795 secs
lola: 1 tries, 4302 fired transitions, 2800 secs || 714486 markings, 2332977 edges, 284 markings/sec, 2800 secs
lola: 1 tries, 4314 fired transitions, 2805 secs || 715979 markings, 2337441 edges, 299 markings/sec, 2805 secs
lola: 1 tries, 4320 fired transitions, 2810 secs || 716993 markings, 2339894 edges, 203 markings/sec, 2810 secs
lola: 1 tries, 4326 fired transitions, 2815 secs || 718336 markings, 2344839 edges, 269 markings/sec, 2815 secs
lola: 1 tries, 4332 fired transitions, 2820 secs || 719884 markings, 2349255 edges, 310 markings/sec, 2820 secs
lola: 1 tries, 4344 fired transitions, 2825 secs || 721107 markings, 2353265 edges, 245 markings/sec, 2825 secs
lola: 1 tries, 4350 fired transitions, 2830 secs || 722135 markings, 2356424 edges, 206 markings/sec, 2830 secs
lola: 1 tries, 4356 fired transitions, 2835 secs || 723494 markings, 2360318 edges, 272 markings/sec, 2835 secs
lola: 1 tries, 4362 fired transitions, 2840 secs || 724960 markings, 2364517 edges, 293 markings/sec, 2840 secs
lola: 1 tries, 4374 fired transitions, 2845 secs || 726171 markings, 2367832 edges, 242 markings/sec, 2845 secs
lola: 1 tries, 4380 fired transitions, 2850 secs || 727228 markings, 2370831 edges, 211 markings/sec, 2850 secs
lola: 1 tries, 4386 fired transitions, 2855 secs || 728391 markings, 2374901 edges, 233 markings/sec, 2855 secs
lola: 1 tries, 4392 fired transitions, 2860 secs || 729871 markings, 2379803 edges, 296 markings/sec, 2860 secs
lola: 1 tries, 4404 fired transitions, 2865 secs || 731235 markings, 2384563 edges, 273 markings/sec, 2865 secs
lola: 1 tries, 4410 fired transitions, 2870 secs || 732279 markings, 2386905 edges, 209 markings/sec, 2870 secs
lola: 1 tries, 4416 fired transitions, 2875 secs || 733354 markings, 2389777 edges, 215 markings/sec, 2875 secs
lola: 1 tries, 4422 fired transitions, 2880 secs || 734728 markings, 2393714 edges, 275 markings/sec, 2880 secs
lola: 1 tries, 4434 fired transitions, 2885 secs || 736131 markings, 2397442 edges, 281 markings/sec, 2885 secs
lola: 1 tries, 4440 fired transitions, 2890 secs || 737194 markings, 2401439 edges, 213 markings/sec, 2890 secs
lola: 1 tries, 4446 fired transitions, 2895 secs || 738341 markings, 2405192 edges, 229 markings/sec, 2895 secs
lola: 1 tries, 4452 fired transitions, 2900 secs || 739850 markings, 2410187 edges, 302 markings/sec, 2900 secs
lola: 1 tries, 4464 fired transitions, 2905 secs || 741216 markings, 2414234 edges, 273 markings/sec, 2905 secs
lola: 1 tries, 4470 fired transitions, 2910 secs || 742252 markings, 2418096 edges, 207 markings/sec, 2910 secs
lola: 1 tries, 4476 fired transitions, 2915 secs || 743393 markings, 2421632 edges, 228 markings/sec, 2915 secs
lola: 1 tries, 4482 fired transitions, 2920 secs || 744879 markings, 2427187 edges, 297 markings/sec, 2920 secs
lola: 1 tries, 4494 fired transitions, 2925 secs || 746351 markings, 2431392 edges, 294 markings/sec, 2925 secs
lola: 1 tries, 4500 fired transitions, 2930 secs || 747415 markings, 2434507 edges, 213 markings/sec, 2930 secs
lola: 1 tries, 4506 fired transitions, 2935 secs || 748602 markings, 2440266 edges, 237 markings/sec, 2935 secs
lola: 1 tries, 4512 fired transitions, 2940 secs || 750054 markings, 2445646 edges, 290 markings/sec, 2940 secs
lola: 1 tries, 4524 fired transitions, 2945 secs || 751414 markings, 2450133 edges, 272 markings/sec, 2945 secs
lola: 1 tries, 4530 fired transitions, 2950 secs || 752473 markings, 2452963 edges, 212 markings/sec, 2950 secs
lola: 1 tries, 4536 fired transitions, 2955 secs || 753713 markings, 2457141 edges, 248 markings/sec, 2955 secs
lola: 1 tries, 4542 fired transitions, 2960 secs || 755216 markings, 2464408 edges, 301 markings/sec, 2960 secs
lola: 1 tries, 4554 fired transitions, 2965 secs || 756588 markings, 2469888 edges, 274 markings/sec, 2965 secs
lola: 1 tries, 4560 fired transitions, 2970 secs || 757638 markings, 2473270 edges, 210 markings/sec, 2970 secs
lola: 1 tries, 4566 fired transitions, 2975 secs || 758978 markings, 2477790 edges, 268 markings/sec, 2975 secs
lola: 1 tries, 4572 fired transitions, 2980 secs || 760560 markings, 2483379 edges, 316 markings/sec, 2980 secs
lola: 1 tries, 4584 fired transitions, 2985 secs || 761676 markings, 2487080 edges, 223 markings/sec, 2985 secs
lola: 1 tries, 4590 fired transitions, 2990 secs || 762749 markings, 2490383 edges, 215 markings/sec, 2990 secs
lola: 1 tries, 4596 fired transitions, 2995 secs || 764223 markings, 2495878 edges, 295 markings/sec, 2995 secs
lola: 1 tries, 4606 fired transitions, 3000 secs || 765738 markings, 2500926 edges, 303 markings/sec, 3000 secs
lola: 1 tries, 4614 fired transitions, 3005 secs || 766768 markings, 2506001 edges, 206 markings/sec, 3005 secs
lola: 1 tries, 4620 fired transitions, 3010 secs || 767947 markings, 2509316 edges, 236 markings/sec, 3010 secs
lola: 1 tries, 4626 fired transitions, 3015 secs || 769539 markings, 2514978 edges, 318 markings/sec, 3015 secs
lola: 1 tries, 4638 fired transitions, 3020 secs || 770818 markings, 2519186 edges, 256 markings/sec, 3020 secs
lola: 1 tries, 4644 fired transitions, 3025 secs || 771875 markings, 2522920 edges, 211 markings/sec, 3025 secs
lola: 1 tries, 4650 fired transitions, 3030 secs || 773249 markings, 2528645 edges, 275 markings/sec, 3030 secs
lola: 1 tries, 4656 fired transitions, 3035 secs || 774764 markings, 2532495 edges, 303 markings/sec, 3035 secs
lola: 1 tries, 4668 fired transitions, 3040 secs || 775890 markings, 2535735 edges, 225 markings/sec, 3040 secs
lola: 1 tries, 4674 fired transitions, 3045 secs || 776925 markings, 2538625 edges, 207 markings/sec, 3045 secs
lola: 1 tries, 4680 fired transitions, 3050 secs || 778484 markings, 2544279 edges, 312 markings/sec, 3050 secs
lola: 1 tries, 4692 fired transitions, 3055 secs || 779957 markings, 2549608 edges, 295 markings/sec, 3055 secs
lola: 1 tries, 4698 fired transitions, 3060 secs || 781020 markings, 2552779 edges, 213 markings/sec, 3060 secs
lola: 1 tries, 4704 fired transitions, 3065 secs || 782248 markings, 2557013 edges, 246 markings/sec, 3065 secs
lola: 1 tries, 4710 fired transitions, 3070 secs || 783684 markings, 2562712 edges, 287 markings/sec, 3070 secs
lola: 1 tries, 4722 fired transitions, 3075 secs || 784981 markings, 2567018 edges, 259 markings/sec, 3075 secs
lola: 1 tries, 4728 fired transitions, 3080 secs || 786025 markings, 2570061 edges, 209 markings/sec, 3080 secs
lola: 1 tries, 4734 fired transitions, 3085 secs || 787439 markings, 2574193 edges, 283 markings/sec, 3085 secs
lola: 1 tries, 4746 fired transitions, 3090 secs || 788861 markings, 2579073 edges, 284 markings/sec, 3090 secs
lola: 1 tries, 4752 fired transitions, 3095 secs || 789881 markings, 2581967 edges, 204 markings/sec, 3095 secs
lola: 1 tries, 4758 fired transitions, 3100 secs || 791199 markings, 2586813 edges, 264 markings/sec, 3100 secs
lola: 1 tries, 4764 fired transitions, 3105 secs || 792694 markings, 2590835 edges, 299 markings/sec, 3105 secs
lola: 1 tries, 4776 fired transitions, 3110 secs || 793853 markings, 2593867 edges, 232 markings/sec, 3110 secs
lola: 1 tries, 4782 fired transitions, 3115 secs || 794896 markings, 2598122 edges, 209 markings/sec, 3115 secs
lola: 1 tries, 4788 fired transitions, 3120 secs || 796244 markings, 2602483 edges, 270 markings/sec, 3120 secs
lola: 1 tries, 4794 fired transitions, 3125 secs || 797721 markings, 2608152 edges, 295 markings/sec, 3125 secs
lola: 1 tries, 4806 fired transitions, 3130 secs || 798936 markings, 2612742 edges, 243 markings/sec, 3130 secs
lola: 1 tries, 4812 fired transitions, 3135 secs || 799969 markings, 2615522 edges, 207 markings/sec, 3135 secs
lola: 1 tries, 4818 fired transitions, 3140 secs || 801285 markings, 2619789 edges, 263 markings/sec, 3140 secs
lola: 1 tries, 4830 fired transitions, 3145 secs || 802687 markings, 2623959 edges, 280 markings/sec, 3145 secs
lola: 1 tries, 4836 fired transitions, 3150 secs || 803726 markings, 2626202 edges, 208 markings/sec, 3150 secs
lola: 1 tries, 4842 fired transitions, 3155 secs || 804972 markings, 2631052 edges, 249 markings/sec, 3155 secs
lola: 1 tries, 4848 fired transitions, 3160 secs || 806600 markings, 2636228 edges, 326 markings/sec, 3160 secs
lola: 1 tries, 4860 fired transitions, 3165 secs || 807668 markings, 2639923 edges, 214 markings/sec, 3165 secs
lola: 1 tries, 4866 fired transitions, 3170 secs || 808895 markings, 2644490 edges, 245 markings/sec, 3170 secs
lola: 1 tries, 4872 fired transitions, 3175 secs || 810506 markings, 2650843 edges, 322 markings/sec, 3175 secs
lola: 1 tries, 4884 fired transitions, 3180 secs || 811662 markings, 2655235 edges, 231 markings/sec, 3180 secs
lola: 1 tries, 4890 fired transitions, 3185 secs || 812736 markings, 2658973 edges, 215 markings/sec, 3185 secs
lola: 1 tries, 4896 fired transitions, 3190 secs || 814294 markings, 2664541 edges, 312 markings/sec, 3190 secs
lola: 1 tries, 4908 fired transitions, 3195 secs || 815680 markings, 2670239 edges, 277 markings/sec, 3195 secs
lola: 1 tries, 4914 fired transitions, 3200 secs || 816737 markings, 2674343 edges, 211 markings/sec, 3200 secs
lola: 1 tries, 4920 fired transitions, 3205 secs || 818125 markings, 2679307 edges, 278 markings/sec, 3205 secs
lola: 1 tries, 4932 fired transitions, 3210 secs || 819526 markings, 2683996 edges, 280 markings/sec, 3210 secs
lola: 1 tries, 4938 fired transitions, 3215 secs || 820553 markings, 2687483 edges, 205 markings/sec, 3215 secs
lola: 1 tries, 4944 fired transitions, 3220 secs || 821913 markings, 2691706 edges, 272 markings/sec, 3220 secs
lola: 1 tries, 4950 fired transitions, 3225 secs || 823448 markings, 2696653 edges, 307 markings/sec, 3225 secs
lola: 1 tries, 4962 fired transitions, 3230 secs || 824552 markings, 2699779 edges, 221 markings/sec, 3230 secs
lola: 1 tries, 4968 fired transitions, 3235 secs || 825616 markings, 2702695 edges, 213 markings/sec, 3235 secs
lola: 1 tries, 4974 fired transitions, 3240 secs || 827022 markings, 2706723 edges, 281 markings/sec, 3240 secs
lola: 1 tries, 4986 fired transitions, 3245 secs || 828451 markings, 2711398 edges, 286 markings/sec, 3245 secs
lola: 1 tries, 4992 fired transitions, 3250 secs || 829503 markings, 2714607 edges, 210 markings/sec, 3250 secs
lola: 1 tries, 4998 fired transitions, 3255 secs || 830620 markings, 2718351 edges, 223 markings/sec, 3255 secs
lola: 1 tries, 5004 fired transitions, 3260 secs || 832094 markings, 2723249 edges, 295 markings/sec, 3260 secs
lola: 1 tries, 5016 fired transitions, 3265 secs || 833544 markings, 2728912 edges, 290 markings/sec, 3265 secs
lola: 1 tries, 5022 fired transitions, 3270 secs || 834570 markings, 2732143 edges, 205 markings/sec, 3270 secs
lola: 1 tries, 5028 fired transitions, 3275 secs || 835796 markings, 2736661 edges, 245 markings/sec, 3275 secs
lola: 1 tries, 5034 fired transitions, 3280 secs || 837262 markings, 2740721 edges, 293 markings/sec, 3280 secs
lola: 1 tries, 5046 fired transitions, 3285 secs || 838598 markings, 2744787 edges, 267 markings/sec, 3285 secs
lola: 1 tries, 5052 fired transitions, 3290 secs || 839641 markings, 2747310 edges, 209 markings/sec, 3290 secs
lola: 1 tries, 5058 fired transitions, 3295 secs || 840894 markings, 2750818 edges, 251 markings/sec, 3295 secs
lola: 1 tries, 5064 fired transitions, 3300 secs || 842466 markings, 2757383 edges, 314 markings/sec, 3300 secs
lola: 1 tries, 5076 fired transitions, 3305 secs || 843628 markings, 2761586 edges, 232 markings/sec, 3305 secs
lola: 1 tries, 5082 fired transitions, 3310 secs || 844663 markings, 2766725 edges, 207 markings/sec, 3310 secs
lola: 1 tries, 5088 fired transitions, 3315 secs || 846123 markings, 2772902 edges, 292 markings/sec, 3315 secs
lola: 1 tries, 5100 fired transitions, 3320 secs || 847412 markings, 2777205 edges, 258 markings/sec, 3320 secs
lola: 1 tries, 5106 fired transitions, 3325 secs || 848436 markings, 2780571 edges, 205 markings/sec, 3325 secs
lola: 1 tries, 5112 fired transitions, 3330 secs || 849710 markings, 2784977 edges, 255 markings/sec, 3330 secs
lola: 1 tries, 5118 fired transitions, 3335 secs || 851219 markings, 2789647 edges, 302 markings/sec, 3335 secs
lola: 1 tries, 5130 fired transitions, 3340 secs || 852357 markings, 2793690 edges, 228 markings/sec, 3340 secs
lola: 1 tries, 5136 fired transitions, 3345 secs || 853300 markings, 2796330 edges, 189 markings/sec, 3345 secs
lola: 1 tries, 5142 fired transitions, 3350 secs || 854721 markings, 2801126 edges, 284 markings/sec, 3350 secs
lola: 1 tries, 5154 fired transitions, 3355 secs || 856099 markings, 2804963 edges, 276 markings/sec, 3355 secs
lola: 1 tries, 5160 fired transitions, 3360 secs || 857146 markings, 2808109 edges, 209 markings/sec, 3360 secs
lola: 1 tries, 5166 fired transitions, 3365 secs || 858441 markings, 2812007 edges, 259 markings/sec, 3365 secs
lola: 1 tries, 5172 fired transitions, 3370 secs || 859864 markings, 2816205 edges, 285 markings/sec, 3370 secs
lola: 1 tries, 5184 fired transitions, 3375 secs || 861054 markings, 2819821 edges, 238 markings/sec, 3375 secs
lola: 1 tries, 5190 fired transitions, 3380 secs || 862108 markings, 2823435 edges, 211 markings/sec, 3380 secs
lola: 1 tries, 5196 fired transitions, 3385 secs || 863593 markings, 2828756 edges, 297 markings/sec, 3385 secs
lola: 1 tries, 5208 fired transitions, 3390 secs || 865007 markings, 2833546 edges, 283 markings/sec, 3390 secs
lola: 1 tries, 5214 fired transitions, 3395 secs || 866065 markings, 2837420 edges, 212 markings/sec, 3395 secs
lola: 1 tries, 5220 fired transitions, 3400 secs || 867483 markings, 2841034 edges, 284 markings/sec, 3400 secs
lola: 1 tries, 5226 fired transitions, 3405 secs || 869044 markings, 2845967 edges, 312 markings/sec, 3405 secs
lola: 1 tries, 5238 fired transitions, 3410 secs || 870141 markings, 2849927 edges, 219 markings/sec, 3410 secs
lola: 1 tries, 5244 fired transitions, 3415 secs || 871223 markings, 2854134 edges, 216 markings/sec, 3415 secs
lola: 1 tries, 5250 fired transitions, 3420 secs || 872837 markings, 2860224 edges, 323 markings/sec, 3420 secs
lola: 1 tries, 5262 fired transitions, 3425 secs || 874304 markings, 2864665 edges, 293 markings/sec, 3425 secs
lola: 1 tries, 5268 fired transitions, 3430 secs || 875405 markings, 2868249 edges, 220 markings/sec, 3430 secs
lola: 1 tries, 5274 fired transitions, 3435 secs || 876618 markings, 2872531 edges, 243 markings/sec, 3435 secs
lola: 1 tries, 5280 fired transitions, 3440 secs || 878117 markings, 2877358 edges, 300 markings/sec, 3440 secs
lola: 1 tries, 5292 fired transitions, 3445 secs || 879440 markings, 2881840 edges, 265 markings/sec, 3445 secs
lola: 1 tries, 5298 fired transitions, 3450 secs || 880427 markings, 2884832 edges, 197 markings/sec, 3450 secs
lola: 1 tries, 5304 fired transitions, 3455 secs || 881879 markings, 2889991 edges, 290 markings/sec, 3455 secs
lola: 1 tries, 5316 fired transitions, 3460 secs || 883384 markings, 2894658 edges, 301 markings/sec, 3460 secs
lola: 1 tries, 5322 fired transitions, 3465 secs || 884414 markings, 2898534 edges, 206 markings/sec, 3465 secs
lola: 1 tries, 5328 fired transitions, 3470 secs || 885574 markings, 2901374 edges, 232 markings/sec, 3470 secs
lola: 1 tries, 5334 fired transitions, 3475 secs || 887048 markings, 2906978 edges, 295 markings/sec, 3475 secs
lola: 1 tries, 5346 fired transitions, 3480 secs || 888424 markings, 2910414 edges, 275 markings/sec, 3480 secs
lola: 1 tries, 5352 fired transitions, 3485 secs || 889461 markings, 2913256 edges, 207 markings/sec, 3485 secs
lola: 1 tries, 5358 fired transitions, 3490 secs || 890553 markings, 2915992 edges, 218 markings/sec, 3490 secs
lola: 1 tries, 5364 fired transitions, 3495 secs || 892010 markings, 2920885 edges, 291 markings/sec, 3495 secs
lola: 1 tries, 5376 fired transitions, 3500 secs || 893430 markings, 2924497 edges, 284 markings/sec, 3500 secs
lola: 1 tries, 5382 fired transitions, 3505 secs || 894375 markings, 2927500 edges, 189 markings/sec, 3505 secs
lola: 1 tries, 5388 fired transitions, 3510 secs || 895421 markings, 2931225 edges, 209 markings/sec, 3510 secs
lola: 1 tries, 5394 fired transitions, 3515 secs || 896926 markings, 2936977 edges, 301 markings/sec, 3515 secs
lola: 1 tries, 5406 fired transitions, 3520 secs || 898297 markings, 2941394 edges, 274 markings/sec, 3520 secs
lola: 1 tries, 5412 fired transitions, 3525 secs || 899337 markings, 2944410 edges, 208 markings/sec, 3525 secs
lola: 1 tries, 5418 fired transitions, 3530 secs || 900399 markings, 2948198 edges, 212 markings/sec, 3530 secs
lola: 1 tries, 5424 fired transitions, 3535 secs || 901791 markings, 2952259 edges, 278 markings/sec, 3535 secs
lola: 1 tries, 5430 fired transitions, 3540 secs || 903165 markings, 2956260 edges, 275 markings/sec, 3540 secs
lola: 1 tries, 5442 fired transitions, 3545 secs || 904219 markings, 2959564 edges, 211 markings/sec, 3545 secs
lola: 1 tries, 5448 fired transitions, 3550 secs || 905211 markings, 2962984 edges, 198 markings/sec, 3550 secs
lola: 1 tries, 5454 fired transitions, 3555 secs || 906534 markings, 2967102 edges, 265 markings/sec, 3555 secs
lola: time limit reached - aborting
lola: memory consumption: 895912 KB
lola: time consumption: 3570 seconds
lola: print data as JSON (--json)
lola: writing JSON to GlobalProperties.json
lola: closed JSON file GlobalProperties.json
rslt: finished

BK_STOP 1552669689699

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

grep: GenericPropertiesVerdict.xml: No such file or directory
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="GlobalResAllocation-COL-05"
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 GlobalResAllocation-COL-05, 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 r082-csrt-155246549500471"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/GlobalResAllocation-COL-05.tgz
mv GlobalResAllocation-COL-05 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 ;