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.r159-csrt-155286430900318.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 SimpleLoadBal-PT-15, examination is GlobalProperties
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r159-csrt-155286430900318
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1.3M
-rw-r--r-- 1 mcc users 4.4K Feb 12 18:43 CTLCardinality.txt
-rw-r--r-- 1 mcc users 21K Feb 12 18:43 CTLCardinality.xml
-rw-r--r-- 1 mcc users 3.8K Feb 9 02:03 CTLFireability.txt
-rw-r--r-- 1 mcc users 20K Feb 9 02:03 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 10 17:31 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 106 Feb 24 15:05 GlobalProperties.txt
-rw-r--r-- 1 mcc users 344 Feb 24 15:05 GlobalProperties.xml
-rw-r--r-- 1 mcc users 3.0K Feb 5 01:30 LTLCardinality.txt
-rw-r--r-- 1 mcc users 13K Feb 5 01:30 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Feb 4 22:48 LTLFireability.txt
-rw-r--r-- 1 mcc users 8.6K Feb 4 22:48 LTLFireability.xml
-rw-r--r-- 1 mcc users 4.4K Feb 4 20:38 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 20K Feb 4 20:38 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 3.1K Feb 1 20:56 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 14K Feb 1 20:56 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.8K Feb 4 22:30 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.9K Feb 4 22:30 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Jan 29 09:35 equiv_col
-rw-r--r-- 1 mcc users 3 Jan 29 09:35 instance
-rw-r--r-- 1 mcc users 6 Jan 29 09:35 iscolored
-rw-r--r-- 1 mcc users 1.2M 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 SimpleLoadBal-PT-15-GlobalProperties-0

=== Now, execution of the tool begins

BK_START 1552947887671

info: Time: 3600 - MCC
vrfy: Checking GlobalProperties @ SimpleLoadBal-PT-15 @ 3570 seconds
vrfy: finished
info: timeLeft: -1
rslt: Output for GlobalProperties @ SimpleLoadBal-PT-15

