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

About the Execution of LoLA for FlexibleBarrier-PT-22a

Execution Summary
Max Memory
Used (MB)
Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
8064.920 3571007.00 7239379.00 217.30 [undef] Cannot compute

Execution Chart

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

Trace from the execution

Formatting '/local/x2003239/mcc2019-input.r082-csrt-155246549200291.qcow2', fmt=qcow2 size=4294967296 backing_file=/local/x2003239/mcc2019-input.qcow2 encryption=off cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
....................
=====================================================================
Generated by BenchKit 2-3954
Executing tool lola
Input is FlexibleBarrier-PT-22a, examination is GlobalProperties
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r082-csrt-155246549200291
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 544K
-rw-r--r-- 1 mcc users 3.7K Feb 11 01:28 CTLCardinality.txt
-rw-r--r-- 1 mcc users 21K Feb 11 01:28 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.6K Feb 7 00:09 CTLFireability.txt
-rw-r--r-- 1 mcc users 17K Feb 7 00:09 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.4K Feb 4 23:51 LTLCardinality.txt
-rw-r--r-- 1 mcc users 11K Feb 4 23:51 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.8K Feb 4 22:35 LTLFireability.txt
-rw-r--r-- 1 mcc users 7.7K Feb 4 22:35 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.7K Feb 3 08:44 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 19K Feb 3 08:44 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 3.0K Jan 31 01:38 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 19K Jan 31 01:38 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Feb 4 22:20 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Feb 4 22:20 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Jan 29 09:34 equiv_col

-rw-r--r-- 1 mcc users 4 Jan 29 09:34 instance
-rw-r--r-- 1 mcc users 6 Jan 29 09:34 iscolored
-rw-r--r-- 1 mcc users 0 Jan 29 09:34 model-fix.log
-rw-r--r-- 1 mcc users 384K 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 FlexibleBarrier-PT-22a-GlobalProperties-0

=== Now, execution of the tool begins

BK_START 1552664136517

info: Time: 3600 - MCC
vrfy: Checking GlobalProperties @ FlexibleBarrier-PT-22a @ 3570 seconds
vrfy: finished
info: timeLeft: -1
rslt: Output for GlobalProperties @ FlexibleBarrier-PT-22a

