About the Execution of LoLA for TokenRing-PT-030
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 5411.660 | 3594673.00 | 7283921.00 | 218.40 | [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-155297750600345.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-PT-030, examination is GlobalProperties
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r170-oct2-155297750600345
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 111M
-rw-r--r-- 1 mcc users 489K Feb 12 20:07 CTLCardinality.txt
-rw-r--r-- 1 mcc users 1.6M Feb 12 20:07 CTLCardinality.xml
-rw-r--r-- 1 mcc users 9.0M Feb 9 03:19 CTLFireability.txt
-rw-r--r-- 1 mcc users 24M 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 103 Feb 24 15:06 GlobalProperties.txt
-rw-r--r-- 1 mcc users 341 Feb 24 15:06 GlobalProperties.xml
-rw-r--r-- 1 mcc users 124K Feb 5 01:48 LTLCardinality.txt
-rw-r--r-- 1 mcc users 390K Feb 5 01:48 LTLCardinality.xml
-rw-r--r-- 1 mcc users 6.5M Feb 4 22:49 LTLFireability.txt
-rw-r--r-- 1 mcc users 17M Feb 4 22:49 LTLFireability.xml
-rw-r--r-- 1 mcc users 489K Feb 4 21:36 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 1.5M Feb 4 21:36 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 8.4M Feb 1 21:56 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 22M Feb 1 21:56 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 110K Feb 4 22:31 UpperBounds.txt
-rw-r--r-- 1 mcc users 262K Feb 4 22:31 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Jan 29 09:35 equiv_col
-rw-r--r-- 1 mcc users 4 Jan 29 09:35 instance
-rw-r--r-- 1 mcc users 6 Jan 29 09:35 iscolored
-rw-r--r-- 1 mcc users 20M 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-PT-030-GlobalProperties-0
=== Now, execution of the tool begins
BK_START 1553120471159
info: Time: 3600 - MCC
vrfy: Checking GlobalProperties @ TokenRing-PT-030 @ 3570 seconds
vrfy: finished
info: timeLeft: -24
rslt: Output for GlobalProperties @ TokenRing-PT-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 22:21:11 2019
",
"timelimit": 3570
},
"child": null,
"exit":
{
"error": null,
"memory": 1153648,
"runtime": 3572.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 place/transition net
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, 1566 fired transitions, 0 secs || 1557 markings, 1869 edges, 311 markings/sec, 0 secs
lola: 1 tries, 3141 fired transitions, 5 secs || 3140 markings, 6106 edges, 317 markings/sec, 5 secs
lola: 1 tries, 4719 fired transitions, 10 secs || 4733 markings, 10249 edges, 319 markings/sec, 10 secs
lola: 1 tries, 6294 fired transitions, 15 secs || 6315 markings, 14715 edges, 316 markings/sec, 15 secs
lola: 1 tries, 7840 fired transitions, 20 secs || 7877 markings, 18931 edges, 312 markings/sec, 20 secs
lola: 1 tries, 9361 fired transitions, 25 secs || 9391 markings, 24524 edges, 303 markings/sec, 25 secs
lola: 1 tries, 10896 fired transitions, 30 secs || 10924 markings, 30245 edges, 307 markings/sec, 30 secs
lola: 1 tries, 12427 fired transitions, 35 secs || 12463 markings, 35975 edges, 308 markings/sec, 35 secs
lola: 1 tries, 13948 fired transitions, 40 secs || 13958 markings, 41698 edges, 299 markings/sec, 40 secs
lola: 1 tries, 15474 fired transitions, 45 secs || 15474 markings, 47329 edges, 303 markings/sec, 45 secs
lola: 1 tries, 16998 fired transitions, 50 secs || 16994 markings, 52979 edges, 304 markings/sec, 50 secs
lola: 1 tries, 18585 fired transitions, 55 secs || 18544 markings, 58525 edges, 310 markings/sec, 55 secs
lola: 1 tries, 20191 fired transitions, 60 secs || 20111 markings, 64360 edges, 313 markings/sec, 60 secs
lola: 1 tries, 21769 fired transitions, 65 secs || 21658 markings, 70044 edges, 309 markings/sec, 65 secs
lola: 1 tries, 23355 fired transitions, 70 secs || 23220 markings, 75537 edges, 312 markings/sec, 70 secs
lola: 1 tries, 24955 fired transitions, 75 secs || 24786 markings, 80936 edges, 313 markings/sec, 75 secs
lola: 1 tries, 26523 fired transitions, 80 secs || 26350 markings, 86447 edges, 313 markings/sec, 80 secs
lola: 1 tries, 28020 fired transitions, 85 secs || 27818 markings, 91713 edges, 294 markings/sec, 85 secs
lola: 1 tries, 29594 fired transitions, 90 secs || 29332 markings, 97035 edges, 303 markings/sec, 90 secs
lola: 1 tries, 31020 fired transitions, 95 secs || 30704 markings, 101753 edges, 274 markings/sec, 95 secs
lola: 1 tries, 32580 fired transitions, 100 secs || 32241 markings, 107101 edges, 307 markings/sec, 100 secs
lola: 1 tries, 34147 fired transitions, 105 secs || 33763 markings, 112322 edges, 304 markings/sec, 105 secs
lola: 1 tries, 35702 fired transitions, 110 secs || 35294 markings, 117161 edges, 306 markings/sec, 110 secs
lola: 1 tries, 36941 fired transitions, 115 secs || 36479 markings, 120427 edges, 237 markings/sec, 115 secs
lola: 1 tries, 38314 fired transitions, 120 secs || 37837 markings, 124131 edges, 272 markings/sec, 120 secs
lola: 1 tries, 39877 fired transitions, 125 secs || 39350 markings, 129021 edges, 303 markings/sec, 125 secs
lola: 1 tries, 40930 fired transitions, 130 secs || 40325 markings, 132565 edges, 195 markings/sec, 130 secs
lola: 1 tries, 42123 fired transitions, 135 secs || 41438 markings, 136666 edges, 223 markings/sec, 135 secs
lola: 1 tries, 43651 fired transitions, 140 secs || 42981 markings, 142430 edges, 309 markings/sec, 140 secs
lola: 1 tries, 45032 fired transitions, 145 secs || 44319 markings, 147246 edges, 268 markings/sec, 145 secs
lola: 1 tries, 45911 fired transitions, 150 secs || 45115 markings, 150347 edges, 159 markings/sec, 150 secs
lola: 1 tries, 47400 fired transitions, 155 secs || 46558 markings, 155812 edges, 289 markings/sec, 155 secs
lola: 1 tries, 48986 fired transitions, 160 secs || 48119 markings, 161543 edges, 312 markings/sec, 160 secs
lola: 1 tries, 50243 fired transitions, 165 secs || 49293 markings, 165804 edges, 235 markings/sec, 165 secs
lola: 1 tries, 51199 fired transitions, 170 secs || 50174 markings, 169233 edges, 176 markings/sec, 170 secs
lola: 1 tries, 52509 fired transitions, 175 secs || 51451 markings, 173866 edges, 255 markings/sec, 175 secs
lola: 1 tries, 53392 fired transitions, 180 secs || 52254 markings, 176974 edges, 161 markings/sec, 180 secs
lola: 1 tries, 54697 fired transitions, 185 secs || 53531 markings, 181442 edges, 255 markings/sec, 185 secs
lola: 1 tries, 56207 fired transitions, 190 secs || 55049 markings, 186820 edges, 304 markings/sec, 190 secs
lola: 1 tries, 57760 fired transitions, 195 secs || 56572 markings, 192529 edges, 305 markings/sec, 195 secs
lola: 1 tries, 59331 fired transitions, 200 secs || 58136 markings, 197213 edges, 313 markings/sec, 200 secs
lola: 1 tries, 60918 fired transitions, 205 secs || 59669 markings, 202087 edges, 307 markings/sec, 205 secs
lola: 1 tries, 62530 fired transitions, 210 secs || 61227 markings, 207960 edges, 312 markings/sec, 210 secs
lola: 1 tries, 64111 fired transitions, 215 secs || 62761 markings, 213721 edges, 307 markings/sec, 215 secs
lola: 1 tries, 65700 fired transitions, 220 secs || 64317 markings, 219332 edges, 311 markings/sec, 220 secs
lola: 1 tries, 67269 fired transitions, 225 secs || 65854 markings, 225026 edges, 307 markings/sec, 225 secs
lola: 1 tries, 68870 fired transitions, 230 secs || 67411 markings, 230801 edges, 311 markings/sec, 230 secs
lola: 1 tries, 70471 fired transitions, 235 secs || 68964 markings, 236686 edges, 311 markings/sec, 235 secs
lola: 1 tries, 72015 fired transitions, 240 secs || 70449 markings, 241841 edges, 297 markings/sec, 240 secs
lola: 1 tries, 73224 fired transitions, 245 secs || 71562 markings, 246135 edges, 223 markings/sec, 245 secs
lola: 1 tries, 74440 fired transitions, 250 secs || 72747 markings, 250387 edges, 237 markings/sec, 250 secs
lola: 1 tries, 75996 fired transitions, 255 secs || 74336 markings, 255978 edges, 318 markings/sec, 255 secs
lola: 1 tries, 77557 fired transitions, 260 secs || 75895 markings, 261783 edges, 312 markings/sec, 260 secs
lola: 1 tries, 79086 fired transitions, 265 secs || 77442 markings, 267779 edges, 309 markings/sec, 265 secs
lola: 1 tries, 80658 fired transitions, 270 secs || 78999 markings, 273674 edges, 311 markings/sec, 270 secs
lola: 1 tries, 82200 fired transitions, 275 secs || 80537 markings, 278901 edges, 308 markings/sec, 275 secs
lola: 1 tries, 83764 fired transitions, 280 secs || 82090 markings, 284733 edges, 311 markings/sec, 280 secs
lola: 1 tries, 85334 fired transitions, 285 secs || 83649 markings, 290579 edges, 312 markings/sec, 285 secs
lola: 1 tries, 86908 fired transitions, 290 secs || 85211 markings, 296185 edges, 312 markings/sec, 290 secs
lola: 1 tries, 88506 fired transitions, 295 secs || 86776 markings, 302073 edges, 313 markings/sec, 295 secs
lola: 1 tries, 90088 fired transitions, 300 secs || 88347 markings, 307960 edges, 314 markings/sec, 300 secs
lola: 1 tries, 91646 fired transitions, 305 secs || 89918 markings, 313843 edges, 314 markings/sec, 305 secs
lola: 1 tries, 93187 fired transitions, 310 secs || 91452 markings, 320518 edges, 307 markings/sec, 310 secs
lola: 1 tries, 94748 fired transitions, 315 secs || 92964 markings, 327488 edges, 302 markings/sec, 315 secs
lola: 1 tries, 96321 fired transitions, 320 secs || 94486 markings, 334517 edges, 304 markings/sec, 320 secs
lola: 1 tries, 97887 fired transitions, 325 secs || 96000 markings, 341382 edges, 303 markings/sec, 325 secs
lola: 1 tries, 99452 fired transitions, 330 secs || 97534 markings, 348691 edges, 307 markings/sec, 330 secs
lola: 1 tries, 101022 fired transitions, 335 secs || 99056 markings, 355707 edges, 304 markings/sec, 335 secs
lola: 1 tries, 102584 fired transitions, 340 secs || 100574 markings, 362676 edges, 304 markings/sec, 340 secs
lola: 1 tries, 104160 fired transitions, 345 secs || 102098 markings, 369875 edges, 305 markings/sec, 345 secs
lola: 1 tries, 105762 fired transitions, 350 secs || 103619 markings, 376908 edges, 304 markings/sec, 350 secs
lola: 1 tries, 107358 fired transitions, 355 secs || 105157 markings, 384072 edges, 308 markings/sec, 355 secs
lola: 1 tries, 108958 fired transitions, 360 secs || 106650 markings, 390935 edges, 299 markings/sec, 360 secs
lola: 1 tries, 110531 fired transitions, 365 secs || 108181 markings, 397946 edges, 306 markings/sec, 365 secs
lola: 1 tries, 112107 fired transitions, 370 secs || 109707 markings, 404892 edges, 305 markings/sec, 370 secs
lola: 1 tries, 113657 fired transitions, 375 secs || 111193 markings, 411867 edges, 297 markings/sec, 375 secs
lola: 1 tries, 115216 fired transitions, 380 secs || 112690 markings, 418897 edges, 299 markings/sec, 380 secs
lola: 1 tries, 116777 fired transitions, 385 secs || 114193 markings, 425987 edges, 301 markings/sec, 385 secs
lola: 1 tries, 118361 fired transitions, 390 secs || 115698 markings, 432955 edges, 301 markings/sec, 390 secs
lola: 1 tries, 119947 fired transitions, 395 secs || 117255 markings, 440492 edges, 311 markings/sec, 395 secs
lola: 1 tries, 121541 fired transitions, 400 secs || 118793 markings, 447854 edges, 308 markings/sec, 400 secs
lola: 1 tries, 123107 fired transitions, 405 secs || 120310 markings, 454987 edges, 303 markings/sec, 405 secs
lola: 1 tries, 124715 fired transitions, 410 secs || 121836 markings, 462398 edges, 305 markings/sec, 410 secs
lola: 1 tries, 126358 fired transitions, 415 secs || 123323 markings, 469262 edges, 297 markings/sec, 415 secs
lola: 1 tries, 127962 fired transitions, 420 secs || 124883 markings, 476649 edges, 312 markings/sec, 420 secs
lola: 1 tries, 129537 fired transitions, 425 secs || 126451 markings, 484112 edges, 314 markings/sec, 425 secs
lola: 1 tries, 131114 fired transitions, 430 secs || 128059 markings, 491704 edges, 322 markings/sec, 430 secs
lola: 1 tries, 132686 fired transitions, 435 secs || 129679 markings, 499596 edges, 324 markings/sec, 435 secs
lola: 1 tries, 134206 fired transitions, 440 secs || 131254 markings, 505490 edges, 315 markings/sec, 440 secs
lola: 1 tries, 135729 fired transitions, 445 secs || 132803 markings, 512772 edges, 310 markings/sec, 445 secs
lola: 1 tries, 137260 fired transitions, 450 secs || 134355 markings, 520085 edges, 310 markings/sec, 450 secs
lola: 1 tries, 138806 fired transitions, 455 secs || 135918 markings, 527493 edges, 313 markings/sec, 455 secs
lola: 1 tries, 140333 fired transitions, 460 secs || 137461 markings, 534611 edges, 309 markings/sec, 460 secs
lola: 1 tries, 141863 fired transitions, 465 secs || 139020 markings, 541228 edges, 312 markings/sec, 465 secs
lola: 1 tries, 143354 fired transitions, 470 secs || 140562 markings, 547778 edges, 308 markings/sec, 470 secs
lola: 1 tries, 144864 fired transitions, 475 secs || 142101 markings, 555136 edges, 308 markings/sec, 475 secs
lola: 1 tries, 146380 fired transitions, 480 secs || 143659 markings, 562499 edges, 312 markings/sec, 480 secs
lola: 1 tries, 147867 fired transitions, 485 secs || 145252 markings, 570105 edges, 319 markings/sec, 485 secs
lola: 1 tries, 149313 fired transitions, 490 secs || 146851 markings, 577367 edges, 320 markings/sec, 490 secs
lola: 1 tries, 150528 fired transitions, 495 secs || 148110 markings, 583153 edges, 252 markings/sec, 495 secs
lola: 1 tries, 151441 fired transitions, 500 secs || 148913 markings, 587117 edges, 161 markings/sec, 500 secs
lola: 1 tries, 152349 fired transitions, 505 secs || 149746 markings, 590938 edges, 167 markings/sec, 505 secs
lola: 1 tries, 153221 fired transitions, 510 secs || 150534 markings, 594715 edges, 158 markings/sec, 510 secs
lola: 1 tries, 154108 fired transitions, 515 secs || 151345 markings, 598691 edges, 162 markings/sec, 515 secs
lola: 1 tries, 155025 fired transitions, 520 secs || 152157 markings, 602447 edges, 162 markings/sec, 520 secs
lola: 1 tries, 155942 fired transitions, 525 secs || 152980 markings, 606435 edges, 165 markings/sec, 525 secs
lola: 1 tries, 156918 fired transitions, 530 secs || 153877 markings, 610559 edges, 179 markings/sec, 530 secs
lola: 1 tries, 158479 fired transitions, 535 secs || 155429 markings, 617903 edges, 310 markings/sec, 535 secs
lola: 1 tries, 159980 fired transitions, 540 secs || 156960 markings, 625097 edges, 306 markings/sec, 540 secs
lola: 1 tries, 161507 fired transitions, 545 secs || 158454 markings, 631008 edges, 299 markings/sec, 545 secs
lola: 1 tries, 162424 fired transitions, 550 secs || 159294 markings, 634167 edges, 168 markings/sec, 550 secs
lola: 1 tries, 163339 fired transitions, 555 secs || 160107 markings, 637887 edges, 163 markings/sec, 555 secs
lola: 1 tries, 164259 fired transitions, 560 secs || 160929 markings, 641588 edges, 164 markings/sec, 560 secs
lola: 1 tries, 165175 fired transitions, 565 secs || 161752 markings, 645283 edges, 165 markings/sec, 565 secs
lola: 1 tries, 166093 fired transitions, 570 secs || 162584 markings, 649117 edges, 166 markings/sec, 570 secs
lola: 1 tries, 167007 fired transitions, 575 secs || 163422 markings, 653001 edges, 168 markings/sec, 575 secs
lola: 1 tries, 167921 fired transitions, 580 secs || 164259 markings, 656827 edges, 167 markings/sec, 580 secs
lola: 1 tries, 168838 fired transitions, 585 secs || 165100 markings, 660618 edges, 168 markings/sec, 585 secs
lola: 1 tries, 169753 fired transitions, 590 secs || 165942 markings, 664365 edges, 168 markings/sec, 590 secs
lola: 1 tries, 170883 fired transitions, 595 secs || 167036 markings, 669234 edges, 219 markings/sec, 595 secs
lola: 1 tries, 172479 fired transitions, 600 secs || 168550 markings, 676056 edges, 303 markings/sec, 600 secs
lola: 1 tries, 174113 fired transitions, 605 secs || 170050 markings, 683008 edges, 300 markings/sec, 605 secs
lola: 1 tries, 175741 fired transitions, 610 secs || 171544 markings, 689700 edges, 299 markings/sec, 610 secs
lola: 1 tries, 177291 fired transitions, 615 secs || 173075 markings, 696980 edges, 306 markings/sec, 615 secs
lola: 1 tries, 178834 fired transitions, 620 secs || 174598 markings, 702905 edges, 305 markings/sec, 620 secs
lola: 1 tries, 180403 fired transitions, 625 secs || 176071 markings, 709403 edges, 295 markings/sec, 625 secs
lola: 1 tries, 181985 fired transitions, 630 secs || 177544 markings, 716533 edges, 295 markings/sec, 630 secs
lola: 1 tries, 183596 fired transitions, 635 secs || 178974 markings, 723330 edges, 286 markings/sec, 635 secs
lola: 1 tries, 185220 fired transitions, 640 secs || 180416 markings, 730234 edges, 288 markings/sec, 640 secs
lola: 1 tries, 186834 fired transitions, 645 secs || 181848 markings, 737078 edges, 286 markings/sec, 645 secs
lola: 1 tries, 188444 fired transitions, 650 secs || 183285 markings, 743882 edges, 287 markings/sec, 650 secs
lola: 1 tries, 190076 fired transitions, 655 secs || 184738 markings, 750954 edges, 291 markings/sec, 655 secs
lola: 1 tries, 191691 fired transitions, 660 secs || 186191 markings, 757783 edges, 291 markings/sec, 660 secs
lola: 1 tries, 193312 fired transitions, 665 secs || 187668 markings, 764689 edges, 295 markings/sec, 665 secs
lola: 1 tries, 194914 fired transitions, 670 secs || 189167 markings, 771940 edges, 300 markings/sec, 670 secs
lola: 1 tries, 196528 fired transitions, 675 secs || 190650 markings, 777630 edges, 297 markings/sec, 675 secs
lola: 1 tries, 198137 fired transitions, 680 secs || 192114 markings, 784137 edges, 293 markings/sec, 680 secs
lola: 1 tries, 199426 fired transitions, 685 secs || 193286 markings, 789839 edges, 234 markings/sec, 685 secs
lola: 1 tries, 200335 fired transitions, 690 secs || 194098 markings, 793734 edges, 162 markings/sec, 690 secs
lola: 1 tries, 201251 fired transitions, 695 secs || 194912 markings, 797659 edges, 163 markings/sec, 695 secs
lola: 1 tries, 202311 fired transitions, 700 secs || 195899 markings, 802419 edges, 197 markings/sec, 700 secs
lola: 1 tries, 203225 fired transitions, 705 secs || 196719 markings, 806375 edges, 164 markings/sec, 705 secs
lola: 1 tries, 204144 fired transitions, 710 secs || 197536 markings, 810402 edges, 163 markings/sec, 710 secs
lola: 1 tries, 205061 fired transitions, 715 secs || 198353 markings, 814351 edges, 163 markings/sec, 715 secs
lola: 1 tries, 205967 fired transitions, 720 secs || 199165 markings, 818338 edges, 162 markings/sec, 720 secs
lola: 1 tries, 207206 fired transitions, 725 secs || 200273 markings, 823484 edges, 222 markings/sec, 725 secs
lola: 1 tries, 208316 fired transitions, 730 secs || 201297 markings, 828396 edges, 205 markings/sec, 730 secs
lola: 1 tries, 209213 fired transitions, 735 secs || 202091 markings, 832133 edges, 159 markings/sec, 735 secs
lola: 1 tries, 210100 fired transitions, 740 secs || 202893 markings, 836077 edges, 160 markings/sec, 740 secs
lola: 1 tries, 210967 fired transitions, 745 secs || 203666 markings, 839604 edges, 155 markings/sec, 745 secs
lola: 1 tries, 212442 fired transitions, 750 secs || 204994 markings, 845989 edges, 266 markings/sec, 750 secs
lola: 1 tries, 213985 fired transitions, 755 secs || 206406 markings, 852658 edges, 282 markings/sec, 755 secs
lola: 1 tries, 215387 fired transitions, 760 secs || 207719 markings, 858820 edges, 263 markings/sec, 760 secs
lola: 1 tries, 216790 fired transitions, 765 secs || 208999 markings, 864965 edges, 256 markings/sec, 765 secs
lola: 1 tries, 217836 fired transitions, 770 secs || 209971 markings, 869518 edges, 194 markings/sec, 770 secs
lola: 1 tries, 218740 fired transitions, 775 secs || 210778 markings, 873416 edges, 161 markings/sec, 775 secs
lola: 1 tries, 219675 fired transitions, 780 secs || 211629 markings, 877053 edges, 170 markings/sec, 780 secs
lola: 1 tries, 220580 fired transitions, 785 secs || 212451 markings, 880327 edges, 164 markings/sec, 785 secs
lola: 1 tries, 221479 fired transitions, 790 secs || 213282 markings, 883615 edges, 166 markings/sec, 790 secs
lola: 1 tries, 222370 fired transitions, 795 secs || 214118 markings, 886707 edges, 167 markings/sec, 795 secs
lola: 1 tries, 223261 fired transitions, 800 secs || 214952 markings, 890300 edges, 167 markings/sec, 800 secs
lola: 1 tries, 224178 fired transitions, 805 secs || 215808 markings, 894132 edges, 171 markings/sec, 805 secs
lola: 1 tries, 225076 fired transitions, 810 secs || 216647 markings, 897971 edges, 168 markings/sec, 810 secs
lola: 1 tries, 225989 fired transitions, 815 secs || 217492 markings, 901567 edges, 169 markings/sec, 815 secs
lola: 1 tries, 226890 fired transitions, 820 secs || 218332 markings, 904499 edges, 168 markings/sec, 820 secs
lola: 1 tries, 227789 fired transitions, 825 secs || 219169 markings, 907830 edges, 167 markings/sec, 825 secs
lola: 1 tries, 228686 fired transitions, 830 secs || 220003 markings, 911675 edges, 167 markings/sec, 830 secs
lola: 1 tries, 229586 fired transitions, 835 secs || 220828 markings, 915654 edges, 165 markings/sec, 835 secs
lola: 1 tries, 230844 fired transitions, 840 secs || 222250 markings, 921073 edges, 284 markings/sec, 840 secs
lola: 1 tries, 232118 fired transitions, 845 secs || 223798 markings, 927486 edges, 310 markings/sec, 845 secs
lola: 1 tries, 233606 fired transitions, 850 secs || 225311 markings, 933659 edges, 303 markings/sec, 850 secs
lola: 1 tries, 235053 fired transitions, 855 secs || 226734 markings, 938679 edges, 285 markings/sec, 855 secs
lola: 1 tries, 236608 fired transitions, 860 secs || 228109 markings, 943633 edges, 275 markings/sec, 860 secs
lola: 1 tries, 238285 fired transitions, 865 secs || 229572 markings, 948851 edges, 293 markings/sec, 865 secs
lola: 1 tries, 239879 fired transitions, 870 secs || 231000 markings, 953935 edges, 286 markings/sec, 870 secs
lola: 1 tries, 241404 fired transitions, 875 secs || 232488 markings, 959424 edges, 298 markings/sec, 875 secs
lola: 1 tries, 242910 fired transitions, 880 secs || 233989 markings, 964959 edges, 300 markings/sec, 880 secs
lola: 1 tries, 244317 fired transitions, 885 secs || 235386 markings, 970789 edges, 279 markings/sec, 885 secs
lola: 1 tries, 245632 fired transitions, 890 secs || 236698 markings, 976814 edges, 262 markings/sec, 890 secs
lola: 1 tries, 246953 fired transitions, 895 secs || 238011 markings, 982944 edges, 263 markings/sec, 895 secs
lola: 1 tries, 248294 fired transitions, 900 secs || 239347 markings, 988989 edges, 267 markings/sec, 900 secs
lola: 1 tries, 249615 fired transitions, 905 secs || 240662 markings, 994944 edges, 263 markings/sec, 905 secs
lola: 1 tries, 250916 fired transitions, 910 secs || 241990 markings, 1001034 edges, 266 markings/sec, 910 secs
lola: 1 tries, 252182 fired transitions, 915 secs || 243388 markings, 1007350 edges, 280 markings/sec, 915 secs
lola: 1 tries, 253495 fired transitions, 920 secs || 244773 markings, 1013662 edges, 277 markings/sec, 920 secs
lola: 1 tries, 254863 fired transitions, 925 secs || 246179 markings, 1020226 edges, 281 markings/sec, 925 secs
lola: 1 tries, 256346 fired transitions, 930 secs || 247585 markings, 1026561 edges, 281 markings/sec, 930 secs
lola: 1 tries, 257810 fired transitions, 935 secs || 249057 markings, 1033264 edges, 294 markings/sec, 935 secs
lola: 1 tries, 259253 fired transitions, 940 secs || 250537 markings, 1040228 edges, 296 markings/sec, 940 secs
lola: 1 tries, 260720 fired transitions, 945 secs || 252068 markings, 1047171 edges, 306 markings/sec, 945 secs
lola: 1 tries, 262169 fired transitions, 950 secs || 253601 markings, 1054286 edges, 307 markings/sec, 950 secs
lola: 1 tries, 263619 fired transitions, 955 secs || 255096 markings, 1061099 edges, 299 markings/sec, 955 secs
lola: 1 tries, 264997 fired transitions, 960 secs || 256650 markings, 1066624 edges, 311 markings/sec, 960 secs
lola: 1 tries, 266473 fired transitions, 965 secs || 258143 markings, 1072139 edges, 299 markings/sec, 965 secs
lola: 1 tries, 267830 fired transitions, 970 secs || 259445 markings, 1076887 edges, 260 markings/sec, 970 secs
lola: 1 tries, 269180 fired transitions, 975 secs || 260918 markings, 1082066 edges, 295 markings/sec, 975 secs
lola: 1 tries, 270632 fired transitions, 980 secs || 262478 markings, 1087747 edges, 312 markings/sec, 980 secs
lola: 1 tries, 272147 fired transitions, 985 secs || 264029 markings, 1093848 edges, 310 markings/sec, 985 secs
lola: 1 tries, 273660 fired transitions, 990 secs || 265570 markings, 1101100 edges, 308 markings/sec, 990 secs
lola: 1 tries, 275166 fired transitions, 995 secs || 267122 markings, 1108239 edges, 310 markings/sec, 995 secs
lola: 1 tries, 276671 fired transitions, 1000 secs || 268670 markings, 1115480 edges, 310 markings/sec, 1000 secs
lola: 1 tries, 278199 fired transitions, 1005 secs || 270230 markings, 1122613 edges, 312 markings/sec, 1005 secs
lola: 1 tries, 279694 fired transitions, 1010 secs || 271781 markings, 1129800 edges, 310 markings/sec, 1010 secs
lola: 1 tries, 281195 fired transitions, 1015 secs || 273336 markings, 1137074 edges, 311 markings/sec, 1015 secs
lola: 1 tries, 282679 fired transitions, 1020 secs || 274896 markings, 1144163 edges, 312 markings/sec, 1020 secs
lola: 1 tries, 284187 fired transitions, 1025 secs || 276400 markings, 1151237 edges, 301 markings/sec, 1025 secs
lola: 1 tries, 285678 fired transitions, 1030 secs || 277966 markings, 1158474 edges, 313 markings/sec, 1030 secs
lola: 1 tries, 287180 fired transitions, 1035 secs || 279513 markings, 1165653 edges, 309 markings/sec, 1035 secs
lola: 1 tries, 288680 fired transitions, 1040 secs || 281064 markings, 1172719 edges, 310 markings/sec, 1040 secs
lola: 1 tries, 290177 fired transitions, 1045 secs || 282624 markings, 1179938 edges, 312 markings/sec, 1045 secs
lola: 1 tries, 291686 fired transitions, 1050 secs || 284180 markings, 1185742 edges, 311 markings/sec, 1050 secs
lola: 1 tries, 293206 fired transitions, 1055 secs || 285727 markings, 1191453 edges, 309 markings/sec, 1055 secs
lola: 1 tries, 294719 fired transitions, 1060 secs || 287256 markings, 1197034 edges, 306 markings/sec, 1060 secs
lola: 1 tries, 296243 fired transitions, 1065 secs || 288774 markings, 1203622 edges, 304 markings/sec, 1065 secs
lola: 1 tries, 297763 fired transitions, 1070 secs || 290284 markings, 1210733 edges, 302 markings/sec, 1070 secs
lola: 1 tries, 299284 fired transitions, 1075 secs || 291798 markings, 1217884 edges, 303 markings/sec, 1075 secs
lola: 1 tries, 300835 fired transitions, 1080 secs || 293341 markings, 1224950 edges, 309 markings/sec, 1080 secs
lola: 1 tries, 302373 fired transitions, 1085 secs || 294835 markings, 1231825 edges, 299 markings/sec, 1085 secs
lola: 1 tries, 303885 fired transitions, 1090 secs || 296271 markings, 1238536 edges, 287 markings/sec, 1090 secs
lola: 1 tries, 305406 fired transitions, 1095 secs || 297653 markings, 1244957 edges, 276 markings/sec, 1095 secs
lola: 1 tries, 306815 fired transitions, 1100 secs || 298903 markings, 1250651 edges, 250 markings/sec, 1100 secs
lola: 1 tries, 307615 fired transitions, 1105 secs || 299590 markings, 1253900 edges, 137 markings/sec, 1105 secs
lola: 1 tries, 308308 fired transitions, 1110 secs || 300204 markings, 1256740 edges, 123 markings/sec, 1110 secs
lola: 1 tries, 308978 fired transitions, 1115 secs || 300782 markings, 1259400 edges, 116 markings/sec, 1115 secs
lola: 1 tries, 309607 fired transitions, 1120 secs || 301309 markings, 1261826 edges, 105 markings/sec, 1120 secs
lola: 1 tries, 310241 fired transitions, 1125 secs || 301867 markings, 1264588 edges, 112 markings/sec, 1125 secs
lola: 1 tries, 310896 fired transitions, 1130 secs || 302445 markings, 1267103 edges, 116 markings/sec, 1130 secs
lola: 1 tries, 311546 fired transitions, 1135 secs || 302984 markings, 1269562 edges, 108 markings/sec, 1135 secs
lola: 1 tries, 312144 fired transitions, 1140 secs || 303513 markings, 1271971 edges, 106 markings/sec, 1140 secs
lola: 1 tries, 312769 fired transitions, 1145 secs || 304046 markings, 1274414 edges, 107 markings/sec, 1145 secs
lola: 1 tries, 313413 fired transitions, 1150 secs || 304576 markings, 1276944 edges, 106 markings/sec, 1150 secs
lola: 1 tries, 314029 fired transitions, 1155 secs || 305122 markings, 1279445 edges, 109 markings/sec, 1155 secs
lola: 1 tries, 315226 fired transitions, 1160 secs || 306298 markings, 1284903 edges, 235 markings/sec, 1160 secs
lola: 1 tries, 316794 fired transitions, 1165 secs || 307795 markings, 1291730 edges, 299 markings/sec, 1165 secs
lola: 1 tries, 318371 fired transitions, 1170 secs || 309295 markings, 1298550 edges, 300 markings/sec, 1170 secs
lola: 1 tries, 319933 fired transitions, 1175 secs || 310786 markings, 1305208 edges, 298 markings/sec, 1175 secs
lola: 1 tries, 321490 fired transitions, 1180 secs || 312275 markings, 1311706 edges, 298 markings/sec, 1180 secs
lola: 1 tries, 323080 fired transitions, 1185 secs || 313784 markings, 1317263 edges, 302 markings/sec, 1185 secs
lola: 1 tries, 324664 fired transitions, 1190 secs || 315289 markings, 1323745 edges, 301 markings/sec, 1190 secs
lola: 1 tries, 326248 fired transitions, 1195 secs || 316796 markings, 1330676 edges, 301 markings/sec, 1195 secs
lola: 1 tries, 327827 fired transitions, 1200 secs || 318293 markings, 1337644 edges, 299 markings/sec, 1200 secs
lola: 1 tries, 329392 fired transitions, 1205 secs || 319787 markings, 1344579 edges, 299 markings/sec, 1205 secs
lola: 1 tries, 330976 fired transitions, 1210 secs || 321293 markings, 1351450 edges, 301 markings/sec, 1210 secs
lola: 1 tries, 332553 fired transitions, 1215 secs || 322793 markings, 1358446 edges, 300 markings/sec, 1215 secs
lola: 1 tries, 334132 fired transitions, 1220 secs || 324291 markings, 1365460 edges, 300 markings/sec, 1220 secs
lola: 1 tries, 335704 fired transitions, 1225 secs || 325790 markings, 1372440 edges, 300 markings/sec, 1225 secs
lola: 1 tries, 337276 fired transitions, 1230 secs || 327287 markings, 1379361 edges, 299 markings/sec, 1230 secs
lola: 1 tries, 338841 fired transitions, 1235 secs || 328781 markings, 1386507 edges, 299 markings/sec, 1235 secs
lola: 1 tries, 340412 fired transitions, 1240 secs || 330278 markings, 1393546 edges, 299 markings/sec, 1240 secs
lola: 1 tries, 341981 fired transitions, 1245 secs || 331775 markings, 1400357 edges, 299 markings/sec, 1245 secs
lola: 1 tries, 343538 fired transitions, 1250 secs || 333275 markings, 1407150 edges, 300 markings/sec, 1250 secs
lola: 1 tries, 345120 fired transitions, 1255 secs || 334775 markings, 1413931 edges, 300 markings/sec, 1255 secs
lola: 1 tries, 346701 fired transitions, 1260 secs || 336274 markings, 1420873 edges, 300 markings/sec, 1260 secs
lola: 1 tries, 348277 fired transitions, 1265 secs || 337769 markings, 1427879 edges, 299 markings/sec, 1265 secs
lola: 1 tries, 349837 fired transitions, 1270 secs || 339251 markings, 1434775 edges, 296 markings/sec, 1270 secs
lola: 1 tries, 351388 fired transitions, 1275 secs || 340722 markings, 1443246 edges, 294 markings/sec, 1275 secs
lola: 1 tries, 352965 fired transitions, 1280 secs || 342213 markings, 1451827 edges, 298 markings/sec, 1280 secs
lola: 1 tries, 354538 fired transitions, 1285 secs || 343706 markings, 1460014 edges, 299 markings/sec, 1285 secs
lola: 1 tries, 356112 fired transitions, 1290 secs || 345198 markings, 1468663 edges, 298 markings/sec, 1290 secs
lola: 1 tries, 357701 fired transitions, 1295 secs || 346700 markings, 1477290 edges, 300 markings/sec, 1295 secs
lola: 1 tries, 359283 fired transitions, 1300 secs || 348202 markings, 1485464 edges, 300 markings/sec, 1300 secs
lola: 1 tries, 360859 fired transitions, 1305 secs || 349697 markings, 1493856 edges, 299 markings/sec, 1305 secs
lola: 1 tries, 362448 fired transitions, 1310 secs || 351196 markings, 1502289 edges, 300 markings/sec, 1310 secs
lola: 1 tries, 364032 fired transitions, 1315 secs || 352697 markings, 1510546 edges, 300 markings/sec, 1315 secs
lola: 1 tries, 365602 fired transitions, 1320 secs || 354192 markings, 1519062 edges, 299 markings/sec, 1320 secs
lola: 1 tries, 367181 fired transitions, 1325 secs || 355688 markings, 1527430 edges, 299 markings/sec, 1325 secs
lola: 1 tries, 368776 fired transitions, 1330 secs || 357193 markings, 1535759 edges, 301 markings/sec, 1330 secs
lola: 1 tries, 370320 fired transitions, 1335 secs || 358682 markings, 1544029 edges, 298 markings/sec, 1335 secs
lola: 1 tries, 371859 fired transitions, 1340 secs || 360185 markings, 1552414 edges, 301 markings/sec, 1340 secs
lola: 1 tries, 373357 fired transitions, 1345 secs || 361687 markings, 1560596 edges, 300 markings/sec, 1345 secs
lola: 1 tries, 374886 fired transitions, 1350 secs || 363186 markings, 1568976 edges, 300 markings/sec, 1350 secs
lola: 1 tries, 376396 fired transitions, 1355 secs || 364677 markings, 1577114 edges, 298 markings/sec, 1355 secs
lola: 1 tries, 377908 fired transitions, 1360 secs || 366178 markings, 1585609 edges, 300 markings/sec, 1360 secs
lola: 1 tries, 379423 fired transitions, 1365 secs || 367678 markings, 1594076 edges, 300 markings/sec, 1365 secs
lola: 1 tries, 380922 fired transitions, 1370 secs || 369151 markings, 1602055 edges, 295 markings/sec, 1370 secs
lola: 1 tries, 382431 fired transitions, 1375 secs || 370608 markings, 1610172 edges, 291 markings/sec, 1375 secs
lola: 1 tries, 383422 fired transitions, 1380 secs || 371484 markings, 1615387 edges, 175 markings/sec, 1380 secs
lola: 1 tries, 384467 fired transitions, 1385 secs || 372419 markings, 1620526 edges, 187 markings/sec, 1385 secs
lola: 1 tries, 386004 fired transitions, 1390 secs || 373851 markings, 1628598 edges, 286 markings/sec, 1390 secs
lola: 1 tries, 387530 fired transitions, 1395 secs || 375297 markings, 1636705 edges, 289 markings/sec, 1395 secs
lola: 1 tries, 389074 fired transitions, 1400 secs || 376649 markings, 1644292 edges, 270 markings/sec, 1400 secs
lola: 1 tries, 390601 fired transitions, 1405 secs || 378012 markings, 1652004 edges, 273 markings/sec, 1405 secs
lola: 1 tries, 392136 fired transitions, 1410 secs || 379356 markings, 1659727 edges, 269 markings/sec, 1410 secs
lola: 1 tries, 393654 fired transitions, 1415 secs || 380635 markings, 1666794 edges, 256 markings/sec, 1415 secs
lola: 1 tries, 395196 fired transitions, 1420 secs || 381668 markings, 1672702 edges, 207 markings/sec, 1420 secs
lola: 1 tries, 396178 fired transitions, 1425 secs || 382396 markings, 1676849 edges, 146 markings/sec, 1425 secs
lola: 1 tries, 396769 fired transitions, 1430 secs || 382914 markings, 1679940 edges, 104 markings/sec, 1430 secs
lola: 1 tries, 397374 fired transitions, 1435 secs || 383426 markings, 1682973 edges, 102 markings/sec, 1435 secs
lola: 1 tries, 398117 fired transitions, 1440 secs || 384213 markings, 1686640 edges, 157 markings/sec, 1440 secs
lola: 1 tries, 398686 fired transitions, 1445 secs || 384714 markings, 1689398 edges, 100 markings/sec, 1445 secs
lola: 1 tries, 399280 fired transitions, 1450 secs || 385214 markings, 1692207 edges, 100 markings/sec, 1450 secs
lola: 1 tries, 399883 fired transitions, 1455 secs || 385725 markings, 1695112 edges, 102 markings/sec, 1455 secs
lola: 1 tries, 400457 fired transitions, 1460 secs || 386237 markings, 1697932 edges, 102 markings/sec, 1460 secs
lola: 1 tries, 401073 fired transitions, 1465 secs || 386762 markings, 1700864 edges, 105 markings/sec, 1465 secs
lola: 1 tries, 401660 fired transitions, 1470 secs || 387265 markings, 1703762 edges, 101 markings/sec, 1470 secs
lola: 1 tries, 402264 fired transitions, 1475 secs || 387818 markings, 1706801 edges, 111 markings/sec, 1475 secs
lola: 1 tries, 402879 fired transitions, 1480 secs || 388324 markings, 1709836 edges, 101 markings/sec, 1480 secs
lola: 1 tries, 403454 fired transitions, 1485 secs || 388846 markings, 1712564 edges, 104 markings/sec, 1485 secs
lola: 1 tries, 404064 fired transitions, 1490 secs || 389369 markings, 1715374 edges, 105 markings/sec, 1490 secs
lola: 1 tries, 404674 fired transitions, 1495 secs || 389884 markings, 1718333 edges, 103 markings/sec, 1495 secs
lola: 1 tries, 405250 fired transitions, 1500 secs || 390385 markings, 1721174 edges, 100 markings/sec, 1500 secs
lola: 1 tries, 405881 fired transitions, 1505 secs || 390906 markings, 1724062 edges, 104 markings/sec, 1505 secs
lola: 1 tries, 406885 fired transitions, 1510 secs || 392125 markings, 1730237 edges, 244 markings/sec, 1510 secs
lola: 1 tries, 408322 fired transitions, 1515 secs || 393660 markings, 1738800 edges, 307 markings/sec, 1515 secs
lola: 1 tries, 409836 fired transitions, 1520 secs || 395167 markings, 1747305 edges, 301 markings/sec, 1520 secs
lola: 1 tries, 411372 fired transitions, 1525 secs || 396645 markings, 1755623 edges, 296 markings/sec, 1525 secs
lola: 1 tries, 412930 fired transitions, 1530 secs || 397764 markings, 1761636 edges, 224 markings/sec, 1530 secs
lola: 1 tries, 414526 fired transitions, 1535 secs || 398910 markings, 1767703 edges, 229 markings/sec, 1535 secs
lola: 1 tries, 416099 fired transitions, 1540 secs || 400040 markings, 1774052 edges, 226 markings/sec, 1540 secs
lola: 1 tries, 417667 fired transitions, 1545 secs || 401171 markings, 1780476 edges, 226 markings/sec, 1545 secs
lola: 1 tries, 419238 fired transitions, 1550 secs || 402308 markings, 1786892 edges, 227 markings/sec, 1550 secs
lola: 1 tries, 420794 fired transitions, 1555 secs || 403434 markings, 1792942 edges, 225 markings/sec, 1555 secs
lola: 1 tries, 422331 fired transitions, 1560 secs || 404584 markings, 1799028 edges, 230 markings/sec, 1560 secs
lola: 1 tries, 423861 fired transitions, 1565 secs || 405786 markings, 1805893 edges, 240 markings/sec, 1565 secs
lola: 1 tries, 425383 fired transitions, 1570 secs || 407149 markings, 1813696 edges, 273 markings/sec, 1570 secs
lola: 1 tries, 426927 fired transitions, 1575 secs || 408687 markings, 1821703 edges, 308 markings/sec, 1575 secs
lola: 1 tries, 428394 fired transitions, 1580 secs || 410148 markings, 1829704 edges, 292 markings/sec, 1580 secs
lola: 1 tries, 429891 fired transitions, 1585 secs || 411640 markings, 1838217 edges, 298 markings/sec, 1585 secs
lola: 1 tries, 431457 fired transitions, 1590 secs || 413202 markings, 1846255 edges, 312 markings/sec, 1590 secs
lola: 1 tries, 433016 fired transitions, 1595 secs || 414757 markings, 1855099 edges, 311 markings/sec, 1595 secs
lola: 1 tries, 434577 fired transitions, 1600 secs || 416316 markings, 1863126 edges, 312 markings/sec, 1600 secs
lola: 1 tries, 436128 fired transitions, 1605 secs || 417829 markings, 1871666 edges, 303 markings/sec, 1605 secs
lola: 1 tries, 437686 fired transitions, 1610 secs || 419039 markings, 1878209 edges, 242 markings/sec, 1610 secs
lola: 1 tries, 439224 fired transitions, 1615 secs || 420574 markings, 1886934 edges, 307 markings/sec, 1615 secs
lola: 1 tries, 440752 fired transitions, 1620 secs || 422100 markings, 1895653 edges, 305 markings/sec, 1620 secs
lola: 1 tries, 442276 fired transitions, 1625 secs || 423620 markings, 1904194 edges, 304 markings/sec, 1625 secs
lola: 1 tries, 443807 fired transitions, 1630 secs || 425144 markings, 1912738 edges, 305 markings/sec, 1630 secs
lola: 1 tries, 445337 fired transitions, 1635 secs || 426672 markings, 1921385 edges, 306 markings/sec, 1635 secs
lola: 1 tries, 446879 fired transitions, 1640 secs || 428206 markings, 1929984 edges, 307 markings/sec, 1640 secs
lola: 1 tries, 448411 fired transitions, 1645 secs || 429730 markings, 1938532 edges, 305 markings/sec, 1645 secs
lola: 1 tries, 449942 fired transitions, 1650 secs || 431249 markings, 1946834 edges, 304 markings/sec, 1650 secs
lola: 1 tries, 451475 fired transitions, 1655 secs || 432772 markings, 1955446 edges, 305 markings/sec, 1655 secs
lola: 1 tries, 453005 fired transitions, 1660 secs || 434286 markings, 1963596 edges, 303 markings/sec, 1660 secs
lola: 1 tries, 454551 fired transitions, 1665 secs || 435825 markings, 1972205 edges, 308 markings/sec, 1665 secs
lola: 1 tries, 456091 fired transitions, 1670 secs || 437355 markings, 1980714 edges, 306 markings/sec, 1670 secs
lola: 1 tries, 457625 fired transitions, 1675 secs || 438887 markings, 1989211 edges, 306 markings/sec, 1675 secs
lola: 1 tries, 459141 fired transitions, 1680 secs || 440208 markings, 1995756 edges, 264 markings/sec, 1680 secs
lola: 1 tries, 460662 fired transitions, 1685 secs || 441435 markings, 2002490 edges, 245 markings/sec, 1685 secs
lola: 1 tries, 462180 fired transitions, 1690 secs || 442594 markings, 2008730 edges, 232 markings/sec, 1690 secs
lola: 1 tries, 463746 fired transitions, 1695 secs || 443750 markings, 2014722 edges, 231 markings/sec, 1695 secs
lola: 1 tries, 465313 fired transitions, 1700 secs || 444954 markings, 2021606 edges, 241 markings/sec, 1700 secs
lola: 1 tries, 466869 fired transitions, 1705 secs || 446208 markings, 2028827 edges, 251 markings/sec, 1705 secs
lola: 1 tries, 468392 fired transitions, 1710 secs || 447700 markings, 2036991 edges, 298 markings/sec, 1710 secs
lola: 1 tries, 469921 fired transitions, 1715 secs || 449162 markings, 2044856 edges, 292 markings/sec, 1715 secs
lola: 1 tries, 471007 fired transitions, 1720 secs || 450144 markings, 2050550 edges, 196 markings/sec, 1720 secs
lola: 1 tries, 471865 fired transitions, 1725 secs || 450882 markings, 2054672 edges, 148 markings/sec, 1725 secs
lola: 1 tries, 472718 fired transitions, 1730 secs || 451620 markings, 2058725 edges, 148 markings/sec, 1730 secs
lola: 1 tries, 473583 fired transitions, 1735 secs || 452352 markings, 2062792 edges, 146 markings/sec, 1735 secs
lola: 1 tries, 474460 fired transitions, 1740 secs || 453097 markings, 2066925 edges, 149 markings/sec, 1740 secs
lola: 1 tries, 475341 fired transitions, 1745 secs || 453849 markings, 2071147 edges, 150 markings/sec, 1745 secs
lola: 1 tries, 476791 fired transitions, 1750 secs || 455219 markings, 2078571 edges, 274 markings/sec, 1750 secs
lola: 1 tries, 478347 fired transitions, 1755 secs || 456733 markings, 2086344 edges, 303 markings/sec, 1755 secs
lola: 1 tries, 479739 fired transitions, 1760 secs || 458062 markings, 2093099 edges, 266 markings/sec, 1760 secs
lola: 1 tries, 480648 fired transitions, 1765 secs || 458855 markings, 2097275 edges, 159 markings/sec, 1765 secs
lola: 1 tries, 482192 fired transitions, 1770 secs || 460337 markings, 2105219 edges, 296 markings/sec, 1770 secs
lola: 1 tries, 483154 fired transitions, 1775 secs || 461192 markings, 2109780 edges, 171 markings/sec, 1775 secs
lola: 1 tries, 484027 fired transitions, 1780 secs || 461940 markings, 2113333 edges, 150 markings/sec, 1780 secs
lola: 1 tries, 484907 fired transitions, 1785 secs || 462695 markings, 2116901 edges, 151 markings/sec, 1785 secs
lola: 1 tries, 485782 fired transitions, 1790 secs || 463443 markings, 2120879 edges, 150 markings/sec, 1790 secs
lola: 1 tries, 486638 fired transitions, 1795 secs || 464170 markings, 2124947 edges, 145 markings/sec, 1795 secs
lola: 1 tries, 487478 fired transitions, 1800 secs || 464878 markings, 2128809 edges, 142 markings/sec, 1800 secs
lola: 1 tries, 488256 fired transitions, 1805 secs || 465542 markings, 2132508 edges, 133 markings/sec, 1805 secs
lola: 1 tries, 488993 fired transitions, 1810 secs || 466197 markings, 2135397 edges, 131 markings/sec, 1810 secs
lola: 1 tries, 489718 fired transitions, 1815 secs || 466817 markings, 2138372 edges, 124 markings/sec, 1815 secs
lola: 1 tries, 490399 fired transitions, 1820 secs || 467390 markings, 2141422 edges, 115 markings/sec, 1820 secs
lola: 1 tries, 491056 fired transitions, 1825 secs || 467958 markings, 2144583 edges, 114 markings/sec, 1825 secs
lola: 1 tries, 491996 fired transitions, 1830 secs || 468969 markings, 2149617 edges, 202 markings/sec, 1830 secs
lola: 1 tries, 492779 fired transitions, 1835 secs || 469778 markings, 2153574 edges, 162 markings/sec, 1835 secs
lola: 1 tries, 493431 fired transitions, 1840 secs || 470335 markings, 2156547 edges, 111 markings/sec, 1840 secs
lola: 1 tries, 494220 fired transitions, 1845 secs || 471117 markings, 2160065 edges, 156 markings/sec, 1845 secs
lola: 1 tries, 494847 fired transitions, 1850 secs || 471675 markings, 2161783 edges, 112 markings/sec, 1850 secs
lola: 1 tries, 495475 fired transitions, 1855 secs || 472224 markings, 2163839 edges, 110 markings/sec, 1855 secs
lola: 1 tries, 496124 fired transitions, 1860 secs || 472772 markings, 2165886 edges, 110 markings/sec, 1860 secs
lola: 1 tries, 496729 fired transitions, 1865 secs || 473314 markings, 2167873 edges, 108 markings/sec, 1865 secs
lola: 1 tries, 497351 fired transitions, 1870 secs || 473850 markings, 2169883 edges, 107 markings/sec, 1870 secs
lola: 1 tries, 497971 fired transitions, 1875 secs || 474407 markings, 2171717 edges, 111 markings/sec, 1875 secs
lola: 1 tries, 498544 fired transitions, 1880 secs || 474916 markings, 2173710 edges, 102 markings/sec, 1880 secs
lola: 1 tries, 499140 fired transitions, 1885 secs || 475437 markings, 2175550 edges, 104 markings/sec, 1885 secs
lola: 1 tries, 499740 fired transitions, 1890 secs || 475954 markings, 2177509 edges, 103 markings/sec, 1890 secs
lola: 1 tries, 500336 fired transitions, 1895 secs || 476478 markings, 2179392 edges, 105 markings/sec, 1895 secs
lola: 1 tries, 501189 fired transitions, 1900 secs || 477220 markings, 2182118 edges, 148 markings/sec, 1900 secs
lola: 1 tries, 502075 fired transitions, 1905 secs || 477992 markings, 2185647 edges, 154 markings/sec, 1905 secs
lola: 1 tries, 502935 fired transitions, 1910 secs || 478724 markings, 2189099 edges, 146 markings/sec, 1910 secs
lola: 1 tries, 503759 fired transitions, 1915 secs || 479427 markings, 2192459 edges, 141 markings/sec, 1915 secs
lola: 1 tries, 504574 fired transitions, 1920 secs || 480154 markings, 2195839 edges, 145 markings/sec, 1920 secs
lola: 1 tries, 505249 fired transitions, 1925 secs || 480762 markings, 2198679 edges, 122 markings/sec, 1925 secs
lola: 1 tries, 506021 fired transitions, 1930 secs || 481424 markings, 2201811 edges, 132 markings/sec, 1930 secs
lola: 1 tries, 506918 fired transitions, 1935 secs || 482219 markings, 2205448 edges, 159 markings/sec, 1935 secs
lola: 1 tries, 507767 fired transitions, 1940 secs || 482962 markings, 2208874 edges, 149 markings/sec, 1940 secs
lola: 1 tries, 508561 fired transitions, 1945 secs || 483627 markings, 2212038 edges, 133 markings/sec, 1945 secs
lola: 1 tries, 509254 fired transitions, 1950 secs || 484242 markings, 2214846 edges, 123 markings/sec, 1950 secs
lola: 1 tries, 510117 fired transitions, 1955 secs || 484996 markings, 2218241 edges, 151 markings/sec, 1955 secs
lola: 1 tries, 510929 fired transitions, 1960 secs || 485695 markings, 2221560 edges, 140 markings/sec, 1960 secs
lola: 1 tries, 511684 fired transitions, 1965 secs || 486343 markings, 2224594 edges, 130 markings/sec, 1965 secs
lola: 1 tries, 512395 fired transitions, 1970 secs || 486941 markings, 2227219 edges, 120 markings/sec, 1970 secs
lola: 1 tries, 513085 fired transitions, 1975 secs || 487552 markings, 2230157 edges, 122 markings/sec, 1975 secs
lola: 1 tries, 513944 fired transitions, 1980 secs || 488292 markings, 2233706 edges, 148 markings/sec, 1980 secs
lola: 1 tries, 514717 fired transitions, 1985 secs || 488971 markings, 2236625 edges, 136 markings/sec, 1985 secs
lola: 1 tries, 515389 fired transitions, 1990 secs || 489536 markings, 2239271 edges, 113 markings/sec, 1990 secs
lola: 1 tries, 515990 fired transitions, 1995 secs || 490069 markings, 2241694 edges, 107 markings/sec, 1995 secs
lola: 1 tries, 516792 fired transitions, 2000 secs || 490778 markings, 2244858 edges, 142 markings/sec, 2000 secs
lola: 1 tries, 517692 fired transitions, 2005 secs || 491561 markings, 2248571 edges, 157 markings/sec, 2005 secs
lola: 1 tries, 518589 fired transitions, 2010 secs || 492352 markings, 2251953 edges, 158 markings/sec, 2010 secs
lola: 1 tries, 519836 fired transitions, 2015 secs || 493493 markings, 2257087 edges, 228 markings/sec, 2015 secs
lola: 1 tries, 521376 fired transitions, 2020 secs || 494994 markings, 2263944 edges, 300 markings/sec, 2020 secs
lola: 1 tries, 522694 fired transitions, 2025 secs || 496194 markings, 2269386 edges, 240 markings/sec, 2025 secs
lola: 1 tries, 524259 fired transitions, 2030 secs || 497717 markings, 2274844 edges, 305 markings/sec, 2030 secs
lola: 1 tries, 525849 fired transitions, 2035 secs || 499224 markings, 2280319 edges, 301 markings/sec, 2035 secs
lola: 1 tries, 527425 fired transitions, 2040 secs || 500722 markings, 2287243 edges, 300 markings/sec, 2040 secs
lola: 1 tries, 529007 fired transitions, 2045 secs || 502226 markings, 2294376 edges, 301 markings/sec, 2045 secs
lola: 1 tries, 530595 fired transitions, 2050 secs || 503731 markings, 2301319 edges, 301 markings/sec, 2050 secs
lola: 1 tries, 532189 fired transitions, 2055 secs || 505252 markings, 2308317 edges, 304 markings/sec, 2055 secs
lola: 1 tries, 533757 fired transitions, 2060 secs || 506765 markings, 2315299 edges, 303 markings/sec, 2060 secs
lola: 1 tries, 535320 fired transitions, 2065 secs || 508320 markings, 2322260 edges, 311 markings/sec, 2065 secs
lola: 1 tries, 536877 fired transitions, 2070 secs || 509885 markings, 2329165 edges, 313 markings/sec, 2070 secs
lola: 1 tries, 538365 fired transitions, 2075 secs || 511441 markings, 2336153 edges, 311 markings/sec, 2075 secs
lola: 1 tries, 539888 fired transitions, 2080 secs || 512978 markings, 2343233 edges, 307 markings/sec, 2080 secs
lola: 1 tries, 541426 fired transitions, 2085 secs || 514506 markings, 2350436 edges, 306 markings/sec, 2085 secs
lola: 1 tries, 542981 fired transitions, 2090 secs || 516060 markings, 2356686 edges, 311 markings/sec, 2090 secs
lola: 1 tries, 544532 fired transitions, 2095 secs || 517611 markings, 2362980 edges, 310 markings/sec, 2095 secs
lola: 1 tries, 546082 fired transitions, 2100 secs || 519156 markings, 2370163 edges, 309 markings/sec, 2100 secs
lola: 1 tries, 547620 fired transitions, 2105 secs || 520656 markings, 2377118 edges, 300 markings/sec, 2105 secs
lola: 1 tries, 549177 fired transitions, 2110 secs || 522229 markings, 2384452 edges, 315 markings/sec, 2110 secs
lola: 1 tries, 550734 fired transitions, 2115 secs || 523789 markings, 2391748 edges, 312 markings/sec, 2115 secs
lola: 1 tries, 552285 fired transitions, 2120 secs || 525356 markings, 2399052 edges, 313 markings/sec, 2120 secs
lola: 1 tries, 553844 fired transitions, 2125 secs || 526916 markings, 2406101 edges, 312 markings/sec, 2125 secs
lola: 1 tries, 555395 fired transitions, 2130 secs || 528469 markings, 2413218 edges, 311 markings/sec, 2130 secs
lola: 1 tries, 556939 fired transitions, 2135 secs || 529989 markings, 2420244 edges, 304 markings/sec, 2135 secs
lola: 1 tries, 558478 fired transitions, 2140 secs || 531522 markings, 2427336 edges, 307 markings/sec, 2140 secs
lola: 1 tries, 560021 fired transitions, 2145 secs || 533043 markings, 2434445 edges, 304 markings/sec, 2145 secs
lola: 1 tries, 561552 fired transitions, 2150 secs || 534558 markings, 2442789 edges, 303 markings/sec, 2150 secs
lola: 1 tries, 563079 fired transitions, 2155 secs || 536057 markings, 2451013 edges, 300 markings/sec, 2155 secs
lola: 1 tries, 564651 fired transitions, 2160 secs || 537546 markings, 2459546 edges, 298 markings/sec, 2160 secs
lola: 1 tries, 565574 fired transitions, 2165 secs || 538343 markings, 2464114 edges, 159 markings/sec, 2165 secs
lola: 1 tries, 566457 fired transitions, 2170 secs || 539105 markings, 2468407 edges, 152 markings/sec, 2170 secs
lola: 1 tries, 567363 fired transitions, 2175 secs || 539883 markings, 2472860 edges, 156 markings/sec, 2175 secs
lola: 1 tries, 568870 fired transitions, 2180 secs || 541419 markings, 2481498 edges, 307 markings/sec, 2180 secs
lola: 1 tries, 570398 fired transitions, 2185 secs || 542976 markings, 2490296 edges, 311 markings/sec, 2185 secs
lola: 1 tries, 571928 fired transitions, 2190 secs || 544497 markings, 2498735 edges, 304 markings/sec, 2190 secs
lola: 1 tries, 573336 fired transitions, 2195 secs || 546026 markings, 2507410 edges, 306 markings/sec, 2195 secs
lola: 1 tries, 574877 fired transitions, 2200 secs || 547589 markings, 2516082 edges, 313 markings/sec, 2200 secs
lola: 1 tries, 576414 fired transitions, 2205 secs || 549161 markings, 2524863 edges, 314 markings/sec, 2205 secs
lola: 1 tries, 577960 fired transitions, 2210 secs || 550724 markings, 2533631 edges, 313 markings/sec, 2210 secs
lola: 1 tries, 579528 fired transitions, 2215 secs || 552289 markings, 2542447 edges, 313 markings/sec, 2215 secs
lola: 1 tries, 581069 fired transitions, 2220 secs || 553835 markings, 2551048 edges, 309 markings/sec, 2220 secs
lola: 1 tries, 582604 fired transitions, 2225 secs || 555375 markings, 2559721 edges, 308 markings/sec, 2225 secs
lola: 1 tries, 584107 fired transitions, 2230 secs || 556868 markings, 2568124 edges, 299 markings/sec, 2230 secs
lola: 1 tries, 585537 fired transitions, 2235 secs || 558373 markings, 2576517 edges, 301 markings/sec, 2235 secs
lola: 1 tries, 586673 fired transitions, 2240 secs || 559423 markings, 2582402 edges, 210 markings/sec, 2240 secs
lola: 1 tries, 587560 fired transitions, 2245 secs || 560195 markings, 2586774 edges, 154 markings/sec, 2245 secs
lola: 1 tries, 588439 fired transitions, 2250 secs || 560957 markings, 2591112 edges, 152 markings/sec, 2250 secs
lola: 1 tries, 589312 fired transitions, 2255 secs || 561710 markings, 2595379 edges, 151 markings/sec, 2255 secs
lola: 1 tries, 590177 fired transitions, 2260 secs || 562452 markings, 2599606 edges, 148 markings/sec, 2260 secs
lola: 1 tries, 591088 fired transitions, 2265 secs || 563237 markings, 2604032 edges, 157 markings/sec, 2265 secs
lola: 1 tries, 591979 fired transitions, 2270 secs || 564015 markings, 2608530 edges, 156 markings/sec, 2270 secs
lola: 1 tries, 592868 fired transitions, 2275 secs || 564780 markings, 2613020 edges, 153 markings/sec, 2275 secs
lola: 1 tries, 593753 fired transitions, 2280 secs || 565536 markings, 2617405 edges, 151 markings/sec, 2280 secs
lola: 1 tries, 594663 fired transitions, 2285 secs || 566322 markings, 2621903 edges, 157 markings/sec, 2285 secs
lola: 1 tries, 595575 fired transitions, 2290 secs || 567103 markings, 2626484 edges, 156 markings/sec, 2290 secs
lola: 1 tries, 596487 fired transitions, 2295 secs || 567888 markings, 2631049 edges, 157 markings/sec, 2295 secs
lola: 1 tries, 598001 fired transitions, 2300 secs || 569267 markings, 2638773 edges, 276 markings/sec, 2300 secs
lola: 1 tries, 599614 fired transitions, 2305 secs || 570756 markings, 2646822 edges, 298 markings/sec, 2305 secs
lola: 1 tries, 601203 fired transitions, 2310 secs || 572252 markings, 2654967 edges, 299 markings/sec, 2310 secs
lola: 1 tries, 602784 fired transitions, 2315 secs || 573748 markings, 2662522 edges, 299 markings/sec, 2315 secs
lola: 1 tries, 604367 fired transitions, 2320 secs || 575240 markings, 2670090 edges, 298 markings/sec, 2320 secs
lola: 1 tries, 605929 fired transitions, 2325 secs || 576732 markings, 2678441 edges, 298 markings/sec, 2325 secs
lola: 1 tries, 607521 fired transitions, 2330 secs || 578224 markings, 2686813 edges, 298 markings/sec, 2330 secs
lola: 1 tries, 609091 fired transitions, 2335 secs || 579717 markings, 2695189 edges, 299 markings/sec, 2335 secs
lola: 1 tries, 610667 fired transitions, 2340 secs || 581209 markings, 2703720 edges, 298 markings/sec, 2340 secs
lola: 1 tries, 612158 fired transitions, 2345 secs || 582689 markings, 2710816 edges, 296 markings/sec, 2345 secs
lola: 1 tries, 613616 fired transitions, 2350 secs || 584165 markings, 2719280 edges, 295 markings/sec, 2350 secs
lola: 1 tries, 615035 fired transitions, 2355 secs || 585637 markings, 2727751 edges, 294 markings/sec, 2355 secs
lola: 1 tries, 616508 fired transitions, 2360 secs || 587111 markings, 2736214 edges, 295 markings/sec, 2360 secs
lola: 1 tries, 617969 fired transitions, 2365 secs || 588583 markings, 2744403 edges, 294 markings/sec, 2365 secs
lola: 1 tries, 619423 fired transitions, 2370 secs || 590055 markings, 2752398 edges, 294 markings/sec, 2370 secs
lola: 1 tries, 620881 fired transitions, 2375 secs || 591526 markings, 2759860 edges, 294 markings/sec, 2375 secs
lola: 1 tries, 622357 fired transitions, 2380 secs || 592992 markings, 2768129 edges, 293 markings/sec, 2380 secs
lola: 1 tries, 623839 fired transitions, 2385 secs || 594461 markings, 2776193 edges, 294 markings/sec, 2385 secs
lola: 1 tries, 625298 fired transitions, 2390 secs || 595933 markings, 2783584 edges, 294 markings/sec, 2390 secs
lola: 1 tries, 626770 fired transitions, 2395 secs || 597433 markings, 2791617 edges, 300 markings/sec, 2395 secs
lola: 1 tries, 628285 fired transitions, 2400 secs || 598953 markings, 2800067 edges, 304 markings/sec, 2400 secs
lola: 1 tries, 629799 fired transitions, 2405 secs || 600475 markings, 2807939 edges, 304 markings/sec, 2405 secs
lola: 1 tries, 631314 fired transitions, 2410 secs || 602005 markings, 2816213 edges, 306 markings/sec, 2410 secs
lola: 1 tries, 632821 fired transitions, 2415 secs || 603532 markings, 2824063 edges, 305 markings/sec, 2415 secs
lola: 1 tries, 634235 fired transitions, 2420 secs || 605076 markings, 2831188 edges, 309 markings/sec, 2420 secs
lola: 1 tries, 635744 fired transitions, 2425 secs || 606617 markings, 2838405 edges, 308 markings/sec, 2425 secs
lola: 1 tries, 637254 fired transitions, 2430 secs || 608147 markings, 2846562 edges, 306 markings/sec, 2430 secs
lola: 1 tries, 638759 fired transitions, 2435 secs || 609680 markings, 2855253 edges, 307 markings/sec, 2435 secs
lola: 1 tries, 640275 fired transitions, 2440 secs || 611214 markings, 2863974 edges, 307 markings/sec, 2440 secs
lola: 1 tries, 641786 fired transitions, 2445 secs || 612732 markings, 2872636 edges, 304 markings/sec, 2445 secs
lola: 1 tries, 643281 fired transitions, 2450 secs || 614232 markings, 2881159 edges, 300 markings/sec, 2450 secs
lola: 1 tries, 644796 fired transitions, 2455 secs || 615735 markings, 2889822 edges, 301 markings/sec, 2455 secs
lola: 1 tries, 646316 fired transitions, 2460 secs || 617231 markings, 2898277 edges, 299 markings/sec, 2460 secs
lola: 1 tries, 647833 fired transitions, 2465 secs || 618719 markings, 2905154 edges, 298 markings/sec, 2465 secs
lola: 1 tries, 649344 fired transitions, 2470 secs || 620179 markings, 2911934 edges, 292 markings/sec, 2470 secs
lola: 1 tries, 650858 fired transitions, 2475 secs || 621747 markings, 2920130 edges, 314 markings/sec, 2475 secs
lola: 1 tries, 652204 fired transitions, 2480 secs || 623101 markings, 2927753 edges, 271 markings/sec, 2480 secs
lola: 1 tries, 653117 fired transitions, 2485 secs || 623890 markings, 2932284 edges, 158 markings/sec, 2485 secs
lola: 1 tries, 654024 fired transitions, 2490 secs || 624676 markings, 2936584 edges, 157 markings/sec, 2490 secs
lola: 1 tries, 654930 fired transitions, 2495 secs || 625465 markings, 2940892 edges, 158 markings/sec, 2495 secs
lola: 1 tries, 655827 fired transitions, 2500 secs || 626246 markings, 2945359 edges, 156 markings/sec, 2500 secs
lola: 1 tries, 656739 fired transitions, 2505 secs || 627031 markings, 2949671 edges, 157 markings/sec, 2505 secs
lola: 1 tries, 657649 fired transitions, 2510 secs || 627818 markings, 2954068 edges, 157 markings/sec, 2510 secs
lola: 1 tries, 658574 fired transitions, 2515 secs || 628615 markings, 2958534 edges, 159 markings/sec, 2515 secs
lola: 1 tries, 659495 fired transitions, 2520 secs || 629414 markings, 2962790 edges, 160 markings/sec, 2520 secs
lola: 1 tries, 660410 fired transitions, 2525 secs || 630211 markings, 2967364 edges, 159 markings/sec, 2525 secs
lola: 1 tries, 661323 fired transitions, 2530 secs || 630995 markings, 2971797 edges, 157 markings/sec, 2530 secs
lola: 1 tries, 662215 fired transitions, 2535 secs || 631782 markings, 2976005 edges, 157 markings/sec, 2535 secs
lola: 1 tries, 663113 fired transitions, 2540 secs || 632567 markings, 2980219 edges, 157 markings/sec, 2540 secs
lola: 1 tries, 664012 fired transitions, 2545 secs || 633343 markings, 2984031 edges, 155 markings/sec, 2545 secs
lola: 1 tries, 664885 fired transitions, 2550 secs || 634094 markings, 2987454 edges, 150 markings/sec, 2550 secs
lola: 1 tries, 666341 fired transitions, 2555 secs || 635529 markings, 2994809 edges, 287 markings/sec, 2555 secs
lola: 1 tries, 667724 fired transitions, 2560 secs || 636884 markings, 3002437 edges, 271 markings/sec, 2560 secs
lola: 1 tries, 668618 fired transitions, 2565 secs || 637657 markings, 3006575 edges, 155 markings/sec, 2565 secs
lola: 1 tries, 669563 fired transitions, 2570 secs || 638486 markings, 3011108 edges, 166 markings/sec, 2570 secs
lola: 1 tries, 671137 fired transitions, 2575 secs || 639986 markings, 3019201 edges, 300 markings/sec, 2575 secs
lola: 1 tries, 672678 fired transitions, 2580 secs || 641496 markings, 3027466 edges, 302 markings/sec, 2580 secs
lola: 1 tries, 673814 fired transitions, 2585 secs || 642533 markings, 3032241 edges, 207 markings/sec, 2585 secs
lola: 1 tries, 674708 fired transitions, 2590 secs || 643306 markings, 3036166 edges, 155 markings/sec, 2590 secs
lola: 1 tries, 675577 fired transitions, 2595 secs || 644047 markings, 3040399 edges, 148 markings/sec, 2595 secs
lola: 1 tries, 676483 fired transitions, 2600 secs || 644834 markings, 3044397 edges, 157 markings/sec, 2600 secs
lola: 1 tries, 677397 fired transitions, 2605 secs || 645627 markings, 3048895 edges, 159 markings/sec, 2605 secs
lola: 1 tries, 678309 fired transitions, 2610 secs || 646416 markings, 3053158 edges, 158 markings/sec, 2610 secs
lola: 1 tries, 679219 fired transitions, 2615 secs || 647203 markings, 3057414 edges, 157 markings/sec, 2615 secs
lola: 1 tries, 680131 fired transitions, 2620 secs || 647984 markings, 3061575 edges, 156 markings/sec, 2620 secs
lola: 1 tries, 681018 fired transitions, 2625 secs || 648750 markings, 3065486 edges, 153 markings/sec, 2625 secs
lola: 1 tries, 681904 fired transitions, 2630 secs || 649525 markings, 3069339 edges, 155 markings/sec, 2630 secs
lola: 1 tries, 682813 fired transitions, 2635 secs || 650299 markings, 3073509 edges, 155 markings/sec, 2635 secs
lola: 1 tries, 683711 fired transitions, 2640 secs || 651083 markings, 3077114 edges, 157 markings/sec, 2640 secs
lola: 1 tries, 684605 fired transitions, 2645 secs || 651858 markings, 3080912 edges, 155 markings/sec, 2645 secs
lola: 1 tries, 685511 fired transitions, 2650 secs || 652649 markings, 3083504 edges, 158 markings/sec, 2650 secs
lola: 1 tries, 686416 fired transitions, 2655 secs || 653438 markings, 3086517 edges, 158 markings/sec, 2655 secs
lola: 1 tries, 687317 fired transitions, 2660 secs || 654229 markings, 3089500 edges, 158 markings/sec, 2660 secs
lola: 1 tries, 688211 fired transitions, 2665 secs || 655018 markings, 3092329 edges, 158 markings/sec, 2665 secs
lola: 1 tries, 689197 fired transitions, 2670 secs || 655913 markings, 3095679 edges, 179 markings/sec, 2670 secs
lola: 1 tries, 690337 fired transitions, 2675 secs || 657018 markings, 3099755 edges, 221 markings/sec, 2675 secs
lola: 1 tries, 691896 fired transitions, 2680 secs || 658569 markings, 3106870 edges, 310 markings/sec, 2680 secs
lola: 1 tries, 693453 fired transitions, 2685 secs || 660122 markings, 3114109 edges, 311 markings/sec, 2685 secs
lola: 1 tries, 695017 fired transitions, 2690 secs || 661691 markings, 3121279 edges, 314 markings/sec, 2690 secs
lola: 1 tries, 696570 fired transitions, 2695 secs || 663241 markings, 3128514 edges, 310 markings/sec, 2695 secs
lola: 1 tries, 698109 fired transitions, 2700 secs || 664788 markings, 3135830 edges, 309 markings/sec, 2700 secs
lola: 1 tries, 699666 fired transitions, 2705 secs || 666336 markings, 3142849 edges, 310 markings/sec, 2705 secs
lola: 1 tries, 701228 fired transitions, 2710 secs || 667875 markings, 3149772 edges, 308 markings/sec, 2710 secs
lola: 1 tries, 702783 fired transitions, 2715 secs || 669425 markings, 3156721 edges, 310 markings/sec, 2715 secs
lola: 1 tries, 704325 fired transitions, 2720 secs || 670943 markings, 3163602 edges, 304 markings/sec, 2720 secs
lola: 1 tries, 705861 fired transitions, 2725 secs || 672438 markings, 3170435 edges, 299 markings/sec, 2725 secs
lola: 1 tries, 707402 fired transitions, 2730 secs || 673952 markings, 3177198 edges, 303 markings/sec, 2730 secs
lola: 1 tries, 708948 fired transitions, 2735 secs || 675473 markings, 3183018 edges, 304 markings/sec, 2735 secs
lola: 1 tries, 710193 fired transitions, 2740 secs || 676645 markings, 3187338 edges, 234 markings/sec, 2740 secs
lola: 1 tries, 711078 fired transitions, 2745 secs || 677426 markings, 3190890 edges, 156 markings/sec, 2745 secs
lola: 1 tries, 711988 fired transitions, 2750 secs || 678223 markings, 3194702 edges, 159 markings/sec, 2750 secs
lola: 1 tries, 712891 fired transitions, 2755 secs || 679014 markings, 3198496 edges, 158 markings/sec, 2755 secs
lola: 1 tries, 713798 fired transitions, 2760 secs || 679810 markings, 3202324 edges, 159 markings/sec, 2760 secs
lola: 1 tries, 714658 fired transitions, 2765 secs || 680579 markings, 3205907 edges, 154 markings/sec, 2765 secs
lola: 1 tries, 715551 fired transitions, 2770 secs || 681385 markings, 3209502 edges, 161 markings/sec, 2770 secs
lola: 1 tries, 716452 fired transitions, 2775 secs || 682162 markings, 3213239 edges, 155 markings/sec, 2775 secs
lola: 1 tries, 717353 fired transitions, 2780 secs || 682948 markings, 3216849 edges, 157 markings/sec, 2780 secs
lola: 1 tries, 718259 fired transitions, 2785 secs || 683741 markings, 3220645 edges, 159 markings/sec, 2785 secs
lola: 1 tries, 719489 fired transitions, 2790 secs || 684953 markings, 3226076 edges, 242 markings/sec, 2790 secs
lola: 1 tries, 721001 fired transitions, 2795 secs || 686475 markings, 3232989 edges, 304 markings/sec, 2795 secs
lola: 1 tries, 722502 fired transitions, 2800 secs || 687848 markings, 3239423 edges, 275 markings/sec, 2800 secs
lola: 1 tries, 724014 fired transitions, 2805 secs || 689360 markings, 3246276 edges, 302 markings/sec, 2805 secs
lola: 1 tries, 725181 fired transitions, 2810 secs || 690497 markings, 3251472 edges, 227 markings/sec, 2810 secs
lola: 1 tries, 726756 fired transitions, 2815 secs || 692028 markings, 3258425 edges, 306 markings/sec, 2815 secs
lola: 1 tries, 728312 fired transitions, 2820 secs || 693578 markings, 3265341 edges, 310 markings/sec, 2820 secs
lola: 1 tries, 729882 fired transitions, 2825 secs || 695112 markings, 3271498 edges, 307 markings/sec, 2825 secs
lola: 1 tries, 731457 fired transitions, 2830 secs || 696640 markings, 3278600 edges, 306 markings/sec, 2830 secs
lola: 1 tries, 733044 fired transitions, 2835 secs || 698151 markings, 3285604 edges, 302 markings/sec, 2835 secs
lola: 1 tries, 734640 fired transitions, 2840 secs || 699671 markings, 3292602 edges, 304 markings/sec, 2840 secs
lola: 1 tries, 736212 fired transitions, 2845 secs || 701127 markings, 3299389 edges, 291 markings/sec, 2845 secs
lola: 1 tries, 737782 fired transitions, 2850 secs || 702602 markings, 3306191 edges, 295 markings/sec, 2850 secs
lola: 1 tries, 739361 fired transitions, 2855 secs || 704112 markings, 3313036 edges, 302 markings/sec, 2855 secs
lola: 1 tries, 740921 fired transitions, 2860 secs || 705605 markings, 3319989 edges, 299 markings/sec, 2860 secs
lola: 1 tries, 742406 fired transitions, 2865 secs || 707052 markings, 3327413 edges, 289 markings/sec, 2865 secs
lola: 1 tries, 743875 fired transitions, 2870 secs || 708482 markings, 3335730 edges, 286 markings/sec, 2870 secs
lola: 1 tries, 745340 fired transitions, 2875 secs || 709911 markings, 3343746 edges, 286 markings/sec, 2875 secs
lola: 1 tries, 746693 fired transitions, 2880 secs || 711299 markings, 3351496 edges, 278 markings/sec, 2880 secs
lola: 1 tries, 748177 fired transitions, 2885 secs || 712742 markings, 3359546 edges, 289 markings/sec, 2885 secs
lola: 1 tries, 749650 fired transitions, 2890 secs || 714162 markings, 3367506 edges, 284 markings/sec, 2890 secs
lola: 1 tries, 750400 fired transitions, 2895 secs || 714842 markings, 3371398 edges, 136 markings/sec, 2895 secs
lola: 1 tries, 751209 fired transitions, 2900 secs || 715554 markings, 3375572 edges, 142 markings/sec, 2900 secs
lola: 1 tries, 751945 fired transitions, 2905 secs || 716186 markings, 3379197 edges, 126 markings/sec, 2905 secs
lola: 1 tries, 752704 fired transitions, 2910 secs || 716842 markings, 3382825 edges, 131 markings/sec, 2910 secs
lola: 1 tries, 753435 fired transitions, 2915 secs || 717495 markings, 3386515 edges, 131 markings/sec, 2915 secs
lola: 1 tries, 754161 fired transitions, 2920 secs || 718146 markings, 3390261 edges, 130 markings/sec, 2920 secs
lola: 1 tries, 754905 fired transitions, 2925 secs || 718792 markings, 3393854 edges, 129 markings/sec, 2925 secs
lola: 1 tries, 755648 fired transitions, 2930 secs || 719440 markings, 3397539 edges, 130 markings/sec, 2930 secs
lola: 1 tries, 756373 fired transitions, 2935 secs || 720075 markings, 3401114 edges, 127 markings/sec, 2935 secs
lola: 1 tries, 757082 fired transitions, 2940 secs || 720705 markings, 3404772 edges, 126 markings/sec, 2940 secs
lola: 1 tries, 757794 fired transitions, 2945 secs || 721320 markings, 3408164 edges, 123 markings/sec, 2945 secs
lola: 1 tries, 758524 fired transitions, 2950 secs || 721939 markings, 3411709 edges, 124 markings/sec, 2950 secs
lola: 1 tries, 759240 fired transitions, 2955 secs || 722557 markings, 3415264 edges, 124 markings/sec, 2955 secs
lola: 1 tries, 759945 fired transitions, 2960 secs || 723179 markings, 3418903 edges, 124 markings/sec, 2960 secs
lola: 1 tries, 760677 fired transitions, 2965 secs || 723802 markings, 3422278 edges, 125 markings/sec, 2965 secs
lola: 1 tries, 761406 fired transitions, 2970 secs || 724417 markings, 3425812 edges, 123 markings/sec, 2970 secs
lola: 1 tries, 762129 fired transitions, 2975 secs || 725050 markings, 3429537 edges, 127 markings/sec, 2975 secs
lola: 1 tries, 762823 fired transitions, 2980 secs || 725656 markings, 3433158 edges, 121 markings/sec, 2980 secs
lola: 1 tries, 763540 fired transitions, 2985 secs || 726274 markings, 3436411 edges, 124 markings/sec, 2985 secs
lola: 1 tries, 764247 fired transitions, 2990 secs || 726886 markings, 3439786 edges, 122 markings/sec, 2990 secs
lola: 1 tries, 764944 fired transitions, 2995 secs || 727498 markings, 3443192 edges, 122 markings/sec, 2995 secs
lola: 1 tries, 765632 fired transitions, 3000 secs || 728105 markings, 3446560 edges, 121 markings/sec, 3000 secs
lola: 1 tries, 766344 fired transitions, 3005 secs || 728713 markings, 3450021 edges, 122 markings/sec, 3005 secs
lola: 1 tries, 767064 fired transitions, 3010 secs || 729331 markings, 3453448 edges, 124 markings/sec, 3010 secs
lola: 1 tries, 767744 fired transitions, 3015 secs || 729942 markings, 3456910 edges, 122 markings/sec, 3015 secs
lola: 1 tries, 768446 fired transitions, 3020 secs || 730553 markings, 3460307 edges, 122 markings/sec, 3020 secs
lola: 1 tries, 769161 fired transitions, 3025 secs || 731157 markings, 3463841 edges, 121 markings/sec, 3025 secs
lola: 1 tries, 769866 fired transitions, 3030 secs || 731758 markings, 3467305 edges, 120 markings/sec, 3030 secs
lola: 1 tries, 770548 fired transitions, 3035 secs || 732366 markings, 3470825 edges, 122 markings/sec, 3035 secs
lola: 1 tries, 771279 fired transitions, 3040 secs || 733004 markings, 3474297 edges, 128 markings/sec, 3040 secs
lola: 1 tries, 772475 fired transitions, 3045 secs || 734159 markings, 3480761 edges, 231 markings/sec, 3045 secs
lola: 1 tries, 773666 fired transitions, 3050 secs || 735268 markings, 3486888 edges, 222 markings/sec, 3050 secs
lola: 1 tries, 774839 fired transitions, 3055 secs || 736440 markings, 3492993 edges, 234 markings/sec, 3055 secs
lola: 1 tries, 776014 fired transitions, 3060 secs || 737616 markings, 3499632 edges, 235 markings/sec, 3060 secs
lola: 1 tries, 777178 fired transitions, 3065 secs || 738759 markings, 3506059 edges, 229 markings/sec, 3065 secs
lola: 1 tries, 778434 fired transitions, 3070 secs || 739914 markings, 3512621 edges, 231 markings/sec, 3070 secs
lola: 1 tries, 779690 fired transitions, 3075 secs || 741085 markings, 3518980 edges, 234 markings/sec, 3075 secs
lola: 1 tries, 780481 fired transitions, 3080 secs || 741771 markings, 3522589 edges, 137 markings/sec, 3080 secs
lola: 1 tries, 781152 fired transitions, 3085 secs || 742377 markings, 3526082 edges, 121 markings/sec, 3085 secs
lola: 1 tries, 781838 fired transitions, 3090 secs || 742971 markings, 3529449 edges, 119 markings/sec, 3090 secs
lola: 1 tries, 782536 fired transitions, 3095 secs || 743556 markings, 3532852 edges, 117 markings/sec, 3095 secs
lola: 1 tries, 783212 fired transitions, 3100 secs || 744152 markings, 3536170 edges, 119 markings/sec, 3100 secs
lola: 1 tries, 783886 fired transitions, 3105 secs || 744753 markings, 3539443 edges, 120 markings/sec, 3105 secs
lola: 1 tries, 785154 fired transitions, 3110 secs || 746021 markings, 3546437 edges, 254 markings/sec, 3110 secs
lola: 1 tries, 786684 fired transitions, 3115 secs || 747156 markings, 3552388 edges, 227 markings/sec, 3115 secs
lola: 1 tries, 788181 fired transitions, 3120 secs || 748314 markings, 3558945 edges, 232 markings/sec, 3120 secs
lola: 1 tries, 789671 fired transitions, 3125 secs || 749470 markings, 3565520 edges, 231 markings/sec, 3125 secs
lola: 1 tries, 791147 fired transitions, 3130 secs || 750623 markings, 3571753 edges, 231 markings/sec, 3130 secs
lola: 1 tries, 792624 fired transitions, 3135 secs || 751761 markings, 3577905 edges, 228 markings/sec, 3135 secs
lola: 1 tries, 794088 fired transitions, 3140 secs || 752912 markings, 3584515 edges, 230 markings/sec, 3140 secs
lola: 1 tries, 795534 fired transitions, 3145 secs || 754062 markings, 3591020 edges, 230 markings/sec, 3145 secs
lola: 1 tries, 796971 fired transitions, 3150 secs || 755220 markings, 3597036 edges, 232 markings/sec, 3150 secs
lola: 1 tries, 798411 fired transitions, 3155 secs || 756386 markings, 3603670 edges, 233 markings/sec, 3155 secs
lola: 1 tries, 799826 fired transitions, 3160 secs || 757556 markings, 3610316 edges, 234 markings/sec, 3160 secs
lola: 1 tries, 801236 fired transitions, 3165 secs || 758724 markings, 3616354 edges, 234 markings/sec, 3165 secs
lola: 1 tries, 802634 fired transitions, 3170 secs || 759930 markings, 3623045 edges, 241 markings/sec, 3170 secs
lola: 1 tries, 804015 fired transitions, 3175 secs || 761130 markings, 3629326 edges, 240 markings/sec, 3175 secs
lola: 1 tries, 805497 fired transitions, 3180 secs || 762331 markings, 3636068 edges, 240 markings/sec, 3180 secs
lola: 1 tries, 807061 fired transitions, 3185 secs || 763527 markings, 3641929 edges, 239 markings/sec, 3185 secs
lola: 1 tries, 808631 fired transitions, 3190 secs || 764699 markings, 3648369 edges, 234 markings/sec, 3190 secs
lola: 1 tries, 810210 fired transitions, 3195 secs || 765843 markings, 3654771 edges, 229 markings/sec, 3195 secs
lola: 1 tries, 811767 fired transitions, 3200 secs || 766983 markings, 3660970 edges, 228 markings/sec, 3200 secs
lola: 1 tries, 813308 fired transitions, 3205 secs || 768114 markings, 3667241 edges, 226 markings/sec, 3205 secs
lola: 1 tries, 814855 fired transitions, 3210 secs || 769231 markings, 3673148 edges, 223 markings/sec, 3210 secs
lola: 1 tries, 816394 fired transitions, 3215 secs || 770343 markings, 3678640 edges, 222 markings/sec, 3215 secs
lola: 1 tries, 817510 fired transitions, 3220 secs || 771214 markings, 3683574 edges, 174 markings/sec, 3220 secs
lola: 1 tries, 818180 fired transitions, 3225 secs || 771786 markings, 3686824 edges, 114 markings/sec, 3225 secs
lola: 1 tries, 818846 fired transitions, 3230 secs || 772359 markings, 3690042 edges, 115 markings/sec, 3230 secs
lola: 1 tries, 819496 fired transitions, 3235 secs || 772937 markings, 3693209 edges, 116 markings/sec, 3235 secs
lola: 1 tries, 820164 fired transitions, 3240 secs || 773508 markings, 3696445 edges, 114 markings/sec, 3240 secs
lola: 1 tries, 820844 fired transitions, 3245 secs || 774085 markings, 3699649 edges, 115 markings/sec, 3245 secs
lola: 1 tries, 821467 fired transitions, 3250 secs || 774652 markings, 3702234 edges, 113 markings/sec, 3250 secs
lola: 1 tries, 822135 fired transitions, 3255 secs || 775226 markings, 3705068 edges, 115 markings/sec, 3255 secs
lola: 1 tries, 822795 fired transitions, 3260 secs || 775786 markings, 3708225 edges, 112 markings/sec, 3260 secs
lola: 1 tries, 823412 fired transitions, 3265 secs || 776351 markings, 3711397 edges, 113 markings/sec, 3265 secs
lola: 1 tries, 824038 fired transitions, 3270 secs || 776880 markings, 3714356 edges, 106 markings/sec, 3270 secs
lola: 1 tries, 824661 fired transitions, 3275 secs || 777405 markings, 3717292 edges, 105 markings/sec, 3275 secs
lola: 1 tries, 825243 fired transitions, 3280 secs || 777933 markings, 3720203 edges, 106 markings/sec, 3280 secs
lola: 1 tries, 825869 fired transitions, 3285 secs || 778468 markings, 3723119 edges, 107 markings/sec, 3285 secs
lola: 1 tries, 826486 fired transitions, 3290 secs || 778994 markings, 3726125 edges, 105 markings/sec, 3290 secs
lola: 1 tries, 827081 fired transitions, 3295 secs || 779521 markings, 3729036 edges, 105 markings/sec, 3295 secs
lola: 1 tries, 827714 fired transitions, 3300 secs || 780054 markings, 3731959 edges, 107 markings/sec, 3300 secs
lola: 1 tries, 828312 fired transitions, 3305 secs || 780582 markings, 3734821 edges, 106 markings/sec, 3305 secs
lola: 1 tries, 828922 fired transitions, 3310 secs || 781111 markings, 3737752 edges, 106 markings/sec, 3310 secs
lola: 1 tries, 829546 fired transitions, 3315 secs || 781637 markings, 3740607 edges, 105 markings/sec, 3315 secs
lola: 1 tries, 830365 fired transitions, 3320 secs || 782363 markings, 3744314 edges, 145 markings/sec, 3320 secs
lola: 1 tries, 831220 fired transitions, 3325 secs || 783121 markings, 3748070 edges, 152 markings/sec, 3325 secs
lola: 1 tries, 832076 fired transitions, 3330 secs || 783880 markings, 3752387 edges, 152 markings/sec, 3330 secs
lola: 1 tries, 832947 fired transitions, 3335 secs || 784644 markings, 3756537 edges, 153 markings/sec, 3335 secs
lola: 1 tries, 833814 fired transitions, 3340 secs || 785407 markings, 3760640 edges, 153 markings/sec, 3340 secs
lola: 1 tries, 834699 fired transitions, 3345 secs || 786183 markings, 3764164 edges, 155 markings/sec, 3345 secs
lola: 1 tries, 835572 fired transitions, 3350 secs || 786953 markings, 3767893 edges, 154 markings/sec, 3350 secs
lola: 1 tries, 836459 fired transitions, 3355 secs || 787727 markings, 3772345 edges, 155 markings/sec, 3355 secs
lola: 1 tries, 837331 fired transitions, 3360 secs || 788488 markings, 3776515 edges, 152 markings/sec, 3360 secs
lola: 1 tries, 838212 fired transitions, 3365 secs || 789254 markings, 3780683 edges, 153 markings/sec, 3365 secs
lola: 1 tries, 839080 fired transitions, 3370 secs || 790018 markings, 3784948 edges, 153 markings/sec, 3370 secs
lola: 1 tries, 839946 fired transitions, 3375 secs || 790789 markings, 3788916 edges, 154 markings/sec, 3375 secs
lola: 1 tries, 840817 fired transitions, 3380 secs || 791559 markings, 3792500 edges, 154 markings/sec, 3380 secs
lola: 1 tries, 841675 fired transitions, 3385 secs || 792314 markings, 3796495 edges, 151 markings/sec, 3385 secs
lola: 1 tries, 842546 fired transitions, 3390 secs || 793081 markings, 3800742 edges, 153 markings/sec, 3390 secs
lola: 1 tries, 843420 fired transitions, 3395 secs || 793853 markings, 3804864 edges, 154 markings/sec, 3395 secs
lola: 1 tries, 844304 fired transitions, 3400 secs || 794625 markings, 3809141 edges, 154 markings/sec, 3400 secs
lola: 1 tries, 845171 fired transitions, 3405 secs || 795391 markings, 3812621 edges, 153 markings/sec, 3405 secs
lola: 1 tries, 846050 fired transitions, 3410 secs || 796156 markings, 3816576 edges, 153 markings/sec, 3410 secs
lola: 1 tries, 846925 fired transitions, 3415 secs || 796923 markings, 3820858 edges, 153 markings/sec, 3415 secs
lola: 1 tries, 847811 fired transitions, 3420 secs || 797694 markings, 3824819 edges, 154 markings/sec, 3420 secs
lola: 1 tries, 848687 fired transitions, 3425 secs || 798465 markings, 3828423 edges, 154 markings/sec, 3425 secs
lola: 1 tries, 849563 fired transitions, 3430 secs || 799243 markings, 3832731 edges, 156 markings/sec, 3430 secs
lola: 1 tries, 850417 fired transitions, 3435 secs || 800006 markings, 3836410 edges, 153 markings/sec, 3435 secs
lola: 1 tries, 851274 fired transitions, 3440 secs || 800758 markings, 3840157 edges, 150 markings/sec, 3440 secs
lola: 1 tries, 852120 fired transitions, 3445 secs || 801509 markings, 3843943 edges, 150 markings/sec, 3445 secs
lola: 1 tries, 852986 fired transitions, 3450 secs || 802274 markings, 3847877 edges, 153 markings/sec, 3450 secs
lola: 1 tries, 853867 fired transitions, 3455 secs || 803059 markings, 3851125 edges, 157 markings/sec, 3455 secs
lola: 1 tries, 854736 fired transitions, 3460 secs || 803843 markings, 3854513 edges, 157 markings/sec, 3460 secs
lola: 1 tries, 855609 fired transitions, 3465 secs || 804614 markings, 3857843 edges, 154 markings/sec, 3465 secs
lola: 1 tries, 856481 fired transitions, 3470 secs || 805393 markings, 3861644 edges, 156 markings/sec, 3470 secs
lola: 1 tries, 857361 fired transitions, 3475 secs || 806172 markings, 3865656 edges, 156 markings/sec, 3475 secs
lola: 1 tries, 858220 fired transitions, 3480 secs || 806961 markings, 3869472 edges, 158 markings/sec, 3480 secs
lola: 1 tries, 859051 fired transitions, 3485 secs || 807711 markings, 3873096 edges, 150 markings/sec, 3485 secs
lola: 1 tries, 859917 fired transitions, 3490 secs || 808486 markings, 3876658 edges, 155 markings/sec, 3490 secs
lola: 1 tries, 860778 fired transitions, 3495 secs || 809246 markings, 3879271 edges, 152 markings/sec, 3495 secs
lola: 1 tries, 861656 fired transitions, 3500 secs || 810009 markings, 3882254 edges, 153 markings/sec, 3500 secs
lola: 1 tries, 862524 fired transitions, 3505 secs || 810772 markings, 3885035 edges, 153 markings/sec, 3505 secs
lola: 1 tries, 863398 fired transitions, 3510 secs || 811538 markings, 3887912 edges, 153 markings/sec, 3510 secs
lola: 1 tries, 864265 fired transitions, 3515 secs || 812295 markings, 3890818 edges, 151 markings/sec, 3515 secs
lola: 1 tries, 865139 fired transitions, 3520 secs || 813059 markings, 3893723 edges, 153 markings/sec, 3520 secs
lola: 1 tries, 865984 fired transitions, 3525 secs || 813797 markings, 3896866 edges, 148 markings/sec, 3525 secs
lola: 1 tries, 866844 fired transitions, 3530 secs || 814552 markings, 3900653 edges, 151 markings/sec, 3530 secs
lola: 1 tries, 867714 fired transitions, 3535 secs || 815317 markings, 3904421 edges, 153 markings/sec, 3535 secs
lola: 1 tries, 868580 fired transitions, 3540 secs || 816078 markings, 3907989 edges, 152 markings/sec, 3540 secs
lola: 1 tries, 869444 fired transitions, 3545 secs || 816831 markings, 3911538 edges, 151 markings/sec, 3545 secs
lola: 1 tries, 870302 fired transitions, 3550 secs || 817581 markings, 3915262 edges, 150 markings/sec, 3550 secs
lola: time limit reached - aborting
lola: memory consumption: 1153076 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: 1153648 KB
lola: time consumption: 3572 seconds
lola: print data as JSON (--json)
lola: writing JSON to GlobalProperties.json
lola: closed JSON file GlobalProperties.json
rslt: finished
BK_STOP 1553124065832
--------------------
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-PT-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-PT-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-155297750600345"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/TokenRing-PT-030.tgz
mv TokenRing-PT-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 ;