{
"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": "Mon Mar 18 22:24:47 2019
",
"timelimit": 3570
},
"child": null,
"exit":
{
"error": null,
"memory": 3163268,
"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": 8988,
"conflict_clusters": 35,
"places": 149,
"places_significant": 110,
"singleton_clusters": 0,
"transitions": 1280
},
"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": 1307674368000.000000,
"composed": 90,
"dead_branches": 0,
"generators": 105,
"interrupted": false,
"real_computed": 15,
"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: 1429/268435456 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 4768
lola: finding significant places
lola: 149 places, 1280 transitions, 110 significant places
lola: compute conflict clusters
lola: computed conflict clusters
lola: Computing conflicting sets
lola: Computing back conflicting sets
lola: TASK
lola: Reading formula in XML format (--xmlformula)
lola: reading pnml
lola: reading formula from GlobalProperties.xml
lola: E (F (DEADLOCK))
lola: checking reachability
lola: Planning: workflow for reachability check: findpath||search (--findpath=par)
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: processed formula: E (F (DEADLOCK))
lola: processed formula length: 16
lola: 1 rewrites
lola: closed formula file GlobalProperties.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: SEARCH (findpath)
lola: findpath: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: findpath: starting randomized, memory-less exploration (--findpath)
lola: findpath: searching for paths with maximal depth 1000000 (--depthlimit)
lola: findpath: no retry limit given (--retrylimit)
lola: findpath: transitions are chosen hash-driven
lola: computing symmetries (--symmetry)
lola: time limit for symmetry computation of 300 seconds given (--symmtimelimit)
lola: computed 105 generators (15 in search tree, 90 by composition)
lola: representing 1.30767E+12 symmetries
lola: 0 dead branches visited in search tree
lola: 1 tries, 39968 fired transitions, 0 secs || 42867 markings, 46464 edges, 8573 markings/sec, 0 secs
lola: 1 tries, 81982 fired transitions, 5 secs || 88764 markings, 97632 edges, 9179 markings/sec, 5 secs
lola: 1 tries, 124385 fired transitions, 10 secs || 135509 markings, 150462 edges, 9349 markings/sec, 10 secs
lola: 1 tries, 166683 fired transitions, 15 secs || 181602 markings, 202330 edges, 9219 markings/sec, 15 secs
lola: 1 tries, 207924 fired transitions, 20 secs || 228714 markings, 255906 edges, 9422 markings/sec, 20 secs
lola: 1 tries, 248842 fired transitions, 25 secs || 274469 markings, 308513 edges, 9151 markings/sec, 25 secs
lola: 1 tries, 292264 fired transitions, 30 secs || 323173 markings, 365317 edges, 9741 markings/sec, 30 secs
lola: 1 tries, 335164 fired transitions, 35 secs || 375203 markings, 426826 edges, 10406 markings/sec, 35 secs
lola: 1 tries, 377101 fired transitions, 40 secs || 428156 markings, 489661 edges, 10591 markings/sec, 40 secs
lola: 1 tries, 418063 fired transitions, 45 secs || 480453 markings, 551511 edges, 10459 markings/sec, 45 secs
lola: 1 tries, 462802 fired transitions, 50 secs || 531286 markings, 612080 edges, 10167 markings/sec, 50 secs
lola: 1 tries, 507487 fired transitions, 55 secs || 580979 markings, 670907 edges, 9939 markings/sec, 55 secs
lola: 1 tries, 551896 fired transitions, 60 secs || 631813 markings, 731778 edges, 10167 markings/sec, 60 secs
lola: 1 tries, 596270 fired transitions, 65 secs || 682447 markings, 792251 edges, 10127 markings/sec, 65 secs
lola: 1 tries, 640373 fired transitions, 70 secs || 731658 markings, 851130 edges, 9842 markings/sec, 70 secs
lola: 1 tries, 684945 fired transitions, 75 secs || 780136 markings, 908899 edges, 9696 markings/sec, 75 secs
lola: 1 tries, 729410 fired transitions, 80 secs || 827892 markings, 965517 edges, 9551 markings/sec, 80 secs
lola: 1 tries, 772022 fired transitions, 85 secs || 877116 markings, 1024208 edges, 9845 markings/sec, 85 secs
lola: 1 tries, 812508 fired transitions, 90 secs || 927437 markings, 1084453 edges, 10064 markings/sec, 90 secs
lola: 1 tries, 853076 fired transitions, 95 secs || 978177 markings, 1145303 edges, 10148 markings/sec, 95 secs
lola: 1 tries, 894570 fired transitions, 100 secs || 1030214 markings, 1208090 edges, 10407 markings/sec, 100 secs
lola: 1 tries, 939221 fired transitions, 105 secs || 1088584 markings, 1279013 edges, 11674 markings/sec, 105 secs
lola: 1 tries, 983944 fired transitions, 110 secs || 1146482 markings, 1349221 edges, 11580 markings/sec, 110 secs
lola: 2 tries, 1028498 fired transitions, 115 secs || 1203685 markings, 1418667 edges, 11441 markings/sec, 115 secs
lola: 2 tries, 1071216 fired transitions, 120 secs || 1262703 markings, 1490739 edges, 11804 markings/sec, 120 secs
lola: 2 tries, 1113139 fired transitions, 125 secs || 1317001 markings, 1556164 edges, 10860 markings/sec, 125 secs
lola: 2 tries, 1157931 fired transitions, 130 secs || 1373763 markings, 1625087 edges, 11352 markings/sec, 130 secs
lola: 2 tries, 1202555 fired transitions, 135 secs || 1431279 markings, 1694880 edges, 11503 markings/sec, 135 secs
lola: 2 tries, 1247236 fired transitions, 140 secs || 1489413 markings, 1766210 edges, 11627 markings/sec, 140 secs
lola: 2 tries, 1291832 fired transitions, 145 secs || 1544919 markings, 1833923 edges, 11101 markings/sec, 145 secs
lola: 2 tries, 1336573 fired transitions, 150 secs || 1601065 markings, 1902326 edges, 11229 markings/sec, 150 secs
lola: 2 tries, 1381185 fired transitions, 155 secs || 1657699 markings, 1971866 edges, 11327 markings/sec, 155 secs
lola: 2 tries, 1425969 fired transitions, 160 secs || 1713694 markings, 2040089 edges, 11199 markings/sec, 160 secs
lola: 2 tries, 1471414 fired transitions, 165 secs || 1770930 markings, 2110265 edges, 11447 markings/sec, 165 secs
lola: 2 tries, 1517568 fired transitions, 170 secs || 1825557 markings, 2177196 edges, 10925 markings/sec, 170 secs
lola: 2 tries, 1563019 fired transitions, 175 secs || 1881397 markings, 2245484 edges, 11168 markings/sec, 175 secs
lola: 2 tries, 1607617 fired transitions, 180 secs || 1940978 markings, 2319045 edges, 11916 markings/sec, 180 secs
lola: 2 tries, 1650635 fired transitions, 185 secs || 1999306 markings, 2390534 edges, 11666 markings/sec, 185 secs
lola: 2 tries, 1694329 fired transitions, 190 secs || 2057570 markings, 2462230 edges, 11653 markings/sec, 190 secs
lola: 2 tries, 1737305 fired transitions, 195 secs || 2113862 markings, 2531717 edges, 11258 markings/sec, 195 secs
lola: 2 tries, 1779879 fired transitions, 200 secs || 2170589 markings, 2601634 edges, 11345 markings/sec, 200 secs
lola: 2 tries, 1823383 fired transitions, 205 secs || 2229607 markings, 2674598 edges, 11804 markings/sec, 205 secs
lola: 2 tries, 1866191 fired transitions, 210 secs || 2290781 markings, 2750992 edges, 12235 markings/sec, 210 secs
lola: 2 tries, 1909354 fired transitions, 215 secs || 2346571 markings, 2819694 edges, 11158 markings/sec, 215 secs
lola: 2 tries, 1952823 fired transitions, 220 secs || 2403199 markings, 2889555 edges, 11326 markings/sec, 220 secs
lola: 2 tries, 1995344 fired transitions, 225 secs || 2460063 markings, 2959746 edges, 11373 markings/sec, 225 secs
lola: 3 tries, 2038368 fired transitions, 230 secs || 2519140 markings, 3032892 edges, 11815 markings/sec, 230 secs
lola: 3 tries, 2081774 fired transitions, 235 secs || 2581261 markings, 3110444 edges, 12424 markings/sec, 235 secs
lola: 3 tries, 2125572 fired transitions, 240 secs || 2642881 markings, 3187397 edges, 12324 markings/sec, 240 secs
lola: 3 tries, 2169106 fired transitions, 245 secs || 2702627 markings, 3261660 edges, 11949 markings/sec, 245 secs
lola: 3 tries, 2212321 fired transitions, 250 secs || 2763941 markings, 3338488 edges, 12263 markings/sec, 250 secs
lola: 3 tries, 2256579 fired transitions, 255 secs || 2827550 markings, 3417997 edges, 12722 markings/sec, 255 secs
lola: 3 tries, 2300089 fired transitions, 260 secs || 2891336 markings, 3497793 edges, 12757 markings/sec, 260 secs
lola: 3 tries, 2343928 fired transitions, 265 secs || 2954583 markings, 3576582 edges, 12649 markings/sec, 265 secs
lola: 3 tries, 2387782 fired transitions, 270 secs || 3015534 markings, 3652703 edges, 12190 markings/sec, 270 secs
lola: 3 tries, 2431630 fired transitions, 275 secs || 3077752 markings, 3730399 edges, 12444 markings/sec, 275 secs
lola: 3 tries, 2475284 fired transitions, 280 secs || 3140041 markings, 3808144 edges, 12458 markings/sec, 280 secs
lola: 3 tries, 2519097 fired transitions, 285 secs || 3199513 markings, 3882542 edges, 11894 markings/sec, 285 secs
lola: 3 tries, 2562978 fired transitions, 290 secs || 3258349 markings, 3955648 edges, 11767 markings/sec, 290 secs
lola: 3 tries, 2605521 fired transitions, 295 secs || 3316435 markings, 4028004 edges, 11617 markings/sec, 295 secs
lola: 3 tries, 2648234 fired transitions, 300 secs || 3376389 markings, 4102988 edges, 11991 markings/sec, 300 secs
lola: 3 tries, 2690214 fired transitions, 305 secs || 3435467 markings, 4176790 edges, 11816 markings/sec, 305 secs
lola: 3 tries, 2733236 fired transitions, 310 secs || 3496046 markings, 4252965 edges, 12116 markings/sec, 310 secs
lola: 3 tries, 2776762 fired transitions, 315 secs || 3556631 markings, 4328733 edges, 12117 markings/sec, 315 secs
lola: 3 tries, 2821190 fired transitions, 320 secs || 3619123 markings, 4407475 edges, 12498 markings/sec, 320 secs
lola: 3 tries, 2865283 fired transitions, 325 secs || 3681762 markings, 4486008 edges, 12528 markings/sec, 325 secs
lola: 3 tries, 2908940 fired transitions, 330 secs || 3747545 markings, 4568962 edges, 13157 markings/sec, 330 secs
lola: 3 tries, 2953702 fired transitions, 335 secs || 3810832 markings, 4648538 edges, 12657 markings/sec, 335 secs
lola: 3 tries, 2997242 fired transitions, 340 secs || 3869867 markings, 4722490 edges, 11807 markings/sec, 340 secs
lola: 4 tries, 3040660 fired transitions, 345 secs || 3932990 markings, 4802097 edges, 12625 markings/sec, 345 secs
lola: 4 tries, 3084132 fired transitions, 350 secs || 3996681 markings, 4882618 edges, 12738 markings/sec, 350 secs
lola: 4 tries, 3126236 fired transitions, 355 secs || 4056397 markings, 4957544 edges, 11943 markings/sec, 355 secs
lola: 4 tries, 3167572 fired transitions, 360 secs || 4120048 markings, 5037959 edges, 12730 markings/sec, 360 secs
lola: 4 tries, 3209070 fired transitions, 365 secs || 4179985 markings, 5113240 edges, 11987 markings/sec, 365 secs
lola: 4 tries, 3250330 fired transitions, 370 secs || 4240739 markings, 5189937 edges, 12151 markings/sec, 370 secs
lola: 4 tries, 3290161 fired transitions, 375 secs || 4298503 markings, 5262840 edges, 11553 markings/sec, 375 secs
lola: 4 tries, 3332000 fired transitions, 380 secs || 4359504 markings, 5340073 edges, 12200 markings/sec, 380 secs
lola: 4 tries, 3374046 fired transitions, 385 secs || 4420646 markings, 5417388 edges, 12228 markings/sec, 385 secs
lola: 4 tries, 3416402 fired transitions, 390 secs || 4479702 markings, 5491594 edges, 11811 markings/sec, 390 secs
lola: 4 tries, 3458767 fired transitions, 395 secs || 4541378 markings, 5569437 edges, 12335 markings/sec, 395 secs
lola: 4 tries, 3500626 fired transitions, 400 secs || 4603193 markings, 5647855 edges, 12363 markings/sec, 400 secs
lola: 4 tries, 3542024 fired transitions, 405 secs || 4662773 markings, 5723258 edges, 11916 markings/sec, 405 secs
lola: 4 tries, 3583355 fired transitions, 410 secs || 4723155 markings, 5799842 edges, 12076 markings/sec, 410 secs
lola: 4 tries, 3624814 fired transitions, 415 secs || 4784230 markings, 5877220 edges, 12215 markings/sec, 415 secs
lola: 4 tries, 3667491 fired transitions, 420 secs || 4846892 markings, 5956834 edges, 12532 markings/sec, 420 secs
lola: 4 tries, 3710518 fired transitions, 425 secs || 4907218 markings, 6033497 edges, 12065 markings/sec, 425 secs
lola: 4 tries, 3754148 fired transitions, 430 secs || 4972075 markings, 6116023 edges, 12971 markings/sec, 430 secs
lola: 4 tries, 3797759 fired transitions, 435 secs || 5034580 markings, 6195435 edges, 12501 markings/sec, 435 secs
lola: 4 tries, 3841237 fired transitions, 440 secs || 5099550 markings, 6278083 edges, 12994 markings/sec, 440 secs
lola: 4 tries, 3885197 fired transitions, 445 secs || 5162037 markings, 6357615 edges, 12497 markings/sec, 445 secs
lola: 4 tries, 3927941 fired transitions, 450 secs || 5225786 markings, 6438752 edges, 12750 markings/sec, 450 secs
lola: 4 tries, 3970975 fired transitions, 455 secs || 5289423 markings, 6519740 edges, 12727 markings/sec, 455 secs
lola: 5 tries, 4012705 fired transitions, 460 secs || 5352009 markings, 6599777 edges, 12517 markings/sec, 460 secs
lola: 5 tries, 4053608 fired transitions, 465 secs || 5413358 markings, 6678083 edges, 12270 markings/sec, 465 secs
lola: 5 tries, 4094545 fired transitions, 470 secs || 5473913 markings, 6755076 edges, 12111 markings/sec, 470 secs
lola: 5 tries, 4136177 fired transitions, 475 secs || 5534972 markings, 6833011 edges, 12212 markings/sec, 475 secs
lola: 5 tries, 4177591 fired transitions, 480 secs || 5597139 markings, 6912096 edges, 12433 markings/sec, 480 secs
lola: 5 tries, 4218426 fired transitions, 485 secs || 5660439 markings, 6993075 edges, 12660 markings/sec, 485 secs
lola: 5 tries, 4259658 fired transitions, 490 secs || 5721364 markings, 7070993 edges, 12185 markings/sec, 490 secs
lola: 5 tries, 4301020 fired transitions, 495 secs || 5782289 markings, 7148376 edges, 12185 markings/sec, 495 secs
lola: 5 tries, 4342365 fired transitions, 500 secs || 5843475 markings, 7226412 edges, 12237 markings/sec, 500 secs
lola: 5 tries, 4383815 fired transitions, 505 secs || 5905801 markings, 7305986 edges, 12465 markings/sec, 505 secs
lola: 5 tries, 4425178 fired transitions, 510 secs || 5967284 markings, 7384217 edges, 12297 markings/sec, 510 secs
lola: 5 tries, 4466034 fired transitions, 515 secs || 6030494 markings, 7465208 edges, 12642 markings/sec, 515 secs
lola: 5 tries, 4506638 fired transitions, 520 secs || 6092943 markings, 7544904 edges, 12490 markings/sec, 520 secs
lola: 5 tries, 4547885 fired transitions, 525 secs || 6153016 markings, 7621422 edges, 12015 markings/sec, 525 secs
lola: 5 tries, 4588969 fired transitions, 530 secs || 6212823 markings, 7697565 edges, 11961 markings/sec, 530 secs
lola: 5 tries, 4629694 fired transitions, 535 secs || 6273092 markings, 7774529 edges, 12054 markings/sec, 535 secs
lola: 5 tries, 4670654 fired transitions, 540 secs || 6334895 markings, 7853581 edges, 12361 markings/sec, 540 secs
lola: 5 tries, 4710433 fired transitions, 545 secs || 6397878 markings, 7934466 edges, 12597 markings/sec, 545 secs
lola: 5 tries, 4750739 fired transitions, 550 secs || 6461218 markings, 8015963 edges, 12668 markings/sec, 550 secs
lola: 5 tries, 4791999 fired transitions, 555 secs || 6522377 markings, 8094294 edges, 12232 markings/sec, 555 secs
lola: 5 tries, 4833391 fired transitions, 560 secs || 6584845 markings, 8174748 edges, 12494 markings/sec, 560 secs
lola: 5 tries, 4874821 fired transitions, 565 secs || 6647259 markings, 8254922 edges, 12483 markings/sec, 565 secs
lola: 5 tries, 4915470 fired transitions, 570 secs || 6707868 markings, 8332227 edges, 12122 markings/sec, 570 secs
lola: 5 tries, 4956254 fired transitions, 575 secs || 6771775 markings, 8414248 edges, 12781 markings/sec, 575 secs
lola: 5 tries, 4997450 fired transitions, 580 secs || 6835062 markings, 8495654 edges, 12657 markings/sec, 580 secs
lola: 6 tries, 5039104 fired transitions, 585 secs || 6899688 markings, 8578692 edges, 12925 markings/sec, 585 secs
lola: 6 tries, 5080660 fired transitions, 590 secs || 6965244 markings, 8662863 edges, 13111 markings/sec, 590 secs
lola: 6 tries, 5122310 fired transitions, 595 secs || 7029768 markings, 8745574 edges, 12905 markings/sec, 595 secs
lola: 6 tries, 5163459 fired transitions, 600 secs || 7095634 markings, 8830337 edges, 13173 markings/sec, 600 secs
lola: 6 tries, 5204329 fired transitions, 605 secs || 7156756 markings, 8909264 edges, 12224 markings/sec, 605 secs
lola: 6 tries, 5244690 fired transitions, 610 secs || 7222450 markings, 8993911 edges, 13139 markings/sec, 610 secs
lola: 6 tries, 5285479 fired transitions, 615 secs || 7286540 markings, 9076536 edges, 12818 markings/sec, 615 secs
lola: 6 tries, 5326698 fired transitions, 620 secs || 7350756 markings, 9159113 edges, 12843 markings/sec, 620 secs
lola: 6 tries, 5367889 fired transitions, 625 secs || 7412971 markings, 9238919 edges, 12443 markings/sec, 625 secs
lola: 6 tries, 5409192 fired transitions, 630 secs || 7476432 markings, 9321079 edges, 12692 markings/sec, 630 secs
lola: 6 tries, 5451346 fired transitions, 635 secs || 7542814 markings, 9406814 edges, 13276 markings/sec, 635 secs
lola: 6 tries, 5493540 fired transitions, 640 secs || 7610319 markings, 9494077 edges, 13501 markings/sec, 640 secs
lola: 6 tries, 5535962 fired transitions, 645 secs || 7676346 markings, 9578857 edges, 13205 markings/sec, 645 secs
lola: 6 tries, 5578221 fired transitions, 650 secs || 7743082 markings, 9665071 edges, 13347 markings/sec, 650 secs
lola: 6 tries, 5619127 fired transitions, 655 secs || 7807376 markings, 9747886 edges, 12859 markings/sec, 655 secs
lola: 6 tries, 5660481 fired transitions, 660 secs || 7869846 markings, 9828491 edges, 12494 markings/sec, 660 secs
lola: 6 tries, 5701921 fired transitions, 665 secs || 7934350 markings, 9911709 edges, 12901 markings/sec, 665 secs
lola: 6 tries, 5743225 fired transitions, 670 secs || 7999351 markings, 9995487 edges, 13000 markings/sec, 670 secs
lola: 6 tries, 5784658 fired transitions, 675 secs || 8066189 markings, 10082097 edges, 13368 markings/sec, 675 secs
lola: 6 tries, 5826080 fired transitions, 680 secs || 8132154 markings, 10167445 edges, 13193 markings/sec, 680 secs
lola: 6 tries, 5867416 fired transitions, 685 secs || 8198774 markings, 10253642 edges, 13324 markings/sec, 685 secs
lola: 6 tries, 5908719 fired transitions, 690 secs || 8262983 markings, 10336334 edges, 12842 markings/sec, 690 secs
lola: 6 tries, 5950106 fired transitions, 695 secs || 8329874 markings, 10423112 edges, 13378 markings/sec, 695 secs
lola: 6 tries, 5991553 fired transitions, 700 secs || 8397308 markings, 10510870 edges, 13487 markings/sec, 700 secs
lola: 7 tries, 6033310 fired transitions, 705 secs || 8466551 markings, 10600984 edges, 13849 markings/sec, 705 secs
lola: 7 tries, 6074363 fired transitions, 710 secs || 8530013 markings, 10682957 edges, 12692 markings/sec, 710 secs
lola: 7 tries, 6115829 fired transitions, 715 secs || 8593926 markings, 10765714 edges, 12783 markings/sec, 715 secs
lola: 7 tries, 6157108 fired transitions, 720 secs || 8656832 markings, 10846936 edges, 12581 markings/sec, 720 secs
lola: 7 tries, 6198528 fired transitions, 725 secs || 8721068 markings, 10929957 edges, 12847 markings/sec, 725 secs
lola: 7 tries, 6239941 fired transitions, 730 secs || 8784781 markings, 11012266 edges, 12743 markings/sec, 730 secs
lola: 7 tries, 6281781 fired transitions, 735 secs || 8852295 markings, 11100040 edges, 13503 markings/sec, 735 secs
lola: 7 tries, 6323629 fired transitions, 740 secs || 8919288 markings, 11186803 edges, 13399 markings/sec, 740 secs
lola: 7 tries, 6365195 fired transitions, 745 secs || 8984679 markings, 11271479 edges, 13078 markings/sec, 745 secs
lola: 7 tries, 6406378 fired transitions, 750 secs || 9052463 markings, 11359451 edges, 13557 markings/sec, 750 secs
lola: 7 tries, 6447235 fired transitions, 755 secs || 9118058 markings, 11444675 edges, 13119 markings/sec, 755 secs
lola: 7 tries, 6488545 fired transitions, 760 secs || 9181117 markings, 11526106 edges, 12612 markings/sec, 760 secs
lola: 7 tries, 6529381 fired transitions, 765 secs || 9246592 markings, 11611252 edges, 13095 markings/sec, 765 secs
lola: 7 tries, 6570903 fired transitions, 770 secs || 9310065 markings, 11693429 edges, 12695 markings/sec, 770 secs
lola: 7 tries, 6612090 fired transitions, 775 secs || 9375862 markings, 11779120 edges, 13159 markings/sec, 775 secs
lola: 7 tries, 6653252 fired transitions, 780 secs || 9444626 markings, 11868563 edges, 13753 markings/sec, 780 secs
lola: 7 tries, 6695700 fired transitions, 785 secs || 9512890 markings, 11957306 edges, 13653 markings/sec, 785 secs
lola: 7 tries, 6738196 fired transitions, 790 secs || 9580986 markings, 12045962 edges, 13619 markings/sec, 790 secs
lola: 7 tries, 6781258 fired transitions, 795 secs || 9650869 markings, 12136618 edges, 13977 markings/sec, 795 secs
lola: 7 tries, 6824104 fired transitions, 800 secs || 9718021 markings, 12223783 edges, 13430 markings/sec, 800 secs
lola: 7 tries, 6867850 fired transitions, 805 secs || 9789317 markings, 12316640 edges, 14259 markings/sec, 805 secs
lola: 7 tries, 6911228 fired transitions, 810 secs || 9858595 markings, 12406513 edges, 13856 markings/sec, 810 secs
lola: 7 tries, 6954911 fired transitions, 815 secs || 9929693 markings, 12498730 edges, 14220 markings/sec, 815 secs
lola: 7 tries, 6998248 fired transitions, 820 secs || 9999396 markings, 12589539 edges, 13941 markings/sec, 820 secs
lola: 8 tries, 7041977 fired transitions, 825 secs || 10069626 markings, 12680814 edges, 14046 markings/sec, 825 secs
lola: 8 tries, 7085535 fired transitions, 830 secs || 10140805 markings, 12773537 edges, 14236 markings/sec, 830 secs
lola: 8 tries, 7128805 fired transitions, 835 secs || 10210514 markings, 12864349 edges, 13942 markings/sec, 835 secs
lola: 8 tries, 7171061 fired transitions, 840 secs || 10280034 markings, 12955190 edges, 13904 markings/sec, 840 secs
lola: 8 tries, 7213974 fired transitions, 845 secs || 10349913 markings, 13046522 edges, 13976 markings/sec, 845 secs
lola: 8 tries, 7256330 fired transitions, 850 secs || 10420477 markings, 13138694 edges, 14113 markings/sec, 850 secs
lola: 8 tries, 7298840 fired transitions, 855 secs || 10491766 markings, 13231648 edges, 14258 markings/sec, 855 secs
lola: 8 tries, 7341217 fired transitions, 860 secs || 10561471 markings, 13322538 edges, 13941 markings/sec, 860 secs
lola: 8 tries, 7383529 fired transitions, 865 secs || 10629764 markings, 13411487 edges, 13659 markings/sec, 865 secs
lola: 8 tries, 7425811 fired transitions, 870 secs || 10699329 markings, 13502384 edges, 13913 markings/sec, 870 secs
lola: 8 tries, 7467213 fired transitions, 875 secs || 10767139 markings, 13590624 edges, 13562 markings/sec, 875 secs
lola: 8 tries, 7508545 fired transitions, 880 secs || 10832504 markings, 13675913 edges, 13073 markings/sec, 880 secs
lola: 8 tries, 7550791 fired transitions, 885 secs || 10900900 markings, 13765274 edges, 13679 markings/sec, 885 secs
lola: 8 tries, 7593325 fired transitions, 890 secs || 10970211 markings, 13855824 edges, 13862 markings/sec, 890 secs
lola: 8 tries, 7635676 fired transitions, 895 secs || 11041543 markings, 13949004 edges, 14266 markings/sec, 895 secs
lola: 8 tries, 7678035 fired transitions, 900 secs || 11113285 markings, 14043245 edges, 14348 markings/sec, 900 secs
lola: 8 tries, 7719926 fired transitions, 905 secs || 11182218 markings, 14133396 edges, 13787 markings/sec, 905 secs
lola: 8 tries, 7761211 fired transitions, 910 secs || 11249664 markings, 14222030 edges, 13489 markings/sec, 910 secs
lola: 8 tries, 7803632 fired transitions, 915 secs || 11317314 markings, 14310477 edges, 13530 markings/sec, 915 secs
lola: 8 tries, 7846054 fired transitions, 920 secs || 11385759 markings, 14399921 edges, 13689 markings/sec, 920 secs
lola: 8 tries, 7888646 fired transitions, 925 secs || 11454358 markings, 14489470 edges, 13720 markings/sec, 925 secs
lola: 8 tries, 7930780 fired transitions, 930 secs || 11524662 markings, 14581811 edges, 14061 markings/sec, 930 secs
lola: 8 tries, 7972382 fired transitions, 935 secs || 11592844 markings, 14671034 edges, 13636 markings/sec, 935 secs
lola: 9 tries, 8014673 fired transitions, 940 secs || 11663254 markings, 14763599 edges, 14082 markings/sec, 940 secs
lola: 9 tries, 8056783 fired transitions, 945 secs || 11734616 markings, 14857045 edges, 14272 markings/sec, 945 secs
lola: 9 tries, 8099109 fired transitions, 950 secs || 11804811 markings, 14949142 edges, 14039 markings/sec, 950 secs
lola: 9 tries, 8141132 fired transitions, 955 secs || 11875172 markings, 15040940 edges, 14072 markings/sec, 955 secs
lola: 9 tries, 8183347 fired transitions, 960 secs || 11944913 markings, 15132098 edges, 13948 markings/sec, 960 secs
lola: 9 tries, 8225615 fired transitions, 965 secs || 12014692 markings, 15223494 edges, 13956 markings/sec, 965 secs
lola: 9 tries, 8267653 fired transitions, 970 secs || 12083280 markings, 15313681 edges, 13718 markings/sec, 970 secs
lola: 9 tries, 8309715 fired transitions, 975 secs || 12154293 markings, 15406918 edges, 14203 markings/sec, 975 secs
lola: 9 tries, 8350504 fired transitions, 980 secs || 12223563 markings, 15497541 edges, 13854 markings/sec, 980 secs
lola: 9 tries, 8391366 fired transitions, 985 secs || 12291660 markings, 15587093 edges, 13619 markings/sec, 985 secs
lola: 9 tries, 8432804 fired transitions, 990 secs || 12357438 markings, 15672903 edges, 13156 markings/sec, 990 secs
lola: 9 tries, 8474015 fired transitions, 995 secs || 12425612 markings, 15762323 edges, 13635 markings/sec, 995 secs
lola: 9 tries, 8515250 fired transitions, 1000 secs || 12493590 markings, 15851114 edges, 13596 markings/sec, 1000 secs
lola: 9 tries, 8556528 fired transitions, 1005 secs || 12561380 markings, 15939900 edges, 13558 markings/sec, 1005 secs
lola: 9 tries, 8597844 fired transitions, 1010 secs || 12631071 markings, 16031243 edges, 13938 markings/sec, 1010 secs
lola: 9 tries, 8639711 fired transitions, 1015 secs || 12702522 markings, 16125319 edges, 14290 markings/sec, 1015 secs
lola: 9 tries, 8681019 fired transitions, 1020 secs || 12770433 markings, 16214289 edges, 13582 markings/sec, 1020 secs
lola: 9 tries, 8722315 fired transitions, 1025 secs || 12839950 markings, 16305664 edges, 13903 markings/sec, 1025 secs
lola: 9 tries, 8762667 fired transitions, 1030 secs || 12908200 markings, 16395575 edges, 13650 markings/sec, 1030 secs
lola: 9 tries, 8804923 fired transitions, 1035 secs || 12979690 markings, 16489790 edges, 14298 markings/sec, 1035 secs
lola: 9 tries, 8847379 fired transitions, 1040 secs || 13047914 markings, 16579006 edges, 13645 markings/sec, 1040 secs
lola: 9 tries, 8890270 fired transitions, 1045 secs || 13121474 markings, 16675610 edges, 14712 markings/sec, 1045 secs
lola: 9 tries, 8932072 fired transitions, 1050 secs || 13190754 markings, 16766302 edges, 13856 markings/sec, 1050 secs
lola: 9 tries, 8973509 fired transitions, 1055 secs || 13259036 markings, 16855828 edges, 13656 markings/sec, 1055 secs
lola: 10 tries, 9014757 fired transitions, 1060 secs || 13327781 markings, 16945879 edges, 13749 markings/sec, 1060 secs
lola: 10 tries, 9056572 fired transitions, 1065 secs || 13400226 markings, 17041378 edges, 14489 markings/sec, 1065 secs
lola: 10 tries, 9097693 fired transitions, 1070 secs || 13470431 markings, 17133961 edges, 14041 markings/sec, 1070 secs
lola: 10 tries, 9138847 fired transitions, 1075 secs || 13539451 markings, 17224775 edges, 13804 markings/sec, 1075 secs
lola: 10 tries, 9180318 fired transitions, 1080 secs || 13608939 markings, 17315997 edges, 13898 markings/sec, 1080 secs
lola: 10 tries, 9222291 fired transitions, 1085 secs || 13683130 markings, 17414348 edges, 14838 markings/sec, 1085 secs
lola: 10 tries, 9263818 fired transitions, 1090 secs || 13754922 markings, 17508999 edges, 14358 markings/sec, 1090 secs
lola: 10 tries, 9305420 fired transitions, 1095 secs || 13825611 markings, 17602100 edges, 14138 markings/sec, 1095 secs
lola: 10 tries, 9347336 fired transitions, 1100 secs || 13896069 markings, 17694367 edges, 14092 markings/sec, 1100 secs
lola: 10 tries, 9389350 fired transitions, 1105 secs || 13969089 markings, 17790853 edges, 14604 markings/sec, 1105 secs
lola: 10 tries, 9431321 fired transitions, 1110 secs || 14040031 markings, 17884440 edges, 14188 markings/sec, 1110 secs
lola: 10 tries, 9473269 fired transitions, 1115 secs || 14109631 markings, 17976071 edges, 13920 markings/sec, 1115 secs
lola: 10 tries, 9514958 fired transitions, 1120 secs || 14183631 markings, 18073828 edges, 14800 markings/sec, 1120 secs
lola: 10 tries, 9556765 fired transitions, 1125 secs || 14255134 markings, 18168405 edges, 14301 markings/sec, 1125 secs
lola: 10 tries, 9598631 fired transitions, 1130 secs || 14330067 markings, 18267625 edges, 14987 markings/sec, 1130 secs
lola: 10 tries, 9640587 fired transitions, 1135 secs || 14404000 markings, 18365423 edges, 14787 markings/sec, 1135 secs
lola: 10 tries, 9682574 fired transitions, 1140 secs || 14474955 markings, 18458745 edges, 14191 markings/sec, 1140 secs
lola: 10 tries, 9724619 fired transitions, 1145 secs || 14549144 markings, 18556964 edges, 14838 markings/sec, 1145 secs
lola: 10 tries, 9766603 fired transitions, 1150 secs || 14619845 markings, 18650179 edges, 14140 markings/sec, 1150 secs
lola: 10 tries, 9808696 fired transitions, 1155 secs || 14691623 markings, 18744901 edges, 14356 markings/sec, 1155 secs
lola: 10 tries, 9850505 fired transitions, 1160 secs || 14762913 markings, 18838870 edges, 14258 markings/sec, 1160 secs
lola: 10 tries, 9892550 fired transitions, 1165 secs || 14832858 markings, 18931144 edges, 13989 markings/sec, 1165 secs
lola: 10 tries, 9934268 fired transitions, 1170 secs || 14905150 markings, 19026692 edges, 14458 markings/sec, 1170 secs
lola: 10 tries, 9976251 fired transitions, 1175 secs || 14977802 markings, 19123039 edges, 14530 markings/sec, 1175 secs
lola: 11 tries, 10018100 fired transitions, 1180 secs || 15049136 markings, 19217321 edges, 14267 markings/sec, 1180 secs
lola: 11 tries, 10060038 fired transitions, 1185 secs || 15121624 markings, 19313394 edges, 14498 markings/sec, 1185 secs
lola: 11 tries, 10101785 fired transitions, 1190 secs || 15194247 markings, 19409463 edges, 14525 markings/sec, 1190 secs
lola: 11 tries, 10143723 fired transitions, 1195 secs || 15264693 markings, 19501909 edges, 14089 markings/sec, 1195 secs
lola: 11 tries, 10185026 fired transitions, 1200 secs || 15335713 markings, 19595849 edges, 14204 markings/sec, 1200 secs
lola: 11 tries, 10226349 fired transitions, 1205 secs || 15408452 markings, 19692323 edges, 14548 markings/sec, 1205 secs
lola: 11 tries, 10267459 fired transitions, 1210 secs || 15480570 markings, 19787668 edges, 14424 markings/sec, 1210 secs
lola: 11 tries, 10308700 fired transitions, 1215 secs || 15551258 markings, 19880983 edges, 14138 markings/sec, 1215 secs
lola: 11 tries, 10350826 fired transitions, 1220 secs || 15626102 markings, 19980435 edges, 14969 markings/sec, 1220 secs
lola: 11 tries, 10392617 fired transitions, 1225 secs || 15699444 markings, 20077739 edges, 14668 markings/sec, 1225 secs
lola: 11 tries, 10434762 fired transitions, 1230 secs || 15770673 markings, 20171650 edges, 14246 markings/sec, 1230 secs
lola: 11 tries, 10476995 fired transitions, 1235 secs || 15844721 markings, 20269979 edges, 14810 markings/sec, 1235 secs
lola: 11 tries, 10518860 fired transitions, 1240 secs || 15918635 markings, 20367840 edges, 14783 markings/sec, 1240 secs
lola: 11 tries, 10560579 fired transitions, 1245 secs || 15991590 markings, 20464247 edges, 14591 markings/sec, 1245 secs
lola: 11 tries, 10602335 fired transitions, 1250 secs || 16064708 markings, 20561037 edges, 14624 markings/sec, 1250 secs
lola: 11 tries, 10644600 fired transitions, 1255 secs || 16137449 markings, 20657323 edges, 14548 markings/sec, 1255 secs
lola: 11 tries, 10686287 fired transitions, 1260 secs || 16214124 markings, 20759130 edges, 15335 markings/sec, 1260 secs
lola: 11 tries, 10728168 fired transitions, 1265 secs || 16287834 markings, 20856866 edges, 14742 markings/sec, 1265 secs
lola: 11 tries, 10769879 fired transitions, 1270 secs || 16360185 markings, 20952852 edges, 14470 markings/sec, 1270 secs
lola: 11 tries, 10811130 fired transitions, 1275 secs || 16432253 markings, 21048661 edges, 14414 markings/sec, 1275 secs
lola: 11 tries, 10852218 fired transitions, 1280 secs || 16506221 markings, 21147045 edges, 14794 markings/sec, 1280 secs
lola: 11 tries, 10893461 fired transitions, 1285 secs || 16580434 markings, 21245729 edges, 14843 markings/sec, 1285 secs
lola: 11 tries, 10934635 fired transitions, 1290 secs || 16653688 markings, 21343056 edges, 14651 markings/sec, 1290 secs
lola: 11 tries, 10976126 fired transitions, 1295 secs || 16728328 markings, 21442333 edges, 14928 markings/sec, 1295 secs
lola: 12 tries, 11017799 fired transitions, 1300 secs || 16799963 markings, 21537287 edges, 14327 markings/sec, 1300 secs
lola: 12 tries, 11058860 fired transitions, 1305 secs || 16872571 markings, 21633825 edges, 14522 markings/sec, 1305 secs
lola: 12 tries, 11100268 fired transitions, 1310 secs || 16945214 markings, 21730199 edges, 14529 markings/sec, 1310 secs
lola: 12 tries, 11141640 fired transitions, 1315 secs || 17017136 markings, 21825382 edges, 14384 markings/sec, 1315 secs
lola: 12 tries, 11182874 fired transitions, 1320 secs || 17091946 markings, 21924670 edges, 14962 markings/sec, 1320 secs
lola: 12 tries, 11224228 fired transitions, 1325 secs || 17167007 markings, 22024637 edges, 15012 markings/sec, 1325 secs
lola: 12 tries, 11266056 fired transitions, 1330 secs || 17241481 markings, 22123496 edges, 14895 markings/sec, 1330 secs
lola: 12 tries, 11307908 fired transitions, 1335 secs || 17316839 markings, 22223861 edges, 15072 markings/sec, 1335 secs
lola: 12 tries, 11349292 fired transitions, 1340 secs || 17390691 markings, 22322057 edges, 14770 markings/sec, 1340 secs
lola: 12 tries, 11390613 fired transitions, 1345 secs || 17463423 markings, 22418403 edges, 14546 markings/sec, 1345 secs
lola: 12 tries, 11431519 fired transitions, 1350 secs || 17534529 markings, 22512939 edges, 14221 markings/sec, 1350 secs
lola: 12 tries, 11473022 fired transitions, 1355 secs || 17608766 markings, 22611829 edges, 14847 markings/sec, 1355 secs
lola: 12 tries, 11514456 fired transitions, 1360 secs || 17684015 markings, 22711878 edges, 15050 markings/sec, 1360 secs
lola: 12 tries, 11555844 fired transitions, 1365 secs || 17757992 markings, 22810453 edges, 14795 markings/sec, 1365 secs
lola: 12 tries, 11597138 fired transitions, 1370 secs || 17832527 markings, 22909919 edges, 14907 markings/sec, 1370 secs
lola: 12 tries, 11639407 fired transitions, 1375 secs || 17908037 markings, 23010544 edges, 15102 markings/sec, 1375 secs
lola: 12 tries, 11680731 fired transitions, 1380 secs || 17983884 markings, 23111656 edges, 15169 markings/sec, 1380 secs
lola: 12 tries, 11721947 fired transitions, 1385 secs || 18056339 markings, 23207913 edges, 14491 markings/sec, 1385 secs
lola: 12 tries, 11763119 fired transitions, 1390 secs || 18132126 markings, 23309092 edges, 15157 markings/sec, 1390 secs
lola: 12 tries, 11804310 fired transitions, 1395 secs || 18207519 markings, 23409940 edges, 15079 markings/sec, 1395 secs
lola: 12 tries, 11845585 fired transitions, 1400 secs || 18280544 markings, 23507326 edges, 14605 markings/sec, 1400 secs
lola: 12 tries, 11886855 fired transitions, 1405 secs || 18355562 markings, 23607596 edges, 15004 markings/sec, 1405 secs
lola: 12 tries, 11927950 fired transitions, 1410 secs || 18428440 markings, 23704568 edges, 14576 markings/sec, 1410 secs
lola: 12 tries, 11969167 fired transitions, 1415 secs || 18502973 markings, 23804199 edges, 14907 markings/sec, 1415 secs
lola: 13 tries, 12010351 fired transitions, 1420 secs || 18574508 markings, 23898876 edges, 14307 markings/sec, 1420 secs
lola: 13 tries, 12051595 fired transitions, 1425 secs || 18647068 markings, 23995353 edges, 14512 markings/sec, 1425 secs
lola: 13 tries, 12092778 fired transitions, 1430 secs || 18720300 markings, 24092932 edges, 14646 markings/sec, 1430 secs
lola: 13 tries, 12133909 fired transitions, 1435 secs || 18795869 markings, 24193336 edges, 15114 markings/sec, 1435 secs
lola: 13 tries, 12175111 fired transitions, 1440 secs || 18870975 markings, 24293773 edges, 15021 markings/sec, 1440 secs
lola: 13 tries, 12216296 fired transitions, 1445 secs || 18944486 markings, 24391497 edges, 14702 markings/sec, 1445 secs
lola: 13 tries, 12257475 fired transitions, 1450 secs || 19021188 markings, 24494316 edges, 15340 markings/sec, 1450 secs
lola: 13 tries, 12298575 fired transitions, 1455 secs || 19096214 markings, 24594251 edges, 15005 markings/sec, 1455 secs
lola: 13 tries, 12339689 fired transitions, 1460 secs || 19171929 markings, 24695273 edges, 15143 markings/sec, 1460 secs
lola: 13 tries, 12381018 fired transitions, 1465 secs || 19247104 markings, 24795324 edges, 15035 markings/sec, 1465 secs
lola: 13 tries, 12422282 fired transitions, 1470 secs || 19320467 markings, 24893018 edges, 14673 markings/sec, 1470 secs
lola: 13 tries, 12463471 fired transitions, 1475 secs || 19394955 markings, 24992686 edges, 14898 markings/sec, 1475 secs
lola: 13 tries, 12504623 fired transitions, 1480 secs || 19469995 markings, 25093098 edges, 15008 markings/sec, 1480 secs
lola: 13 tries, 12545781 fired transitions, 1485 secs || 19544987 markings, 25193573 edges, 14998 markings/sec, 1485 secs
lola: 13 tries, 12587023 fired transitions, 1490 secs || 19618787 markings, 25292045 edges, 14760 markings/sec, 1490 secs
lola: 13 tries, 12628172 fired transitions, 1495 secs || 19694166 markings, 25392836 edges, 15076 markings/sec, 1495 secs
lola: 13 tries, 12669317 fired transitions, 1500 secs || 19771987 markings, 25496925 edges, 15564 markings/sec, 1500 secs
lola: 13 tries, 12710620 fired transitions, 1505 secs || 19849028 markings, 25600409 edges, 15408 markings/sec, 1505 secs
lola: 13 tries, 12751796 fired transitions, 1510 secs || 19925087 markings, 25702106 edges, 15212 markings/sec, 1510 secs
lola: 13 tries, 12793104 fired transitions, 1515 secs || 20001666 markings, 25804564 edges, 15316 markings/sec, 1515 secs
lola: 13 tries, 12834377 fired transitions, 1520 secs || 20074628 markings, 25901982 edges, 14592 markings/sec, 1520 secs
lola: 13 tries, 12875926 fired transitions, 1525 secs || 20148380 markings, 26000698 edges, 14750 markings/sec, 1525 secs
lola: 13 tries, 12916657 fired transitions, 1530 secs || 20226025 markings, 26104590 edges, 15529 markings/sec, 1530 secs
lola: 13 tries, 12957548 fired transitions, 1535 secs || 20301433 markings, 26205574 edges, 15082 markings/sec, 1535 secs
lola: 13 tries, 12998736 fired transitions, 1540 secs || 20377725 markings, 26307449 edges, 15258 markings/sec, 1540 secs
lola: 14 tries, 13039692 fired transitions, 1545 secs || 20453818 markings, 26409720 edges, 15219 markings/sec, 1545 secs
lola: 14 tries, 13081390 fired transitions, 1550 secs || 20527844 markings, 26508122 edges, 14805 markings/sec, 1550 secs
lola: 14 tries, 13122626 fired transitions, 1555 secs || 20601077 markings, 26605946 edges, 14647 markings/sec, 1555 secs
lola: 14 tries, 13163761 fired transitions, 1560 secs || 20676255 markings, 26706336 edges, 15036 markings/sec, 1560 secs
lola: 14 tries, 13205289 fired transitions, 1565 secs || 20751450 markings, 26806685 edges, 15039 markings/sec, 1565 secs
lola: 14 tries, 13246535 fired transitions, 1570 secs || 20830433 markings, 26912520 edges, 15797 markings/sec, 1570 secs
lola: 14 tries, 13288639 fired transitions, 1575 secs || 20908072 markings, 27016134 edges, 15528 markings/sec, 1575 secs
lola: 14 tries, 13329883 fired transitions, 1580 secs || 20983581 markings, 27116969 edges, 15102 markings/sec, 1580 secs
lola: 14 tries, 13371066 fired transitions, 1585 secs || 21062075 markings, 27222608 edges, 15699 markings/sec, 1585 secs
lola: 14 tries, 13412367 fired transitions, 1590 secs || 21138480 markings, 27325365 edges, 15281 markings/sec, 1590 secs
lola: 14 tries, 13454605 fired transitions, 1595 secs || 21215270 markings, 27427909 edges, 15358 markings/sec, 1595 secs
lola: 14 tries, 13495753 fired transitions, 1600 secs || 21291420 markings, 27529849 edges, 15230 markings/sec, 1600 secs
lola: 14 tries, 13536887 fired transitions, 1605 secs || 21370475 markings, 27636057 edges, 15811 markings/sec, 1605 secs
lola: 14 tries, 13578134 fired transitions, 1610 secs || 21446375 markings, 27737690 edges, 15180 markings/sec, 1610 secs
lola: 14 tries, 13620288 fired transitions, 1615 secs || 21523331 markings, 27841109 edges, 15391 markings/sec, 1615 secs
lola: 14 tries, 13663067 fired transitions, 1620 secs || 21602805 markings, 27947384 edges, 15895 markings/sec, 1620 secs
lola: 14 tries, 13705965 fired transitions, 1625 secs || 21683176 markings, 28054936 edges, 16074 markings/sec, 1625 secs
lola: 14 tries, 13748089 fired transitions, 1630 secs || 21762866 markings, 28161649 edges, 15938 markings/sec, 1630 secs
lola: 14 tries, 13790372 fired transitions, 1635 secs || 21840376 markings, 28265814 edges, 15502 markings/sec, 1635 secs
lola: 14 tries, 13832513 fired transitions, 1640 secs || 21921019 markings, 28374273 edges, 16129 markings/sec, 1640 secs
lola: 14 tries, 13874870 fired transitions, 1645 secs || 21999466 markings, 28479482 edges, 15689 markings/sec, 1645 secs
lola: 14 tries, 13917168 fired transitions, 1650 secs || 22079897 markings, 28587818 edges, 16086 markings/sec, 1650 secs
lola: 14 tries, 13959243 fired transitions, 1655 secs || 22158387 markings, 28693140 edges, 15698 markings/sec, 1655 secs
lola: 15 tries, 14001300 fired transitions, 1660 secs || 22233514 markings, 28793712 edges, 15025 markings/sec, 1660 secs
lola: 15 tries, 14043595 fired transitions, 1665 secs || 22309954 markings, 28896274 edges, 15288 markings/sec, 1665 secs
lola: 15 tries, 14085377 fired transitions, 1670 secs || 22387326 markings, 29000538 edges, 15474 markings/sec, 1670 secs
lola: 15 tries, 14126697 fired transitions, 1675 secs || 22463787 markings, 29103211 edges, 15292 markings/sec, 1675 secs
lola: 15 tries, 14169042 fired transitions, 1680 secs || 22543976 markings, 29211054 edges, 16038 markings/sec, 1680 secs
lola: 15 tries, 14211337 fired transitions, 1685 secs || 22622233 markings, 29315696 edges, 15651 markings/sec, 1685 secs
lola: 15 tries, 14253598 fired transitions, 1690 secs || 22702037 markings, 29422940 edges, 15961 markings/sec, 1690 secs
lola: 15 tries, 14295927 fired transitions, 1695 secs || 22781677 markings, 29529885 edges, 15928 markings/sec, 1695 secs
lola: 15 tries, 14337757 fired transitions, 1700 secs || 22859742 markings, 29635217 edges, 15613 markings/sec, 1700 secs
lola: 15 tries, 14379317 fired transitions, 1705 secs || 22936082 markings, 29737899 edges, 15268 markings/sec, 1705 secs
lola: 15 tries, 14420409 fired transitions, 1710 secs || 23013645 markings, 29842199 edges, 15513 markings/sec, 1710 secs
lola: 15 tries, 14461596 fired transitions, 1715 secs || 23090206 markings, 29944942 edges, 15312 markings/sec, 1715 secs
lola: 15 tries, 14502771 fired transitions, 1720 secs || 23169134 markings, 30051281 edges, 15786 markings/sec, 1720 secs
lola: 15 tries, 14544313 fired transitions, 1725 secs || 23249640 markings, 30160335 edges, 16101 markings/sec, 1725 secs
lola: 15 tries, 14586200 fired transitions, 1730 secs || 23327565 markings, 30265658 edges, 15585 markings/sec, 1730 secs
lola: 15 tries, 14628046 fired transitions, 1735 secs || 23404420 markings, 30369410 edges, 15371 markings/sec, 1735 secs
lola: 15 tries, 14670063 fired transitions, 1740 secs || 23483633 markings, 30476069 edges, 15843 markings/sec, 1740 secs
lola: 15 tries, 14711951 fired transitions, 1745 secs || 23563923 markings, 30584230 edges, 16058 markings/sec, 1745 secs
lola: 15 tries, 14754108 fired transitions, 1750 secs || 23641998 markings, 30689433 edges, 15615 markings/sec, 1750 secs
lola: 15 tries, 14796405 fired transitions, 1755 secs || 23721998 markings, 30796714 edges, 16000 markings/sec, 1755 secs
lola: 15 tries, 14838595 fired transitions, 1760 secs || 23799585 markings, 30901326 edges, 15517 markings/sec, 1760 secs
lola: 15 tries, 14880744 fired transitions, 1765 secs || 23878887 markings, 31008800 edges, 15860 markings/sec, 1765 secs
lola: 15 tries, 14923147 fired transitions, 1770 secs || 23957680 markings, 31114691 edges, 15759 markings/sec, 1770 secs
lola: 15 tries, 14965241 fired transitions, 1775 secs || 24033867 markings, 31217459 edges, 15237 markings/sec, 1775 secs
lola: 16 tries, 15007502 fired transitions, 1780 secs || 24112761 markings, 31323421 edges, 15779 markings/sec, 1780 secs
lola: 16 tries, 15049702 fired transitions, 1785 secs || 24193382 markings, 31432294 edges, 16124 markings/sec, 1785 secs
lola: 16 tries, 15091975 fired transitions, 1790 secs || 24273220 markings, 31539699 edges, 15968 markings/sec, 1790 secs
lola: 16 tries, 15134267 fired transitions, 1795 secs || 24355396 markings, 31650619 edges, 16435 markings/sec, 1795 secs
lola: 16 tries, 15176490 fired transitions, 1800 secs || 24434971 markings, 31757910 edges, 15915 markings/sec, 1800 secs
lola: 16 tries, 15218627 fired transitions, 1805 secs || 24511792 markings, 31861295 edges, 15364 markings/sec, 1805 secs
lola: 16 tries, 15259719 fired transitions, 1810 secs || 24588439 markings, 31964894 edges, 15329 markings/sec, 1810 secs
lola: 16 tries, 15301397 fired transitions, 1815 secs || 24667618 markings, 32071672 edges, 15836 markings/sec, 1815 secs
lola: 16 tries, 15342864 fired transitions, 1820 secs || 24749974 markings, 32183582 edges, 16471 markings/sec, 1820 secs
lola: 16 tries, 15385245 fired transitions, 1825 secs || 24828417 markings, 32289375 edges, 15689 markings/sec, 1825 secs
lola: 16 tries, 15427171 fired transitions, 1830 secs || 24909529 markings, 32399005 edges, 16222 markings/sec, 1830 secs
lola: 16 tries, 15469609 fired transitions, 1835 secs || 24988384 markings, 32505411 edges, 15771 markings/sec, 1835 secs
lola: 16 tries, 15511746 fired transitions, 1840 secs || 25069463 markings, 32614692 edges, 16216 markings/sec, 1840 secs
lola: 16 tries, 15554076 fired transitions, 1845 secs || 25151064 markings, 32724902 edges, 16320 markings/sec, 1845 secs
lola: 16 tries, 15596220 fired transitions, 1850 secs || 25231904 markings, 32834386 edges, 16168 markings/sec, 1850 secs
lola: 16 tries, 15638184 fired transitions, 1855 secs || 25311536 markings, 32941840 edges, 15926 markings/sec, 1855 secs
lola: 16 tries, 15678735 fired transitions, 1860 secs || 25390666 markings, 33048581 edges, 15826 markings/sec, 1860 secs
lola: 16 tries, 15720164 fired transitions, 1865 secs || 25468701 markings, 33154214 edges, 15607 markings/sec, 1865 secs
lola: 16 tries, 15762018 fired transitions, 1870 secs || 25548502 markings, 33261977 edges, 15960 markings/sec, 1870 secs
lola: 16 tries, 15804083 fired transitions, 1875 secs || 25628388 markings, 33370146 edges, 15977 markings/sec, 1875 secs
lola: 16 tries, 15846177 fired transitions, 1880 secs || 25708912 markings, 33478792 edges, 16105 markings/sec, 1880 secs
lola: 16 tries, 15887787 fired transitions, 1885 secs || 25788332 markings, 33586408 edges, 15884 markings/sec, 1885 secs
lola: 16 tries, 15929025 fired transitions, 1890 secs || 25866129 markings, 33691670 edges, 15559 markings/sec, 1890 secs
lola: 16 tries, 15970215 fired transitions, 1895 secs || 25946619 markings, 33800642 edges, 16098 markings/sec, 1895 secs
lola: 17 tries, 16011969 fired transitions, 1900 secs || 26026569 markings, 33908503 edges, 15990 markings/sec, 1900 secs
lola: 17 tries, 16054163 fired transitions, 1905 secs || 26108510 markings, 34019652 edges, 16388 markings/sec, 1905 secs
lola: 17 tries, 16096446 fired transitions, 1910 secs || 26190982 markings, 34131091 edges, 16494 markings/sec, 1910 secs
lola: 17 tries, 16138795 fired transitions, 1915 secs || 26273448 markings, 34243102 edges, 16493 markings/sec, 1915 secs
lola: 17 tries, 16181060 fired transitions, 1920 secs || 26355429 markings, 34353997 edges, 16396 markings/sec, 1920 secs
lola: 17 tries, 16223611 fired transitions, 1925 secs || 26435365 markings, 34461884 edges, 15987 markings/sec, 1925 secs
lola: 17 tries, 16266626 fired transitions, 1930 secs || 26518286 markings, 34574172 edges, 16584 markings/sec, 1930 secs
lola: 17 tries, 16309154 fired transitions, 1935 secs || 26599938 markings, 34684850 edges, 16330 markings/sec, 1935 secs
lola: 17 tries, 16351390 fired transitions, 1940 secs || 26680233 markings, 34793801 edges, 16059 markings/sec, 1940 secs
lola: 17 tries, 16393377 fired transitions, 1945 secs || 26760085 markings, 34901925 edges, 15970 markings/sec, 1945 secs
lola: 17 tries, 16435753 fired transitions, 1950 secs || 26843023 markings, 35014213 edges, 16588 markings/sec, 1950 secs
lola: 17 tries, 16478047 fired transitions, 1955 secs || 26924914 markings, 35125878 edges, 16378 markings/sec, 1955 secs
lola: 17 tries, 16520617 fired transitions, 1960 secs || 27004075 markings, 35232788 edges, 15832 markings/sec, 1960 secs
lola: 17 tries, 16562910 fired transitions, 1965 secs || 27084079 markings, 35341291 edges, 16001 markings/sec, 1965 secs
lola: 17 tries, 16605232 fired transitions, 1970 secs || 27166472 markings, 35452538 edges, 16479 markings/sec, 1970 secs
lola: 17 tries, 16647382 fired transitions, 1975 secs || 27248556 markings, 35563877 edges, 16417 markings/sec, 1975 secs
lola: 17 tries, 16689751 fired transitions, 1980 secs || 27330758 markings, 35675357 edges, 16440 markings/sec, 1980 secs
lola: 17 tries, 16732096 fired transitions, 1985 secs || 27413981 markings, 35788134 edges, 16645 markings/sec, 1985 secs
lola: 17 tries, 16773942 fired transitions, 1990 secs || 27494312 markings, 35897066 edges, 16066 markings/sec, 1990 secs
lola: 17 tries, 16815956 fired transitions, 1995 secs || 27576101 markings, 36007660 edges, 16358 markings/sec, 1995 secs
lola: 17 tries, 16857999 fired transitions, 2000 secs || 27657011 markings, 36116867 edges, 16182 markings/sec, 2000 secs
lola: 17 tries, 16900303 fired transitions, 2005 secs || 27737484 markings, 36225647 edges, 16095 markings/sec, 2005 secs
lola: 17 tries, 16942530 fired transitions, 2010 secs || 27818608 markings, 36335817 edges, 16225 markings/sec, 2010 secs
lola: 17 tries, 16984703 fired transitions, 2015 secs || 27902401 markings, 36449808 edges, 16759 markings/sec, 2015 secs
lola: 18 tries, 17027086 fired transitions, 2020 secs || 27984685 markings, 36561354 edges, 16457 markings/sec, 2020 secs
lola: 18 tries, 17069282 fired transitions, 2025 secs || 28064683 markings, 36669857 edges, 16000 markings/sec, 2025 secs
lola: 18 tries, 17111629 fired transitions, 2030 secs || 28144197 markings, 36778019 edges, 15903 markings/sec, 2030 secs
lola: 18 tries, 17153469 fired transitions, 2035 secs || 28225368 markings, 36888692 edges, 16234 markings/sec, 2035 secs
lola: 18 tries, 17195870 fired transitions, 2040 secs || 28307592 markings, 37000591 edges, 16445 markings/sec, 2040 secs
lola: 18 tries, 17238175 fired transitions, 2045 secs || 28390518 markings, 37113456 edges, 16585 markings/sec, 2045 secs
lola: 18 tries, 17280419 fired transitions, 2050 secs || 28470246 markings, 37222159 edges, 15946 markings/sec, 2050 secs
lola: 18 tries, 17322340 fired transitions, 2055 secs || 28552799 markings, 37334218 edges, 16511 markings/sec, 2055 secs
lola: 18 tries, 17363932 fired transitions, 2060 secs || 28633523 markings, 37443690 edges, 16145 markings/sec, 2060 secs
lola: 18 tries, 17406226 fired transitions, 2065 secs || 28716104 markings, 37555919 edges, 16516 markings/sec, 2065 secs
lola: 18 tries, 17448596 fired transitions, 2070 secs || 28797734 markings, 37666946 edges, 16326 markings/sec, 2070 secs
lola: 18 tries, 17490400 fired transitions, 2075 secs || 28878174 markings, 37776106 edges, 16088 markings/sec, 2075 secs
lola: 18 tries, 17531581 fired transitions, 2080 secs || 28957103 markings, 37882786 edges, 15786 markings/sec, 2080 secs
lola: 18 tries, 17572817 fired transitions, 2085 secs || 29036614 markings, 37991168 edges, 15902 markings/sec, 2085 secs
lola: 18 tries, 17613889 fired transitions, 2090 secs || 29119592 markings, 38104398 edges, 16596 markings/sec, 2090 secs
lola: 18 tries, 17655084 fired transitions, 2095 secs || 29201427 markings, 38215963 edges, 16367 markings/sec, 2095 secs
lola: 18 tries, 17696323 fired transitions, 2100 secs || 29280765 markings, 38323561 edges, 15868 markings/sec, 2100 secs
lola: 18 tries, 17737559 fired transitions, 2105 secs || 29361814 markings, 38433443 edges, 16210 markings/sec, 2105 secs
lola: 18 tries, 17778654 fired transitions, 2110 secs || 29444315 markings, 38545866 edges, 16500 markings/sec, 2110 secs
lola: 18 tries, 17819703 fired transitions, 2115 secs || 29521644 markings, 38651786 edges, 15466 markings/sec, 2115 secs
lola: 18 tries, 17860849 fired transitions, 2120 secs || 29601996 markings, 38761160 edges, 16070 markings/sec, 2120 secs
lola: 18 tries, 17902110 fired transitions, 2125 secs || 29684550 markings, 38873557 edges, 16511 markings/sec, 2125 secs
lola: 18 tries, 17943288 fired transitions, 2130 secs || 29765637 markings, 38984068 edges, 16217 markings/sec, 2130 secs
lola: 18 tries, 17984501 fired transitions, 2135 secs || 29846283 markings, 39093268 edges, 16129 markings/sec, 2135 secs
lola: 19 tries, 18026319 fired transitions, 2140 secs || 29928254 markings, 39204895 edges, 16394 markings/sec, 2140 secs
lola: 19 tries, 18067499 fired transitions, 2145 secs || 30008442 markings, 39314009 edges, 16038 markings/sec, 2145 secs
lola: 19 tries, 18108670 fired transitions, 2150 secs || 30089617 markings, 39423917 edges, 16235 markings/sec, 2150 secs
lola: 19 tries, 18150450 fired transitions, 2155 secs || 30173573 markings, 39538507 edges, 16791 markings/sec, 2155 secs
lola: 19 tries, 18191784 fired transitions, 2160 secs || 30254084 markings, 39647817 edges, 16102 markings/sec, 2160 secs
lola: 19 tries, 18232806 fired transitions, 2165 secs || 30333359 markings, 39755481 edges, 15855 markings/sec, 2165 secs
lola: 19 tries, 18274032 fired transitions, 2170 secs || 30414257 markings, 39865932 edges, 16180 markings/sec, 2170 secs
lola: 19 tries, 18315575 fired transitions, 2175 secs || 30496785 markings, 39978951 edges, 16506 markings/sec, 2175 secs
lola: 19 tries, 18356653 fired transitions, 2180 secs || 30579389 markings, 40091637 edges, 16521 markings/sec, 2180 secs
lola: 19 tries, 18397865 fired transitions, 2185 secs || 30658210 markings, 40198915 edges, 15764 markings/sec, 2185 secs
lola: 19 tries, 18439020 fired transitions, 2190 secs || 30738543 markings, 40308390 edges, 16067 markings/sec, 2190 secs
lola: 19 tries, 18480311 fired transitions, 2195 secs || 30820050 markings, 40420022 edges, 16301 markings/sec, 2195 secs
lola: 19 tries, 18520927 fired transitions, 2200 secs || 30901015 markings, 40530420 edges, 16193 markings/sec, 2200 secs
lola: 19 tries, 18562011 fired transitions, 2205 secs || 30980249 markings, 40637999 edges, 15847 markings/sec, 2205 secs
lola: 19 tries, 18603477 fired transitions, 2210 secs || 31061808 markings, 40749569 edges, 16312 markings/sec, 2210 secs
lola: 19 tries, 18644731 fired transitions, 2215 secs || 31143601 markings, 40860956 edges, 16359 markings/sec, 2215 secs
lola: 19 tries, 18685895 fired transitions, 2220 secs || 31228296 markings, 40976939 edges, 16939 markings/sec, 2220 secs
lola: 19 tries, 18727114 fired transitions, 2225 secs || 31309110 markings, 41087469 edges, 16163 markings/sec, 2225 secs
lola: 19 tries, 18768346 fired transitions, 2230 secs || 31391383 markings, 41199854 edges, 16455 markings/sec, 2230 secs
lola: 19 tries, 18810542 fired transitions, 2235 secs || 31475476 markings, 41314636 edges, 16819 markings/sec, 2235 secs
lola: 19 tries, 18851771 fired transitions, 2240 secs || 31557510 markings, 41426514 edges, 16407 markings/sec, 2240 secs
lola: 19 tries, 18893139 fired transitions, 2245 secs || 31640869 markings, 41540224 edges, 16672 markings/sec, 2245 secs
lola: 19 tries, 18934413 fired transitions, 2250 secs || 31721365 markings, 41649654 edges, 16099 markings/sec, 2250 secs
lola: 19 tries, 18975780 fired transitions, 2255 secs || 31803660 markings, 41762207 edges, 16459 markings/sec, 2255 secs
lola: 20 tries, 19017040 fired transitions, 2260 secs || 31885514 markings, 41873773 edges, 16371 markings/sec, 2260 secs
lola: 20 tries, 19058217 fired transitions, 2265 secs || 31969497 markings, 41988507 edges, 16797 markings/sec, 2265 secs
lola: 20 tries, 19099432 fired transitions, 2270 secs || 32051743 markings, 42100855 edges, 16449 markings/sec, 2270 secs
lola: 20 tries, 19140689 fired transitions, 2275 secs || 32135190 markings, 42214913 edges, 16689 markings/sec, 2275 secs
lola: 20 tries, 19181816 fired transitions, 2280 secs || 32219306 markings, 42329697 edges, 16823 markings/sec, 2280 secs
lola: 20 tries, 19223471 fired transitions, 2285 secs || 32303126 markings, 42444035 edges, 16764 markings/sec, 2285 secs
lola: 20 tries, 19264403 fired transitions, 2290 secs || 32385041 markings, 42556183 edges, 16383 markings/sec, 2290 secs
lola: 20 tries, 19305680 fired transitions, 2295 secs || 32466596 markings, 42667410 edges, 16311 markings/sec, 2295 secs
lola: 20 tries, 19346837 fired transitions, 2300 secs || 32550262 markings, 42781889 edges, 16733 markings/sec, 2300 secs
lola: 20 tries, 19387645 fired transitions, 2305 secs || 32631418 markings, 42892489 edges, 16231 markings/sec, 2305 secs
lola: 20 tries, 19429136 fired transitions, 2310 secs || 32715711 markings, 43007587 edges, 16859 markings/sec, 2310 secs
lola: 20 tries, 19470878 fired transitions, 2315 secs || 32800962 markings, 43124978 edges, 17050 markings/sec, 2315 secs
lola: 20 tries, 19512374 fired transitions, 2320 secs || 32885923 markings, 43241511 edges, 16992 markings/sec, 2320 secs
lola: 20 tries, 19553613 fired transitions, 2325 secs || 32970265 markings, 43356996 edges, 16868 markings/sec, 2325 secs
lola: 20 tries, 19595289 fired transitions, 2330 secs || 33053502 markings, 43470492 edges, 16647 markings/sec, 2330 secs
lola: 20 tries, 19636547 fired transitions, 2335 secs || 33138636 markings, 43587004 edges, 17027 markings/sec, 2335 secs
lola: 20 tries, 19678060 fired transitions, 2340 secs || 33224484 markings, 43704421 edges, 17170 markings/sec, 2340 secs
lola: 20 tries, 19720323 fired transitions, 2345 secs || 33310440 markings, 43822283 edges, 17191 markings/sec, 2345 secs
lola: 20 tries, 19761543 fired transitions, 2350 secs || 33394451 markings, 43937232 edges, 16802 markings/sec, 2350 secs
lola: 20 tries, 19802849 fired transitions, 2355 secs || 33477635 markings, 44051035 edges, 16637 markings/sec, 2355 secs
lola: 20 tries, 19844165 fired transitions, 2360 secs || 33558517 markings, 44161918 edges, 16176 markings/sec, 2360 secs
lola: 20 tries, 19885345 fired transitions, 2365 secs || 33643032 markings, 44277594 edges, 16903 markings/sec, 2365 secs
lola: 20 tries, 19926397 fired transitions, 2370 secs || 33727159 markings, 44392450 edges, 16825 markings/sec, 2370 secs
lola: 20 tries, 19967671 fired transitions, 2375 secs || 33809811 markings, 44505605 edges, 16530 markings/sec, 2375 secs
lola: 21 tries, 20008849 fired transitions, 2380 secs || 33894286 markings, 44621442 edges, 16895 markings/sec, 2380 secs
lola: 21 tries, 20049971 fired transitions, 2385 secs || 33978815 markings, 44736986 edges, 16906 markings/sec, 2385 secs
lola: 21 tries, 20091521 fired transitions, 2390 secs || 34064189 markings, 44853806 edges, 17075 markings/sec, 2390 secs
lola: 21 tries, 20133674 fired transitions, 2395 secs || 34148555 markings, 44969613 edges, 16873 markings/sec, 2395 secs
lola: 21 tries, 20175009 fired transitions, 2400 secs || 34232517 markings, 45085037 edges, 16792 markings/sec, 2400 secs
lola: 21 tries, 20216032 fired transitions, 2405 secs || 34314707 markings, 45197305 edges, 16438 markings/sec, 2405 secs
lola: 21 tries, 20257773 fired transitions, 2410 secs || 34399654 markings, 45313396 edges, 16989 markings/sec, 2410 secs
lola: 21 tries, 20298880 fired transitions, 2415 secs || 34482615 markings, 45426949 edges, 16592 markings/sec, 2415 secs
lola: 21 tries, 20340101 fired transitions, 2420 secs || 34564091 markings, 45538437 edges, 16295 markings/sec, 2420 secs
lola: 21 tries, 20381439 fired transitions, 2425 secs || 34649803 markings, 45656586 edges, 17142 markings/sec, 2425 secs
lola: 21 tries, 20422936 fired transitions, 2430 secs || 34733992 markings, 45771819 edges, 16838 markings/sec, 2430 secs
lola: 21 tries, 20464401 fired transitions, 2435 secs || 34820134 markings, 45889991 edges, 17228 markings/sec, 2435 secs
lola: 21 tries, 20506042 fired transitions, 2440 secs || 34906253 markings, 46008253 edges, 17224 markings/sec, 2440 secs
lola: 21 tries, 20547420 fired transitions, 2445 secs || 34991784 markings, 46125804 edges, 17106 markings/sec, 2445 secs
lola: 21 tries, 20589046 fired transitions, 2450 secs || 35076631 markings, 46241973 edges, 16969 markings/sec, 2450 secs
lola: 21 tries, 20630529 fired transitions, 2455 secs || 35162233 markings, 46359597 edges, 17120 markings/sec, 2455 secs
lola: 21 tries, 20671775 fired transitions, 2460 secs || 35247309 markings, 46476416 edges, 17015 markings/sec, 2460 secs
lola: 21 tries, 20713782 fired transitions, 2465 secs || 35333457 markings, 46595065 edges, 17230 markings/sec, 2465 secs
lola: 21 tries, 20755063 fired transitions, 2470 secs || 35416659 markings, 46709265 edges, 16640 markings/sec, 2470 secs
lola: 21 tries, 20796421 fired transitions, 2475 secs || 35501143 markings, 46825102 edges, 16897 markings/sec, 2475 secs
lola: 21 tries, 20837760 fired transitions, 2480 secs || 35585490 markings, 46940624 edges, 16869 markings/sec, 2480 secs
lola: 21 tries, 20879080 fired transitions, 2485 secs || 35669468 markings, 47055977 edges, 16796 markings/sec, 2485 secs
lola: 21 tries, 20920361 fired transitions, 2490 secs || 35754485 markings, 47172668 edges, 17003 markings/sec, 2490 secs
lola: 21 tries, 20961545 fired transitions, 2495 secs || 35836331 markings, 47284476 edges, 16369 markings/sec, 2495 secs
lola: 22 tries, 21002885 fired transitions, 2500 secs || 35921898 markings, 47401771 edges, 17113 markings/sec, 2500 secs
lola: 22 tries, 21044231 fired transitions, 2505 secs || 36009276 markings, 47521731 edges, 17476 markings/sec, 2505 secs
lola: 22 tries, 21085814 fired transitions, 2510 secs || 36094715 markings, 47638832 edges, 17088 markings/sec, 2510 secs
lola: 22 tries, 21127030 fired transitions, 2515 secs || 36180980 markings, 47756710 edges, 17253 markings/sec, 2515 secs
lola: 22 tries, 21168322 fired transitions, 2520 secs || 36268162 markings, 47876393 edges, 17436 markings/sec, 2520 secs
lola: 22 tries, 21209761 fired transitions, 2525 secs || 36352497 markings, 47991703 edges, 16867 markings/sec, 2525 secs
lola: 22 tries, 21251032 fired transitions, 2530 secs || 36439495 markings, 48110833 edges, 17400 markings/sec, 2530 secs
lola: 22 tries, 21292601 fired transitions, 2535 secs || 36526187 markings, 48229926 edges, 17338 markings/sec, 2535 secs
lola: 22 tries, 21334063 fired transitions, 2540 secs || 36612864 markings, 48349156 edges, 17335 markings/sec, 2540 secs
lola: 22 tries, 21375484 fired transitions, 2545 secs || 36697415 markings, 48465203 edges, 16910 markings/sec, 2545 secs
lola: 22 tries, 21417056 fired transitions, 2550 secs || 36784895 markings, 48586065 edges, 17496 markings/sec, 2550 secs
lola: 22 tries, 21459505 fired transitions, 2555 secs || 36873935 markings, 48708460 edges, 17808 markings/sec, 2555 secs
lola: 22 tries, 21500867 fired transitions, 2560 secs || 36960640 markings, 48827930 edges, 17341 markings/sec, 2560 secs
lola: 22 tries, 21542213 fired transitions, 2565 secs || 37046020 markings, 48944626 edges, 17076 markings/sec, 2565 secs
lola: 22 tries, 21583533 fired transitions, 2570 secs || 37131286 markings, 49061812 edges, 17053 markings/sec, 2570 secs
lola: 22 tries, 21624915 fired transitions, 2575 secs || 37216804 markings, 49179673 edges, 17104 markings/sec, 2575 secs
lola: 22 tries, 21666341 fired transitions, 2580 secs || 37302503 markings, 49297536 edges, 17140 markings/sec, 2580 secs
lola: 22 tries, 21707671 fired transitions, 2585 secs || 37389514 markings, 49417333 edges, 17402 markings/sec, 2585 secs
lola: 22 tries, 21749171 fired transitions, 2590 secs || 37477607 markings, 49538702 edges, 17619 markings/sec, 2590 secs
lola: 22 tries, 21790429 fired transitions, 2595 secs || 37565300 markings, 49659460 edges, 17539 markings/sec, 2595 secs
lola: 22 tries, 21831836 fired transitions, 2600 secs || 37652473 markings, 49779112 edges, 17435 markings/sec, 2600 secs
lola: 22 tries, 21873073 fired transitions, 2605 secs || 37740861 markings, 49900875 edges, 17678 markings/sec, 2605 secs
lola: 22 tries, 21914406 fired transitions, 2610 secs || 37828968 markings, 50022086 edges, 17621 markings/sec, 2610 secs
lola: 22 tries, 21956089 fired transitions, 2615 secs || 37916083 markings, 50141274 edges, 17423 markings/sec, 2615 secs
lola: 23 tries, 22000253 fired transitions, 2620 secs || 38008960 markings, 50269175 edges, 18575 markings/sec, 2620 secs
lola: 23 tries, 22043555 fired transitions, 2625 secs || 38101393 markings, 50396244 edges, 18487 markings/sec, 2625 secs
lola: 23 tries, 22086940 fired transitions, 2630 secs || 38191435 markings, 50519771 edges, 18008 markings/sec, 2630 secs
lola: 23 tries, 22130260 fired transitions, 2635 secs || 38282891 markings, 50646331 edges, 18291 markings/sec, 2635 secs
lola: 23 tries, 22173483 fired transitions, 2640 secs || 38371879 markings, 50768864 edges, 17798 markings/sec, 2640 secs
lola: 23 tries, 22217156 fired transitions, 2645 secs || 38465959 markings, 50898066 edges, 18816 markings/sec, 2645 secs
lola: 23 tries, 22260401 fired transitions, 2650 secs || 38558006 markings, 51025387 edges, 18409 markings/sec, 2650 secs
lola: 23 tries, 22303817 fired transitions, 2655 secs || 38649556 markings, 51152312 edges, 18310 markings/sec, 2655 secs
lola: 23 tries, 22347651 fired transitions, 2660 secs || 38742888 markings, 51281008 edges, 18666 markings/sec, 2660 secs
lola: 23 tries, 22391407 fired transitions, 2665 secs || 38837150 markings, 51410709 edges, 18852 markings/sec, 2665 secs
lola: 23 tries, 22435234 fired transitions, 2670 secs || 38927914 markings, 51535468 edges, 18153 markings/sec, 2670 secs
lola: 23 tries, 22478811 fired transitions, 2675 secs || 39019796 markings, 51662201 edges, 18376 markings/sec, 2675 secs
lola: 23 tries, 22522081 fired transitions, 2680 secs || 39109538 markings, 51785567 edges, 17948 markings/sec, 2680 secs
lola: 23 tries, 22565948 fired transitions, 2685 secs || 39201528 markings, 51912010 edges, 18398 markings/sec, 2685 secs
lola: 23 tries, 22609661 fired transitions, 2690 secs || 39290970 markings, 52035222 edges, 17888 markings/sec, 2690 secs
lola: 23 tries, 22653467 fired transitions, 2695 secs || 39385883 markings, 52165932 edges, 18983 markings/sec, 2695 secs
lola: 23 tries, 22697231 fired transitions, 2700 secs || 39480768 markings, 52297123 edges, 18977 markings/sec, 2700 secs
lola: 23 tries, 22740990 fired transitions, 2705 secs || 39570144 markings, 52420546 edges, 17875 markings/sec, 2705 secs
lola: 23 tries, 22784047 fired transitions, 2710 secs || 39659976 markings, 52544344 edges, 17966 markings/sec, 2710 secs
lola: 23 tries, 22827495 fired transitions, 2715 secs || 39750200 markings, 52668532 edges, 18045 markings/sec, 2715 secs
lola: 23 tries, 22869768 fired transitions, 2720 secs || 39841153 markings, 52793644 edges, 18191 markings/sec, 2720 secs
lola: 23 tries, 22912005 fired transitions, 2725 secs || 39927570 markings, 52912777 edges, 17283 markings/sec, 2725 secs
lola: 23 tries, 22954408 fired transitions, 2730 secs || 40021230 markings, 53042543 edges, 18732 markings/sec, 2730 secs
lola: 23 tries, 22996610 fired transitions, 2735 secs || 40112767 markings, 53168512 edges, 18307 markings/sec, 2735 secs
lola: 24 tries, 23040188 fired transitions, 2740 secs || 40208193 markings, 53300415 edges, 19085 markings/sec, 2740 secs
lola: 24 tries, 23083604 fired transitions, 2745 secs || 40299787 markings, 53426625 edges, 18319 markings/sec, 2745 secs
lola: 24 tries, 23125360 fired transitions, 2750 secs || 40389271 markings, 53550255 edges, 17897 markings/sec, 2750 secs
lola: 24 tries, 23166731 fired transitions, 2755 secs || 40477805 markings, 53672450 edges, 17707 markings/sec, 2755 secs
lola: 24 tries, 23208083 fired transitions, 2760 secs || 40563666 markings, 53790574 edges, 17172 markings/sec, 2760 secs
lola: 24 tries, 23249657 fired transitions, 2765 secs || 40652935 markings, 53914267 edges, 17854 markings/sec, 2765 secs
lola: 24 tries, 23290985 fired transitions, 2770 secs || 40742396 markings, 54037797 edges, 17892 markings/sec, 2770 secs
lola: 24 tries, 23332312 fired transitions, 2775 secs || 40830175 markings, 54159477 edges, 17556 markings/sec, 2775 secs
lola: 24 tries, 23373683 fired transitions, 2780 secs || 40919166 markings, 54282414 edges, 17798 markings/sec, 2780 secs
lola: 24 tries, 23415004 fired transitions, 2785 secs || 41006925 markings, 54404172 edges, 17552 markings/sec, 2785 secs
lola: 24 tries, 23456316 fired transitions, 2790 secs || 41095029 markings, 54525615 edges, 17621 markings/sec, 2790 secs
lola: 24 tries, 23497576 fired transitions, 2795 secs || 41182296 markings, 54646607 edges, 17453 markings/sec, 2795 secs
lola: 24 tries, 23538819 fired transitions, 2800 secs || 41271981 markings, 54770665 edges, 17937 markings/sec, 2800 secs
lola: 24 tries, 23580043 fired transitions, 2805 secs || 41362145 markings, 54895426 edges, 18033 markings/sec, 2805 secs
lola: 24 tries, 23621431 fired transitions, 2810 secs || 41450089 markings, 55016843 edges, 17589 markings/sec, 2810 secs
lola: 24 tries, 23662610 fired transitions, 2815 secs || 41537174 markings, 55137531 edges, 17417 markings/sec, 2815 secs
lola: 24 tries, 23703825 fired transitions, 2820 secs || 41624688 markings, 55258268 edges, 17503 markings/sec, 2820 secs
lola: 24 tries, 23745173 fired transitions, 2825 secs || 41713185 markings, 55380787 edges, 17699 markings/sec, 2825 secs
lola: 24 tries, 23786496 fired transitions, 2830 secs || 41804814 markings, 55507490 edges, 18326 markings/sec, 2830 secs
lola: 24 tries, 23827750 fired transitions, 2835 secs || 41894279 markings, 55631483 edges, 17893 markings/sec, 2835 secs
lola: 24 tries, 23869083 fired transitions, 2840 secs || 41982122 markings, 55753114 edges, 17569 markings/sec, 2840 secs
lola: 24 tries, 23910336 fired transitions, 2845 secs || 42069274 markings, 55873860 edges, 17430 markings/sec, 2845 secs
lola: 24 tries, 23951639 fired transitions, 2850 secs || 42158479 markings, 55997162 edges, 17841 markings/sec, 2850 secs
lola: 24 tries, 23992858 fired transitions, 2855 secs || 42247522 markings, 56120705 edges, 17809 markings/sec, 2855 secs
lola: 25 tries, 24034159 fired transitions, 2860 secs || 42334385 markings, 56240741 edges, 17373 markings/sec, 2860 secs
lola: 25 tries, 24075418 fired transitions, 2865 secs || 42425444 markings, 56366986 edges, 18212 markings/sec, 2865 secs
lola: 25 tries, 24116759 fired transitions, 2870 secs || 42512677 markings, 56488071 edges, 17447 markings/sec, 2870 secs
lola: 25 tries, 24157965 fired transitions, 2875 secs || 42603280 markings, 56613320 edges, 18121 markings/sec, 2875 secs
lola: 25 tries, 24199189 fired transitions, 2880 secs || 42693131 markings, 56737632 edges, 17970 markings/sec, 2880 secs
lola: 25 tries, 24240401 fired transitions, 2885 secs || 42783704 markings, 56863224 edges, 18115 markings/sec, 2885 secs
lola: 25 tries, 24282341 fired transitions, 2890 secs || 42872700 markings, 56986089 edges, 17799 markings/sec, 2890 secs
lola: 25 tries, 24324878 fired transitions, 2895 secs || 42962428 markings, 57110038 edges, 17946 markings/sec, 2895 secs
lola: 25 tries, 24366158 fired transitions, 2900 secs || 43052114 markings, 57234440 edges, 17937 markings/sec, 2900 secs
lola: 25 tries, 24407511 fired transitions, 2905 secs || 43138031 markings, 57353299 edges, 17183 markings/sec, 2905 secs
lola: 25 tries, 24450267 fired transitions, 2910 secs || 43228430 markings, 57478376 edges, 18080 markings/sec, 2910 secs
lola: 25 tries, 24491564 fired transitions, 2915 secs || 43320319 markings, 57606150 edges, 18378 markings/sec, 2915 secs
lola: 25 tries, 24532844 fired transitions, 2920 secs || 43409561 markings, 57729724 edges, 17848 markings/sec, 2920 secs
lola: 25 tries, 24574109 fired transitions, 2925 secs || 43497844 markings, 57851992 edges, 17657 markings/sec, 2925 secs
lola: 25 tries, 24615848 fired transitions, 2930 secs || 43587000 markings, 57974919 edges, 17831 markings/sec, 2930 secs
lola: 25 tries, 24657094 fired transitions, 2935 secs || 43676543 markings, 58098719 edges, 17909 markings/sec, 2935 secs
lola: 25 tries, 24698413 fired transitions, 2940 secs || 43764936 markings, 58221165 edges, 17679 markings/sec, 2940 secs
lola: 25 tries, 24740871 fired transitions, 2945 secs || 43858274 markings, 58350571 edges, 18668 markings/sec, 2945 secs
lola: 25 tries, 24784375 fired transitions, 2950 secs || 43951067 markings, 58479152 edges, 18559 markings/sec, 2950 secs
lola: 25 tries, 24826410 fired transitions, 2955 secs || 44041215 markings, 58603973 edges, 18030 markings/sec, 2955 secs
lola: 25 tries, 24869078 fired transitions, 2960 secs || 44132727 markings, 58730399 edges, 18302 markings/sec, 2960 secs
lola: 25 tries, 24910413 fired transitions, 2965 secs || 44221814 markings, 58853848 edges, 17817 markings/sec, 2965 secs
lola: 25 tries, 24951785 fired transitions, 2970 secs || 44308410 markings, 58973522 edges, 17319 markings/sec, 2970 secs
lola: 25 tries, 24993109 fired transitions, 2975 secs || 44396793 markings, 59096240 edges, 17677 markings/sec, 2975 secs
lola: 26 tries, 25034256 fired transitions, 2980 secs || 44486491 markings, 59220546 edges, 17940 markings/sec, 2980 secs
lola: 26 tries, 25076580 fired transitions, 2985 secs || 44578300 markings, 59347824 edges, 18362 markings/sec, 2985 secs
lola: 26 tries, 25117927 fired transitions, 2990 secs || 44668125 markings, 59472862 edges, 17965 markings/sec, 2990 secs
lola: 26 tries, 25159171 fired transitions, 2995 secs || 44758390 markings, 59598128 edges, 18053 markings/sec, 2995 secs
lola: 26 tries, 25200991 fired transitions, 3000 secs || 44850764 markings, 59726380 edges, 18475 markings/sec, 3000 secs
lola: 26 tries, 25242740 fired transitions, 3005 secs || 44941375 markings, 59852130 edges, 18122 markings/sec, 3005 secs
lola: 26 tries, 25284227 fired transitions, 3010 secs || 45030801 markings, 59975991 edges, 17885 markings/sec, 3010 secs
lola: 26 tries, 25325521 fired transitions, 3015 secs || 45123177 markings, 60104322 edges, 18475 markings/sec, 3015 secs
lola: 26 tries, 25367247 fired transitions, 3020 secs || 45215178 markings, 60232108 edges, 18400 markings/sec, 3020 secs
lola: 26 tries, 25410409 fired transitions, 3025 secs || 45310558 markings, 60364868 edges, 19076 markings/sec, 3025 secs
lola: 26 tries, 25454080 fired transitions, 3030 secs || 45404181 markings, 60494721 edges, 18725 markings/sec, 3030 secs
lola: 26 tries, 25496996 fired transitions, 3035 secs || 45497884 markings, 60624844 edges, 18741 markings/sec, 3035 secs
lola: 26 tries, 25540381 fired transitions, 3040 secs || 45594109 markings, 60758913 edges, 19245 markings/sec, 3040 secs
lola: 26 tries, 25583428 fired transitions, 3045 secs || 45685555 markings, 60886516 edges, 18289 markings/sec, 3045 secs
lola: 26 tries, 25627084 fired transitions, 3050 secs || 45782351 markings, 61021528 edges, 19359 markings/sec, 3050 secs
lola: 26 tries, 25670891 fired transitions, 3055 secs || 45879971 markings, 61157461 edges, 19524 markings/sec, 3055 secs
lola: 26 tries, 25714705 fired transitions, 3060 secs || 45977580 markings, 61293158 edges, 19522 markings/sec, 3060 secs
lola: 26 tries, 25758519 fired transitions, 3065 secs || 46073230 markings, 61426047 edges, 19130 markings/sec, 3065 secs
lola: 26 tries, 25802294 fired transitions, 3070 secs || 46169654 markings, 61560099 edges, 19285 markings/sec, 3070 secs
lola: 26 tries, 25846148 fired transitions, 3075 secs || 46267030 markings, 61695314 edges, 19475 markings/sec, 3075 secs
lola: 26 tries, 25889540 fired transitions, 3080 secs || 46364767 markings, 61830776 edges, 19547 markings/sec, 3080 secs
lola: 26 tries, 25933512 fired transitions, 3085 secs || 46460951 markings, 61964113 edges, 19237 markings/sec, 3085 secs
lola: 26 tries, 25977300 fired transitions, 3090 secs || 46557749 markings, 62099293 edges, 19360 markings/sec, 3090 secs
lola: 27 tries, 26020999 fired transitions, 3095 secs || 46655304 markings, 62235334 edges, 19511 markings/sec, 3095 secs
lola: 27 tries, 26064709 fired transitions, 3100 secs || 46751719 markings, 62369605 edges, 19283 markings/sec, 3100 secs
lola: 27 tries, 26108241 fired transitions, 3105 secs || 46844606 markings, 62498553 edges, 18577 markings/sec, 3105 secs
lola: 27 tries, 26151384 fired transitions, 3110 secs || 46939027 markings, 62629489 edges, 18884 markings/sec, 3110 secs
lola: 27 tries, 26195143 fired transitions, 3115 secs || 47033289 markings, 62760238 edges, 18852 markings/sec, 3115 secs
lola: 27 tries, 26238954 fired transitions, 3120 secs || 47131401 markings, 62896820 edges, 19622 markings/sec, 3120 secs
lola: 27 tries, 26282845 fired transitions, 3125 secs || 47229470 markings, 63032899 edges, 19614 markings/sec, 3125 secs
lola: 27 tries, 26326390 fired transitions, 3130 secs || 47324449 markings, 63164353 edges, 18996 markings/sec, 3130 secs
lola: 27 tries, 26370282 fired transitions, 3135 secs || 47419470 markings, 63296531 edges, 19004 markings/sec, 3135 secs
lola: 27 tries, 26414018 fired transitions, 3140 secs || 47515505 markings, 63429458 edges, 19207 markings/sec, 3140 secs
lola: 27 tries, 26457811 fired transitions, 3145 secs || 47613629 markings, 63566319 edges, 19625 markings/sec, 3145 secs
lola: 27 tries, 26501624 fired transitions, 3150 secs || 47711083 markings, 63701707 edges, 19491 markings/sec, 3150 secs
lola: 27 tries, 26545209 fired transitions, 3155 secs || 47808697 markings, 63837481 edges, 19523 markings/sec, 3155 secs
lola: 27 tries, 26588678 fired transitions, 3160 secs || 47903665 markings, 63969570 edges, 18994 markings/sec, 3160 secs
lola: 27 tries, 26632019 fired transitions, 3165 secs || 48003347 markings, 64108481 edges, 19936 markings/sec, 3165 secs
lola: 27 tries, 26675174 fired transitions, 3170 secs || 48097294 markings, 64239439 edges, 18789 markings/sec, 3170 secs
lola: 27 tries, 26717802 fired transitions, 3175 secs || 48190814 markings, 64369576 edges, 18704 markings/sec, 3175 secs
lola: 27 tries, 26759689 fired transitions, 3180 secs || 48279972 markings, 64493061 edges, 17832 markings/sec, 3180 secs
lola: 27 tries, 26802124 fired transitions, 3185 secs || 48371770 markings, 64620382 edges, 18360 markings/sec, 3185 secs
lola: 27 tries, 26844394 fired transitions, 3190 secs || 48465337 markings, 64750546 edges, 18713 markings/sec, 3190 secs
lola: 27 tries, 26887798 fired transitions, 3195 secs || 48559333 markings, 64880657 edges, 18799 markings/sec, 3195 secs
lola: 27 tries, 26931500 fired transitions, 3200 secs || 48655594 markings, 65014265 edges, 19252 markings/sec, 3200 secs
lola: 27 tries, 26975213 fired transitions, 3205 secs || 48755305 markings, 65153131 edges, 19942 markings/sec, 3205 secs
lola: 28 tries, 27018991 fired transitions, 3210 secs || 48852912 markings, 65288595 edges, 19521 markings/sec, 3210 secs
lola: 28 tries, 27062416 fired transitions, 3215 secs || 48949821 markings, 65423664 edges, 19382 markings/sec, 3215 secs
lola: 28 tries, 27106132 fired transitions, 3220 secs || 49046744 markings, 65558432 edges, 19385 markings/sec, 3220 secs
lola: 28 tries, 27149915 fired transitions, 3225 secs || 49143699 markings, 65694050 edges, 19391 markings/sec, 3225 secs
lola: 28 tries, 27193766 fired transitions, 3230 secs || 49240358 markings, 65828294 edges, 19332 markings/sec, 3230 secs
lola: 28 tries, 27237226 fired transitions, 3235 secs || 49338095 markings, 65964606 edges, 19547 markings/sec, 3235 secs
lola: 28 tries, 27280730 fired transitions, 3240 secs || 49434603 markings, 66098440 edges, 19302 markings/sec, 3240 secs
lola: 28 tries, 27324433 fired transitions, 3245 secs || 49532935 markings, 66235346 edges, 19666 markings/sec, 3245 secs
lola: 28 tries, 27368059 fired transitions, 3250 secs || 49632678 markings, 66374459 edges, 19949 markings/sec, 3250 secs
lola: 28 tries, 27411202 fired transitions, 3255 secs || 49731504 markings, 66511916 edges, 19765 markings/sec, 3255 secs
lola: 28 tries, 27454293 fired transitions, 3260 secs || 49833540 markings, 66654617 edges, 20407 markings/sec, 3260 secs
lola: 28 tries, 27497517 fired transitions, 3265 secs || 49928745 markings, 66786419 edges, 19041 markings/sec, 3265 secs
lola: 28 tries, 27540837 fired transitions, 3270 secs || 50024609 markings, 66920368 edges, 19173 markings/sec, 3270 secs
lola: 28 tries, 27584520 fired transitions, 3275 secs || 50123286 markings, 67057771 edges, 19735 markings/sec, 3275 secs
lola: 28 tries, 27628011 fired transitions, 3280 secs || 50221081 markings, 67194014 edges, 19559 markings/sec, 3280 secs
lola: 28 tries, 27671687 fired transitions, 3285 secs || 50319493 markings, 67330535 edges, 19682 markings/sec, 3285 secs
lola: 28 tries, 27715383 fired transitions, 3290 secs || 50420045 markings, 67470419 edges, 20110 markings/sec, 3290 secs
lola: 28 tries, 27758986 fired transitions, 3295 secs || 50520414 markings, 67609905 edges, 20074 markings/sec, 3295 secs
lola: 28 tries, 27802678 fired transitions, 3300 secs || 50619239 markings, 67747945 edges, 19765 markings/sec, 3300 secs
lola: 28 tries, 27846389 fired transitions, 3305 secs || 50719329 markings, 67887559 edges, 20018 markings/sec, 3305 secs
lola: 28 tries, 27890064 fired transitions, 3310 secs || 50815697 markings, 68022207 edges, 19274 markings/sec, 3310 secs
lola: 28 tries, 27933667 fired transitions, 3315 secs || 50912970 markings, 68157931 edges, 19455 markings/sec, 3315 secs
lola: 28 tries, 27976091 fired transitions, 3320 secs || 51009977 markings, 68293329 edges, 19401 markings/sec, 3320 secs
lola: 29 tries, 28018464 fired transitions, 3325 secs || 51103522 markings, 68423650 edges, 18709 markings/sec, 3325 secs
lola: 29 tries, 28060906 fired transitions, 3330 secs || 51197478 markings, 68554882 edges, 18791 markings/sec, 3330 secs
lola: 29 tries, 28103168 fired transitions, 3335 secs || 51294714 markings, 68690437 edges, 19447 markings/sec, 3335 secs
lola: 29 tries, 28145533 fired transitions, 3340 secs || 51386488 markings, 68817793 edges, 18355 markings/sec, 3340 secs
lola: 29 tries, 28187665 fired transitions, 3345 secs || 51481979 markings, 68951055 edges, 19098 markings/sec, 3345 secs
lola: 29 tries, 28230062 fired transitions, 3350 secs || 51576866 markings, 69083395 edges, 18977 markings/sec, 3350 secs
lola: 29 tries, 28272587 fired transitions, 3355 secs || 51674957 markings, 69220213 edges, 19618 markings/sec, 3355 secs
lola: 29 tries, 28315276 fired transitions, 3360 secs || 51771977 markings, 69356460 edges, 19404 markings/sec, 3360 secs
lola: 29 tries, 28358947 fired transitions, 3365 secs || 51871920 markings, 69496208 edges, 19989 markings/sec, 3365 secs
lola: 29 tries, 28402452 fired transitions, 3370 secs || 51968716 markings, 69631001 edges, 19359 markings/sec, 3370 secs
lola: 29 tries, 28446048 fired transitions, 3375 secs || 52067565 markings, 69769013 edges, 19770 markings/sec, 3375 secs
lola: 29 tries, 28489742 fired transitions, 3380 secs || 52165385 markings, 69905134 edges, 19564 markings/sec, 3380 secs
lola: 29 tries, 28533303 fired transitions, 3385 secs || 52264513 markings, 70044117 edges, 19826 markings/sec, 3385 secs
lola: 29 tries, 28575708 fired transitions, 3390 secs || 52359792 markings, 70177244 edges, 19056 markings/sec, 3390 secs
lola: 29 tries, 28618009 fired transitions, 3395 secs || 52455176 markings, 70310530 edges, 19077 markings/sec, 3395 secs
lola: 29 tries, 28659302 fired transitions, 3400 secs || 52548750 markings, 70441043 edges, 18715 markings/sec, 3400 secs
lola: 29 tries, 28701466 fired transitions, 3405 secs || 52644876 markings, 70576488 edges, 19225 markings/sec, 3405 secs
lola: 29 tries, 28743882 fired transitions, 3410 secs || 52741384 markings, 70711753 edges, 19302 markings/sec, 3410 secs
lola: 29 tries, 28786416 fired transitions, 3415 secs || 52838259 markings, 70847823 edges, 19375 markings/sec, 3415 secs
lola: 29 tries, 28828895 fired transitions, 3420 secs || 52934176 markings, 70982045 edges, 19183 markings/sec, 3420 secs
lola: 29 tries, 28871101 fired transitions, 3425 secs || 53032062 markings, 71118750 edges, 19577 markings/sec, 3425 secs
lola: 29 tries, 28913630 fired transitions, 3430 secs || 53128340 markings, 71252792 edges, 19256 markings/sec, 3430 secs
lola: 29 tries, 28955800 fired transitions, 3435 secs || 53224297 markings, 71386408 edges, 19191 markings/sec, 3435 secs
lola: 29 tries, 28998187 fired transitions, 3440 secs || 53319325 markings, 71518975 edges, 19006 markings/sec, 3440 secs
lola: 30 tries, 29040579 fired transitions, 3445 secs || 53415261 markings, 71653358 edges, 19187 markings/sec, 3445 secs
lola: 30 tries, 29081404 fired transitions, 3450 secs || 53507455 markings, 71782136 edges, 18439 markings/sec, 3450 secs
lola: 30 tries, 29122131 fired transitions, 3455 secs || 53602971 markings, 71916404 edges, 19103 markings/sec, 3455 secs
lola: 30 tries, 29164588 fired transitions, 3460 secs || 53698838 markings, 72049959 edges, 19173 markings/sec, 3460 secs
lola: 30 tries, 29206580 fired transitions, 3465 secs || 53793865 markings, 72183380 edges, 19005 markings/sec, 3465 secs
lola: 30 tries, 29248252 fired transitions, 3470 secs || 53886487 markings, 72313207 edges, 18524 markings/sec, 3470 secs
lola: 30 tries, 29290564 fired transitions, 3475 secs || 53983126 markings, 72447906 edges, 19328 markings/sec, 3475 secs
lola: 30 tries, 29333058 fired transitions, 3480 secs || 54079087 markings, 72582082 edges, 19192 markings/sec, 3480 secs
lola: 30 tries, 29375232 fired transitions, 3485 secs || 54176923 markings, 72718764 edges, 19567 markings/sec, 3485 secs
lola: 30 tries, 29417220 fired transitions, 3490 secs || 54273772 markings, 72854124 edges, 19370 markings/sec, 3490 secs
lola: 30 tries, 29459734 fired transitions, 3495 secs || 54369965 markings, 72988676 edges, 19239 markings/sec, 3495 secs
lola: 30 tries, 29501720 fired transitions, 3500 secs || 54464742 markings, 73121439 edges, 18955 markings/sec, 3500 secs
lola: 30 tries, 29542904 fired transitions, 3505 secs || 54559488 markings, 73254009 edges, 18949 markings/sec, 3505 secs
lola: 30 tries, 29583401 fired transitions, 3510 secs || 54654519 markings, 73387395 edges, 19006 markings/sec, 3510 secs
lola: 30 tries, 29624576 fired transitions, 3515 secs || 54746845 markings, 73516741 edges, 18465 markings/sec, 3515 secs
lola: 30 tries, 29665705 fired transitions, 3520 secs || 54838928 markings, 73645846 edges, 18417 markings/sec, 3520 secs
lola: 30 tries, 29706043 fired transitions, 3525 secs || 54930450 markings, 73773033 edges, 18304 markings/sec, 3525 secs
lola: 30 tries, 29746349 fired transitions, 3530 secs || 55023547 markings, 73903665 edges, 18619 markings/sec, 3530 secs
lola: 30 tries, 29787183 fired transitions, 3535 secs || 55117009 markings, 74033926 edges, 18692 markings/sec, 3535 secs
lola: 30 tries, 29828699 fired transitions, 3540 secs || 55211839 markings, 74166228 edges, 18966 markings/sec, 3540 secs
lola: 30 tries, 29871090 fired transitions, 3545 secs || 55307037 markings, 74299503 edges, 19040 markings/sec, 3545 secs
lola: 30 tries, 29913012 fired transitions, 3550 secs || 55407317 markings, 74439786 edges, 20056 markings/sec, 3550 secs
lola: 30 tries, 29955012 fired transitions, 3555 secs || 55506294 markings, 74578079 edges, 19795 markings/sec, 3555 secs
lola: 30 tries, 29995494 fired transitions, 3560 secs || 55601911 markings, 74712609 edges, 19123 markings/sec, 3560 secs
lola: time limit reached - aborting
lola: memory consumption: 3163268 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 1552951458031

--------------------
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="SimpleLoadBal-PT-15"
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 SimpleLoadBal-PT-15, 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 r159-csrt-155286430900318"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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