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

About the Execution of LoLA for Diffusion2D-PT-D10N150

Execution Summary
Max Memory
Used (MB)
Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
5799.340 3570964.00 7239692.00 785.30 [undef] Cannot compute

Execution Chart

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

Trace from the execution

Formatting '/mnt/tpsp/fkordon/mcc2019-input.r060-ebro-155234654600102.qcow2', fmt=qcow2 size=4294967296 backing_file='/mnt/tpsp/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-3954
Executing tool lola
Input is Diffusion2D-PT-D10N150, examination is GlobalProperties
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r060-ebro-155234654600102
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 420K
-rw-r--r-- 1 mcc users 3.7K Feb 10 21:32 CTLCardinality.txt
-rw-r--r-- 1 mcc users 18K Feb 10 21:32 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.7K Feb 6 17:53 CTLFireability.txt
-rw-r--r-- 1 mcc users 15K Feb 6 17:53 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 10 17:31 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 109 Feb 24 15:05 GlobalProperties.txt
-rw-r--r-- 1 mcc users 347 Feb 24 15:05 GlobalProperties.xml
-rw-r--r-- 1 mcc users 2.8K Feb 4 23:30 LTLCardinality.txt
-rw-r--r-- 1 mcc users 12K Feb 4 23:30 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.0K Feb 4 22:34 LTLFireability.txt
-rw-r--r-- 1 mcc users 8.1K Feb 4 22:34 LTLFireability.xml
-rw-r--r-- 1 mcc users 4.6K Feb 3 07:21 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 22K Feb 3 07:21 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 3.3K Jan 30 23:45 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 17K Jan 30 23:45 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.8K Feb 4 22:19 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Feb 4 22:19 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Jan 29 09:34 equiv_col

-rw-r--r-- 1 mcc users 8 Jan 29 09:34 instance
-rw-r--r-- 1 mcc users 6 Jan 29 09:34 iscolored
-rw-r--r-- 1 mcc users 255K 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 Diffusion2D-PT-D10N150-GlobalProperties-0

=== Now, execution of the tool begins

BK_START 1552561719035

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

