About the Execution of LoLA for GlobalResAllocation-PT-05
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 5363.970 | 3570171.00 | 7250499.00 | 546.30 | [undef] | Cannot compute |
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-155246549600534.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-PT-05, examination is GlobalProperties
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r082-csrt-155246549600534
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 136M
-rw-r--r-- 1 mcc users 13K Feb 11 01:38 CTLCardinality.txt
-rw-r--r-- 1 mcc users 41K Feb 11 01:38 CTLCardinality.xml
-rw-r--r-- 1 mcc users 8.3M Feb 7 01:23 CTLFireability.txt
-rw-r--r-- 1 mcc users 26M Feb 7 01:23 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 10 17:31 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 112 Feb 24 15:05 GlobalProperties.txt
-rw-r--r-- 1 mcc users 350 Feb 24 15:05 GlobalProperties.xml
-rw-r--r-- 1 mcc users 9.2K Feb 4 23:55 LTLCardinality.txt
-rw-r--r-- 1 mcc users 26K Feb 4 23:55 LTLCardinality.xml
-rw-r--r-- 1 mcc users 3.4M Feb 4 22:36 LTLFireability.txt
-rw-r--r-- 1 mcc users 11M Feb 4 22:35 LTLFireability.xml
-rw-r--r-- 1 mcc users 11K Feb 3 08:49 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 37K Feb 3 08:49 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 4.7M Jan 31 03:01 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 15M Jan 31 03:01 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 4.3K Feb 4 22:21 UpperBounds.txt
-rw-r--r-- 1 mcc users 8.7K Feb 4 22:20 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 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 70M 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-PT-05-GlobalProperties-0
=== Now, execution of the tool begins
BK_START 1552669092450
info: Time: 3600 - MCC
vrfy: Checking GlobalProperties @ GlobalResAllocation-PT-05 @ 3570 seconds
vrfy: finished
info: timeLeft: 0
rslt: Output for GlobalProperties @ GlobalResAllocation-PT-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:58:12 2019
",
"timelimit": 3570
},
"child": null,
"exit":
{
"error": null,
"memory": 1062960,
"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 place/transition net
lola: finished parsing
lola: closed net file model.pnml
lola: 56180/268435456 symbol table entries, 2400 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: computing symmetries (--symmetry)
lola: time limit for symmetry computation of 300 seconds given (--symmtimelimit)
lola: findpath: no retry limit given (--retrylimit)
lola: findpath: transitions are chosen hash-driven
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, 4 fired transitions, 0 secs || 36 markings, 109 edges, 7 markings/sec, 0 secs
lola: 1 tries, 8 fired transitions, 5 secs || 1405 markings, 3470 edges, 274 markings/sec, 5 secs
lola: 1 tries, 12 fired transitions, 10 secs || 2674 markings, 10777 edges, 254 markings/sec, 10 secs
lola: 1 tries, 16 fired transitions, 15 secs || 4484 markings, 15905 edges, 362 markings/sec, 15 secs
lola: 1 tries, 20 fired transitions, 20 secs || 6223 markings, 21147 edges, 348 markings/sec, 20 secs
lola: 1 tries, 28 fired transitions, 25 secs || 7535 markings, 25420 edges, 262 markings/sec, 25 secs
lola: 1 tries, 32 fired transitions, 30 secs || 8710 markings, 29376 edges, 235 markings/sec, 30 secs
lola: 1 tries, 36 fired transitions, 35 secs || 10295 markings, 33596 edges, 317 markings/sec, 35 secs
lola: 1 tries, 40 fired transitions, 40 secs || 12123 markings, 40851 edges, 366 markings/sec, 40 secs
lola: 1 tries, 48 fired transitions, 45 secs || 13565 markings, 45936 edges, 288 markings/sec, 45 secs
lola: 1 tries, 52 fired transitions, 50 secs || 14910 markings, 50179 edges, 269 markings/sec, 50 secs
lola: 1 tries, 56 fired transitions, 55 secs || 16137 markings, 55586 edges, 245 markings/sec, 55 secs
lola: 1 tries, 60 fired transitions, 60 secs || 17691 markings, 71107 edges, 311 markings/sec, 60 secs
lola: 1 tries, 68 fired transitions, 65 secs || 19401 markings, 77750 edges, 342 markings/sec, 65 secs
lola: 1 tries, 72 fired transitions, 70 secs || 20496 markings, 82983 edges, 219 markings/sec, 70 secs
lola: 1 tries, 76 fired transitions, 75 secs || 21703 markings, 87106 edges, 241 markings/sec, 75 secs
lola: 1 tries, 80 fired transitions, 80 secs || 23448 markings, 91543 edges, 349 markings/sec, 80 secs
lola: 1 tries, 84 fired transitions, 85 secs || 25143 markings, 98573 edges, 339 markings/sec, 85 secs
lola: 1 tries, 92 fired transitions, 90 secs || 26645 markings, 101941 edges, 300 markings/sec, 90 secs
lola: 1 tries, 96 fired transitions, 95 secs || 27900 markings, 106846 edges, 251 markings/sec, 95 secs
lola: 1 tries, 100 fired transitions, 100 secs || 29145 markings, 111824 edges, 249 markings/sec, 100 secs
lola: 1 tries, 104 fired transitions, 105 secs || 30887 markings, 118432 edges, 348 markings/sec, 105 secs
lola: 1 tries, 112 fired transitions, 110 secs || 32506 markings, 127920 edges, 324 markings/sec, 110 secs
lola: 1 tries, 116 fired transitions, 115 secs || 33791 markings, 131493 edges, 257 markings/sec, 115 secs
lola: 1 tries, 120 fired transitions, 120 secs || 35290 markings, 135184 edges, 300 markings/sec, 120 secs
lola: 1 tries, 124 fired transitions, 125 secs || 37134 markings, 144536 edges, 369 markings/sec, 125 secs
lola: 1 tries, 132 fired transitions, 130 secs || 38406 markings, 149671 edges, 254 markings/sec, 130 secs
lola: 1 tries, 136 fired transitions, 135 secs || 39477 markings, 153165 edges, 214 markings/sec, 135 secs
lola: 1 tries, 140 fired transitions, 140 secs || 40904 markings, 156624 edges, 285 markings/sec, 140 secs
lola: 1 tries, 144 fired transitions, 145 secs || 42646 markings, 162118 edges, 348 markings/sec, 145 secs
lola: 1 tries, 148 fired transitions, 150 secs || 44211 markings, 168464 edges, 313 markings/sec, 150 secs
lola: 1 tries, 156 fired transitions, 155 secs || 45638 markings, 172989 edges, 285 markings/sec, 155 secs
lola: 1 tries, 160 fired transitions, 160 secs || 46978 markings, 177206 edges, 268 markings/sec, 160 secs
lola: 1 tries, 164 fired transitions, 165 secs || 48412 markings, 182467 edges, 287 markings/sec, 165 secs
lola: 1 tries, 168 fired transitions, 170 secs || 50094 markings, 191934 edges, 336 markings/sec, 170 secs
lola: 1 tries, 176 fired transitions, 175 secs || 51450 markings, 196309 edges, 271 markings/sec, 175 secs
lola: 1 tries, 180 fired transitions, 180 secs || 52753 markings, 199288 edges, 261 markings/sec, 180 secs
lola: 1 tries, 184 fired transitions, 185 secs || 54401 markings, 204213 edges, 330 markings/sec, 185 secs
lola: 1 tries, 190 fired transitions, 190 secs || 56226 markings, 210713 edges, 365 markings/sec, 190 secs
lola: 1 tries, 196 fired transitions, 195 secs || 57392 markings, 216044 edges, 233 markings/sec, 195 secs
lola: 1 tries, 201 fired transitions, 200 secs || 58783 markings, 220417 edges, 278 markings/sec, 200 secs
lola: 1 tries, 205 fired transitions, 205 secs || 60437 markings, 225661 edges, 331 markings/sec, 205 secs
lola: 1 tries, 209 fired transitions, 210 secs || 62349 markings, 232154 edges, 382 markings/sec, 210 secs
lola: 1 tries, 218 fired transitions, 215 secs || 63743 markings, 236596 edges, 279 markings/sec, 215 secs
lola: 1 tries, 222 fired transitions, 220 secs || 64760 markings, 240889 edges, 203 markings/sec, 220 secs
lola: 1 tries, 227 fired transitions, 225 secs || 66210 markings, 245182 edges, 290 markings/sec, 225 secs
lola: 1 tries, 231 fired transitions, 230 secs || 68054 markings, 250909 edges, 369 markings/sec, 230 secs
lola: 1 tries, 240 fired transitions, 235 secs || 69786 markings, 257694 edges, 346 markings/sec, 235 secs
lola: 1 tries, 244 fired transitions, 240 secs || 71080 markings, 262330 edges, 259 markings/sec, 240 secs
lola: 1 tries, 248 fired transitions, 245 secs || 72390 markings, 266127 edges, 262 markings/sec, 245 secs
lola: 1 tries, 252 fired transitions, 250 secs || 74078 markings, 271961 edges, 338 markings/sec, 250 secs
lola: 1 tries, 256 fired transitions, 255 secs || 75699 markings, 277955 edges, 324 markings/sec, 255 secs
lola: 1 tries, 266 fired transitions, 260 secs || 77085 markings, 281781 edges, 277 markings/sec, 260 secs
lola: 1 tries, 270 fired transitions, 265 secs || 78293 markings, 286339 edges, 242 markings/sec, 265 secs
lola: 1 tries, 274 fired transitions, 270 secs || 79878 markings, 291402 edges, 317 markings/sec, 270 secs
lola: 1 tries, 278 fired transitions, 275 secs || 81626 markings, 296668 edges, 350 markings/sec, 275 secs
lola: 1 tries, 288 fired transitions, 280 secs || 82813 markings, 302371 edges, 237 markings/sec, 280 secs
lola: 1 tries, 292 fired transitions, 285 secs || 83972 markings, 306092 edges, 232 markings/sec, 285 secs
lola: 1 tries, 296 fired transitions, 290 secs || 85572 markings, 311270 edges, 320 markings/sec, 290 secs
lola: 1 tries, 300 fired transitions, 295 secs || 87050 markings, 317036 edges, 296 markings/sec, 295 secs
lola: 1 tries, 304 fired transitions, 300 secs || 88261 markings, 321593 edges, 242 markings/sec, 300 secs
lola: 1 tries, 312 fired transitions, 305 secs || 89611 markings, 325059 edges, 270 markings/sec, 305 secs
lola: 1 tries, 316 fired transitions, 310 secs || 90786 markings, 329623 edges, 235 markings/sec, 310 secs
lola: 1 tries, 321 fired transitions, 315 secs || 92125 markings, 334671 edges, 268 markings/sec, 315 secs
lola: 1 tries, 326 fired transitions, 320 secs || 93829 markings, 340338 edges, 341 markings/sec, 320 secs
lola: 1 tries, 330 fired transitions, 325 secs || 95547 markings, 346639 edges, 344 markings/sec, 325 secs
lola: 1 tries, 338 fired transitions, 330 secs || 96821 markings, 352348 edges, 255 markings/sec, 330 secs
lola: 1 tries, 342 fired transitions, 335 secs || 98158 markings, 355418 edges, 267 markings/sec, 335 secs
lola: 1 tries, 346 fired transitions, 340 secs || 99869 markings, 362127 edges, 342 markings/sec, 340 secs
lola: 1 tries, 350 fired transitions, 345 secs || 101743 markings, 369478 edges, 375 markings/sec, 345 secs
lola: 1 tries, 358 fired transitions, 350 secs || 103147 markings, 374634 edges, 281 markings/sec, 350 secs
lola: 1 tries, 362 fired transitions, 355 secs || 104239 markings, 378021 edges, 218 markings/sec, 355 secs
lola: 1 tries, 367 fired transitions, 360 secs || 105547 markings, 382598 edges, 262 markings/sec, 360 secs
lola: 1 tries, 372 fired transitions, 365 secs || 107258 markings, 386650 edges, 342 markings/sec, 365 secs
lola: 1 tries, 380 fired transitions, 370 secs || 108991 markings, 392033 edges, 347 markings/sec, 370 secs
lola: 1 tries, 385 fired transitions, 375 secs || 110327 markings, 397430 edges, 267 markings/sec, 375 secs
lola: 1 tries, 390 fired transitions, 380 secs || 111146 markings, 400546 edges, 164 markings/sec, 380 secs
lola: 1 tries, 394 fired transitions, 385 secs || 112600 markings, 404984 edges, 291 markings/sec, 385 secs
lola: 1 tries, 399 fired transitions, 390 secs || 114146 markings, 409917 edges, 309 markings/sec, 390 secs
lola: 1 tries, 407 fired transitions, 395 secs || 115195 markings, 412436 edges, 210 markings/sec, 395 secs
lola: 1 tries, 411 fired transitions, 400 secs || 116318 markings, 416939 edges, 225 markings/sec, 400 secs
lola: 1 tries, 415 fired transitions, 405 secs || 117825 markings, 421855 edges, 301 markings/sec, 405 secs
lola: 1 tries, 424 fired transitions, 410 secs || 119108 markings, 427713 edges, 257 markings/sec, 410 secs
lola: 1 tries, 428 fired transitions, 415 secs || 120072 markings, 431864 edges, 193 markings/sec, 415 secs
lola: 1 tries, 433 fired transitions, 420 secs || 121272 markings, 435871 edges, 240 markings/sec, 420 secs
lola: 1 tries, 437 fired transitions, 425 secs || 122771 markings, 441746 edges, 300 markings/sec, 425 secs
lola: 1 tries, 446 fired transitions, 430 secs || 124022 markings, 447152 edges, 250 markings/sec, 430 secs
lola: 1 tries, 451 fired transitions, 435 secs || 125195 markings, 452536 edges, 235 markings/sec, 435 secs
lola: 1 tries, 455 fired transitions, 440 secs || 126734 markings, 456941 edges, 308 markings/sec, 440 secs
lola: 1 tries, 459 fired transitions, 445 secs || 128459 markings, 462214 edges, 345 markings/sec, 445 secs
lola: 1 tries, 468 fired transitions, 450 secs || 129756 markings, 467049 edges, 259 markings/sec, 450 secs
lola: 1 tries, 472 fired transitions, 455 secs || 130934 markings, 470758 edges, 236 markings/sec, 455 secs
lola: 1 tries, 476 fired transitions, 460 secs || 132639 markings, 476864 edges, 341 markings/sec, 460 secs
lola: 1 tries, 480 fired transitions, 465 secs || 134292 markings, 483864 edges, 331 markings/sec, 465 secs
lola: 1 tries, 490 fired transitions, 470 secs || 135475 markings, 489034 edges, 237 markings/sec, 470 secs
lola: 1 tries, 495 fired transitions, 475 secs || 136845 markings, 492455 edges, 274 markings/sec, 475 secs
lola: 1 tries, 499 fired transitions, 480 secs || 138221 markings, 497725 edges, 275 markings/sec, 480 secs
lola: 1 tries, 504 fired transitions, 485 secs || 139880 markings, 504690 edges, 332 markings/sec, 485 secs
lola: 1 tries, 513 fired transitions, 490 secs || 141335 markings, 511321 edges, 291 markings/sec, 490 secs
lola: 1 tries, 517 fired transitions, 495 secs || 142510 markings, 516500 edges, 235 markings/sec, 495 secs
lola: 1 tries, 522 fired transitions, 500 secs || 143645 markings, 521531 edges, 227 markings/sec, 500 secs
lola: 1 tries, 526 fired transitions, 505 secs || 145255 markings, 528349 edges, 322 markings/sec, 505 secs
lola: 1 tries, 531 fired transitions, 510 secs || 146890 markings, 533909 edges, 327 markings/sec, 510 secs
lola: 1 tries, 539 fired transitions, 515 secs || 148113 markings, 538559 edges, 245 markings/sec, 515 secs
lola: 1 tries, 543 fired transitions, 520 secs || 149265 markings, 541966 edges, 230 markings/sec, 520 secs
lola: 1 tries, 548 fired transitions, 525 secs || 150805 markings, 547573 edges, 308 markings/sec, 525 secs
lola: 1 tries, 553 fired transitions, 530 secs || 152462 markings, 554036 edges, 331 markings/sec, 530 secs
lola: 1 tries, 561 fired transitions, 535 secs || 153815 markings, 558867 edges, 271 markings/sec, 535 secs
lola: 1 tries, 565 fired transitions, 540 secs || 155046 markings, 562923 edges, 246 markings/sec, 540 secs
lola: 1 tries, 569 fired transitions, 545 secs || 156385 markings, 569110 edges, 268 markings/sec, 545 secs
lola: 1 tries, 573 fired transitions, 550 secs || 158010 markings, 576935 edges, 325 markings/sec, 550 secs
lola: 1 tries, 582 fired transitions, 555 secs || 159648 markings, 583113 edges, 328 markings/sec, 555 secs
lola: 1 tries, 586 fired transitions, 560 secs || 160830 markings, 587005 edges, 236 markings/sec, 560 secs
lola: 1 tries, 590 fired transitions, 565 secs || 162108 markings, 591132 edges, 256 markings/sec, 565 secs
lola: 1 tries, 594 fired transitions, 570 secs || 163643 markings, 598128 edges, 307 markings/sec, 570 secs
lola: 1 tries, 604 fired transitions, 575 secs || 165196 markings, 603857 edges, 311 markings/sec, 575 secs
lola: 1 tries, 608 fired transitions, 580 secs || 166309 markings, 608906 edges, 223 markings/sec, 580 secs
lola: 1 tries, 613 fired transitions, 585 secs || 167444 markings, 613477 edges, 227 markings/sec, 585 secs
lola: 1 tries, 617 fired transitions, 590 secs || 168759 markings, 619453 edges, 263 markings/sec, 590 secs
lola: 1 tries, 621 fired transitions, 595 secs || 170154 markings, 626045 edges, 279 markings/sec, 595 secs
lola: 1 tries, 628 fired transitions, 600 secs || 171718 markings, 631423 edges, 313 markings/sec, 600 secs
lola: 1 tries, 636 fired transitions, 605 secs || 173000 markings, 635612 edges, 256 markings/sec, 605 secs
lola: 1 tries, 641 fired transitions, 610 secs || 174235 markings, 640128 edges, 247 markings/sec, 610 secs
lola: 1 tries, 645 fired transitions, 615 secs || 175754 markings, 645829 edges, 304 markings/sec, 615 secs
lola: 1 tries, 649 fired transitions, 620 secs || 177350 markings, 652077 edges, 319 markings/sec, 620 secs
lola: 1 tries, 658 fired transitions, 625 secs || 178825 markings, 656794 edges, 295 markings/sec, 625 secs
lola: 1 tries, 663 fired transitions, 630 secs || 180050 markings, 660573 edges, 245 markings/sec, 630 secs
lola: 1 tries, 667 fired transitions, 635 secs || 181546 markings, 665721 edges, 299 markings/sec, 635 secs
lola: 1 tries, 671 fired transitions, 640 secs || 183210 markings, 672814 edges, 333 markings/sec, 640 secs
lola: 1 tries, 680 fired transitions, 645 secs || 184486 markings, 678670 edges, 255 markings/sec, 645 secs
lola: 1 tries, 685 fired transitions, 650 secs || 185698 markings, 682105 edges, 242 markings/sec, 650 secs
lola: 1 tries, 689 fired transitions, 655 secs || 187289 markings, 688382 edges, 318 markings/sec, 655 secs
lola: 1 tries, 693 fired transitions, 660 secs || 188821 markings, 696034 edges, 306 markings/sec, 660 secs
lola: 1 tries, 703 fired transitions, 665 secs || 190281 markings, 701389 edges, 292 markings/sec, 665 secs
lola: 1 tries, 708 fired transitions, 670 secs || 191446 markings, 706702 edges, 233 markings/sec, 670 secs
lola: 1 tries, 713 fired transitions, 675 secs || 192615 markings, 710472 edges, 234 markings/sec, 675 secs
lola: 1 tries, 718 fired transitions, 680 secs || 194177 markings, 717304 edges, 312 markings/sec, 680 secs
lola: 1 tries, 723 fired transitions, 685 secs || 195863 markings, 723964 edges, 337 markings/sec, 685 secs
lola: 1 tries, 732 fired transitions, 690 secs || 197144 markings, 728906 edges, 256 markings/sec, 690 secs
lola: 1 tries, 736 fired transitions, 695 secs || 198377 markings, 733718 edges, 247 markings/sec, 695 secs
lola: 1 tries, 741 fired transitions, 700 secs || 199842 markings, 739333 edges, 293 markings/sec, 700 secs
lola: 1 tries, 745 fired transitions, 705 secs || 201593 markings, 745123 edges, 350 markings/sec, 705 secs
lola: 1 tries, 754 fired transitions, 710 secs || 202948 markings, 750918 edges, 271 markings/sec, 710 secs
lola: 1 tries, 759 fired transitions, 715 secs || 204109 markings, 755511 edges, 232 markings/sec, 715 secs
lola: 1 tries, 763 fired transitions, 720 secs || 205486 markings, 761110 edges, 275 markings/sec, 720 secs
lola: 1 tries, 768 fired transitions, 725 secs || 207215 markings, 768072 edges, 346 markings/sec, 725 secs
lola: 1 tries, 776 fired transitions, 730 secs || 208754 markings, 773179 edges, 308 markings/sec, 730 secs
lola: 1 tries, 780 fired transitions, 735 secs || 209839 markings, 778378 edges, 217 markings/sec, 735 secs
lola: 1 tries, 785 fired transitions, 740 secs || 211121 markings, 783555 edges, 256 markings/sec, 740 secs
lola: 1 tries, 790 fired transitions, 745 secs || 212830 markings, 788755 edges, 342 markings/sec, 745 secs
lola: 1 tries, 798 fired transitions, 750 secs || 214438 markings, 796646 edges, 322 markings/sec, 750 secs
lola: 1 tries, 803 fired transitions, 755 secs || 215591 markings, 800796 edges, 231 markings/sec, 755 secs
lola: 1 tries, 807 fired transitions, 760 secs || 217299 markings, 805339 edges, 342 markings/sec, 760 secs
lola: 1 tries, 811 fired transitions, 765 secs || 219005 markings, 812888 edges, 341 markings/sec, 765 secs
lola: 1 tries, 821 fired transitions, 770 secs || 220393 markings, 817143 edges, 278 markings/sec, 770 secs
lola: 1 tries, 826 fired transitions, 775 secs || 221705 markings, 821622 edges, 262 markings/sec, 775 secs
lola: 1 tries, 830 fired transitions, 780 secs || 223557 markings, 829321 edges, 370 markings/sec, 780 secs
lola: 1 tries, 839 fired transitions, 785 secs || 225004 markings, 833753 edges, 289 markings/sec, 785 secs
lola: 1 tries, 844 fired transitions, 790 secs || 226373 markings, 838608 edges, 274 markings/sec, 790 secs
lola: 1 tries, 849 fired transitions, 795 secs || 228238 markings, 846780 edges, 373 markings/sec, 795 secs
lola: 1 tries, 858 fired transitions, 800 secs || 229732 markings, 853122 edges, 299 markings/sec, 800 secs
lola: 1 tries, 862 fired transitions, 805 secs || 231232 markings, 857611 edges, 300 markings/sec, 805 secs
lola: 1 tries, 866 fired transitions, 810 secs || 233284 markings, 864236 edges, 410 markings/sec, 810 secs
lola: 1 tries, 875 fired transitions, 815 secs || 234584 markings, 868547 edges, 260 markings/sec, 815 secs
lola: 1 tries, 880 fired transitions, 820 secs || 236005 markings, 873357 edges, 284 markings/sec, 820 secs
lola: 1 tries, 885 fired transitions, 825 secs || 238046 markings, 880521 edges, 408 markings/sec, 825 secs
lola: 1 tries, 894 fired transitions, 830 secs || 239300 markings, 884450 edges, 251 markings/sec, 830 secs
lola: 1 tries, 898 fired transitions, 835 secs || 240688 markings, 889664 edges, 278 markings/sec, 835 secs
lola: 1 tries, 903 fired transitions, 840 secs || 242678 markings, 896694 edges, 398 markings/sec, 840 secs
lola: 1 tries, 911 fired transitions, 845 secs || 244071 markings, 899275 edges, 279 markings/sec, 845 secs
lola: 1 tries, 916 fired transitions, 850 secs || 245474 markings, 904616 edges, 281 markings/sec, 850 secs
lola: 1 tries, 925 fired transitions, 855 secs || 247321 markings, 913593 edges, 369 markings/sec, 855 secs
lola: 1 tries, 929 fired transitions, 860 secs || 248490 markings, 917176 edges, 234 markings/sec, 860 secs
lola: 1 tries, 934 fired transitions, 865 secs || 249852 markings, 920820 edges, 272 markings/sec, 865 secs
lola: 1 tries, 938 fired transitions, 870 secs || 251600 markings, 927191 edges, 350 markings/sec, 870 secs
lola: 1 tries, 947 fired transitions, 875 secs || 253039 markings, 932025 edges, 288 markings/sec, 875 secs
lola: 1 tries, 952 fired transitions, 880 secs || 254110 markings, 936807 edges, 214 markings/sec, 880 secs
lola: 1 tries, 957 fired transitions, 885 secs || 255801 markings, 943179 edges, 338 markings/sec, 885 secs
lola: 1 tries, 962 fired transitions, 890 secs || 257456 markings, 949354 edges, 331 markings/sec, 890 secs
lola: 1 tries, 971 fired transitions, 895 secs || 258765 markings, 953974 edges, 262 markings/sec, 895 secs
lola: 1 tries, 976 fired transitions, 900 secs || 259896 markings, 960104 edges, 226 markings/sec, 900 secs
lola: 1 tries, 980 fired transitions, 905 secs || 261402 markings, 967316 edges, 301 markings/sec, 905 secs
lola: 1 tries, 984 fired transitions, 910 secs || 263123 markings, 973450 edges, 344 markings/sec, 910 secs
lola: 1 tries, 993 fired transitions, 915 secs || 264581 markings, 979065 edges, 292 markings/sec, 915 secs
lola: 1 tries, 998 fired transitions, 920 secs || 265833 markings, 983028 edges, 250 markings/sec, 920 secs
lola: 1 tries, 1002 fired transitions, 925 secs || 267148 markings, 988906 edges, 263 markings/sec, 925 secs
lola: 1 tries, 1006 fired transitions, 930 secs || 268845 markings, 993673 edges, 339 markings/sec, 930 secs
lola: 1 tries, 1015 fired transitions, 935 secs || 270467 markings, 1000029 edges, 324 markings/sec, 935 secs
lola: 1 tries, 1020 fired transitions, 940 secs || 271636 markings, 1004080 edges, 234 markings/sec, 940 secs
lola: 1 tries, 1025 fired transitions, 945 secs || 272772 markings, 1007864 edges, 227 markings/sec, 945 secs
lola: 1 tries, 1030 fired transitions, 950 secs || 274377 markings, 1014063 edges, 321 markings/sec, 950 secs
lola: 1 tries, 1034 fired transitions, 955 secs || 276006 markings, 1020041 edges, 326 markings/sec, 955 secs
lola: 1 tries, 1043 fired transitions, 960 secs || 277269 markings, 1023081 edges, 253 markings/sec, 960 secs
lola: 1 tries, 1047 fired transitions, 965 secs || 278396 markings, 1028803 edges, 225 markings/sec, 965 secs
lola: 1 tries, 1051 fired transitions, 970 secs || 280018 markings, 1034400 edges, 324 markings/sec, 970 secs
lola: 1 tries, 1055 fired transitions, 975 secs || 281737 markings, 1040914 edges, 344 markings/sec, 975 secs
lola: 1 tries, 1063 fired transitions, 980 secs || 283136 markings, 1046109 edges, 280 markings/sec, 980 secs
lola: 1 tries, 1067 fired transitions, 985 secs || 284462 markings, 1049580 edges, 265 markings/sec, 985 secs
lola: 1 tries, 1072 fired transitions, 990 secs || 285796 markings, 1053780 edges, 267 markings/sec, 990 secs
lola: 1 tries, 1076 fired transitions, 995 secs || 287439 markings, 1060779 edges, 329 markings/sec, 995 secs
lola: 1 tries, 1085 fired transitions, 1000 secs || 288998 markings, 1065076 edges, 312 markings/sec, 1000 secs
lola: 1 tries, 1090 fired transitions, 1005 secs || 290234 markings, 1069307 edges, 247 markings/sec, 1005 secs
lola: 1 tries, 1094 fired transitions, 1010 secs || 291590 markings, 1074312 edges, 271 markings/sec, 1010 secs
lola: 1 tries, 1099 fired transitions, 1015 secs || 293538 markings, 1080069 edges, 390 markings/sec, 1015 secs
lola: 1 tries, 1108 fired transitions, 1020 secs || 294922 markings, 1085956 edges, 277 markings/sec, 1020 secs
lola: 1 tries, 1112 fired transitions, 1025 secs || 296263 markings, 1089586 edges, 268 markings/sec, 1025 secs
lola: 1 tries, 1116 fired transitions, 1030 secs || 298129 markings, 1096262 edges, 373 markings/sec, 1030 secs
lola: 1 tries, 1124 fired transitions, 1035 secs || 299634 markings, 1102435 edges, 301 markings/sec, 1035 secs
lola: 1 tries, 1129 fired transitions, 1040 secs || 300864 markings, 1106254 edges, 246 markings/sec, 1040 secs
lola: 1 tries, 1134 fired transitions, 1045 secs || 302695 markings, 1111936 edges, 366 markings/sec, 1045 secs
lola: 1 tries, 1138 fired transitions, 1050 secs || 304547 markings, 1118201 edges, 370 markings/sec, 1050 secs
lola: 1 tries, 1146 fired transitions, 1055 secs || 305797 markings, 1121451 edges, 250 markings/sec, 1055 secs
lola: 1 tries, 1151 fired transitions, 1060 secs || 307267 markings, 1127580 edges, 294 markings/sec, 1060 secs
lola: 1 tries, 1155 fired transitions, 1065 secs || 309069 markings, 1135144 edges, 360 markings/sec, 1065 secs
lola: 1 tries, 1165 fired transitions, 1070 secs || 310383 markings, 1140528 edges, 263 markings/sec, 1070 secs
lola: 1 tries, 1170 fired transitions, 1075 secs || 311671 markings, 1146708 edges, 258 markings/sec, 1075 secs
lola: 1 tries, 1174 fired transitions, 1080 secs || 313457 markings, 1154492 edges, 357 markings/sec, 1080 secs
lola: 1 tries, 1183 fired transitions, 1085 secs || 314970 markings, 1161891 edges, 303 markings/sec, 1085 secs
lola: 1 tries, 1188 fired transitions, 1090 secs || 316284 markings, 1167012 edges, 263 markings/sec, 1090 secs
lola: 1 tries, 1193 fired transitions, 1095 secs || 317970 markings, 1173885 edges, 337 markings/sec, 1095 secs
lola: 1 tries, 1202 fired transitions, 1100 secs || 319645 markings, 1182101 edges, 335 markings/sec, 1100 secs
lola: 1 tries, 1206 fired transitions, 1105 secs || 320790 markings, 1186082 edges, 229 markings/sec, 1105 secs
lola: 1 tries, 1210 fired transitions, 1110 secs || 322362 markings, 1191326 edges, 314 markings/sec, 1110 secs
lola: 1 tries, 1219 fired transitions, 1115 secs || 324339 markings, 1199227 edges, 395 markings/sec, 1115 secs
lola: 1 tries, 1224 fired transitions, 1120 secs || 325548 markings, 1202577 edges, 242 markings/sec, 1120 secs
lola: 1 tries, 1229 fired transitions, 1125 secs || 327129 markings, 1208077 edges, 316 markings/sec, 1125 secs
lola: 1 tries, 1238 fired transitions, 1130 secs || 328918 markings, 1217980 edges, 358 markings/sec, 1130 secs
lola: 1 tries, 1243 fired transitions, 1135 secs || 330096 markings, 1222597 edges, 236 markings/sec, 1135 secs
lola: 1 tries, 1248 fired transitions, 1140 secs || 331647 markings, 1228966 edges, 310 markings/sec, 1140 secs
lola: 1 tries, 1254 fired transitions, 1145 secs || 333488 markings, 1236696 edges, 368 markings/sec, 1145 secs
lola: 1 tries, 1264 fired transitions, 1150 secs || 334834 markings, 1242103 edges, 269 markings/sec, 1150 secs
lola: 1 tries, 1268 fired transitions, 1155 secs || 336300 markings, 1249431 edges, 293 markings/sec, 1155 secs
lola: 1 tries, 1272 fired transitions, 1160 secs || 338087 markings, 1255820 edges, 357 markings/sec, 1160 secs
lola: 1 tries, 1281 fired transitions, 1165 secs || 339392 markings, 1260079 edges, 261 markings/sec, 1165 secs
lola: 1 tries, 1285 fired transitions, 1170 secs || 340876 markings, 1264732 edges, 297 markings/sec, 1170 secs
lola: 1 tries, 1289 fired transitions, 1175 secs || 342765 markings, 1271588 edges, 378 markings/sec, 1175 secs
lola: 1 tries, 1299 fired transitions, 1180 secs || 344126 markings, 1278082 edges, 272 markings/sec, 1180 secs
lola: 1 tries, 1304 fired transitions, 1185 secs || 345366 markings, 1282811 edges, 248 markings/sec, 1185 secs
lola: 1 tries, 1309 fired transitions, 1190 secs || 347332 markings, 1290488 edges, 393 markings/sec, 1190 secs
lola: 1 tries, 1318 fired transitions, 1195 secs || 348996 markings, 1298550 edges, 333 markings/sec, 1195 secs
lola: 1 tries, 1322 fired transitions, 1200 secs || 350202 markings, 1304112 edges, 241 markings/sec, 1200 secs
lola: 1 tries, 1327 fired transitions, 1205 secs || 351702 markings, 1309771 edges, 300 markings/sec, 1205 secs
lola: 1 tries, 1332 fired transitions, 1210 secs || 353697 markings, 1315751 edges, 399 markings/sec, 1210 secs
lola: 1 tries, 1340 fired transitions, 1215 secs || 354911 markings, 1320949 edges, 243 markings/sec, 1215 secs
lola: 1 tries, 1345 fired transitions, 1220 secs || 356121 markings, 1324934 edges, 242 markings/sec, 1220 secs
lola: 1 tries, 1350 fired transitions, 1225 secs || 357691 markings, 1331901 edges, 314 markings/sec, 1225 secs
lola: 1 tries, 1355 fired transitions, 1230 secs || 359445 markings, 1340549 edges, 351 markings/sec, 1230 secs
lola: 1 tries, 1365 fired transitions, 1235 secs || 360663 markings, 1344884 edges, 244 markings/sec, 1235 secs
lola: 1 tries, 1369 fired transitions, 1240 secs || 361888 markings, 1348929 edges, 245 markings/sec, 1240 secs
lola: 1 tries, 1374 fired transitions, 1245 secs || 363546 markings, 1355625 edges, 332 markings/sec, 1245 secs
lola: 1 tries, 1378 fired transitions, 1250 secs || 365198 markings, 1363435 edges, 330 markings/sec, 1250 secs
lola: 1 tries, 1387 fired transitions, 1255 secs || 366504 markings, 1368548 edges, 261 markings/sec, 1255 secs
lola: 1 tries, 1392 fired transitions, 1260 secs || 368059 markings, 1373434 edges, 311 markings/sec, 1260 secs
lola: 1 tries, 1396 fired transitions, 1265 secs || 370017 markings, 1380273 edges, 392 markings/sec, 1265 secs
lola: 1 tries, 1405 fired transitions, 1270 secs || 371404 markings, 1386165 edges, 277 markings/sec, 1270 secs
lola: 1 tries, 1410 fired transitions, 1275 secs || 372799 markings, 1389561 edges, 279 markings/sec, 1275 secs
lola: 1 tries, 1414 fired transitions, 1280 secs || 374390 markings, 1394801 edges, 318 markings/sec, 1280 secs
lola: 1 tries, 1418 fired transitions, 1285 secs || 375999 markings, 1399195 edges, 322 markings/sec, 1285 secs
lola: 1 tries, 1427 fired transitions, 1290 secs || 377395 markings, 1402850 edges, 279 markings/sec, 1290 secs
lola: 1 tries, 1431 fired transitions, 1295 secs || 378617 markings, 1406757 edges, 244 markings/sec, 1295 secs
lola: 1 tries, 1435 fired transitions, 1300 secs || 380096 markings, 1414283 edges, 296 markings/sec, 1300 secs
lola: 1 tries, 1439 fired transitions, 1305 secs || 381814 markings, 1420653 edges, 344 markings/sec, 1305 secs
lola: 1 tries, 1450 fired transitions, 1310 secs || 383127 markings, 1425206 edges, 263 markings/sec, 1310 secs
lola: 1 tries, 1456 fired transitions, 1315 secs || 384308 markings, 1428583 edges, 236 markings/sec, 1315 secs
lola: 1 tries, 1460 fired transitions, 1320 secs || 385741 markings, 1435944 edges, 287 markings/sec, 1320 secs
lola: 1 tries, 1464 fired transitions, 1325 secs || 387399 markings, 1443543 edges, 332 markings/sec, 1325 secs
lola: 1 tries, 1473 fired transitions, 1330 secs || 388616 markings, 1447992 edges, 243 markings/sec, 1330 secs
lola: 1 tries, 1477 fired transitions, 1335 secs || 389704 markings, 1452868 edges, 218 markings/sec, 1335 secs
lola: 1 tries, 1481 fired transitions, 1340 secs || 391164 markings, 1458253 edges, 292 markings/sec, 1340 secs
lola: 1 tries, 1487 fired transitions, 1345 secs || 392936 markings, 1465488 edges, 354 markings/sec, 1345 secs
lola: 1 tries, 1497 fired transitions, 1350 secs || 394024 markings, 1470084 edges, 218 markings/sec, 1350 secs
lola: 1 tries, 1503 fired transitions, 1355 secs || 395087 markings, 1474880 edges, 213 markings/sec, 1355 secs
lola: 1 tries, 1508 fired transitions, 1360 secs || 396591 markings, 1481203 edges, 301 markings/sec, 1360 secs
lola: 1 tries, 1518 fired transitions, 1365 secs || 398266 markings, 1487545 edges, 335 markings/sec, 1365 secs
lola: 1 tries, 1523 fired transitions, 1370 secs || 399414 markings, 1490967 edges, 230 markings/sec, 1370 secs
lola: 1 tries, 1527 fired transitions, 1375 secs || 400559 markings, 1495309 edges, 229 markings/sec, 1375 secs
lola: 1 tries, 1532 fired transitions, 1380 secs || 402247 markings, 1501225 edges, 338 markings/sec, 1380 secs
lola: 1 tries, 1542 fired transitions, 1385 secs || 404028 markings, 1508783 edges, 356 markings/sec, 1385 secs
lola: 1 tries, 1547 fired transitions, 1390 secs || 405253 markings, 1513892 edges, 245 markings/sec, 1390 secs
lola: 1 tries, 1553 fired transitions, 1395 secs || 406431 markings, 1518435 edges, 236 markings/sec, 1395 secs
lola: 1 tries, 1557 fired transitions, 1400 secs || 408087 markings, 1524291 edges, 331 markings/sec, 1400 secs
lola: 1 tries, 1562 fired transitions, 1405 secs || 409736 markings, 1531144 edges, 330 markings/sec, 1405 secs
lola: 1 tries, 1571 fired transitions, 1410 secs || 410927 markings, 1536232 edges, 238 markings/sec, 1410 secs
lola: 1 tries, 1576 fired transitions, 1415 secs || 412203 markings, 1540199 edges, 255 markings/sec, 1415 secs
lola: 1 tries, 1581 fired transitions, 1420 secs || 413739 markings, 1544975 edges, 307 markings/sec, 1420 secs
lola: 1 tries, 1585 fired transitions, 1425 secs || 415509 markings, 1550910 edges, 354 markings/sec, 1425 secs
lola: 1 tries, 1594 fired transitions, 1430 secs || 416788 markings, 1556960 edges, 256 markings/sec, 1430 secs
lola: 1 tries, 1599 fired transitions, 1435 secs || 417927 markings, 1561899 edges, 228 markings/sec, 1435 secs
lola: 1 tries, 1603 fired transitions, 1440 secs || 419517 markings, 1569440 edges, 318 markings/sec, 1440 secs
lola: 1 tries, 1612 fired transitions, 1445 secs || 421239 markings, 1576155 edges, 344 markings/sec, 1445 secs
lola: 1 tries, 1616 fired transitions, 1450 secs || 422479 markings, 1579948 edges, 248 markings/sec, 1450 secs
lola: 1 tries, 1620 fired transitions, 1455 secs || 423755 markings, 1586158 edges, 255 markings/sec, 1455 secs
lola: 1 tries, 1625 fired transitions, 1460 secs || 425284 markings, 1591052 edges, 306 markings/sec, 1460 secs
lola: 1 tries, 1634 fired transitions, 1465 secs || 426602 markings, 1598671 edges, 264 markings/sec, 1465 secs
lola: 1 tries, 1640 fired transitions, 1470 secs || 427721 markings, 1603337 edges, 224 markings/sec, 1470 secs
lola: 1 tries, 1644 fired transitions, 1475 secs || 429104 markings, 1608383 edges, 277 markings/sec, 1475 secs
lola: 1 tries, 1649 fired transitions, 1480 secs || 430647 markings, 1614876 edges, 309 markings/sec, 1480 secs
lola: 1 tries, 1654 fired transitions, 1485 secs || 432331 markings, 1620984 edges, 337 markings/sec, 1485 secs
lola: 1 tries, 1663 fired transitions, 1490 secs || 433569 markings, 1625537 edges, 248 markings/sec, 1490 secs
lola: 1 tries, 1667 fired transitions, 1495 secs || 434733 markings, 1628915 edges, 233 markings/sec, 1495 secs
lola: 1 tries, 1671 fired transitions, 1500 secs || 436651 markings, 1635983 edges, 384 markings/sec, 1500 secs
lola: 1 tries, 1681 fired transitions, 1505 secs || 438236 markings, 1641786 edges, 317 markings/sec, 1505 secs
lola: 1 tries, 1685 fired transitions, 1510 secs || 439471 markings, 1646814 edges, 247 markings/sec, 1510 secs
lola: 1 tries, 1691 fired transitions, 1515 secs || 440934 markings, 1653775 edges, 293 markings/sec, 1515 secs
lola: 1 tries, 1696 fired transitions, 1520 secs || 442679 markings, 1660093 edges, 349 markings/sec, 1520 secs
lola: 1 tries, 1706 fired transitions, 1525 secs || 444000 markings, 1665553 edges, 264 markings/sec, 1525 secs
lola: 1 tries, 1710 fired transitions, 1530 secs || 445152 markings, 1670537 edges, 230 markings/sec, 1530 secs
lola: 1 tries, 1716 fired transitions, 1535 secs || 446692 markings, 1676734 edges, 308 markings/sec, 1535 secs
lola: 1 tries, 1720 fired transitions, 1540 secs || 448361 markings, 1685184 edges, 334 markings/sec, 1540 secs
lola: 1 tries, 1730 fired transitions, 1545 secs || 449589 markings, 1690329 edges, 246 markings/sec, 1545 secs
lola: 1 tries, 1735 fired transitions, 1550 secs || 450765 markings, 1695995 edges, 235 markings/sec, 1550 secs
lola: 1 tries, 1740 fired transitions, 1555 secs || 452542 markings, 1701886 edges, 355 markings/sec, 1555 secs
lola: 1 tries, 1750 fired transitions, 1560 secs || 454179 markings, 1708085 edges, 327 markings/sec, 1560 secs
lola: 1 tries, 1754 fired transitions, 1565 secs || 455407 markings, 1712051 edges, 246 markings/sec, 1565 secs
lola: 1 tries, 1760 fired transitions, 1570 secs || 457037 markings, 1718983 edges, 326 markings/sec, 1570 secs
lola: 1 tries, 1770 fired transitions, 1575 secs || 458584 markings, 1725710 edges, 309 markings/sec, 1575 secs
lola: 1 tries, 1775 fired transitions, 1580 secs || 459938 markings, 1730444 edges, 271 markings/sec, 1580 secs
lola: 1 tries, 1781 fired transitions, 1585 secs || 461220 markings, 1737139 edges, 256 markings/sec, 1585 secs
lola: 1 tries, 1786 fired transitions, 1590 secs || 462807 markings, 1743367 edges, 317 markings/sec, 1590 secs
lola: 1 tries, 1796 fired transitions, 1595 secs || 464184 markings, 1749445 edges, 275 markings/sec, 1595 secs
lola: 1 tries, 1801 fired transitions, 1600 secs || 465334 markings, 1753826 edges, 230 markings/sec, 1600 secs
lola: 1 tries, 1806 fired transitions, 1605 secs || 466623 markings, 1757998 edges, 258 markings/sec, 1605 secs
lola: 1 tries, 1811 fired transitions, 1610 secs || 468475 markings, 1765411 edges, 370 markings/sec, 1610 secs
lola: 1 tries, 1822 fired transitions, 1615 secs || 470272 markings, 1770700 edges, 359 markings/sec, 1615 secs
lola: 1 tries, 1827 fired transitions, 1620 secs || 471405 markings, 1776189 edges, 227 markings/sec, 1620 secs
lola: 1 tries, 1832 fired transitions, 1625 secs || 472655 markings, 1780856 edges, 250 markings/sec, 1625 secs
lola: 1 tries, 1837 fired transitions, 1630 secs || 474249 markings, 1787270 edges, 319 markings/sec, 1630 secs
lola: 1 tries, 1847 fired transitions, 1635 secs || 475931 markings, 1793100 edges, 336 markings/sec, 1635 secs
lola: 1 tries, 1851 fired transitions, 1640 secs || 477101 markings, 1797829 edges, 234 markings/sec, 1640 secs
lola: 1 tries, 1856 fired transitions, 1645 secs || 478393 markings, 1802083 edges, 258 markings/sec, 1645 secs
lola: 1 tries, 1860 fired transitions, 1650 secs || 480311 markings, 1807882 edges, 384 markings/sec, 1650 secs
lola: 1 tries, 1868 fired transitions, 1655 secs || 481781 markings, 1813120 edges, 294 markings/sec, 1655 secs
lola: 1 tries, 1873 fired transitions, 1660 secs || 482978 markings, 1817057 edges, 239 markings/sec, 1660 secs
lola: 1 tries, 1877 fired transitions, 1665 secs || 484511 markings, 1821480 edges, 307 markings/sec, 1665 secs
lola: 1 tries, 1882 fired transitions, 1670 secs || 486266 markings, 1826225 edges, 351 markings/sec, 1670 secs
lola: 1 tries, 1892 fired transitions, 1675 secs || 487525 markings, 1829880 edges, 252 markings/sec, 1675 secs
lola: 1 tries, 1897 fired transitions, 1680 secs || 489058 markings, 1835249 edges, 307 markings/sec, 1680 secs
lola: 1 tries, 1909 fired transitions, 1685 secs || 490904 markings, 1841679 edges, 369 markings/sec, 1685 secs
lola: 1 tries, 1913 fired transitions, 1690 secs || 492254 markings, 1846625 edges, 270 markings/sec, 1690 secs
lola: 1 tries, 1918 fired transitions, 1695 secs || 494040 markings, 1853255 edges, 357 markings/sec, 1695 secs
lola: 1 tries, 1928 fired transitions, 1700 secs || 495662 markings, 1860091 edges, 324 markings/sec, 1700 secs
lola: 1 tries, 1932 fired transitions, 1705 secs || 496943 markings, 1864473 edges, 256 markings/sec, 1705 secs
lola: 1 tries, 1936 fired transitions, 1710 secs || 498833 markings, 1872614 edges, 378 markings/sec, 1710 secs
lola: 1 tries, 1946 fired transitions, 1715 secs || 500338 markings, 1877230 edges, 301 markings/sec, 1715 secs
lola: 1 tries, 1950 fired transitions, 1720 secs || 501556 markings, 1883102 edges, 244 markings/sec, 1720 secs
lola: 1 tries, 1955 fired transitions, 1725 secs || 503352 markings, 1893115 edges, 359 markings/sec, 1725 secs
lola: 1 tries, 1966 fired transitions, 1730 secs || 504645 markings, 1897884 edges, 259 markings/sec, 1730 secs
lola: 1 tries, 1970 fired transitions, 1735 secs || 506132 markings, 1903265 edges, 297 markings/sec, 1735 secs
lola: 1 tries, 1975 fired transitions, 1740 secs || 508047 markings, 1908928 edges, 383 markings/sec, 1740 secs
lola: 1 tries, 1985 fired transitions, 1745 secs || 509229 markings, 1912963 edges, 236 markings/sec, 1745 secs
lola: 1 tries, 1989 fired transitions, 1750 secs || 510708 markings, 1919419 edges, 296 markings/sec, 1750 secs
lola: 1 tries, 1999 fired transitions, 1755 secs || 512523 markings, 1928616 edges, 363 markings/sec, 1755 secs
lola: 1 tries, 2004 fired transitions, 1760 secs || 513740 markings, 1932503 edges, 243 markings/sec, 1760 secs
lola: 1 tries, 2008 fired transitions, 1765 secs || 515608 markings, 1939284 edges, 374 markings/sec, 1765 secs
lola: 1 tries, 2016 fired transitions, 1770 secs || 517099 markings, 1945327 edges, 298 markings/sec, 1770 secs
lola: 1 tries, 2021 fired transitions, 1775 secs || 518417 markings, 1950083 edges, 264 markings/sec, 1775 secs
lola: 1 tries, 2025 fired transitions, 1780 secs || 520207 markings, 1956434 edges, 358 markings/sec, 1780 secs
lola: 1 tries, 2034 fired transitions, 1785 secs || 521631 markings, 1961975 edges, 285 markings/sec, 1785 secs
lola: 1 tries, 2038 fired transitions, 1790 secs || 523016 markings, 1967529 edges, 277 markings/sec, 1790 secs
lola: 1 tries, 2042 fired transitions, 1795 secs || 525026 markings, 1975754 edges, 402 markings/sec, 1795 secs
lola: 1 tries, 2053 fired transitions, 1800 secs || 526600 markings, 1982301 edges, 315 markings/sec, 1800 secs
lola: 1 tries, 2059 fired transitions, 1805 secs || 528113 markings, 1987554 edges, 303 markings/sec, 1805 secs
lola: 1 tries, 2068 fired transitions, 1810 secs || 530030 markings, 1996528 edges, 383 markings/sec, 1810 secs
lola: 1 tries, 2072 fired transitions, 1815 secs || 531226 markings, 2001777 edges, 239 markings/sec, 1815 secs
lola: 1 tries, 2078 fired transitions, 1820 secs || 532972 markings, 2008906 edges, 349 markings/sec, 1820 secs
lola: 1 tries, 2088 fired transitions, 1825 secs || 534388 markings, 2013851 edges, 283 markings/sec, 1825 secs
lola: 1 tries, 2093 fired transitions, 1830 secs || 536082 markings, 2019223 edges, 339 markings/sec, 1830 secs
lola: 1 tries, 2103 fired transitions, 1835 secs || 538042 markings, 2026607 edges, 392 markings/sec, 1835 secs
lola: 1 tries, 2109 fired transitions, 1840 secs || 539228 markings, 2031083 edges, 237 markings/sec, 1840 secs
lola: 1 tries, 2114 fired transitions, 1845 secs || 541173 markings, 2039968 edges, 389 markings/sec, 1845 secs
lola: 1 tries, 2124 fired transitions, 1850 secs || 542532 markings, 2045050 edges, 272 markings/sec, 1850 secs
lola: 1 tries, 2130 fired transitions, 1855 secs || 544260 markings, 2052368 edges, 346 markings/sec, 1855 secs
lola: 1 tries, 2141 fired transitions, 1860 secs || 546046 markings, 2058046 edges, 357 markings/sec, 1860 secs
lola: 1 tries, 2147 fired transitions, 1865 secs || 547280 markings, 2063203 edges, 247 markings/sec, 1865 secs
lola: 1 tries, 2152 fired transitions, 1870 secs || 549263 markings, 2071802 edges, 397 markings/sec, 1870 secs
lola: 1 tries, 2163 fired transitions, 1875 secs || 550594 markings, 2077279 edges, 266 markings/sec, 1875 secs
lola: 1 tries, 2168 fired transitions, 1880 secs || 552535 markings, 2085292 edges, 388 markings/sec, 1880 secs
lola: 1 tries, 2177 fired transitions, 1885 secs || 554107 markings, 2090645 edges, 314 markings/sec, 1885 secs
lola: 1 tries, 2182 fired transitions, 1890 secs || 555421 markings, 2097658 edges, 263 markings/sec, 1890 secs
lola: 1 tries, 2188 fired transitions, 1895 secs || 557491 markings, 2105099 edges, 414 markings/sec, 1895 secs
lola: 1 tries, 2199 fired transitions, 1900 secs || 558888 markings, 2111725 edges, 279 markings/sec, 1900 secs
lola: 1 tries, 2204 fired transitions, 1905 secs || 560607 markings, 2119407 edges, 344 markings/sec, 1905 secs
lola: 1 tries, 2214 fired transitions, 1910 secs || 562442 markings, 2124929 edges, 367 markings/sec, 1910 secs
lola: 1 tries, 2219 fired transitions, 1915 secs || 563707 markings, 2129498 edges, 253 markings/sec, 1915 secs
lola: 1 tries, 2224 fired transitions, 1920 secs || 565871 markings, 2138267 edges, 433 markings/sec, 1920 secs
lola: 1 tries, 2232 fired transitions, 1925 secs || 567194 markings, 2142849 edges, 265 markings/sec, 1925 secs
lola: 1 tries, 2237 fired transitions, 1930 secs || 569011 markings, 2150892 edges, 363 markings/sec, 1930 secs
lola: 1 tries, 2248 fired transitions, 1935 secs || 570632 markings, 2157886 edges, 324 markings/sec, 1935 secs
lola: 1 tries, 2252 fired transitions, 1940 secs || 571981 markings, 2162018 edges, 270 markings/sec, 1940 secs
lola: 1 tries, 2261 fired transitions, 1945 secs || 573812 markings, 2168617 edges, 366 markings/sec, 1945 secs
lola: 1 tries, 2266 fired transitions, 1950 secs || 575073 markings, 2173100 edges, 252 markings/sec, 1950 secs
lola: 1 tries, 2270 fired transitions, 1955 secs || 576860 markings, 2179536 edges, 357 markings/sec, 1955 secs
lola: 1 tries, 2279 fired transitions, 1960 secs || 578293 markings, 2184813 edges, 287 markings/sec, 1960 secs
lola: 1 tries, 2283 fired transitions, 1965 secs || 579730 markings, 2190163 edges, 287 markings/sec, 1965 secs
lola: 1 tries, 2292 fired transitions, 1970 secs || 581548 markings, 2197159 edges, 364 markings/sec, 1970 secs
lola: 1 tries, 2297 fired transitions, 1975 secs || 582747 markings, 2200445 edges, 240 markings/sec, 1975 secs
lola: 1 tries, 2303 fired transitions, 1980 secs || 584544 markings, 2207452 edges, 359 markings/sec, 1980 secs
lola: 1 tries, 2313 fired transitions, 1985 secs || 586121 markings, 2215495 edges, 315 markings/sec, 1985 secs
lola: 1 tries, 2318 fired transitions, 1990 secs || 587311 markings, 2219387 edges, 238 markings/sec, 1990 secs
lola: 1 tries, 2323 fired transitions, 1995 secs || 588949 markings, 2225402 edges, 328 markings/sec, 1995 secs
lola: 1 tries, 2327 fired transitions, 2000 secs || 590644 markings, 2231146 edges, 339 markings/sec, 2000 secs
lola: 1 tries, 2338 fired transitions, 2005 secs || 591940 markings, 2235655 edges, 259 markings/sec, 2005 secs
lola: 1 tries, 2342 fired transitions, 2010 secs || 593171 markings, 2239666 edges, 246 markings/sec, 2010 secs
lola: 1 tries, 2347 fired transitions, 2015 secs || 594968 markings, 2247089 edges, 359 markings/sec, 2015 secs
lola: 1 tries, 2352 fired transitions, 2020 secs || 596544 markings, 2254768 edges, 315 markings/sec, 2020 secs
lola: 1 tries, 2361 fired transitions, 2025 secs || 597884 markings, 2259996 edges, 268 markings/sec, 2025 secs
lola: 1 tries, 2367 fired transitions, 2030 secs || 599155 markings, 2266098 edges, 254 markings/sec, 2030 secs
lola: 1 tries, 2372 fired transitions, 2035 secs || 600935 markings, 2272199 edges, 356 markings/sec, 2035 secs
lola: 1 tries, 2376 fired transitions, 2040 secs || 602688 markings, 2279136 edges, 351 markings/sec, 2040 secs
lola: 1 tries, 2385 fired transitions, 2045 secs || 603855 markings, 2282824 edges, 233 markings/sec, 2045 secs
lola: 1 tries, 2391 fired transitions, 2050 secs || 605285 markings, 2289061 edges, 286 markings/sec, 2050 secs
lola: 1 tries, 2400 fired transitions, 2055 secs || 607027 markings, 2295552 edges, 348 markings/sec, 2055 secs
lola: 1 tries, 2405 fired transitions, 2060 secs || 608164 markings, 2299528 edges, 227 markings/sec, 2060 secs
lola: 1 tries, 2410 fired transitions, 2065 secs || 609681 markings, 2305947 edges, 303 markings/sec, 2065 secs
lola: 1 tries, 2419 fired transitions, 2070 secs || 611484 markings, 2313946 edges, 361 markings/sec, 2070 secs
lola: 1 tries, 2423 fired transitions, 2075 secs || 612671 markings, 2317949 edges, 237 markings/sec, 2075 secs
lola: 1 tries, 2429 fired transitions, 2080 secs || 614224 markings, 2326869 edges, 311 markings/sec, 2080 secs
lola: 1 tries, 2440 fired transitions, 2085 secs || 616122 markings, 2332918 edges, 380 markings/sec, 2085 secs
lola: 1 tries, 2445 fired transitions, 2090 secs || 617246 markings, 2337583 edges, 225 markings/sec, 2090 secs
lola: 1 tries, 2449 fired transitions, 2095 secs || 619077 markings, 2344978 edges, 366 markings/sec, 2095 secs
lola: 1 tries, 2459 fired transitions, 2100 secs || 620734 markings, 2350065 edges, 331 markings/sec, 2100 secs
lola: 1 tries, 2464 fired transitions, 2105 secs || 621857 markings, 2355420 edges, 225 markings/sec, 2105 secs
lola: 1 tries, 2469 fired transitions, 2110 secs || 623116 markings, 2359381 edges, 252 markings/sec, 2110 secs
lola: 1 tries, 2474 fired transitions, 2115 secs || 624925 markings, 2368309 edges, 362 markings/sec, 2115 secs
lola: 1 tries, 2484 fired transitions, 2120 secs || 626294 markings, 2373856 edges, 274 markings/sec, 2120 secs
lola: 1 tries, 2488 fired transitions, 2125 secs || 627631 markings, 2379615 edges, 267 markings/sec, 2125 secs
lola: 1 tries, 2496 fired transitions, 2130 secs || 629414 markings, 2387908 edges, 357 markings/sec, 2130 secs
lola: 1 tries, 2501 fired transitions, 2135 secs || 630558 markings, 2394154 edges, 229 markings/sec, 2135 secs
lola: 1 tries, 2506 fired transitions, 2140 secs || 632430 markings, 2401695 edges, 374 markings/sec, 2140 secs
lola: 1 tries, 2515 fired transitions, 2145 secs || 634021 markings, 2408812 edges, 318 markings/sec, 2145 secs
lola: 1 tries, 2519 fired transitions, 2150 secs || 635419 markings, 2413837 edges, 280 markings/sec, 2150 secs
lola: 1 tries, 2524 fired transitions, 2155 secs || 637466 markings, 2421314 edges, 409 markings/sec, 2155 secs
lola: 1 tries, 2534 fired transitions, 2160 secs || 638820 markings, 2426506 edges, 271 markings/sec, 2160 secs
lola: 1 tries, 2539 fired transitions, 2165 secs || 640293 markings, 2433960 edges, 295 markings/sec, 2165 secs
lola: 1 tries, 2548 fired transitions, 2170 secs || 642091 markings, 2442017 edges, 360 markings/sec, 2170 secs
lola: 1 tries, 2552 fired transitions, 2175 secs || 643213 markings, 2447437 edges, 224 markings/sec, 2175 secs
lola: 1 tries, 2556 fired transitions, 2180 secs || 645223 markings, 2454535 edges, 402 markings/sec, 2180 secs
lola: 1 tries, 2565 fired transitions, 2185 secs || 646649 markings, 2459842 edges, 285 markings/sec, 2185 secs
lola: 1 tries, 2569 fired transitions, 2190 secs || 648309 markings, 2464830 edges, 332 markings/sec, 2190 secs
lola: 1 tries, 2578 fired transitions, 2195 secs || 649921 markings, 2471508 edges, 322 markings/sec, 2195 secs
lola: 1 tries, 2583 fired transitions, 2200 secs || 651137 markings, 2475264 edges, 243 markings/sec, 2200 secs
lola: 1 tries, 2587 fired transitions, 2205 secs || 653000 markings, 2482593 edges, 373 markings/sec, 2205 secs
lola: 1 tries, 2596 fired transitions, 2210 secs || 654507 markings, 2487179 edges, 301 markings/sec, 2210 secs
lola: 1 tries, 2601 fired transitions, 2215 secs || 655952 markings, 2492236 edges, 289 markings/sec, 2215 secs
lola: 1 tries, 2610 fired transitions, 2220 secs || 657827 markings, 2500981 edges, 375 markings/sec, 2220 secs
lola: 1 tries, 2615 fired transitions, 2225 secs || 659019 markings, 2506085 edges, 238 markings/sec, 2225 secs
lola: 1 tries, 2621 fired transitions, 2230 secs || 660925 markings, 2515017 edges, 381 markings/sec, 2230 secs
lola: 1 tries, 2631 fired transitions, 2235 secs || 662389 markings, 2521315 edges, 293 markings/sec, 2235 secs
lola: 1 tries, 2636 fired transitions, 2240 secs || 663913 markings, 2527793 edges, 305 markings/sec, 2240 secs
lola: 1 tries, 2645 fired transitions, 2245 secs || 665827 markings, 2534735 edges, 383 markings/sec, 2245 secs
lola: 1 tries, 2650 fired transitions, 2250 secs || 667042 markings, 2539242 edges, 243 markings/sec, 2250 secs
lola: 1 tries, 2655 fired transitions, 2255 secs || 668746 markings, 2546777 edges, 341 markings/sec, 2255 secs
lola: 1 tries, 2664 fired transitions, 2260 secs || 670153 markings, 2553734 edges, 281 markings/sec, 2260 secs
lola: 1 tries, 2669 fired transitions, 2265 secs || 671551 markings, 2558723 edges, 280 markings/sec, 2265 secs
lola: 1 tries, 2673 fired transitions, 2270 secs || 673137 markings, 2565143 edges, 317 markings/sec, 2270 secs
lola: 1 tries, 2683 fired transitions, 2275 secs || 674616 markings, 2572987 edges, 296 markings/sec, 2275 secs
lola: 1 tries, 2687 fired transitions, 2280 secs || 675799 markings, 2576752 edges, 237 markings/sec, 2280 secs
lola: 1 tries, 2692 fired transitions, 2285 secs || 677422 markings, 2582629 edges, 325 markings/sec, 2285 secs
lola: 1 tries, 2702 fired transitions, 2290 secs || 679175 markings, 2589351 edges, 351 markings/sec, 2290 secs
lola: 1 tries, 2707 fired transitions, 2295 secs || 680320 markings, 2593802 edges, 229 markings/sec, 2295 secs
lola: 1 tries, 2712 fired transitions, 2300 secs || 682346 markings, 2602311 edges, 405 markings/sec, 2300 secs
lola: 1 tries, 2720 fired transitions, 2305 secs || 683700 markings, 2609040 edges, 271 markings/sec, 2305 secs
lola: 1 tries, 2725 fired transitions, 2310 secs || 684854 markings, 2613023 edges, 231 markings/sec, 2310 secs
lola: 1 tries, 2730 fired transitions, 2315 secs || 686417 markings, 2620216 edges, 313 markings/sec, 2315 secs
lola: 1 tries, 2736 fired transitions, 2320 secs || 688299 markings, 2629485 edges, 376 markings/sec, 2320 secs
lola: 1 tries, 2745 fired transitions, 2325 secs || 689547 markings, 2635322 edges, 250 markings/sec, 2325 secs
lola: 1 tries, 2750 fired transitions, 2330 secs || 691203 markings, 2641896 edges, 331 markings/sec, 2330 secs
lola: 1 tries, 2760 fired transitions, 2335 secs || 692908 markings, 2649668 edges, 341 markings/sec, 2335 secs
lola: 1 tries, 2765 fired transitions, 2340 secs || 694213 markings, 2654259 edges, 261 markings/sec, 2340 secs
lola: 1 tries, 2770 fired transitions, 2345 secs || 696283 markings, 2662087 edges, 414 markings/sec, 2345 secs
lola: 1 tries, 2778 fired transitions, 2350 secs || 697429 markings, 2666785 edges, 229 markings/sec, 2350 secs
lola: 1 tries, 2784 fired transitions, 2355 secs || 699336 markings, 2674007 edges, 381 markings/sec, 2355 secs
lola: 1 tries, 2793 fired transitions, 2360 secs || 700832 markings, 2680138 edges, 299 markings/sec, 2360 secs
lola: 1 tries, 2798 fired transitions, 2365 secs || 702293 markings, 2687111 edges, 292 markings/sec, 2365 secs
lola: 1 tries, 2807 fired transitions, 2370 secs || 704213 markings, 2694686 edges, 384 markings/sec, 2370 secs
lola: 1 tries, 2813 fired transitions, 2375 secs || 705513 markings, 2700146 edges, 260 markings/sec, 2375 secs
lola: 1 tries, 2817 fired transitions, 2380 secs || 707368 markings, 2708782 edges, 371 markings/sec, 2380 secs
lola: 1 tries, 2826 fired transitions, 2385 secs || 708959 markings, 2715091 edges, 318 markings/sec, 2385 secs
lola: 1 tries, 2831 fired transitions, 2390 secs || 710520 markings, 2721649 edges, 312 markings/sec, 2390 secs
lola: 1 tries, 2842 fired transitions, 2395 secs || 712348 markings, 2729207 edges, 366 markings/sec, 2395 secs
lola: 1 tries, 2846 fired transitions, 2400 secs || 713434 markings, 2734864 edges, 217 markings/sec, 2400 secs
lola: 1 tries, 2851 fired transitions, 2405 secs || 715444 markings, 2744898 edges, 402 markings/sec, 2405 secs
lola: 1 tries, 2859 fired transitions, 2410 secs || 716715 markings, 2750227 edges, 254 markings/sec, 2410 secs
lola: 1 tries, 2864 fired transitions, 2415 secs || 718080 markings, 2756374 edges, 273 markings/sec, 2415 secs
lola: 1 tries, 2869 fired transitions, 2420 secs || 719788 markings, 2763068 edges, 342 markings/sec, 2420 secs
lola: 1 tries, 2878 fired transitions, 2425 secs || 721213 markings, 2769091 edges, 285 markings/sec, 2425 secs
lola: 1 tries, 2883 fired transitions, 2430 secs || 722392 markings, 2773545 edges, 236 markings/sec, 2430 secs
lola: 1 tries, 2888 fired transitions, 2435 secs || 723993 markings, 2781006 edges, 320 markings/sec, 2435 secs
lola: 1 tries, 2893 fired transitions, 2440 secs || 725666 markings, 2788602 edges, 335 markings/sec, 2440 secs
lola: 1 tries, 2903 fired transitions, 2445 secs || 727019 markings, 2792808 edges, 271 markings/sec, 2445 secs
lola: 1 tries, 2908 fired transitions, 2450 secs || 728142 markings, 2797569 edges, 225 markings/sec, 2450 secs
lola: 1 tries, 2913 fired transitions, 2455 secs || 730000 markings, 2803402 edges, 372 markings/sec, 2455 secs
lola: 1 tries, 2922 fired transitions, 2460 secs || 731732 markings, 2812634 edges, 346 markings/sec, 2460 secs
lola: 1 tries, 2926 fired transitions, 2465 secs || 732871 markings, 2817316 edges, 228 markings/sec, 2465 secs
lola: 1 tries, 2931 fired transitions, 2470 secs || 734453 markings, 2824340 edges, 316 markings/sec, 2470 secs
lola: 1 tries, 2936 fired transitions, 2475 secs || 736105 markings, 2829852 edges, 330 markings/sec, 2475 secs
lola: 1 tries, 2947 fired transitions, 2480 secs || 737380 markings, 2835787 edges, 255 markings/sec, 2480 secs
lola: 1 tries, 2951 fired transitions, 2485 secs || 739116 markings, 2841410 edges, 347 markings/sec, 2485 secs
lola: 1 tries, 2961 fired transitions, 2490 secs || 740828 markings, 2848397 edges, 342 markings/sec, 2490 secs
lola: 1 tries, 2967 fired transitions, 2495 secs || 741981 markings, 2853446 edges, 231 markings/sec, 2495 secs
lola: 1 tries, 2972 fired transitions, 2500 secs || 743964 markings, 2859963 edges, 397 markings/sec, 2500 secs
lola: 1 tries, 2981 fired transitions, 2505 secs || 745493 markings, 2866261 edges, 306 markings/sec, 2505 secs
lola: 1 tries, 2986 fired transitions, 2510 secs || 746896 markings, 2872444 edges, 281 markings/sec, 2510 secs
lola: 1 tries, 2992 fired transitions, 2515 secs || 748708 markings, 2881471 edges, 362 markings/sec, 2515 secs
lola: 1 tries, 3002 fired transitions, 2520 secs || 749946 markings, 2887290 edges, 248 markings/sec, 2520 secs
lola: 1 tries, 3007 fired transitions, 2525 secs || 751463 markings, 2892214 edges, 303 markings/sec, 2525 secs
lola: 1 tries, 3012 fired transitions, 2530 secs || 753238 markings, 2900441 edges, 355 markings/sec, 2530 secs
lola: 1 tries, 3022 fired transitions, 2535 secs || 754404 markings, 2904840 edges, 233 markings/sec, 2535 secs
lola: 1 tries, 3028 fired transitions, 2540 secs || 756001 markings, 2911174 edges, 319 markings/sec, 2540 secs
lola: 1 tries, 3037 fired transitions, 2545 secs || 757929 markings, 2918073 edges, 386 markings/sec, 2545 secs
lola: 1 tries, 3042 fired transitions, 2550 secs || 759250 markings, 2923049 edges, 264 markings/sec, 2550 secs
lola: 1 tries, 3047 fired transitions, 2555 secs || 760843 markings, 2929657 edges, 319 markings/sec, 2555 secs
lola: 1 tries, 3059 fired transitions, 2560 secs || 762656 markings, 2936996 edges, 363 markings/sec, 2560 secs
lola: 1 tries, 3064 fired transitions, 2565 secs || 763833 markings, 2941726 edges, 235 markings/sec, 2565 secs
lola: 1 tries, 3070 fired transitions, 2570 secs || 765518 markings, 2948929 edges, 337 markings/sec, 2570 secs
lola: 1 tries, 3079 fired transitions, 2575 secs || 767186 markings, 2955483 edges, 334 markings/sec, 2575 secs
lola: 1 tries, 3084 fired transitions, 2580 secs || 768357 markings, 2960309 edges, 234 markings/sec, 2580 secs
lola: 1 tries, 3089 fired transitions, 2585 secs || 770084 markings, 2966758 edges, 345 markings/sec, 2585 secs
lola: 1 tries, 3100 fired transitions, 2590 secs || 771677 markings, 2972045 edges, 319 markings/sec, 2590 secs
lola: 1 tries, 3104 fired transitions, 2595 secs || 772841 markings, 2975590 edges, 233 markings/sec, 2595 secs
lola: 1 tries, 3108 fired transitions, 2600 secs || 774832 markings, 2982547 edges, 398 markings/sec, 2600 secs
lola: 1 tries, 3117 fired transitions, 2605 secs || 776544 markings, 2988465 edges, 342 markings/sec, 2605 secs
lola: 1 tries, 3122 fired transitions, 2610 secs || 777767 markings, 2994737 edges, 245 markings/sec, 2610 secs
lola: 1 tries, 3127 fired transitions, 2615 secs || 779710 markings, 3003183 edges, 389 markings/sec, 2615 secs
lola: 1 tries, 3137 fired transitions, 2620 secs || 780927 markings, 3008955 edges, 243 markings/sec, 2620 secs
lola: 1 tries, 3142 fired transitions, 2625 secs || 782657 markings, 3016152 edges, 346 markings/sec, 2625 secs
lola: 1 tries, 3150 fired transitions, 2630 secs || 784526 markings, 3024995 edges, 374 markings/sec, 2630 secs
lola: 1 tries, 3154 fired transitions, 2635 secs || 785711 markings, 3030643 edges, 237 markings/sec, 2635 secs
lola: 1 tries, 3159 fired transitions, 2640 secs || 787522 markings, 3038535 edges, 362 markings/sec, 2640 secs
lola: 1 tries, 3169 fired transitions, 2645 secs || 789112 markings, 3045392 edges, 318 markings/sec, 2645 secs
lola: 1 tries, 3174 fired transitions, 2650 secs || 790364 markings, 3049544 edges, 250 markings/sec, 2650 secs
lola: 1 tries, 3178 fired transitions, 2655 secs || 792235 markings, 3060287 edges, 374 markings/sec, 2655 secs
lola: 1 tries, 3188 fired transitions, 2660 secs || 793432 markings, 3065735 edges, 239 markings/sec, 2660 secs
lola: 1 tries, 3193 fired transitions, 2665 secs || 795310 markings, 3073345 edges, 376 markings/sec, 2665 secs
lola: 1 tries, 3203 fired transitions, 2670 secs || 796858 markings, 3078151 edges, 310 markings/sec, 2670 secs
lola: 1 tries, 3208 fired transitions, 2675 secs || 798334 markings, 3083351 edges, 295 markings/sec, 2675 secs
lola: 1 tries, 3219 fired transitions, 2680 secs || 800199 markings, 3091186 edges, 373 markings/sec, 2680 secs
lola: 1 tries, 3223 fired transitions, 2685 secs || 801529 markings, 3095319 edges, 266 markings/sec, 2685 secs
lola: 1 tries, 3227 fired transitions, 2690 secs || 803484 markings, 3102487 edges, 391 markings/sec, 2690 secs
lola: 1 tries, 3237 fired transitions, 2695 secs || 805052 markings, 3107655 edges, 314 markings/sec, 2695 secs
lola: 1 tries, 3241 fired transitions, 2700 secs || 806574 markings, 3115049 edges, 304 markings/sec, 2700 secs
lola: 1 tries, 3250 fired transitions, 2705 secs || 808606 markings, 3122629 edges, 406 markings/sec, 2705 secs
lola: 1 tries, 3255 fired transitions, 2710 secs || 809702 markings, 3127715 edges, 219 markings/sec, 2710 secs
lola: 1 tries, 3260 fired transitions, 2715 secs || 811563 markings, 3135855 edges, 372 markings/sec, 2715 secs
lola: 1 tries, 3270 fired transitions, 2720 secs || 812964 markings, 3142581 edges, 280 markings/sec, 2720 secs
lola: 1 tries, 3274 fired transitions, 2725 secs || 814341 markings, 3147850 edges, 275 markings/sec, 2725 secs
lola: 1 tries, 3279 fired transitions, 2730 secs || 816373 markings, 3154569 edges, 406 markings/sec, 2730 secs
lola: 1 tries, 3290 fired transitions, 2735 secs || 817497 markings, 3160052 edges, 225 markings/sec, 2735 secs
lola: 1 tries, 3294 fired transitions, 2740 secs || 819171 markings, 3166894 edges, 335 markings/sec, 2740 secs
lola: 1 tries, 3303 fired transitions, 2745 secs || 820835 markings, 3173278 edges, 333 markings/sec, 2745 secs
lola: 1 tries, 3308 fired transitions, 2750 secs || 822032 markings, 3178724 edges, 239 markings/sec, 2750 secs
lola: 1 tries, 3312 fired transitions, 2755 secs || 823914 markings, 3185803 edges, 376 markings/sec, 2755 secs
lola: 1 tries, 3321 fired transitions, 2760 secs || 825257 markings, 3191849 edges, 269 markings/sec, 2760 secs
lola: 1 tries, 3326 fired transitions, 2765 secs || 826885 markings, 3199132 edges, 326 markings/sec, 2765 secs
lola: 1 tries, 3337 fired transitions, 2770 secs || 828675 markings, 3206439 edges, 358 markings/sec, 2770 secs
lola: 1 tries, 3343 fired transitions, 2775 secs || 829760 markings, 3212514 edges, 217 markings/sec, 2775 secs
lola: 1 tries, 3348 fired transitions, 2780 secs || 831532 markings, 3220914 edges, 354 markings/sec, 2780 secs
lola: 1 tries, 3358 fired transitions, 2785 secs || 833062 markings, 3227011 edges, 306 markings/sec, 2785 secs
lola: 1 tries, 3363 fired transitions, 2790 secs || 834460 markings, 3232509 edges, 280 markings/sec, 2790 secs
lola: 1 tries, 3367 fired transitions, 2795 secs || 836337 markings, 3241419 edges, 375 markings/sec, 2795 secs
lola: 1 tries, 3376 fired transitions, 2800 secs || 837529 markings, 3246472 edges, 238 markings/sec, 2800 secs
lola: 1 tries, 3380 fired transitions, 2805 secs || 839175 markings, 3253942 edges, 329 markings/sec, 2805 secs
lola: 1 tries, 3390 fired transitions, 2810 secs || 840799 markings, 3261857 edges, 325 markings/sec, 2810 secs
lola: 1 tries, 3394 fired transitions, 2815 secs || 842196 markings, 3266905 edges, 279 markings/sec, 2815 secs
lola: 1 tries, 3398 fired transitions, 2820 secs || 844220 markings, 3275067 edges, 405 markings/sec, 2820 secs
lola: 1 tries, 3408 fired transitions, 2825 secs || 845375 markings, 3280936 edges, 231 markings/sec, 2825 secs
lola: 1 tries, 3412 fired transitions, 2830 secs || 847362 markings, 3288878 edges, 397 markings/sec, 2830 secs
lola: 1 tries, 3421 fired transitions, 2835 secs || 848881 markings, 3296342 edges, 304 markings/sec, 2835 secs
lola: 1 tries, 3426 fired transitions, 2840 secs || 850461 markings, 3301952 edges, 316 markings/sec, 2840 secs
lola: 1 tries, 3431 fired transitions, 2845 secs || 852378 markings, 3310753 edges, 383 markings/sec, 2845 secs
lola: 1 tries, 3441 fired transitions, 2850 secs || 853573 markings, 3317050 edges, 239 markings/sec, 2850 secs
lola: 1 tries, 3446 fired transitions, 2855 secs || 855303 markings, 3323289 edges, 346 markings/sec, 2855 secs
lola: 1 tries, 3456 fired transitions, 2860 secs || 856847 markings, 3330600 edges, 309 markings/sec, 2860 secs
lola: 1 tries, 3461 fired transitions, 2865 secs || 858235 markings, 3337243 edges, 278 markings/sec, 2865 secs
lola: 1 tries, 3472 fired transitions, 2870 secs || 860544 markings, 3347209 edges, 462 markings/sec, 2870 secs
lola: 1 tries, 3477 fired transitions, 2875 secs || 861814 markings, 3352790 edges, 254 markings/sec, 2875 secs
lola: 1 tries, 3482 fired transitions, 2880 secs || 863731 markings, 3361643 edges, 383 markings/sec, 2880 secs
lola: 1 tries, 3493 fired transitions, 2885 secs || 865245 markings, 3366494 edges, 303 markings/sec, 2885 secs
lola: 1 tries, 3498 fired transitions, 2890 secs || 866765 markings, 3373915 edges, 304 markings/sec, 2890 secs
lola: 1 tries, 3507 fired transitions, 2895 secs || 868609 markings, 3383913 edges, 369 markings/sec, 2895 secs
lola: 1 tries, 3512 fired transitions, 2900 secs || 869832 markings, 3389017 edges, 245 markings/sec, 2900 secs
lola: 1 tries, 3517 fired transitions, 2905 secs || 871766 markings, 3397882 edges, 387 markings/sec, 2905 secs
lola: 1 tries, 3526 fired transitions, 2910 secs || 873054 markings, 3403056 edges, 258 markings/sec, 2910 secs
lola: 1 tries, 3532 fired transitions, 2915 secs || 874681 markings, 3410294 edges, 325 markings/sec, 2915 secs
lola: 1 tries, 3541 fired transitions, 2920 secs || 876345 markings, 3417330 edges, 333 markings/sec, 2920 secs
lola: 1 tries, 3546 fired transitions, 2925 secs || 877707 markings, 3422891 edges, 272 markings/sec, 2925 secs
lola: 1 tries, 3555 fired transitions, 2930 secs || 879688 markings, 3430422 edges, 396 markings/sec, 2930 secs
lola: 1 tries, 3560 fired transitions, 2935 secs || 880879 markings, 3434408 edges, 238 markings/sec, 2935 secs
lola: 1 tries, 3565 fired transitions, 2940 secs || 882547 markings, 3441460 edges, 334 markings/sec, 2940 secs
lola: 1 tries, 3576 fired transitions, 2945 secs || 884193 markings, 3448045 edges, 329 markings/sec, 2945 secs
lola: 1 tries, 3581 fired transitions, 2950 secs || 885399 markings, 3452667 edges, 241 markings/sec, 2950 secs
lola: 1 tries, 3585 fired transitions, 2955 secs || 887335 markings, 3460926 edges, 387 markings/sec, 2955 secs
lola: 1 tries, 3594 fired transitions, 2960 secs || 888751 markings, 3465125 edges, 283 markings/sec, 2960 secs
lola: 1 tries, 3599 fired transitions, 2965 secs || 890523 markings, 3472721 edges, 354 markings/sec, 2965 secs
lola: 1 tries, 3609 fired transitions, 2970 secs || 892081 markings, 3478683 edges, 312 markings/sec, 2970 secs
lola: 1 tries, 3615 fired transitions, 2975 secs || 893443 markings, 3484348 edges, 272 markings/sec, 2975 secs
lola: 1 tries, 3619 fired transitions, 2980 secs || 895410 markings, 3491792 edges, 393 markings/sec, 2980 secs
lola: 1 tries, 3630 fired transitions, 2985 secs || 896728 markings, 3496003 edges, 264 markings/sec, 2985 secs
lola: 1 tries, 3634 fired transitions, 2990 secs || 898216 markings, 3503736 edges, 298 markings/sec, 2990 secs
lola: 1 tries, 3643 fired transitions, 2995 secs || 899965 markings, 3512323 edges, 350 markings/sec, 2995 secs
lola: 1 tries, 3647 fired transitions, 3000 secs || 901164 markings, 3517546 edges, 240 markings/sec, 3000 secs
lola: 1 tries, 3651 fired transitions, 3005 secs || 902638 markings, 3524155 edges, 295 markings/sec, 3005 secs
lola: 1 tries, 3656 fired transitions, 3010 secs || 904195 markings, 3532575 edges, 311 markings/sec, 3010 secs
lola: 1 tries, 3664 fired transitions, 3015 secs || 905482 markings, 3538393 edges, 257 markings/sec, 3015 secs
lola: 1 tries, 3669 fired transitions, 3020 secs || 906684 markings, 3542906 edges, 240 markings/sec, 3020 secs
lola: 1 tries, 3674 fired transitions, 3025 secs || 908754 markings, 3552004 edges, 414 markings/sec, 3025 secs
lola: 1 tries, 3683 fired transitions, 3030 secs || 910293 markings, 3558476 edges, 308 markings/sec, 3030 secs
lola: 1 tries, 3689 fired transitions, 3035 secs || 911743 markings, 3563610 edges, 290 markings/sec, 3035 secs
lola: 1 tries, 3698 fired transitions, 3040 secs || 913759 markings, 3570739 edges, 403 markings/sec, 3040 secs
lola: 1 tries, 3703 fired transitions, 3045 secs || 914970 markings, 3576868 edges, 242 markings/sec, 3045 secs
lola: 1 tries, 3707 fired transitions, 3050 secs || 916774 markings, 3584570 edges, 361 markings/sec, 3050 secs
lola: 1 tries, 3717 fired transitions, 3055 secs || 918243 markings, 3590802 edges, 294 markings/sec, 3055 secs
lola: 1 tries, 3721 fired transitions, 3060 secs || 919629 markings, 3596101 edges, 277 markings/sec, 3060 secs
lola: 1 tries, 3726 fired transitions, 3065 secs || 921688 markings, 3604204 edges, 412 markings/sec, 3065 secs
lola: 1 tries, 3737 fired transitions, 3070 secs || 922959 markings, 3609594 edges, 254 markings/sec, 3070 secs
lola: 1 tries, 3742 fired transitions, 3075 secs || 924606 markings, 3614531 edges, 329 markings/sec, 3075 secs
lola: 1 tries, 3751 fired transitions, 3080 secs || 926411 markings, 3620311 edges, 361 markings/sec, 3080 secs
lola: 1 tries, 3755 fired transitions, 3085 secs || 927710 markings, 3625247 edges, 260 markings/sec, 3085 secs
lola: 1 tries, 3761 fired transitions, 3090 secs || 929568 markings, 3631569 edges, 372 markings/sec, 3090 secs
lola: 1 tries, 3770 fired transitions, 3095 secs || 931163 markings, 3637673 edges, 319 markings/sec, 3095 secs
lola: 1 tries, 3774 fired transitions, 3100 secs || 932423 markings, 3645085 edges, 252 markings/sec, 3100 secs
lola: 1 tries, 3778 fired transitions, 3105 secs || 934358 markings, 3653821 edges, 387 markings/sec, 3105 secs
lola: 1 tries, 3787 fired transitions, 3110 secs || 935667 markings, 3658535 edges, 262 markings/sec, 3110 secs
lola: 1 tries, 3792 fired transitions, 3115 secs || 937369 markings, 3666206 edges, 340 markings/sec, 3115 secs
lola: 1 tries, 3801 fired transitions, 3120 secs || 939059 markings, 3673427 edges, 338 markings/sec, 3120 secs
lola: 1 tries, 3805 fired transitions, 3125 secs || 940331 markings, 3678662 edges, 254 markings/sec, 3125 secs
lola: 1 tries, 3810 fired transitions, 3130 secs || 942398 markings, 3686196 edges, 413 markings/sec, 3130 secs
lola: 1 tries, 3819 fired transitions, 3135 secs || 943756 markings, 3691454 edges, 272 markings/sec, 3135 secs
lola: 1 tries, 3824 fired transitions, 3140 secs || 945219 markings, 3698233 edges, 293 markings/sec, 3140 secs
lola: 1 tries, 3835 fired transitions, 3145 secs || 947099 markings, 3705305 edges, 376 markings/sec, 3145 secs
lola: 1 tries, 3839 fired transitions, 3150 secs || 948318 markings, 3709001 edges, 244 markings/sec, 3150 secs
lola: 1 tries, 3843 fired transitions, 3155 secs || 950040 markings, 3717383 edges, 344 markings/sec, 3155 secs
lola: 1 tries, 3853 fired transitions, 3160 secs || 951629 markings, 3723329 edges, 318 markings/sec, 3160 secs
lola: 1 tries, 3859 fired transitions, 3165 secs || 953004 markings, 3728572 edges, 275 markings/sec, 3165 secs
lola: 1 tries, 3864 fired transitions, 3170 secs || 955049 markings, 3738390 edges, 409 markings/sec, 3170 secs
lola: 1 tries, 3872 fired transitions, 3175 secs || 956254 markings, 3743402 edges, 241 markings/sec, 3175 secs
lola: 1 tries, 3878 fired transitions, 3180 secs || 957875 markings, 3751773 edges, 324 markings/sec, 3180 secs
lola: 1 tries, 3886 fired transitions, 3185 secs || 959580 markings, 3759261 edges, 341 markings/sec, 3185 secs
lola: 1 tries, 3891 fired transitions, 3190 secs || 960846 markings, 3766021 edges, 253 markings/sec, 3190 secs
lola: 1 tries, 3896 fired transitions, 3195 secs || 962743 markings, 3775515 edges, 379 markings/sec, 3195 secs
lola: 1 tries, 3906 fired transitions, 3200 secs || 963951 markings, 3781109 edges, 242 markings/sec, 3200 secs
lola: 1 tries, 3910 fired transitions, 3205 secs || 965744 markings, 3789172 edges, 359 markings/sec, 3205 secs
lola: 1 tries, 3920 fired transitions, 3210 secs || 967549 markings, 3797012 edges, 361 markings/sec, 3210 secs
lola: 1 tries, 3925 fired transitions, 3215 secs || 968880 markings, 3802491 edges, 266 markings/sec, 3215 secs
lola: 1 tries, 3929 fired transitions, 3220 secs || 970733 markings, 3810828 edges, 371 markings/sec, 3220 secs
lola: 1 tries, 3940 fired transitions, 3225 secs || 972081 markings, 3817189 edges, 270 markings/sec, 3225 secs
lola: 1 tries, 3944 fired transitions, 3230 secs || 973488 markings, 3822978 edges, 281 markings/sec, 3230 secs
lola: 1 tries, 3954 fired transitions, 3235 secs || 975435 markings, 3831884 edges, 389 markings/sec, 3235 secs
lola: 1 tries, 3958 fired transitions, 3240 secs || 976609 markings, 3837926 edges, 235 markings/sec, 3240 secs
lola: 1 tries, 3962 fired transitions, 3245 secs || 978336 markings, 3847010 edges, 345 markings/sec, 3245 secs
lola: 1 tries, 3973 fired transitions, 3250 secs || 979842 markings, 3854957 edges, 301 markings/sec, 3250 secs
lola: 1 tries, 3977 fired transitions, 3255 secs || 981151 markings, 3861758 edges, 262 markings/sec, 3255 secs
lola: 1 tries, 3982 fired transitions, 3260 secs || 983263 markings, 3870467 edges, 422 markings/sec, 3260 secs
lola: 1 tries, 3992 fired transitions, 3265 secs || 984473 markings, 3874874 edges, 242 markings/sec, 3265 secs
lola: 1 tries, 3996 fired transitions, 3270 secs || 986117 markings, 3880503 edges, 329 markings/sec, 3270 secs
lola: 1 tries, 4005 fired transitions, 3275 secs || 987897 markings, 3887616 edges, 356 markings/sec, 3275 secs
lola: 1 tries, 4010 fired transitions, 3280 secs || 989084 markings, 3892326 edges, 237 markings/sec, 3280 secs
lola: 1 tries, 4015 fired transitions, 3285 secs || 990537 markings, 3897957 edges, 291 markings/sec, 3285 secs
lola: 1 tries, 4020 fired transitions, 3290 secs || 992287 markings, 3906051 edges, 350 markings/sec, 3290 secs
lola: 1 tries, 4028 fired transitions, 3295 secs || 993542 markings, 3911076 edges, 251 markings/sec, 3295 secs
lola: 1 tries, 4033 fired transitions, 3300 secs || 994826 markings, 3916023 edges, 257 markings/sec, 3300 secs
lola: 1 tries, 4038 fired transitions, 3305 secs || 996559 markings, 3923503 edges, 347 markings/sec, 3305 secs
lola: 1 tries, 4047 fired transitions, 3310 secs || 998199 markings, 3930487 edges, 328 markings/sec, 3310 secs
lola: 1 tries, 4051 fired transitions, 3315 secs || 999357 markings, 3935901 edges, 232 markings/sec, 3315 secs
lola: 1 tries, 4056 fired transitions, 3320 secs || 1001322 markings, 3942029 edges, 393 markings/sec, 3320 secs
lola: 1 tries, 4066 fired transitions, 3325 secs || 1002799 markings, 3947447 edges, 295 markings/sec, 3325 secs
lola: 1 tries, 4071 fired transitions, 3330 secs || 1004322 markings, 3952236 edges, 305 markings/sec, 3330 secs
lola: 1 tries, 4081 fired transitions, 3335 secs || 1006245 markings, 3958872 edges, 385 markings/sec, 3335 secs
lola: 1 tries, 4085 fired transitions, 3340 secs || 1007398 markings, 3963762 edges, 231 markings/sec, 3340 secs
lola: 1 tries, 4089 fired transitions, 3345 secs || 1009206 markings, 3971066 edges, 362 markings/sec, 3345 secs
lola: 1 tries, 4100 fired transitions, 3350 secs || 1010767 markings, 3976907 edges, 312 markings/sec, 3350 secs
lola: 1 tries, 4105 fired transitions, 3355 secs || 1012049 markings, 3982706 edges, 256 markings/sec, 3355 secs
lola: 1 tries, 4109 fired transitions, 3360 secs || 1013994 markings, 3989742 edges, 389 markings/sec, 3360 secs
lola: 1 tries, 4119 fired transitions, 3365 secs || 1015188 markings, 3994371 edges, 239 markings/sec, 3365 secs
lola: 1 tries, 4124 fired transitions, 3370 secs || 1016798 markings, 4000941 edges, 322 markings/sec, 3370 secs
lola: 1 tries, 4134 fired transitions, 3375 secs || 1018493 markings, 4008374 edges, 339 markings/sec, 3375 secs
lola: 1 tries, 4138 fired transitions, 3380 secs || 1019758 markings, 4012331 edges, 253 markings/sec, 3380 secs
lola: 1 tries, 4142 fired transitions, 3385 secs || 1021897 markings, 4020125 edges, 428 markings/sec, 3385 secs
lola: 1 tries, 4151 fired transitions, 3390 secs || 1023451 markings, 4026642 edges, 311 markings/sec, 3390 secs
lola: 1 tries, 4156 fired transitions, 3395 secs || 1025008 markings, 4032217 edges, 311 markings/sec, 3395 secs
lola: 1 tries, 4160 fired transitions, 3400 secs || 1026901 markings, 4040889 edges, 379 markings/sec, 3400 secs
lola: 1 tries, 4170 fired transitions, 3405 secs || 1028106 markings, 4046286 edges, 241 markings/sec, 3405 secs
lola: 1 tries, 4175 fired transitions, 3410 secs || 1029847 markings, 4053077 edges, 348 markings/sec, 3410 secs
lola: 1 tries, 4185 fired transitions, 3415 secs || 1031453 markings, 4060826 edges, 321 markings/sec, 3415 secs
lola: 1 tries, 4190 fired transitions, 3420 secs || 1032642 markings, 4066404 edges, 238 markings/sec, 3420 secs
lola: 1 tries, 4195 fired transitions, 3425 secs || 1034505 markings, 4075120 edges, 373 markings/sec, 3425 secs
lola: 1 tries, 4203 fired transitions, 3430 secs || 1035821 markings, 4080629 edges, 263 markings/sec, 3430 secs
lola: 1 tries, 4208 fired transitions, 3435 secs || 1037596 markings, 4087395 edges, 355 markings/sec, 3435 secs
lola: 1 tries, 4217 fired transitions, 3440 secs || 1039406 markings, 4095930 edges, 362 markings/sec, 3440 secs
lola: 1 tries, 4222 fired transitions, 3445 secs || 1040565 markings, 4101381 edges, 232 markings/sec, 3445 secs
lola: 1 tries, 4226 fired transitions, 3450 secs || 1042414 markings, 4107419 edges, 370 markings/sec, 3450 secs
lola: 1 tries, 4234 fired transitions, 3455 secs || 1043890 markings, 4114169 edges, 295 markings/sec, 3455 secs
lola: 1 tries, 4239 fired transitions, 3460 secs || 1045252 markings, 4120397 edges, 272 markings/sec, 3460 secs
lola: 1 tries, 4248 fired transitions, 3465 secs || 1047002 markings, 4129230 edges, 350 markings/sec, 3465 secs
lola: 1 tries, 4252 fired transitions, 3470 secs || 1048129 markings, 4135426 edges, 225 markings/sec, 3470 secs
lola: 1 tries, 4256 fired transitions, 3475 secs || 1049824 markings, 4142345 edges, 339 markings/sec, 3475 secs
lola: 1 tries, 4267 fired transitions, 3480 secs || 1051495 markings, 4149271 edges, 334 markings/sec, 3480 secs
lola: 1 tries, 4273 fired transitions, 3485 secs || 1052802 markings, 4155379 edges, 261 markings/sec, 3485 secs
lola: 1 tries, 4279 fired transitions, 3490 secs || 1054647 markings, 4163040 edges, 369 markings/sec, 3490 secs
lola: 1 tries, 4290 fired transitions, 3495 secs || 1056003 markings, 4168990 edges, 271 markings/sec, 3495 secs
lola: 1 tries, 4294 fired transitions, 3500 secs || 1057523 markings, 4175589 edges, 304 markings/sec, 3500 secs
lola: 1 tries, 4303 fired transitions, 3505 secs || 1059319 markings, 4182887 edges, 359 markings/sec, 3505 secs
lola: 1 tries, 4308 fired transitions, 3510 secs || 1060426 markings, 4187378 edges, 221 markings/sec, 3510 secs
lola: 1 tries, 4312 fired transitions, 3515 secs || 1062247 markings, 4194245 edges, 364 markings/sec, 3515 secs
lola: 1 tries, 4322 fired transitions, 3520 secs || 1063803 markings, 4201397 edges, 311 markings/sec, 3520 secs
lola: 1 tries, 4326 fired transitions, 3525 secs || 1065192 markings, 4206959 edges, 278 markings/sec, 3525 secs
lola: 1 tries, 4331 fired transitions, 3530 secs || 1067100 markings, 4215729 edges, 382 markings/sec, 3530 secs
lola: 1 tries, 4339 fired transitions, 3535 secs || 1068443 markings, 4220455 edges, 269 markings/sec, 3535 secs
lola: 1 tries, 4344 fired transitions, 3540 secs || 1069791 markings, 4226246 edges, 270 markings/sec, 3540 secs
lola: 1 tries, 4348 fired transitions, 3545 secs || 1071532 markings, 4234732 edges, 348 markings/sec, 3545 secs
lola: 1 tries, 4358 fired transitions, 3550 secs || 1072770 markings, 4241132 edges, 248 markings/sec, 3550 secs
lola: 1 tries, 4363 fired transitions, 3555 secs || 1074295 markings, 4246710 edges, 305 markings/sec, 3555 secs
lola: time limit reached - aborting
lola: memory consumption: 1062960 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 1552672662621
--------------------
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-PT-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-PT-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-155246549600534"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/GlobalResAllocation-PT-05.tgz
mv GlobalResAllocation-PT-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 '
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 ;