fond
Model Checking Contest 2019
9th edition, Prague, Czech Republic, April 7, 2019 (TOOLympics)
Execution of r005-smll-155225008800003
Last Updated
Apr 15, 2019

About the Execution of LoLA for ARMCacheCoherence-PT-none

Execution Summary
Max Memory
Used (MB)
Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
4475.550 3570145.00 7284797.00 8092.70 [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/fkordon/mcc2019-input.r005-smll-155225008800003.qcow2', fmt=qcow2 size=4294967296 backing_file='/data/fkordon/mcc2019-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
.....................
=====================================================================
Generated by BenchKit 2-3957
Executing tool lola
Input is ARMCacheCoherence-PT-none, examination is GlobalProperties
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r005-smll-155225008800003
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 14M
-rw-r--r-- 1 mcc users 3.7K Feb 9 05:48 CTLCardinality.txt
-rw-r--r-- 1 mcc users 21K Feb 9 05:48 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.7K Feb 5 01:59 CTLFireability.txt
-rw-r--r-- 1 mcc users 18K Feb 5 01:59 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 10 17:31 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 112 Feb 24 15:05 GlobalProperties.txt
-rw-r--r-- 1 mcc users 350 Feb 24 15:05 GlobalProperties.xml
-rw-r--r-- 1 mcc users 2.3K Feb 4 22:50 LTLCardinality.txt
-rw-r--r-- 1 mcc users 9.3K Feb 4 22:50 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.0K Feb 4 22:31 LTLFireability.txt
-rw-r--r-- 1 mcc users 8.4K Feb 4 22:31 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.5K Feb 1 23:27 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 18K Feb 1 23:27 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 3.0K Jan 29 09:52 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 17K Jan 29 09:52 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Feb 4 22:17 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Feb 4 22:17 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Jan 29 09:34 equiv_col

-rw-r--r-- 1 mcc users 5 Jan 29 09:34 instance
-rw-r--r-- 1 mcc users 6 Jan 29 09:34 iscolored
-rw-r--r-- 1 mcc users 14M 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 ARMCacheCoherence-PT-none-GlobalProperties-0

=== Now, execution of the tool begins

BK_START 1552461779563

info: Time: 3600 - MCC
vrfy: Checking GlobalProperties @ ARMCacheCoherence-PT-none @ 3570 seconds
vrfy: finished
info: timeLeft: 0
rslt: Output for GlobalProperties @ ARMCacheCoherence-PT-none

{
"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 13 07:22:59 2019
",
"timelimit": 3570
},
"child": null,
"exit":
{
"error": null,
"memory": 259160,
"runtime": 3570.000000,
"signal": null,
"timelimitreached": true
},
"files":
{
"formula": "GlobalProperties.xml",
"net": "model.pnml"
},
"formula":
{
"count":
{
"A": 0,
"E": 1,
"F": 1,
"G": 0,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 0,
"cont": 0,
"dl": 1,
"fir": 0,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 0,
"visible_transitions": 0
},
"processed": "E (F (DEADLOCK))",
"processed_size": 16,
"rewrites": 1,
"skeleton": "E(F(**))"
},
"net":
{
"arcs": 246935,
"conflict_clusters": 25,
"places": 87,
"places_significant": 75,
"singleton_clusters": 0,
"transitions": 33676
},
"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": 16.000000,
"composed": 1,
"dead_branches": 0,
"generators": 5,
"interrupted": false,
"real_computed": 4,
"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: 33763/268435456 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 87
lola: finding significant places
lola: 87 places, 33676 transitions, 75 significant places
lola: compute conflict clusters
lola: computed conflict clusters
lola: Computing conflicting sets
lola: Computing back conflicting sets
lola: TASK
lola: Reading formula in XML format (--xmlformula)
lola: reading pnml
lola: reading formula from GlobalProperties.xml
lola: E (F (DEADLOCK))
lola: checking reachability
lola: Planning: workflow for reachability check: findpath||search (--findpath=par)
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: processed formula: E (F (DEADLOCK))
lola: processed formula length: 16
lola: 1 rewrites
lola: closed formula file GlobalProperties.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: SEARCH (findpath)
lola: findpath: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: findpath: starting randomized, memory-less exploration (--findpath)
lola: findpath: searching for paths with maximal depth 1000000 (--depthlimit)
lola: findpath: no retry limit given (--retrylimit)
lola: findpath: transitions are chosen hash-driven
lola: computing symmetries (--symmetry)
lola: time limit for symmetry computation of 300 seconds given (--symmtimelimit)
lola: 1 tries, 70 fired transitions, 0 secs
lola: 0 generators; 1040 candidates remain ( 0%), 0 secs
lola: 1 tries, 142 fired transitions, 5 secs
lola: 0 generators; 1040 candidates remain ( 0%), 5 secs
lola: 1 tries, 215 fired transitions, 10 secs
lola: 0 generators; 1040 candidates remain ( 0%), 10 secs
lola: 1 tries, 283 fired transitions, 15 secs
lola: 0 generators; 1040 candidates remain ( 0%), 15 secs
lola: 1 tries, 352 fired transitions, 20 secs
lola: 0 generators; 1040 candidates remain ( 0%), 20 secs
lola: 1 tries, 420 fired transitions, 25 secs
lola: 0 generators; 1040 candidates remain ( 0%), 25 secs
lola: 1 tries, 492 fired transitions, 30 secs
lola: 0 generators; 1040 candidates remain ( 0%), 30 secs
lola: 1 tries, 566 fired transitions, 35 secs
lola: 1 generators; 4 candidates remain (20%), 35 secs
lola: 1 tries, 640 fired transitions, 40 secs
lola: 2 generators; 3 candidates remain (40%), 40 secs
lola: 1 tries, 716 fired transitions, 45 secs
lola: 2 generators; 3 candidates remain (40%), 45 secs
lola: 1 tries, 791 fired transitions, 50 secs
lola: 2 generators; 3 candidates remain (40%), 50 secs
lola: 1 tries, 864 fired transitions, 55 secs
lola: 2 generators; 3 candidates remain (40%), 55 secs
lola: 1 tries, 942 fired transitions, 60 secs
lola: 2 generators; 3 candidates remain (40%), 60 secs
lola: 1 tries, 1020 fired transitions, 65 secs
lola: 2 generators; 3 candidates remain (40%), 65 secs
lola: computed 5 generators (4 in search tree, 1 by composition)
lola: representing 16 symmetries
lola: 0 dead branches visited in search tree
lola: 1 tries, 1098 fired transitions, 70 secs || 9 markings, 88 edges, 2 markings/sec, 70 secs
lola: 1 tries, 1179 fired transitions, 75 secs || 84 markings, 1702 edges, 15 markings/sec, 75 secs
lola: 1 tries, 1263 fired transitions, 80 secs || 159 markings, 3420 edges, 15 markings/sec, 80 secs
lola: 1 tries, 1347 fired transitions, 85 secs || 232 markings, 5254 edges, 15 markings/sec, 85 secs
lola: 1 tries, 1430 fired transitions, 90 secs || 306 markings, 7666 edges, 15 markings/sec, 90 secs
lola: 1 tries, 1513 fired transitions, 95 secs || 390 markings, 10457 edges, 17 markings/sec, 95 secs
lola: 1 tries, 1591 fired transitions, 100 secs || 453 markings, 11680 edges, 13 markings/sec, 100 secs
lola: 1 tries, 1671 fired transitions, 105 secs || 515 markings, 12955 edges, 12 markings/sec, 105 secs
lola: 1 tries, 1760 fired transitions, 110 secs || 586 markings, 14491 edges, 14 markings/sec, 110 secs
lola: 1 tries, 1846 fired transitions, 115 secs || 661 markings, 16406 edges, 15 markings/sec, 115 secs
lola: 1 tries, 1922 fired transitions, 120 secs || 713 markings, 17347 edges, 10 markings/sec, 120 secs
lola: 1 tries, 2001 fired transitions, 125 secs || 776 markings, 18630 edges, 13 markings/sec, 125 secs
lola: 1 tries, 2094 fired transitions, 130 secs || 847 markings, 20397 edges, 14 markings/sec, 130 secs
lola: 1 tries, 2178 fired transitions, 135 secs || 917 markings, 22175 edges, 14 markings/sec, 135 secs
lola: 1 tries, 2264 fired transitions, 140 secs || 984 markings, 23260 edges, 13 markings/sec, 140 secs
lola: 1 tries, 2352 fired transitions, 145 secs || 1053 markings, 24406 edges, 14 markings/sec, 145 secs
lola: 1 tries, 2444 fired transitions, 150 secs || 1159 markings, 27034 edges, 21 markings/sec, 150 secs
lola: 1 tries, 2531 fired transitions, 155 secs || 1241 markings, 29066 edges, 16 markings/sec, 155 secs
lola: 1 tries, 2612 fired transitions, 160 secs || 1312 markings, 30587 edges, 14 markings/sec, 160 secs
lola: 1 tries, 2695 fired transitions, 165 secs || 1381 markings, 31950 edges, 14 markings/sec, 165 secs
lola: 1 tries, 2776 fired transitions, 170 secs || 1441 markings, 33000 edges, 12 markings/sec, 170 secs
lola: 1 tries, 2851 fired transitions, 175 secs || 1489 markings, 34641 edges, 10 markings/sec, 175 secs
lola: 1 tries, 2939 fired transitions, 180 secs || 1553 markings, 36232 edges, 13 markings/sec, 180 secs
lola: 1 tries, 3019 fired transitions, 185 secs || 1606 markings, 37357 edges, 11 markings/sec, 185 secs
lola: 1 tries, 3102 fired transitions, 190 secs || 1701 markings, 41639 edges, 19 markings/sec, 190 secs
lola: 1 tries, 3187 fired transitions, 195 secs || 1813 markings, 45262 edges, 22 markings/sec, 195 secs
lola: 1 tries, 3271 fired transitions, 200 secs || 1889 markings, 46899 edges, 15 markings/sec, 200 secs
lola: 1 tries, 3356 fired transitions, 205 secs || 1972 markings, 48434 edges, 17 markings/sec, 205 secs
lola: 1 tries, 3436 fired transitions, 210 secs || 2041 markings, 50178 edges, 14 markings/sec, 210 secs
lola: 1 tries, 3513 fired transitions, 215 secs || 2113 markings, 51970 edges, 14 markings/sec, 215 secs
lola: 1 tries, 3597 fired transitions, 220 secs || 2187 markings, 53528 edges, 15 markings/sec, 220 secs
lola: 1 tries, 3679 fired transitions, 225 secs || 2270 markings, 55010 edges, 17 markings/sec, 225 secs
lola: 1 tries, 3758 fired transitions, 230 secs || 2336 markings, 56540 edges, 13 markings/sec, 230 secs
lola: 1 tries, 3844 fired transitions, 235 secs || 2403 markings, 58015 edges, 13 markings/sec, 235 secs
lola: 1 tries, 3928 fired transitions, 240 secs || 2477 markings, 60013 edges, 15 markings/sec, 240 secs
lola: 1 tries, 4013 fired transitions, 245 secs || 2564 markings, 62770 edges, 17 markings/sec, 245 secs
lola: 1 tries, 4094 fired transitions, 250 secs || 2632 markings, 64783 edges, 14 markings/sec, 250 secs
lola: 1 tries, 4173 fired transitions, 255 secs || 2710 markings, 66030 edges, 16 markings/sec, 255 secs
lola: 1 tries, 4252 fired transitions, 260 secs || 2768 markings, 67728 edges, 12 markings/sec, 260 secs
lola: 1 tries, 4336 fired transitions, 265 secs || 2832 markings, 69148 edges, 13 markings/sec, 265 secs
lola: 1 tries, 4419 fired transitions, 270 secs || 2893 markings, 70241 edges, 12 markings/sec, 270 secs
lola: 1 tries, 4507 fired transitions, 275 secs || 2986 markings, 72352 edges, 19 markings/sec, 275 secs
lola: 1 tries, 4585 fired transitions, 280 secs || 3044 markings, 73061 edges, 12 markings/sec, 280 secs
lola: 1 tries, 4665 fired transitions, 285 secs || 3123 markings, 74248 edges, 16 markings/sec, 285 secs
lola: 1 tries, 4744 fired transitions, 290 secs || 3171 markings, 75557 edges, 10 markings/sec, 290 secs
lola: 1 tries, 4832 fired transitions, 295 secs || 3237 markings, 76809 edges, 13 markings/sec, 295 secs
lola: 1 tries, 4913 fired transitions, 300 secs || 3315 markings, 78147 edges, 16 markings/sec, 300 secs
lola: 1 tries, 4998 fired transitions, 305 secs || 3376 markings, 79095 edges, 12 markings/sec, 305 secs
lola: 1 tries, 5072 fired transitions, 310 secs || 3416 markings, 80511 edges, 8 markings/sec, 310 secs
lola: 1 tries, 5157 fired transitions, 315 secs || 3528 markings, 82432 edges, 22 markings/sec, 315 secs
lola: 1 tries, 5235 fired transitions, 320 secs || 3587 markings, 84509 edges, 12 markings/sec, 320 secs
lola: 1 tries, 5314 fired transitions, 325 secs || 3661 markings, 85507 edges, 15 markings/sec, 325 secs
lola: 1 tries, 5397 fired transitions, 330 secs || 3746 markings, 87159 edges, 17 markings/sec, 330 secs
lola: 1 tries, 5481 fired transitions, 335 secs || 3825 markings, 89139 edges, 16 markings/sec, 335 secs
lola: 1 tries, 5563 fired transitions, 340 secs || 3901 markings, 90332 edges, 15 markings/sec, 340 secs
lola: 1 tries, 5648 fired transitions, 345 secs || 3976 markings, 91867 edges, 15 markings/sec, 345 secs
lola: 1 tries, 5726 fired transitions, 350 secs || 4038 markings, 93008 edges, 12 markings/sec, 350 secs
lola: 1 tries, 5809 fired transitions, 355 secs || 4106 markings, 94420 edges, 14 markings/sec, 355 secs
lola: 1 tries, 5887 fired transitions, 360 secs || 4165 markings, 96304 edges, 12 markings/sec, 360 secs
lola: 1 tries, 5966 fired transitions, 365 secs || 4226 markings, 97568 edges, 12 markings/sec, 365 secs
lola: 1 tries, 6045 fired transitions, 370 secs || 4276 markings, 98758 edges, 10 markings/sec, 370 secs
lola: 1 tries, 6131 fired transitions, 375 secs || 4348 markings, 100247 edges, 14 markings/sec, 375 secs
lola: 1 tries, 6213 fired transitions, 380 secs || 4417 markings, 102007 edges, 14 markings/sec, 380 secs
lola: 1 tries, 6295 fired transitions, 385 secs || 4490 markings, 102892 edges, 15 markings/sec, 385 secs
lola: 1 tries, 6372 fired transitions, 390 secs || 4552 markings, 103975 edges, 12 markings/sec, 390 secs
lola: 1 tries, 6450 fired transitions, 395 secs || 4616 markings, 105007 edges, 13 markings/sec, 395 secs
lola: 1 tries, 6529 fired transitions, 400 secs || 4692 markings, 106240 edges, 15 markings/sec, 400 secs
lola: 1 tries, 6607 fired transitions, 405 secs || 4774 markings, 108320 edges, 16 markings/sec, 405 secs
lola: 1 tries, 6680 fired transitions, 410 secs || 4831 markings, 110033 edges, 11 markings/sec, 410 secs
lola: 1 tries, 6756 fired transitions, 415 secs || 4903 markings, 111991 edges, 14 markings/sec, 415 secs
lola: 1 tries, 6835 fired transitions, 420 secs || 4978 markings, 113333 edges, 15 markings/sec, 420 secs
lola: 1 tries, 6912 fired transitions, 425 secs || 5057 markings, 115452 edges, 16 markings/sec, 425 secs
lola: 1 tries, 6993 fired transitions, 430 secs || 5145 markings, 116813 edges, 18 markings/sec, 430 secs
lola: 1 tries, 7070 fired transitions, 435 secs || 5238 markings, 118566 edges, 19 markings/sec, 435 secs
lola: 1 tries, 7147 fired transitions, 440 secs || 5313 markings, 120794 edges, 15 markings/sec, 440 secs
lola: 1 tries, 7225 fired transitions, 445 secs || 5397 markings, 122722 edges, 17 markings/sec, 445 secs
lola: 1 tries, 7300 fired transitions, 450 secs || 5471 markings, 124262 edges, 15 markings/sec, 450 secs
lola: 1 tries, 7377 fired transitions, 455 secs || 5545 markings, 126435 edges, 15 markings/sec, 455 secs
lola: 1 tries, 7455 fired transitions, 460 secs || 5630 markings, 128393 edges, 17 markings/sec, 460 secs
lola: 1 tries, 7537 fired transitions, 465 secs || 5728 markings, 130950 edges, 20 markings/sec, 465 secs
lola: 1 tries, 7613 fired transitions, 470 secs || 5807 markings, 132795 edges, 16 markings/sec, 470 secs
lola: 1 tries, 7691 fired transitions, 475 secs || 5896 markings, 135588 edges, 18 markings/sec, 475 secs
lola: 1 tries, 7767 fired transitions, 480 secs || 5987 markings, 138373 edges, 18 markings/sec, 480 secs
lola: 1 tries, 7843 fired transitions, 485 secs || 6063 markings, 139863 edges, 15 markings/sec, 485 secs
lola: 1 tries, 7921 fired transitions, 490 secs || 6153 markings, 141958 edges, 18 markings/sec, 490 secs
lola: 1 tries, 7996 fired transitions, 495 secs || 6233 markings, 143730 edges, 16 markings/sec, 495 secs
lola: 1 tries, 8073 fired transitions, 500 secs || 6312 markings, 145761 edges, 16 markings/sec, 500 secs
lola: 1 tries, 8150 fired transitions, 505 secs || 6388 markings, 147167 edges, 15 markings/sec, 505 secs
lola: 1 tries, 8225 fired transitions, 510 secs || 6455 markings, 148652 edges, 13 markings/sec, 510 secs
lola: 1 tries, 8304 fired transitions, 515 secs || 6534 markings, 150537 edges, 16 markings/sec, 515 secs
lola: 1 tries, 8383 fired transitions, 520 secs || 6618 markings, 153115 edges, 17 markings/sec, 520 secs
lola: 1 tries, 8458 fired transitions, 525 secs || 6709 markings, 155907 edges, 18 markings/sec, 525 secs
lola: 1 tries, 8534 fired transitions, 530 secs || 6806 markings, 159175 edges, 19 markings/sec, 530 secs
lola: 1 tries, 8613 fired transitions, 535 secs || 6885 markings, 160731 edges, 16 markings/sec, 535 secs
lola: 1 tries, 8690 fired transitions, 540 secs || 6952 markings, 162266 edges, 13 markings/sec, 540 secs
lola: 1 tries, 8764 fired transitions, 545 secs || 7028 markings, 163458 edges, 15 markings/sec, 545 secs
lola: 1 tries, 8842 fired transitions, 550 secs || 7121 markings, 165770 edges, 19 markings/sec, 550 secs
lola: 1 tries, 8921 fired transitions, 555 secs || 7194 markings, 167141 edges, 15 markings/sec, 555 secs
lola: 1 tries, 8997 fired transitions, 560 secs || 7268 markings, 168520 edges, 15 markings/sec, 560 secs
lola: 1 tries, 9078 fired transitions, 565 secs || 7370 markings, 171099 edges, 20 markings/sec, 565 secs
lola: 1 tries, 9159 fired transitions, 570 secs || 7445 markings, 172966 edges, 15 markings/sec, 570 secs
lola: 1 tries, 9236 fired transitions, 575 secs || 7505 markings, 174083 edges, 12 markings/sec, 575 secs
lola: 1 tries, 9312 fired transitions, 580 secs || 7566 markings, 175323 edges, 12 markings/sec, 580 secs
lola: 1 tries, 9392 fired transitions, 585 secs || 7667 markings, 177137 edges, 20 markings/sec, 585 secs
lola: 1 tries, 9467 fired transitions, 590 secs || 7727 markings, 178254 edges, 12 markings/sec, 590 secs
lola: 1 tries, 9540 fired transitions, 595 secs || 7786 markings, 179254 edges, 12 markings/sec, 595 secs
lola: 1 tries, 9616 fired transitions, 600 secs || 7853 markings, 180580 edges, 13 markings/sec, 600 secs
lola: 1 tries, 9695 fired transitions, 605 secs || 7925 markings, 181889 edges, 14 markings/sec, 605 secs
lola: 1 tries, 9773 fired transitions, 610 secs || 7999 markings, 184045 edges, 15 markings/sec, 610 secs
lola: 1 tries, 9842 fired transitions, 615 secs || 8052 markings, 186056 edges, 11 markings/sec, 615 secs
lola: 1 tries, 9922 fired transitions, 620 secs || 8160 markings, 187719 edges, 22 markings/sec, 620 secs
lola: 1 tries, 10000 fired transitions, 625 secs || 8237 markings, 188982 edges, 15 markings/sec, 625 secs
lola: 1 tries, 10075 fired transitions, 630 secs || 8306 markings, 190776 edges, 14 markings/sec, 630 secs
lola: 1 tries, 10151 fired transitions, 635 secs || 8380 markings, 192533 edges, 15 markings/sec, 635 secs
lola: 1 tries, 10228 fired transitions, 640 secs || 8457 markings, 194568 edges, 15 markings/sec, 640 secs
lola: 1 tries, 10299 fired transitions, 645 secs || 8531 markings, 196015 edges, 15 markings/sec, 645 secs
lola: 1 tries, 10373 fired transitions, 650 secs || 8593 markings, 197462 edges, 12 markings/sec, 650 secs
lola: 1 tries, 10449 fired transitions, 655 secs || 8663 markings, 198644 edges, 14 markings/sec, 655 secs
lola: 1 tries, 10521 fired transitions, 660 secs || 8724 markings, 200689 edges, 12 markings/sec, 660 secs
lola: 1 tries, 10598 fired transitions, 665 secs || 8790 markings, 202197 edges, 13 markings/sec, 665 secs
lola: 1 tries, 10671 fired transitions, 670 secs || 8854 markings, 203441 edges, 13 markings/sec, 670 secs
lola: 1 tries, 10749 fired transitions, 675 secs || 8931 markings, 205603 edges, 15 markings/sec, 675 secs
lola: 1 tries, 10826 fired transitions, 680 secs || 9010 markings, 207492 edges, 16 markings/sec, 680 secs
lola: 1 tries, 10899 fired transitions, 685 secs || 9091 markings, 210240 edges, 16 markings/sec, 685 secs
lola: 1 tries, 10976 fired transitions, 690 secs || 9171 markings, 211890 edges, 16 markings/sec, 690 secs
lola: 1 tries, 11048 fired transitions, 695 secs || 9236 markings, 212974 edges, 13 markings/sec, 695 secs
lola: 1 tries, 11126 fired transitions, 700 secs || 9305 markings, 214791 edges, 14 markings/sec, 700 secs
lola: 1 tries, 11203 fired transitions, 705 secs || 9383 markings, 216089 edges, 16 markings/sec, 705 secs
lola: 1 tries, 11282 fired transitions, 710 secs || 9454 markings, 217536 edges, 14 markings/sec, 710 secs
lola: 1 tries, 11357 fired transitions, 715 secs || 9523 markings, 218790 edges, 14 markings/sec, 715 secs
lola: 1 tries, 11441 fired transitions, 720 secs || 9624 markings, 220503 edges, 20 markings/sec, 720 secs
lola: 1 tries, 11522 fired transitions, 725 secs || 9710 markings, 222473 edges, 17 markings/sec, 725 secs
lola: 1 tries, 11602 fired transitions, 730 secs || 9786 markings, 224015 edges, 15 markings/sec, 730 secs
lola: 1 tries, 11680 fired transitions, 735 secs || 9861 markings, 226324 edges, 15 markings/sec, 735 secs
lola: 1 tries, 11761 fired transitions, 740 secs || 9965 markings, 231189 edges, 21 markings/sec, 740 secs
lola: 1 tries, 11840 fired transitions, 745 secs || 10032 markings, 232430 edges, 13 markings/sec, 745 secs
lola: 1 tries, 11915 fired transitions, 750 secs || 10103 markings, 233587 edges, 14 markings/sec, 750 secs
lola: 1 tries, 11998 fired transitions, 755 secs || 10165 markings, 234678 edges, 12 markings/sec, 755 secs
lola: 1 tries, 12075 fired transitions, 760 secs || 10234 markings, 236024 edges, 14 markings/sec, 760 secs
lola: 1 tries, 12156 fired transitions, 765 secs || 10305 markings, 238333 edges, 14 markings/sec, 765 secs
lola: 1 tries, 12240 fired transitions, 770 secs || 10401 markings, 240480 edges, 19 markings/sec, 770 secs
lola: 1 tries, 12327 fired transitions, 775 secs || 10547 markings, 244625 edges, 29 markings/sec, 775 secs
lola: 1 tries, 12401 fired transitions, 780 secs || 10610 markings, 248109 edges, 13 markings/sec, 780 secs
lola: 1 tries, 12479 fired transitions, 785 secs || 10702 markings, 251363 edges, 18 markings/sec, 785 secs
lola: 1 tries, 12563 fired transitions, 790 secs || 10811 markings, 254497 edges, 22 markings/sec, 790 secs
lola: 1 tries, 12646 fired transitions, 795 secs || 10926 markings, 260239 edges, 23 markings/sec, 795 secs
lola: 1 tries, 12731 fired transitions, 800 secs || 11039 markings, 262730 edges, 23 markings/sec, 800 secs
lola: 1 tries, 12815 fired transitions, 805 secs || 11131 markings, 264490 edges, 18 markings/sec, 805 secs
lola: 1 tries, 12896 fired transitions, 810 secs || 11217 markings, 266664 edges, 17 markings/sec, 810 secs
lola: 1 tries, 12978 fired transitions, 815 secs || 11296 markings, 268569 edges, 16 markings/sec, 815 secs
lola: 1 tries, 13057 fired transitions, 820 secs || 11367 markings, 269711 edges, 14 markings/sec, 820 secs
lola: 1 tries, 13134 fired transitions, 825 secs || 11444 markings, 271067 edges, 15 markings/sec, 825 secs
lola: 1 tries, 13208 fired transitions, 830 secs || 11495 markings, 273280 edges, 10 markings/sec, 830 secs
lola: 1 tries, 13287 fired transitions, 835 secs || 11578 markings, 274929 edges, 17 markings/sec, 835 secs
lola: 1 tries, 13362 fired transitions, 840 secs || 11641 markings, 276589 edges, 13 markings/sec, 840 secs
lola: 1 tries, 13443 fired transitions, 845 secs || 11715 markings, 278172 edges, 15 markings/sec, 845 secs
lola: 1 tries, 13521 fired transitions, 850 secs || 11788 markings, 279764 edges, 15 markings/sec, 850 secs
lola: 1 tries, 13603 fired transitions, 855 secs || 11871 markings, 281170 edges, 17 markings/sec, 855 secs
lola: 1 tries, 13681 fired transitions, 860 secs || 11953 markings, 283240 edges, 16 markings/sec, 860 secs
lola: 1 tries, 13764 fired transitions, 865 secs || 12046 markings, 286358 edges, 19 markings/sec, 865 secs
lola: 1 tries, 13851 fired transitions, 870 secs || 12145 markings, 290514 edges, 20 markings/sec, 870 secs
lola: 1 tries, 13935 fired transitions, 875 secs || 12241 markings, 292819 edges, 19 markings/sec, 875 secs
lola: 1 tries, 14015 fired transitions, 880 secs || 12313 markings, 294423 edges, 14 markings/sec, 880 secs
lola: 1 tries, 14095 fired transitions, 885 secs || 12404 markings, 295912 edges, 18 markings/sec, 885 secs
lola: 1 tries, 14174 fired transitions, 890 secs || 12488 markings, 297800 edges, 17 markings/sec, 890 secs
lola: 1 tries, 14253 fired transitions, 895 secs || 12553 markings, 300434 edges, 13 markings/sec, 895 secs
lola: 1 tries, 14342 fired transitions, 900 secs || 12665 markings, 304776 edges, 22 markings/sec, 900 secs
lola: 1 tries, 14422 fired transitions, 905 secs || 12756 markings, 307849 edges, 18 markings/sec, 905 secs
lola: 1 tries, 14503 fired transitions, 910 secs || 12828 markings, 310140 edges, 14 markings/sec, 910 secs
lola: 1 tries, 14580 fired transitions, 915 secs || 12891 markings, 311244 edges, 13 markings/sec, 915 secs
lola: 1 tries, 14662 fired transitions, 920 secs || 12955 markings, 312632 edges, 13 markings/sec, 920 secs
lola: 1 tries, 14738 fired transitions, 925 secs || 13007 markings, 314064 edges, 10 markings/sec, 925 secs
lola: 1 tries, 14817 fired transitions, 930 secs || 13070 markings, 315453 edges, 13 markings/sec, 930 secs
lola: 1 tries, 14900 fired transitions, 935 secs || 13133 markings, 317278 edges, 13 markings/sec, 935 secs
lola: 1 tries, 14980 fired transitions, 940 secs || 13199 markings, 319440 edges, 13 markings/sec, 940 secs
lola: 1 tries, 15060 fired transitions, 945 secs || 13259 markings, 320735 edges, 12 markings/sec, 945 secs
lola: 1 tries, 15141 fired transitions, 950 secs || 13323 markings, 323264 edges, 13 markings/sec, 950 secs
lola: 1 tries, 15228 fired transitions, 955 secs || 13398 markings, 325180 edges, 15 markings/sec, 955 secs
lola: 1 tries, 15314 fired transitions, 960 secs || 13474 markings, 326330 edges, 15 markings/sec, 960 secs
lola: 1 tries, 15395 fired transitions, 965 secs || 13573 markings, 328301 edges, 20 markings/sec, 965 secs
lola: 1 tries, 15472 fired transitions, 970 secs || 13638 markings, 329548 edges, 13 markings/sec, 970 secs
lola: 1 tries, 15554 fired transitions, 975 secs || 13710 markings, 330811 edges, 14 markings/sec, 975 secs
lola: 1 tries, 15631 fired transitions, 980 secs || 13770 markings, 331875 edges, 12 markings/sec, 980 secs
lola: 1 tries, 15710 fired transitions, 985 secs || 13851 markings, 333694 edges, 16 markings/sec, 985 secs
lola: 1 tries, 15788 fired transitions, 990 secs || 13912 markings, 335008 edges, 12 markings/sec, 990 secs
lola: 1 tries, 15871 fired transitions, 995 secs || 13995 markings, 336124 edges, 17 markings/sec, 995 secs
lola: 1 tries, 15956 fired transitions, 1000 secs || 14066 markings, 337951 edges, 14 markings/sec, 1000 secs
lola: 1 tries, 16035 fired transitions, 1005 secs || 14131 markings, 339496 edges, 13 markings/sec, 1005 secs
lola: 1 tries, 16116 fired transitions, 1010 secs || 14185 markings, 340552 edges, 11 markings/sec, 1010 secs
lola: 1 tries, 16193 fired transitions, 1015 secs || 14242 markings, 341983 edges, 11 markings/sec, 1015 secs
lola: 1 tries, 16275 fired transitions, 1020 secs || 14305 markings, 343735 edges, 13 markings/sec, 1020 secs
lola: 1 tries, 16359 fired transitions, 1025 secs || 14386 markings, 345193 edges, 16 markings/sec, 1025 secs
lola: 1 tries, 16444 fired transitions, 1030 secs || 14447 markings, 346238 edges, 12 markings/sec, 1030 secs
lola: 1 tries, 16524 fired transitions, 1035 secs || 14505 markings, 347894 edges, 12 markings/sec, 1035 secs
lola: 1 tries, 16610 fired transitions, 1040 secs || 14571 markings, 349546 edges, 13 markings/sec, 1040 secs
lola: 1 tries, 16690 fired transitions, 1045 secs || 14641 markings, 351543 edges, 14 markings/sec, 1045 secs
lola: 1 tries, 16780 fired transitions, 1050 secs || 14787 markings, 353824 edges, 29 markings/sec, 1050 secs
lola: 1 tries, 16863 fired transitions, 1055 secs || 14890 markings, 355766 edges, 21 markings/sec, 1055 secs
lola: 1 tries, 16946 fired transitions, 1060 secs || 14985 markings, 358214 edges, 19 markings/sec, 1060 secs
lola: 1 tries, 17026 fired transitions, 1065 secs || 15042 markings, 360451 edges, 11 markings/sec, 1065 secs
lola: 1 tries, 17106 fired transitions, 1070 secs || 15100 markings, 361943 edges, 12 markings/sec, 1070 secs
lola: 1 tries, 17190 fired transitions, 1075 secs || 15161 markings, 363319 edges, 12 markings/sec, 1075 secs
lola: 1 tries, 17277 fired transitions, 1080 secs || 15251 markings, 364614 edges, 18 markings/sec, 1080 secs
lola: 1 tries, 17363 fired transitions, 1085 secs || 15332 markings, 365743 edges, 16 markings/sec, 1085 secs
lola: 1 tries, 17440 fired transitions, 1090 secs || 15398 markings, 367130 edges, 13 markings/sec, 1090 secs
lola: 1 tries, 17523 fired transitions, 1095 secs || 15481 markings, 368934 edges, 17 markings/sec, 1095 secs
lola: 1 tries, 17606 fired transitions, 1100 secs || 15555 markings, 370421 edges, 15 markings/sec, 1100 secs
lola: 1 tries, 17681 fired transitions, 1105 secs || 15617 markings, 371318 edges, 12 markings/sec, 1105 secs
lola: 1 tries, 17766 fired transitions, 1110 secs || 15703 markings, 372961 edges, 17 markings/sec, 1110 secs
lola: 1 tries, 17852 fired transitions, 1115 secs || 15802 markings, 375300 edges, 20 markings/sec, 1115 secs
lola: 1 tries, 17934 fired transitions, 1120 secs || 15887 markings, 377456 edges, 17 markings/sec, 1120 secs
lola: 1 tries, 18014 fired transitions, 1125 secs || 15945 markings, 379139 edges, 12 markings/sec, 1125 secs
lola: 1 tries, 18100 fired transitions, 1130 secs || 16054 markings, 380973 edges, 22 markings/sec, 1130 secs
lola: 1 tries, 18185 fired transitions, 1135 secs || 16132 markings, 382849 edges, 16 markings/sec, 1135 secs
lola: 1 tries, 18265 fired transitions, 1140 secs || 16207 markings, 384494 edges, 15 markings/sec, 1140 secs
lola: 1 tries, 18348 fired transitions, 1145 secs || 16278 markings, 386149 edges, 14 markings/sec, 1145 secs
lola: 1 tries, 18431 fired transitions, 1150 secs || 16358 markings, 388068 edges, 16 markings/sec, 1150 secs
lola: 1 tries, 18510 fired transitions, 1155 secs || 16430 markings, 389967 edges, 14 markings/sec, 1155 secs
lola: 1 tries, 18596 fired transitions, 1160 secs || 16503 markings, 391458 edges, 15 markings/sec, 1160 secs
lola: 1 tries, 18679 fired transitions, 1165 secs || 16576 markings, 393392 edges, 15 markings/sec, 1165 secs
lola: 1 tries, 18760 fired transitions, 1170 secs || 16657 markings, 396398 edges, 16 markings/sec, 1170 secs
lola: 1 tries, 18840 fired transitions, 1175 secs || 16726 markings, 397778 edges, 14 markings/sec, 1175 secs
lola: 1 tries, 18921 fired transitions, 1180 secs || 16783 markings, 398822 edges, 11 markings/sec, 1180 secs
lola: 1 tries, 19001 fired transitions, 1185 secs || 16860 markings, 400019 edges, 15 markings/sec, 1185 secs
lola: 1 tries, 19082 fired transitions, 1190 secs || 16929 markings, 401666 edges, 14 markings/sec, 1190 secs
lola: 1 tries, 19158 fired transitions, 1195 secs || 16978 markings, 402766 edges, 10 markings/sec, 1195 secs
lola: 1 tries, 19235 fired transitions, 1200 secs || 17051 markings, 404723 edges, 15 markings/sec, 1200 secs
lola: 1 tries, 19314 fired transitions, 1205 secs || 17120 markings, 406814 edges, 14 markings/sec, 1205 secs
lola: 1 tries, 19393 fired transitions, 1210 secs || 17198 markings, 408475 edges, 16 markings/sec, 1210 secs
lola: 1 tries, 19471 fired transitions, 1215 secs || 17257 markings, 409647 edges, 12 markings/sec, 1215 secs
lola: 1 tries, 19550 fired transitions, 1220 secs || 17357 markings, 412058 edges, 20 markings/sec, 1220 secs
lola: 1 tries, 19624 fired transitions, 1225 secs || 17424 markings, 413451 edges, 13 markings/sec, 1225 secs
lola: 1 tries, 19701 fired transitions, 1230 secs || 17495 markings, 414910 edges, 14 markings/sec, 1230 secs
lola: 1 tries, 19779 fired transitions, 1235 secs || 17567 markings, 416765 edges, 14 markings/sec, 1235 secs
lola: 1 tries, 19858 fired transitions, 1240 secs || 17659 markings, 418688 edges, 18 markings/sec, 1240 secs
lola: 1 tries, 19934 fired transitions, 1245 secs || 17719 markings, 419886 edges, 12 markings/sec, 1245 secs
lola: 1 tries, 20014 fired transitions, 1250 secs || 17791 markings, 421623 edges, 14 markings/sec, 1250 secs
lola: 1 tries, 20089 fired transitions, 1255 secs || 17856 markings, 423201 edges, 13 markings/sec, 1255 secs
lola: 1 tries, 20166 fired transitions, 1260 secs || 17926 markings, 424894 edges, 14 markings/sec, 1260 secs
lola: 1 tries, 20243 fired transitions, 1265 secs || 17992 markings, 425940 edges, 13 markings/sec, 1265 secs
lola: 1 tries, 20323 fired transitions, 1270 secs || 18062 markings, 427009 edges, 14 markings/sec, 1270 secs
lola: 1 tries, 20405 fired transitions, 1275 secs || 18142 markings, 428733 edges, 16 markings/sec, 1275 secs
lola: 1 tries, 20487 fired transitions, 1280 secs || 18224 markings, 430231 edges, 16 markings/sec, 1280 secs
lola: 1 tries, 20571 fired transitions, 1285 secs || 18310 markings, 432020 edges, 17 markings/sec, 1285 secs
lola: 1 tries, 20649 fired transitions, 1290 secs || 18362 markings, 433205 edges, 10 markings/sec, 1290 secs
lola: 1 tries, 20733 fired transitions, 1295 secs || 18475 markings, 434468 edges, 23 markings/sec, 1295 secs
lola: 1 tries, 20809 fired transitions, 1300 secs || 18519 markings, 435480 edges, 9 markings/sec, 1300 secs
lola: 1 tries, 20889 fired transitions, 1305 secs || 18588 markings, 436695 edges, 14 markings/sec, 1305 secs
lola: 1 tries, 20972 fired transitions, 1310 secs || 18662 markings, 438198 edges, 15 markings/sec, 1310 secs
lola: 1 tries, 21044 fired transitions, 1315 secs || 18708 markings, 439432 edges, 9 markings/sec, 1315 secs
lola: 1 tries, 21136 fired transitions, 1320 secs || 18841 markings, 443123 edges, 27 markings/sec, 1320 secs
lola: 1 tries, 21215 fired transitions, 1325 secs || 18921 markings, 444748 edges, 16 markings/sec, 1325 secs
lola: 1 tries, 21293 fired transitions, 1330 secs || 18986 markings, 446030 edges, 13 markings/sec, 1330 secs
lola: 1 tries, 21375 fired transitions, 1335 secs || 19096 markings, 450343 edges, 22 markings/sec, 1335 secs
lola: 1 tries, 21455 fired transitions, 1340 secs || 19198 markings, 452244 edges, 20 markings/sec, 1340 secs
lola: 1 tries, 21531 fired transitions, 1345 secs || 19283 markings, 455672 edges, 17 markings/sec, 1345 secs
lola: 1 tries, 21620 fired transitions, 1350 secs || 19418 markings, 459278 edges, 27 markings/sec, 1350 secs
lola: 1 tries, 21700 fired transitions, 1355 secs || 19522 markings, 461979 edges, 21 markings/sec, 1355 secs
lola: 1 tries, 21779 fired transitions, 1360 secs || 19614 markings, 467249 edges, 18 markings/sec, 1360 secs
lola: 1 tries, 21868 fired transitions, 1365 secs || 19739 markings, 469703 edges, 25 markings/sec, 1365 secs
lola: 1 tries, 21948 fired transitions, 1370 secs || 19820 markings, 471030 edges, 16 markings/sec, 1370 secs
lola: 1 tries, 22025 fired transitions, 1375 secs || 19902 markings, 472643 edges, 16 markings/sec, 1375 secs
lola: 1 tries, 22102 fired transitions, 1380 secs || 19965 markings, 474339 edges, 13 markings/sec, 1380 secs
lola: 1 tries, 22183 fired transitions, 1385 secs || 20032 markings, 475686 edges, 13 markings/sec, 1385 secs
lola: 1 tries, 22266 fired transitions, 1390 secs || 20123 markings, 477123 edges, 18 markings/sec, 1390 secs
lola: 1 tries, 22352 fired transitions, 1395 secs || 20240 markings, 479912 edges, 23 markings/sec, 1395 secs
lola: 1 tries, 22434 fired transitions, 1400 secs || 20363 markings, 483411 edges, 25 markings/sec, 1400 secs
lola: 1 tries, 22518 fired transitions, 1405 secs || 20456 markings, 485538 edges, 19 markings/sec, 1405 secs
lola: 1 tries, 22594 fired transitions, 1410 secs || 20534 markings, 487903 edges, 16 markings/sec, 1410 secs
lola: 1 tries, 22670 fired transitions, 1415 secs || 20614 markings, 490422 edges, 16 markings/sec, 1415 secs
lola: 1 tries, 22745 fired transitions, 1420 secs || 20678 markings, 492433 edges, 13 markings/sec, 1420 secs
lola: 1 tries, 22826 fired transitions, 1425 secs || 20749 markings, 493640 edges, 14 markings/sec, 1425 secs
lola: 1 tries, 22901 fired transitions, 1430 secs || 20805 markings, 494685 edges, 11 markings/sec, 1430 secs
lola: 1 tries, 22981 fired transitions, 1435 secs || 20892 markings, 496598 edges, 17 markings/sec, 1435 secs
lola: 1 tries, 23061 fired transitions, 1440 secs || 20969 markings, 498736 edges, 15 markings/sec, 1440 secs
lola: 1 tries, 23142 fired transitions, 1445 secs || 21062 markings, 501021 edges, 19 markings/sec, 1445 secs
lola: 1 tries, 23218 fired transitions, 1450 secs || 21136 markings, 504720 edges, 15 markings/sec, 1450 secs
lola: 1 tries, 23303 fired transitions, 1455 secs || 21246 markings, 507325 edges, 22 markings/sec, 1455 secs
lola: 1 tries, 23379 fired transitions, 1460 secs || 21332 markings, 509793 edges, 17 markings/sec, 1460 secs
lola: 1 tries, 23466 fired transitions, 1465 secs || 21416 markings, 511694 edges, 17 markings/sec, 1465 secs
lola: 1 tries, 23544 fired transitions, 1470 secs || 21482 markings, 512974 edges, 13 markings/sec, 1470 secs
lola: 1 tries, 23625 fired transitions, 1475 secs || 21552 markings, 514420 edges, 14 markings/sec, 1475 secs
lola: 1 tries, 23707 fired transitions, 1480 secs || 21636 markings, 515930 edges, 17 markings/sec, 1480 secs
lola: 1 tries, 23785 fired transitions, 1485 secs || 21709 markings, 516953 edges, 15 markings/sec, 1485 secs
lola: 1 tries, 23863 fired transitions, 1490 secs || 21768 markings, 518550 edges, 12 markings/sec, 1490 secs
lola: 1 tries, 23948 fired transitions, 1495 secs || 21847 markings, 520376 edges, 16 markings/sec, 1495 secs
lola: 1 tries, 24029 fired transitions, 1500 secs || 21917 markings, 521724 edges, 14 markings/sec, 1500 secs
lola: 1 tries, 24106 fired transitions, 1505 secs || 21968 markings, 523493 edges, 10 markings/sec, 1505 secs
lola: 1 tries, 24187 fired transitions, 1510 secs || 22036 markings, 525009 edges, 14 markings/sec, 1510 secs
lola: 1 tries, 24265 fired transitions, 1515 secs || 22092 markings, 526196 edges, 11 markings/sec, 1515 secs
lola: 1 tries, 24344 fired transitions, 1520 secs || 22150 markings, 527547 edges, 12 markings/sec, 1520 secs
lola: 1 tries, 24420 fired transitions, 1525 secs || 22212 markings, 529476 edges, 12 markings/sec, 1525 secs
lola: 1 tries, 24496 fired transitions, 1530 secs || 22254 markings, 530316 edges, 8 markings/sec, 1530 secs
lola: 1 tries, 24573 fired transitions, 1535 secs || 22322 markings, 531854 edges, 14 markings/sec, 1535 secs
lola: 1 tries, 24654 fired transitions, 1540 secs || 22442 markings, 536213 edges, 24 markings/sec, 1540 secs
lola: 1 tries, 24735 fired transitions, 1545 secs || 22535 markings, 538709 edges, 19 markings/sec, 1545 secs
lola: 1 tries, 24814 fired transitions, 1550 secs || 22636 markings, 542825 edges, 20 markings/sec, 1550 secs
lola: 1 tries, 24896 fired transitions, 1555 secs || 22715 markings, 544459 edges, 16 markings/sec, 1555 secs
lola: 1 tries, 24980 fired transitions, 1560 secs || 22799 markings, 546318 edges, 17 markings/sec, 1560 secs
lola: 1 tries, 25061 fired transitions, 1565 secs || 22869 markings, 547492 edges, 14 markings/sec, 1565 secs
lola: 1 tries, 25138 fired transitions, 1570 secs || 22952 markings, 549400 edges, 17 markings/sec, 1570 secs
lola: 1 tries, 25217 fired transitions, 1575 secs || 23041 markings, 551785 edges, 18 markings/sec, 1575 secs
lola: 1 tries, 25301 fired transitions, 1580 secs || 23133 markings, 553773 edges, 18 markings/sec, 1580 secs
lola: 1 tries, 25379 fired transitions, 1585 secs || 23202 markings, 555443 edges, 14 markings/sec, 1585 secs
lola: 1 tries, 25460 fired transitions, 1590 secs || 23271 markings, 557266 edges, 14 markings/sec, 1590 secs
lola: 1 tries, 25543 fired transitions, 1595 secs || 23374 markings, 559553 edges, 21 markings/sec, 1595 secs
lola: 1 tries, 25620 fired transitions, 1600 secs || 23455 markings, 561377 edges, 16 markings/sec, 1600 secs
lola: 1 tries, 25700 fired transitions, 1605 secs || 23526 markings, 563487 edges, 14 markings/sec, 1605 secs
lola: 1 tries, 25780 fired transitions, 1610 secs || 23622 markings, 565190 edges, 19 markings/sec, 1610 secs
lola: 1 tries, 25858 fired transitions, 1615 secs || 23700 markings, 566394 edges, 16 markings/sec, 1615 secs
lola: 1 tries, 25932 fired transitions, 1620 secs || 23764 markings, 567723 edges, 13 markings/sec, 1620 secs
lola: 1 tries, 26011 fired transitions, 1625 secs || 23830 markings, 569001 edges, 13 markings/sec, 1625 secs
lola: 1 tries, 26092 fired transitions, 1630 secs || 23898 markings, 571532 edges, 14 markings/sec, 1630 secs
lola: 1 tries, 26171 fired transitions, 1635 secs || 23984 markings, 573607 edges, 17 markings/sec, 1635 secs
lola: 1 tries, 26253 fired transitions, 1640 secs || 24059 markings, 575371 edges, 15 markings/sec, 1640 secs
lola: 1 tries, 26336 fired transitions, 1645 secs || 24143 markings, 577648 edges, 17 markings/sec, 1645 secs
lola: 1 tries, 26419 fired transitions, 1650 secs || 24216 markings, 579303 edges, 15 markings/sec, 1650 secs
lola: 1 tries, 26502 fired transitions, 1655 secs || 24293 markings, 581070 edges, 15 markings/sec, 1655 secs
lola: 1 tries, 26585 fired transitions, 1660 secs || 24361 markings, 582233 edges, 14 markings/sec, 1660 secs
lola: 1 tries, 26660 fired transitions, 1665 secs || 24401 markings, 583656 edges, 8 markings/sec, 1665 secs
lola: 1 tries, 26740 fired transitions, 1670 secs || 24457 markings, 585309 edges, 11 markings/sec, 1670 secs
lola: 1 tries, 26823 fired transitions, 1675 secs || 24518 markings, 586539 edges, 12 markings/sec, 1675 secs
lola: 1 tries, 26907 fired transitions, 1680 secs || 24579 markings, 587940 edges, 12 markings/sec, 1680 secs
lola: 1 tries, 26988 fired transitions, 1685 secs || 24669 markings, 589890 edges, 18 markings/sec, 1685 secs
lola: 1 tries, 27070 fired transitions, 1690 secs || 24725 markings, 591450 edges, 11 markings/sec, 1690 secs
lola: 1 tries, 27148 fired transitions, 1695 secs || 24794 markings, 592292 edges, 14 markings/sec, 1695 secs
lola: 1 tries, 27229 fired transitions, 1700 secs || 24865 markings, 593509 edges, 14 markings/sec, 1700 secs
lola: 1 tries, 27311 fired transitions, 1705 secs || 24940 markings, 594805 edges, 15 markings/sec, 1705 secs
lola: 1 tries, 27391 fired transitions, 1710 secs || 24986 markings, 596013 edges, 9 markings/sec, 1710 secs
lola: 1 tries, 27469 fired transitions, 1715 secs || 25033 markings, 597229 edges, 9 markings/sec, 1715 secs
lola: 1 tries, 27550 fired transitions, 1720 secs || 25094 markings, 598840 edges, 12 markings/sec, 1720 secs
lola: 1 tries, 27626 fired transitions, 1725 secs || 25142 markings, 600206 edges, 10 markings/sec, 1725 secs
lola: 1 tries, 27705 fired transitions, 1730 secs || 25187 markings, 601528 edges, 9 markings/sec, 1730 secs
lola: 1 tries, 27786 fired transitions, 1735 secs || 25236 markings, 602438 edges, 10 markings/sec, 1735 secs
lola: 1 tries, 27870 fired transitions, 1740 secs || 25316 markings, 603915 edges, 16 markings/sec, 1740 secs
lola: 1 tries, 27950 fired transitions, 1745 secs || 25382 markings, 605161 edges, 13 markings/sec, 1745 secs
lola: 1 tries, 28028 fired transitions, 1750 secs || 25431 markings, 606850 edges, 10 markings/sec, 1750 secs
lola: 1 tries, 28109 fired transitions, 1755 secs || 25492 markings, 608781 edges, 12 markings/sec, 1755 secs
lola: 1 tries, 28188 fired transitions, 1760 secs || 25561 markings, 610478 edges, 14 markings/sec, 1760 secs
lola: 1 tries, 28269 fired transitions, 1765 secs || 25638 markings, 611901 edges, 15 markings/sec, 1765 secs
lola: 1 tries, 28344 fired transitions, 1770 secs || 25694 markings, 613332 edges, 11 markings/sec, 1770 secs
lola: 1 tries, 28424 fired transitions, 1775 secs || 25777 markings, 615155 edges, 17 markings/sec, 1775 secs
lola: 1 tries, 28508 fired transitions, 1780 secs || 25864 markings, 616631 edges, 17 markings/sec, 1780 secs
lola: 1 tries, 28580 fired transitions, 1785 secs || 25899 markings, 617746 edges, 7 markings/sec, 1785 secs
lola: 1 tries, 28656 fired transitions, 1790 secs || 25951 markings, 619139 edges, 10 markings/sec, 1790 secs
lola: 1 tries, 28730 fired transitions, 1795 secs || 26000 markings, 620336 edges, 10 markings/sec, 1795 secs
lola: 1 tries, 28814 fired transitions, 1800 secs || 26074 markings, 621643 edges, 15 markings/sec, 1800 secs
lola: 1 tries, 28891 fired transitions, 1805 secs || 26158 markings, 622852 edges, 17 markings/sec, 1805 secs
lola: 1 tries, 28965 fired transitions, 1810 secs || 26218 markings, 623887 edges, 12 markings/sec, 1810 secs
lola: 1 tries, 29038 fired transitions, 1815 secs || 26254 markings, 624605 edges, 7 markings/sec, 1815 secs
lola: 1 tries, 29120 fired transitions, 1820 secs || 26334 markings, 626130 edges, 16 markings/sec, 1820 secs
lola: 1 tries, 29196 fired transitions, 1825 secs || 26405 markings, 627451 edges, 14 markings/sec, 1825 secs
lola: 1 tries, 29275 fired transitions, 1830 secs || 26468 markings, 628632 edges, 13 markings/sec, 1830 secs
lola: 1 tries, 29353 fired transitions, 1835 secs || 26527 markings, 630569 edges, 12 markings/sec, 1835 secs
lola: 1 tries, 29426 fired transitions, 1840 secs || 26561 markings, 631246 edges, 7 markings/sec, 1840 secs
lola: 1 tries, 29505 fired transitions, 1845 secs || 26613 markings, 632552 edges, 10 markings/sec, 1845 secs
lola: 1 tries, 29584 fired transitions, 1850 secs || 26716 markings, 635377 edges, 21 markings/sec, 1850 secs
lola: 1 tries, 29661 fired transitions, 1855 secs || 26765 markings, 636551 edges, 10 markings/sec, 1855 secs
lola: 1 tries, 29738 fired transitions, 1860 secs || 26813 markings, 637628 edges, 10 markings/sec, 1860 secs
lola: 1 tries, 29813 fired transitions, 1865 secs || 26866 markings, 638611 edges, 11 markings/sec, 1865 secs
lola: 1 tries, 29890 fired transitions, 1870 secs || 26929 markings, 640659 edges, 13 markings/sec, 1870 secs
lola: 1 tries, 29967 fired transitions, 1875 secs || 26968 markings, 642123 edges, 8 markings/sec, 1875 secs
lola: 1 tries, 30046 fired transitions, 1880 secs || 27027 markings, 643986 edges, 12 markings/sec, 1880 secs
lola: 1 tries, 30126 fired transitions, 1885 secs || 27092 markings, 645386 edges, 13 markings/sec, 1885 secs
lola: 1 tries, 30205 fired transitions, 1890 secs || 27154 markings, 646957 edges, 12 markings/sec, 1890 secs
lola: 1 tries, 30284 fired transitions, 1895 secs || 27202 markings, 647709 edges, 10 markings/sec, 1895 secs
lola: 1 tries, 30367 fired transitions, 1900 secs || 27265 markings, 649008 edges, 13 markings/sec, 1900 secs
lola: 1 tries, 30449 fired transitions, 1905 secs || 27321 markings, 650709 edges, 11 markings/sec, 1905 secs
lola: 1 tries, 30522 fired transitions, 1910 secs || 27358 markings, 651464 edges, 7 markings/sec, 1910 secs
lola: 1 tries, 30606 fired transitions, 1915 secs || 27433 markings, 652964 edges, 15 markings/sec, 1915 secs
lola: 1 tries, 30685 fired transitions, 1920 secs || 27499 markings, 654063 edges, 13 markings/sec, 1920 secs
lola: 1 tries, 30765 fired transitions, 1925 secs || 27565 markings, 654840 edges, 13 markings/sec, 1925 secs
lola: 1 tries, 30839 fired transitions, 1930 secs || 27601 markings, 655761 edges, 7 markings/sec, 1930 secs
lola: 1 tries, 30913 fired transitions, 1935 secs || 27653 markings, 657616 edges, 10 markings/sec, 1935 secs
lola: 1 tries, 30992 fired transitions, 1940 secs || 27711 markings, 659254 edges, 12 markings/sec, 1940 secs
lola: 1 tries, 31070 fired transitions, 1945 secs || 27775 markings, 660577 edges, 13 markings/sec, 1945 secs
lola: 1 tries, 31154 fired transitions, 1950 secs || 27853 markings, 662548 edges, 16 markings/sec, 1950 secs
lola: 1 tries, 31232 fired transitions, 1955 secs || 27923 markings, 664094 edges, 14 markings/sec, 1955 secs
lola: 1 tries, 31313 fired transitions, 1960 secs || 28002 markings, 665296 edges, 16 markings/sec, 1960 secs
lola: 1 tries, 31391 fired transitions, 1965 secs || 28083 markings, 666806 edges, 16 markings/sec, 1965 secs
lola: 1 tries, 31475 fired transitions, 1970 secs || 28156 markings, 668398 edges, 15 markings/sec, 1970 secs
lola: 1 tries, 31555 fired transitions, 1975 secs || 28226 markings, 669852 edges, 14 markings/sec, 1975 secs
lola: 1 tries, 31635 fired transitions, 1980 secs || 28295 markings, 671529 edges, 14 markings/sec, 1980 secs
lola: 1 tries, 31717 fired transitions, 1985 secs || 28354 markings, 673285 edges, 12 markings/sec, 1985 secs
lola: 1 tries, 31799 fired transitions, 1990 secs || 28417 markings, 675004 edges, 13 markings/sec, 1990 secs
lola: 1 tries, 31876 fired transitions, 1995 secs || 28481 markings, 676199 edges, 13 markings/sec, 1995 secs
lola: 1 tries, 31957 fired transitions, 2000 secs || 28568 markings, 679030 edges, 17 markings/sec, 2000 secs
lola: 1 tries, 32038 fired transitions, 2005 secs || 28667 markings, 680999 edges, 20 markings/sec, 2005 secs
lola: 1 tries, 32122 fired transitions, 2010 secs || 28763 markings, 683033 edges, 19 markings/sec, 2010 secs
lola: 1 tries, 32208 fired transitions, 2015 secs || 28866 markings, 686066 edges, 21 markings/sec, 2015 secs
lola: 1 tries, 32289 fired transitions, 2020 secs || 28952 markings, 688411 edges, 17 markings/sec, 2020 secs
lola: 1 tries, 32375 fired transitions, 2025 secs || 29087 markings, 690985 edges, 27 markings/sec, 2025 secs
lola: 1 tries, 32451 fired transitions, 2030 secs || 29147 markings, 692308 edges, 12 markings/sec, 2030 secs
lola: 1 tries, 32534 fired transitions, 2035 secs || 29218 markings, 693586 edges, 14 markings/sec, 2035 secs
lola: 1 tries, 32612 fired transitions, 2040 secs || 29297 markings, 695227 edges, 16 markings/sec, 2040 secs
lola: 1 tries, 32690 fired transitions, 2045 secs || 29380 markings, 696733 edges, 17 markings/sec, 2045 secs
lola: 1 tries, 32771 fired transitions, 2050 secs || 29474 markings, 698432 edges, 19 markings/sec, 2050 secs
lola: 1 tries, 32846 fired transitions, 2055 secs || 29521 markings, 700080 edges, 9 markings/sec, 2055 secs
lola: 1 tries, 32926 fired transitions, 2060 secs || 29577 markings, 701007 edges, 11 markings/sec, 2060 secs
lola: 1 tries, 33001 fired transitions, 2065 secs || 29620 markings, 701896 edges, 9 markings/sec, 2065 secs
lola: 1 tries, 33084 fired transitions, 2070 secs || 29684 markings, 703034 edges, 13 markings/sec, 2070 secs
lola: 1 tries, 33165 fired transitions, 2075 secs || 29771 markings, 704461 edges, 17 markings/sec, 2075 secs
lola: 1 tries, 33245 fired transitions, 2080 secs || 29840 markings, 705523 edges, 14 markings/sec, 2080 secs
lola: 1 tries, 33331 fired transitions, 2085 secs || 29937 markings, 708046 edges, 19 markings/sec, 2085 secs
lola: 1 tries, 33413 fired transitions, 2090 secs || 30046 markings, 710271 edges, 22 markings/sec, 2090 secs
lola: 1 tries, 33491 fired transitions, 2095 secs || 30122 markings, 711999 edges, 15 markings/sec, 2095 secs
lola: 1 tries, 33572 fired transitions, 2100 secs || 30189 markings, 713811 edges, 13 markings/sec, 2100 secs
lola: 1 tries, 33651 fired transitions, 2105 secs || 30264 markings, 715767 edges, 15 markings/sec, 2105 secs
lola: 1 tries, 33731 fired transitions, 2110 secs || 30344 markings, 719452 edges, 16 markings/sec, 2110 secs
lola: 1 tries, 33813 fired transitions, 2115 secs || 30415 markings, 721472 edges, 14 markings/sec, 2115 secs
lola: 1 tries, 33892 fired transitions, 2120 secs || 30483 markings, 723173 edges, 14 markings/sec, 2120 secs
lola: 1 tries, 33974 fired transitions, 2125 secs || 30578 markings, 725127 edges, 19 markings/sec, 2125 secs
lola: 1 tries, 34053 fired transitions, 2130 secs || 30652 markings, 726909 edges, 15 markings/sec, 2130 secs
lola: 1 tries, 34136 fired transitions, 2135 secs || 30712 markings, 727868 edges, 12 markings/sec, 2135 secs
lola: 1 tries, 34214 fired transitions, 2140 secs || 30776 markings, 729178 edges, 13 markings/sec, 2140 secs
lola: 1 tries, 34292 fired transitions, 2145 secs || 30840 markings, 730372 edges, 13 markings/sec, 2145 secs
lola: 1 tries, 34368 fired transitions, 2150 secs || 30880 markings, 731648 edges, 8 markings/sec, 2150 secs
lola: 1 tries, 34451 fired transitions, 2155 secs || 30944 markings, 733299 edges, 13 markings/sec, 2155 secs
lola: 1 tries, 34528 fired transitions, 2160 secs || 31001 markings, 735061 edges, 11 markings/sec, 2160 secs
lola: 1 tries, 34608 fired transitions, 2165 secs || 31085 markings, 736579 edges, 17 markings/sec, 2165 secs
lola: 1 tries, 34687 fired transitions, 2170 secs || 31157 markings, 737695 edges, 14 markings/sec, 2170 secs
lola: 1 tries, 34769 fired transitions, 2175 secs || 31258 markings, 741074 edges, 20 markings/sec, 2175 secs
lola: 1 tries, 34857 fired transitions, 2180 secs || 31376 markings, 743615 edges, 24 markings/sec, 2180 secs
lola: 1 tries, 34936 fired transitions, 2185 secs || 31457 markings, 744991 edges, 16 markings/sec, 2185 secs
lola: 1 tries, 35014 fired transitions, 2190 secs || 31535 markings, 746607 edges, 16 markings/sec, 2190 secs
lola: 1 tries, 35090 fired transitions, 2195 secs || 31602 markings, 748014 edges, 13 markings/sec, 2195 secs
lola: 1 tries, 35169 fired transitions, 2200 secs || 31685 markings, 749265 edges, 17 markings/sec, 2200 secs
lola: 1 tries, 35246 fired transitions, 2205 secs || 31751 markings, 750897 edges, 13 markings/sec, 2205 secs
lola: 1 tries, 35321 fired transitions, 2210 secs || 31807 markings, 752221 edges, 11 markings/sec, 2210 secs
lola: 1 tries, 35401 fired transitions, 2215 secs || 31871 markings, 753767 edges, 13 markings/sec, 2215 secs
lola: 1 tries, 35480 fired transitions, 2220 secs || 31941 markings, 754950 edges, 14 markings/sec, 2220 secs
lola: 1 tries, 35555 fired transitions, 2225 secs || 32009 markings, 756595 edges, 14 markings/sec, 2225 secs
lola: 1 tries, 35632 fired transitions, 2230 secs || 32075 markings, 758016 edges, 13 markings/sec, 2230 secs
lola: 1 tries, 35709 fired transitions, 2235 secs || 32134 markings, 759102 edges, 12 markings/sec, 2235 secs
lola: 1 tries, 35787 fired transitions, 2240 secs || 32223 markings, 762026 edges, 18 markings/sec, 2240 secs
lola: 1 tries, 35863 fired transitions, 2245 secs || 32293 markings, 763096 edges, 14 markings/sec, 2245 secs
lola: 1 tries, 35940 fired transitions, 2250 secs || 32381 markings, 764720 edges, 18 markings/sec, 2250 secs
lola: 1 tries, 36019 fired transitions, 2255 secs || 32451 markings, 766307 edges, 14 markings/sec, 2255 secs
lola: 1 tries, 36094 fired transitions, 2260 secs || 32517 markings, 767824 edges, 13 markings/sec, 2260 secs
lola: 1 tries, 36168 fired transitions, 2265 secs || 32566 markings, 769366 edges, 10 markings/sec, 2265 secs
lola: 1 tries, 36248 fired transitions, 2270 secs || 32629 markings, 770942 edges, 13 markings/sec, 2270 secs
lola: 1 tries, 36322 fired transitions, 2275 secs || 32685 markings, 772928 edges, 11 markings/sec, 2275 secs
lola: 1 tries, 36400 fired transitions, 2280 secs || 32761 markings, 774292 edges, 15 markings/sec, 2280 secs
lola: 1 tries, 36479 fired transitions, 2285 secs || 32850 markings, 776142 edges, 18 markings/sec, 2285 secs
lola: 1 tries, 36559 fired transitions, 2290 secs || 32924 markings, 777792 edges, 15 markings/sec, 2290 secs
lola: 1 tries, 36641 fired transitions, 2295 secs || 33022 markings, 779986 edges, 20 markings/sec, 2295 secs
lola: 1 tries, 36721 fired transitions, 2300 secs || 33098 markings, 781358 edges, 15 markings/sec, 2300 secs
lola: 1 tries, 36800 fired transitions, 2305 secs || 33169 markings, 782609 edges, 14 markings/sec, 2305 secs
lola: 1 tries, 36878 fired transitions, 2310 secs || 33257 markings, 784939 edges, 18 markings/sec, 2310 secs
lola: 1 tries, 36954 fired transitions, 2315 secs || 33330 markings, 786417 edges, 15 markings/sec, 2315 secs
lola: 1 tries, 37033 fired transitions, 2320 secs || 33405 markings, 788302 edges, 15 markings/sec, 2320 secs
lola: 1 tries, 37106 fired transitions, 2325 secs || 33467 markings, 790368 edges, 12 markings/sec, 2325 secs
lola: 1 tries, 37184 fired transitions, 2330 secs || 33537 markings, 792153 edges, 14 markings/sec, 2330 secs
lola: 1 tries, 37265 fired transitions, 2335 secs || 33611 markings, 793568 edges, 15 markings/sec, 2335 secs
lola: 1 tries, 37343 fired transitions, 2340 secs || 33686 markings, 795701 edges, 15 markings/sec, 2340 secs
lola: 1 tries, 37417 fired transitions, 2345 secs || 33748 markings, 796787 edges, 12 markings/sec, 2345 secs
lola: 1 tries, 37497 fired transitions, 2350 secs || 33832 markings, 798949 edges, 17 markings/sec, 2350 secs
lola: 1 tries, 37575 fired transitions, 2355 secs || 33928 markings, 800303 edges, 19 markings/sec, 2355 secs
lola: 1 tries, 37654 fired transitions, 2360 secs || 34019 markings, 802253 edges, 18 markings/sec, 2360 secs
lola: 1 tries, 37729 fired transitions, 2365 secs || 34103 markings, 804679 edges, 17 markings/sec, 2365 secs
lola: 1 tries, 37805 fired transitions, 2370 secs || 34173 markings, 807453 edges, 14 markings/sec, 2370 secs
lola: 1 tries, 37882 fired transitions, 2375 secs || 34246 markings, 809785 edges, 15 markings/sec, 2375 secs
lola: 1 tries, 37961 fired transitions, 2380 secs || 34327 markings, 811911 edges, 16 markings/sec, 2380 secs
lola: 1 tries, 38038 fired transitions, 2385 secs || 34405 markings, 814229 edges, 16 markings/sec, 2385 secs
lola: 1 tries, 38116 fired transitions, 2390 secs || 34482 markings, 815671 edges, 15 markings/sec, 2390 secs
lola: 1 tries, 38190 fired transitions, 2395 secs || 34568 markings, 819007 edges, 17 markings/sec, 2395 secs
lola: 1 tries, 38268 fired transitions, 2400 secs || 34648 markings, 821514 edges, 16 markings/sec, 2400 secs
lola: 1 tries, 38346 fired transitions, 2405 secs || 34733 markings, 823538 edges, 17 markings/sec, 2405 secs
lola: 1 tries, 38420 fired transitions, 2410 secs || 34808 markings, 826714 edges, 15 markings/sec, 2410 secs
lola: 1 tries, 38498 fired transitions, 2415 secs || 34906 markings, 828897 edges, 20 markings/sec, 2415 secs
lola: 1 tries, 38572 fired transitions, 2420 secs || 34969 markings, 831317 edges, 13 markings/sec, 2420 secs
lola: 1 tries, 38650 fired transitions, 2425 secs || 35035 markings, 833933 edges, 13 markings/sec, 2425 secs
lola: 1 tries, 38723 fired transitions, 2430 secs || 35091 markings, 835057 edges, 11 markings/sec, 2430 secs
lola: 1 tries, 38803 fired transitions, 2435 secs || 35167 markings, 836637 edges, 15 markings/sec, 2435 secs
lola: 1 tries, 38880 fired transitions, 2440 secs || 35251 markings, 838465 edges, 17 markings/sec, 2440 secs
lola: 1 tries, 38958 fired transitions, 2445 secs || 35317 markings, 839729 edges, 13 markings/sec, 2445 secs
lola: 1 tries, 39039 fired transitions, 2450 secs || 35406 markings, 841517 edges, 18 markings/sec, 2450 secs
lola: 1 tries, 39117 fired transitions, 2455 secs || 35499 markings, 843517 edges, 19 markings/sec, 2455 secs
lola: 1 tries, 39199 fired transitions, 2460 secs || 35578 markings, 845215 edges, 16 markings/sec, 2460 secs
lola: 1 tries, 39279 fired transitions, 2465 secs || 35643 markings, 846538 edges, 13 markings/sec, 2465 secs
lola: 1 tries, 39361 fired transitions, 2470 secs || 35734 markings, 847879 edges, 18 markings/sec, 2470 secs
lola: 1 tries, 39441 fired transitions, 2475 secs || 35815 markings, 849582 edges, 16 markings/sec, 2475 secs
lola: 1 tries, 39517 fired transitions, 2480 secs || 35873 markings, 850530 edges, 12 markings/sec, 2480 secs
lola: 1 tries, 39594 fired transitions, 2485 secs || 35942 markings, 851933 edges, 14 markings/sec, 2485 secs
lola: 1 tries, 39673 fired transitions, 2490 secs || 36004 markings, 853112 edges, 12 markings/sec, 2490 secs
lola: 1 tries, 39759 fired transitions, 2495 secs || 36082 markings, 854586 edges, 16 markings/sec, 2495 secs
lola: 1 tries, 39839 fired transitions, 2500 secs || 36143 markings, 855730 edges, 12 markings/sec, 2500 secs
lola: 1 tries, 39917 fired transitions, 2505 secs || 36213 markings, 856859 edges, 14 markings/sec, 2505 secs
lola: 1 tries, 39996 fired transitions, 2510 secs || 36283 markings, 858543 edges, 14 markings/sec, 2510 secs
lola: 1 tries, 40078 fired transitions, 2515 secs || 36359 markings, 860142 edges, 15 markings/sec, 2515 secs
lola: 1 tries, 40154 fired transitions, 2520 secs || 36425 markings, 861839 edges, 13 markings/sec, 2520 secs
lola: 1 tries, 40234 fired transitions, 2525 secs || 36490 markings, 863091 edges, 13 markings/sec, 2525 secs
lola: 1 tries, 40309 fired transitions, 2530 secs || 36557 markings, 864951 edges, 13 markings/sec, 2530 secs
lola: 1 tries, 40390 fired transitions, 2535 secs || 36634 markings, 865971 edges, 15 markings/sec, 2535 secs
lola: 1 tries, 40466 fired transitions, 2540 secs || 36708 markings, 867565 edges, 15 markings/sec, 2540 secs
lola: 1 tries, 40540 fired transitions, 2545 secs || 36749 markings, 868805 edges, 8 markings/sec, 2545 secs
lola: 1 tries, 40614 fired transitions, 2550 secs || 36809 markings, 870585 edges, 12 markings/sec, 2550 secs
lola: 1 tries, 40692 fired transitions, 2555 secs || 36888 markings, 872072 edges, 16 markings/sec, 2555 secs
lola: 1 tries, 40772 fired transitions, 2560 secs || 37002 markings, 876028 edges, 23 markings/sec, 2560 secs
lola: 1 tries, 40850 fired transitions, 2565 secs || 37115 markings, 878807 edges, 23 markings/sec, 2565 secs
lola: 1 tries, 40931 fired transitions, 2570 secs || 37197 markings, 880413 edges, 16 markings/sec, 2570 secs
lola: 1 tries, 41008 fired transitions, 2575 secs || 37289 markings, 881738 edges, 18 markings/sec, 2575 secs
lola: 1 tries, 41086 fired transitions, 2580 secs || 37364 markings, 883873 edges, 15 markings/sec, 2580 secs
lola: 1 tries, 41162 fired transitions, 2585 secs || 37427 markings, 884934 edges, 13 markings/sec, 2585 secs
lola: 1 tries, 41240 fired transitions, 2590 secs || 37475 markings, 886073 edges, 10 markings/sec, 2590 secs
lola: 1 tries, 41324 fired transitions, 2595 secs || 37557 markings, 887449 edges, 16 markings/sec, 2595 secs
lola: 1 tries, 41399 fired transitions, 2600 secs || 37605 markings, 888705 edges, 10 markings/sec, 2600 secs
lola: 1 tries, 41474 fired transitions, 2605 secs || 37650 markings, 890287 edges, 9 markings/sec, 2605 secs
lola: 1 tries, 41556 fired transitions, 2610 secs || 37742 markings, 892561 edges, 18 markings/sec, 2610 secs
lola: 1 tries, 41641 fired transitions, 2615 secs || 37832 markings, 893963 edges, 18 markings/sec, 2615 secs
lola: 1 tries, 41721 fired transitions, 2620 secs || 37905 markings, 895666 edges, 15 markings/sec, 2620 secs
lola: 1 tries, 41803 fired transitions, 2625 secs || 37993 markings, 897390 edges, 18 markings/sec, 2625 secs
lola: 1 tries, 41881 fired transitions, 2630 secs || 38063 markings, 898748 edges, 14 markings/sec, 2630 secs
lola: 1 tries, 41961 fired transitions, 2635 secs || 38132 markings, 900430 edges, 14 markings/sec, 2635 secs
lola: 1 tries, 42042 fired transitions, 2640 secs || 38221 markings, 902642 edges, 18 markings/sec, 2640 secs
lola: 1 tries, 42120 fired transitions, 2645 secs || 38291 markings, 904194 edges, 14 markings/sec, 2645 secs
lola: 1 tries, 42198 fired transitions, 2650 secs || 38379 markings, 905946 edges, 18 markings/sec, 2650 secs
lola: 1 tries, 42276 fired transitions, 2655 secs || 38439 markings, 907614 edges, 12 markings/sec, 2655 secs
lola: 1 tries, 42348 fired transitions, 2660 secs || 38484 markings, 909496 edges, 9 markings/sec, 2660 secs
lola: 1 tries, 42423 fired transitions, 2665 secs || 38541 markings, 913459 edges, 11 markings/sec, 2665 secs
lola: 1 tries, 42497 fired transitions, 2670 secs || 38607 markings, 915378 edges, 13 markings/sec, 2670 secs
lola: 1 tries, 42579 fired transitions, 2675 secs || 38684 markings, 917054 edges, 15 markings/sec, 2675 secs
lola: 1 tries, 42656 fired transitions, 2680 secs || 38753 markings, 918944 edges, 14 markings/sec, 2680 secs
lola: 1 tries, 42734 fired transitions, 2685 secs || 38836 markings, 920451 edges, 17 markings/sec, 2685 secs
lola: 1 tries, 42811 fired transitions, 2690 secs || 38914 markings, 921911 edges, 16 markings/sec, 2690 secs
lola: 1 tries, 42887 fired transitions, 2695 secs || 38988 markings, 923386 edges, 15 markings/sec, 2695 secs
lola: 1 tries, 42960 fired transitions, 2700 secs || 39059 markings, 925276 edges, 14 markings/sec, 2700 secs
lola: 1 tries, 43035 fired transitions, 2705 secs || 39122 markings, 926682 edges, 13 markings/sec, 2705 secs
lola: 1 tries, 43112 fired transitions, 2710 secs || 39206 markings, 928458 edges, 17 markings/sec, 2710 secs
lola: 1 tries, 43189 fired transitions, 2715 secs || 39277 markings, 929620 edges, 14 markings/sec, 2715 secs
lola: 1 tries, 43263 fired transitions, 2720 secs || 39339 markings, 930878 edges, 12 markings/sec, 2720 secs
lola: 1 tries, 43342 fired transitions, 2725 secs || 39421 markings, 932311 edges, 16 markings/sec, 2725 secs
lola: 1 tries, 43416 fired transitions, 2730 secs || 39477 markings, 933762 edges, 11 markings/sec, 2730 secs
lola: 1 tries, 43494 fired transitions, 2735 secs || 39562 markings, 935969 edges, 17 markings/sec, 2735 secs
lola: 1 tries, 43566 fired transitions, 2740 secs || 39622 markings, 939852 edges, 12 markings/sec, 2740 secs
lola: 1 tries, 43643 fired transitions, 2745 secs || 39688 markings, 941791 edges, 13 markings/sec, 2745 secs
lola: 1 tries, 43720 fired transitions, 2750 secs || 39769 markings, 943640 edges, 16 markings/sec, 2750 secs
lola: 1 tries, 43797 fired transitions, 2755 secs || 39845 markings, 945595 edges, 15 markings/sec, 2755 secs
lola: 1 tries, 43871 fired transitions, 2760 secs || 39930 markings, 947424 edges, 17 markings/sec, 2760 secs
lola: 1 tries, 43953 fired transitions, 2765 secs || 40031 markings, 949428 edges, 20 markings/sec, 2765 secs
lola: 1 tries, 44033 fired transitions, 2770 secs || 40105 markings, 950895 edges, 15 markings/sec, 2770 secs
lola: 1 tries, 44108 fired transitions, 2775 secs || 40157 markings, 952411 edges, 10 markings/sec, 2775 secs
lola: 1 tries, 44189 fired transitions, 2780 secs || 40238 markings, 954447 edges, 16 markings/sec, 2780 secs
lola: 1 tries, 44265 fired transitions, 2785 secs || 40324 markings, 956070 edges, 17 markings/sec, 2785 secs
lola: 1 tries, 44341 fired transitions, 2790 secs || 40411 markings, 958978 edges, 17 markings/sec, 2790 secs
lola: 1 tries, 44414 fired transitions, 2795 secs || 40490 markings, 961324 edges, 16 markings/sec, 2795 secs
lola: 1 tries, 44487 fired transitions, 2800 secs || 40554 markings, 965802 edges, 13 markings/sec, 2800 secs
lola: 1 tries, 44559 fired transitions, 2805 secs || 40604 markings, 969680 edges, 10 markings/sec, 2805 secs
lola: 1 tries, 44638 fired transitions, 2810 secs || 40705 markings, 972525 edges, 20 markings/sec, 2810 secs
lola: 1 tries, 44714 fired transitions, 2815 secs || 40799 markings, 974870 edges, 19 markings/sec, 2815 secs
lola: 1 tries, 44793 fired transitions, 2820 secs || 40883 markings, 979587 edges, 17 markings/sec, 2820 secs
lola: 1 tries, 44876 fired transitions, 2825 secs || 40992 markings, 982513 edges, 22 markings/sec, 2825 secs
lola: 1 tries, 44957 fired transitions, 2830 secs || 41115 markings, 986109 edges, 25 markings/sec, 2830 secs
lola: 1 tries, 45037 fired transitions, 2835 secs || 41213 markings, 987945 edges, 20 markings/sec, 2835 secs
lola: 1 tries, 45116 fired transitions, 2840 secs || 41295 markings, 989646 edges, 16 markings/sec, 2840 secs
lola: 1 tries, 45192 fired transitions, 2845 secs || 41361 markings, 991372 edges, 13 markings/sec, 2845 secs
lola: 1 tries, 45269 fired transitions, 2850 secs || 41436 markings, 992982 edges, 15 markings/sec, 2850 secs
lola: 1 tries, 45339 fired transitions, 2855 secs || 41477 markings, 994709 edges, 8 markings/sec, 2855 secs
lola: 1 tries, 45419 fired transitions, 2860 secs || 41546 markings, 996611 edges, 14 markings/sec, 2860 secs
lola: 1 tries, 45495 fired transitions, 2865 secs || 41612 markings, 998836 edges, 13 markings/sec, 2865 secs
lola: 1 tries, 45567 fired transitions, 2870 secs || 41660 markings, 1002361 edges, 10 markings/sec, 2870 secs
lola: 1 tries, 45646 fired transitions, 2875 secs || 41752 markings, 1005351 edges, 18 markings/sec, 2875 secs
lola: 1 tries, 45722 fired transitions, 2880 secs || 41825 markings, 1007477 edges, 15 markings/sec, 2880 secs
lola: 1 tries, 45799 fired transitions, 2885 secs || 41914 markings, 1009751 edges, 18 markings/sec, 2885 secs
lola: 1 tries, 45874 fired transitions, 2890 secs || 41998 markings, 1012027 edges, 17 markings/sec, 2890 secs
lola: 1 tries, 45954 fired transitions, 2895 secs || 42101 markings, 1015124 edges, 21 markings/sec, 2895 secs
lola: 1 tries, 46034 fired transitions, 2900 secs || 42230 markings, 1018262 edges, 26 markings/sec, 2900 secs
lola: 1 tries, 46114 fired transitions, 2905 secs || 42320 markings, 1020733 edges, 18 markings/sec, 2905 secs
lola: 1 tries, 46197 fired transitions, 2910 secs || 42433 markings, 1024175 edges, 23 markings/sec, 2910 secs
lola: 1 tries, 46280 fired transitions, 2915 secs || 42542 markings, 1028660 edges, 22 markings/sec, 2915 secs
lola: 1 tries, 46359 fired transitions, 2920 secs || 42637 markings, 1032373 edges, 19 markings/sec, 2920 secs
lola: 1 tries, 46435 fired transitions, 2925 secs || 42716 markings, 1033499 edges, 16 markings/sec, 2925 secs
lola: 1 tries, 46510 fired transitions, 2930 secs || 42772 markings, 1034959 edges, 11 markings/sec, 2930 secs
lola: 1 tries, 46591 fired transitions, 2935 secs || 42842 markings, 1036701 edges, 14 markings/sec, 2935 secs
lola: 1 tries, 46670 fired transitions, 2940 secs || 42910 markings, 1038429 edges, 14 markings/sec, 2940 secs
lola: 1 tries, 46749 fired transitions, 2945 secs || 43000 markings, 1040289 edges, 18 markings/sec, 2945 secs
lola: 1 tries, 46828 fired transitions, 2950 secs || 43084 markings, 1041670 edges, 17 markings/sec, 2950 secs
lola: 1 tries, 46904 fired transitions, 2955 secs || 43182 markings, 1043693 edges, 20 markings/sec, 2955 secs
lola: 1 tries, 46980 fired transitions, 2960 secs || 43251 markings, 1045874 edges, 14 markings/sec, 2960 secs
lola: 1 tries, 47058 fired transitions, 2965 secs || 43329 markings, 1048652 edges, 16 markings/sec, 2965 secs
lola: 1 tries, 47130 fired transitions, 2970 secs || 43390 markings, 1051517 edges, 12 markings/sec, 2970 secs
lola: 1 tries, 47203 fired transitions, 2975 secs || 43456 markings, 1057001 edges, 13 markings/sec, 2975 secs
lola: 1 tries, 47280 fired transitions, 2980 secs || 43563 markings, 1059752 edges, 21 markings/sec, 2980 secs
lola: 1 tries, 47353 fired transitions, 2985 secs || 43622 markings, 1062519 edges, 12 markings/sec, 2985 secs
lola: 1 tries, 47426 fired transitions, 2990 secs || 43684 markings, 1065153 edges, 12 markings/sec, 2990 secs
lola: 1 tries, 47503 fired transitions, 2995 secs || 43763 markings, 1068138 edges, 16 markings/sec, 2995 secs
lola: 1 tries, 47581 fired transitions, 3000 secs || 43857 markings, 1070714 edges, 19 markings/sec, 3000 secs
lola: 1 tries, 47659 fired transitions, 3005 secs || 43947 markings, 1072608 edges, 18 markings/sec, 3005 secs
lola: 1 tries, 47732 fired transitions, 3010 secs || 43999 markings, 1075302 edges, 10 markings/sec, 3010 secs
lola: 1 tries, 47804 fired transitions, 3015 secs || 44070 markings, 1077329 edges, 14 markings/sec, 3015 secs
lola: 1 tries, 47882 fired transitions, 3020 secs || 44136 markings, 1078750 edges, 13 markings/sec, 3020 secs
lola: 1 tries, 47962 fired transitions, 3025 secs || 44225 markings, 1080155 edges, 18 markings/sec, 3025 secs
lola: 1 tries, 48040 fired transitions, 3030 secs || 44303 markings, 1081342 edges, 16 markings/sec, 3030 secs
lola: 1 tries, 48117 fired transitions, 3035 secs || 44384 markings, 1082869 edges, 16 markings/sec, 3035 secs
lola: 1 tries, 48195 fired transitions, 3040 secs || 44458 markings, 1084276 edges, 15 markings/sec, 3040 secs
lola: 1 tries, 48273 fired transitions, 3045 secs || 44523 markings, 1085331 edges, 13 markings/sec, 3045 secs
lola: 1 tries, 48355 fired transitions, 3050 secs || 44620 markings, 1087380 edges, 19 markings/sec, 3050 secs
lola: 1 tries, 48435 fired transitions, 3055 secs || 44687 markings, 1088575 edges, 13 markings/sec, 3055 secs
lola: 1 tries, 48512 fired transitions, 3060 secs || 44762 markings, 1089970 edges, 15 markings/sec, 3060 secs
lola: 1 tries, 48589 fired transitions, 3065 secs || 44840 markings, 1091596 edges, 16 markings/sec, 3065 secs
lola: 1 tries, 48670 fired transitions, 3070 secs || 44928 markings, 1093249 edges, 18 markings/sec, 3070 secs
lola: 1 tries, 48752 fired transitions, 3075 secs || 45026 markings, 1095795 edges, 20 markings/sec, 3075 secs
lola: 1 tries, 48827 fired transitions, 3080 secs || 45107 markings, 1098840 edges, 16 markings/sec, 3080 secs
lola: 1 tries, 48902 fired transitions, 3085 secs || 45180 markings, 1101398 edges, 15 markings/sec, 3085 secs
lola: 1 tries, 48980 fired transitions, 3090 secs || 45245 markings, 1102978 edges, 13 markings/sec, 3090 secs
lola: 1 tries, 49058 fired transitions, 3095 secs || 45317 markings, 1104627 edges, 14 markings/sec, 3095 secs
lola: 1 tries, 49137 fired transitions, 3100 secs || 45414 markings, 1106391 edges, 19 markings/sec, 3100 secs
lola: 1 tries, 49215 fired transitions, 3105 secs || 45496 markings, 1108192 edges, 16 markings/sec, 3105 secs
lola: 1 tries, 49290 fired transitions, 3110 secs || 45561 markings, 1109656 edges, 13 markings/sec, 3110 secs
lola: 1 tries, 49367 fired transitions, 3115 secs || 45646 markings, 1111510 edges, 17 markings/sec, 3115 secs
lola: 1 tries, 49439 fired transitions, 3120 secs || 45705 markings, 1112846 edges, 12 markings/sec, 3120 secs
lola: 1 tries, 49517 fired transitions, 3125 secs || 45773 markings, 1114759 edges, 14 markings/sec, 3125 secs
lola: 1 tries, 49594 fired transitions, 3130 secs || 45844 markings, 1116098 edges, 14 markings/sec, 3130 secs
lola: 1 tries, 49670 fired transitions, 3135 secs || 45920 markings, 1118150 edges, 15 markings/sec, 3135 secs
lola: 1 tries, 49745 fired transitions, 3140 secs || 45991 markings, 1119633 edges, 14 markings/sec, 3140 secs
lola: 1 tries, 49823 fired transitions, 3145 secs || 46062 markings, 1121119 edges, 14 markings/sec, 3145 secs
lola: 1 tries, 49899 fired transitions, 3150 secs || 46109 markings, 1122193 edges, 9 markings/sec, 3150 secs
lola: 1 tries, 49977 fired transitions, 3155 secs || 46174 markings, 1124009 edges, 13 markings/sec, 3155 secs
lola: 1 tries, 50056 fired transitions, 3160 secs || 46242 markings, 1125308 edges, 14 markings/sec, 3160 secs
lola: 1 tries, 50133 fired transitions, 3165 secs || 46306 markings, 1126280 edges, 13 markings/sec, 3165 secs
lola: 1 tries, 50213 fired transitions, 3170 secs || 46381 markings, 1127406 edges, 15 markings/sec, 3170 secs
lola: 1 tries, 50293 fired transitions, 3175 secs || 46455 markings, 1128923 edges, 15 markings/sec, 3175 secs
lola: 1 tries, 50373 fired transitions, 3180 secs || 46538 markings, 1131000 edges, 17 markings/sec, 3180 secs
lola: 1 tries, 50450 fired transitions, 3185 secs || 46615 markings, 1132425 edges, 15 markings/sec, 3185 secs
lola: 1 tries, 50526 fired transitions, 3190 secs || 46723 markings, 1135414 edges, 22 markings/sec, 3190 secs
lola: 1 tries, 50602 fired transitions, 3195 secs || 46801 markings, 1137480 edges, 16 markings/sec, 3195 secs
lola: 1 tries, 50681 fired transitions, 3200 secs || 46870 markings, 1138597 edges, 14 markings/sec, 3200 secs
lola: 1 tries, 50765 fired transitions, 3205 secs || 46966 markings, 1140855 edges, 19 markings/sec, 3205 secs
lola: 1 tries, 50852 fired transitions, 3210 secs || 47087 markings, 1144884 edges, 24 markings/sec, 3210 secs
lola: 1 tries, 50931 fired transitions, 3215 secs || 47171 markings, 1147837 edges, 17 markings/sec, 3215 secs
lola: 1 tries, 51013 fired transitions, 3220 secs || 47285 markings, 1151176 edges, 23 markings/sec, 3220 secs
lola: 1 tries, 51096 fired transitions, 3225 secs || 47385 markings, 1153961 edges, 20 markings/sec, 3225 secs
lola: 1 tries, 51182 fired transitions, 3230 secs || 47501 markings, 1158539 edges, 23 markings/sec, 3230 secs
lola: 1 tries, 51264 fired transitions, 3235 secs || 47618 markings, 1161211 edges, 23 markings/sec, 3235 secs
lola: 1 tries, 51345 fired transitions, 3240 secs || 47710 markings, 1163141 edges, 18 markings/sec, 3240 secs
lola: 1 tries, 51425 fired transitions, 3245 secs || 47790 markings, 1165883 edges, 16 markings/sec, 3245 secs
lola: 1 tries, 51503 fired transitions, 3250 secs || 47853 markings, 1166852 edges, 13 markings/sec, 3250 secs
lola: 1 tries, 51579 fired transitions, 3255 secs || 47908 markings, 1167903 edges, 11 markings/sec, 3255 secs
lola: 1 tries, 51655 fired transitions, 3260 secs || 47964 markings, 1168806 edges, 11 markings/sec, 3260 secs
lola: 1 tries, 51736 fired transitions, 3265 secs || 48047 markings, 1170364 edges, 17 markings/sec, 3265 secs
lola: 1 tries, 51809 fired transitions, 3270 secs || 48095 markings, 1171712 edges, 10 markings/sec, 3270 secs
lola: 1 tries, 51888 fired transitions, 3275 secs || 48178 markings, 1173614 edges, 17 markings/sec, 3275 secs
lola: 1 tries, 51967 fired transitions, 3280 secs || 48250 markings, 1175107 edges, 14 markings/sec, 3280 secs
lola: 1 tries, 52047 fired transitions, 3285 secs || 48328 markings, 1176404 edges, 16 markings/sec, 3285 secs
lola: 1 tries, 52127 fired transitions, 3290 secs || 48401 markings, 1177669 edges, 15 markings/sec, 3290 secs
lola: 1 tries, 52205 fired transitions, 3295 secs || 48458 markings, 1178767 edges, 11 markings/sec, 3295 secs
lola: 1 tries, 52285 fired transitions, 3300 secs || 48529 markings, 1179793 edges, 14 markings/sec, 3300 secs
lola: 1 tries, 52361 fired transitions, 3305 secs || 48594 markings, 1180737 edges, 13 markings/sec, 3305 secs
lola: 1 tries, 52436 fired transitions, 3310 secs || 48646 markings, 1182325 edges, 10 markings/sec, 3310 secs
lola: 1 tries, 52516 fired transitions, 3315 secs || 48702 markings, 1183582 edges, 11 markings/sec, 3315 secs
lola: 1 tries, 52592 fired transitions, 3320 secs || 48757 markings, 1184618 edges, 11 markings/sec, 3320 secs
lola: 1 tries, 52669 fired transitions, 3325 secs || 48833 markings, 1186208 edges, 15 markings/sec, 3325 secs
lola: 1 tries, 52747 fired transitions, 3330 secs || 48908 markings, 1187538 edges, 15 markings/sec, 3330 secs
lola: 1 tries, 52825 fired transitions, 3335 secs || 48965 markings, 1189256 edges, 11 markings/sec, 3335 secs
lola: 1 tries, 52905 fired transitions, 3340 secs || 49034 markings, 1190855 edges, 14 markings/sec, 3340 secs
lola: 1 tries, 52989 fired transitions, 3345 secs || 49121 markings, 1192903 edges, 17 markings/sec, 3345 secs
lola: 1 tries, 53067 fired transitions, 3350 secs || 49199 markings, 1194677 edges, 16 markings/sec, 3350 secs
lola: 1 tries, 53143 fired transitions, 3355 secs || 49274 markings, 1197662 edges, 15 markings/sec, 3355 secs
lola: 1 tries, 53221 fired transitions, 3360 secs || 49356 markings, 1199397 edges, 16 markings/sec, 3360 secs
lola: 1 tries, 53303 fired transitions, 3365 secs || 49480 markings, 1201580 edges, 25 markings/sec, 3365 secs
lola: 1 tries, 53386 fired transitions, 3370 secs || 49588 markings, 1204561 edges, 22 markings/sec, 3370 secs
lola: 1 tries, 53467 fired transitions, 3375 secs || 49705 markings, 1207590 edges, 23 markings/sec, 3375 secs
lola: 1 tries, 53545 fired transitions, 3380 secs || 49799 markings, 1211493 edges, 19 markings/sec, 3380 secs
lola: 1 tries, 53631 fired transitions, 3385 secs || 49891 markings, 1215764 edges, 18 markings/sec, 3385 secs
lola: 1 tries, 53712 fired transitions, 3390 secs || 49984 markings, 1218046 edges, 19 markings/sec, 3390 secs
lola: 1 tries, 53794 fired transitions, 3395 secs || 50064 markings, 1219828 edges, 16 markings/sec, 3395 secs
lola: 1 tries, 53872 fired transitions, 3400 secs || 50143 markings, 1221642 edges, 16 markings/sec, 3400 secs
lola: 1 tries, 53946 fired transitions, 3405 secs || 50195 markings, 1223778 edges, 10 markings/sec, 3405 secs
lola: 1 tries, 54025 fired transitions, 3410 secs || 50289 markings, 1226082 edges, 19 markings/sec, 3410 secs
lola: 1 tries, 54094 fired transitions, 3415 secs || 50321 markings, 1227574 edges, 6 markings/sec, 3415 secs
lola: 1 tries, 54173 fired transitions, 3420 secs || 50373 markings, 1228693 edges, 10 markings/sec, 3420 secs
lola: 1 tries, 54249 fired transitions, 3425 secs || 50429 markings, 1230218 edges, 11 markings/sec, 3425 secs
lola: 1 tries, 54324 fired transitions, 3430 secs || 50484 markings, 1231499 edges, 11 markings/sec, 3430 secs
lola: 1 tries, 54401 fired transitions, 3435 secs || 50555 markings, 1232515 edges, 14 markings/sec, 3435 secs
lola: 1 tries, 54477 fired transitions, 3440 secs || 50623 markings, 1234215 edges, 14 markings/sec, 3440 secs
lola: 1 tries, 54559 fired transitions, 3445 secs || 50720 markings, 1236813 edges, 19 markings/sec, 3445 secs
lola: 1 tries, 54635 fired transitions, 3450 secs || 50783 markings, 1238209 edges, 13 markings/sec, 3450 secs
lola: 1 tries, 54718 fired transitions, 3455 secs || 50850 markings, 1239388 edges, 13 markings/sec, 3455 secs
lola: 1 tries, 54797 fired transitions, 3460 secs || 50932 markings, 1240560 edges, 16 markings/sec, 3460 secs
lola: 1 tries, 54873 fired transitions, 3465 secs || 51011 markings, 1242063 edges, 16 markings/sec, 3465 secs
lola: 1 tries, 54951 fired transitions, 3470 secs || 51086 markings, 1243455 edges, 15 markings/sec, 3470 secs
lola: 1 tries, 55029 fired transitions, 3475 secs || 51157 markings, 1244656 edges, 14 markings/sec, 3475 secs
lola: 1 tries, 55107 fired transitions, 3480 secs || 51218 markings, 1245907 edges, 12 markings/sec, 3480 secs
lola: 1 tries, 55184 fired transitions, 3485 secs || 51275 markings, 1247109 edges, 11 markings/sec, 3485 secs
lola: 1 tries, 55263 fired transitions, 3490 secs || 51347 markings, 1248754 edges, 14 markings/sec, 3490 secs
lola: 1 tries, 55340 fired transitions, 3495 secs || 51398 markings, 1249630 edges, 10 markings/sec, 3495 secs
lola: 1 tries, 55420 fired transitions, 3500 secs || 51468 markings, 1250828 edges, 14 markings/sec, 3500 secs
lola: 1 tries, 55498 fired transitions, 3505 secs || 51535 markings, 1251979 edges, 13 markings/sec, 3505 secs
lola: 1 tries, 55576 fired transitions, 3510 secs || 51606 markings, 1254073 edges, 14 markings/sec, 3510 secs
lola: 1 tries, 55654 fired transitions, 3515 secs || 51668 markings, 1255095 edges, 12 markings/sec, 3515 secs
lola: 1 tries, 55728 fired transitions, 3520 secs || 51730 markings, 1256623 edges, 12 markings/sec, 3520 secs
lola: 1 tries, 55814 fired transitions, 3525 secs || 51851 markings, 1260011 edges, 24 markings/sec, 3525 secs
lola: 1 tries, 55898 fired transitions, 3530 secs || 51968 markings, 1262986 edges, 23 markings/sec, 3530 secs
lola: 1 tries, 55977 fired transitions, 3535 secs || 52042 markings, 1264162 edges, 15 markings/sec, 3535 secs
lola: 1 tries, 56055 fired transitions, 3540 secs || 52101 markings, 1265237 edges, 12 markings/sec, 3540 secs
lola: 1 tries, 56134 fired transitions, 3545 secs || 52146 markings, 1266296 edges, 9 markings/sec, 3545 secs
lola: 1 tries, 56214 fired transitions, 3550 secs || 52244 markings, 1268879 edges, 20 markings/sec, 3550 secs
lola: 1 tries, 56291 fired transitions, 3555 secs || 52288 markings, 1269540 edges, 9 markings/sec, 3555 secs
lola: time limit reached - aborting
lola: memory consumption: 259160 KB
lola: time consumption: 3570 seconds
lola: print data as JSON (--json)
lola: writing JSON to GlobalProperties.json
lola: closed JSON file GlobalProperties.json
rslt: finished

BK_STOP 1552465349708

--------------------
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="ARMCacheCoherence-PT-none"
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-3957"
echo " Executing tool lola"
echo " Input is ARMCacheCoherence-PT-none, 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 r005-smll-155225008800003"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/ARMCacheCoherence-PT-none.tgz
mv ARMCacheCoherence-PT-none execution
cd execution
if [ "GlobalProperties" = "GlobalProperties" ] ; then
rm -f GenericPropertiesVerdict.xml
fi
if [ "GlobalProperties" = "UpperBounds" ] ; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh

echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "GlobalProperties" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "GlobalProperties" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "GlobalProperties.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property GlobalProperties.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "GlobalProperties.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '' GlobalProperties.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;