{
"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": "Thu Mar 14 11:08:39 2019
",
"timelimit": 3570
},
"child": null,
"exit":
{
"error": null,
"memory": 5722416,
"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": 1368,
"conflict_clusters": 100,
"places": 100,
"places_significant": 99,
"singleton_clusters": 0,
"transitions": 684
},
"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": 2.000000,
"composed": 0,
"dead_branches": 0,
"generators": 1,
"interrupted": false,
"real_computed": 1,
"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: 784/268435456 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 3200
lola: finding significant places
lola: 100 places, 684 transitions, 99 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 1 generators (1 in search tree, 0 by composition)
lola: representing 2 symmetries
lola: 0 dead branches visited in search tree
lola: 3 tries, 2853677 fired transitions, 0 secs || 247058 markings, 1660355 edges, 49412 markings/sec, 0 secs
lola: 6 tries, 5706609 fired transitions, 5 secs || 480123 markings, 3234936 edges, 46613 markings/sec, 5 secs
lola: 9 tries, 8597046 fired transitions, 10 secs || 710643 markings, 4810395 edges, 46104 markings/sec, 10 secs
lola: 12 tries, 11507439 fired transitions, 15 secs || 946343 markings, 6428026 edges, 47140 markings/sec, 15 secs
lola: 15 tries, 14416120 fired transitions, 20 secs || 1180590 markings, 8035167 edges, 46849 markings/sec, 20 secs
lola: 18 tries, 17249736 fired transitions, 25 secs || 1416120 markings, 9616169 edges, 47106 markings/sec, 25 secs
lola: 21 tries, 20135723 fired transitions, 30 secs || 1645305 markings, 11153329 edges, 45837 markings/sec, 30 secs
lola: 23 tries, 22986586 fired transitions, 35 secs || 1879656 markings, 12728241 edges, 46870 markings/sec, 35 secs
lola: 26 tries, 25855311 fired transitions, 40 secs || 2108649 markings, 14261163 edges, 45799 markings/sec, 40 secs
lola: 29 tries, 28736800 fired transitions, 45 secs || 2337519 markings, 15799278 edges, 45774 markings/sec, 45 secs
lola: 32 tries, 31623241 fired transitions, 50 secs || 2563348 markings, 17309821 edges, 45166 markings/sec, 50 secs
lola: 35 tries, 34509679 fired transitions, 55 secs || 2785165 markings, 18796628 edges, 44363 markings/sec, 55 secs
lola: 38 tries, 37374888 fired transitions, 60 secs || 3015074 markings, 20341891 edges, 45982 markings/sec, 60 secs
lola: 41 tries, 40269942 fired transitions, 65 secs || 3239701 markings, 21847262 edges, 44925 markings/sec, 65 secs
lola: 44 tries, 43148535 fired transitions, 70 secs || 3463930 markings, 23351736 edges, 44846 markings/sec, 70 secs
lola: 47 tries, 46045009 fired transitions, 75 secs || 3687379 markings, 24847087 edges, 44690 markings/sec, 75 secs
lola: 49 tries, 48952563 fired transitions, 80 secs || 3906076 markings, 26311446 edges, 43739 markings/sec, 80 secs
lola: 52 tries, 51829846 fired transitions, 85 secs || 4126376 markings, 27794443 edges, 44060 markings/sec, 85 secs
lola: 55 tries, 54696808 fired transitions, 90 secs || 4349942 markings, 29294406 edges, 44713 markings/sec, 90 secs
lola: 58 tries, 57621313 fired transitions, 95 secs || 4574873 markings, 30800594 edges, 44986 markings/sec, 95 secs
lola: 61 tries, 60554581 fired transitions, 100 secs || 4796304 markings, 32282393 edges, 44286 markings/sec, 100 secs
lola: 64 tries, 63493103 fired transitions, 105 secs || 5020498 markings, 33783199 edges, 44839 markings/sec, 105 secs
lola: 67 tries, 66362712 fired transitions, 110 secs || 5242018 markings, 35264161 edges, 44304 markings/sec, 110 secs
lola: 70 tries, 69262573 fired transitions, 115 secs || 5459548 markings, 36720895 edges, 43506 markings/sec, 115 secs
lola: 73 tries, 72168141 fired transitions, 120 secs || 5679506 markings, 38197840 edges, 43992 markings/sec, 120 secs
lola: 76 tries, 75056604 fired transitions, 125 secs || 5904504 markings, 39707864 edges, 45000 markings/sec, 125 secs
lola: 78 tries, 77964169 fired transitions, 130 secs || 6126969 markings, 41198921 edges, 44493 markings/sec, 130 secs
lola: 81 tries, 80866402 fired transitions, 135 secs || 6343959 markings, 42655784 edges, 43398 markings/sec, 135 secs
lola: 84 tries, 83783574 fired transitions, 140 secs || 6570661 markings, 44171954 edges, 45340 markings/sec, 140 secs
lola: 87 tries, 86704609 fired transitions, 145 secs || 6792039 markings, 45654872 edges, 44276 markings/sec, 145 secs
lola: 90 tries, 89586202 fired transitions, 150 secs || 7013872 markings, 47149965 edges, 44367 markings/sec, 150 secs
lola: 93 tries, 92456626 fired transitions, 155 secs || 7238259 markings, 48652356 edges, 44877 markings/sec, 155 secs
lola: 96 tries, 95332317 fired transitions, 160 secs || 7462001 markings, 50150340 edges, 44748 markings/sec, 160 secs
lola: 99 tries, 98204700 fired transitions, 165 secs || 7684072 markings, 51636501 edges, 44414 markings/sec, 165 secs
lola: 102 tries, 101108536 fired transitions, 170 secs || 7908979 markings, 53141551 edges, 44981 markings/sec, 170 secs
lola: 105 tries, 104028331 fired transitions, 175 secs || 8131049 markings, 54627429 edges, 44414 markings/sec, 175 secs
lola: 107 tries, 106951840 fired transitions, 180 secs || 8346578 markings, 56070516 edges, 43106 markings/sec, 180 secs
lola: 110 tries, 109814837 fired transitions, 185 secs || 8559301 markings, 57497323 edges, 42545 markings/sec, 185 secs
lola: 113 tries, 112685178 fired transitions, 190 secs || 8780945 markings, 58988601 edges, 44329 markings/sec, 190 secs
lola: 116 tries, 115541893 fired transitions, 195 secs || 9000337 markings, 60465441 edges, 43878 markings/sec, 195 secs
lola: 119 tries, 118414952 fired transitions, 200 secs || 9219303 markings, 61934674 edges, 43793 markings/sec, 200 secs
lola: 122 tries, 121282688 fired transitions, 205 secs || 9443504 markings, 63435564 edges, 44840 markings/sec, 205 secs
lola: 125 tries, 124120181 fired transitions, 210 secs || 9665997 markings, 64925171 edges, 44499 markings/sec, 210 secs
lola: 128 tries, 127005229 fired transitions, 215 secs || 9891210 markings, 66432109 edges, 45043 markings/sec, 215 secs
lola: 130 tries, 129893201 fired transitions, 220 secs || 10112326 markings, 67912065 edges, 44223 markings/sec, 220 secs
lola: 133 tries, 132780535 fired transitions, 225 secs || 10332706 markings, 69385373 edges, 44076 markings/sec, 225 secs
lola: 136 tries, 135673769 fired transitions, 230 secs || 10553929 markings, 70866238 edges, 44245 markings/sec, 230 secs
lola: 139 tries, 138570854 fired transitions, 235 secs || 10777197 markings, 72359432 edges, 44654 markings/sec, 235 secs
lola: 142 tries, 141465836 fired transitions, 240 secs || 10997510 markings, 73835381 edges, 44063 markings/sec, 240 secs
lola: 145 tries, 144365158 fired transitions, 245 secs || 11220998 markings, 75330333 edges, 44698 markings/sec, 245 secs
lola: 148 tries, 147274795 fired transitions, 250 secs || 11442659 markings, 76812859 edges, 44332 markings/sec, 250 secs
lola: 151 tries, 150170973 fired transitions, 255 secs || 11657064 markings, 78247262 edges, 42881 markings/sec, 255 secs
lola: 154 tries, 153065894 fired transitions, 260 secs || 11877338 markings, 79721622 edges, 44055 markings/sec, 260 secs
lola: 156 tries, 155962059 fired transitions, 265 secs || 12092877 markings, 81163853 edges, 43108 markings/sec, 265 secs
lola: 159 tries, 158853523 fired transitions, 270 secs || 12300481 markings, 82553321 edges, 41521 markings/sec, 270 secs
lola: 162 tries, 161775343 fired transitions, 275 secs || 12522957 markings, 84050026 edges, 44495 markings/sec, 275 secs
lola: 165 tries, 164678263 fired transitions, 280 secs || 12746327 markings, 85548360 edges, 44674 markings/sec, 280 secs
lola: 168 tries, 167615643 fired transitions, 285 secs || 12963307 markings, 87007144 edges, 43396 markings/sec, 285 secs
lola: 171 tries, 170542076 fired transitions, 290 secs || 13182131 markings, 88471929 edges, 43765 markings/sec, 290 secs
lola: 174 tries, 173476488 fired transitions, 295 secs || 13400395 markings, 89931788 edges, 43653 markings/sec, 295 secs
lola: 177 tries, 176407271 fired transitions, 300 secs || 13617397 markings, 91387501 edges, 43400 markings/sec, 300 secs
lola: 180 tries, 179332525 fired transitions, 305 secs || 13834338 markings, 92849686 edges, 43388 markings/sec, 305 secs
lola: 183 tries, 182261200 fired transitions, 310 secs || 14051492 markings, 94302133 edges, 43431 markings/sec, 310 secs
lola: 186 tries, 185173097 fired transitions, 315 secs || 14266912 markings, 95744602 edges, 43084 markings/sec, 315 secs
lola: 189 tries, 188111677 fired transitions, 320 secs || 14477887 markings, 97156571 edges, 42195 markings/sec, 320 secs
lola: 192 tries, 191003161 fired transitions, 325 secs || 14691001 markings, 98582605 edges, 42623 markings/sec, 325 secs
lola: 194 tries, 193928740 fired transitions, 330 secs || 14902322 markings, 99996806 edges, 42264 markings/sec, 330 secs
lola: 197 tries, 196840750 fired transitions, 335 secs || 15107689 markings, 101369686 edges, 41073 markings/sec, 335 secs
lola: 200 tries, 199746872 fired transitions, 340 secs || 15321130 markings, 102801900 edges, 42688 markings/sec, 340 secs
lola: 203 tries, 202674299 fired transitions, 345 secs || 15539314 markings, 104270979 edges, 43637 markings/sec, 345 secs
lola: 206 tries, 205594790 fired transitions, 350 secs || 15749778 markings, 105688433 edges, 42093 markings/sec, 350 secs
lola: 209 tries, 208500581 fired transitions, 355 secs || 15965183 markings, 107134107 edges, 43081 markings/sec, 355 secs
lola: 212 tries, 211397055 fired transitions, 360 secs || 16183858 markings, 108597527 edges, 43735 markings/sec, 360 secs
lola: 215 tries, 214282935 fired transitions, 365 secs || 16399055 markings, 110036914 edges, 43039 markings/sec, 365 secs
lola: 218 tries, 217185518 fired transitions, 370 secs || 16617496 markings, 111498288 edges, 43688 markings/sec, 370 secs
lola: 221 tries, 220073637 fired transitions, 375 secs || 16833472 markings, 112944946 edges, 43195 markings/sec, 375 secs
lola: 223 tries, 222951302 fired transitions, 380 secs || 17046222 markings, 114368004 edges, 42550 markings/sec, 380 secs
lola: 226 tries, 225746259 fired transitions, 385 secs || 17260071 markings, 115799485 edges, 42770 markings/sec, 385 secs
lola: 229 tries, 228667250 fired transitions, 390 secs || 17481272 markings, 117278331 edges, 44240 markings/sec, 390 secs
lola: 232 tries, 231526074 fired transitions, 395 secs || 17700645 markings, 118747701 edges, 43875 markings/sec, 395 secs
lola: 235 tries, 234398572 fired transitions, 400 secs || 17919550 markings, 120210956 edges, 43781 markings/sec, 400 secs
lola: 238 tries, 237326092 fired transitions, 405 secs || 18136975 markings, 121667163 edges, 43485 markings/sec, 405 secs
lola: 241 tries, 240176524 fired transitions, 410 secs || 18352750 markings, 123109904 edges, 43155 markings/sec, 410 secs
lola: 244 tries, 243045260 fired transitions, 415 secs || 18564394 markings, 124526840 edges, 42329 markings/sec, 415 secs
lola: 246 tries, 245954429 fired transitions, 420 secs || 18778226 markings, 125956587 edges, 42766 markings/sec, 420 secs
lola: 249 tries, 248866021 fired transitions, 425 secs || 18989834 markings, 127372857 edges, 42322 markings/sec, 425 secs
lola: 252 tries, 251736046 fired transitions, 430 secs || 19206569 markings, 128826360 edges, 43347 markings/sec, 430 secs
lola: 255 tries, 254629090 fired transitions, 435 secs || 19429835 markings, 130329885 edges, 44653 markings/sec, 435 secs
lola: 258 tries, 257534894 fired transitions, 440 secs || 19650162 markings, 131812767 edges, 44065 markings/sec, 440 secs
lola: 261 tries, 260356319 fired transitions, 445 secs || 19871292 markings, 133303080 edges, 44226 markings/sec, 445 secs
lola: 264 tries, 263267951 fired transitions, 450 secs || 20089966 markings, 134774561 edges, 43735 markings/sec, 450 secs
lola: 267 tries, 266193031 fired transitions, 455 secs || 20317557 markings, 136301691 edges, 45518 markings/sec, 455 secs
lola: 270 tries, 269108321 fired transitions, 460 secs || 20541593 markings, 137800067 edges, 44807 markings/sec, 460 secs
lola: 273 tries, 272033815 fired transitions, 465 secs || 20762698 markings, 139280626 edges, 44221 markings/sec, 465 secs
lola: 275 tries, 274950265 fired transitions, 470 secs || 20986968 markings, 140781472 edges, 44854 markings/sec, 470 secs
lola: 278 tries, 277865986 fired transitions, 475 secs || 21202370 markings, 142223377 edges, 43080 markings/sec, 475 secs
lola: 281 tries, 280732500 fired transitions, 480 secs || 21419155 markings, 143673507 edges, 43357 markings/sec, 480 secs
lola: 284 tries, 283608468 fired transitions, 485 secs || 21635086 markings, 145117600 edges, 43186 markings/sec, 485 secs
lola: 287 tries, 286456964 fired transitions, 490 secs || 21850377 markings, 146559160 edges, 43058 markings/sec, 490 secs
lola: 290 tries, 289336143 fired transitions, 495 secs || 22071473 markings, 148037474 edges, 44219 markings/sec, 495 secs
lola: 293 tries, 292182763 fired transitions, 500 secs || 22291889 markings, 149513631 edges, 44083 markings/sec, 500 secs
lola: 296 tries, 295004596 fired transitions, 505 secs || 22512114 markings, 150985497 edges, 44045 markings/sec, 505 secs
lola: 298 tries, 297877599 fired transitions, 510 secs || 22727941 markings, 152430446 edges, 43165 markings/sec, 510 secs
lola: 301 tries, 300748796 fired transitions, 515 secs || 22943980 markings, 153876026 edges, 43208 markings/sec, 515 secs
lola: 304 tries, 303614529 fired transitions, 520 secs || 23158722 markings, 155312009 edges, 42948 markings/sec, 520 secs
lola: 307 tries, 306472789 fired transitions, 525 secs || 23371820 markings, 156737503 edges, 42620 markings/sec, 525 secs
lola: 310 tries, 309311020 fired transitions, 530 secs || 23592001 markings, 158212276 edges, 44036 markings/sec, 530 secs
lola: 313 tries, 312150296 fired transitions, 535 secs || 23813518 markings, 159694731 edges, 44303 markings/sec, 535 secs
lola: 316 tries, 315063448 fired transitions, 540 secs || 24034231 markings, 161171313 edges, 44143 markings/sec, 540 secs
lola: 318 tries, 317961622 fired transitions, 545 secs || 24251143 markings, 162622531 edges, 43382 markings/sec, 545 secs
lola: 321 tries, 320881953 fired transitions, 550 secs || 24471051 markings, 164094655 edges, 43982 markings/sec, 550 secs
lola: 324 tries, 323810056 fired transitions, 555 secs || 24693258 markings, 165580965 edges, 44441 markings/sec, 555 secs
lola: 327 tries, 326728995 fired transitions, 560 secs || 24909338 markings, 167026838 edges, 43216 markings/sec, 560 secs
lola: 330 tries, 329662676 fired transitions, 565 secs || 25123147 markings, 168457315 edges, 42762 markings/sec, 565 secs
lola: 333 tries, 332581237 fired transitions, 570 secs || 25337993 markings, 169895362 edges, 42969 markings/sec, 570 secs
lola: 336 tries, 335493337 fired transitions, 575 secs || 25557845 markings, 171365812 edges, 43970 markings/sec, 575 secs
lola: 339 tries, 338392165 fired transitions, 580 secs || 25774103 markings, 172812837 edges, 43252 markings/sec, 580 secs
lola: 342 tries, 341307740 fired transitions, 585 secs || 25990751 markings, 174261011 edges, 43330 markings/sec, 585 secs
lola: 345 tries, 344218288 fired transitions, 590 secs || 26205532 markings, 175697406 edges, 42956 markings/sec, 590 secs
lola: 348 tries, 347104777 fired transitions, 595 secs || 26420412 markings, 177135773 edges, 42976 markings/sec, 595 secs
lola: 350 tries, 349950234 fired transitions, 600 secs || 26632703 markings, 178557143 edges, 42458 markings/sec, 600 secs
lola: 353 tries, 352857426 fired transitions, 605 secs || 26845418 markings, 179980827 edges, 42543 markings/sec, 605 secs
lola: 356 tries, 355764787 fired transitions, 610 secs || 27058920 markings, 181407334 edges, 42700 markings/sec, 610 secs
lola: 359 tries, 358666975 fired transitions, 615 secs || 27270975 markings, 182826510 edges, 42411 markings/sec, 615 secs
lola: 362 tries, 361570606 fired transitions, 620 secs || 27498864 markings, 184361743 edges, 45578 markings/sec, 620 secs
lola: 365 tries, 364427571 fired transitions, 625 secs || 27724701 markings, 185877000 edges, 45167 markings/sec, 625 secs
lola: 368 tries, 367327941 fired transitions, 630 secs || 27947889 markings, 187376833 edges, 44638 markings/sec, 630 secs
lola: 371 tries, 370228545 fired transitions, 635 secs || 28170766 markings, 188868320 edges, 44575 markings/sec, 635 secs
lola: 374 tries, 373135675 fired transitions, 640 secs || 28392409 markings, 190352595 edges, 44329 markings/sec, 640 secs
lola: 377 tries, 376054520 fired transitions, 645 secs || 28612836 markings, 191831430 edges, 44085 markings/sec, 645 secs
lola: 379 tries, 378934392 fired transitions, 650 secs || 28833341 markings, 193316409 edges, 44101 markings/sec, 650 secs
lola: 382 tries, 381828328 fired transitions, 655 secs || 29052183 markings, 194781000 edges, 43768 markings/sec, 655 secs
lola: 385 tries, 384738180 fired transitions, 660 secs || 29268837 markings, 196230050 edges, 43331 markings/sec, 660 secs
lola: 388 tries, 387628569 fired transitions, 665 secs || 29486954 markings, 197689540 edges, 43623 markings/sec, 665 secs
lola: 391 tries, 390533888 fired transitions, 670 secs || 29706864 markings, 199161700 edges, 43982 markings/sec, 670 secs
lola: 394 tries, 393433311 fired transitions, 675 secs || 29924860 markings, 200620117 edges, 43599 markings/sec, 675 secs
lola: 397 tries, 396331308 fired transitions, 680 secs || 30140129 markings, 202060641 edges, 43054 markings/sec, 680 secs
lola: 400 tries, 399222289 fired transitions, 685 secs || 30357879 markings, 203524131 edges, 43550 markings/sec, 685 secs
lola: 403 tries, 402117926 fired transitions, 690 secs || 30576751 markings, 204997593 edges, 43774 markings/sec, 690 secs
lola: 406 tries, 405035332 fired transitions, 695 secs || 30794222 markings, 206461260 edges, 43494 markings/sec, 695 secs
lola: 408 tries, 407935896 fired transitions, 700 secs || 31015066 markings, 207941423 edges, 44169 markings/sec, 700 secs
lola: 411 tries, 410857025 fired transitions, 705 secs || 31233639 markings, 209403705 edges, 43715 markings/sec, 705 secs
lola: 414 tries, 413768426 fired transitions, 710 secs || 31450616 markings, 210855359 edges, 43395 markings/sec, 710 secs
lola: 417 tries, 416622391 fired transitions, 715 secs || 31670975 markings, 212329309 edges, 44072 markings/sec, 715 secs
lola: 420 tries, 419508407 fired transitions, 720 secs || 31882738 markings, 213747663 edges, 42353 markings/sec, 720 secs
lola: 423 tries, 422400025 fired transitions, 725 secs || 32097938 markings, 215187675 edges, 43040 markings/sec, 725 secs
lola: 426 tries, 425277597 fired transitions, 730 secs || 32315886 markings, 216646260 edges, 43590 markings/sec, 730 secs
lola: 429 tries, 428166131 fired transitions, 735 secs || 32539204 markings, 218139239 edges, 44664 markings/sec, 735 secs
lola: 432 tries, 431052754 fired transitions, 740 secs || 32760708 markings, 219621383 edges, 44301 markings/sec, 740 secs
lola: 434 tries, 433956137 fired transitions, 745 secs || 32977317 markings, 221072828 edges, 43322 markings/sec, 745 secs
lola: 437 tries, 436870701 fired transitions, 750 secs || 33194542 markings, 222525034 edges, 43445 markings/sec, 750 secs
lola: 440 tries, 439775408 fired transitions, 755 secs || 33408420 markings, 223956880 edges, 42776 markings/sec, 755 secs
lola: 443 tries, 442683861 fired transitions, 760 secs || 33615726 markings, 225343365 edges, 41461 markings/sec, 760 secs
lola: 446 tries, 445617317 fired transitions, 765 secs || 33825356 markings, 226746459 edges, 41926 markings/sec, 765 secs
lola: 449 tries, 448514157 fired transitions, 770 secs || 34035287 markings, 228148752 edges, 41986 markings/sec, 770 secs
lola: 452 tries, 451432220 fired transitions, 775 secs || 34251643 markings, 229604332 edges, 43271 markings/sec, 775 secs
lola: 455 tries, 454342126 fired transitions, 780 secs || 34470060 markings, 231074183 edges, 43683 markings/sec, 780 secs
lola: 458 tries, 457247396 fired transitions, 785 secs || 34687470 markings, 232538321 edges, 43482 markings/sec, 785 secs
lola: 461 tries, 460167157 fired transitions, 790 secs || 34903093 markings, 233990685 edges, 43125 markings/sec, 790 secs
lola: 464 tries, 463086916 fired transitions, 795 secs || 35117669 markings, 235434679 edges, 42915 markings/sec, 795 secs
lola: 466 tries, 465961661 fired transitions, 800 secs || 35335870 markings, 236897487 edges, 43640 markings/sec, 800 secs
lola: 469 tries, 468836028 fired transitions, 805 secs || 35550756 markings, 238334312 edges, 42977 markings/sec, 805 secs
lola: 472 tries, 471740646 fired transitions, 810 secs || 35762259 markings, 239751306 edges, 42301 markings/sec, 810 secs
lola: 475 tries, 474651888 fired transitions, 815 secs || 35976800 markings, 241185909 edges, 42908 markings/sec, 815 secs
lola: 478 tries, 477568008 fired transitions, 820 secs || 36187723 markings, 242597234 edges, 42185 markings/sec, 820 secs
lola: 481 tries, 480463365 fired transitions, 825 secs || 36395333 markings, 243985792 edges, 41522 markings/sec, 825 secs
lola: 484 tries, 483389830 fired transitions, 830 secs || 36608809 markings, 245416080 edges, 42695 markings/sec, 830 secs
lola: 487 tries, 486327656 fired transitions, 835 secs || 36824113 markings, 246855992 edges, 43061 markings/sec, 835 secs
lola: 490 tries, 489242185 fired transitions, 840 secs || 37032360 markings, 248249361 edges, 41649 markings/sec, 840 secs
lola: 493 tries, 492152577 fired transitions, 845 secs || 37245377 markings, 249675814 edges, 42603 markings/sec, 845 secs
lola: 496 tries, 495070460 fired transitions, 850 secs || 37458147 markings, 251099386 edges, 42554 markings/sec, 850 secs
lola: 498 tries, 497938141 fired transitions, 855 secs || 37667969 markings, 252502147 edges, 41964 markings/sec, 855 secs
lola: 501 tries, 500838375 fired transitions, 860 secs || 37875331 markings, 253889568 edges, 41472 markings/sec, 860 secs
lola: 504 tries, 503740761 fired transitions, 865 secs || 38085244 markings, 255295247 edges, 41983 markings/sec, 865 secs
lola: 507 tries, 506671993 fired transitions, 870 secs || 38290935 markings, 256669668 edges, 41138 markings/sec, 870 secs
lola: 510 tries, 509515893 fired transitions, 875 secs || 38502913 markings, 258088799 edges, 42396 markings/sec, 875 secs
lola: 513 tries, 512454252 fired transitions, 880 secs || 38723294 markings, 259563122 edges, 44076 markings/sec, 880 secs
lola: 516 tries, 515382234 fired transitions, 885 secs || 38936059 markings, 260987300 edges, 42553 markings/sec, 885 secs
lola: 519 tries, 518246695 fired transitions, 890 secs || 39145306 markings, 262387041 edges, 41849 markings/sec, 890 secs
lola: 522 tries, 521158167 fired transitions, 895 secs || 39357301 markings, 263806161 edges, 42399 markings/sec, 895 secs
lola: 525 tries, 524045763 fired transitions, 900 secs || 39570381 markings, 265231349 edges, 42616 markings/sec, 900 secs
lola: 527 tries, 526921556 fired transitions, 905 secs || 39781913 markings, 266647532 edges, 42306 markings/sec, 905 secs
lola: 530 tries, 529853486 fired transitions, 910 secs || 39994002 markings, 268065594 edges, 42418 markings/sec, 910 secs
lola: 533 tries, 532764963 fired transitions, 915 secs || 40202450 markings, 269461151 edges, 41690 markings/sec, 915 secs
lola: 536 tries, 535683438 fired transitions, 920 secs || 40416568 markings, 270892981 edges, 42824 markings/sec, 920 secs
lola: 539 tries, 538600448 fired transitions, 925 secs || 40632304 markings, 272336212 edges, 43147 markings/sec, 925 secs
lola: 542 tries, 541519349 fired transitions, 930 secs || 40845364 markings, 273762781 edges, 42612 markings/sec, 930 secs
lola: 545 tries, 544374632 fired transitions, 935 secs || 41058468 markings, 275187305 edges, 42621 markings/sec, 935 secs
lola: 548 tries, 547248577 fired transitions, 940 secs || 41268404 markings, 276591090 edges, 41987 markings/sec, 940 secs
lola: 551 tries, 550179237 fired transitions, 945 secs || 41481458 markings, 278018438 edges, 42611 markings/sec, 945 secs
lola: 554 tries, 553099769 fired transitions, 950 secs || 41696513 markings, 279457174 edges, 43011 markings/sec, 950 secs
lola: 557 tries, 556009126 fired transitions, 955 secs || 41909911 markings, 280883383 edges, 42680 markings/sec, 955 secs
lola: 559 tries, 558941288 fired transitions, 960 secs || 42116607 markings, 282267511 edges, 41339 markings/sec, 960 secs
lola: 562 tries, 561847699 fired transitions, 965 secs || 42323896 markings, 283651793 edges, 41458 markings/sec, 965 secs
lola: 565 tries, 564710936 fired transitions, 970 secs || 42538644 markings, 285100471 edges, 42950 markings/sec, 970 secs
lola: 568 tries, 567575017 fired transitions, 975 secs || 42753534 markings, 286547400 edges, 42978 markings/sec, 975 secs
lola: 571 tries, 570454648 fired transitions, 980 secs || 42971306 markings, 288013081 edges, 43554 markings/sec, 980 secs
lola: 574 tries, 573301282 fired transitions, 985 secs || 43184672 markings, 289449706 edges, 42673 markings/sec, 985 secs
lola: 577 tries, 576191514 fired transitions, 990 secs || 43402194 markings, 290914038 edges, 43504 markings/sec, 990 secs
lola: 580 tries, 579089452 fired transitions, 995 secs || 43615693 markings, 292352265 edges, 42700 markings/sec, 995 secs
lola: 582 tries, 581978419 fired transitions, 1000 secs || 43830118 markings, 293796488 edges, 42885 markings/sec, 1000 secs
lola: 585 tries, 584886959 fired transitions, 1005 secs || 44040307 markings, 295210470 edges, 42038 markings/sec, 1005 secs
lola: 588 tries, 587733283 fired transitions, 1010 secs || 44260085 markings, 296683604 edges, 43956 markings/sec, 1010 secs
lola: 591 tries, 590627135 fired transitions, 1015 secs || 44480942 markings, 298160633 edges, 44171 markings/sec, 1015 secs
lola: 594 tries, 593502697 fired transitions, 1020 secs || 44697517 markings, 299610329 edges, 43315 markings/sec, 1020 secs
lola: 597 tries, 596384119 fired transitions, 1025 secs || 44915408 markings, 301069406 edges, 43578 markings/sec, 1025 secs
lola: 600 tries, 599281823 fired transitions, 1030 secs || 45130796 markings, 302510385 edges, 43078 markings/sec, 1030 secs
lola: 603 tries, 602181032 fired transitions, 1035 secs || 45342563 markings, 303928113 edges, 42353 markings/sec, 1035 secs
lola: 606 tries, 605079125 fired transitions, 1040 secs || 45555642 markings, 305353155 edges, 42616 markings/sec, 1040 secs
lola: 608 tries, 607985560 fired transitions, 1045 secs || 45772594 markings, 306805438 edges, 43390 markings/sec, 1045 secs
lola: 611 tries, 610875943 fired transitions, 1050 secs || 45986386 markings, 308235069 edges, 42758 markings/sec, 1050 secs
lola: 614 tries, 613762641 fired transitions, 1055 secs || 46200610 markings, 309670294 edges, 42845 markings/sec, 1055 secs
lola: 617 tries, 616637570 fired transitions, 1060 secs || 46412951 markings, 311090171 edges, 42468 markings/sec, 1060 secs
lola: 620 tries, 619534133 fired transitions, 1065 secs || 46622903 markings, 312494118 edges, 41990 markings/sec, 1065 secs
lola: 623 tries, 622438415 fired transitions, 1070 secs || 46832221 markings, 313895537 edges, 41864 markings/sec, 1070 secs
lola: 626 tries, 625342832 fired transitions, 1075 secs || 47039899 markings, 315285317 edges, 41536 markings/sec, 1075 secs
lola: 629 tries, 628220668 fired transitions, 1080 secs || 47245013 markings, 316657017 edges, 41023 markings/sec, 1080 secs
lola: 632 tries, 631128165 fired transitions, 1085 secs || 47457407 markings, 318078477 edges, 42479 markings/sec, 1085 secs
lola: 635 tries, 634031520 fired transitions, 1090 secs || 47676409 markings, 319543104 edges, 43800 markings/sec, 1090 secs
lola: 637 tries, 636926648 fired transitions, 1095 secs || 47894788 markings, 321004657 edges, 43676 markings/sec, 1095 secs
lola: 640 tries, 639845136 fired transitions, 1100 secs || 48111752 markings, 322456870 edges, 43393 markings/sec, 1100 secs
lola: 643 tries, 642758443 fired transitions, 1105 secs || 48327955 markings, 323903600 edges, 43241 markings/sec, 1105 secs
lola: 646 tries, 645655764 fired transitions, 1110 secs || 48545248 markings, 325356418 edges, 43459 markings/sec, 1110 secs
lola: 649 tries, 648569265 fired transitions, 1115 secs || 48764537 markings, 326824966 edges, 43858 markings/sec, 1115 secs
lola: 652 tries, 651487279 fired transitions, 1120 secs || 48982945 markings, 328286321 edges, 43682 markings/sec, 1120 secs
lola: 655 tries, 654399979 fired transitions, 1125 secs || 49201180 markings, 329746804 edges, 43647 markings/sec, 1125 secs
lola: 658 tries, 657336636 fired transitions, 1130 secs || 49421761 markings, 331221470 edges, 44116 markings/sec, 1130 secs
lola: 661 tries, 660263046 fired transitions, 1135 secs || 49636805 markings, 332659980 edges, 43009 markings/sec, 1135 secs
lola: 664 tries, 663189630 fired transitions, 1140 secs || 49850951 markings, 334092353 edges, 42829 markings/sec, 1140 secs
lola: 667 tries, 666110383 fired transitions, 1145 secs || 50065927 markings, 335530647 edges, 42995 markings/sec, 1145 secs
lola: 670 tries, 669052753 fired transitions, 1150 secs || 50278894 markings, 336956960 edges, 42593 markings/sec, 1150 secs
lola: 672 tries, 671969687 fired transitions, 1155 secs || 50497263 markings, 338417570 edges, 43674 markings/sec, 1155 secs
lola: 675 tries, 674884484 fired transitions, 1160 secs || 50712058 markings, 339852606 edges, 42959 markings/sec, 1160 secs
lola: 678 tries, 677761304 fired transitions, 1165 secs || 50926822 markings, 341291485 edges, 42953 markings/sec, 1165 secs
lola: 681 tries, 680613189 fired transitions, 1170 secs || 51140629 markings, 342722218 edges, 42761 markings/sec, 1170 secs
lola: 684 tries, 683499316 fired transitions, 1175 secs || 51358808 markings, 344181393 edges, 43636 markings/sec, 1175 secs
lola: 687 tries, 686405428 fired transitions, 1180 secs || 51578693 markings, 345651799 edges, 43977 markings/sec, 1180 secs
lola: 690 tries, 689307189 fired transitions, 1185 secs || 51801961 markings, 347145428 edges, 44654 markings/sec, 1185 secs
lola: 693 tries, 692223026 fired transitions, 1190 secs || 52021595 markings, 348616351 edges, 43927 markings/sec, 1190 secs
lola: 696 tries, 695138532 fired transitions, 1195 secs || 52241377 markings, 350085649 edges, 43956 markings/sec, 1195 secs
lola: 699 tries, 698054736 fired transitions, 1200 secs || 52460935 markings, 351556311 edges, 43912 markings/sec, 1200 secs
lola: 701 tries, 700993517 fired transitions, 1205 secs || 52680249 markings, 353023360 edges, 43863 markings/sec, 1205 secs
lola: 704 tries, 703881901 fired transitions, 1210 secs || 52896575 markings, 354469364 edges, 43265 markings/sec, 1210 secs
lola: 707 tries, 706697402 fired transitions, 1215 secs || 53108159 markings, 355885605 edges, 42317 markings/sec, 1215 secs
lola: 710 tries, 709572993 fired transitions, 1220 secs || 53329016 markings, 357362639 edges, 44171 markings/sec, 1220 secs
lola: 713 tries, 712410026 fired transitions, 1225 secs || 53548359 markings, 358831375 edges, 43869 markings/sec, 1225 secs
lola: 716 tries, 715285769 fired transitions, 1230 secs || 53768905 markings, 360306683 edges, 44109 markings/sec, 1230 secs
lola: 719 tries, 718174432 fired transitions, 1235 secs || 53987378 markings, 361767462 edges, 43695 markings/sec, 1235 secs
lola: 722 tries, 721000057 fired transitions, 1240 secs || 54207395 markings, 363240750 edges, 44003 markings/sec, 1240 secs
lola: 724 tries, 723342735 fired transitions, 1245 secs || 54385242 markings, 364429157 edges, 35569 markings/sec, 1245 secs
lola: 727 tries, 726208558 fired transitions, 1250 secs || 54602047 markings, 365879747 edges, 43361 markings/sec, 1250 secs
lola: 730 tries, 729105114 fired transitions, 1255 secs || 54817958 markings, 367324694 edges, 43182 markings/sec, 1255 secs
lola: 733 tries, 732016185 fired transitions, 1260 secs || 55032917 markings, 368763330 edges, 42992 markings/sec, 1260 secs
lola: 735 tries, 734926231 fired transitions, 1265 secs || 55254355 markings, 370244904 edges, 44288 markings/sec, 1265 secs
lola: 738 tries, 737848105 fired transitions, 1270 secs || 55470931 markings, 371693716 edges, 43315 markings/sec, 1270 secs
lola: 741 tries, 740767666 fired transitions, 1275 secs || 55679945 markings, 373092183 edges, 41803 markings/sec, 1275 secs
lola: 744 tries, 743680432 fired transitions, 1280 secs || 55891401 markings, 374506030 edges, 42291 markings/sec, 1280 secs
lola: 746 tries, 745347664 fired transitions, 1285 secs || 56011837 markings, 375312615 edges, 24087 markings/sec, 1285 secs
lola: 747 tries, 746875792 fired transitions, 1290 secs || 56120628 markings, 376040326 edges, 21758 markings/sec, 1290 secs
lola: 750 tries, 749640500 fired transitions, 1295 secs || 56327432 markings, 377424123 edges, 41361 markings/sec, 1295 secs
lola: 753 tries, 752574524 fired transitions, 1300 secs || 56541845 markings, 378858938 edges, 42883 markings/sec, 1300 secs
lola: 756 tries, 755483635 fired transitions, 1305 secs || 56752971 markings, 380269432 edges, 42225 markings/sec, 1305 secs
lola: 759 tries, 758380214 fired transitions, 1310 secs || 56967168 markings, 381701338 edges, 42839 markings/sec, 1310 secs
lola: 762 tries, 761294096 fired transitions, 1315 secs || 57185527 markings, 383163615 edges, 43672 markings/sec, 1315 secs
lola: 765 tries, 764230126 fired transitions, 1320 secs || 57399576 markings, 384594509 edges, 42810 markings/sec, 1320 secs
lola: 768 tries, 767128172 fired transitions, 1325 secs || 57605224 markings, 385971532 edges, 41130 markings/sec, 1325 secs
lola: 771 tries, 770046586 fired transitions, 1330 secs || 57817741 markings, 387393211 edges, 42503 markings/sec, 1330 secs
lola: 773 tries, 772960907 fired transitions, 1335 secs || 58025184 markings, 388780330 edges, 41489 markings/sec, 1335 secs
lola: 776 tries, 775876302 fired transitions, 1340 secs || 58234406 markings, 390180181 edges, 41844 markings/sec, 1340 secs
lola: 779 tries, 778780420 fired transitions, 1345 secs || 58436518 markings, 391532613 edges, 40422 markings/sec, 1345 secs
lola: 782 tries, 781700104 fired transitions, 1350 secs || 58639090 markings, 392887257 edges, 40514 markings/sec, 1350 secs
lola: 785 tries, 784611462 fired transitions, 1355 secs || 58856725 markings, 394355296 edges, 43527 markings/sec, 1355 secs
lola: 788 tries, 787532866 fired transitions, 1360 secs || 59081090 markings, 395860878 edges, 44873 markings/sec, 1360 secs
lola: 791 tries, 790430601 fired transitions, 1365 secs || 59292678 markings, 397279816 edges, 42318 markings/sec, 1365 secs
lola: 794 tries, 793322976 fired transitions, 1370 secs || 59510283 markings, 398741442 edges, 43521 markings/sec, 1370 secs
lola: 797 tries, 796203008 fired transitions, 1375 secs || 59715204 markings, 400113033 edges, 40984 markings/sec, 1375 secs
lola: 799 tries, 798924425 fired transitions, 1380 secs || 59909248 markings, 401410501 edges, 38809 markings/sec, 1380 secs
lola: 802 tries, 801797556 fired transitions, 1385 secs || 60125655 markings, 402866899 edges, 43281 markings/sec, 1385 secs
lola: 805 tries, 804690765 fired transitions, 1390 secs || 60339838 markings, 404306201 edges, 42837 markings/sec, 1390 secs
lola: 808 tries, 807532078 fired transitions, 1395 secs || 60551281 markings, 405720256 edges, 42289 markings/sec, 1395 secs
lola: 811 tries, 810433486 fired transitions, 1400 secs || 60755210 markings, 407085544 edges, 40786 markings/sec, 1400 secs
lola: 814 tries, 813334822 fired transitions, 1405 secs || 60961595 markings, 408467080 edges, 41277 markings/sec, 1405 secs
lola: 817 tries, 816244559 fired transitions, 1410 secs || 61175657 markings, 409899022 edges, 42812 markings/sec, 1410 secs
lola: 820 tries, 819111817 fired transitions, 1415 secs || 61388204 markings, 411322093 edges, 42509 markings/sec, 1415 secs
lola: 823 tries, 822033093 fired transitions, 1420 secs || 61589935 markings, 412671354 edges, 40346 markings/sec, 1420 secs
lola: 825 tries, 824916045 fired transitions, 1425 secs || 61786650 markings, 413992946 edges, 39343 markings/sec, 1425 secs
lola: 828 tries, 827839947 fired transitions, 1430 secs || 61999409 markings, 415425506 edges, 42552 markings/sec, 1430 secs
lola: 831 tries, 830775653 fired transitions, 1435 secs || 62215530 markings, 416881030 edges, 43224 markings/sec, 1435 secs
lola: 834 tries, 833707420 fired transitions, 1440 secs || 62427171 markings, 418298786 edges, 42328 markings/sec, 1440 secs
lola: 837 tries, 836638285 fired transitions, 1445 secs || 62639287 markings, 419717530 edges, 42423 markings/sec, 1445 secs
lola: 840 tries, 839540215 fired transitions, 1450 secs || 62849559 markings, 421125688 edges, 42054 markings/sec, 1450 secs
lola: 843 tries, 842444219 fired transitions, 1455 secs || 63064629 markings, 422564582 edges, 43014 markings/sec, 1455 secs
lola: 846 tries, 845368094 fired transitions, 1460 secs || 63276495 markings, 423982272 edges, 42373 markings/sec, 1460 secs
lola: 849 tries, 848283099 fired transitions, 1465 secs || 63484181 markings, 425371717 edges, 41537 markings/sec, 1465 secs
lola: 852 tries, 851147617 fired transitions, 1470 secs || 63689107 markings, 426743102 edges, 40985 markings/sec, 1470 secs
lola: 855 tries, 854057812 fired transitions, 1475 secs || 63907564 markings, 428206121 edges, 43691 markings/sec, 1475 secs
lola: 857 tries, 856995319 fired transitions, 1480 secs || 64124833 markings, 429659986 edges, 43454 markings/sec, 1480 secs
lola: 860 tries, 859925952 fired transitions, 1485 secs || 64341046 markings, 431105585 edges, 43243 markings/sec, 1485 secs
lola: 863 tries, 862860964 fired transitions, 1490 secs || 64556874 markings, 432549764 edges, 43166 markings/sec, 1490 secs
lola: 866 tries, 865768085 fired transitions, 1495 secs || 64769026 markings, 433969437 edges, 42430 markings/sec, 1495 secs
lola: 869 tries, 868702778 fired transitions, 1500 secs || 64976988 markings, 435361776 edges, 41592 markings/sec, 1500 secs
lola: 872 tries, 871619022 fired transitions, 1505 secs || 65187344 markings, 436767440 edges, 42071 markings/sec, 1505 secs
lola: 875 tries, 874553272 fired transitions, 1510 secs || 65396694 markings, 438169795 edges, 41870 markings/sec, 1510 secs
lola: 878 tries, 877468425 fired transitions, 1515 secs || 65609103 markings, 439593615 edges, 42482 markings/sec, 1515 secs
lola: 881 tries, 880392541 fired transitions, 1520 secs || 65824785 markings, 441045753 edges, 43136 markings/sec, 1520 secs
lola: 884 tries, 883306522 fired transitions, 1525 secs || 66035023 markings, 442461721 edges, 42048 markings/sec, 1525 secs
lola: 887 tries, 886215744 fired transitions, 1530 secs || 66246748 markings, 443884619 edges, 42345 markings/sec, 1530 secs
lola: 890 tries, 889149415 fired transitions, 1535 secs || 66455579 markings, 445293337 edges, 41766 markings/sec, 1535 secs
lola: 893 tries, 892088798 fired transitions, 1540 secs || 66670072 markings, 446734063 edges, 42899 markings/sec, 1540 secs
lola: 896 tries, 895037694 fired transitions, 1545 secs || 66876014 markings, 448112567 edges, 41188 markings/sec, 1545 secs
lola: 898 tries, 897944116 fired transitions, 1550 secs || 67082762 markings, 449495984 edges, 41350 markings/sec, 1550 secs
lola: 901 tries, 900862625 fired transitions, 1555 secs || 67290748 markings, 450887107 edges, 41597 markings/sec, 1555 secs
lola: 904 tries, 903782566 fired transitions, 1560 secs || 67503069 markings, 452308254 edges, 42464 markings/sec, 1560 secs
lola: 907 tries, 906688944 fired transitions, 1565 secs || 67711312 markings, 453702630 edges, 41649 markings/sec, 1565 secs
lola: 910 tries, 909488012 fired transitions, 1570 secs || 67910638 markings, 455036706 edges, 39865 markings/sec, 1570 secs
lola: 913 tries, 912365466 fired transitions, 1575 secs || 68127046 markings, 456484027 edges, 43282 markings/sec, 1575 secs
lola: 916 tries, 915308740 fired transitions, 1580 secs || 68339469 markings, 457905533 edges, 42485 markings/sec, 1580 secs
lola: 919 tries, 918227931 fired transitions, 1585 secs || 68553439 markings, 459336614 edges, 42794 markings/sec, 1585 secs
lola: 922 tries, 921113088 fired transitions, 1590 secs || 68765929 markings, 460759665 edges, 42498 markings/sec, 1590 secs
lola: 925 tries, 924044710 fired transitions, 1595 secs || 68977596 markings, 462175612 edges, 42333 markings/sec, 1595 secs
lola: 927 tries, 926943757 fired transitions, 1600 secs || 69184479 markings, 463559035 edges, 41377 markings/sec, 1600 secs
lola: 930 tries, 929876336 fired transitions, 1605 secs || 69389521 markings, 464932307 edges, 41008 markings/sec, 1605 secs
lola: 933 tries, 932807718 fired transitions, 1610 secs || 69597331 markings, 466322149 edges, 41562 markings/sec, 1610 secs
lola: 936 tries, 935733016 fired transitions, 1615 secs || 69804537 markings, 467706643 edges, 41441 markings/sec, 1615 secs
lola: 939 tries, 938638672 fired transitions, 1620 secs || 70020308 markings, 469151968 edges, 43154 markings/sec, 1620 secs
lola: 942 tries, 941513894 fired transitions, 1625 secs || 70236432 markings, 470598658 edges, 43225 markings/sec, 1625 secs
lola: 945 tries, 944422215 fired transitions, 1630 secs || 70448234 markings, 472015610 edges, 42360 markings/sec, 1630 secs
lola: 948 tries, 947281483 fired transitions, 1635 secs || 70657788 markings, 473417882 edges, 41911 markings/sec, 1635 secs
lola: 951 tries, 950199088 fired transitions, 1640 secs || 70872798 markings, 474855993 edges, 43002 markings/sec, 1640 secs
lola: 954 tries, 953124696 fired transitions, 1645 secs || 71085113 markings, 476277451 edges, 42463 markings/sec, 1645 secs
lola: 957 tries, 956029800 fired transitions, 1650 secs || 71296979 markings, 477694762 edges, 42373 markings/sec, 1650 secs
lola: 959 tries, 958942846 fired transitions, 1655 secs || 71506550 markings, 479096294 edges, 41914 markings/sec, 1655 secs
lola: 962 tries, 961867022 fired transitions, 1660 secs || 71713332 markings, 480480151 edges, 41356 markings/sec, 1660 secs
lola: 965 tries, 964766273 fired transitions, 1665 secs || 71926542 markings, 481905606 edges, 42642 markings/sec, 1665 secs
lola: 968 tries, 967688789 fired transitions, 1670 secs || 72132969 markings, 483286748 edges, 41285 markings/sec, 1670 secs
lola: 971 tries, 970587531 fired transitions, 1675 secs || 72340416 markings, 484675415 edges, 41489 markings/sec, 1675 secs
lola: 974 tries, 973501152 fired transitions, 1680 secs || 72540000 markings, 486010749 edges, 39917 markings/sec, 1680 secs
lola: 977 tries, 976408484 fired transitions, 1685 secs || 72737757 markings, 487334319 edges, 39551 markings/sec, 1685 secs
lola: 980 tries, 979309107 fired transitions, 1690 secs || 72947130 markings, 488733791 edges, 41875 markings/sec, 1690 secs
lola: 983 tries, 982231942 fired transitions, 1695 secs || 73157144 markings, 490137964 edges, 42003 markings/sec, 1695 secs
lola: 986 tries, 985131468 fired transitions, 1700 secs || 73365853 markings, 491534335 edges, 41742 markings/sec, 1700 secs
lola: 989 tries, 988012685 fired transitions, 1705 secs || 73572915 markings, 492919032 edges, 41412 markings/sec, 1705 secs
lola: 991 tries, 990862320 fired transitions, 1710 secs || 73781532 markings, 494316608 edges, 41723 markings/sec, 1710 secs
lola: 994 tries, 993755258 fired transitions, 1715 secs || 73989774 markings, 495719477 edges, 41648 markings/sec, 1715 secs
lola: 997 tries, 996602344 fired transitions, 1720 secs || 74197675 markings, 497120005 edges, 41580 markings/sec, 1720 secs
lola: 1000 tries, 999501065 fired transitions, 1725 secs || 74405747 markings, 498521599 edges, 41614 markings/sec, 1725 secs
lola: 1003 tries, 1002353257 fired transitions, 1730 secs || 74611968 markings, 499910287 edges, 41244 markings/sec, 1730 secs
lola: 1006 tries, 1005224361 fired transitions, 1735 secs || 74823185 markings, 501332199 edges, 42243 markings/sec, 1735 secs
lola: 1009 tries, 1008066001 fired transitions, 1740 secs || 75033094 markings, 502745172 edges, 41982 markings/sec, 1740 secs
lola: 1011 tries, 1010909618 fired transitions, 1745 secs || 75247535 markings, 504187590 edges, 42888 markings/sec, 1745 secs
lola: 1014 tries, 1013771962 fired transitions, 1750 secs || 75460110 markings, 505620647 edges, 42515 markings/sec, 1750 secs
lola: 1017 tries, 1016679547 fired transitions, 1755 secs || 75681234 markings, 507102355 edges, 44225 markings/sec, 1755 secs
lola: 1020 tries, 1019558133 fired transitions, 1760 secs || 75892610 markings, 508516045 edges, 42275 markings/sec, 1760 secs
lola: 1023 tries, 1022486479 fired transitions, 1765 secs || 76103623 markings, 509928649 edges, 42203 markings/sec, 1765 secs
lola: 1026 tries, 1025425598 fired transitions, 1770 secs || 76314853 markings, 511341880 edges, 42246 markings/sec, 1770 secs
lola: 1029 tries, 1028354398 fired transitions, 1775 secs || 76523493 markings, 512738314 edges, 41728 markings/sec, 1775 secs
lola: 1032 tries, 1031300415 fired transitions, 1780 secs || 76725904 markings, 514093375 edges, 40482 markings/sec, 1780 secs
lola: 1035 tries, 1034233118 fired transitions, 1785 secs || 76934796 markings, 515490251 edges, 41778 markings/sec, 1785 secs
lola: 1038 tries, 1037161244 fired transitions, 1790 secs || 77150512 markings, 516934649 edges, 43143 markings/sec, 1790 secs
lola: 1040 tries, 1039885412 fired transitions, 1795 secs || 77351910 markings, 518281240 edges, 40280 markings/sec, 1795 secs
lola: 1043 tries, 1042812968 fired transitions, 1800 secs || 77567255 markings, 519723279 edges, 43069 markings/sec, 1800 secs
lola: 1046 tries, 1045756003 fired transitions, 1805 secs || 77782206 markings, 521161840 edges, 42990 markings/sec, 1805 secs
lola: 1049 tries, 1048676426 fired transitions, 1810 secs || 77995682 markings, 522590770 edges, 42695 markings/sec, 1810 secs
lola: 1052 tries, 1051590786 fired transitions, 1815 secs || 78206675 markings, 524002539 edges, 42199 markings/sec, 1815 secs
lola: 1055 tries, 1054524636 fired transitions, 1820 secs || 78418530 markings, 525418044 edges, 42371 markings/sec, 1820 secs
lola: 1058 tries, 1057457522 fired transitions, 1825 secs || 78622904 markings, 526786987 edges, 40875 markings/sec, 1825 secs
lola: 1061 tries, 1060356654 fired transitions, 1830 secs || 78831961 markings, 528184473 edges, 41811 markings/sec, 1830 secs
lola: 1064 tries, 1063282899 fired transitions, 1835 secs || 79049130 markings, 529637693 edges, 43434 markings/sec, 1835 secs
lola: 1067 tries, 1066174218 fired transitions, 1840 secs || 79263657 markings, 531073642 edges, 42905 markings/sec, 1840 secs
lola: 1070 tries, 1069046811 fired transitions, 1845 secs || 79475471 markings, 532490527 edges, 42363 markings/sec, 1845 secs
lola: 1072 tries, 1071966975 fired transitions, 1850 secs || 79680739 markings, 533864155 edges, 41054 markings/sec, 1850 secs
lola: 1075 tries, 1074906749 fired transitions, 1855 secs || 79891004 markings, 535272265 edges, 42053 markings/sec, 1855 secs
lola: 1078 tries, 1077769944 fired transitions, 1860 secs || 80101394 markings, 536677816 edges, 42078 markings/sec, 1860 secs
lola: 1081 tries, 1080516964 fired transitions, 1865 secs || 80314815 markings, 538107736 edges, 42684 markings/sec, 1865 secs
lola: 1084 tries, 1083368630 fired transitions, 1870 secs || 80528361 markings, 539534259 edges, 42709 markings/sec, 1870 secs
lola: 1087 tries, 1086285278 fired transitions, 1875 secs || 80742326 markings, 540966500 edges, 42793 markings/sec, 1875 secs
lola: 1090 tries, 1089179439 fired transitions, 1880 secs || 80955887 markings, 542397117 edges, 42712 markings/sec, 1880 secs
lola: 1093 tries, 1092089137 fired transitions, 1885 secs || 81165912 markings, 543801760 edges, 42005 markings/sec, 1885 secs
lola: 1096 tries, 1095002482 fired transitions, 1890 secs || 81375409 markings, 545202371 edges, 41899 markings/sec, 1890 secs
lola: 1098 tries, 1097927165 fired transitions, 1895 secs || 81583949 markings, 546598325 edges, 41708 markings/sec, 1895 secs
lola: 1101 tries, 1100876647 fired transitions, 1900 secs || 81795141 markings, 548010295 edges, 42238 markings/sec, 1900 secs
lola: 1104 tries, 1103824458 fired transitions, 1905 secs || 82005577 markings, 549419428 edges, 42087 markings/sec, 1905 secs
lola: 1107 tries, 1106770367 fired transitions, 1910 secs || 82213458 markings, 550811208 edges, 41576 markings/sec, 1910 secs
lola: 1110 tries, 1109736072 fired transitions, 1915 secs || 82424277 markings, 552218423 edges, 42164 markings/sec, 1915 secs
lola: 1113 tries, 1112655537 fired transitions, 1920 secs || 82632039 markings, 553610153 edges, 41552 markings/sec, 1920 secs
lola: 1116 tries, 1115572250 fired transitions, 1925 secs || 82857120 markings, 555116465 edges, 45016 markings/sec, 1925 secs
lola: 1119 tries, 1118494959 fired transitions, 1930 secs || 83075499 markings, 556577640 edges, 43676 markings/sec, 1930 secs
lola: 1122 tries, 1121355471 fired transitions, 1935 secs || 83287980 markings, 557998265 edges, 42496 markings/sec, 1935 secs
lola: 1125 tries, 1124302777 fired transitions, 1940 secs || 83503550 markings, 559441525 edges, 43114 markings/sec, 1940 secs
lola: 1128 tries, 1127187260 fired transitions, 1945 secs || 83721691 markings, 560899817 edges, 43628 markings/sec, 1945 secs
lola: 1131 tries, 1130104861 fired transitions, 1950 secs || 83935397 markings, 562330000 edges, 42741 markings/sec, 1950 secs
lola: 1133 tries, 1132982377 fired transitions, 1955 secs || 84144982 markings, 563733487 edges, 41917 markings/sec, 1955 secs
lola: 1136 tries, 1135889624 fired transitions, 1960 secs || 84353179 markings, 565125016 edges, 41639 markings/sec, 1960 secs
lola: 1139 tries, 1138763049 fired transitions, 1965 secs || 84555829 markings, 566482387 edges, 40530 markings/sec, 1965 secs
lola: 1142 tries, 1141665828 fired transitions, 1970 secs || 84771180 markings, 567923200 edges, 43070 markings/sec, 1970 secs
lola: 1145 tries, 1144571685 fired transitions, 1975 secs || 84980953 markings, 569326902 edges, 41955 markings/sec, 1975 secs
lola: 1148 tries, 1147456263 fired transitions, 1980 secs || 85192267 markings, 570739987 edges, 42263 markings/sec, 1980 secs
lola: 1151 tries, 1150338606 fired transitions, 1985 secs || 85397827 markings, 572116137 edges, 41112 markings/sec, 1985 secs
lola: 1154 tries, 1153229029 fired transitions, 1990 secs || 85607881 markings, 573520352 edges, 42011 markings/sec, 1990 secs
lola: 1157 tries, 1156112819 fired transitions, 1995 secs || 85819551 markings, 574937333 edges, 42334 markings/sec, 1995 secs
lola: 1159 tries, 1158929429 fired transitions, 2000 secs || 86027263 markings, 576325570 edges, 41542 markings/sec, 2000 secs
lola: 1162 tries, 1161801116 fired transitions, 2005 secs || 86229317 markings, 577678401 edges, 40411 markings/sec, 2005 secs
lola: 1165 tries, 1164680004 fired transitions, 2010 secs || 86433938 markings, 579047027 edges, 40924 markings/sec, 2010 secs
lola: 1168 tries, 1167523422 fired transitions, 2015 secs || 86642372 markings, 580441510 edges, 41687 markings/sec, 2015 secs
lola: 1171 tries, 1170416773 fired transitions, 2020 secs || 86854259 markings, 581858184 edges, 42377 markings/sec, 2020 secs
lola: 1174 tries, 1173309575 fired transitions, 2025 secs || 87065345 markings, 583271022 edges, 42217 markings/sec, 2025 secs
lola: 1177 tries, 1176228135 fired transitions, 2030 secs || 87273756 markings, 584666361 edges, 41682 markings/sec, 2030 secs
lola: 1180 tries, 1179144712 fired transitions, 2035 secs || 87482479 markings, 586060490 edges, 41745 markings/sec, 2035 secs
lola: 1183 tries, 1182074261 fired transitions, 2040 secs || 87689602 markings, 587448261 edges, 41425 markings/sec, 2040 secs
lola: 1185 tries, 1184956709 fired transitions, 2045 secs || 87893811 markings, 588814040 edges, 40842 markings/sec, 2045 secs
lola: 1188 tries, 1187828810 fired transitions, 2050 secs || 88095851 markings, 590165509 edges, 40408 markings/sec, 2050 secs
lola: 1191 tries, 1190707046 fired transitions, 2055 secs || 88298391 markings, 591520979 edges, 40508 markings/sec, 2055 secs
lola: 1194 tries, 1193560956 fired transitions, 2060 secs || 88499826 markings, 592867431 edges, 40287 markings/sec, 2060 secs
lola: 1197 tries, 1196457971 fired transitions, 2065 secs || 88709832 markings, 594272695 edges, 42001 markings/sec, 2065 secs
lola: 1200 tries, 1199338434 fired transitions, 2070 secs || 88916667 markings, 595657058 edges, 41367 markings/sec, 2070 secs
lola: 1203 tries, 1202196574 fired transitions, 2075 secs || 89121879 markings, 597027514 edges, 41042 markings/sec, 2075 secs
lola: 1206 tries, 1205095509 fired transitions, 2080 secs || 89320969 markings, 598359981 edges, 39818 markings/sec, 2080 secs
lola: 1208 tries, 1207971856 fired transitions, 2085 secs || 89520838 markings, 599697696 edges, 39974 markings/sec, 2085 secs
lola: 1211 tries, 1210901009 fired transitions, 2090 secs || 89724565 markings, 601059444 edges, 40745 markings/sec, 2090 secs
lola: 1214 tries, 1213780207 fired transitions, 2095 secs || 89926604 markings, 602409794 edges, 40408 markings/sec, 2095 secs
lola: 1217 tries, 1216609361 fired transitions, 2100 secs || 90132260 markings, 603786584 edges, 41131 markings/sec, 2100 secs
lola: 1220 tries, 1219502666 fired transitions, 2105 secs || 90337218 markings, 605168496 edges, 40992 markings/sec, 2105 secs
lola: 1223 tries, 1222382900 fired transitions, 2110 secs || 90542001 markings, 606546030 edges, 40957 markings/sec, 2110 secs
lola: 1226 tries, 1225317801 fired transitions, 2115 secs || 90748608 markings, 607937104 edges, 41321 markings/sec, 2115 secs
lola: 1229 tries, 1228243118 fired transitions, 2120 secs || 90961573 markings, 609371911 edges, 42593 markings/sec, 2120 secs
lola: 1232 tries, 1231200045 fired transitions, 2125 secs || 91177278 markings, 610823236 edges, 43141 markings/sec, 2125 secs
lola: 1235 tries, 1234121523 fired transitions, 2130 secs || 91385786 markings, 612227505 edges, 41702 markings/sec, 2130 secs
lola: 1238 tries, 1237059903 fired transitions, 2135 secs || 91597512 markings, 613652952 edges, 42345 markings/sec, 2135 secs
lola: 1240 tries, 1239963548 fired transitions, 2140 secs || 91817368 markings, 615130729 edges, 43971 markings/sec, 2140 secs
lola: 1243 tries, 1242882004 fired transitions, 2145 secs || 92034073 markings, 616589813 edges, 43341 markings/sec, 2145 secs
lola: 1246 tries, 1245800603 fired transitions, 2150 secs || 92247368 markings, 618026030 edges, 42659 markings/sec, 2150 secs
lola: 1249 tries, 1248735398 fired transitions, 2155 secs || 92463285 markings, 619481671 edges, 43183 markings/sec, 2155 secs
lola: 1252 tries, 1251663751 fired transitions, 2160 secs || 92678217 markings, 620929440 edges, 42986 markings/sec, 2160 secs
lola: 1255 tries, 1254585468 fired transitions, 2165 secs || 92888408 markings, 622343722 edges, 42038 markings/sec, 2165 secs
lola: 1258 tries, 1257520129 fired transitions, 2170 secs || 93106599 markings, 623808697 edges, 43638 markings/sec, 2170 secs
lola: 1261 tries, 1260446378 fired transitions, 2175 secs || 93327675 markings, 625288457 edges, 44215 markings/sec, 2175 secs
lola: 1264 tries, 1263378133 fired transitions, 2180 secs || 93544616 markings, 626739395 edges, 43388 markings/sec, 2180 secs
lola: 1267 tries, 1266311967 fired transitions, 2185 secs || 93759189 markings, 628176253 edges, 42915 markings/sec, 2185 secs
lola: 1270 tries, 1269246921 fired transitions, 2190 secs || 93971675 markings, 629599113 edges, 42497 markings/sec, 2190 secs
lola: 1273 tries, 1272131395 fired transitions, 2195 secs || 94178783 markings, 630984975 edges, 41422 markings/sec, 2195 secs
lola: 1276 tries, 1275059586 fired transitions, 2200 secs || 94389538 markings, 632394115 edges, 42151 markings/sec, 2200 secs
lola: 1279 tries, 1278001007 fired transitions, 2205 secs || 94601939 markings, 633815417 edges, 42480 markings/sec, 2205 secs
lola: 1281 tries, 1280908859 fired transitions, 2210 secs || 94812394 markings, 635225110 edges, 42091 markings/sec, 2210 secs
lola: 1284 tries, 1283792584 fired transitions, 2215 secs || 95020661 markings, 636618262 edges, 41653 markings/sec, 2215 secs
lola: 1287 tries, 1286720888 fired transitions, 2220 secs || 95233253 markings, 638040480 edges, 42518 markings/sec, 2220 secs
lola: 1290 tries, 1289634151 fired transitions, 2225 secs || 95446478 markings, 639468031 edges, 42645 markings/sec, 2225 secs
lola: 1293 tries, 1292513827 fired transitions, 2230 secs || 95657920 markings, 640882148 edges, 42288 markings/sec, 2230 secs
lola: 1296 tries, 1295413823 fired transitions, 2235 secs || 95870160 markings, 642301186 edges, 42448 markings/sec, 2235 secs
lola: 1299 tries, 1298329370 fired transitions, 2240 secs || 96078630 markings, 643696239 edges, 41694 markings/sec, 2240 secs
lola: 1302 tries, 1301213508 fired transitions, 2245 secs || 96286510 markings, 645087618 edges, 41576 markings/sec, 2245 secs
lola: 1305 tries, 1304094778 fired transitions, 2250 secs || 96502626 markings, 646533682 edges, 43223 markings/sec, 2250 secs
lola: 1307 tries, 1306944041 fired transitions, 2255 secs || 96716562 markings, 647964713 edges, 42787 markings/sec, 2255 secs
lola: 1310 tries, 1309765980 fired transitions, 2260 secs || 96928605 markings, 649384500 edges, 42409 markings/sec, 2260 secs
lola: 1313 tries, 1312596433 fired transitions, 2265 secs || 97140514 markings, 650801743 edges, 42382 markings/sec, 2265 secs
lola: 1316 tries, 1315440700 fired transitions, 2270 secs || 97355008 markings, 652237587 edges, 42899 markings/sec, 2270 secs
lola: 1319 tries, 1318283892 fired transitions, 2275 secs || 97569150 markings, 653669042 edges, 42828 markings/sec, 2275 secs
lola: 1322 tries, 1321126325 fired transitions, 2280 secs || 97784165 markings, 655108802 edges, 43003 markings/sec, 2280 secs
lola: 1324 tries, 1323979230 fired transitions, 2285 secs || 97996434 markings, 656529064 edges, 42454 markings/sec, 2285 secs
lola: 1327 tries, 1326854896 fired transitions, 2290 secs || 98206733 markings, 657935795 edges, 42060 markings/sec, 2290 secs
lola: 1330 tries, 1329672673 fired transitions, 2295 secs || 98417944 markings, 659347832 edges, 42242 markings/sec, 2295 secs
lola: 1333 tries, 1332545995 fired transitions, 2300 secs || 98624167 markings, 660727391 edges, 41245 markings/sec, 2300 secs
lola: 1336 tries, 1335412509 fired transitions, 2305 secs || 98825468 markings, 662074811 edges, 40260 markings/sec, 2305 secs
lola: 1339 tries, 1338256539 fired transitions, 2310 secs || 99031293 markings, 663451196 edges, 41165 markings/sec, 2310 secs
lola: 1342 tries, 1341121812 fired transitions, 2315 secs || 99236101 markings, 664822432 edges, 40962 markings/sec, 2315 secs
lola: 1345 tries, 1344017745 fired transitions, 2320 secs || 99450138 markings, 666254667 edges, 42807 markings/sec, 2320 secs
lola: 1347 tries, 1346916141 fired transitions, 2325 secs || 99657816 markings, 667643817 edges, 41536 markings/sec, 2325 secs
lola: 1350 tries, 1349487438 fired transitions, 2330 secs || 99841151 markings, 668870727 edges, 36667 markings/sec, 2330 secs
lola: 1353 tries, 1352329196 fired transitions, 2335 secs || 100047941 markings, 670252035 edges, 41358 markings/sec, 2335 secs
lola: 1356 tries, 1355200193 fired transitions, 2340 secs || 100253943 markings, 671632368 edges, 41200 markings/sec, 2340 secs
lola: 1359 tries, 1358107138 fired transitions, 2345 secs || 100462875 markings, 673029377 edges, 41786 markings/sec, 2345 secs
lola: 1362 tries, 1361030512 fired transitions, 2350 secs || 100671916 markings, 674428700 edges, 41808 markings/sec, 2350 secs
lola: 1364 tries, 1363899510 fired transitions, 2355 secs || 100884590 markings, 675851642 edges, 42535 markings/sec, 2355 secs
lola: 1367 tries, 1366781930 fired transitions, 2360 secs || 101098563 markings, 677283616 edges, 42795 markings/sec, 2360 secs
lola: 1370 tries, 1369675855 fired transitions, 2365 secs || 101308628 markings, 678689940 edges, 42013 markings/sec, 2365 secs
lola: 1373 tries, 1372314087 fired transitions, 2370 secs || 101497581 markings, 679952011 edges, 37791 markings/sec, 2370 secs
lola: 1374 tries, 1373836035 fired transitions, 2375 secs || 101606227 markings, 680681004 edges, 21729 markings/sec, 2375 secs
lola: 1376 tries, 1375355552 fired transitions, 2380 secs || 101714728 markings, 681406791 edges, 21700 markings/sec, 2380 secs
lola: 1377 tries, 1376877956 fired transitions, 2385 secs || 101821755 markings, 682123206 edges, 21405 markings/sec, 2385 secs
lola: 1379 tries, 1378405664 fired transitions, 2390 secs || 101929447 markings, 682842564 edges, 21538 markings/sec, 2390 secs
lola: 1380 tries, 1379928933 fired transitions, 2395 secs || 102035938 markings, 683555726 edges, 21298 markings/sec, 2395 secs
lola: 1382 tries, 1381638993 fired transitions, 2400 secs || 102161751 markings, 684396305 edges, 25163 markings/sec, 2400 secs
lola: 1384 tries, 1383166663 fired transitions, 2405 secs || 102270884 markings, 685126431 edges, 21827 markings/sec, 2405 secs
lola: 1385 tries, 1384685154 fired transitions, 2410 secs || 102380215 markings, 685859213 edges, 21866 markings/sec, 2410 secs
lola: 1387 tries, 1386212615 fired transitions, 2415 secs || 102488455 markings, 686581890 edges, 21648 markings/sec, 2415 secs
lola: 1388 tries, 1387789368 fired transitions, 2420 secs || 102597388 markings, 687311589 edges, 21787 markings/sec, 2420 secs
lola: 1391 tries, 1390704818 fired transitions, 2425 secs || 102808337 markings, 688722900 edges, 42190 markings/sec, 2425 secs
lola: 1394 tries, 1393615527 fired transitions, 2430 secs || 103021385 markings, 690147409 edges, 42610 markings/sec, 2430 secs
lola: 1397 tries, 1396506846 fired transitions, 2435 secs || 103239304 markings, 691606645 edges, 43584 markings/sec, 2435 secs
lola: 1400 tries, 1399427904 fired transitions, 2440 secs || 103448415 markings, 693006419 edges, 41822 markings/sec, 2440 secs
lola: 1403 tries, 1402338524 fired transitions, 2445 secs || 103654403 markings, 694382536 edges, 41198 markings/sec, 2445 secs
lola: 1406 tries, 1405255813 fired transitions, 2450 secs || 103869061 markings, 695819399 edges, 42932 markings/sec, 2450 secs
lola: 1409 tries, 1408151142 fired transitions, 2455 secs || 104083959 markings, 697256104 edges, 42980 markings/sec, 2455 secs
lola: 1411 tries, 1410114202 fired transitions, 2460 secs || 104229547 markings, 698230712 edges, 29118 markings/sec, 2460 secs
lola: 1413 tries, 1412955216 fired transitions, 2465 secs || 104436696 markings, 699616232 edges, 41430 markings/sec, 2465 secs
lola: 1416 tries, 1415853033 fired transitions, 2470 secs || 104644634 markings, 701008551 edges, 41588 markings/sec, 2470 secs
lola: 1419 tries, 1418745656 fired transitions, 2475 secs || 104851726 markings, 702392857 edges, 41418 markings/sec, 2475 secs
lola: 1422 tries, 1421640323 fired transitions, 2480 secs || 105057375 markings, 703769597 edges, 41130 markings/sec, 2480 secs
lola: 1425 tries, 1424549658 fired transitions, 2485 secs || 105267147 markings, 705172285 edges, 41954 markings/sec, 2485 secs
lola: 1428 tries, 1427450079 fired transitions, 2490 secs || 105475334 markings, 706566306 edges, 41637 markings/sec, 2490 secs
lola: 1431 tries, 1430340377 fired transitions, 2495 secs || 105682547 markings, 707952729 edges, 41443 markings/sec, 2495 secs
lola: 1434 tries, 1433230548 fired transitions, 2500 secs || 105887481 markings, 709321228 edges, 40987 markings/sec, 2500 secs
lola: 1437 tries, 1436126497 fired transitions, 2505 secs || 106090311 markings, 710680276 edges, 40566 markings/sec, 2505 secs
lola: 1440 tries, 1439017894 fired transitions, 2510 secs || 106293311 markings, 712038485 edges, 40600 markings/sec, 2510 secs
lola: 1442 tries, 1441947194 fired transitions, 2515 secs || 106493318 markings, 713376926 edges, 40001 markings/sec, 2515 secs
lola: 1445 tries, 1444882144 fired transitions, 2520 secs || 106701080 markings, 714763737 edges, 41552 markings/sec, 2520 secs
lola: 1448 tries, 1447807245 fired transitions, 2525 secs || 106905844 markings, 716136528 edges, 40953 markings/sec, 2525 secs
lola: 1451 tries, 1450733325 fired transitions, 2530 secs || 107113462 markings, 717523738 edges, 41524 markings/sec, 2530 secs
lola: 1454 tries, 1453665520 fired transitions, 2535 secs || 107322104 markings, 718919974 edges, 41728 markings/sec, 2535 secs
lola: 1457 tries, 1456570271 fired transitions, 2540 secs || 107530759 markings, 720315720 edges, 41731 markings/sec, 2540 secs
lola: 1460 tries, 1459511566 fired transitions, 2545 secs || 107747705 markings, 721765812 edges, 43389 markings/sec, 2545 secs
lola: 1463 tries, 1462457009 fired transitions, 2550 secs || 107965113 markings, 723221470 edges, 43482 markings/sec, 2550 secs
lola: 1466 tries, 1465418388 fired transitions, 2555 secs || 108183831 markings, 724684386 edges, 43744 markings/sec, 2555 secs
lola: 1468 tries, 1467802045 fired transitions, 2560 secs || 108357419 markings, 725845591 edges, 34718 markings/sec, 2560 secs
lola: 1471 tries, 1470701012 fired transitions, 2565 secs || 108568239 markings, 727257501 edges, 42164 markings/sec, 2565 secs
lola: 1474 tries, 1473590091 fired transitions, 2570 secs || 108785515 markings, 728710104 edges, 43455 markings/sec, 2570 secs
lola: 1477 tries, 1476494312 fired transitions, 2575 secs || 109000940 markings, 730152609 edges, 43085 markings/sec, 2575 secs
lola: 1480 tries, 1479428242 fired transitions, 2580 secs || 109213195 markings, 731572818 edges, 42451 markings/sec, 2580 secs
lola: 1483 tries, 1482347651 fired transitions, 2585 secs || 109424930 markings, 732989400 edges, 42347 markings/sec, 2585 secs
lola: 1486 tries, 1485294521 fired transitions, 2590 secs || 109639484 markings, 734424880 edges, 42911 markings/sec, 2590 secs
lola: 1489 tries, 1488210474 fired transitions, 2595 secs || 109853422 markings, 735855076 edges, 42788 markings/sec, 2595 secs
lola: 1492 tries, 1491114004 fired transitions, 2600 secs || 110064569 markings, 737268969 edges, 42229 markings/sec, 2600 secs
lola: 1495 tries, 1494041845 fired transitions, 2605 secs || 110268926 markings, 738634668 edges, 40871 markings/sec, 2605 secs
lola: 1497 tries, 1496955806 fired transitions, 2610 secs || 110476170 markings, 740020743 edges, 41449 markings/sec, 2610 secs
lola: 1500 tries, 1499857388 fired transitions, 2615 secs || 110687849 markings, 741437133 edges, 42336 markings/sec, 2615 secs
lola: 1503 tries, 1502765192 fired transitions, 2620 secs || 110896913 markings, 742836143 edges, 41813 markings/sec, 2620 secs
lola: 1506 tries, 1505675974 fired transitions, 2625 secs || 111104017 markings, 744223180 edges, 41421 markings/sec, 2625 secs
lola: 1509 tries, 1508611001 fired transitions, 2630 secs || 111299592 markings, 745531178 edges, 39115 markings/sec, 2630 secs
lola: 1512 tries, 1511541084 fired transitions, 2635 secs || 111507155 markings, 746918641 edges, 41513 markings/sec, 2635 secs
lola: 1514 tries, 1513354550 fired transitions, 2640 secs || 111642259 markings, 747824166 edges, 27021 markings/sec, 2640 secs
lola: 1515 tries, 1514881846 fired transitions, 2645 secs || 111753391 markings, 748567410 edges, 22226 markings/sec, 2645 secs
lola: 1517 tries, 1516409289 fired transitions, 2650 secs || 111862876 markings, 749298923 edges, 21897 markings/sec, 2650 secs
lola: 1519 tries, 1518353790 fired transitions, 2655 secs || 112006049 markings, 750257652 edges, 28635 markings/sec, 2655 secs
lola: 1522 tries, 1521268280 fired transitions, 2660 secs || 112222497 markings, 751705520 edges, 43290 markings/sec, 2660 secs
lola: 1525 tries, 1524131373 fired transitions, 2665 secs || 112438145 markings, 753148516 edges, 43130 markings/sec, 2665 secs
lola: 1528 tries, 1527074498 fired transitions, 2670 secs || 112657017 markings, 754611915 edges, 43774 markings/sec, 2670 secs
lola: 1530 tries, 1529975991 fired transitions, 2675 secs || 112875662 markings, 756073959 edges, 43729 markings/sec, 2675 secs
lola: 1533 tries, 1532868375 fired transitions, 2680 secs || 113092160 markings, 757523744 edges, 43300 markings/sec, 2680 secs
lola: 1536 tries, 1535813428 fired transitions, 2685 secs || 113306478 markings, 758957322 edges, 42864 markings/sec, 2685 secs
lola: 1539 tries, 1538764294 fired transitions, 2690 secs || 113522628 markings, 760403240 edges, 43230 markings/sec, 2690 secs
lola: 1542 tries, 1541708355 fired transitions, 2695 secs || 113741084 markings, 761864809 edges, 43691 markings/sec, 2695 secs
lola: 1545 tries, 1544641564 fired transitions, 2700 secs || 113955741 markings, 763299289 edges, 42931 markings/sec, 2700 secs
lola: 1548 tries, 1547585013 fired transitions, 2705 secs || 114170135 markings, 764735053 edges, 42879 markings/sec, 2705 secs
lola: 1551 tries, 1550528695 fired transitions, 2710 secs || 114382012 markings, 766152677 edges, 42375 markings/sec, 2710 secs
lola: 1554 tries, 1553466067 fired transitions, 2715 secs || 114597776 markings, 767593346 edges, 43153 markings/sec, 2715 secs
lola: 1557 tries, 1556404504 fired transitions, 2720 secs || 114810070 markings, 769015356 edges, 42459 markings/sec, 2720 secs
lola: 1560 tries, 1559283212 fired transitions, 2725 secs || 115022483 markings, 770436023 edges, 42483 markings/sec, 2725 secs
lola: 1563 tries, 1562179737 fired transitions, 2730 secs || 115239477 markings, 771887519 edges, 43399 markings/sec, 2730 secs
lola: 1566 tries, 1565089217 fired transitions, 2735 secs || 115454409 markings, 773326132 edges, 42986 markings/sec, 2735 secs
lola: 1569 tries, 1568023632 fired transitions, 2740 secs || 115667135 markings, 774748026 edges, 42545 markings/sec, 2740 secs
lola: 1571 tries, 1570973585 fired transitions, 2745 secs || 115878431 markings, 776162804 edges, 42259 markings/sec, 2745 secs
lola: 1574 tries, 1573891536 fired transitions, 2750 secs || 116086250 markings, 777551311 edges, 41564 markings/sec, 2750 secs
lola: 1577 tries, 1576810639 fired transitions, 2755 secs || 116300199 markings, 778984182 edges, 42790 markings/sec, 2755 secs
lola: 1580 tries, 1579682100 fired transitions, 2760 secs || 116510115 markings, 780388462 edges, 41983 markings/sec, 2760 secs
lola: 1583 tries, 1582581214 fired transitions, 2765 secs || 116719972 markings, 781792066 edges, 41971 markings/sec, 2765 secs
lola: 1586 tries, 1585497915 fired transitions, 2770 secs || 116930305 markings, 783199026 edges, 42067 markings/sec, 2770 secs
lola: 1589 tries, 1588400219 fired transitions, 2775 secs || 117144142 markings, 784628973 edges, 42767 markings/sec, 2775 secs
lola: 1592 tries, 1591268604 fired transitions, 2780 secs || 117357496 markings, 786057653 edges, 42671 markings/sec, 2780 secs
lola: 1595 tries, 1594149535 fired transitions, 2785 secs || 117567359 markings, 787459399 edges, 41973 markings/sec, 2785 secs
lola: 1598 tries, 1597048961 fired transitions, 2790 secs || 117773864 markings, 788842514 edges, 41301 markings/sec, 2790 secs
lola: 1600 tries, 1599958583 fired transitions, 2795 secs || 117977988 markings, 790208775 edges, 40825 markings/sec, 2795 secs
lola: 1603 tries, 1602826625 fired transitions, 2800 secs || 118191912 markings, 791639257 edges, 42785 markings/sec, 2800 secs
lola: 1606 tries, 1605687991 fired transitions, 2805 secs || 118403378 markings, 793053399 edges, 42293 markings/sec, 2805 secs
lola: 1609 tries, 1608627378 fired transitions, 2810 secs || 118616032 markings, 794475397 edges, 42531 markings/sec, 2810 secs
lola: 1612 tries, 1611541102 fired transitions, 2815 secs || 118832878 markings, 795926635 edges, 43369 markings/sec, 2815 secs
lola: 1615 tries, 1614427683 fired transitions, 2820 secs || 119045149 markings, 797345984 edges, 42454 markings/sec, 2820 secs
lola: 1618 tries, 1617319007 fired transitions, 2825 secs || 119247206 markings, 798698538 edges, 40411 markings/sec, 2825 secs
lola: 1621 tries, 1620225785 fired transitions, 2830 secs || 119456969 markings, 800100966 edges, 41953 markings/sec, 2830 secs
lola: 1624 tries, 1623113446 fired transitions, 2835 secs || 119663063 markings, 801479042 edges, 41219 markings/sec, 2835 secs
lola: 1626 tries, 1625981606 fired transitions, 2840 secs || 119870692 markings, 802867782 edges, 41526 markings/sec, 2840 secs
lola: 1629 tries, 1628898928 fired transitions, 2845 secs || 120078030 markings, 804254729 edges, 41468 markings/sec, 2845 secs
lola: 1632 tries, 1631779269 fired transitions, 2850 secs || 120284856 markings, 805638543 edges, 41365 markings/sec, 2850 secs
lola: 1635 tries, 1634696179 fired transitions, 2855 secs || 120496751 markings, 807055748 edges, 42379 markings/sec, 2855 secs
lola: 1638 tries, 1637604794 fired transitions, 2860 secs || 120703740 markings, 808440431 edges, 41398 markings/sec, 2860 secs
lola: 1641 tries, 1640494349 fired transitions, 2865 secs || 120911038 markings, 809826849 edges, 41460 markings/sec, 2865 secs
lola: 1644 tries, 1643394256 fired transitions, 2870 secs || 121118702 markings, 811214851 edges, 41533 markings/sec, 2870 secs
lola: 1647 tries, 1646314179 fired transitions, 2875 secs || 121324295 markings, 812589826 edges, 41119 markings/sec, 2875 secs
lola: 1650 tries, 1649259774 fired transitions, 2880 secs || 121543523 markings, 814065028 edges, 43846 markings/sec, 2880 secs
lola: 1653 tries, 1652194918 fired transitions, 2885 secs || 121772356 markings, 815607276 edges, 45767 markings/sec, 2885 secs
lola: 1656 tries, 1655099761 fired transitions, 2890 secs || 121993334 markings, 817087120 edges, 44196 markings/sec, 2890 secs
lola: 1659 tries, 1658042434 fired transitions, 2895 secs || 122218301 markings, 818600009 edges, 44993 markings/sec, 2895 secs
lola: 1661 tries, 1660885494 fired transitions, 2900 secs || 122437122 markings, 820065562 edges, 43764 markings/sec, 2900 secs
lola: 1664 tries, 1663812632 fired transitions, 2905 secs || 122661491 markings, 821565059 edges, 44874 markings/sec, 2905 secs
lola: 1667 tries, 1666719664 fired transitions, 2910 secs || 122885248 markings, 823071744 edges, 44751 markings/sec, 2910 secs
lola: 1670 tries, 1669634571 fired transitions, 2915 secs || 123109075 markings, 824575627 edges, 44765 markings/sec, 2915 secs
lola: 1673 tries, 1672516231 fired transitions, 2920 secs || 123327917 markings, 826040595 edges, 43768 markings/sec, 2920 secs
lola: 1676 tries, 1675404192 fired transitions, 2925 secs || 123545062 markings, 827493429 edges, 43429 markings/sec, 2925 secs
lola: 1679 tries, 1678328910 fired transitions, 2930 secs || 123764978 markings, 828964825 edges, 43983 markings/sec, 2930 secs
lola: 1682 tries, 1681251948 fired transitions, 2935 secs || 123984456 markings, 830433740 edges, 43896 markings/sec, 2935 secs
lola: 1685 tries, 1684160873 fired transitions, 2940 secs || 124201019 markings, 831882760 edges, 43313 markings/sec, 2940 secs
lola: 1688 tries, 1687090177 fired transitions, 2945 secs || 124416094 markings, 833321646 edges, 43015 markings/sec, 2945 secs
lola: 1691 tries, 1690012901 fired transitions, 2950 secs || 124637705 markings, 834813323 edges, 44322 markings/sec, 2950 secs
lola: 1693 tries, 1692943056 fired transitions, 2955 secs || 124859137 markings, 836303645 edges, 44286 markings/sec, 2955 secs
lola: 1696 tries, 1695849240 fired transitions, 2960 secs || 125079687 markings, 837787156 edges, 44110 markings/sec, 2960 secs
lola: 1699 tries, 1698763973 fired transitions, 2965 secs || 125298340 markings, 839249854 edges, 43731 markings/sec, 2965 secs
lola: 1702 tries, 1701704102 fired transitions, 2970 secs || 125514047 markings, 840693779 edges, 43141 markings/sec, 2970 secs
lola: 1705 tries, 1704634592 fired transitions, 2975 secs || 125724591 markings, 842103359 edges, 42109 markings/sec, 2975 secs
lola: 1708 tries, 1707563287 fired transitions, 2980 secs || 125937275 markings, 843526591 edges, 42537 markings/sec, 2980 secs
lola: 1711 tries, 1710517785 fired transitions, 2985 secs || 126144212 markings, 844911102 edges, 41387 markings/sec, 2985 secs
lola: 1714 tries, 1713432234 fired transitions, 2990 secs || 126355463 markings, 846323167 edges, 42250 markings/sec, 2990 secs
lola: 1717 tries, 1716367601 fired transitions, 2995 secs || 126571328 markings, 847769533 edges, 43173 markings/sec, 2995 secs
lola: 1720 tries, 1719319763 fired transitions, 3000 secs || 126787397 markings, 849214614 edges, 43214 markings/sec, 3000 secs
lola: 1723 tries, 1722251999 fired transitions, 3005 secs || 127006811 markings, 850683333 edges, 43883 markings/sec, 3005 secs
lola: 1726 tries, 1725196075 fired transitions, 3010 secs || 127225411 markings, 852144490 edges, 43720 markings/sec, 3010 secs
lola: 1729 tries, 1728158213 fired transitions, 3015 secs || 127441909 markings, 853593556 edges, 43300 markings/sec, 3015 secs
lola: 1732 tries, 1731056464 fired transitions, 3020 secs || 127655637 markings, 855023377 edges, 42746 markings/sec, 3020 secs
lola: 1735 tries, 1734009826 fired transitions, 3025 secs || 127868037 markings, 856445962 edges, 42480 markings/sec, 3025 secs
lola: 1737 tries, 1736943868 fired transitions, 3030 secs || 128079092 markings, 857856960 edges, 42211 markings/sec, 3030 secs
lola: 1740 tries, 1739874168 fired transitions, 3035 secs || 128290301 markings, 859270614 edges, 42242 markings/sec, 3035 secs
lola: 1743 tries, 1742806599 fired transitions, 3040 secs || 128510030 markings, 860749445 edges, 43946 markings/sec, 3040 secs
lola: 1746 tries, 1745729744 fired transitions, 3045 secs || 128725403 markings, 862198738 edges, 43075 markings/sec, 3045 secs
lola: 1749 tries, 1748663756 fired transitions, 3050 secs || 128942300 markings, 863659503 edges, 43379 markings/sec, 3050 secs
lola: 1752 tries, 1751529856 fired transitions, 3055 secs || 129155160 markings, 865092502 edges, 42572 markings/sec, 3055 secs
lola: 1755 tries, 1754421560 fired transitions, 3060 secs || 129371071 markings, 866546814 edges, 43182 markings/sec, 3060 secs
lola: 1758 tries, 1757313233 fired transitions, 3065 secs || 129592157 markings, 868026436 edges, 44217 markings/sec, 3065 secs
lola: 1761 tries, 1760261949 fired transitions, 3070 secs || 129809493 markings, 869480918 edges, 43467 markings/sec, 3070 secs
lola: 1764 tries, 1763195053 fired transitions, 3075 secs || 130025106 markings, 870924246 edges, 43123 markings/sec, 3075 secs
lola: 1767 tries, 1766145409 fired transitions, 3080 secs || 130241884 markings, 872374478 edges, 43356 markings/sec, 3080 secs
lola: 1770 tries, 1769079357 fired transitions, 3085 secs || 130453284 markings, 873787605 edges, 42280 markings/sec, 3085 secs
lola: 1773 tries, 1772018658 fired transitions, 3090 secs || 130662094 markings, 875185201 edges, 41762 markings/sec, 3090 secs
lola: 1775 tries, 1774977732 fired transitions, 3095 secs || 130873464 markings, 876599669 edges, 42274 markings/sec, 3095 secs
lola: 1778 tries, 1777909798 fired transitions, 3100 secs || 131086852 markings, 878027628 edges, 42678 markings/sec, 3100 secs
lola: 1781 tries, 1780811729 fired transitions, 3105 secs || 131298606 markings, 879445637 edges, 42351 markings/sec, 3105 secs
lola: 1784 tries, 1783669435 fired transitions, 3110 secs || 131511777 markings, 880872179 edges, 42634 markings/sec, 3110 secs
lola: 1787 tries, 1786545187 fired transitions, 3115 secs || 131721077 markings, 882272683 edges, 41860 markings/sec, 3115 secs
lola: 1790 tries, 1789498050 fired transitions, 3120 secs || 131930400 markings, 883673140 edges, 41865 markings/sec, 3120 secs
lola: 1793 tries, 1792435448 fired transitions, 3125 secs || 132141407 markings, 885084216 edges, 42201 markings/sec, 3125 secs
lola: 1796 tries, 1795333738 fired transitions, 3130 secs || 132354285 markings, 886509106 edges, 42576 markings/sec, 3130 secs
lola: 1799 tries, 1798225061 fired transitions, 3135 secs || 132565575 markings, 887920692 edges, 42258 markings/sec, 3135 secs
lola: 1802 tries, 1801176878 fired transitions, 3140 secs || 132782257 markings, 889372954 edges, 43336 markings/sec, 3140 secs
lola: 1805 tries, 1804058736 fired transitions, 3145 secs || 132998874 markings, 890821823 edges, 43323 markings/sec, 3145 secs
lola: 1807 tries, 1806999985 fired transitions, 3150 secs || 133214766 markings, 892267044 edges, 43178 markings/sec, 3150 secs
lola: 1810 tries, 1809902343 fired transitions, 3155 secs || 133429062 markings, 893700649 edges, 42859 markings/sec, 3155 secs
lola: 1813 tries, 1812782498 fired transitions, 3160 secs || 133644933 markings, 895143964 edges, 43174 markings/sec, 3160 secs
lola: 1816 tries, 1815679227 fired transitions, 3165 secs || 133861233 markings, 896592542 edges, 43260 markings/sec, 3165 secs
lola: 1819 tries, 1818570908 fired transitions, 3170 secs || 134077659 markings, 898040835 edges, 43285 markings/sec, 3170 secs
lola: 1822 tries, 1821460094 fired transitions, 3175 secs || 134288272 markings, 899448411 edges, 42123 markings/sec, 3175 secs
lola: 1825 tries, 1824343419 fired transitions, 3180 secs || 134499635 markings, 900863581 edges, 42273 markings/sec, 3180 secs
lola: 1828 tries, 1827242774 fired transitions, 3185 secs || 134717325 markings, 902320486 edges, 43538 markings/sec, 3185 secs
lola: 1831 tries, 1830118273 fired transitions, 3190 secs || 134930586 markings, 903745630 edges, 42652 markings/sec, 3190 secs
lola: 1834 tries, 1833007629 fired transitions, 3195 secs || 135141820 markings, 905159210 edges, 42247 markings/sec, 3195 secs
lola: 1836 tries, 1835901721 fired transitions, 3200 secs || 135350210 markings, 906552761 edges, 41678 markings/sec, 3200 secs
lola: 1839 tries, 1838807035 fired transitions, 3205 secs || 135555727 markings, 907929327 edges, 41103 markings/sec, 3205 secs
lola: 1842 tries, 1841695428 fired transitions, 3210 secs || 135766384 markings, 909338652 edges, 42131 markings/sec, 3210 secs
lola: 1845 tries, 1844563853 fired transitions, 3215 secs || 135974148 markings, 910727936 edges, 41553 markings/sec, 3215 secs
lola: 1848 tries, 1847464964 fired transitions, 3220 secs || 136186682 markings, 912150543 edges, 42507 markings/sec, 3220 secs
lola: 1851 tries, 1850354161 fired transitions, 3225 secs || 136396821 markings, 913556426 edges, 42028 markings/sec, 3225 secs
lola: 1854 tries, 1853277958 fired transitions, 3230 secs || 136614702 markings, 915018851 edges, 43576 markings/sec, 3230 secs
lola: 1857 tries, 1856191969 fired transitions, 3235 secs || 136831514 markings, 916478164 edges, 43362 markings/sec, 3235 secs
lola: 1860 tries, 1859105200 fired transitions, 3240 secs || 137048674 markings, 917940537 edges, 43432 markings/sec, 3240 secs
lola: 1863 tries, 1862033874 fired transitions, 3245 secs || 137266354 markings, 919404307 edges, 43536 markings/sec, 3245 secs
lola: 1865 tries, 1864966653 fired transitions, 3250 secs || 137481658 markings, 920854203 edges, 43061 markings/sec, 3250 secs
lola: 1868 tries, 1867874533 fired transitions, 3255 secs || 137698431 markings, 922314729 edges, 43355 markings/sec, 3255 secs
lola: 1871 tries, 1870805360 fired transitions, 3260 secs || 137913704 markings, 923765590 edges, 43055 markings/sec, 3260 secs
lola: 1874 tries, 1873726670 fired transitions, 3265 secs || 138130025 markings, 925218648 edges, 43264 markings/sec, 3265 secs
lola: 1877 tries, 1876580573 fired transitions, 3270 secs || 138352842 markings, 926718383 edges, 44563 markings/sec, 3270 secs
lola: 1880 tries, 1879447927 fired transitions, 3275 secs || 138575440 markings, 928206766 edges, 44520 markings/sec, 3275 secs
lola: 1883 tries, 1882347732 fired transitions, 3280 secs || 138794218 markings, 929670381 edges, 43756 markings/sec, 3280 secs
lola: 1886 tries, 1885281086 fired transitions, 3285 secs || 139011297 markings, 931125392 edges, 43416 markings/sec, 3285 secs
lola: 1889 tries, 1888220423 fired transitions, 3290 secs || 139215522 markings, 932492161 edges, 40845 markings/sec, 3290 secs
lola: 1892 tries, 1891112841 fired transitions, 3295 secs || 139426542 markings, 933903806 edges, 42204 markings/sec, 3295 secs
lola: 1894 tries, 1893982740 fired transitions, 3300 secs || 139636497 markings, 935306693 edges, 41991 markings/sec, 3300 secs
lola: 1897 tries, 1896856828 fired transitions, 3305 secs || 139849672 markings, 936735098 edges, 42635 markings/sec, 3305 secs
lola: 1900 tries, 1899754192 fired transitions, 3310 secs || 140060597 markings, 938146620 edges, 42185 markings/sec, 3310 secs
lola: 1903 tries, 1902610723 fired transitions, 3315 secs || 140271654 markings, 939558511 edges, 42211 markings/sec, 3315 secs
lola: 1906 tries, 1905531955 fired transitions, 3320 secs || 140482199 markings, 940965744 edges, 42109 markings/sec, 3320 secs
lola: 1909 tries, 1908424560 fired transitions, 3325 secs || 140693213 markings, 942379287 edges, 42203 markings/sec, 3325 secs
lola: 1912 tries, 1911358754 fired transitions, 3330 secs || 140899689 markings, 943760944 edges, 41295 markings/sec, 3330 secs
lola: 1915 tries, 1914296270 fired transitions, 3335 secs || 141106682 markings, 945144980 edges, 41399 markings/sec, 3335 secs
lola: 1918 tries, 1917242305 fired transitions, 3340 secs || 141312042 markings, 946519907 edges, 41072 markings/sec, 3340 secs
lola: 1921 tries, 1920131904 fired transitions, 3345 secs || 141519063 markings, 947904756 edges, 41404 markings/sec, 3345 secs
lola: 1924 tries, 1923057229 fired transitions, 3350 secs || 141733689 markings, 949339991 edges, 42925 markings/sec, 3350 secs
lola: 1926 tries, 1925967167 fired transitions, 3355 secs || 141946788 markings, 950766650 edges, 42620 markings/sec, 3355 secs
lola: 1929 tries, 1928839802 fired transitions, 3360 secs || 142156306 markings, 952169685 edges, 41904 markings/sec, 3360 secs
lola: 1932 tries, 1931666486 fired transitions, 3365 secs || 142366505 markings, 953576171 edges, 42040 markings/sec, 3365 secs
lola: 1935 tries, 1934587919 fired transitions, 3370 secs || 142578845 markings, 954996424 edges, 42468 markings/sec, 3370 secs
lola: 1938 tries, 1937528027 fired transitions, 3375 secs || 142789318 markings, 956404611 edges, 42095 markings/sec, 3375 secs
lola: 1941 tries, 1940467282 fired transitions, 3380 secs || 143000812 markings, 957819350 edges, 42299 markings/sec, 3380 secs
lola: 1944 tries, 1943384968 fired transitions, 3385 secs || 143212496 markings, 959235838 edges, 42337 markings/sec, 3385 secs
lola: 1947 tries, 1946270877 fired transitions, 3390 secs || 143423825 markings, 960649355 edges, 42266 markings/sec, 3390 secs
lola: 1950 tries, 1949188701 fired transitions, 3395 secs || 143632676 markings, 962046632 edges, 41770 markings/sec, 3395 secs
lola: 1953 tries, 1952055165 fired transitions, 3400 secs || 143836752 markings, 963411726 edges, 40815 markings/sec, 3400 secs
lola: 1956 tries, 1955005457 fired transitions, 3405 secs || 144043404 markings, 964794897 edges, 41330 markings/sec, 3405 secs
lola: 1958 tries, 1957889193 fired transitions, 3410 secs || 144249219 markings, 966172026 edges, 41163 markings/sec, 3410 secs
lola: 1961 tries, 1960799214 fired transitions, 3415 secs || 144453873 markings, 967541551 edges, 40931 markings/sec, 3415 secs
lola: 1964 tries, 1963706760 fired transitions, 3420 secs || 144664752 markings, 968950727 edges, 42176 markings/sec, 3420 secs
lola: 1967 tries, 1966641020 fired transitions, 3425 secs || 144872292 markings, 970341708 edges, 41508 markings/sec, 3425 secs
lola: 1970 tries, 1969549720 fired transitions, 3430 secs || 145076735 markings, 971707982 edges, 40889 markings/sec, 3430 secs
lola: 1973 tries, 1972473736 fired transitions, 3435 secs || 145282746 markings, 973084047 edges, 41202 markings/sec, 3435 secs
lola: 1976 tries, 1975378691 fired transitions, 3440 secs || 145492718 markings, 974491411 edges, 41994 markings/sec, 3440 secs
lola: 1979 tries, 1978321285 fired transitions, 3445 secs || 145710575 markings, 975948050 edges, 43571 markings/sec, 3445 secs
lola: 1982 tries, 1981253430 fired transitions, 3450 secs || 145925455 markings, 977386822 edges, 42976 markings/sec, 3450 secs
lola: 1985 tries, 1984107838 fired transitions, 3455 secs || 146137806 markings, 978807675 edges, 42470 markings/sec, 3455 secs
lola: 1987 tries, 1986988111 fired transitions, 3460 secs || 146348307 markings, 980216205 edges, 42100 markings/sec, 3460 secs
lola: 1990 tries, 1989874008 fired transitions, 3465 secs || 146556419 markings, 981608879 edges, 41622 markings/sec, 3465 secs
lola: 1993 tries, 1992794033 fired transitions, 3470 secs || 146762400 markings, 982986932 edges, 41196 markings/sec, 3470 secs
lola: 1996 tries, 1995704745 fired transitions, 3475 secs || 146971746 markings, 984386741 edges, 41869 markings/sec, 3475 secs
lola: 1999 tries, 1998603720 fired transitions, 3480 secs || 147178131 markings, 985768544 edges, 41277 markings/sec, 3480 secs
lola: 2002 tries, 2001540348 fired transitions, 3485 secs || 147391415 markings, 987195436 edges, 42657 markings/sec, 3485 secs
lola: 2005 tries, 2004470665 fired transitions, 3490 secs || 147607384 markings, 988641167 edges, 43194 markings/sec, 3490 secs
lola: 2008 tries, 2007412162 fired transitions, 3495 secs || 147820505 markings, 990066066 edges, 42624 markings/sec, 3495 secs
lola: 2011 tries, 2010306883 fired transitions, 3500 secs || 148033797 markings, 991491794 edges, 42658 markings/sec, 3500 secs
lola: 2014 tries, 2013212747 fired transitions, 3505 secs || 148235564 markings, 992843410 edges, 40353 markings/sec, 3505 secs
lola: 2017 tries, 2016084440 fired transitions, 3510 secs || 148442694 markings, 994228788 edges, 41426 markings/sec, 3510 secs
lola: 2019 tries, 2018995518 fired transitions, 3515 secs || 148649553 markings, 995612255 edges, 41372 markings/sec, 3515 secs
lola: 2022 tries, 2021915068 fired transitions, 3520 secs || 148855202 markings, 996988703 edges, 41130 markings/sec, 3520 secs
lola: 2025 tries, 2024797820 fired transitions, 3525 secs || 149064692 markings, 998390026 edges, 41898 markings/sec, 3525 secs
lola: 2028 tries, 2027736286 fired transitions, 3530 secs || 149269373 markings, 999758915 edges, 40936 markings/sec, 3530 secs
lola: 2031 tries, 2030659326 fired transitions, 3535 secs || 149486857 markings, 1001212922 edges, 43497 markings/sec, 3535 secs
lola: 2034 tries, 2033593558 fired transitions, 3540 secs || 149698591 markings, 1002629691 edges, 42347 markings/sec, 3540 secs
lola: 2037 tries, 2036502663 fired transitions, 3545 secs || 149908333 markings, 1004033968 edges, 41948 markings/sec, 3545 secs
lola: 2040 tries, 2039424856 fired transitions, 3550 secs || 150116363 markings, 1005424662 edges, 41606 markings/sec, 3550 secs
lola: 2043 tries, 2042332084 fired transitions, 3555 secs || 150323243 markings, 1006809418 edges, 41376 markings/sec, 3555 secs
lola: time limit reached - aborting
lola: memory consumption: 5722416 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 1552565289999

--------------------
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="Diffusion2D-PT-D10N150"
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 Diffusion2D-PT-D10N150, 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 r060-ebro-155234654600102"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/Diffusion2D-PT-D10N150.tgz
mv Diffusion2D-PT-D10N150 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 ;