About the Execution of LoLA for TokenRing-COL-030
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 5303.470 | 3594260.00 | 7313145.00 | 105.20 | [undef] | Cannot compute |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/data/fko/mcc2019-input.r170-oct2-155297750400255.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fko/mcc2019-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
...................
=====================================================================
Generated by BenchKit 2-3954
Executing tool lola
Input is TokenRing-COL-030, examination is GlobalProperties
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r170-oct2-155297750400255
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 176K
-rw-r--r-- 1 mcc users 3.8K Feb 12 20:07 CTLCardinality.txt
-rw-r--r-- 1 mcc users 22K Feb 12 20:07 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.6K Feb 9 03:19 CTLFireability.txt
-rw-r--r-- 1 mcc users 15K Feb 9 03:19 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 10 17:31 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 104 Feb 24 15:06 GlobalProperties.txt
-rw-r--r-- 1 mcc users 342 Feb 24 15:06 GlobalProperties.xml
-rw-r--r-- 1 mcc users 2.1K Feb 5 01:48 LTLCardinality.txt
-rw-r--r-- 1 mcc users 8.9K Feb 5 01:48 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.1K Feb 4 22:49 LTLFireability.txt
-rw-r--r-- 1 mcc users 9.1K Feb 4 22:49 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.6K Feb 4 21:36 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 18K Feb 4 21:36 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.5K Feb 1 21:56 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 11K Feb 1 21:55 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 4 22:31 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Feb 4 22:31 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Jan 29 09:35 equiv_pt
-rw-r--r-- 1 mcc users 4 Jan 29 09:35 instance
-rw-r--r-- 1 mcc users 5 Jan 29 09:35 iscolored
-rw-r--r-- 1 mcc users 23K 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 TokenRing-COL-030-GlobalProperties-0
=== Now, execution of the tool begins
BK_START 1553113089622
info: Time: 3600 - MCC
vrfy: Checking GlobalProperties @ TokenRing-COL-030 @ 3570 seconds
vrfy: finished
info: timeLeft: -24
rslt: Output for GlobalProperties @ TokenRing-COL-030
{
"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": "Wed Mar 20 20:18:09 2019
",
"timelimit": 3570
},
"child": null,
"exit":
{
"error": null,
"memory": 1250676,
"runtime": 3573.000000,
"signal": "User defined signal 2",
"timelimitreached": true
},
"files":
{
"JSON": "GlobalProperties.json",
"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": 111724,
"conflict_clusters": 1,
"places": 961,
"places_significant": 930,
"singleton_clusters": 0,
"transitions": 27931
},
"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: 961, Transitions: 27931
lola: @ trans mainprocess
lola: @ trans otherprocess
lola: finished unfolding
lola: finished parsing
lola: closed net file model.pnml
lola: 28892/268435456 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 30752
lola: finding significant places
lola: 961 places, 27931 transitions, 930 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: computing symmetries (--symmetry)
lola: time limit for symmetry computation of 300 seconds given (--symmtimelimit)
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: 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, 1559 fired transitions, 0 secs || 1539 markings, 1778 edges, 308 markings/sec, 0 secs
lola: 1 tries, 3080 fired transitions, 5 secs || 3053 markings, 5620 edges, 303 markings/sec, 5 secs
lola: 1 tries, 4603 fired transitions, 10 secs || 4578 markings, 9780 edges, 305 markings/sec, 10 secs
lola: 1 tries, 6140 fired transitions, 15 secs || 6121 markings, 14000 edges, 309 markings/sec, 15 secs
lola: 1 tries, 7672 fired transitions, 20 secs || 7650 markings, 18584 edges, 306 markings/sec, 20 secs
lola: 1 tries, 9181 fired transitions, 25 secs || 9155 markings, 23797 edges, 301 markings/sec, 25 secs
lola: 1 tries, 10702 fired transitions, 30 secs || 10671 markings, 29038 edges, 303 markings/sec, 30 secs
lola: 1 tries, 12215 fired transitions, 35 secs || 12181 markings, 33925 edges, 302 markings/sec, 35 secs
lola: 1 tries, 13717 fired transitions, 40 secs || 13680 markings, 39155 edges, 300 markings/sec, 40 secs
lola: 1 tries, 15231 fired transitions, 45 secs || 15189 markings, 44423 edges, 302 markings/sec, 45 secs
lola: 1 tries, 16745 fired transitions, 50 secs || 16702 markings, 49270 edges, 303 markings/sec, 50 secs
lola: 1 tries, 18265 fired transitions, 55 secs || 18219 markings, 54519 edges, 303 markings/sec, 55 secs
lola: 1 tries, 19787 fired transitions, 60 secs || 19740 markings, 59837 edges, 304 markings/sec, 60 secs
lola: 1 tries, 21313 fired transitions, 65 secs || 21262 markings, 64779 edges, 304 markings/sec, 65 secs
lola: 1 tries, 22838 fired transitions, 70 secs || 22787 markings, 70066 edges, 305 markings/sec, 70 secs
lola: 1 tries, 24403 fired transitions, 75 secs || 24316 markings, 75030 edges, 306 markings/sec, 75 secs
lola: 1 tries, 25978 fired transitions, 80 secs || 25852 markings, 80334 edges, 307 markings/sec, 80 secs
lola: 1 tries, 27552 fired transitions, 85 secs || 27388 markings, 85378 edges, 307 markings/sec, 85 secs
lola: 1 tries, 29129 fired transitions, 90 secs || 28929 markings, 90746 edges, 308 markings/sec, 90 secs
lola: 1 tries, 30712 fired transitions, 95 secs || 30480 markings, 95810 edges, 310 markings/sec, 95 secs
lola: 1 tries, 32287 fired transitions, 100 secs || 32027 markings, 100991 edges, 309 markings/sec, 100 secs
lola: 1 tries, 33872 fired transitions, 105 secs || 33583 markings, 106405 edges, 311 markings/sec, 105 secs
lola: 1 tries, 35454 fired transitions, 110 secs || 35144 markings, 111680 edges, 312 markings/sec, 110 secs
lola: 1 tries, 37043 fired transitions, 115 secs || 36712 markings, 116883 edges, 314 markings/sec, 115 secs
lola: 1 tries, 38633 fired transitions, 120 secs || 38285 markings, 122153 edges, 315 markings/sec, 120 secs
lola: 1 tries, 40223 fired transitions, 125 secs || 39861 markings, 127492 edges, 315 markings/sec, 125 secs
lola: 1 tries, 41818 fired transitions, 130 secs || 41445 markings, 133041 edges, 317 markings/sec, 130 secs
lola: 1 tries, 43420 fired transitions, 135 secs || 43036 markings, 138346 edges, 318 markings/sec, 135 secs
lola: 1 tries, 45030 fired transitions, 140 secs || 44638 markings, 143735 edges, 320 markings/sec, 140 secs
lola: 1 tries, 46632 fired transitions, 145 secs || 46232 markings, 148374 edges, 319 markings/sec, 145 secs
lola: 1 tries, 48196 fired transitions, 150 secs || 47754 markings, 152375 edges, 304 markings/sec, 150 secs
lola: 1 tries, 49769 fired transitions, 155 secs || 49299 markings, 156541 edges, 309 markings/sec, 155 secs
lola: 1 tries, 51359 fired transitions, 160 secs || 50875 markings, 160776 edges, 315 markings/sec, 160 secs
lola: 1 tries, 52911 fired transitions, 165 secs || 52384 markings, 165476 edges, 302 markings/sec, 165 secs
lola: 1 tries, 54467 fired transitions, 170 secs || 53896 markings, 170437 edges, 302 markings/sec, 170 secs
lola: 1 tries, 56025 fired transitions, 175 secs || 55414 markings, 175454 edges, 304 markings/sec, 175 secs
lola: 1 tries, 57570 fired transitions, 180 secs || 56943 markings, 180660 edges, 306 markings/sec, 180 secs
lola: 1 tries, 59109 fired transitions, 185 secs || 58471 markings, 185845 edges, 306 markings/sec, 185 secs
lola: 1 tries, 60625 fired transitions, 190 secs || 60001 markings, 191155 edges, 306 markings/sec, 190 secs
lola: 1 tries, 62180 fired transitions, 195 secs || 61541 markings, 196672 edges, 308 markings/sec, 195 secs
lola: 1 tries, 63751 fired transitions, 200 secs || 63101 markings, 202270 edges, 312 markings/sec, 200 secs
lola: 1 tries, 65324 fired transitions, 205 secs || 64657 markings, 207833 edges, 311 markings/sec, 205 secs
lola: 1 tries, 66877 fired transitions, 210 secs || 66201 markings, 213195 edges, 309 markings/sec, 210 secs
lola: 1 tries, 68442 fired transitions, 215 secs || 67745 markings, 218549 edges, 309 markings/sec, 215 secs
lola: 1 tries, 70014 fired transitions, 220 secs || 69308 markings, 224118 edges, 313 markings/sec, 220 secs
lola: 1 tries, 71581 fired transitions, 225 secs || 70855 markings, 229664 edges, 309 markings/sec, 225 secs
lola: 1 tries, 73148 fired transitions, 230 secs || 72406 markings, 235105 edges, 310 markings/sec, 230 secs
lola: 1 tries, 74720 fired transitions, 235 secs || 73957 markings, 240589 edges, 310 markings/sec, 235 secs
lola: 1 tries, 76288 fired transitions, 240 secs || 75512 markings, 245978 edges, 311 markings/sec, 240 secs
lola: 1 tries, 77868 fired transitions, 245 secs || 77072 markings, 251427 edges, 312 markings/sec, 245 secs
lola: 1 tries, 79447 fired transitions, 250 secs || 78637 markings, 257103 edges, 313 markings/sec, 250 secs
lola: 1 tries, 81022 fired transitions, 255 secs || 80193 markings, 262626 edges, 311 markings/sec, 255 secs
lola: 1 tries, 82601 fired transitions, 260 secs || 81753 markings, 268131 edges, 312 markings/sec, 260 secs
lola: 1 tries, 84181 fired transitions, 265 secs || 83314 markings, 273503 edges, 312 markings/sec, 265 secs
lola: 1 tries, 85772 fired transitions, 270 secs || 84885 markings, 279062 edges, 314 markings/sec, 270 secs
lola: 1 tries, 87362 fired transitions, 275 secs || 86459 markings, 284128 edges, 315 markings/sec, 275 secs
lola: 1 tries, 88913 fired transitions, 280 secs || 87989 markings, 288305 edges, 306 markings/sec, 280 secs
lola: 1 tries, 90490 fired transitions, 285 secs || 89554 markings, 292606 edges, 313 markings/sec, 285 secs
lola: 1 tries, 92059 fired transitions, 290 secs || 91106 markings, 297491 edges, 310 markings/sec, 290 secs
lola: 1 tries, 93610 fired transitions, 295 secs || 92571 markings, 302816 edges, 293 markings/sec, 295 secs
lola: 1 tries, 95115 fired transitions, 300 secs || 94068 markings, 308396 edges, 299 markings/sec, 300 secs
lola: 1 tries, 96672 fired transitions, 305 secs || 95537 markings, 313821 edges, 294 markings/sec, 305 secs
lola: 1 tries, 98230 fired transitions, 310 secs || 97008 markings, 319241 edges, 294 markings/sec, 310 secs
lola: 1 tries, 99746 fired transitions, 315 secs || 98494 markings, 324739 edges, 297 markings/sec, 315 secs
lola: 1 tries, 101259 fired transitions, 320 secs || 99975 markings, 330146 edges, 296 markings/sec, 320 secs
lola: 1 tries, 102808 fired transitions, 325 secs || 101465 markings, 335640 edges, 298 markings/sec, 325 secs
lola: 1 tries, 104346 fired transitions, 330 secs || 102975 markings, 341273 edges, 302 markings/sec, 330 secs
lola: 1 tries, 105899 fired transitions, 335 secs || 104488 markings, 346846 edges, 303 markings/sec, 335 secs
lola: 1 tries, 107440 fired transitions, 340 secs || 105997 markings, 352426 edges, 302 markings/sec, 340 secs
lola: 1 tries, 109014 fired transitions, 345 secs || 107470 markings, 357790 edges, 295 markings/sec, 345 secs
lola: 1 tries, 110588 fired transitions, 350 secs || 108970 markings, 363339 edges, 300 markings/sec, 350 secs
lola: 1 tries, 112165 fired transitions, 355 secs || 110444 markings, 368794 edges, 295 markings/sec, 355 secs
lola: 1 tries, 113717 fired transitions, 360 secs || 111986 markings, 374543 edges, 308 markings/sec, 360 secs
lola: 1 tries, 115294 fired transitions, 365 secs || 113509 markings, 380164 edges, 305 markings/sec, 365 secs
lola: 1 tries, 116881 fired transitions, 370 secs || 115000 markings, 385735 edges, 298 markings/sec, 370 secs
lola: 1 tries, 118475 fired transitions, 375 secs || 116498 markings, 391271 edges, 300 markings/sec, 375 secs
lola: 1 tries, 120051 fired transitions, 380 secs || 118059 markings, 397116 edges, 312 markings/sec, 380 secs
lola: 1 tries, 121623 fired transitions, 385 secs || 119641 markings, 403095 edges, 316 markings/sec, 385 secs
lola: 1 tries, 123210 fired transitions, 390 secs || 121231 markings, 409080 edges, 318 markings/sec, 390 secs
lola: 1 tries, 124779 fired transitions, 395 secs || 122746 markings, 414522 edges, 303 markings/sec, 395 secs
lola: 1 tries, 126339 fired transitions, 400 secs || 124235 markings, 419871 edges, 298 markings/sec, 400 secs
lola: 1 tries, 127908 fired transitions, 405 secs || 125718 markings, 425396 edges, 297 markings/sec, 405 secs
lola: 1 tries, 129463 fired transitions, 410 secs || 127201 markings, 432248 edges, 297 markings/sec, 410 secs
lola: 1 tries, 131020 fired transitions, 415 secs || 128688 markings, 439014 edges, 297 markings/sec, 415 secs
lola: 1 tries, 132575 fired transitions, 420 secs || 130182 markings, 445702 edges, 299 markings/sec, 420 secs
lola: 1 tries, 134113 fired transitions, 425 secs || 131676 markings, 452452 edges, 299 markings/sec, 425 secs
lola: 1 tries, 135654 fired transitions, 430 secs || 133181 markings, 459025 edges, 301 markings/sec, 430 secs
lola: 1 tries, 137184 fired transitions, 435 secs || 134683 markings, 465797 edges, 300 markings/sec, 435 secs
lola: 1 tries, 138718 fired transitions, 440 secs || 136186 markings, 472415 edges, 301 markings/sec, 440 secs
lola: 1 tries, 140252 fired transitions, 445 secs || 137670 markings, 479115 edges, 297 markings/sec, 445 secs
lola: 1 tries, 141782 fired transitions, 450 secs || 139155 markings, 485845 edges, 297 markings/sec, 450 secs
lola: 1 tries, 143322 fired transitions, 455 secs || 140664 markings, 492456 edges, 302 markings/sec, 455 secs
lola: 1 tries, 144858 fired transitions, 460 secs || 142168 markings, 499232 edges, 301 markings/sec, 460 secs
lola: 1 tries, 146394 fired transitions, 465 secs || 143675 markings, 506068 edges, 301 markings/sec, 465 secs
lola: 1 tries, 147945 fired transitions, 470 secs || 145180 markings, 512802 edges, 301 markings/sec, 470 secs
lola: 1 tries, 149509 fired transitions, 475 secs || 146661 markings, 519448 edges, 296 markings/sec, 475 secs
lola: 1 tries, 151058 fired transitions, 480 secs || 148177 markings, 526197 edges, 303 markings/sec, 480 secs
lola: 1 tries, 152597 fired transitions, 485 secs || 149685 markings, 533060 edges, 302 markings/sec, 485 secs
lola: 1 tries, 154139 fired transitions, 490 secs || 151196 markings, 539972 edges, 302 markings/sec, 490 secs
lola: 1 tries, 155710 fired transitions, 495 secs || 152697 markings, 546590 edges, 300 markings/sec, 495 secs
lola: 1 tries, 157235 fired transitions, 500 secs || 154200 markings, 552067 edges, 301 markings/sec, 500 secs
lola: 1 tries, 158771 fired transitions, 505 secs || 155710 markings, 557550 edges, 302 markings/sec, 505 secs
lola: 1 tries, 160297 fired transitions, 510 secs || 157207 markings, 563917 edges, 299 markings/sec, 510 secs
lola: 1 tries, 161826 fired transitions, 515 secs || 158709 markings, 570747 edges, 300 markings/sec, 515 secs
lola: 1 tries, 163378 fired transitions, 520 secs || 160186 markings, 577419 edges, 295 markings/sec, 520 secs
lola: 1 tries, 164908 fired transitions, 525 secs || 161681 markings, 584150 edges, 299 markings/sec, 525 secs
lola: 1 tries, 166446 fired transitions, 530 secs || 163184 markings, 590736 edges, 301 markings/sec, 530 secs
lola: 1 tries, 167974 fired transitions, 535 secs || 164686 markings, 597481 edges, 300 markings/sec, 535 secs
lola: 1 tries, 169516 fired transitions, 540 secs || 166183 markings, 604193 edges, 299 markings/sec, 540 secs
lola: 1 tries, 171037 fired transitions, 545 secs || 167684 markings, 610856 edges, 300 markings/sec, 545 secs
lola: 1 tries, 172574 fired transitions, 550 secs || 169186 markings, 617664 edges, 300 markings/sec, 550 secs
lola: 1 tries, 174115 fired transitions, 555 secs || 170697 markings, 624336 edges, 302 markings/sec, 555 secs
lola: 1 tries, 175652 fired transitions, 560 secs || 172203 markings, 631087 edges, 301 markings/sec, 560 secs
lola: 1 tries, 177207 fired transitions, 565 secs || 173698 markings, 637823 edges, 299 markings/sec, 565 secs
lola: 1 tries, 178753 fired transitions, 570 secs || 175209 markings, 644604 edges, 302 markings/sec, 570 secs
lola: 1 tries, 180299 fired transitions, 575 secs || 176719 markings, 651417 edges, 302 markings/sec, 575 secs
lola: 1 tries, 181852 fired transitions, 580 secs || 178231 markings, 658279 edges, 302 markings/sec, 580 secs
lola: 1 tries, 183399 fired transitions, 585 secs || 179739 markings, 664940 edges, 302 markings/sec, 585 secs
lola: 1 tries, 184927 fired transitions, 590 secs || 181248 markings, 670356 edges, 302 markings/sec, 590 secs
lola: 1 tries, 186486 fired transitions, 595 secs || 182756 markings, 675858 edges, 302 markings/sec, 595 secs
lola: 1 tries, 188034 fired transitions, 600 secs || 184246 markings, 682652 edges, 298 markings/sec, 600 secs
lola: 1 tries, 189586 fired transitions, 605 secs || 185737 markings, 689562 edges, 298 markings/sec, 605 secs
lola: 1 tries, 191135 fired transitions, 610 secs || 187236 markings, 696250 edges, 300 markings/sec, 610 secs
lola: 1 tries, 192695 fired transitions, 615 secs || 188712 markings, 702861 edges, 295 markings/sec, 615 secs
lola: 1 tries, 194252 fired transitions, 620 secs || 190187 markings, 709405 edges, 295 markings/sec, 620 secs
lola: 1 tries, 195802 fired transitions, 625 secs || 191682 markings, 716080 edges, 299 markings/sec, 625 secs
lola: 1 tries, 197365 fired transitions, 630 secs || 193161 markings, 722676 edges, 296 markings/sec, 630 secs
lola: 1 tries, 198920 fired transitions, 635 secs || 194658 markings, 729347 edges, 299 markings/sec, 635 secs
lola: 1 tries, 200484 fired transitions, 640 secs || 196129 markings, 736009 edges, 294 markings/sec, 640 secs
lola: 1 tries, 202042 fired transitions, 645 secs || 197632 markings, 742712 edges, 301 markings/sec, 645 secs
lola: 1 tries, 203604 fired transitions, 650 secs || 199123 markings, 749510 edges, 298 markings/sec, 650 secs
lola: 1 tries, 205168 fired transitions, 655 secs || 200624 markings, 756333 edges, 300 markings/sec, 655 secs
lola: 1 tries, 206746 fired transitions, 660 secs || 202122 markings, 763084 edges, 300 markings/sec, 660 secs
lola: 1 tries, 208304 fired transitions, 665 secs || 203622 markings, 769301 edges, 300 markings/sec, 665 secs
lola: 1 tries, 209862 fired transitions, 670 secs || 205134 markings, 774733 edges, 302 markings/sec, 670 secs
lola: 1 tries, 211430 fired transitions, 675 secs || 206628 markings, 780841 edges, 299 markings/sec, 675 secs
lola: 1 tries, 212987 fired transitions, 680 secs || 208094 markings, 787686 edges, 293 markings/sec, 680 secs
lola: 1 tries, 214545 fired transitions, 685 secs || 209561 markings, 794325 edges, 293 markings/sec, 685 secs
lola: 1 tries, 216112 fired transitions, 690 secs || 211073 markings, 801081 edges, 302 markings/sec, 690 secs
lola: 1 tries, 217678 fired transitions, 695 secs || 212592 markings, 807927 edges, 304 markings/sec, 695 secs
lola: 1 tries, 219246 fired transitions, 700 secs || 214112 markings, 814617 edges, 304 markings/sec, 700 secs
lola: 1 tries, 220817 fired transitions, 705 secs || 215633 markings, 821417 edges, 304 markings/sec, 705 secs
lola: 1 tries, 222381 fired transitions, 710 secs || 217148 markings, 828255 edges, 303 markings/sec, 710 secs
lola: 1 tries, 223956 fired transitions, 715 secs || 218675 markings, 835048 edges, 305 markings/sec, 715 secs
lola: 1 tries, 225526 fired transitions, 720 secs || 220199 markings, 841972 edges, 305 markings/sec, 720 secs
lola: 1 tries, 227102 fired transitions, 725 secs || 221723 markings, 848892 edges, 305 markings/sec, 725 secs
lola: 1 tries, 228678 fired transitions, 730 secs || 223246 markings, 855582 edges, 305 markings/sec, 730 secs
lola: 1 tries, 230245 fired transitions, 735 secs || 224771 markings, 861164 edges, 305 markings/sec, 735 secs
lola: 1 tries, 231817 fired transitions, 740 secs || 226298 markings, 867248 edges, 305 markings/sec, 740 secs
lola: 1 tries, 233381 fired transitions, 745 secs || 227817 markings, 874300 edges, 304 markings/sec, 745 secs
lola: 1 tries, 234952 fired transitions, 750 secs || 229341 markings, 881154 edges, 305 markings/sec, 750 secs
lola: 1 tries, 236525 fired transitions, 755 secs || 230866 markings, 887900 edges, 305 markings/sec, 755 secs
lola: 1 tries, 238091 fired transitions, 760 secs || 232390 markings, 894684 edges, 305 markings/sec, 760 secs
lola: 1 tries, 239659 fired transitions, 765 secs || 233913 markings, 901546 edges, 305 markings/sec, 765 secs
lola: 1 tries, 241233 fired transitions, 770 secs || 235443 markings, 908365 edges, 306 markings/sec, 770 secs
lola: 1 tries, 242803 fired transitions, 775 secs || 236974 markings, 915248 edges, 306 markings/sec, 775 secs
lola: 1 tries, 244373 fired transitions, 780 secs || 238501 markings, 922243 edges, 305 markings/sec, 780 secs
lola: 1 tries, 245944 fired transitions, 785 secs || 240030 markings, 929191 edges, 306 markings/sec, 785 secs
lola: 1 tries, 247513 fired transitions, 790 secs || 241560 markings, 935067 edges, 306 markings/sec, 790 secs
lola: 1 tries, 249089 fired transitions, 795 secs || 243095 markings, 941108 edges, 307 markings/sec, 795 secs
lola: 1 tries, 250658 fired transitions, 800 secs || 244623 markings, 948290 edges, 306 markings/sec, 800 secs
lola: 1 tries, 252230 fired transitions, 805 secs || 246153 markings, 955191 edges, 306 markings/sec, 805 secs
lola: 1 tries, 253809 fired transitions, 810 secs || 247686 markings, 962110 edges, 307 markings/sec, 810 secs
lola: 1 tries, 255385 fired transitions, 815 secs || 249220 markings, 969043 edges, 307 markings/sec, 815 secs
lola: 1 tries, 256952 fired transitions, 820 secs || 250754 markings, 975982 edges, 307 markings/sec, 820 secs
lola: 1 tries, 258531 fired transitions, 825 secs || 252296 markings, 982894 edges, 308 markings/sec, 825 secs
lola: 1 tries, 260087 fired transitions, 830 secs || 253834 markings, 989962 edges, 308 markings/sec, 830 secs
lola: 1 tries, 261650 fired transitions, 835 secs || 255354 markings, 996534 edges, 304 markings/sec, 835 secs
lola: 1 tries, 263205 fired transitions, 840 secs || 256886 markings, 1002170 edges, 306 markings/sec, 840 secs
lola: 1 tries, 264766 fired transitions, 845 secs || 258414 markings, 1009203 edges, 306 markings/sec, 845 secs
lola: 1 tries, 266343 fired transitions, 850 secs || 259954 markings, 1016117 edges, 308 markings/sec, 850 secs
lola: 1 tries, 267911 fired transitions, 855 secs || 261488 markings, 1023066 edges, 307 markings/sec, 855 secs
lola: 1 tries, 269486 fired transitions, 860 secs || 263030 markings, 1030020 edges, 308 markings/sec, 860 secs
lola: 1 tries, 271070 fired transitions, 865 secs || 264572 markings, 1037024 edges, 308 markings/sec, 865 secs
lola: 1 tries, 272655 fired transitions, 870 secs || 266124 markings, 1044136 edges, 310 markings/sec, 870 secs
lola: 1 tries, 274236 fired transitions, 875 secs || 267672 markings, 1050872 edges, 310 markings/sec, 875 secs
lola: 1 tries, 275819 fired transitions, 880 secs || 269224 markings, 1056611 edges, 310 markings/sec, 880 secs
lola: 1 tries, 277398 fired transitions, 885 secs || 270771 markings, 1063856 edges, 309 markings/sec, 885 secs
lola: 1 tries, 278976 fired transitions, 890 secs || 272317 markings, 1070847 edges, 309 markings/sec, 890 secs
lola: 1 tries, 280552 fired transitions, 895 secs || 273869 markings, 1077873 edges, 310 markings/sec, 895 secs
lola: 1 tries, 282130 fired transitions, 900 secs || 275410 markings, 1084910 edges, 308 markings/sec, 900 secs
lola: 1 tries, 283711 fired transitions, 905 secs || 276963 markings, 1091939 edges, 311 markings/sec, 905 secs
lola: 1 tries, 285293 fired transitions, 910 secs || 278517 markings, 1098378 edges, 311 markings/sec, 910 secs
lola: 1 tries, 286873 fired transitions, 915 secs || 280070 markings, 1104871 edges, 311 markings/sec, 915 secs
lola: 1 tries, 288461 fired transitions, 920 secs || 281631 markings, 1112000 edges, 312 markings/sec, 920 secs
lola: 1 tries, 290045 fired transitions, 925 secs || 283191 markings, 1119107 edges, 312 markings/sec, 925 secs
lola: 1 tries, 291636 fired transitions, 930 secs || 284757 markings, 1126201 edges, 313 markings/sec, 930 secs
lola: 1 tries, 293230 fired transitions, 935 secs || 286324 markings, 1133343 edges, 313 markings/sec, 935 secs
lola: 1 tries, 294822 fired transitions, 940 secs || 287892 markings, 1139328 edges, 314 markings/sec, 940 secs
lola: 1 tries, 296407 fired transitions, 945 secs || 289458 markings, 1146604 edges, 313 markings/sec, 945 secs
lola: 1 tries, 298002 fired transitions, 950 secs || 291025 markings, 1153709 edges, 313 markings/sec, 950 secs
lola: 1 tries, 299592 fired transitions, 955 secs || 292597 markings, 1160890 edges, 314 markings/sec, 955 secs
lola: 1 tries, 301185 fired transitions, 960 secs || 294172 markings, 1167477 edges, 315 markings/sec, 960 secs
lola: 1 tries, 302779 fired transitions, 965 secs || 295749 markings, 1174349 edges, 315 markings/sec, 965 secs
lola: 1 tries, 304374 fired transitions, 970 secs || 297324 markings, 1181513 edges, 315 markings/sec, 970 secs
lola: 1 tries, 305969 fired transitions, 975 secs || 298900 markings, 1188768 edges, 315 markings/sec, 975 secs
lola: 1 tries, 307567 fired transitions, 980 secs || 300480 markings, 1195142 edges, 316 markings/sec, 980 secs
lola: 1 tries, 309161 fired transitions, 985 secs || 302061 markings, 1202475 edges, 316 markings/sec, 985 secs
lola: 1 tries, 310758 fired transitions, 990 secs || 303644 markings, 1209758 edges, 317 markings/sec, 990 secs
lola: 1 tries, 312366 fired transitions, 995 secs || 305237 markings, 1216348 edges, 319 markings/sec, 995 secs
lola: 1 tries, 313965 fired transitions, 1000 secs || 306826 markings, 1223726 edges, 318 markings/sec, 1000 secs
lola: 1 tries, 315565 fired transitions, 1005 secs || 308415 markings, 1230462 edges, 318 markings/sec, 1005 secs
lola: 1 tries, 317170 fired transitions, 1010 secs || 310010 markings, 1237830 edges, 319 markings/sec, 1010 secs
lola: 1 tries, 318779 fired transitions, 1015 secs || 311601 markings, 1244720 edges, 318 markings/sec, 1015 secs
lola: 1 tries, 320386 fired transitions, 1020 secs || 313199 markings, 1251955 edges, 320 markings/sec, 1020 secs
lola: 1 tries, 321997 fired transitions, 1025 secs || 314803 markings, 1259190 edges, 321 markings/sec, 1025 secs
lola: 1 tries, 323609 fired transitions, 1030 secs || 316407 markings, 1266115 edges, 321 markings/sec, 1030 secs
lola: 1 tries, 325224 fired transitions, 1035 secs || 318022 markings, 1273359 edges, 323 markings/sec, 1035 secs
lola: 1 tries, 326816 fired transitions, 1040 secs || 319585 markings, 1278365 edges, 313 markings/sec, 1040 secs
lola: 1 tries, 328393 fired transitions, 1045 secs || 321118 markings, 1282506 edges, 307 markings/sec, 1045 secs
lola: 1 tries, 329971 fired transitions, 1050 secs || 322665 markings, 1286808 edges, 309 markings/sec, 1050 secs
lola: 1 tries, 331539 fired transitions, 1055 secs || 324182 markings, 1291804 edges, 303 markings/sec, 1055 secs
lola: 1 tries, 333100 fired transitions, 1060 secs || 325697 markings, 1296930 edges, 303 markings/sec, 1060 secs
lola: 1 tries, 334668 fired transitions, 1065 secs || 327223 markings, 1302063 edges, 305 markings/sec, 1065 secs
lola: 1 tries, 336232 fired transitions, 1070 secs || 328753 markings, 1307463 edges, 306 markings/sec, 1070 secs
lola: 1 tries, 337797 fired transitions, 1075 secs || 330273 markings, 1312741 edges, 304 markings/sec, 1075 secs
lola: 1 tries, 339375 fired transitions, 1080 secs || 331814 markings, 1318046 edges, 308 markings/sec, 1080 secs
lola: 1 tries, 340949 fired transitions, 1085 secs || 333321 markings, 1323396 edges, 301 markings/sec, 1085 secs
lola: 1 tries, 342510 fired transitions, 1090 secs || 334814 markings, 1328738 edges, 299 markings/sec, 1090 secs
lola: 1 tries, 344082 fired transitions, 1095 secs || 336344 markings, 1334110 edges, 306 markings/sec, 1095 secs
lola: 1 tries, 345647 fired transitions, 1100 secs || 337873 markings, 1339474 edges, 306 markings/sec, 1100 secs
lola: 1 tries, 347223 fired transitions, 1105 secs || 339406 markings, 1344856 edges, 307 markings/sec, 1105 secs
lola: 1 tries, 348789 fired transitions, 1110 secs || 340943 markings, 1350375 edges, 307 markings/sec, 1110 secs
lola: 1 tries, 350361 fired transitions, 1115 secs || 342475 markings, 1355947 edges, 306 markings/sec, 1115 secs
lola: 1 tries, 351933 fired transitions, 1120 secs || 344001 markings, 1361369 edges, 305 markings/sec, 1120 secs
lola: 1 tries, 353504 fired transitions, 1125 secs || 345534 markings, 1366937 edges, 307 markings/sec, 1125 secs
lola: 1 tries, 355067 fired transitions, 1130 secs || 347071 markings, 1372499 edges, 307 markings/sec, 1130 secs
lola: 1 tries, 356650 fired transitions, 1135 secs || 348604 markings, 1378026 edges, 307 markings/sec, 1135 secs
lola: 1 tries, 358230 fired transitions, 1140 secs || 350147 markings, 1383276 edges, 309 markings/sec, 1140 secs
lola: 1 tries, 359806 fired transitions, 1145 secs || 351689 markings, 1388845 edges, 308 markings/sec, 1145 secs
lola: 1 tries, 361391 fired transitions, 1150 secs || 353250 markings, 1394432 edges, 312 markings/sec, 1150 secs
lola: 1 tries, 362968 fired transitions, 1155 secs || 354797 markings, 1399815 edges, 309 markings/sec, 1155 secs
lola: 1 tries, 364516 fired transitions, 1160 secs || 356300 markings, 1404774 edges, 301 markings/sec, 1160 secs
lola: 1 tries, 366071 fired transitions, 1165 secs || 357806 markings, 1410004 edges, 301 markings/sec, 1165 secs
lola: 1 tries, 367618 fired transitions, 1170 secs || 359319 markings, 1415372 edges, 303 markings/sec, 1170 secs
lola: 1 tries, 369177 fired transitions, 1175 secs || 360838 markings, 1420544 edges, 304 markings/sec, 1175 secs
lola: 1 tries, 370724 fired transitions, 1180 secs || 362351 markings, 1425813 edges, 303 markings/sec, 1180 secs
lola: 1 tries, 372288 fired transitions, 1185 secs || 363849 markings, 1431188 edges, 300 markings/sec, 1185 secs
lola: 1 tries, 373853 fired transitions, 1190 secs || 365351 markings, 1436516 edges, 300 markings/sec, 1190 secs
lola: 1 tries, 375420 fired transitions, 1195 secs || 366866 markings, 1442066 edges, 303 markings/sec, 1195 secs
lola: 1 tries, 376982 fired transitions, 1200 secs || 368377 markings, 1447458 edges, 302 markings/sec, 1200 secs
lola: 1 tries, 378525 fired transitions, 1205 secs || 369887 markings, 1452955 edges, 302 markings/sec, 1205 secs
lola: 1 tries, 380098 fired transitions, 1210 secs || 371376 markings, 1458365 edges, 298 markings/sec, 1210 secs
lola: 1 tries, 381674 fired transitions, 1215 secs || 372895 markings, 1463888 edges, 304 markings/sec, 1215 secs
lola: 1 tries, 383233 fired transitions, 1220 secs || 374429 markings, 1469413 edges, 307 markings/sec, 1220 secs
lola: 1 tries, 384804 fired transitions, 1225 secs || 375967 markings, 1474916 edges, 308 markings/sec, 1225 secs
lola: 1 tries, 386382 fired transitions, 1230 secs || 377512 markings, 1480537 edges, 309 markings/sec, 1230 secs
lola: 1 tries, 387954 fired transitions, 1235 secs || 379032 markings, 1486114 edges, 304 markings/sec, 1235 secs
lola: 1 tries, 389522 fired transitions, 1240 secs || 380562 markings, 1491636 edges, 306 markings/sec, 1240 secs
lola: 1 tries, 391101 fired transitions, 1245 secs || 382109 markings, 1497288 edges, 309 markings/sec, 1245 secs
lola: 1 tries, 392670 fired transitions, 1250 secs || 383657 markings, 1502956 edges, 310 markings/sec, 1250 secs
lola: 1 tries, 394253 fired transitions, 1255 secs || 385211 markings, 1508585 edges, 311 markings/sec, 1255 secs
lola: 1 tries, 395818 fired transitions, 1260 secs || 386737 markings, 1514119 edges, 305 markings/sec, 1260 secs
lola: 1 tries, 397357 fired transitions, 1265 secs || 388225 markings, 1520307 edges, 298 markings/sec, 1265 secs
lola: 1 tries, 398841 fired transitions, 1270 secs || 389720 markings, 1526587 edges, 299 markings/sec, 1270 secs
lola: 1 tries, 400347 fired transitions, 1275 secs || 391214 markings, 1533022 edges, 299 markings/sec, 1275 secs
lola: 1 tries, 401881 fired transitions, 1280 secs || 392718 markings, 1539205 edges, 301 markings/sec, 1280 secs
lola: 1 tries, 403366 fired transitions, 1285 secs || 394220 markings, 1545674 edges, 300 markings/sec, 1285 secs
lola: 1 tries, 404863 fired transitions, 1290 secs || 395718 markings, 1552051 edges, 300 markings/sec, 1290 secs
lola: 1 tries, 406378 fired transitions, 1295 secs || 397206 markings, 1558740 edges, 298 markings/sec, 1295 secs
lola: 1 tries, 407902 fired transitions, 1300 secs || 398704 markings, 1565109 edges, 300 markings/sec, 1300 secs
lola: 1 tries, 409403 fired transitions, 1305 secs || 400203 markings, 1571576 edges, 300 markings/sec, 1305 secs
lola: 1 tries, 410879 fired transitions, 1310 secs || 401677 markings, 1577874 edges, 295 markings/sec, 1310 secs
lola: 1 tries, 412364 fired transitions, 1315 secs || 403157 markings, 1584291 edges, 296 markings/sec, 1315 secs
lola: 1 tries, 413906 fired transitions, 1320 secs || 404626 markings, 1590723 edges, 294 markings/sec, 1320 secs
lola: 1 tries, 415458 fired transitions, 1325 secs || 406097 markings, 1597261 edges, 294 markings/sec, 1325 secs
lola: 1 tries, 416998 fired transitions, 1330 secs || 407581 markings, 1603657 edges, 297 markings/sec, 1330 secs
lola: 1 tries, 418550 fired transitions, 1335 secs || 409077 markings, 1610059 edges, 299 markings/sec, 1335 secs
lola: 1 tries, 420101 fired transitions, 1340 secs || 410588 markings, 1616657 edges, 302 markings/sec, 1340 secs
lola: 1 tries, 421599 fired transitions, 1345 secs || 412086 markings, 1623218 edges, 300 markings/sec, 1345 secs
lola: 1 tries, 423114 fired transitions, 1350 secs || 413590 markings, 1629608 edges, 301 markings/sec, 1350 secs
lola: 1 tries, 424601 fired transitions, 1355 secs || 415098 markings, 1636282 edges, 302 markings/sec, 1355 secs
lola: 1 tries, 426073 fired transitions, 1360 secs || 416603 markings, 1642812 edges, 301 markings/sec, 1360 secs
lola: 1 tries, 427567 fired transitions, 1365 secs || 418106 markings, 1649286 edges, 301 markings/sec, 1365 secs
lola: 1 tries, 429044 fired transitions, 1370 secs || 419609 markings, 1655905 edges, 301 markings/sec, 1370 secs
lola: 1 tries, 430562 fired transitions, 1375 secs || 421115 markings, 1662625 edges, 301 markings/sec, 1375 secs
lola: 1 tries, 432118 fired transitions, 1380 secs || 422629 markings, 1669317 edges, 303 markings/sec, 1380 secs
lola: 1 tries, 433689 fired transitions, 1385 secs || 424135 markings, 1675910 edges, 301 markings/sec, 1385 secs
lola: 1 tries, 435252 fired transitions, 1390 secs || 425638 markings, 1682597 edges, 301 markings/sec, 1390 secs
lola: 1 tries, 436818 fired transitions, 1395 secs || 427138 markings, 1689455 edges, 300 markings/sec, 1395 secs
lola: 1 tries, 438392 fired transitions, 1400 secs || 428672 markings, 1696215 edges, 307 markings/sec, 1400 secs
lola: 1 tries, 439944 fired transitions, 1405 secs || 430166 markings, 1702757 edges, 299 markings/sec, 1405 secs
lola: 1 tries, 441491 fired transitions, 1410 secs || 431681 markings, 1709449 edges, 303 markings/sec, 1410 secs
lola: 1 tries, 442987 fired transitions, 1415 secs || 433202 markings, 1716138 edges, 304 markings/sec, 1415 secs
lola: 1 tries, 444477 fired transitions, 1420 secs || 434726 markings, 1723003 edges, 305 markings/sec, 1420 secs
lola: 1 tries, 446044 fired transitions, 1425 secs || 436252 markings, 1729769 edges, 305 markings/sec, 1425 secs
lola: 1 tries, 447579 fired transitions, 1430 secs || 437782 markings, 1736858 edges, 306 markings/sec, 1430 secs
lola: 1 tries, 449128 fired transitions, 1435 secs || 439271 markings, 1743181 edges, 298 markings/sec, 1435 secs
lola: 1 tries, 450631 fired transitions, 1440 secs || 440783 markings, 1749862 edges, 302 markings/sec, 1440 secs
lola: 1 tries, 452157 fired transitions, 1445 secs || 442298 markings, 1756595 edges, 303 markings/sec, 1445 secs
lola: 1 tries, 453698 fired transitions, 1450 secs || 443805 markings, 1763264 edges, 301 markings/sec, 1450 secs
lola: 1 tries, 455218 fired transitions, 1455 secs || 445328 markings, 1770116 edges, 305 markings/sec, 1455 secs
lola: 1 tries, 456730 fired transitions, 1460 secs || 446861 markings, 1776944 edges, 307 markings/sec, 1460 secs
lola: 1 tries, 458294 fired transitions, 1465 secs || 448389 markings, 1784033 edges, 306 markings/sec, 1465 secs
lola: 1 tries, 459826 fired transitions, 1470 secs || 449872 markings, 1790343 edges, 297 markings/sec, 1470 secs
lola: 1 tries, 461386 fired transitions, 1475 secs || 451374 markings, 1796916 edges, 300 markings/sec, 1475 secs
lola: 1 tries, 462873 fired transitions, 1480 secs || 452898 markings, 1803667 edges, 305 markings/sec, 1480 secs
lola: 1 tries, 464384 fired transitions, 1485 secs || 454424 markings, 1810383 edges, 305 markings/sec, 1485 secs
lola: 1 tries, 465942 fired transitions, 1490 secs || 455939 markings, 1817290 edges, 303 markings/sec, 1490 secs
lola: 1 tries, 467513 fired transitions, 1495 secs || 457468 markings, 1824122 edges, 306 markings/sec, 1495 secs
lola: 1 tries, 469079 fired transitions, 1500 secs || 459001 markings, 1831002 edges, 307 markings/sec, 1500 secs
lola: 1 tries, 470596 fired transitions, 1505 secs || 460516 markings, 1837837 edges, 303 markings/sec, 1505 secs
lola: 1 tries, 472131 fired transitions, 1510 secs || 462015 markings, 1844314 edges, 300 markings/sec, 1510 secs
lola: 1 tries, 473643 fired transitions, 1515 secs || 463503 markings, 1850924 edges, 298 markings/sec, 1515 secs
lola: 1 tries, 475143 fired transitions, 1520 secs || 465019 markings, 1857704 edges, 303 markings/sec, 1520 secs
lola: 1 tries, 476694 fired transitions, 1525 secs || 466543 markings, 1864567 edges, 305 markings/sec, 1525 secs
lola: 1 tries, 478263 fired transitions, 1530 secs || 468027 markings, 1871351 edges, 297 markings/sec, 1530 secs
lola: 1 tries, 479842 fired transitions, 1535 secs || 469520 markings, 1878048 edges, 299 markings/sec, 1535 secs
lola: 1 tries, 481417 fired transitions, 1540 secs || 471013 markings, 1884775 edges, 299 markings/sec, 1540 secs
lola: 1 tries, 482994 fired transitions, 1545 secs || 472516 markings, 1891791 edges, 301 markings/sec, 1545 secs
lola: 1 tries, 484560 fired transitions, 1550 secs || 473988 markings, 1898001 edges, 294 markings/sec, 1550 secs
lola: 1 tries, 486123 fired transitions, 1555 secs || 475462 markings, 1904566 edges, 295 markings/sec, 1555 secs
lola: 1 tries, 487688 fired transitions, 1560 secs || 476943 markings, 1911176 edges, 296 markings/sec, 1560 secs
lola: 1 tries, 489262 fired transitions, 1565 secs || 478430 markings, 1917783 edges, 297 markings/sec, 1565 secs
lola: 1 tries, 490824 fired transitions, 1570 secs || 479906 markings, 1924558 edges, 295 markings/sec, 1570 secs
lola: 1 tries, 492397 fired transitions, 1575 secs || 481396 markings, 1931300 edges, 298 markings/sec, 1575 secs
lola: 1 tries, 493977 fired transitions, 1580 secs || 482891 markings, 1938065 edges, 299 markings/sec, 1580 secs
lola: 1 tries, 495551 fired transitions, 1585 secs || 484388 markings, 1944905 edges, 299 markings/sec, 1585 secs
lola: 1 tries, 497131 fired transitions, 1590 secs || 485890 markings, 1951861 edges, 300 markings/sec, 1590 secs
lola: 1 tries, 498696 fired transitions, 1595 secs || 487359 markings, 1958088 edges, 294 markings/sec, 1595 secs
lola: 1 tries, 500258 fired transitions, 1600 secs || 488835 markings, 1964629 edges, 295 markings/sec, 1600 secs
lola: 1 tries, 501829 fired transitions, 1605 secs || 490301 markings, 1971100 edges, 293 markings/sec, 1605 secs
lola: 1 tries, 503382 fired transitions, 1610 secs || 491784 markings, 1977885 edges, 297 markings/sec, 1610 secs
lola: 1 tries, 504898 fired transitions, 1615 secs || 493312 markings, 1984757 edges, 306 markings/sec, 1615 secs
lola: 1 tries, 506430 fired transitions, 1620 secs || 494830 markings, 1991606 edges, 304 markings/sec, 1620 secs
lola: 1 tries, 507961 fired transitions, 1625 secs || 496363 markings, 1998599 edges, 307 markings/sec, 1625 secs
lola: 1 tries, 509534 fired transitions, 1630 secs || 497899 markings, 2005669 edges, 307 markings/sec, 1630 secs
lola: 1 tries, 511052 fired transitions, 1635 secs || 499416 markings, 2012572 edges, 303 markings/sec, 1635 secs
lola: 1 tries, 512588 fired transitions, 1640 secs || 500924 markings, 2019141 edges, 302 markings/sec, 1640 secs
lola: 1 tries, 514102 fired transitions, 1645 secs || 502431 markings, 2025816 edges, 301 markings/sec, 1645 secs
lola: 1 tries, 515585 fired transitions, 1650 secs || 503954 markings, 2032655 edges, 305 markings/sec, 1650 secs
lola: 1 tries, 517085 fired transitions, 1655 secs || 505484 markings, 2039437 edges, 306 markings/sec, 1655 secs
lola: 1 tries, 518592 fired transitions, 1660 secs || 507020 markings, 2046473 edges, 307 markings/sec, 1660 secs
lola: 1 tries, 520106 fired transitions, 1665 secs || 508542 markings, 2053394 edges, 304 markings/sec, 1665 secs
lola: 1 tries, 521615 fired transitions, 1670 secs || 510078 markings, 2060435 edges, 307 markings/sec, 1670 secs
lola: 1 tries, 523127 fired transitions, 1675 secs || 511618 markings, 2067470 edges, 308 markings/sec, 1675 secs
lola: 1 tries, 524670 fired transitions, 1680 secs || 513133 markings, 2074427 edges, 303 markings/sec, 1680 secs
lola: 1 tries, 526140 fired transitions, 1685 secs || 514667 markings, 2081288 edges, 307 markings/sec, 1685 secs
lola: 1 tries, 527603 fired transitions, 1690 secs || 516181 markings, 2087919 edges, 303 markings/sec, 1690 secs
lola: 1 tries, 529100 fired transitions, 1695 secs || 517702 markings, 2094850 edges, 304 markings/sec, 1695 secs
lola: 1 tries, 530672 fired transitions, 1700 secs || 519214 markings, 2101569 edges, 302 markings/sec, 1700 secs
lola: 1 tries, 532223 fired transitions, 1705 secs || 520749 markings, 2108537 edges, 307 markings/sec, 1705 secs
lola: 1 tries, 533796 fired transitions, 1710 secs || 522271 markings, 2115454 edges, 304 markings/sec, 1710 secs
lola: 1 tries, 535373 fired transitions, 1715 secs || 523790 markings, 2122324 edges, 304 markings/sec, 1715 secs
lola: 1 tries, 536909 fired transitions, 1720 secs || 525330 markings, 2129383 edges, 308 markings/sec, 1720 secs
lola: 1 tries, 538491 fired transitions, 1725 secs || 526850 markings, 2136331 edges, 304 markings/sec, 1725 secs
lola: 1 tries, 540067 fired transitions, 1730 secs || 528385 markings, 2143280 edges, 307 markings/sec, 1730 secs
lola: 1 tries, 541583 fired transitions, 1735 secs || 529890 markings, 2149933 edges, 301 markings/sec, 1735 secs
lola: 1 tries, 543080 fired transitions, 1740 secs || 531415 markings, 2156650 edges, 305 markings/sec, 1740 secs
lola: 1 tries, 544578 fired transitions, 1745 secs || 532945 markings, 2163619 edges, 306 markings/sec, 1745 secs
lola: 1 tries, 546069 fired transitions, 1750 secs || 534482 markings, 2170502 edges, 307 markings/sec, 1750 secs
lola: 1 tries, 547574 fired transitions, 1755 secs || 536026 markings, 2177596 edges, 309 markings/sec, 1755 secs
lola: 1 tries, 549036 fired transitions, 1760 secs || 537563 markings, 2184492 edges, 307 markings/sec, 1760 secs
lola: 1 tries, 550426 fired transitions, 1765 secs || 539101 markings, 2191538 edges, 308 markings/sec, 1765 secs
lola: 1 tries, 551872 fired transitions, 1770 secs || 540644 markings, 2198544 edges, 309 markings/sec, 1770 secs
lola: 1 tries, 553285 fired transitions, 1775 secs || 542192 markings, 2205567 edges, 310 markings/sec, 1775 secs
lola: 1 tries, 554674 fired transitions, 1780 secs || 543702 markings, 2212189 edges, 302 markings/sec, 1780 secs
lola: 1 tries, 556074 fired transitions, 1785 secs || 545221 markings, 2219034 edges, 304 markings/sec, 1785 secs
lola: 1 tries, 557497 fired transitions, 1790 secs || 546745 markings, 2225920 edges, 305 markings/sec, 1790 secs
lola: 1 tries, 558932 fired transitions, 1795 secs || 548272 markings, 2232851 edges, 305 markings/sec, 1795 secs
lola: 1 tries, 560393 fired transitions, 1800 secs || 549806 markings, 2239744 edges, 307 markings/sec, 1800 secs
lola: 1 tries, 561852 fired transitions, 1805 secs || 551335 markings, 2246820 edges, 306 markings/sec, 1805 secs
lola: 1 tries, 563313 fired transitions, 1810 secs || 552869 markings, 2253820 edges, 307 markings/sec, 1810 secs
lola: 1 tries, 564785 fired transitions, 1815 secs || 554410 markings, 2259959 edges, 308 markings/sec, 1815 secs
lola: 1 tries, 566253 fired transitions, 1820 secs || 555921 markings, 2266267 edges, 302 markings/sec, 1820 secs
lola: 1 tries, 567733 fired transitions, 1825 secs || 557436 markings, 2273037 edges, 303 markings/sec, 1825 secs
lola: 1 tries, 569225 fired transitions, 1830 secs || 558960 markings, 2279910 edges, 305 markings/sec, 1830 secs
lola: 1 tries, 570719 fired transitions, 1835 secs || 560489 markings, 2286819 edges, 306 markings/sec, 1835 secs
lola: 1 tries, 572222 fired transitions, 1840 secs || 562021 markings, 2293700 edges, 306 markings/sec, 1840 secs
lola: 1 tries, 573733 fired transitions, 1845 secs || 563559 markings, 2300786 edges, 308 markings/sec, 1845 secs
lola: 1 tries, 575241 fired transitions, 1850 secs || 565098 markings, 2307901 edges, 308 markings/sec, 1850 secs
lola: 1 tries, 576751 fired transitions, 1855 secs || 566629 markings, 2314775 edges, 306 markings/sec, 1855 secs
lola: 1 tries, 578262 fired transitions, 1860 secs || 568171 markings, 2320900 edges, 308 markings/sec, 1860 secs
lola: 1 tries, 579764 fired transitions, 1865 secs || 569678 markings, 2327403 edges, 301 markings/sec, 1865 secs
lola: 1 tries, 581274 fired transitions, 1870 secs || 571199 markings, 2334163 edges, 304 markings/sec, 1870 secs
lola: 1 tries, 582790 fired transitions, 1875 secs || 572731 markings, 2341042 edges, 306 markings/sec, 1875 secs
lola: 1 tries, 584311 fired transitions, 1880 secs || 574269 markings, 2347815 edges, 308 markings/sec, 1880 secs
lola: 1 tries, 585833 fired transitions, 1885 secs || 575808 markings, 2354839 edges, 308 markings/sec, 1885 secs
lola: 1 tries, 587347 fired transitions, 1890 secs || 577335 markings, 2360748 edges, 305 markings/sec, 1890 secs
lola: 1 tries, 588842 fired transitions, 1895 secs || 578835 markings, 2365813 edges, 300 markings/sec, 1895 secs
lola: 1 tries, 590338 fired transitions, 1900 secs || 580335 markings, 2371026 edges, 300 markings/sec, 1900 secs
lola: 1 tries, 591838 fired transitions, 1905 secs || 581844 markings, 2376484 edges, 302 markings/sec, 1905 secs
lola: 1 tries, 593341 fired transitions, 1910 secs || 583352 markings, 2381842 edges, 302 markings/sec, 1910 secs
lola: 1 tries, 594847 fired transitions, 1915 secs || 584863 markings, 2387225 edges, 302 markings/sec, 1915 secs
lola: 1 tries, 596349 fired transitions, 1920 secs || 586374 markings, 2392666 edges, 302 markings/sec, 1920 secs
lola: 1 tries, 597856 fired transitions, 1925 secs || 587892 markings, 2398115 edges, 304 markings/sec, 1925 secs
lola: 1 tries, 599360 fired transitions, 1930 secs || 589413 markings, 2403695 edges, 304 markings/sec, 1930 secs
lola: 1 tries, 600867 fired transitions, 1935 secs || 590929 markings, 2409199 edges, 303 markings/sec, 1935 secs
lola: 1 tries, 602413 fired transitions, 1940 secs || 592401 markings, 2414481 edges, 294 markings/sec, 1940 secs
lola: 1 tries, 603950 fired transitions, 1945 secs || 593918 markings, 2419904 edges, 303 markings/sec, 1945 secs
lola: 1 tries, 605450 fired transitions, 1950 secs || 595468 markings, 2425464 edges, 310 markings/sec, 1950 secs
lola: 1 tries, 606996 fired transitions, 1955 secs || 597010 markings, 2431169 edges, 308 markings/sec, 1955 secs
lola: 1 tries, 608560 fired transitions, 1960 secs || 598544 markings, 2436629 edges, 307 markings/sec, 1960 secs
lola: 1 tries, 610130 fired transitions, 1965 secs || 600082 markings, 2442217 edges, 308 markings/sec, 1965 secs
lola: 1 tries, 611696 fired transitions, 1970 secs || 601637 markings, 2447848 edges, 311 markings/sec, 1970 secs
lola: 1 tries, 613265 fired transitions, 1975 secs || 603187 markings, 2453484 edges, 310 markings/sec, 1975 secs
lola: 1 tries, 614824 fired transitions, 1980 secs || 604734 markings, 2459057 edges, 309 markings/sec, 1980 secs
lola: 1 tries, 616394 fired transitions, 1985 secs || 606288 markings, 2464611 edges, 311 markings/sec, 1985 secs
lola: 1 tries, 617970 fired transitions, 1990 secs || 607837 markings, 2470204 edges, 310 markings/sec, 1990 secs
lola: 1 tries, 619543 fired transitions, 1995 secs || 609393 markings, 2475811 edges, 311 markings/sec, 1995 secs
lola: 1 tries, 621091 fired transitions, 2000 secs || 610902 markings, 2481104 edges, 302 markings/sec, 2000 secs
lola: 1 tries, 622631 fired transitions, 2005 secs || 612397 markings, 2486514 edges, 299 markings/sec, 2005 secs
lola: 1 tries, 624137 fired transitions, 2010 secs || 613909 markings, 2491963 edges, 302 markings/sec, 2010 secs
lola: 1 tries, 625631 fired transitions, 2015 secs || 615409 markings, 2498368 edges, 300 markings/sec, 2015 secs
lola: 1 tries, 627102 fired transitions, 2020 secs || 616902 markings, 2505287 edges, 299 markings/sec, 2020 secs
lola: 1 tries, 628582 fired transitions, 2025 secs || 618398 markings, 2512100 edges, 299 markings/sec, 2025 secs
lola: 1 tries, 630039 fired transitions, 2030 secs || 619885 markings, 2519023 edges, 297 markings/sec, 2030 secs
lola: 1 tries, 631548 fired transitions, 2035 secs || 621384 markings, 2525909 edges, 300 markings/sec, 2035 secs
lola: 1 tries, 633035 fired transitions, 2040 secs || 622882 markings, 2532584 edges, 300 markings/sec, 2040 secs
lola: 1 tries, 634517 fired transitions, 2045 secs || 624390 markings, 2539029 edges, 302 markings/sec, 2045 secs
lola: 1 tries, 635983 fired transitions, 2050 secs || 625893 markings, 2545951 edges, 301 markings/sec, 2050 secs
lola: 1 tries, 637528 fired transitions, 2055 secs || 627391 markings, 2552760 edges, 300 markings/sec, 2055 secs
lola: 1 tries, 639036 fired transitions, 2060 secs || 628918 markings, 2559820 edges, 305 markings/sec, 2060 secs
lola: 1 tries, 640527 fired transitions, 2065 secs || 630432 markings, 2566627 edges, 303 markings/sec, 2065 secs
lola: 1 tries, 641996 fired transitions, 2070 secs || 631937 markings, 2573111 edges, 301 markings/sec, 2070 secs
lola: 1 tries, 643467 fired transitions, 2075 secs || 633442 markings, 2579895 edges, 301 markings/sec, 2075 secs
lola: 1 tries, 644959 fired transitions, 2080 secs || 634955 markings, 2586414 edges, 303 markings/sec, 2080 secs
lola: 1 tries, 646428 fired transitions, 2085 secs || 636449 markings, 2593119 edges, 299 markings/sec, 2085 secs
lola: 1 tries, 647914 fired transitions, 2090 secs || 637963 markings, 2599611 edges, 303 markings/sec, 2090 secs
lola: 1 tries, 649381 fired transitions, 2095 secs || 639467 markings, 2606322 edges, 301 markings/sec, 2095 secs
lola: 1 tries, 650891 fired transitions, 2100 secs || 640952 markings, 2612800 edges, 297 markings/sec, 2100 secs
lola: 1 tries, 652350 fired transitions, 2105 secs || 642458 markings, 2619569 edges, 301 markings/sec, 2105 secs
lola: 1 tries, 653865 fired transitions, 2110 secs || 643973 markings, 2626351 edges, 303 markings/sec, 2110 secs
lola: 1 tries, 655423 fired transitions, 2115 secs || 645477 markings, 2633105 edges, 301 markings/sec, 2115 secs
lola: 1 tries, 656969 fired transitions, 2120 secs || 646983 markings, 2639869 edges, 301 markings/sec, 2120 secs
lola: 1 tries, 658523 fired transitions, 2125 secs || 648495 markings, 2646529 edges, 302 markings/sec, 2125 secs
lola: 1 tries, 660074 fired transitions, 2130 secs || 649997 markings, 2653358 edges, 300 markings/sec, 2130 secs
lola: 1 tries, 661639 fired transitions, 2135 secs || 651537 markings, 2660469 edges, 308 markings/sec, 2135 secs
lola: 1 tries, 663182 fired transitions, 2140 secs || 653021 markings, 2666822 edges, 297 markings/sec, 2140 secs
lola: 1 tries, 664734 fired transitions, 2145 secs || 654523 markings, 2673566 edges, 300 markings/sec, 2145 secs
lola: 1 tries, 666236 fired transitions, 2150 secs || 656045 markings, 2680292 edges, 304 markings/sec, 2150 secs
lola: 1 tries, 667724 fired transitions, 2155 secs || 657568 markings, 2687205 edges, 305 markings/sec, 2155 secs
lola: 1 tries, 669211 fired transitions, 2160 secs || 659096 markings, 2694179 edges, 306 markings/sec, 2160 secs
lola: 1 tries, 670766 fired transitions, 2165 secs || 660632 markings, 2701138 edges, 307 markings/sec, 2165 secs
lola: 1 tries, 672308 fired transitions, 2170 secs || 662149 markings, 2707762 edges, 303 markings/sec, 2170 secs
lola: 1 tries, 673859 fired transitions, 2175 secs || 663663 markings, 2714391 edges, 303 markings/sec, 2175 secs
lola: 1 tries, 675401 fired transitions, 2180 secs || 665180 markings, 2721272 edges, 303 markings/sec, 2180 secs
lola: 1 tries, 676957 fired transitions, 2185 secs || 666707 markings, 2728101 edges, 305 markings/sec, 2185 secs
lola: 1 tries, 678500 fired transitions, 2190 secs || 668240 markings, 2735128 edges, 307 markings/sec, 2190 secs
lola: 1 tries, 679997 fired transitions, 2195 secs || 669756 markings, 2742172 edges, 303 markings/sec, 2195 secs
lola: 1 tries, 681505 fired transitions, 2200 secs || 671281 markings, 2749127 edges, 305 markings/sec, 2200 secs
lola: 1 tries, 683003 fired transitions, 2205 secs || 672791 markings, 2755804 edges, 302 markings/sec, 2205 secs
lola: 1 tries, 684504 fired transitions, 2210 secs || 674300 markings, 2762534 edges, 302 markings/sec, 2210 secs
lola: 1 tries, 686008 fired transitions, 2215 secs || 675808 markings, 2769423 edges, 302 markings/sec, 2215 secs
lola: 1 tries, 687514 fired transitions, 2220 secs || 677322 markings, 2776299 edges, 303 markings/sec, 2220 secs
lola: 1 tries, 689035 fired transitions, 2225 secs || 678823 markings, 2783208 edges, 300 markings/sec, 2225 secs
lola: 1 tries, 690593 fired transitions, 2230 secs || 680312 markings, 2790036 edges, 298 markings/sec, 2230 secs
lola: 1 tries, 692157 fired transitions, 2235 secs || 681830 markings, 2796887 edges, 304 markings/sec, 2235 secs
lola: 1 tries, 693689 fired transitions, 2240 secs || 683357 markings, 2803912 edges, 305 markings/sec, 2240 secs
lola: 1 tries, 695220 fired transitions, 2245 secs || 684864 markings, 2810487 edges, 301 markings/sec, 2245 secs
lola: 1 tries, 696732 fired transitions, 2250 secs || 686377 markings, 2817324 edges, 303 markings/sec, 2250 secs
lola: 1 tries, 698246 fired transitions, 2255 secs || 687892 markings, 2824217 edges, 303 markings/sec, 2255 secs
lola: 1 tries, 699769 fired transitions, 2260 secs || 689413 markings, 2831066 edges, 304 markings/sec, 2260 secs
lola: 1 tries, 701284 fired transitions, 2265 secs || 690931 markings, 2838096 edges, 304 markings/sec, 2265 secs
lola: 1 tries, 702799 fired transitions, 2270 secs || 692448 markings, 2845115 edges, 303 markings/sec, 2270 secs
lola: 1 tries, 704317 fired transitions, 2275 secs || 693969 markings, 2852177 edges, 304 markings/sec, 2275 secs
lola: 1 tries, 705832 fired transitions, 2280 secs || 695487 markings, 2859265 edges, 304 markings/sec, 2280 secs
lola: 1 tries, 707344 fired transitions, 2285 secs || 697002 markings, 2865866 edges, 303 markings/sec, 2285 secs
lola: 1 tries, 708854 fired transitions, 2290 secs || 698511 markings, 2872678 edges, 302 markings/sec, 2290 secs
lola: 1 tries, 710369 fired transitions, 2295 secs || 700027 markings, 2879551 edges, 303 markings/sec, 2295 secs
lola: 1 tries, 711882 fired transitions, 2300 secs || 701542 markings, 2886470 edges, 303 markings/sec, 2300 secs
lola: 1 tries, 713392 fired transitions, 2305 secs || 703054 markings, 2893371 edges, 302 markings/sec, 2305 secs
lola: 1 tries, 714910 fired transitions, 2310 secs || 704573 markings, 2900400 edges, 304 markings/sec, 2310 secs
lola: 1 tries, 716423 fired transitions, 2315 secs || 706089 markings, 2907395 edges, 303 markings/sec, 2315 secs
lola: 1 tries, 717949 fired transitions, 2320 secs || 707619 markings, 2914457 edges, 306 markings/sec, 2320 secs
lola: 1 tries, 719477 fired transitions, 2325 secs || 709152 markings, 2921591 edges, 307 markings/sec, 2325 secs
lola: 1 tries, 720987 fired transitions, 2330 secs || 710661 markings, 2928205 edges, 302 markings/sec, 2330 secs
lola: 1 tries, 722491 fired transitions, 2335 secs || 712168 markings, 2935051 edges, 301 markings/sec, 2335 secs
lola: 1 tries, 723964 fired transitions, 2340 secs || 713679 markings, 2941919 edges, 302 markings/sec, 2340 secs
lola: 1 tries, 725387 fired transitions, 2345 secs || 715189 markings, 2948779 edges, 302 markings/sec, 2345 secs
lola: 1 tries, 726771 fired transitions, 2350 secs || 716706 markings, 2955702 edges, 303 markings/sec, 2350 secs
lola: 1 tries, 728125 fired transitions, 2355 secs || 718230 markings, 2962738 edges, 305 markings/sec, 2355 secs
lola: 1 tries, 729454 fired transitions, 2360 secs || 719763 markings, 2969742 edges, 307 markings/sec, 2360 secs
lola: 1 tries, 730945 fired transitions, 2365 secs || 721128 markings, 2976059 edges, 273 markings/sec, 2365 secs
lola: 1 tries, 732469 fired transitions, 2370 secs || 722624 markings, 2982667 edges, 299 markings/sec, 2370 secs
lola: 1 tries, 733986 fired transitions, 2375 secs || 724139 markings, 2989526 edges, 303 markings/sec, 2375 secs
lola: 1 tries, 735510 fired transitions, 2380 secs || 725660 markings, 2996387 edges, 304 markings/sec, 2380 secs
lola: 1 tries, 737054 fired transitions, 2385 secs || 727187 markings, 3003326 edges, 305 markings/sec, 2385 secs
lola: 1 tries, 738603 fired transitions, 2390 secs || 728710 markings, 3010305 edges, 305 markings/sec, 2390 secs
lola: 1 tries, 740165 fired transitions, 2395 secs || 730243 markings, 3017283 edges, 307 markings/sec, 2395 secs
lola: 1 tries, 741689 fired transitions, 2400 secs || 731775 markings, 3024404 edges, 306 markings/sec, 2400 secs
lola: 1 tries, 743241 fired transitions, 2405 secs || 733314 markings, 3031539 edges, 308 markings/sec, 2405 secs
lola: 1 tries, 744810 fired transitions, 2410 secs || 734819 markings, 3038456 edges, 301 markings/sec, 2410 secs
lola: 1 tries, 746372 fired transitions, 2415 secs || 736359 markings, 3045592 edges, 308 markings/sec, 2415 secs
lola: 1 tries, 747923 fired transitions, 2420 secs || 737891 markings, 3052360 edges, 306 markings/sec, 2420 secs
lola: 1 tries, 749467 fired transitions, 2425 secs || 739397 markings, 3059050 edges, 301 markings/sec, 2425 secs
lola: 1 tries, 750994 fired transitions, 2430 secs || 740931 markings, 3066077 edges, 307 markings/sec, 2430 secs
lola: 1 tries, 752453 fired transitions, 2435 secs || 742455 markings, 3072952 edges, 305 markings/sec, 2435 secs
lola: 1 tries, 753610 fired transitions, 2440 secs || 743990 markings, 3079918 edges, 307 markings/sec, 2440 secs
lola: 1 tries, 754763 fired transitions, 2445 secs || 745524 markings, 3086984 edges, 307 markings/sec, 2445 secs
lola: 1 tries, 755922 fired transitions, 2450 secs || 747069 markings, 3094119 edges, 309 markings/sec, 2450 secs
lola: 1 tries, 757084 fired transitions, 2455 secs || 748614 markings, 3101236 edges, 309 markings/sec, 2455 secs
lola: 1 tries, 758245 fired transitions, 2460 secs || 750168 markings, 3108362 edges, 311 markings/sec, 2460 secs
lola: 1 tries, 759563 fired transitions, 2465 secs || 751712 markings, 3115389 edges, 309 markings/sec, 2465 secs
lola: 1 tries, 760987 fired transitions, 2470 secs || 753218 markings, 3122113 edges, 301 markings/sec, 2470 secs
lola: 1 tries, 762364 fired transitions, 2475 secs || 754736 markings, 3128945 edges, 304 markings/sec, 2475 secs
lola: 1 tries, 763710 fired transitions, 2480 secs || 756259 markings, 3135901 edges, 305 markings/sec, 2480 secs
lola: 1 tries, 764999 fired transitions, 2485 secs || 757794 markings, 3142892 edges, 307 markings/sec, 2485 secs
lola: 1 tries, 766518 fired transitions, 2490 secs || 759324 markings, 3149934 edges, 306 markings/sec, 2490 secs
lola: 1 tries, 767982 fired transitions, 2495 secs || 760851 markings, 3156910 edges, 305 markings/sec, 2495 secs
lola: 1 tries, 769396 fired transitions, 2500 secs || 762384 markings, 3164026 edges, 307 markings/sec, 2500 secs
lola: 1 tries, 770758 fired transitions, 2505 secs || 763926 markings, 3171128 edges, 308 markings/sec, 2505 secs
lola: 1 tries, 772174 fired transitions, 2510 secs || 765462 markings, 3178125 edges, 307 markings/sec, 2510 secs
lola: 1 tries, 773550 fired transitions, 2515 secs || 766970 markings, 3184840 edges, 302 markings/sec, 2515 secs
lola: 1 tries, 774921 fired transitions, 2520 secs || 768482 markings, 3191648 edges, 302 markings/sec, 2520 secs
lola: 1 tries, 776263 fired transitions, 2525 secs || 770008 markings, 3198563 edges, 305 markings/sec, 2525 secs
lola: 1 tries, 777557 fired transitions, 2530 secs || 771549 markings, 3205630 edges, 308 markings/sec, 2530 secs
lola: 1 tries, 779063 fired transitions, 2535 secs || 773078 markings, 3212588 edges, 306 markings/sec, 2535 secs
lola: 1 tries, 780499 fired transitions, 2540 secs || 774612 markings, 3219609 edges, 307 markings/sec, 2540 secs
lola: 1 tries, 781872 fired transitions, 2545 secs || 776153 markings, 3226723 edges, 308 markings/sec, 2545 secs
lola: 1 tries, 783182 fired transitions, 2550 secs || 777676 markings, 3233439 edges, 305 markings/sec, 2550 secs
lola: 1 tries, 784618 fired transitions, 2555 secs || 779196 markings, 3240230 edges, 304 markings/sec, 2555 secs
lola: 1 tries, 786093 fired transitions, 2560 secs || 780721 markings, 3247103 edges, 305 markings/sec, 2560 secs
lola: 1 tries, 787499 fired transitions, 2565 secs || 782254 markings, 3254058 edges, 307 markings/sec, 2565 secs
lola: 1 tries, 788831 fired transitions, 2570 secs || 783798 markings, 3261067 edges, 309 markings/sec, 2570 secs
lola: 1 tries, 790182 fired transitions, 2575 secs || 785342 markings, 3268148 edges, 309 markings/sec, 2575 secs
lola: 1 tries, 791679 fired transitions, 2580 secs || 786883 markings, 3275284 edges, 308 markings/sec, 2580 secs
lola: 1 tries, 793112 fired transitions, 2585 secs || 788420 markings, 3282239 edges, 307 markings/sec, 2585 secs
lola: 1 tries, 794486 fired transitions, 2590 secs || 789977 markings, 3288670 edges, 311 markings/sec, 2590 secs
lola: 1 tries, 795774 fired transitions, 2595 secs || 791487 markings, 3295094 edges, 302 markings/sec, 2595 secs
lola: 1 tries, 797007 fired transitions, 2600 secs || 793014 markings, 3301907 edges, 305 markings/sec, 2600 secs
lola: 1 tries, 798252 fired transitions, 2605 secs || 794554 markings, 3308830 edges, 308 markings/sec, 2605 secs
lola: 1 tries, 799495 fired transitions, 2610 secs || 796106 markings, 3315816 edges, 310 markings/sec, 2610 secs
lola: 1 tries, 800735 fired transitions, 2615 secs || 797658 markings, 3322809 edges, 310 markings/sec, 2615 secs
lola: 1 tries, 801975 fired transitions, 2620 secs || 799211 markings, 3329815 edges, 311 markings/sec, 2620 secs
lola: 1 tries, 803193 fired transitions, 2625 secs || 800726 markings, 3335910 edges, 303 markings/sec, 2625 secs
lola: 1 tries, 804412 fired transitions, 2630 secs || 802231 markings, 3342226 edges, 301 markings/sec, 2630 secs
lola: 1 tries, 805628 fired transitions, 2635 secs || 803733 markings, 3348641 edges, 300 markings/sec, 2635 secs
lola: 1 tries, 806840 fired transitions, 2640 secs || 805234 markings, 3354942 edges, 300 markings/sec, 2640 secs
lola: 1 tries, 808301 fired transitions, 2645 secs || 806735 markings, 3361310 edges, 300 markings/sec, 2645 secs
lola: 1 tries, 809700 fired transitions, 2650 secs || 808232 markings, 3367868 edges, 299 markings/sec, 2650 secs
lola: 1 tries, 811018 fired transitions, 2655 secs || 809734 markings, 3374228 edges, 300 markings/sec, 2655 secs
lola: 1 tries, 812277 fired transitions, 2660 secs || 811236 markings, 3380630 edges, 300 markings/sec, 2660 secs
lola: 1 tries, 813430 fired transitions, 2665 secs || 812742 markings, 3387020 edges, 301 markings/sec, 2665 secs
lola: 1 tries, 814489 fired transitions, 2670 secs || 814251 markings, 3393460 edges, 302 markings/sec, 2670 secs
lola: 1 tries, 815549 fired transitions, 2675 secs || 815759 markings, 3399791 edges, 302 markings/sec, 2675 secs
lola: 1 tries, 816610 fired transitions, 2680 secs || 817270 markings, 3406312 edges, 302 markings/sec, 2680 secs
lola: 1 tries, 817673 fired transitions, 2685 secs || 818779 markings, 3412817 edges, 302 markings/sec, 2685 secs
lola: 1 tries, 818735 fired transitions, 2690 secs || 820300 markings, 3419286 edges, 304 markings/sec, 2690 secs
lola: 1 tries, 819801 fired transitions, 2695 secs || 821826 markings, 3425990 edges, 305 markings/sec, 2695 secs
lola: 1 tries, 820860 fired transitions, 2700 secs || 823340 markings, 3432504 edges, 303 markings/sec, 2700 secs
lola: 1 tries, 821921 fired transitions, 2705 secs || 824853 markings, 3439108 edges, 303 markings/sec, 2705 secs
lola: 1 tries, 822981 fired transitions, 2710 secs || 826364 markings, 3445539 edges, 302 markings/sec, 2710 secs
lola: 1 tries, 824039 fired transitions, 2715 secs || 827880 markings, 3452200 edges, 303 markings/sec, 2715 secs
lola: 1 tries, 825103 fired transitions, 2720 secs || 829400 markings, 3458854 edges, 304 markings/sec, 2720 secs
lola: 1 tries, 826164 fired transitions, 2725 secs || 830916 markings, 3465328 edges, 303 markings/sec, 2725 secs
lola: 1 tries, 827224 fired transitions, 2730 secs || 832437 markings, 3471935 edges, 304 markings/sec, 2730 secs
lola: 1 tries, 828286 fired transitions, 2735 secs || 833957 markings, 3478544 edges, 304 markings/sec, 2735 secs
lola: 1 tries, 829351 fired transitions, 2740 secs || 835481 markings, 3485076 edges, 305 markings/sec, 2740 secs
lola: 1 tries, 830416 fired transitions, 2745 secs || 837003 markings, 3491503 edges, 304 markings/sec, 2745 secs
lola: 1 tries, 831478 fired transitions, 2750 secs || 838521 markings, 3498102 edges, 304 markings/sec, 2750 secs
lola: 1 tries, 832542 fired transitions, 2755 secs || 840052 markings, 3505051 edges, 306 markings/sec, 2755 secs
lola: 1 tries, 833607 fired transitions, 2760 secs || 841569 markings, 3511673 edges, 303 markings/sec, 2760 secs
lola: 1 tries, 834671 fired transitions, 2765 secs || 843095 markings, 3518359 edges, 305 markings/sec, 2765 secs
lola: 1 tries, 835737 fired transitions, 2770 secs || 844619 markings, 3525012 edges, 305 markings/sec, 2770 secs
lola: 1 tries, 836801 fired transitions, 2775 secs || 846150 markings, 3531770 edges, 306 markings/sec, 2775 secs
lola: 1 tries, 837864 fired transitions, 2780 secs || 847673 markings, 3538462 edges, 305 markings/sec, 2780 secs
lola: 1 tries, 838926 fired transitions, 2785 secs || 849199 markings, 3545116 edges, 305 markings/sec, 2785 secs
lola: 1 tries, 839989 fired transitions, 2790 secs || 850727 markings, 3551754 edges, 306 markings/sec, 2790 secs
lola: 1 tries, 841053 fired transitions, 2795 secs || 852247 markings, 3558311 edges, 304 markings/sec, 2795 secs
lola: 1 tries, 842112 fired transitions, 2800 secs || 853765 markings, 3564819 edges, 304 markings/sec, 2800 secs
lola: 1 tries, 843174 fired transitions, 2805 secs || 855294 markings, 3571649 edges, 306 markings/sec, 2805 secs
lola: 1 tries, 844238 fired transitions, 2810 secs || 856828 markings, 3578667 edges, 307 markings/sec, 2810 secs
lola: 1 tries, 845306 fired transitions, 2815 secs || 858371 markings, 3585744 edges, 309 markings/sec, 2815 secs
lola: 1 tries, 846426 fired transitions, 2820 secs || 859908 markings, 3592608 edges, 307 markings/sec, 2820 secs
lola: 1 tries, 847899 fired transitions, 2825 secs || 861421 markings, 3599362 edges, 303 markings/sec, 2825 secs
lola: 1 tries, 849307 fired transitions, 2830 secs || 862936 markings, 3606221 edges, 303 markings/sec, 2830 secs
lola: 1 tries, 850656 fired transitions, 2835 secs || 864461 markings, 3612986 edges, 305 markings/sec, 2835 secs
lola: 1 tries, 851937 fired transitions, 2840 secs || 865979 markings, 3619811 edges, 304 markings/sec, 2840 secs
lola: 1 tries, 853376 fired transitions, 2845 secs || 867503 markings, 3626570 edges, 305 markings/sec, 2845 secs
lola: 1 tries, 854836 fired transitions, 2850 secs || 869018 markings, 3633456 edges, 303 markings/sec, 2850 secs
lola: 1 tries, 856242 fired transitions, 2855 secs || 870537 markings, 3640133 edges, 304 markings/sec, 2855 secs
lola: 1 tries, 857593 fired transitions, 2860 secs || 872052 markings, 3646915 edges, 303 markings/sec, 2860 secs
lola: 1 tries, 858958 fired transitions, 2865 secs || 873573 markings, 3653819 edges, 304 markings/sec, 2865 secs
lola: 1 tries, 860443 fired transitions, 2870 secs || 875090 markings, 3660579 edges, 303 markings/sec, 2870 secs
lola: 1 tries, 861864 fired transitions, 2875 secs || 876613 markings, 3667440 edges, 305 markings/sec, 2875 secs
lola: 1 tries, 863210 fired transitions, 2880 secs || 878153 markings, 3674430 edges, 308 markings/sec, 2880 secs
lola: 1 tries, 864472 fired transitions, 2885 secs || 879692 markings, 3681493 edges, 308 markings/sec, 2885 secs
lola: 1 tries, 865945 fired transitions, 2890 secs || 881213 markings, 3688319 edges, 304 markings/sec, 2890 secs
lola: 1 tries, 867372 fired transitions, 2895 secs || 882732 markings, 3695143 edges, 304 markings/sec, 2895 secs
lola: 1 tries, 868746 fired transitions, 2900 secs || 884255 markings, 3701938 edges, 305 markings/sec, 2900 secs
lola: 1 tries, 870076 fired transitions, 2905 secs || 885781 markings, 3708763 edges, 305 markings/sec, 2905 secs
lola: 1 tries, 871500 fired transitions, 2910 secs || 887307 markings, 3715813 edges, 305 markings/sec, 2910 secs
lola: 1 tries, 872980 fired transitions, 2915 secs || 888836 markings, 3722948 edges, 306 markings/sec, 2915 secs
lola: 1 tries, 874411 fired transitions, 2920 secs || 890378 markings, 3730167 edges, 308 markings/sec, 2920 secs
lola: 1 tries, 875773 fired transitions, 2925 secs || 891917 markings, 3737235 edges, 308 markings/sec, 2925 secs
lola: 1 tries, 877071 fired transitions, 2930 secs || 893441 markings, 3744187 edges, 305 markings/sec, 2930 secs
lola: 1 tries, 878363 fired transitions, 2935 secs || 894984 markings, 3751267 edges, 309 markings/sec, 2935 secs
lola: 1 tries, 879662 fired transitions, 2940 secs || 896542 markings, 3758571 edges, 312 markings/sec, 2940 secs
lola: 1 tries, 880931 fired transitions, 2945 secs || 898069 markings, 3765298 edges, 305 markings/sec, 2945 secs
lola: 1 tries, 882171 fired transitions, 2950 secs || 899585 markings, 3771894 edges, 303 markings/sec, 2950 secs
lola: 1 tries, 883414 fired transitions, 2955 secs || 901112 markings, 3778630 edges, 305 markings/sec, 2955 secs
lola: 1 tries, 884654 fired transitions, 2960 secs || 902633 markings, 3785462 edges, 304 markings/sec, 2960 secs
lola: 1 tries, 885902 fired transitions, 2965 secs || 904172 markings, 3792471 edges, 308 markings/sec, 2965 secs
lola: 1 tries, 887146 fired transitions, 2970 secs || 905713 markings, 3799470 edges, 308 markings/sec, 2970 secs
lola: 1 tries, 888387 fired transitions, 2975 secs || 907249 markings, 3806501 edges, 307 markings/sec, 2975 secs
lola: 1 tries, 889840 fired transitions, 2980 secs || 908768 markings, 3812920 edges, 304 markings/sec, 2980 secs
lola: 1 tries, 891300 fired transitions, 2985 secs || 910281 markings, 3819669 edges, 303 markings/sec, 2985 secs
lola: 1 tries, 892708 fired transitions, 2990 secs || 911802 markings, 3826546 edges, 304 markings/sec, 2990 secs
lola: 1 tries, 893992 fired transitions, 2995 secs || 913330 markings, 3833310 edges, 306 markings/sec, 2995 secs
lola: 1 tries, 895274 fired transitions, 3000 secs || 914865 markings, 3840283 edges, 307 markings/sec, 3000 secs
lola: 1 tries, 896643 fired transitions, 3005 secs || 916403 markings, 3847275 edges, 308 markings/sec, 3005 secs
lola: 1 tries, 897881 fired transitions, 3010 secs || 917913 markings, 3853751 edges, 302 markings/sec, 3010 secs
lola: 1 tries, 899033 fired transitions, 3015 secs || 919436 markings, 3860581 edges, 305 markings/sec, 3015 secs
lola: 1 tries, 900152 fired transitions, 3020 secs || 920970 markings, 3867464 edges, 307 markings/sec, 3020 secs
lola: 1 tries, 901471 fired transitions, 3025 secs || 922505 markings, 3874251 edges, 307 markings/sec, 3025 secs
lola: 1 tries, 902675 fired transitions, 3030 secs || 924047 markings, 3881227 edges, 308 markings/sec, 3030 secs
lola: 1 tries, 903808 fired transitions, 3035 secs || 925557 markings, 3888459 edges, 302 markings/sec, 3035 secs
lola: 1 tries, 904908 fired transitions, 3040 secs || 927049 markings, 3895963 edges, 298 markings/sec, 3040 secs
lola: 1 tries, 906202 fired transitions, 3045 secs || 928545 markings, 3903485 edges, 299 markings/sec, 3045 secs
lola: 1 tries, 907730 fired transitions, 3050 secs || 930028 markings, 3910933 edges, 297 markings/sec, 3050 secs
lola: 1 tries, 909272 fired transitions, 3055 secs || 931489 markings, 3918230 edges, 292 markings/sec, 3055 secs
lola: 1 tries, 910813 fired transitions, 3060 secs || 932933 markings, 3925721 edges, 289 markings/sec, 3060 secs
lola: 1 tries, 912356 fired transitions, 3065 secs || 934390 markings, 3933327 edges, 291 markings/sec, 3065 secs
lola: 1 tries, 913897 fired transitions, 3070 secs || 935872 markings, 3941079 edges, 296 markings/sec, 3070 secs
lola: 1 tries, 915415 fired transitions, 3075 secs || 937362 markings, 3948830 edges, 298 markings/sec, 3075 secs
lola: 1 tries, 916954 fired transitions, 3080 secs || 938871 markings, 3956648 edges, 302 markings/sec, 3080 secs
lola: 1 tries, 918475 fired transitions, 3085 secs || 940361 markings, 3964248 edges, 298 markings/sec, 3085 secs
lola: 1 tries, 920011 fired transitions, 3090 secs || 941828 markings, 3971779 edges, 293 markings/sec, 3090 secs
lola: 1 tries, 921531 fired transitions, 3095 secs || 943323 markings, 3979549 edges, 299 markings/sec, 3095 secs
lola: 1 tries, 923029 fired transitions, 3100 secs || 944822 markings, 3987396 edges, 300 markings/sec, 3100 secs
lola: 1 tries, 924570 fired transitions, 3105 secs || 946318 markings, 3994825 edges, 299 markings/sec, 3105 secs
lola: 1 tries, 926101 fired transitions, 3110 secs || 947748 markings, 4002104 edges, 286 markings/sec, 3110 secs
lola: 1 tries, 927656 fired transitions, 3115 secs || 949185 markings, 4009481 edges, 287 markings/sec, 3115 secs
lola: 1 tries, 929202 fired transitions, 3120 secs || 950665 markings, 4017069 edges, 296 markings/sec, 3120 secs
lola: 1 tries, 930747 fired transitions, 3125 secs || 952154 markings, 4024748 edges, 298 markings/sec, 3125 secs
lola: 1 tries, 932295 fired transitions, 3130 secs || 953647 markings, 4032346 edges, 299 markings/sec, 3130 secs
lola: 1 tries, 933840 fired transitions, 3135 secs || 955131 markings, 4040150 edges, 297 markings/sec, 3135 secs
lola: 1 tries, 935386 fired transitions, 3140 secs || 956630 markings, 4047960 edges, 300 markings/sec, 3140 secs
lola: 1 tries, 936940 fired transitions, 3145 secs || 958124 markings, 4055816 edges, 299 markings/sec, 3145 secs
lola: 1 tries, 938481 fired transitions, 3150 secs || 959623 markings, 4063753 edges, 300 markings/sec, 3150 secs
lola: 1 tries, 940022 fired transitions, 3155 secs || 961128 markings, 4071674 edges, 301 markings/sec, 3155 secs
lola: 1 tries, 941518 fired transitions, 3160 secs || 962639 markings, 4079995 edges, 302 markings/sec, 3160 secs
lola: 1 tries, 943052 fired transitions, 3165 secs || 964152 markings, 4087910 edges, 303 markings/sec, 3165 secs
lola: 1 tries, 944513 fired transitions, 3170 secs || 965650 markings, 4095583 edges, 300 markings/sec, 3170 secs
lola: 1 tries, 945981 fired transitions, 3175 secs || 967153 markings, 4103529 edges, 301 markings/sec, 3175 secs
lola: 1 tries, 947448 fired transitions, 3180 secs || 968654 markings, 4111401 edges, 300 markings/sec, 3180 secs
lola: 1 tries, 948912 fired transitions, 3185 secs || 970160 markings, 4119245 edges, 301 markings/sec, 3185 secs
lola: 1 tries, 950385 fired transitions, 3190 secs || 971670 markings, 4127346 edges, 302 markings/sec, 3190 secs
lola: 1 tries, 951870 fired transitions, 3195 secs || 973172 markings, 4135224 edges, 300 markings/sec, 3195 secs
lola: 1 tries, 953355 fired transitions, 3200 secs || 974689 markings, 4143241 edges, 303 markings/sec, 3200 secs
lola: 1 tries, 954829 fired transitions, 3205 secs || 976199 markings, 4151312 edges, 302 markings/sec, 3205 secs
lola: 1 tries, 956298 fired transitions, 3210 secs || 977712 markings, 4159213 edges, 303 markings/sec, 3210 secs
lola: 1 tries, 957793 fired transitions, 3215 secs || 979222 markings, 4167420 edges, 302 markings/sec, 3215 secs
lola: 1 tries, 959344 fired transitions, 3220 secs || 980739 markings, 4175271 edges, 303 markings/sec, 3220 secs
lola: 1 tries, 960878 fired transitions, 3225 secs || 982235 markings, 4182986 edges, 299 markings/sec, 3225 secs
lola: 1 tries, 962421 fired transitions, 3230 secs || 983735 markings, 4190868 edges, 300 markings/sec, 3230 secs
lola: 1 tries, 963961 fired transitions, 3235 secs || 985245 markings, 4198578 edges, 302 markings/sec, 3235 secs
lola: 1 tries, 965495 fired transitions, 3240 secs || 986749 markings, 4206444 edges, 301 markings/sec, 3240 secs
lola: 1 tries, 967045 fired transitions, 3245 secs || 988259 markings, 4214470 edges, 302 markings/sec, 3245 secs
lola: 1 tries, 968582 fired transitions, 3250 secs || 989760 markings, 4222267 edges, 300 markings/sec, 3250 secs
lola: 1 tries, 970111 fired transitions, 3255 secs || 991275 markings, 4230276 edges, 303 markings/sec, 3255 secs
lola: 1 tries, 971653 fired transitions, 3260 secs || 992782 markings, 4238180 edges, 301 markings/sec, 3260 secs
lola: 1 tries, 973201 fired transitions, 3265 secs || 994277 markings, 4246202 edges, 299 markings/sec, 3265 secs
lola: 1 tries, 974753 fired transitions, 3270 secs || 995793 markings, 4254149 edges, 303 markings/sec, 3270 secs
lola: 1 tries, 976304 fired transitions, 3275 secs || 997292 markings, 4261894 edges, 300 markings/sec, 3275 secs
lola: 1 tries, 977840 fired transitions, 3280 secs || 998784 markings, 4269355 edges, 298 markings/sec, 3280 secs
lola: 1 tries, 979385 fired transitions, 3285 secs || 1000285 markings, 4276781 edges, 300 markings/sec, 3285 secs
lola: 1 tries, 980920 fired transitions, 3290 secs || 1001781 markings, 4285080 edges, 299 markings/sec, 3290 secs
lola: 1 tries, 982453 fired transitions, 3295 secs || 1003279 markings, 4292752 edges, 300 markings/sec, 3295 secs
lola: 1 tries, 983989 fired transitions, 3300 secs || 1004771 markings, 4300550 edges, 298 markings/sec, 3300 secs
lola: 1 tries, 985535 fired transitions, 3305 secs || 1006275 markings, 4308622 edges, 301 markings/sec, 3305 secs
lola: 1 tries, 987081 fired transitions, 3310 secs || 1007784 markings, 4316408 edges, 302 markings/sec, 3310 secs
lola: 1 tries, 988626 fired transitions, 3315 secs || 1009281 markings, 4324452 edges, 299 markings/sec, 3315 secs
lola: 1 tries, 990174 fired transitions, 3320 secs || 1010795 markings, 4332698 edges, 303 markings/sec, 3320 secs
lola: 1 tries, 991728 fired transitions, 3325 secs || 1012309 markings, 4340607 edges, 303 markings/sec, 3325 secs
lola: 1 tries, 993272 fired transitions, 3330 secs || 1013816 markings, 4348356 edges, 301 markings/sec, 3330 secs
lola: 1 tries, 994828 fired transitions, 3335 secs || 1015327 markings, 4356047 edges, 302 markings/sec, 3335 secs
lola: 1 tries, 996377 fired transitions, 3340 secs || 1016837 markings, 4364058 edges, 302 markings/sec, 3340 secs
lola: 1 tries, 997932 fired transitions, 3345 secs || 1018355 markings, 4372056 edges, 304 markings/sec, 3345 secs
lola: 1 tries, 999488 fired transitions, 3350 secs || 1019873 markings, 4379776 edges, 304 markings/sec, 3350 secs
lola: 2 tries, 1001037 fired transitions, 3355 secs || 1021389 markings, 4387978 edges, 303 markings/sec, 3355 secs
lola: 2 tries, 1002589 fired transitions, 3360 secs || 1022902 markings, 4395873 edges, 303 markings/sec, 3360 secs
lola: 2 tries, 1004147 fired transitions, 3365 secs || 1024424 markings, 4403846 edges, 304 markings/sec, 3365 secs
lola: 2 tries, 1005679 fired transitions, 3370 secs || 1025923 markings, 4411787 edges, 300 markings/sec, 3370 secs
lola: 2 tries, 1007198 fired transitions, 3375 secs || 1027401 markings, 4419635 edges, 296 markings/sec, 3375 secs
lola: 2 tries, 1008760 fired transitions, 3380 secs || 1028924 markings, 4427749 edges, 305 markings/sec, 3380 secs
lola: 2 tries, 1010291 fired transitions, 3385 secs || 1030420 markings, 4435741 edges, 299 markings/sec, 3385 secs
lola: 2 tries, 1011850 fired transitions, 3390 secs || 1031938 markings, 4443634 edges, 304 markings/sec, 3390 secs
lola: 2 tries, 1013407 fired transitions, 3395 secs || 1033457 markings, 4451765 edges, 304 markings/sec, 3395 secs
lola: 2 tries, 1014960 fired transitions, 3400 secs || 1034976 markings, 4459816 edges, 304 markings/sec, 3400 secs
lola: 2 tries, 1016521 fired transitions, 3405 secs || 1036496 markings, 4467740 edges, 304 markings/sec, 3405 secs
lola: 2 tries, 1018069 fired transitions, 3410 secs || 1038018 markings, 4475961 edges, 304 markings/sec, 3410 secs
lola: 2 tries, 1019621 fired transitions, 3415 secs || 1039538 markings, 4484120 edges, 304 markings/sec, 3415 secs
lola: 2 tries, 1021176 fired transitions, 3420 secs || 1041061 markings, 4492300 edges, 305 markings/sec, 3420 secs
lola: 2 tries, 1022732 fired transitions, 3425 secs || 1042587 markings, 4500410 edges, 305 markings/sec, 3425 secs
lola: 2 tries, 1024276 fired transitions, 3430 secs || 1044087 markings, 4508165 edges, 300 markings/sec, 3430 secs
lola: 2 tries, 1025826 fired transitions, 3435 secs || 1045598 markings, 4515989 edges, 302 markings/sec, 3435 secs
lola: 2 tries, 1027376 fired transitions, 3440 secs || 1047108 markings, 4523825 edges, 302 markings/sec, 3440 secs
lola: 2 tries, 1028923 fired transitions, 3445 secs || 1048613 markings, 4531544 edges, 301 markings/sec, 3445 secs
lola: 2 tries, 1030456 fired transitions, 3450 secs || 1050097 markings, 4539399 edges, 297 markings/sec, 3450 secs
lola: 2 tries, 1031988 fired transitions, 3455 secs || 1051579 markings, 4546997 edges, 296 markings/sec, 3455 secs
lola: 2 tries, 1033503 fired transitions, 3460 secs || 1053039 markings, 4554755 edges, 292 markings/sec, 3460 secs
lola: 2 tries, 1035000 fired transitions, 3465 secs || 1054485 markings, 4562542 edges, 289 markings/sec, 3465 secs
lola: 2 tries, 1036468 fired transitions, 3470 secs || 1055904 markings, 4570265 edges, 284 markings/sec, 3470 secs
lola: 2 tries, 1037907 fired transitions, 3475 secs || 1057304 markings, 4577723 edges, 280 markings/sec, 3475 secs
lola: 2 tries, 1039319 fired transitions, 3480 secs || 1058685 markings, 4585354 edges, 276 markings/sec, 3480 secs
lola: 2 tries, 1040699 fired transitions, 3485 secs || 1060042 markings, 4592557 edges, 271 markings/sec, 3485 secs
lola: 2 tries, 1042037 fired transitions, 3490 secs || 1061349 markings, 4599321 edges, 261 markings/sec, 3490 secs
lola: 2 tries, 1043361 fired transitions, 3495 secs || 1062645 markings, 4605886 edges, 259 markings/sec, 3495 secs
lola: 2 tries, 1044675 fired transitions, 3500 secs || 1063936 markings, 4612770 edges, 258 markings/sec, 3500 secs
lola: 2 tries, 1045986 fired transitions, 3505 secs || 1065221 markings, 4619491 edges, 257 markings/sec, 3505 secs
lola: 2 tries, 1047271 fired transitions, 3510 secs || 1066485 markings, 4626112 edges, 253 markings/sec, 3510 secs
lola: 2 tries, 1048557 fired transitions, 3515 secs || 1067752 markings, 4632987 edges, 253 markings/sec, 3515 secs
lola: 2 tries, 1049848 fired transitions, 3520 secs || 1069027 markings, 4639817 edges, 255 markings/sec, 3520 secs
lola: 2 tries, 1051161 fired transitions, 3525 secs || 1070323 markings, 4646640 edges, 259 markings/sec, 3525 secs
lola: 2 tries, 1052504 fired transitions, 3530 secs || 1071640 markings, 4653956 edges, 263 markings/sec, 3530 secs
lola: 2 tries, 1053871 fired transitions, 3535 secs || 1072975 markings, 4660867 edges, 267 markings/sec, 3535 secs
lola: 2 tries, 1055250 fired transitions, 3540 secs || 1074325 markings, 4668282 edges, 270 markings/sec, 3540 secs
lola: 2 tries, 1056729 fired transitions, 3545 secs || 1075757 markings, 4676013 edges, 286 markings/sec, 3545 secs
lola: 2 tries, 1058218 fired transitions, 3550 secs || 1077201 markings, 4683629 edges, 289 markings/sec, 3550 secs
lola: time limit reached - aborting
lola: memory consumption: 1250160 KB
lola: time consumption: 3570 seconds
lola: print data as JSON (--json)
lola: writing JSON to GlobalProperties.json
lola: closed JSON file GlobalProperties.json
lola: caught signal User defined signal 2 - aborting LoLA
lola: memory consumption: 1250676 KB
lola: time consumption: 3573 seconds
lola: print data as JSON (--json)
lola: writing JSON to GlobalProperties.json
lola: closed JSON file GlobalProperties.json
rslt: finished
BK_STOP 1553116683882
--------------------
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="TokenRing-COL-030"
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 TokenRing-COL-030, 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 r170-oct2-155297750400255"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/TokenRing-COL-030.tgz
mv TokenRing-COL-030 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 ;