{
"build":
{
"architecture": 64,
"assertions": false,
"build_hostname": "mcc2019",
"build_system": "x86_64-unknown-linux-gnu",
"optimizations": true,
"package_version": "2.0",
"svn_version": "3189M"
},
"call":
{
"exec_host": "mcc2019",
"markinglimit": null,
"parameters":
[
"--pnmlnet",
"model.pnml",
"--xmlformula",
"--formula=GlobalProperties.xml",
"--mcc",
"--donotcomputecapacities",
"--encoder=simplecompressed",
"--check=modelchecking",
"--stubborn=combined",
"--siphontrap=par",
"--siphondepth=10",
"--findpath=par",
"--retrylimit=0",
"--depthlimit=1000000",
"--symmetry",
"--symmtimelimit=300",
"--threads=2",
"--symmetrydepth=1073741824",
"--timelimit=3570",
"--json=GlobalProperties.json",
"--jsoninclude=formula,formulastat,net"
],
"starttime": "Fri Mar 15 15:35:36 2019
",
"timelimit": 3570
},
"child": null,
"exit":
{
"error": null,
"memory": 8039544,
"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": 6375,
"conflict_clusters": 92,
"places": 267,
"places_significant": 243,
"singleton_clusters": 0,
"transitions": 1258
},
"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": 51090942171709440000.000000,
"composed": 177,
"dead_branches": 0,
"generators": 210,
"interrupted": false,
"real_computed": 33,
"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: 1525/268435456 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 267
lola: finding significant places
lola: 267 places, 1258 transitions, 243 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 210 generators (33 in search tree, 177 by composition)
lola: representing 5.10909E+19 symmetries
lola: 0 dead branches visited in search tree
lola: 1 tries, 70722 fired transitions, 0 secs || 152185 markings, 364210 edges, 30437 markings/sec, 0 secs
lola: 1 tries, 163584 fired transitions, 5 secs || 369133 markings, 865371 edges, 43390 markings/sec, 5 secs
lola: 1 tries, 262017 fired transitions, 10 secs || 583026 markings, 1380159 edges, 42779 markings/sec, 10 secs
lola: 1 tries, 361899 fired transitions, 15 secs || 811670 markings, 1921848 edges, 45729 markings/sec, 15 secs
lola: 1 tries, 456714 fired transitions, 20 secs || 1044496 markings, 2474905 edges, 46565 markings/sec, 20 secs
lola: 1 tries, 558483 fired transitions, 25 secs || 1259660 markings, 3002066 edges, 43033 markings/sec, 25 secs
lola: 1 tries, 660765 fired transitions, 30 secs || 1452679 markings, 3484323 edges, 38604 markings/sec, 30 secs
lola: 1 tries, 762585 fired transitions, 35 secs || 1660882 markings, 3995367 edges, 41641 markings/sec, 35 secs
lola: 1 tries, 864540 fired transitions, 40 secs || 1866701 markings, 4510832 edges, 41164 markings/sec, 40 secs
lola: 1 tries, 966360 fired transitions, 45 secs || 2071824 markings, 5012641 edges, 41025 markings/sec, 45 secs
lola: 2 tries, 1067875 fired transitions, 50 secs || 2271884 markings, 5503182 edges, 40012 markings/sec, 50 secs
lola: 2 tries, 1168048 fired transitions, 55 secs || 2458024 markings, 5954434 edges, 37228 markings/sec, 55 secs
lola: 2 tries, 1270252 fired transitions, 60 secs || 2658504 markings, 6444890 edges, 40096 markings/sec, 60 secs
lola: 2 tries, 1370878 fired transitions, 65 secs || 2838801 markings, 6889031 edges, 36059 markings/sec, 65 secs
lola: 2 tries, 1468378 fired transitions, 70 secs || 3047932 markings, 7407006 edges, 41826 markings/sec, 70 secs
lola: 2 tries, 1567306 fired transitions, 75 secs || 3264005 markings, 7937225 edges, 43215 markings/sec, 75 secs
lola: 2 tries, 1666135 fired transitions, 80 secs || 3466874 markings, 8437732 edges, 40574 markings/sec, 80 secs
lola: 2 tries, 1763407 fired transitions, 85 secs || 3672977 markings, 8966788 edges, 41221 markings/sec, 85 secs
lola: 2 tries, 1859440 fired transitions, 90 secs || 3873671 markings, 9493217 edges, 40139 markings/sec, 90 secs
lola: 2 tries, 1958260 fired transitions, 95 secs || 4070432 markings, 9992241 edges, 39352 markings/sec, 95 secs
lola: 3 tries, 2057615 fired transitions, 100 secs || 4269146 markings, 10487777 edges, 39743 markings/sec, 100 secs
lola: 3 tries, 2156909 fired transitions, 105 secs || 4463409 markings, 10994276 edges, 38853 markings/sec, 105 secs
lola: 3 tries, 2256029 fired transitions, 110 secs || 4676677 markings, 11532986 edges, 42654 markings/sec, 110 secs
lola: 3 tries, 2355446 fired transitions, 115 secs || 4866328 markings, 12006500 edges, 37930 markings/sec, 115 secs
lola: 3 tries, 2456405 fired transitions, 120 secs || 5066833 markings, 12515902 edges, 40101 markings/sec, 120 secs
lola: 3 tries, 2555743 fired transitions, 125 secs || 5255888 markings, 12998371 edges, 37811 markings/sec, 125 secs
lola: 3 tries, 2656154 fired transitions, 130 secs || 5451219 markings, 13492046 edges, 39066 markings/sec, 130 secs
lola: 3 tries, 2755217 fired transitions, 135 secs || 5641529 markings, 14016926 edges, 38062 markings/sec, 135 secs
lola: 3 tries, 2856188 fired transitions, 140 secs || 5824280 markings, 14492043 edges, 36550 markings/sec, 140 secs
lola: 3 tries, 2955323 fired transitions, 145 secs || 6018471 markings, 14994593 edges, 38838 markings/sec, 145 secs
lola: 4 tries, 3011769 fired transitions, 150 secs || 6118040 markings, 15274521 edges, 19914 markings/sec, 150 secs
lola: 4 tries, 3066066 fired transitions, 155 secs || 6220766 markings, 15560779 edges, 20545 markings/sec, 155 secs
lola: 4 tries, 3120840 fired transitions, 160 secs || 6329124 markings, 15853870 edges, 21672 markings/sec, 160 secs
lola: 4 tries, 3175473 fired transitions, 165 secs || 6430052 markings, 16132777 edges, 20186 markings/sec, 165 secs
lola: 4 tries, 3230193 fired transitions, 170 secs || 6531343 markings, 16433635 edges, 20258 markings/sec, 170 secs
lola: 4 tries, 3284781 fired transitions, 175 secs || 6642910 markings, 16733411 edges, 22313 markings/sec, 175 secs
lola: 4 tries, 3366135 fired transitions, 180 secs || 6795216 markings, 17108263 edges, 30461 markings/sec, 180 secs
lola: 4 tries, 3461862 fired transitions, 185 secs || 6979148 markings, 17584142 edges, 36786 markings/sec, 185 secs
lola: 4 tries, 3559189 fired transitions, 190 secs || 7167047 markings, 18089211 edges, 37580 markings/sec, 190 secs
lola: 4 tries, 3656541 fired transitions, 195 secs || 7362690 markings, 18606089 edges, 39129 markings/sec, 195 secs
lola: 4 tries, 3753810 fired transitions, 200 secs || 7556018 markings, 19139353 edges, 38666 markings/sec, 200 secs
lola: 4 tries, 3828624 fired transitions, 205 secs || 7695130 markings, 19527797 edges, 27822 markings/sec, 205 secs
lola: 4 tries, 3921030 fired transitions, 210 secs || 7871424 markings, 20031309 edges, 35259 markings/sec, 210 secs
lola: 5 tries, 4021432 fired transitions, 215 secs || 8041218 markings, 20476697 edges, 33959 markings/sec, 215 secs
lola: 5 tries, 4121317 fired transitions, 220 secs || 8216062 markings, 20942281 edges, 34969 markings/sec, 220 secs
lola: 5 tries, 4222030 fired transitions, 225 secs || 8405342 markings, 21472317 edges, 37856 markings/sec, 225 secs
lola: 5 tries, 4320481 fired transitions, 230 secs || 8585614 markings, 21992204 edges, 36054 markings/sec, 230 secs
lola: 5 tries, 4421020 fired transitions, 235 secs || 8768445 markings, 22494292 edges, 36566 markings/sec, 235 secs
lola: 5 tries, 4520317 fired transitions, 240 secs || 8955328 markings, 23020046 edges, 37377 markings/sec, 240 secs
lola: 5 tries, 4621162 fired transitions, 245 secs || 9136549 markings, 23492003 edges, 36244 markings/sec, 245 secs
lola: 5 tries, 4721581 fired transitions, 250 secs || 9313381 markings, 23979676 edges, 35366 markings/sec, 250 secs
lola: 5 tries, 4821286 fired transitions, 255 secs || 9489259 markings, 24474394 edges, 35176 markings/sec, 255 secs
lola: 5 tries, 4920676 fired transitions, 260 secs || 9661623 markings, 24945850 edges, 34473 markings/sec, 260 secs
lola: 6 tries, 5018480 fired transitions, 265 secs || 9839500 markings, 25460181 edges, 35575 markings/sec, 265 secs
lola: 6 tries, 5100338 fired transitions, 270 secs || 9985114 markings, 25871181 edges, 29123 markings/sec, 270 secs
lola: 6 tries, 5192213 fired transitions, 275 secs || 10168045 markings, 26401266 edges, 36586 markings/sec, 275 secs
lola: 6 tries, 5285192 fired transitions, 280 secs || 10338717 markings, 26892906 edges, 34134 markings/sec, 280 secs
lola: 6 tries, 5383778 fired transitions, 285 secs || 10513432 markings, 27426324 edges, 34943 markings/sec, 285 secs
lola: 6 tries, 5485001 fired transitions, 290 secs || 10675635 markings, 27905933 edges, 32441 markings/sec, 290 secs
lola: 6 tries, 5585060 fired transitions, 295 secs || 10849460 markings, 28444404 edges, 34765 markings/sec, 295 secs
lola: 6 tries, 5684594 fired transitions, 300 secs || 11020683 markings, 28971278 edges, 34245 markings/sec, 300 secs
lola: 6 tries, 5785289 fired transitions, 305 secs || 11195897 markings, 29508134 edges, 35043 markings/sec, 305 secs
lola: 6 tries, 5885471 fired transitions, 310 secs || 11370015 markings, 30022536 edges, 34824 markings/sec, 310 secs
lola: 6 tries, 5984699 fired transitions, 315 secs || 11541104 markings, 30542408 edges, 34218 markings/sec, 315 secs
lola: 7 tries, 6084558 fired transitions, 320 secs || 11715100 markings, 31065930 edges, 34799 markings/sec, 320 secs
lola: 7 tries, 6185922 fired transitions, 325 secs || 11885688 markings, 31597631 edges, 34118 markings/sec, 325 secs
lola: 7 tries, 6289677 fired transitions, 330 secs || 12053025 markings, 32103175 edges, 33467 markings/sec, 330 secs
lola: 7 tries, 6393246 fired transitions, 335 secs || 12217270 markings, 32597303 edges, 32849 markings/sec, 335 secs
lola: 7 tries, 6497082 fired transitions, 340 secs || 12385160 markings, 33098714 edges, 33578 markings/sec, 340 secs
lola: 7 tries, 6600882 fired transitions, 345 secs || 12553407 markings, 33623567 edges, 33649 markings/sec, 345 secs
lola: 7 tries, 6706116 fired transitions, 350 secs || 12722584 markings, 34131875 edges, 33835 markings/sec, 350 secs
lola: 7 tries, 6806415 fired transitions, 355 secs || 12889233 markings, 34628694 edges, 33330 markings/sec, 355 secs
lola: 7 tries, 6905067 fired transitions, 360 secs || 13058152 markings, 35146118 edges, 33784 markings/sec, 360 secs
lola: 8 tries, 7005472 fired transitions, 365 secs || 13226092 markings, 35668811 edges, 33588 markings/sec, 365 secs
lola: 8 tries, 7106362 fired transitions, 370 secs || 13392621 markings, 36214616 edges, 33306 markings/sec, 370 secs
lola: 8 tries, 7208173 fired transitions, 375 secs || 13559859 markings, 36706600 edges, 33448 markings/sec, 375 secs
lola: 8 tries, 7309828 fired transitions, 380 secs || 13722657 markings, 37195045 edges, 32560 markings/sec, 380 secs
lola: 8 tries, 7408588 fired transitions, 385 secs || 13884705 markings, 37688521 edges, 32410 markings/sec, 385 secs
lola: 8 tries, 7506817 fired transitions, 390 secs || 14041941 markings, 38166232 edges, 31447 markings/sec, 390 secs
lola: 8 tries, 7603114 fired transitions, 395 secs || 14202332 markings, 38656095 edges, 32078 markings/sec, 395 secs
lola: 8 tries, 7702156 fired transitions, 400 secs || 14361691 markings, 39158751 edges, 31872 markings/sec, 400 secs
lola: 8 tries, 7800958 fired transitions, 405 secs || 14529571 markings, 39692271 edges, 33576 markings/sec, 405 secs
lola: 8 tries, 7899709 fired transitions, 410 secs || 14687420 markings, 40188007 edges, 31570 markings/sec, 410 secs
lola: 8 tries, 7998562 fired transitions, 415 secs || 14849356 markings, 40710625 edges, 32387 markings/sec, 415 secs
lola: 9 tries, 8097017 fired transitions, 420 secs || 15016913 markings, 41246175 edges, 33511 markings/sec, 420 secs
lola: 9 tries, 8192000 fired transitions, 425 secs || 15186366 markings, 41781295 edges, 33891 markings/sec, 425 secs
lola: 9 tries, 8282078 fired transitions, 430 secs || 15340514 markings, 42279818 edges, 30830 markings/sec, 430 secs
lola: 9 tries, 8372354 fired transitions, 435 secs || 15502585 markings, 42796314 edges, 32414 markings/sec, 435 secs
lola: 9 tries, 8466053 fired transitions, 440 secs || 15664135 markings, 43308925 edges, 32310 markings/sec, 440 secs
lola: 9 tries, 8560073 fired transitions, 445 secs || 15811115 markings, 43795482 edges, 29396 markings/sec, 445 secs
lola: 9 tries, 8652161 fired transitions, 450 secs || 15969023 markings, 44306450 edges, 31582 markings/sec, 450 secs
lola: 9 tries, 8748929 fired transitions, 455 secs || 16125791 markings, 44810746 edges, 31354 markings/sec, 455 secs
lola: 9 tries, 8851448 fired transitions, 460 secs || 16291659 markings, 45346679 edges, 33174 markings/sec, 460 secs
lola: 9 tries, 8953214 fired transitions, 465 secs || 16457911 markings, 45873493 edges, 33250 markings/sec, 465 secs
lola: 10 tries, 9055157 fired transitions, 470 secs || 16624015 markings, 46411627 edges, 33221 markings/sec, 470 secs
lola: 10 tries, 9156798 fired transitions, 475 secs || 16790942 markings, 46947471 edges, 33385 markings/sec, 475 secs
lola: 10 tries, 9258579 fired transitions, 480 secs || 16958762 markings, 47481301 edges, 33564 markings/sec, 480 secs
lola: 10 tries, 9361335 fired transitions, 485 secs || 17119612 markings, 48013103 edges, 32170 markings/sec, 485 secs
lola: 10 tries, 9465849 fired transitions, 490 secs || 17288365 markings, 48558720 edges, 33751 markings/sec, 490 secs
lola: 10 tries, 9569094 fired transitions, 495 secs || 17452710 markings, 49108074 edges, 32869 markings/sec, 495 secs
lola: 10 tries, 9671865 fired transitions, 500 secs || 17619637 markings, 49681113 edges, 33385 markings/sec, 500 secs
lola: 10 tries, 9775620 fired transitions, 505 secs || 17791845 markings, 50244684 edges, 34442 markings/sec, 505 secs
lola: 10 tries, 9880494 fired transitions, 510 secs || 17960898 markings, 50809500 edges, 33811 markings/sec, 510 secs
lola: 10 tries, 9986334 fired transitions, 515 secs || 18124263 markings, 51374279 edges, 32673 markings/sec, 515 secs
lola: 11 tries, 10092436 fired transitions, 520 secs || 18281302 markings, 51933586 edges, 31408 markings/sec, 520 secs
lola: 11 tries, 10197415 fired transitions, 525 secs || 18439421 markings, 52498254 edges, 31624 markings/sec, 525 secs
lola: 11 tries, 10302580 fired transitions, 530 secs || 18599818 markings, 53066444 edges, 32079 markings/sec, 530 secs
lola: 11 tries, 10408228 fired transitions, 535 secs || 18759236 markings, 53643993 edges, 31884 markings/sec, 535 secs
lola: 11 tries, 10513543 fired transitions, 540 secs || 18913686 markings, 54200986 edges, 30890 markings/sec, 540 secs
lola: 11 tries, 10618714 fired transitions, 545 secs || 19078444 markings, 54759716 edges, 32952 markings/sec, 545 secs
lola: 11 tries, 10723948 fired transitions, 550 secs || 19240928 markings, 55322550 edges, 32497 markings/sec, 550 secs
lola: 11 tries, 10829308 fired transitions, 555 secs || 19392681 markings, 55865447 edges, 30351 markings/sec, 555 secs
lola: 11 tries, 10934068 fired transitions, 560 secs || 19544313 markings, 56403449 edges, 30326 markings/sec, 560 secs
lola: 12 tries, 11033948 fired transitions, 565 secs || 19703904 markings, 56955318 edges, 31918 markings/sec, 565 secs
lola: 12 tries, 11125022 fired transitions, 570 secs || 19866825 markings, 57514076 edges, 32584 markings/sec, 570 secs
lola: 12 tries, 11216285 fired transitions, 575 secs || 20026106 markings, 58071871 edges, 31856 markings/sec, 575 secs
lola: 12 tries, 11307461 fired transitions, 580 secs || 20177666 markings, 58631073 edges, 30312 markings/sec, 580 secs
lola: 12 tries, 11396453 fired transitions, 585 secs || 20334085 markings, 59187182 edges, 31284 markings/sec, 585 secs
lola: 12 tries, 11488595 fired transitions, 590 secs || 20489576 markings, 59747492 edges, 31098 markings/sec, 590 secs
lola: 12 tries, 11580068 fired transitions, 595 secs || 20654348 markings, 60318057 edges, 32954 markings/sec, 595 secs
lola: 12 tries, 11673116 fired transitions, 600 secs || 20797993 markings, 60844581 edges, 28729 markings/sec, 600 secs
lola: 12 tries, 11766479 fired transitions, 605 secs || 20948328 markings, 61379619 edges, 30067 markings/sec, 605 secs
lola: 12 tries, 11860874 fired transitions, 610 secs || 21103062 markings, 61937656 edges, 30947 markings/sec, 610 secs
lola: 12 tries, 11955581 fired transitions, 615 secs || 21263141 markings, 62501905 edges, 32016 markings/sec, 615 secs
lola: 13 tries, 12049053 fired transitions, 620 secs || 21419903 markings, 63052810 edges, 31352 markings/sec, 620 secs
lola: 13 tries, 12143151 fired transitions, 625 secs || 21573915 markings, 63592569 edges, 30802 markings/sec, 625 secs
lola: 13 tries, 12237585 fired transitions, 630 secs || 21724997 markings, 64129848 edges, 30216 markings/sec, 630 secs
lola: 13 tries, 12328767 fired transitions, 635 secs || 21886699 markings, 64689549 edges, 32340 markings/sec, 635 secs
lola: 13 tries, 12424680 fired transitions, 640 secs || 22045539 markings, 65244733 edges, 31768 markings/sec, 640 secs
lola: 13 tries, 12518538 fired transitions, 645 secs || 22201830 markings, 65807811 edges, 31258 markings/sec, 645 secs
lola: 13 tries, 12616641 fired transitions, 650 secs || 22353016 markings, 66368415 edges, 30237 markings/sec, 650 secs
lola: 13 tries, 12712887 fired transitions, 655 secs || 22511314 markings, 66961713 edges, 31660 markings/sec, 655 secs
lola: 13 tries, 12806421 fired transitions, 660 secs || 22669378 markings, 67547022 edges, 31613 markings/sec, 660 secs
lola: 13 tries, 12899360 fired transitions, 665 secs || 22824166 markings, 68114039 edges, 30958 markings/sec, 665 secs
lola: 13 tries, 12992241 fired transitions, 670 secs || 22975417 markings, 68681082 edges, 30250 markings/sec, 670 secs
lola: 14 tries, 13085362 fired transitions, 675 secs || 23133912 markings, 69235295 edges, 31699 markings/sec, 675 secs
lola: 14 tries, 13179625 fired transitions, 680 secs || 23287053 markings, 69796981 edges, 30628 markings/sec, 680 secs
lola: 14 tries, 13269115 fired transitions, 685 secs || 23440584 markings, 70334251 edges, 30706 markings/sec, 685 secs
lola: 14 tries, 13362574 fired transitions, 690 secs || 23597602 markings, 70875996 edges, 31404 markings/sec, 690 secs
lola: 14 tries, 13458172 fired transitions, 695 secs || 23762154 markings, 71440803 edges, 32910 markings/sec, 695 secs
lola: 14 tries, 13551802 fired transitions, 700 secs || 23923674 markings, 71982546 edges, 32304 markings/sec, 700 secs
lola: 14 tries, 13644952 fired transitions, 705 secs || 24084759 markings, 72524765 edges, 32217 markings/sec, 705 secs
lola: 14 tries, 13739059 fired transitions, 710 secs || 24242695 markings, 73057976 edges, 31587 markings/sec, 710 secs
lola: 14 tries, 13839946 fired transitions, 715 secs || 24412758 markings, 73622943 edges, 34013 markings/sec, 715 secs
lola: 14 tries, 13938793 fired transitions, 720 secs || 24585220 markings, 74191709 edges, 34492 markings/sec, 720 secs
lola: 15 tries, 14036705 fired transitions, 725 secs || 24765939 markings, 74827315 edges, 36144 markings/sec, 725 secs
lola: 15 tries, 14135369 fired transitions, 730 secs || 25002406 markings, 75610455 edges, 47293 markings/sec, 730 secs
lola: 15 tries, 14235011 fired transitions, 735 secs || 25422953 markings, 76707417 edges, 84109 markings/sec, 735 secs
lola: 15 tries, 14334743 fired transitions, 740 secs || 25830128 markings, 77810570 edges, 81435 markings/sec, 740 secs
lola: 15 tries, 14434625 fired transitions, 745 secs || 26219351 markings, 78897961 edges, 77845 markings/sec, 745 secs
lola: 15 tries, 14533517 fired transitions, 750 secs || 26612857 markings, 80017678 edges, 78701 markings/sec, 750 secs
lola: 15 tries, 14630816 fired transitions, 755 secs || 26988872 markings, 81134000 edges, 75203 markings/sec, 755 secs
lola: 15 tries, 14731388 fired transitions, 760 secs || 27366781 markings, 82234906 edges, 75582 markings/sec, 760 secs
lola: 15 tries, 14831396 fired transitions, 765 secs || 27740147 markings, 83346951 edges, 74673 markings/sec, 765 secs
lola: 15 tries, 14931926 fired transitions, 770 secs || 28110146 markings, 84449416 edges, 74000 markings/sec, 770 secs
lola: 16 tries, 15030597 fired transitions, 775 secs || 28464614 markings, 85531828 edges, 70894 markings/sec, 775 secs
lola: 16 tries, 15128385 fired transitions, 780 secs || 28822814 markings, 86629422 edges, 71640 markings/sec, 780 secs
lola: 16 tries, 15226671 fired transitions, 785 secs || 29170900 markings, 87724491 edges, 69617 markings/sec, 785 secs
lola: 16 tries, 15323763 fired transitions, 790 secs || 29529474 markings, 88838440 edges, 71715 markings/sec, 790 secs
lola: 16 tries, 15422121 fired transitions, 795 secs || 29883707 markings, 89929631 edges, 70847 markings/sec, 795 secs
lola: 16 tries, 15521100 fired transitions, 800 secs || 30235390 markings, 91016794 edges, 70337 markings/sec, 800 secs
lola: 16 tries, 15618249 fired transitions, 805 secs || 30580441 markings, 92110052 edges, 69010 markings/sec, 805 secs
lola: 16 tries, 15715701 fired transitions, 810 secs || 30927548 markings, 93208661 edges, 69421 markings/sec, 810 secs
lola: 16 tries, 15813201 fired transitions, 815 secs || 31274913 markings, 94306600 edges, 69473 markings/sec, 815 secs
lola: 16 tries, 15910794 fired transitions, 820 secs || 31612805 markings, 95369115 edges, 67578 markings/sec, 820 secs
lola: 17 tries, 16007356 fired transitions, 825 secs || 31957459 markings, 96467512 edges, 68931 markings/sec, 825 secs
lola: 17 tries, 16104508 fired transitions, 830 secs || 32298385 markings, 97547906 edges, 68185 markings/sec, 830 secs
lola: 17 tries, 16202686 fired transitions, 835 secs || 32632700 markings, 98644790 edges, 66863 markings/sec, 835 secs
lola: 17 tries, 16301152 fired transitions, 840 secs || 32960303 markings, 99702674 edges, 65521 markings/sec, 840 secs
lola: 17 tries, 16389403 fired transitions, 845 secs || 33249955 markings, 100636901 edges, 57930 markings/sec, 845 secs
lola: 17 tries, 16487005 fired transitions, 850 secs || 33570953 markings, 101683861 edges, 64200 markings/sec, 850 secs
lola: 17 tries, 16583824 fired transitions, 855 secs || 33898854 markings, 102751603 edges, 65580 markings/sec, 855 secs
lola: 17 tries, 16682122 fired transitions, 860 secs || 34218269 markings, 103798979 edges, 63883 markings/sec, 860 secs
lola: 17 tries, 16780645 fired transitions, 865 secs || 34529059 markings, 104829210 edges, 62158 markings/sec, 865 secs
lola: 17 tries, 16878703 fired transitions, 870 secs || 34855370 markings, 105893083 edges, 65262 markings/sec, 870 secs
lola: 17 tries, 16975897 fired transitions, 875 secs || 35175121 markings, 106977819 edges, 63950 markings/sec, 875 secs
lola: 18 tries, 17073176 fired transitions, 880 secs || 35498911 markings, 108050243 edges, 64758 markings/sec, 880 secs
lola: 18 tries, 17144576 fired transitions, 885 secs || 35729867 markings, 108819172 edges, 46191 markings/sec, 885 secs
lola: 18 tries, 17193083 fired transitions, 890 secs || 35891581 markings, 109347404 edges, 32343 markings/sec, 890 secs
lola: 18 tries, 17241701 fired transitions, 895 secs || 36052116 markings, 109868446 edges, 32107 markings/sec, 895 secs
lola: 18 tries, 17299460 fired transitions, 900 secs || 36250136 markings, 110505470 edges, 39604 markings/sec, 900 secs
lola: 18 tries, 17351594 fired transitions, 905 secs || 36421364 markings, 111073481 edges, 34246 markings/sec, 905 secs
lola: 18 tries, 17403905 fired transitions, 910 secs || 36591450 markings, 111638113 edges, 34017 markings/sec, 910 secs
lola: 18 tries, 17455892 fired transitions, 915 secs || 36756958 markings, 112210082 edges, 33102 markings/sec, 915 secs
lola: 18 tries, 17517113 fired transitions, 920 secs || 36958485 markings, 112894635 edges, 40305 markings/sec, 920 secs
lola: 18 tries, 17610347 fired transitions, 925 secs || 37261461 markings, 113921988 edges, 60595 markings/sec, 925 secs
lola: 18 tries, 17702831 fired transitions, 930 secs || 37562574 markings, 114956585 edges, 60223 markings/sec, 930 secs
lola: 18 tries, 17797574 fired transitions, 935 secs || 37877762 markings, 116009223 edges, 63038 markings/sec, 935 secs
lola: 18 tries, 17890826 fired transitions, 940 secs || 38196700 markings, 117086200 edges, 63788 markings/sec, 940 secs
lola: 18 tries, 17942426 fired transitions, 945 secs || 38361509 markings, 117641565 edges, 32962 markings/sec, 945 secs
lola: 18 tries, 17994332 fired transitions, 950 secs || 38525924 markings, 118204742 edges, 32883 markings/sec, 950 secs
lola: 19 tries, 18045924 fired transitions, 955 secs || 38692662 markings, 118763334 edges, 33348 markings/sec, 955 secs
lola: 19 tries, 18108240 fired transitions, 960 secs || 38899100 markings, 119475799 edges, 41288 markings/sec, 960 secs
lola: 19 tries, 18162330 fired transitions, 965 secs || 39067781 markings, 120064778 edges, 33736 markings/sec, 965 secs
lola: 19 tries, 18214446 fired transitions, 970 secs || 39234114 markings, 120625866 edges, 33267 markings/sec, 970 secs
lola: 19 tries, 18266454 fired transitions, 975 secs || 39399176 markings, 121195718 edges, 33012 markings/sec, 975 secs
lola: 19 tries, 18318636 fired transitions, 980 secs || 39561650 markings, 121766536 edges, 32495 markings/sec, 980 secs
lola: 19 tries, 18370488 fired transitions, 985 secs || 39726420 markings, 122322010 edges, 32954 markings/sec, 985 secs
lola: 19 tries, 18421155 fired transitions, 990 secs || 39889143 markings, 122873341 edges, 32545 markings/sec, 990 secs
lola: 19 tries, 18495741 fired transitions, 995 secs || 40122642 markings, 123684711 edges, 46700 markings/sec, 995 secs
lola: 19 tries, 18594447 fired transitions, 1000 secs || 40445487 markings, 124793045 edges, 64569 markings/sec, 1000 secs
lola: 19 tries, 18692676 fired transitions, 1005 secs || 40763188 markings, 125897174 edges, 63540 markings/sec, 1005 secs
lola: 19 tries, 18791244 fired transitions, 1010 secs || 41078137 markings, 126986250 edges, 62990 markings/sec, 1010 secs
lola: 19 tries, 18865068 fired transitions, 1015 secs || 41322415 markings, 127810196 edges, 48856 markings/sec, 1015 secs
lola: 19 tries, 18958497 fired transitions, 1020 secs || 41631256 markings, 128876763 edges, 61768 markings/sec, 1020 secs
lola: 20 tries, 19056661 fired transitions, 1025 secs || 41950106 markings, 129982211 edges, 63770 markings/sec, 1025 secs
lola: 20 tries, 19155373 fired transitions, 1030 secs || 42266293 markings, 131095113 edges, 63237 markings/sec, 1030 secs
lola: 20 tries, 19253629 fired transitions, 1035 secs || 42589100 markings, 132217267 edges, 64561 markings/sec, 1035 secs
lola: 20 tries, 19352293 fired transitions, 1040 secs || 42918143 markings, 133349367 edges, 65809 markings/sec, 1040 secs
lola: 20 tries, 19427935 fired transitions, 1045 secs || 43166784 markings, 134197479 edges, 49728 markings/sec, 1045 secs
lola: 20 tries, 19479337 fired transitions, 1050 secs || 43329463 markings, 134759173 edges, 32536 markings/sec, 1050 secs
lola: 20 tries, 19530868 fired transitions, 1055 secs || 43495755 markings, 135323783 edges, 33258 markings/sec, 1055 secs
lola: 20 tries, 19582255 fired transitions, 1060 secs || 43655279 markings, 135876789 edges, 31905 markings/sec, 1060 secs
lola: 20 tries, 19635250 fired transitions, 1065 secs || 43823996 markings, 136457181 edges, 33743 markings/sec, 1065 secs
lola: 20 tries, 19698919 fired transitions, 1070 secs || 44013256 markings, 137127231 edges, 37852 markings/sec, 1070 secs
lola: 20 tries, 19795717 fired transitions, 1075 secs || 44340439 markings, 138247288 edges, 65437 markings/sec, 1075 secs
lola: 20 tries, 19891594 fired transitions, 1080 secs || 44660007 markings, 139367159 edges, 63914 markings/sec, 1080 secs
lola: 20 tries, 19949794 fired transitions, 1085 secs || 44837376 markings, 139995022 edges, 35474 markings/sec, 1085 secs
lola: 21 tries, 20018636 fired transitions, 1090 secs || 45036016 markings, 140690431 edges, 39728 markings/sec, 1090 secs
lola: 21 tries, 20123297 fired transitions, 1095 secs || 45322425 markings, 141707887 edges, 57282 markings/sec, 1095 secs
lola: 21 tries, 20228189 fired transitions, 1100 secs || 45605731 markings, 142714417 edges, 56661 markings/sec, 1100 secs
lola: 21 tries, 20329838 fired transitions, 1105 secs || 45901211 markings, 143750047 edges, 59096 markings/sec, 1105 secs
lola: 21 tries, 20430755 fired transitions, 1110 secs || 46200766 markings, 144794328 edges, 59911 markings/sec, 1110 secs
lola: 21 tries, 20532056 fired transitions, 1115 secs || 46499306 markings, 145840648 edges, 59708 markings/sec, 1115 secs
lola: 21 tries, 20632757 fired transitions, 1120 secs || 46797673 markings, 146887581 edges, 59673 markings/sec, 1120 secs
lola: 21 tries, 20732966 fired transitions, 1125 secs || 47102017 markings, 147950120 edges, 60869 markings/sec, 1125 secs
lola: 21 tries, 20835065 fired transitions, 1130 secs || 47411836 markings, 149043240 edges, 61964 markings/sec, 1130 secs
lola: 21 tries, 20936795 fired transitions, 1135 secs || 47719834 markings, 150128181 edges, 61600 markings/sec, 1135 secs
lola: 22 tries, 21037668 fired transitions, 1140 secs || 48020264 markings, 151221461 edges, 60086 markings/sec, 1140 secs
lola: 22 tries, 21137805 fired transitions, 1145 secs || 48325517 markings, 152314070 edges, 61051 markings/sec, 1145 secs
lola: 22 tries, 21239451 fired transitions, 1150 secs || 48622868 markings, 153392943 edges, 59470 markings/sec, 1150 secs
lola: 22 tries, 21340116 fired transitions, 1155 secs || 48926122 markings, 154481125 edges, 60651 markings/sec, 1155 secs
lola: 22 tries, 21441231 fired transitions, 1160 secs || 49227695 markings, 155573050 edges, 60315 markings/sec, 1160 secs
lola: 22 tries, 21527229 fired transitions, 1165 secs || 49480687 markings, 156486048 edges, 50598 markings/sec, 1165 secs
lola: 22 tries, 21609234 fired transitions, 1170 secs || 49713755 markings, 157322051 edges, 46614 markings/sec, 1170 secs
lola: 22 tries, 21708579 fired transitions, 1175 secs || 49996656 markings, 158325802 edges, 56580 markings/sec, 1175 secs
lola: 22 tries, 21783870 fired transitions, 1180 secs || 50213104 markings, 159095970 edges, 43290 markings/sec, 1180 secs
lola: 22 tries, 21835407 fired transitions, 1185 secs || 50365553 markings, 159640591 edges, 30490 markings/sec, 1185 secs
lola: 22 tries, 21911589 fired transitions, 1190 secs || 50575894 markings, 160385071 edges, 42068 markings/sec, 1190 secs
lola: 23 tries, 22007182 fired transitions, 1195 secs || 50857377 markings, 161381458 edges, 56297 markings/sec, 1195 secs
lola: 23 tries, 22105339 fired transitions, 1200 secs || 51147061 markings, 162443071 edges, 57937 markings/sec, 1200 secs
lola: 23 tries, 22180447 fired transitions, 1205 secs || 51363249 markings, 163237192 edges, 43238 markings/sec, 1205 secs
lola: 23 tries, 22229380 fired transitions, 1210 secs || 51516065 markings, 163765639 edges, 30563 markings/sec, 1210 secs
lola: 23 tries, 22280869 fired transitions, 1215 secs || 51671016 markings, 164310457 edges, 30990 markings/sec, 1215 secs
lola: 23 tries, 22329949 fired transitions, 1220 secs || 51821460 markings, 164844346 edges, 30089 markings/sec, 1220 secs
lola: 23 tries, 22408531 fired transitions, 1225 secs || 52063986 markings, 165696482 edges, 48505 markings/sec, 1225 secs
lola: 23 tries, 22501429 fired transitions, 1230 secs || 52343883 markings, 166694410 edges, 55979 markings/sec, 1230 secs
lola: 23 tries, 22593790 fired transitions, 1235 secs || 52620676 markings, 167679377 edges, 55359 markings/sec, 1235 secs
lola: 23 tries, 22686913 fired transitions, 1240 secs || 52891568 markings, 168639971 edges, 54178 markings/sec, 1240 secs
lola: 23 tries, 22782592 fired transitions, 1245 secs || 53178148 markings, 169672851 edges, 57316 markings/sec, 1245 secs
lola: 23 tries, 22880278 fired transitions, 1250 secs || 53464833 markings, 170694928 edges, 57337 markings/sec, 1250 secs
lola: 23 tries, 22978699 fired transitions, 1255 secs || 53748174 markings, 171705236 edges, 56668 markings/sec, 1255 secs
lola: 24 tries, 23080463 fired transitions, 1260 secs || 54025345 markings, 172695914 edges, 55434 markings/sec, 1260 secs
lola: 24 tries, 23182181 fired transitions, 1265 secs || 54307149 markings, 173702185 edges, 56361 markings/sec, 1265 secs
lola: 24 tries, 23281718 fired transitions, 1270 secs || 54587232 markings, 174709890 edges, 56017 markings/sec, 1270 secs
lola: 24 tries, 23380196 fired transitions, 1275 secs || 54857992 markings, 175699494 edges, 54152 markings/sec, 1275 secs
lola: 24 tries, 23478884 fired transitions, 1280 secs || 55145198 markings, 176723656 edges, 57441 markings/sec, 1280 secs
lola: 24 tries, 23572820 fired transitions, 1285 secs || 55421411 markings, 177713258 edges, 55243 markings/sec, 1285 secs
lola: 24 tries, 23666780 fired transitions, 1290 secs || 55710174 markings, 178737638 edges, 57753 markings/sec, 1290 secs
lola: 24 tries, 23761946 fired transitions, 1295 secs || 55997333 markings, 179767318 edges, 57432 markings/sec, 1295 secs
lola: 24 tries, 23855771 fired transitions, 1300 secs || 56279579 markings, 180781148 edges, 56449 markings/sec, 1300 secs
lola: 24 tries, 23950865 fired transitions, 1305 secs || 56563103 markings, 181801695 edges, 56705 markings/sec, 1305 secs
lola: 25 tries, 24048258 fired transitions, 1310 secs || 56838544 markings, 182794082 edges, 55088 markings/sec, 1310 secs
lola: 25 tries, 24144843 fired transitions, 1315 secs || 57125045 markings, 183811269 edges, 57300 markings/sec, 1315 secs
lola: 25 tries, 24238950 fired transitions, 1320 secs || 57405623 markings, 184794649 edges, 56116 markings/sec, 1320 secs
lola: 25 tries, 24332880 fired transitions, 1325 secs || 57682089 markings, 185797586 edges, 55293 markings/sec, 1325 secs
lola: 25 tries, 24427488 fired transitions, 1330 secs || 57961549 markings, 186797014 edges, 55892 markings/sec, 1330 secs
lola: 25 tries, 24509355 fired transitions, 1335 secs || 58203038 markings, 187660828 edges, 48298 markings/sec, 1335 secs
lola: 25 tries, 24602310 fired transitions, 1340 secs || 58476555 markings, 188628012 edges, 54703 markings/sec, 1340 secs
lola: 25 tries, 24696132 fired transitions, 1345 secs || 58749510 markings, 189608476 edges, 54591 markings/sec, 1345 secs
lola: 25 tries, 24777417 fired transitions, 1350 secs || 58976202 markings, 190427872 edges, 45338 markings/sec, 1350 secs
lola: 25 tries, 24870450 fired transitions, 1355 secs || 59233253 markings, 191370927 edges, 51410 markings/sec, 1355 secs
lola: 25 tries, 24963321 fired transitions, 1360 secs || 59487235 markings, 192304051 edges, 50796 markings/sec, 1360 secs
lola: 26 tries, 25056130 fired transitions, 1365 secs || 59759408 markings, 193248800 edges, 54435 markings/sec, 1365 secs
lola: 26 tries, 25149208 fired transitions, 1370 secs || 60027150 markings, 194223175 edges, 53548 markings/sec, 1370 secs
lola: 26 tries, 25242166 fired transitions, 1375 secs || 60290484 markings, 195170240 edges, 52667 markings/sec, 1375 secs
lola: 26 tries, 25334452 fired transitions, 1380 secs || 60555699 markings, 196114090 edges, 53043 markings/sec, 1380 secs
lola: 26 tries, 25425694 fired transitions, 1385 secs || 60824791 markings, 197094367 edges, 53818 markings/sec, 1385 secs
lola: 26 tries, 25518310 fired transitions, 1390 secs || 61101703 markings, 198080827 edges, 55382 markings/sec, 1390 secs
lola: 26 tries, 25610350 fired transitions, 1395 secs || 61376550 markings, 199066439 edges, 54969 markings/sec, 1395 secs
lola: 26 tries, 25702879 fired transitions, 1400 secs || 61656708 markings, 200058169 edges, 56032 markings/sec, 1400 secs
lola: 26 tries, 25796140 fired transitions, 1405 secs || 61926871 markings, 201039471 edges, 54033 markings/sec, 1405 secs
lola: 26 tries, 25887919 fired transitions, 1410 secs || 62196719 markings, 202029106 edges, 53970 markings/sec, 1410 secs
lola: 26 tries, 25979296 fired transitions, 1415 secs || 62473329 markings, 203015199 edges, 55322 markings/sec, 1415 secs
lola: 27 tries, 26072072 fired transitions, 1420 secs || 62754544 markings, 204014718 edges, 56243 markings/sec, 1420 secs
lola: 27 tries, 26164934 fired transitions, 1425 secs || 63025507 markings, 204999185 edges, 54193 markings/sec, 1425 secs
lola: 27 tries, 26258867 fired transitions, 1430 secs || 63298780 markings, 205982019 edges, 54655 markings/sec, 1430 secs
lola: 27 tries, 26352095 fired transitions, 1435 secs || 63567738 markings, 206959722 edges, 53792 markings/sec, 1435 secs
lola: 27 tries, 26444982 fired transitions, 1440 secs || 63837392 markings, 207945589 edges, 53931 markings/sec, 1440 secs
lola: 27 tries, 26537600 fired transitions, 1445 secs || 64111496 markings, 208939298 edges, 54821 markings/sec, 1445 secs
lola: 27 tries, 26631983 fired transitions, 1450 secs || 64381897 markings, 209932575 edges, 54080 markings/sec, 1450 secs
lola: 27 tries, 26724746 fired transitions, 1455 secs || 64657515 markings, 210914874 edges, 55124 markings/sec, 1455 secs
lola: 27 tries, 26817827 fired transitions, 1460 secs || 64927080 markings, 211888342 edges, 53913 markings/sec, 1460 secs
lola: 27 tries, 26910548 fired transitions, 1465 secs || 65204092 markings, 212886679 edges, 55402 markings/sec, 1465 secs
lola: 28 tries, 27002553 fired transitions, 1470 secs || 65474857 markings, 213871371 edges, 54153 markings/sec, 1470 secs
lola: 28 tries, 27093183 fired transitions, 1475 secs || 65744928 markings, 214851496 edges, 54014 markings/sec, 1475 secs
lola: 28 tries, 27185376 fired transitions, 1480 secs || 66015586 markings, 215827756 edges, 54132 markings/sec, 1480 secs
lola: 28 tries, 27277434 fired transitions, 1485 secs || 66291791 markings, 216819116 edges, 55241 markings/sec, 1485 secs
lola: 28 tries, 27378294 fired transitions, 1490 secs || 66562234 markings, 217802668 edges, 54089 markings/sec, 1490 secs
lola: 28 tries, 27471750 fired transitions, 1495 secs || 66835110 markings, 218792726 edges, 54575 markings/sec, 1495 secs
lola: 28 tries, 27565332 fired transitions, 1500 secs || 67121542 markings, 219843915 edges, 57286 markings/sec, 1500 secs
lola: 28 tries, 27658371 fired transitions, 1505 secs || 67391597 markings, 220828934 edges, 54011 markings/sec, 1505 secs
lola: 28 tries, 27751131 fired transitions, 1510 secs || 67667295 markings, 221820567 edges, 55140 markings/sec, 1510 secs
lola: 28 tries, 27844881 fired transitions, 1515 secs || 67938219 markings, 222818853 edges, 54185 markings/sec, 1515 secs
lola: 28 tries, 27937369 fired transitions, 1520 secs || 68202439 markings, 223800536 edges, 52844 markings/sec, 1520 secs
lola: 29 tries, 28035571 fired transitions, 1525 secs || 68475081 markings, 224793216 edges, 54528 markings/sec, 1525 secs
lola: 29 tries, 28128892 fired transitions, 1530 secs || 68742885 markings, 225779930 edges, 53561 markings/sec, 1530 secs
lola: 29 tries, 28226008 fired transitions, 1535 secs || 69009600 markings, 226747274 edges, 53343 markings/sec, 1535 secs
lola: 29 tries, 28323901 fired transitions, 1540 secs || 69278637 markings, 227722389 edges, 53807 markings/sec, 1540 secs
lola: 29 tries, 28420852 fired transitions, 1545 secs || 69548782 markings, 228710080 edges, 54029 markings/sec, 1545 secs
lola: 29 tries, 28513732 fired transitions, 1550 secs || 69811759 markings, 229680008 edges, 52595 markings/sec, 1550 secs
lola: 29 tries, 28605055 fired transitions, 1555 secs || 70087776 markings, 230681404 edges, 55203 markings/sec, 1555 secs
lola: 29 tries, 28697581 fired transitions, 1560 secs || 70362226 markings, 231661589 edges, 54890 markings/sec, 1560 secs
lola: 29 tries, 28790377 fired transitions, 1565 secs || 70631069 markings, 232634322 edges, 53769 markings/sec, 1565 secs
lola: 29 tries, 28882237 fired transitions, 1570 secs || 70901878 markings, 233613730 edges, 54162 markings/sec, 1570 secs
lola: 29 tries, 28974691 fired transitions, 1575 secs || 71168609 markings, 234589639 edges, 53346 markings/sec, 1575 secs
lola: 30 tries, 29064233 fired transitions, 1580 secs || 71432943 markings, 235584894 edges, 52867 markings/sec, 1580 secs
lola: 30 tries, 29156387 fired transitions, 1585 secs || 71702854 markings, 236588067 edges, 53982 markings/sec, 1585 secs
lola: 30 tries, 29248070 fired transitions, 1590 secs || 71977972 markings, 237592662 edges, 55024 markings/sec, 1590 secs
lola: 30 tries, 29340092 fired transitions, 1595 secs || 72243028 markings, 238585033 edges, 53011 markings/sec, 1595 secs
lola: 30 tries, 29432945 fired transitions, 1600 secs || 72530186 markings, 239625997 edges, 57432 markings/sec, 1600 secs
lola: 30 tries, 29525516 fired transitions, 1605 secs || 72791964 markings, 240593644 edges, 52356 markings/sec, 1605 secs
lola: 30 tries, 29622512 fired transitions, 1610 secs || 73048925 markings, 241537790 edges, 51392 markings/sec, 1610 secs
lola: 30 tries, 29719679 fired transitions, 1615 secs || 73317923 markings, 242541389 edges, 53800 markings/sec, 1615 secs
lola: 30 tries, 29812511 fired transitions, 1620 secs || 73584686 markings, 243527259 edges, 53353 markings/sec, 1620 secs
lola: 30 tries, 29906027 fired transitions, 1625 secs || 73858478 markings, 244549025 edges, 54758 markings/sec, 1625 secs
lola: 31 tries, 30002511 fired transitions, 1630 secs || 74124058 markings, 245528883 edges, 53116 markings/sec, 1630 secs
lola: 31 tries, 30099762 fired transitions, 1635 secs || 74398940 markings, 246555940 edges, 54976 markings/sec, 1635 secs
lola: 31 tries, 30196398 fired transitions, 1640 secs || 74667016 markings, 247551713 edges, 53615 markings/sec, 1640 secs
lola: 31 tries, 30291069 fired transitions, 1645 secs || 74929478 markings, 248533035 edges, 52492 markings/sec, 1645 secs
lola: 31 tries, 30389826 fired transitions, 1650 secs || 75191316 markings, 249497889 edges, 52368 markings/sec, 1650 secs
lola: 31 tries, 30484590 fired transitions, 1655 secs || 75461939 markings, 250466954 edges, 54125 markings/sec, 1655 secs
lola: 31 tries, 30581838 fired transitions, 1660 secs || 75734243 markings, 251467528 edges, 54461 markings/sec, 1660 secs
lola: 31 tries, 30681723 fired transitions, 1665 secs || 76003528 markings, 252468061 edges, 53857 markings/sec, 1665 secs
lola: 31 tries, 30786564 fired transitions, 1670 secs || 76281404 markings, 253478641 edges, 55575 markings/sec, 1670 secs
lola: 31 tries, 30886149 fired transitions, 1675 secs || 76555216 markings, 254480867 edges, 54762 markings/sec, 1675 secs
lola: 31 tries, 30985314 fired transitions, 1680 secs || 76827018 markings, 255468012 edges, 54360 markings/sec, 1680 secs
lola: 32 tries, 31081963 fired transitions, 1685 secs || 77101461 markings, 256487064 edges, 54889 markings/sec, 1685 secs
lola: 32 tries, 31177567 fired transitions, 1690 secs || 77366579 markings, 257477665 edges, 53024 markings/sec, 1690 secs
lola: 32 tries, 31277017 fired transitions, 1695 secs || 77642210 markings, 258489998 edges, 55126 markings/sec, 1695 secs
lola: 32 tries, 31374625 fired transitions, 1700 secs || 77922766 markings, 259511302 edges, 56111 markings/sec, 1700 secs
lola: 32 tries, 31470649 fired transitions, 1705 secs || 78193942 markings, 260515368 edges, 54235 markings/sec, 1705 secs
lola: 32 tries, 31567165 fired transitions, 1710 secs || 78453296 markings, 261508902 edges, 51871 markings/sec, 1710 secs
lola: 32 tries, 31668982 fired transitions, 1715 secs || 78720153 markings, 262474482 edges, 53371 markings/sec, 1715 secs
lola: 32 tries, 31769110 fired transitions, 1720 secs || 78986748 markings, 263455647 edges, 53319 markings/sec, 1720 secs
lola: 32 tries, 31869946 fired transitions, 1725 secs || 79261156 markings, 264453685 edges, 54882 markings/sec, 1725 secs
lola: 32 tries, 31969067 fired transitions, 1730 secs || 79522707 markings, 265425462 edges, 52310 markings/sec, 1730 secs
lola: 33 tries, 32068391 fired transitions, 1735 secs || 79796261 markings, 266447211 edges, 54711 markings/sec, 1735 secs
lola: 33 tries, 32169371 fired transitions, 1740 secs || 80064208 markings, 267453063 edges, 53589 markings/sec, 1740 secs
lola: 33 tries, 32271647 fired transitions, 1745 secs || 80333223 markings, 268454528 edges, 53803 markings/sec, 1745 secs
lola: 33 tries, 32373527 fired transitions, 1750 secs || 80601210 markings, 269463640 edges, 53597 markings/sec, 1750 secs
lola: 33 tries, 32470463 fired transitions, 1755 secs || 80866150 markings, 270473903 edges, 52988 markings/sec, 1755 secs
lola: 33 tries, 32566898 fired transitions, 1760 secs || 81141415 markings, 271474302 edges, 55053 markings/sec, 1760 secs
lola: 33 tries, 32667017 fired transitions, 1765 secs || 81408876 markings, 272465384 edges, 53492 markings/sec, 1765 secs
lola: 33 tries, 32768132 fired transitions, 1770 secs || 81667182 markings, 273440314 edges, 51661 markings/sec, 1770 secs
lola: 33 tries, 32867444 fired transitions, 1775 secs || 81936339 markings, 274427265 edges, 53831 markings/sec, 1775 secs
lola: 33 tries, 32968016 fired transitions, 1780 secs || 82213215 markings, 275458457 edges, 55375 markings/sec, 1780 secs
lola: 34 tries, 33068205 fired transitions, 1785 secs || 82476400 markings, 276418451 edges, 52637 markings/sec, 1785 secs
lola: 34 tries, 33168768 fired transitions, 1790 secs || 82744923 markings, 277407147 edges, 53705 markings/sec, 1790 secs
lola: 34 tries, 33264915 fired transitions, 1795 secs || 83012559 markings, 278407101 edges, 53527 markings/sec, 1795 secs
lola: 34 tries, 33364638 fired transitions, 1800 secs || 83280943 markings, 279380691 edges, 53677 markings/sec, 1800 secs
lola: 34 tries, 33463752 fired transitions, 1805 secs || 83542755 markings, 280357135 edges, 52362 markings/sec, 1805 secs
lola: 34 tries, 33559623 fired transitions, 1810 secs || 83818328 markings, 281397847 edges, 55115 markings/sec, 1810 secs
lola: 34 tries, 33649851 fired transitions, 1815 secs || 84085763 markings, 282384395 edges, 53487 markings/sec, 1815 secs
lola: 34 tries, 33741990 fired transitions, 1820 secs || 84343193 markings, 283366138 edges, 51486 markings/sec, 1820 secs
lola: 34 tries, 33838251 fired transitions, 1825 secs || 84607436 markings, 284363629 edges, 52849 markings/sec, 1825 secs
lola: 34 tries, 33931464 fired transitions, 1830 secs || 84858872 markings, 285307679 edges, 50287 markings/sec, 1830 secs
lola: 35 tries, 34029587 fired transitions, 1835 secs || 85120974 markings, 286284523 edges, 52420 markings/sec, 1835 secs
lola: 35 tries, 34127239 fired transitions, 1840 secs || 85389013 markings, 287284058 edges, 53608 markings/sec, 1840 secs
lola: 35 tries, 34221505 fired transitions, 1845 secs || 85653030 markings, 288261829 edges, 52803 markings/sec, 1845 secs
lola: 35 tries, 34308340 fired transitions, 1850 secs || 85873001 markings, 289104057 edges, 43994 markings/sec, 1850 secs
lola: 35 tries, 34394803 fired transitions, 1855 secs || 86099234 markings, 289936435 edges, 45247 markings/sec, 1855 secs
lola: 35 tries, 34493590 fired transitions, 1860 secs || 86370802 markings, 290949794 edges, 54314 markings/sec, 1860 secs
lola: 35 tries, 34592764 fired transitions, 1865 secs || 86637606 markings, 291928161 edges, 53361 markings/sec, 1865 secs
lola: 35 tries, 34691164 fired transitions, 1870 secs || 86899826 markings, 292911185 edges, 52444 markings/sec, 1870 secs
lola: 35 tries, 34788619 fired transitions, 1875 secs || 87170972 markings, 293909107 edges, 54229 markings/sec, 1875 secs
lola: 35 tries, 34885549 fired transitions, 1880 secs || 87445407 markings, 294942691 edges, 54887 markings/sec, 1880 secs
lola: 35 tries, 34984684 fired transitions, 1885 secs || 87719252 markings, 295980505 edges, 54769 markings/sec, 1885 secs
lola: 36 tries, 35078993 fired transitions, 1890 secs || 87984579 markings, 296969487 edges, 53065 markings/sec, 1890 secs
lola: 36 tries, 35171192 fired transitions, 1895 secs || 88248731 markings, 297908305 edges, 52830 markings/sec, 1895 secs
lola: 36 tries, 35263910 fired transitions, 1900 secs || 88512935 markings, 298880965 edges, 52841 markings/sec, 1900 secs
lola: 36 tries, 35355674 fired transitions, 1905 secs || 88765711 markings, 299835679 edges, 50555 markings/sec, 1905 secs
lola: 36 tries, 35448377 fired transitions, 1910 secs || 89022422 markings, 300786902 edges, 51342 markings/sec, 1910 secs
lola: 36 tries, 35541839 fired transitions, 1915 secs || 89283516 markings, 301776347 edges, 52219 markings/sec, 1915 secs
lola: 36 tries, 35634638 fired transitions, 1920 secs || 89546751 markings, 302755400 edges, 52647 markings/sec, 1920 secs
lola: 36 tries, 35728511 fired transitions, 1925 secs || 89800414 markings, 303721032 edges, 50733 markings/sec, 1925 secs
lola: 36 tries, 35822582 fired transitions, 1930 secs || 90061523 markings, 304688900 edges, 52222 markings/sec, 1930 secs
lola: 36 tries, 35909180 fired transitions, 1935 secs || 90286403 markings, 305545731 edges, 44976 markings/sec, 1935 secs
lola: 36 tries, 35997623 fired transitions, 1940 secs || 90525821 markings, 306438820 edges, 47884 markings/sec, 1940 secs
lola: 37 tries, 36090396 fired transitions, 1945 secs || 90782777 markings, 307400877 edges, 51391 markings/sec, 1945 secs
lola: 37 tries, 36192045 fired transitions, 1950 secs || 91042616 markings, 308404502 edges, 51968 markings/sec, 1950 secs
lola: 37 tries, 36292839 fired transitions, 1955 secs || 91305061 markings, 309370191 edges, 52489 markings/sec, 1955 secs
lola: 37 tries, 36392556 fired transitions, 1960 secs || 91564608 markings, 310353968 edges, 51909 markings/sec, 1960 secs
lola: 37 tries, 36490839 fired transitions, 1965 secs || 91822507 markings, 311324447 edges, 51580 markings/sec, 1965 secs
lola: 37 tries, 36583092 fired transitions, 1970 secs || 92082309 markings, 312294339 edges, 51960 markings/sec, 1970 secs
lola: 37 tries, 36675564 fired transitions, 1975 secs || 92335138 markings, 313243202 edges, 50566 markings/sec, 1975 secs
lola: 37 tries, 36771453 fired transitions, 1980 secs || 92589374 markings, 314215383 edges, 50847 markings/sec, 1980 secs
lola: 37 tries, 36868251 fired transitions, 1985 secs || 92852600 markings, 315196775 edges, 52645 markings/sec, 1985 secs
lola: 37 tries, 36962244 fired transitions, 1990 secs || 93108436 markings, 316147059 edges, 51167 markings/sec, 1990 secs
lola: 38 tries, 37056958 fired transitions, 1995 secs || 93368030 markings, 317095362 edges, 51919 markings/sec, 1995 secs
lola: 38 tries, 37151299 fired transitions, 2000 secs || 93623362 markings, 318041964 edges, 51066 markings/sec, 2000 secs
lola: 38 tries, 37243417 fired transitions, 2005 secs || 93885399 markings, 319012623 edges, 52407 markings/sec, 2005 secs
lola: 38 tries, 37346626 fired transitions, 2010 secs || 94139260 markings, 320000996 edges, 50772 markings/sec, 2010 secs
lola: 38 tries, 37449478 fired transitions, 2015 secs || 94393901 markings, 320975898 edges, 50928 markings/sec, 2015 secs
lola: 38 tries, 37545544 fired transitions, 2020 secs || 94646450 markings, 321929774 edges, 50510 markings/sec, 2020 secs
lola: 38 tries, 37638742 fired transitions, 2025 secs || 94898585 markings, 322884214 edges, 50427 markings/sec, 2025 secs
lola: 38 tries, 37732072 fired transitions, 2030 secs || 95158839 markings, 323849225 edges, 52051 markings/sec, 2030 secs
lola: 38 tries, 37829944 fired transitions, 2035 secs || 95419310 markings, 324824775 edges, 52094 markings/sec, 2035 secs
lola: 38 tries, 37933507 fired transitions, 2040 secs || 95677744 markings, 325799814 edges, 51687 markings/sec, 2040 secs
lola: 39 tries, 38028101 fired transitions, 2045 secs || 95925301 markings, 326758285 edges, 49511 markings/sec, 2045 secs
lola: 39 tries, 38121875 fired transitions, 2050 secs || 96181150 markings, 327708218 edges, 51170 markings/sec, 2050 secs
lola: 39 tries, 38215907 fired transitions, 2055 secs || 96444123 markings, 328649404 edges, 52595 markings/sec, 2055 secs
lola: 39 tries, 38317082 fired transitions, 2060 secs || 96693647 markings, 329605976 edges, 49905 markings/sec, 2060 secs
lola: 39 tries, 38419685 fired transitions, 2065 secs || 96950657 markings, 330573853 edges, 51402 markings/sec, 2065 secs
lola: 39 tries, 38523797 fired transitions, 2070 secs || 97201517 markings, 331536709 edges, 50172 markings/sec, 2070 secs
lola: 39 tries, 38627831 fired transitions, 2075 secs || 97463177 markings, 332495063 edges, 52332 markings/sec, 2075 secs
lola: 39 tries, 38730380 fired transitions, 2080 secs || 97716223 markings, 333463285 edges, 50609 markings/sec, 2080 secs
lola: 39 tries, 38837123 fired transitions, 2085 secs || 97972728 markings, 334431685 edges, 51301 markings/sec, 2085 secs
lola: 39 tries, 38942582 fired transitions, 2090 secs || 98237805 markings, 335386857 edges, 53015 markings/sec, 2090 secs
lola: 40 tries, 39049704 fired transitions, 2095 secs || 98496609 markings, 336370898 edges, 51761 markings/sec, 2095 secs
lola: 40 tries, 39156696 fired transitions, 2100 secs || 98756123 markings, 337350834 edges, 51903 markings/sec, 2100 secs
lola: 40 tries, 39262647 fired transitions, 2105 secs || 99020422 markings, 338320114 edges, 52860 markings/sec, 2105 secs
lola: 40 tries, 39368403 fired transitions, 2110 secs || 99276855 markings, 339298712 edges, 51287 markings/sec, 2110 secs
lola: 40 tries, 39471948 fired transitions, 2115 secs || 99548313 markings, 340274344 edges, 54292 markings/sec, 2115 secs
lola: 40 tries, 39578238 fired transitions, 2120 secs || 99814492 markings, 341254105 edges, 53236 markings/sec, 2120 secs
lola: 40 tries, 39682491 fired transitions, 2125 secs || 100091208 markings, 342255457 edges, 55343 markings/sec, 2125 secs
lola: 40 tries, 39786993 fired transitions, 2130 secs || 100358315 markings, 343257284 edges, 53421 markings/sec, 2130 secs
lola: 40 tries, 39894216 fired transitions, 2135 secs || 100617226 markings, 344236545 edges, 51782 markings/sec, 2135 secs
lola: 41 tries, 40001371 fired transitions, 2140 secs || 100875327 markings, 345203674 edges, 51620 markings/sec, 2140 secs
lola: 41 tries, 40108852 fired transitions, 2145 secs || 101129392 markings, 346191416 edges, 50813 markings/sec, 2145 secs
lola: 41 tries, 40215982 fired transitions, 2150 secs || 101385941 markings, 347177013 edges, 51310 markings/sec, 2150 secs
lola: 41 tries, 40321087 fired transitions, 2155 secs || 101646060 markings, 348143817 edges, 52024 markings/sec, 2155 secs
lola: 41 tries, 40425100 fired transitions, 2160 secs || 101899680 markings, 349131454 edges, 50724 markings/sec, 2160 secs
lola: 41 tries, 40528243 fired transitions, 2165 secs || 102169189 markings, 350131978 edges, 53902 markings/sec, 2165 secs
lola: 41 tries, 40635310 fired transitions, 2170 secs || 102430098 markings, 351127012 edges, 52182 markings/sec, 2170 secs
lola: 41 tries, 40742245 fired transitions, 2175 secs || 102688077 markings, 352121426 edges, 51596 markings/sec, 2175 secs
lola: 41 tries, 40850251 fired transitions, 2180 secs || 102948815 markings, 353111350 edges, 52148 markings/sec, 2180 secs
lola: 41 tries, 40957141 fired transitions, 2185 secs || 103202686 markings, 354092543 edges, 50774 markings/sec, 2185 secs
lola: 42 tries, 41064989 fired transitions, 2190 secs || 103458591 markings, 355052175 edges, 51181 markings/sec, 2190 secs
lola: 42 tries, 41172464 fired transitions, 2195 secs || 103715331 markings, 356031937 edges, 51348 markings/sec, 2195 secs
lola: 42 tries, 41280014 fired transitions, 2200 secs || 103977420 markings, 357020922 edges, 52418 markings/sec, 2200 secs
lola: 42 tries, 41388083 fired transitions, 2205 secs || 104243486 markings, 358010702 edges, 53213 markings/sec, 2205 secs
lola: 42 tries, 41495597 fired transitions, 2210 secs || 104500848 markings, 358989993 edges, 51472 markings/sec, 2210 secs
lola: 42 tries, 41601488 fired transitions, 2215 secs || 104764546 markings, 359979876 edges, 52740 markings/sec, 2215 secs
lola: 42 tries, 41708384 fired transitions, 2220 secs || 105028030 markings, 360966717 edges, 52697 markings/sec, 2220 secs
lola: 42 tries, 41816162 fired transitions, 2225 secs || 105286934 markings, 361941175 edges, 51781 markings/sec, 2225 secs
lola: 42 tries, 41921498 fired transitions, 2230 secs || 105542504 markings, 362911699 edges, 51114 markings/sec, 2230 secs
lola: 43 tries, 42022788 fired transitions, 2235 secs || 105803306 markings, 363888850 edges, 52160 markings/sec, 2235 secs
lola: 43 tries, 42125499 fired transitions, 2240 secs || 106066909 markings, 364863022 edges, 52721 markings/sec, 2240 secs
lola: 43 tries, 42226461 fired transitions, 2245 secs || 106337938 markings, 365846199 edges, 54206 markings/sec, 2245 secs
lola: 43 tries, 42329328 fired transitions, 2250 secs || 106602124 markings, 366850149 edges, 52837 markings/sec, 2250 secs
lola: 43 tries, 42434616 fired transitions, 2255 secs || 106863384 markings, 367852164 edges, 52252 markings/sec, 2255 secs
lola: 43 tries, 42538992 fired transitions, 2260 secs || 107123499 markings, 368832829 edges, 52023 markings/sec, 2260 secs
lola: 43 tries, 42641802 fired transitions, 2265 secs || 107390511 markings, 369857679 edges, 53402 markings/sec, 2265 secs
lola: 43 tries, 42742284 fired transitions, 2270 secs || 107664120 markings, 370868458 edges, 54722 markings/sec, 2270 secs
lola: 43 tries, 42845613 fired transitions, 2275 secs || 107944242 markings, 371870832 edges, 56024 markings/sec, 2275 secs
lola: 43 tries, 42947763 fired transitions, 2280 secs || 108211888 markings, 372889552 edges, 53529 markings/sec, 2280 secs
lola: 44 tries, 43047637 fired transitions, 2285 secs || 108474535 markings, 373880633 edges, 52529 markings/sec, 2285 secs
lola: 44 tries, 43146541 fired transitions, 2290 secs || 108737304 markings, 374892058 edges, 52554 markings/sec, 2290 secs
lola: 44 tries, 43250707 fired transitions, 2295 secs || 108998169 markings, 375874675 edges, 52173 markings/sec, 2295 secs
lola: 44 tries, 43356178 fired transitions, 2300 secs || 109248591 markings, 376833192 edges, 50084 markings/sec, 2300 secs
lola: 44 tries, 43460680 fired transitions, 2305 secs || 109506729 markings, 377814541 edges, 51628 markings/sec, 2305 secs
lola: 44 tries, 43565194 fired transitions, 2310 secs || 109762736 markings, 378797310 edges, 51201 markings/sec, 2310 secs
lola: 44 tries, 43669426 fired transitions, 2315 secs || 110023640 markings, 379773113 edges, 52181 markings/sec, 2315 secs
lola: 44 tries, 43774051 fired transitions, 2320 secs || 110277387 markings, 380754207 edges, 50749 markings/sec, 2320 secs
lola: 44 tries, 43877998 fired transitions, 2325 secs || 110531850 markings, 381716020 edges, 50893 markings/sec, 2325 secs
lola: 44 tries, 43981525 fired transitions, 2330 secs || 110794819 markings, 382712720 edges, 52594 markings/sec, 2330 secs
lola: 45 tries, 44085158 fired transitions, 2335 secs || 111043981 markings, 383678405 edges, 49832 markings/sec, 2335 secs
lola: 45 tries, 44189441 fired transitions, 2340 secs || 111305176 markings, 384662059 edges, 52239 markings/sec, 2340 secs
lola: 45 tries, 44293382 fired transitions, 2345 secs || 111558031 markings, 385649387 edges, 50571 markings/sec, 2345 secs
lola: 45 tries, 44395508 fired transitions, 2350 secs || 111812449 markings, 386636490 edges, 50884 markings/sec, 2350 secs
lola: 45 tries, 44497124 fired transitions, 2355 secs || 112064947 markings, 387606531 edges, 50500 markings/sec, 2355 secs
lola: 45 tries, 44597345 fired transitions, 2360 secs || 112334285 markings, 388620681 edges, 53868 markings/sec, 2360 secs
lola: 45 tries, 44698322 fired transitions, 2365 secs || 112594580 markings, 389627151 edges, 52059 markings/sec, 2365 secs
lola: 45 tries, 44799383 fired transitions, 2370 secs || 112858034 markings, 390637906 edges, 52691 markings/sec, 2370 secs
lola: 45 tries, 44900378 fired transitions, 2375 secs || 113121869 markings, 391628354 edges, 52767 markings/sec, 2375 secs
lola: 46 tries, 45000813 fired transitions, 2380 secs || 113382964 markings, 392617396 edges, 52219 markings/sec, 2380 secs
lola: 46 tries, 45105306 fired transitions, 2385 secs || 113631001 markings, 393594806 edges, 49607 markings/sec, 2385 secs
lola: 46 tries, 45209868 fired transitions, 2390 secs || 113890196 markings, 394591852 edges, 51839 markings/sec, 2390 secs
lola: 46 tries, 45313593 fired transitions, 2395 secs || 114138987 markings, 395576535 edges, 49758 markings/sec, 2395 secs
lola: 46 tries, 45412134 fired transitions, 2400 secs || 114395985 markings, 396570411 edges, 51400 markings/sec, 2400 secs
lola: 46 tries, 45511173 fired transitions, 2405 secs || 114653550 markings, 397555040 edges, 51513 markings/sec, 2405 secs
lola: 46 tries, 45611778 fired transitions, 2410 secs || 114915750 markings, 398565875 edges, 52440 markings/sec, 2410 secs
lola: 46 tries, 45713139 fired transitions, 2415 secs || 115171223 markings, 399573790 edges, 51095 markings/sec, 2415 secs
lola: 46 tries, 45813984 fired transitions, 2420 secs || 115438557 markings, 400569177 edges, 53467 markings/sec, 2420 secs
lola: 46 tries, 45915402 fired transitions, 2425 secs || 115698179 markings, 401568723 edges, 51924 markings/sec, 2425 secs
lola: 47 tries, 46016530 fired transitions, 2430 secs || 115955266 markings, 402587979 edges, 51417 markings/sec, 2430 secs
lola: 47 tries, 46117555 fired transitions, 2435 secs || 116227977 markings, 403579438 edges, 54542 markings/sec, 2435 secs
lola: 47 tries, 46222057 fired transitions, 2440 secs || 116493398 markings, 404570309 edges, 53084 markings/sec, 2440 secs
lola: 47 tries, 46322863 fired transitions, 2445 secs || 116750043 markings, 405580910 edges, 51329 markings/sec, 2445 secs
lola: 47 tries, 46426009 fired transitions, 2450 secs || 117000041 markings, 406550664 edges, 50000 markings/sec, 2450 secs
lola: 47 tries, 46530457 fired transitions, 2455 secs || 117253108 markings, 407525600 edges, 50613 markings/sec, 2455 secs
lola: 47 tries, 46635049 fired transitions, 2460 secs || 117505340 markings, 408515717 edges, 50446 markings/sec, 2460 secs
lola: 47 tries, 46740805 fired transitions, 2465 secs || 117753371 markings, 409473943 edges, 49606 markings/sec, 2465 secs
lola: 47 tries, 46845148 fired transitions, 2470 secs || 117999228 markings, 410440739 edges, 49171 markings/sec, 2470 secs
lola: 47 tries, 46949623 fired transitions, 2475 secs || 118254047 markings, 411413530 edges, 50964 markings/sec, 2475 secs
lola: 48 tries, 47053460 fired transitions, 2480 secs || 118504136 markings, 412394857 edges, 50018 markings/sec, 2480 secs
lola: 48 tries, 47119268 fired transitions, 2485 secs || 118660570 markings, 413011378 edges, 31287 markings/sec, 2485 secs
lola: 48 tries, 47201249 fired transitions, 2490 secs || 118870128 markings, 413836513 edges, 41912 markings/sec, 2490 secs
lola: 48 tries, 47293355 fired transitions, 2495 secs || 119089203 markings, 414689770 edges, 43815 markings/sec, 2495 secs
lola: 48 tries, 47398781 fired transitions, 2500 secs || 119337618 markings, 415653903 edges, 49683 markings/sec, 2500 secs
lola: 48 tries, 47503361 fired transitions, 2505 secs || 119589114 markings, 416637492 edges, 50299 markings/sec, 2505 secs
lola: 48 tries, 47605025 fired transitions, 2510 secs || 119836118 markings, 417609137 edges, 49401 markings/sec, 2510 secs
lola: 48 tries, 47706497 fired transitions, 2515 secs || 120091069 markings, 418553441 edges, 50990 markings/sec, 2515 secs
lola: 48 tries, 47801747 fired transitions, 2520 secs || 120345980 markings, 419550917 edges, 50982 markings/sec, 2520 secs
lola: 48 tries, 47894276 fired transitions, 2525 secs || 120596299 markings, 420511376 edges, 50064 markings/sec, 2525 secs
lola: 48 tries, 47989076 fired transitions, 2530 secs || 120854519 markings, 421487627 edges, 51644 markings/sec, 2530 secs
lola: 49 tries, 48088899 fired transitions, 2535 secs || 121107027 markings, 422474289 edges, 50502 markings/sec, 2535 secs
lola: 49 tries, 48179223 fired transitions, 2540 secs || 121361336 markings, 423478576 edges, 50862 markings/sec, 2540 secs
lola: 49 tries, 48269244 fired transitions, 2545 secs || 121619977 markings, 424441364 edges, 51728 markings/sec, 2545 secs
lola: 49 tries, 48367596 fired transitions, 2550 secs || 121878050 markings, 425415643 edges, 51615 markings/sec, 2550 secs
lola: 49 tries, 48461478 fired transitions, 2555 secs || 122124937 markings, 426361335 edges, 49377 markings/sec, 2555 secs
lola: 49 tries, 48554535 fired transitions, 2560 secs || 122363244 markings, 427315438 edges, 47661 markings/sec, 2560 secs
lola: 49 tries, 48647460 fired transitions, 2565 secs || 122600553 markings, 428256137 edges, 47462 markings/sec, 2565 secs
lola: 49 tries, 48754527 fired transitions, 2570 secs || 122829529 markings, 429174183 edges, 45795 markings/sec, 2570 secs
lola: 49 tries, 48861957 fired transitions, 2575 secs || 123065721 markings, 430113384 edges, 47238 markings/sec, 2575 secs
lola: 49 tries, 48969783 fired transitions, 2580 secs || 123305853 markings, 431061821 edges, 48026 markings/sec, 2580 secs
lola: 50 tries, 49077679 fired transitions, 2585 secs || 123546095 markings, 432002165 edges, 48048 markings/sec, 2585 secs
lola: 50 tries, 49185826 fired transitions, 2590 secs || 123791991 markings, 432953582 edges, 49179 markings/sec, 2590 secs
lola: 50 tries, 49293493 fired transitions, 2595 secs || 124038439 markings, 433931668 edges, 49290 markings/sec, 2595 secs
lola: 50 tries, 49397665 fired transitions, 2600 secs || 124293850 markings, 434911751 edges, 51082 markings/sec, 2600 secs
lola: 50 tries, 49499698 fired transitions, 2605 secs || 124539699 markings, 435887054 edges, 49170 markings/sec, 2605 secs
lola: 50 tries, 49589431 fired transitions, 2610 secs || 124795441 markings, 436891178 edges, 51148 markings/sec, 2610 secs
lola: 50 tries, 49681243 fired transitions, 2615 secs || 125056800 markings, 437869610 edges, 52272 markings/sec, 2615 secs
lola: 50 tries, 49772296 fired transitions, 2620 secs || 125305182 markings, 438858992 edges, 49676 markings/sec, 2620 secs
lola: 50 tries, 49863700 fired transitions, 2625 secs || 125563715 markings, 439853201 edges, 51707 markings/sec, 2625 secs
lola: 50 tries, 49954606 fired transitions, 2630 secs || 125804018 markings, 440803958 edges, 48061 markings/sec, 2630 secs
lola: 51 tries, 50050772 fired transitions, 2635 secs || 126038451 markings, 441716521 edges, 46887 markings/sec, 2635 secs
lola: 51 tries, 50145020 fired transitions, 2640 secs || 126259239 markings, 442597239 edges, 44158 markings/sec, 2640 secs
lola: 51 tries, 50239307 fired transitions, 2645 secs || 126501190 markings, 443520509 edges, 48390 markings/sec, 2645 secs
lola: 51 tries, 50333213 fired transitions, 2650 secs || 126751016 markings, 444465510 edges, 49965 markings/sec, 2650 secs
lola: 51 tries, 50433782 fired transitions, 2655 secs || 126995692 markings, 445400951 edges, 48935 markings/sec, 2655 secs
lola: 51 tries, 50534300 fired transitions, 2660 secs || 127258922 markings, 446389338 edges, 52646 markings/sec, 2660 secs
lola: 51 tries, 50634938 fired transitions, 2665 secs || 127515541 markings, 447388111 edges, 51324 markings/sec, 2665 secs
lola: 51 tries, 50736359 fired transitions, 2670 secs || 127768465 markings, 448380383 edges, 50585 markings/sec, 2670 secs
lola: 51 tries, 50837681 fired transitions, 2675 secs || 128028120 markings, 449375288 edges, 51931 markings/sec, 2675 secs
lola: 51 tries, 50940914 fired transitions, 2680 secs || 128284621 markings, 450338199 edges, 51300 markings/sec, 2680 secs
lola: 52 tries, 51045264 fired transitions, 2685 secs || 128523350 markings, 451316866 edges, 47746 markings/sec, 2685 secs
lola: 52 tries, 51150492 fired transitions, 2690 secs || 128772038 markings, 452268942 edges, 49738 markings/sec, 2690 secs
lola: 52 tries, 51255801 fired transitions, 2695 secs || 129017783 markings, 453215031 edges, 49149 markings/sec, 2695 secs
lola: 52 tries, 51359310 fired transitions, 2700 secs || 129272402 markings, 454203802 edges, 50924 markings/sec, 2700 secs
lola: 52 tries, 51461136 fired transitions, 2705 secs || 129520735 markings, 455212444 edges, 49667 markings/sec, 2705 secs
lola: 52 tries, 51562515 fired transitions, 2710 secs || 129772143 markings, 456199536 edges, 50282 markings/sec, 2710 secs
lola: 52 tries, 51664167 fired transitions, 2715 secs || 130025435 markings, 457179718 edges, 50658 markings/sec, 2715 secs
lola: 52 tries, 51768732 fired transitions, 2720 secs || 130266777 markings, 458142070 edges, 48268 markings/sec, 2720 secs
lola: 52 tries, 51873516 fired transitions, 2725 secs || 130509013 markings, 459128562 edges, 48447 markings/sec, 2725 secs
lola: 52 tries, 51978630 fired transitions, 2730 secs || 130755831 markings, 460077264 edges, 49364 markings/sec, 2730 secs
lola: 53 tries, 52081021 fired transitions, 2735 secs || 131009722 markings, 461038623 edges, 50778 markings/sec, 2735 secs
lola: 53 tries, 52182178 fired transitions, 2740 secs || 131249276 markings, 462039311 edges, 47911 markings/sec, 2740 secs
lola: 53 tries, 52282921 fired transitions, 2745 secs || 131494196 markings, 463041666 edges, 48984 markings/sec, 2745 secs
lola: 53 tries, 52381876 fired transitions, 2750 secs || 131746827 markings, 464050233 edges, 50526 markings/sec, 2750 secs
lola: 53 tries, 52482988 fired transitions, 2755 secs || 131983900 markings, 465034170 edges, 47415 markings/sec, 2755 secs
lola: 53 tries, 52584052 fired transitions, 2760 secs || 132226336 markings, 466041209 edges, 48487 markings/sec, 2760 secs
lola: 53 tries, 52685032 fired transitions, 2765 secs || 132496091 markings, 467044402 edges, 53951 markings/sec, 2765 secs
lola: 53 tries, 52786102 fired transitions, 2770 secs || 132757975 markings, 468031635 edges, 52377 markings/sec, 2770 secs
lola: 53 tries, 52887403 fired transitions, 2775 secs || 133010841 markings, 469031444 edges, 50573 markings/sec, 2775 secs
lola: 53 tries, 52991797 fired transitions, 2780 secs || 133254517 markings, 469990720 edges, 48735 markings/sec, 2780 secs
lola: 54 tries, 53095931 fired transitions, 2785 secs || 133504313 markings, 470949784 edges, 49959 markings/sec, 2785 secs
lola: 54 tries, 53197607 fired transitions, 2790 secs || 133754102 markings, 471926526 edges, 49958 markings/sec, 2790 secs
lola: 54 tries, 53299742 fired transitions, 2795 secs || 133997487 markings, 472899424 edges, 48677 markings/sec, 2795 secs
lola: 54 tries, 53401916 fired transitions, 2800 secs || 134239651 markings, 473878665 edges, 48433 markings/sec, 2800 secs
lola: 54 tries, 53505965 fired transitions, 2805 secs || 134480575 markings, 474843909 edges, 48185 markings/sec, 2805 secs
lola: 54 tries, 53601605 fired transitions, 2810 secs || 134726505 markings, 475841371 edges, 49186 markings/sec, 2810 secs
lola: 54 tries, 53697878 fired transitions, 2815 secs || 134970175 markings, 476829013 edges, 48734 markings/sec, 2815 secs
lola: 54 tries, 53796053 fired transitions, 2820 secs || 135215249 markings, 477832384 edges, 49015 markings/sec, 2820 secs
lola: 54 tries, 53898230 fired transitions, 2825 secs || 135456689 markings, 478829031 edges, 48288 markings/sec, 2825 secs
lola: 54 tries, 53994770 fired transitions, 2830 secs || 135718955 markings, 479805758 edges, 52453 markings/sec, 2830 secs
lola: 55 tries, 54084141 fired transitions, 2835 secs || 135966713 markings, 480793638 edges, 49552 markings/sec, 2835 secs
lola: 55 tries, 54175113 fired transitions, 2840 secs || 136204280 markings, 481819156 edges, 47513 markings/sec, 2840 secs
lola: 55 tries, 54266919 fired transitions, 2845 secs || 136454647 markings, 482813922 edges, 50073 markings/sec, 2845 secs
lola: 55 tries, 54360858 fired transitions, 2850 secs || 136724655 markings, 483759224 edges, 54002 markings/sec, 2850 secs
lola: 55 tries, 54452973 fired transitions, 2855 secs || 137001104 markings, 484677284 edges, 55290 markings/sec, 2855 secs
lola: 55 tries, 54545976 fired transitions, 2860 secs || 137245311 markings, 485603527 edges, 48841 markings/sec, 2860 secs
lola: 55 tries, 54639381 fired transitions, 2865 secs || 137513469 markings, 486500371 edges, 53632 markings/sec, 2865 secs
lola: 55 tries, 54732960 fired transitions, 2870 secs || 137748950 markings, 487423135 edges, 47096 markings/sec, 2870 secs
lola: 55 tries, 54825822 fired transitions, 2875 secs || 137984055 markings, 488372578 edges, 47021 markings/sec, 2875 secs
lola: 55 tries, 54922683 fired transitions, 2880 secs || 138213348 markings, 489320032 edges, 45859 markings/sec, 2880 secs
lola: 56 tries, 55021051 fired transitions, 2885 secs || 138457242 markings, 490275040 edges, 48779 markings/sec, 2885 secs
lola: 56 tries, 55119580 fired transitions, 2890 secs || 138694337 markings, 491217086 edges, 47419 markings/sec, 2890 secs
lola: 56 tries, 55211794 fired transitions, 2895 secs || 138920771 markings, 492140597 edges, 45287 markings/sec, 2895 secs
lola: 56 tries, 55301788 fired transitions, 2900 secs || 139150299 markings, 493091715 edges, 45906 markings/sec, 2900 secs
lola: 56 tries, 55392775 fired transitions, 2905 secs || 139374589 markings, 494014019 edges, 44858 markings/sec, 2905 secs
lola: 56 tries, 55484890 fired transitions, 2910 secs || 139602196 markings, 494912590 edges, 45521 markings/sec, 2910 secs
lola: 56 tries, 55576912 fired transitions, 2915 secs || 139825890 markings, 495835153 edges, 44739 markings/sec, 2915 secs
lola: 56 tries, 55667155 fired transitions, 2920 secs || 140056733 markings, 496743122 edges, 46169 markings/sec, 2920 secs
lola: 56 tries, 55763767 fired transitions, 2925 secs || 140286315 markings, 497680908 edges, 45916 markings/sec, 2925 secs
lola: 56 tries, 55856725 fired transitions, 2930 secs || 140522506 markings, 498598655 edges, 47238 markings/sec, 2930 secs
lola: 56 tries, 55950124 fired transitions, 2935 secs || 140746192 markings, 499535026 edges, 44737 markings/sec, 2935 secs
lola: 57 tries, 56043509 fired transitions, 2940 secs || 140976582 markings, 500464868 edges, 46078 markings/sec, 2940 secs
lola: 57 tries, 56140562 fired transitions, 2945 secs || 141212697 markings, 501389887 edges, 47223 markings/sec, 2945 secs
lola: 57 tries, 56237582 fired transitions, 2950 secs || 141437557 markings, 502328812 edges, 44972 markings/sec, 2950 secs
lola: 57 tries, 56335475 fired transitions, 2955 secs || 141676521 markings, 503292604 edges, 47793 markings/sec, 2955 secs
lola: 57 tries, 56431697 fired transitions, 2960 secs || 141930464 markings, 504213527 edges, 50789 markings/sec, 2960 secs
lola: 57 tries, 56528459 fired transitions, 2965 secs || 142157273 markings, 505170788 edges, 45362 markings/sec, 2965 secs
lola: 57 tries, 56627000 fired transitions, 2970 secs || 142372382 markings, 506089794 edges, 43022 markings/sec, 2970 secs
lola: 57 tries, 56725727 fired transitions, 2975 secs || 142588553 markings, 507006935 edges, 43234 markings/sec, 2975 secs
lola: 57 tries, 56821148 fired transitions, 2980 secs || 142829261 markings, 507968709 edges, 48142 markings/sec, 2980 secs
lola: 57 tries, 56921630 fired transitions, 2985 secs || 143057739 markings, 508885203 edges, 45696 markings/sec, 2985 secs
lola: 58 tries, 57021330 fired transitions, 2990 secs || 143278212 markings, 509790827 edges, 44095 markings/sec, 2990 secs
lola: 58 tries, 57119520 fired transitions, 2995 secs || 143499617 markings, 510716675 edges, 44281 markings/sec, 2995 secs
lola: 58 tries, 57221847 fired transitions, 3000 secs || 143723838 markings, 511673792 edges, 44844 markings/sec, 3000 secs
lola: 58 tries, 57323937 fired transitions, 3005 secs || 143942445 markings, 512647599 edges, 43721 markings/sec, 3005 secs
lola: 58 tries, 57424899 fired transitions, 3010 secs || 144160485 markings, 513564992 edges, 43608 markings/sec, 3010 secs
lola: 58 tries, 57521826 fired transitions, 3015 secs || 144379819 markings, 514484133 edges, 43867 markings/sec, 3015 secs
lola: 58 tries, 57617268 fired transitions, 3020 secs || 144628288 markings, 515392828 edges, 49694 markings/sec, 3020 secs
lola: 58 tries, 57714414 fired transitions, 3025 secs || 144850083 markings, 516390690 edges, 44359 markings/sec, 3025 secs
lola: 58 tries, 57812787 fired transitions, 3030 secs || 145072489 markings, 517361060 edges, 44481 markings/sec, 3030 secs
lola: 58 tries, 57910926 fired transitions, 3035 secs || 145304145 markings, 518272961 edges, 46331 markings/sec, 3035 secs
lola: 59 tries, 58009399 fired transitions, 3040 secs || 145526086 markings, 519192003 edges, 44388 markings/sec, 3040 secs
lola: 59 tries, 58108063 fired transitions, 3045 secs || 145763437 markings, 520120400 edges, 47470 markings/sec, 3045 secs
lola: 59 tries, 58206136 fired transitions, 3050 secs || 145992949 markings, 521075089 edges, 45902 markings/sec, 3050 secs
lola: 59 tries, 58305007 fired transitions, 3055 secs || 146218168 markings, 522008249 edges, 45044 markings/sec, 3055 secs
lola: 59 tries, 58403983 fired transitions, 3060 secs || 146439552 markings, 522941434 edges, 44277 markings/sec, 3060 secs
lola: 59 tries, 58505830 fired transitions, 3065 secs || 146665557 markings, 523900215 edges, 45201 markings/sec, 3065 secs
lola: 59 tries, 58609033 fired transitions, 3070 secs || 146896393 markings, 524849950 edges, 46167 markings/sec, 3070 secs
lola: 59 tries, 58715203 fired transitions, 3075 secs || 147127497 markings, 525785276 edges, 46221 markings/sec, 3075 secs
lola: 59 tries, 58819204 fired transitions, 3080 secs || 147359676 markings, 526706105 edges, 46436 markings/sec, 3080 secs
lola: 59 tries, 58920463 fired transitions, 3085 secs || 147593280 markings, 527645999 edges, 46721 markings/sec, 3085 secs
lola: 60 tries, 59023067 fired transitions, 3090 secs || 147818222 markings, 528595165 edges, 44988 markings/sec, 3090 secs
lola: 60 tries, 59126018 fired transitions, 3095 secs || 148048708 markings, 529504106 edges, 46097 markings/sec, 3095 secs
lola: 60 tries, 59230088 fired transitions, 3100 secs || 148278222 markings, 530449892 edges, 45903 markings/sec, 3100 secs
lola: 60 tries, 59333507 fired transitions, 3105 secs || 148508338 markings, 531391911 edges, 46023 markings/sec, 3105 secs
lola: 60 tries, 59432393 fired transitions, 3110 secs || 148740323 markings, 532353004 edges, 46397 markings/sec, 3110 secs
lola: 60 tries, 59532734 fired transitions, 3115 secs || 148975941 markings, 533314009 edges, 47124 markings/sec, 3115 secs
lola: 60 tries, 59634293 fired transitions, 3120 secs || 149208508 markings, 534273945 edges, 46513 markings/sec, 3120 secs
lola: 60 tries, 59736089 fired transitions, 3125 secs || 149434298 markings, 535247568 edges, 45158 markings/sec, 3125 secs
lola: 60 tries, 59835596 fired transitions, 3130 secs || 149665741 markings, 536228352 edges, 46289 markings/sec, 3130 secs
lola: 60 tries, 59935208 fired transitions, 3135 secs || 149913272 markings, 537203284 edges, 49506 markings/sec, 3135 secs
lola: 61 tries, 60035754 fired transitions, 3140 secs || 150170710 markings, 538135512 edges, 51488 markings/sec, 3140 secs
lola: 61 tries, 60138213 fired transitions, 3145 secs || 150410828 markings, 539098806 edges, 48024 markings/sec, 3145 secs
lola: 61 tries, 60239778 fired transitions, 3150 secs || 150656629 markings, 540041219 edges, 49160 markings/sec, 3150 secs
lola: 61 tries, 60341100 fired transitions, 3155 secs || 150890495 markings, 540981385 edges, 46773 markings/sec, 3155 secs
lola: 61 tries, 60444927 fired transitions, 3160 secs || 151109893 markings, 541908670 edges, 43880 markings/sec, 3160 secs
lola: 61 tries, 60547290 fired transitions, 3165 secs || 151338938 markings, 542855254 edges, 45809 markings/sec, 3165 secs
lola: 61 tries, 60646893 fired transitions, 3170 secs || 151564843 markings, 543802564 edges, 45181 markings/sec, 3170 secs
lola: 61 tries, 60736617 fired transitions, 3175 secs || 151774827 markings, 544726717 edges, 41997 markings/sec, 3175 secs
lola: 61 tries, 60832488 fired transitions, 3180 secs || 151991528 markings, 545662880 edges, 43340 markings/sec, 3180 secs
lola: 61 tries, 60928362 fired transitions, 3185 secs || 152214867 markings, 546590792 edges, 44668 markings/sec, 3185 secs
lola: 62 tries, 61025332 fired transitions, 3190 secs || 152445641 markings, 547549760 edges, 46155 markings/sec, 3190 secs
lola: 62 tries, 61122844 fired transitions, 3195 secs || 152672237 markings, 548507531 edges, 45319 markings/sec, 3195 secs
lola: 62 tries, 61219486 fired transitions, 3200 secs || 152923633 markings, 549427792 edges, 50279 markings/sec, 3200 secs
lola: 62 tries, 61316200 fired transitions, 3205 secs || 153158455 markings, 550389455 edges, 46964 markings/sec, 3205 secs
lola: 62 tries, 61413211 fired transitions, 3210 secs || 153385426 markings, 551326337 edges, 45394 markings/sec, 3210 secs
lola: 62 tries, 61510264 fired transitions, 3215 secs || 153610597 markings, 552270055 edges, 45034 markings/sec, 3215 secs
lola: 62 tries, 61606477 fired transitions, 3220 secs || 153863389 markings, 553200770 edges, 50558 markings/sec, 3220 secs
lola: 62 tries, 61702924 fired transitions, 3225 secs || 154094134 markings, 554140822 edges, 46149 markings/sec, 3225 secs
lola: 62 tries, 61799185 fired transitions, 3230 secs || 154327098 markings, 555070267 edges, 46593 markings/sec, 3230 secs
lola: 62 tries, 61896115 fired transitions, 3235 secs || 154555626 markings, 556038568 edges, 45706 markings/sec, 3235 secs
lola: 62 tries, 61991494 fired transitions, 3240 secs || 154788361 markings, 556988865 edges, 46547 markings/sec, 3240 secs
lola: 63 tries, 62085812 fired transitions, 3245 secs || 155010233 markings, 557893466 edges, 44374 markings/sec, 3245 secs
lola: 63 tries, 62180153 fired transitions, 3250 secs || 155235575 markings, 558820961 edges, 45068 markings/sec, 3250 secs
lola: 63 tries, 62274446 fired transitions, 3255 secs || 155458478 markings, 559772532 edges, 44581 markings/sec, 3255 secs
lola: 63 tries, 62372054 fired transitions, 3260 secs || 155741145 markings, 560699542 edges, 56533 markings/sec, 3260 secs
lola: 63 tries, 62474954 fired transitions, 3265 secs || 155965657 markings, 561650778 edges, 44902 markings/sec, 3265 secs
lola: 63 tries, 62578568 fired transitions, 3270 secs || 156206315 markings, 562612535 edges, 48132 markings/sec, 3270 secs
lola: 63 tries, 62680202 fired transitions, 3275 secs || 156447346 markings, 563587123 edges, 48206 markings/sec, 3275 secs
lola: 63 tries, 62784035 fired transitions, 3280 secs || 156677287 markings, 564574336 edges, 45988 markings/sec, 3280 secs
lola: 63 tries, 62888390 fired transitions, 3285 secs || 156903012 markings, 565558253 edges, 45145 markings/sec, 3285 secs
lola: 63 tries, 62990579 fired transitions, 3290 secs || 157133358 markings, 566507884 edges, 46069 markings/sec, 3290 secs
lola: 64 tries, 63095181 fired transitions, 3295 secs || 157359238 markings, 567488027 edges, 45176 markings/sec, 3295 secs
lola: 64 tries, 63199938 fired transitions, 3300 secs || 157590046 markings, 568457169 edges, 46162 markings/sec, 3300 secs
lola: 64 tries, 63305610 fired transitions, 3305 secs || 157810926 markings, 569429023 edges, 44176 markings/sec, 3305 secs
lola: 64 tries, 63411672 fired transitions, 3310 secs || 158017826 markings, 570393152 edges, 41380 markings/sec, 3310 secs
lola: 64 tries, 63512880 fired transitions, 3315 secs || 158247208 markings, 571391593 edges, 45876 markings/sec, 3315 secs
lola: 64 tries, 63610932 fired transitions, 3320 secs || 158468695 markings, 572366219 edges, 44297 markings/sec, 3320 secs
lola: 64 tries, 63702108 fired transitions, 3325 secs || 158693749 markings, 573338792 edges, 45011 markings/sec, 3325 secs
lola: 64 tries, 63790191 fired transitions, 3330 secs || 158909629 markings, 574294457 edges, 43176 markings/sec, 3330 secs
lola: 64 tries, 63877848 fired transitions, 3335 secs || 159150858 markings, 575265870 edges, 48246 markings/sec, 3335 secs
lola: 64 tries, 63966477 fired transitions, 3340 secs || 159384131 markings, 576249237 edges, 46655 markings/sec, 3340 secs
lola: 65 tries, 64055569 fired transitions, 3345 secs || 159610820 markings, 577235311 edges, 45338 markings/sec, 3345 secs
lola: 65 tries, 64143583 fired transitions, 3350 secs || 159846351 markings, 578227800 edges, 47106 markings/sec, 3350 secs
lola: 65 tries, 64234204 fired transitions, 3355 secs || 160072643 markings, 579207208 edges, 45258 markings/sec, 3355 secs
lola: 65 tries, 64326439 fired transitions, 3360 secs || 160284091 markings, 580168047 edges, 42290 markings/sec, 3360 secs
lola: 65 tries, 64421599 fired transitions, 3365 secs || 160509062 markings, 581121364 edges, 44994 markings/sec, 3365 secs
lola: 65 tries, 64514776 fired transitions, 3370 secs || 160727561 markings, 582064067 edges, 43700 markings/sec, 3370 secs
lola: 65 tries, 64607473 fired transitions, 3375 secs || 160943351 markings, 583001602 edges, 43158 markings/sec, 3375 secs
lola: 65 tries, 64705219 fired transitions, 3380 secs || 161163487 markings, 583951826 edges, 44027 markings/sec, 3380 secs
lola: 65 tries, 64809623 fired transitions, 3385 secs || 161379760 markings, 584864963 edges, 43255 markings/sec, 3385 secs
lola: 65 tries, 64913653 fired transitions, 3390 secs || 161593439 markings, 585796803 edges, 42736 markings/sec, 3390 secs
lola: 66 tries, 65013458 fired transitions, 3395 secs || 161798977 markings, 586722494 edges, 41108 markings/sec, 3395 secs
lola: 66 tries, 65115035 fired transitions, 3400 secs || 161994751 markings, 587568441 edges, 39155 markings/sec, 3400 secs
lola: 66 tries, 65217563 fired transitions, 3405 secs || 162188002 markings, 588378529 edges, 38650 markings/sec, 3405 secs
lola: 66 tries, 65320439 fired transitions, 3410 secs || 162379475 markings, 589208637 edges, 38295 markings/sec, 3410 secs
lola: 66 tries, 65422880 fired transitions, 3415 secs || 162564067 markings, 590034141 edges, 36918 markings/sec, 3415 secs
lola: 66 tries, 65525030 fired transitions, 3420 secs || 162755058 markings, 590838851 edges, 38198 markings/sec, 3420 secs
lola: 66 tries, 65625392 fired transitions, 3425 secs || 162943477 markings, 591643664 edges, 37684 markings/sec, 3425 secs
lola: 66 tries, 65725871 fired transitions, 3430 secs || 163130658 markings, 592461572 edges, 37436 markings/sec, 3430 secs
lola: 66 tries, 65822459 fired transitions, 3435 secs || 163318022 markings, 593299732 edges, 37473 markings/sec, 3435 secs
lola: 66 tries, 65916368 fired transitions, 3440 secs || 163507069 markings, 594118182 edges, 37809 markings/sec, 3440 secs
lola: 67 tries, 66010551 fired transitions, 3445 secs || 163695916 markings, 594935197 edges, 37769 markings/sec, 3445 secs
lola: 67 tries, 66110955 fired transitions, 3450 secs || 163888811 markings, 595749952 edges, 38579 markings/sec, 3450 secs
lola: 67 tries, 66209808 fired transitions, 3455 secs || 164098000 markings, 596686420 edges, 41838 markings/sec, 3455 secs
lola: 67 tries, 66308031 fired transitions, 3460 secs || 164330878 markings, 597712961 edges, 46576 markings/sec, 3460 secs
lola: 67 tries, 66407205 fired transitions, 3465 secs || 164571734 markings, 598699918 edges, 48171 markings/sec, 3465 secs
lola: 67 tries, 66506688 fired transitions, 3470 secs || 164806950 markings, 599729915 edges, 47043 markings/sec, 3470 secs
lola: 67 tries, 66605148 fired transitions, 3475 secs || 165038853 markings, 600774332 edges, 46381 markings/sec, 3475 secs
lola: 67 tries, 66703566 fired transitions, 3480 secs || 165276830 markings, 601783254 edges, 47595 markings/sec, 3480 secs
lola: 67 tries, 66799638 fired transitions, 3485 secs || 165510747 markings, 602778615 edges, 46783 markings/sec, 3485 secs
lola: 67 tries, 66895221 fired transitions, 3490 secs || 165736476 markings, 603774234 edges, 45146 markings/sec, 3490 secs
lola: 67 tries, 66990204 fired transitions, 3495 secs || 165960932 markings, 604784417 edges, 44891 markings/sec, 3495 secs
lola: 68 tries, 67085044 fired transitions, 3500 secs || 166191978 markings, 605771939 edges, 46209 markings/sec, 3500 secs
lola: 68 tries, 67180486 fired transitions, 3505 secs || 166420851 markings, 606771728 edges, 45775 markings/sec, 3505 secs
lola: 68 tries, 67278082 fired transitions, 3510 secs || 166638717 markings, 607766357 edges, 43573 markings/sec, 3510 secs
lola: 68 tries, 67376467 fired transitions, 3515 secs || 166865784 markings, 608784977 edges, 45413 markings/sec, 3515 secs
lola: 68 tries, 67475758 fired transitions, 3520 secs || 167088081 markings, 609792976 edges, 44459 markings/sec, 3520 secs
lola: 68 tries, 67574638 fired transitions, 3525 secs || 167313540 markings, 610851348 edges, 45092 markings/sec, 3525 secs
lola: 68 tries, 67672975 fired transitions, 3530 secs || 167542265 markings, 611940508 edges, 45745 markings/sec, 3530 secs
lola: 68 tries, 67771690 fired transitions, 3535 secs || 167771792 markings, 612978778 edges, 45905 markings/sec, 3535 secs
lola: 68 tries, 67870399 fired transitions, 3540 secs || 167989500 markings, 614036700 edges, 43542 markings/sec, 3540 secs
lola: 68 tries, 67968253 fired transitions, 3545 secs || 168204691 markings, 615063576 edges, 43038 markings/sec, 3545 secs
lola: 69 tries, 68065406 fired transitions, 3550 secs || 168479260 markings, 616094583 edges, 54914 markings/sec, 3550 secs
lola: 69 tries, 68164901 fired transitions, 3555 secs || 168708617 markings, 617109654 edges, 45871 markings/sec, 3555 secs
lola: 69 tries, 68261552 fired transitions, 3560 secs || 168917395 markings, 618067708 edges, 41756 markings/sec, 3560 secs
lola: time limit reached - aborting
lola: memory consumption: 8039544 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 1552667707524

--------------------
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="FlexibleBarrier-PT-22a"
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 FlexibleBarrier-PT-22a, examination is GlobalProperties"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r082-csrt-155246549200291"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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