Execution Chart

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

Trace from the execution

Formatting '/data/fko/mcc2019-input.r170-oct2-155297750500327.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fko/mcc2019-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
.....................
=====================================================================
Generated by BenchKit 2-3954
Executing tool lola
Input is TokenRing-PT-015, examination is GlobalProperties
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r170-oct2-155297750500327
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 14M
-rw-r--r-- 1 mcc users 156K Feb 12 19:46 CTLCardinality.txt
-rw-r--r-- 1 mcc users 517K Feb 12 19:46 CTLCardinality.xml
-rw-r--r-- 1 mcc users 1.2M Feb 9 03:01 CTLFireability.txt
-rw-r--r-- 1 mcc users 3.1M Feb 9 03:01 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 10 17:31 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 103 Feb 24 15:06 GlobalProperties.txt
-rw-r--r-- 1 mcc users 341 Feb 24 15:06 GlobalProperties.xml
-rw-r--r-- 1 mcc users 30K Feb 5 01:46 LTLCardinality.txt
-rw-r--r-- 1 mcc users 92K Feb 5 01:46 LTLCardinality.xml
-rw-r--r-- 1 mcc users 493K Feb 4 22:49 LTLFireability.txt
-rw-r--r-- 1 mcc users 1.4M Feb 4 22:49 LTLFireability.xml
-rw-r--r-- 1 mcc users 100K Feb 4 21:24 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 325K Feb 4 21:24 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 1.1M Feb 1 21:42 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 2.9M Feb 1 21:42 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 30K Feb 4 22:31 UpperBounds.txt
-rw-r--r-- 1 mcc users 71K Feb 4 22:31 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Jan 29 09:35 equiv_col
-rw-r--r-- 1 mcc users 4 Jan 29 09:35 instance
-rw-r--r-- 1 mcc users 6 Jan 29 09:35 iscolored
-rw-r--r-- 1 mcc users 2.6M Mar 10 17:31 model.pnml

--------------------
content from stdout:

=== Data for post analysis generated by BenchKit (invocation template)

The expected result is a vector of booleans
BOOL_VECTOR

here is the order used to build the result vector(from text file)
FORMULA_NAME TokenRing-PT-015-GlobalProperties-0

=== Now, execution of the tool begins

BK_START 1553117605943

info: Time: 3600 - MCC
vrfy: Checking GlobalProperties @ TokenRing-PT-015 @ 3570 seconds
vrfy: finished
info: timeLeft: -24
rslt: Output for GlobalProperties @ TokenRing-PT-015

{
"build":
{
"architecture": 64,
"assertions": false,
"build_hostname": "mcc2019",
"build_system": "x86_64-unknown-linux-gnu",
"optimizations": true,
"package_version": "2.0",
"svn_version": "3189M"
},
"call":
{
"exec_host": "mcc2019",
"markinglimit": null,
"parameters":
[
"--pnmlnet",
"model.pnml",
"--xmlformula",
"--formula=GlobalProperties.xml",
"--mcc",
"--donotcomputecapacities",
"--encoder=simplecompressed",
"--check=modelchecking",
"--stubborn=combined",
"--siphontrap=par",
"--siphondepth=10",
"--findpath=par",
"--retrylimit=0",
"--depthlimit=1000000",
"--symmetry",
"--symmtimelimit=300",
"--threads=2",
"--symmetrydepth=1073741824",
"--timelimit=3570",
"--json=GlobalProperties.json",
"--jsoninclude=formula,formulastat,net"
],
"starttime": "Wed Mar 20 21:33:26 2019
",
"timelimit": 3570
},
"child": null,
"exit":
{
"error": null,
"memory": 747276,
"runtime": 3574.000000,
"signal": "User defined signal 2",
"timelimitreached": true
},
"files":
{
"JSON": "GlobalProperties.json",
"formula": "GlobalProperties.xml",
"net": "model.pnml"
},
"formula":
{
"count":
{
"A": 0,
"E": 1,
"F": 1,
"G": 0,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 0,
"cont": 0,
"dl": 1,
"fir": 0,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 0,
"visible_transitions": 0
},
"processed": "E (F (DEADLOCK))",
"processed_size": 16,
"rewrites": 1,
"skeleton": "E(F(**))"
},
"net":
{
"arcs": 14464,
"conflict_clusters": 1,
"places": 256,
"places_significant": 240,
"singleton_clusters": 0,
"transitions": 3616
},
"task":
{
"findpath":
{
"depthlimit": 1000000,
"retrylimit": null,
"stubborn":
{
"type": "reachability preserving/insertion"
},
"threads": 2
},
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "reachability preserving/insertion"
},
"symmetry":
{
"card": 1.000000,
"composed": 0,
"dead_branches": 0,
"generators": 0,
"interrupted": false,
"real_computed": 0,
"timelimit": 300
},
"threads": 2,
"type": "dfs"
},
"type": "reachability",
"workflow": "findpath||search"
}
}
lola: LoLA will run for 3570 seconds at most (--timelimit)
lola: NET
lola: input: PNML file (--pnml)
lola: reading net from model.pnml
lola: reading pnml
lola: PNML file contains place/transition net
lola: finished parsing
lola: closed net file model.pnml
lola: 3872/268435456 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 8192
lola: finding significant places
lola: 256 places, 3616 transitions, 240 significant places
lola: compute conflict clusters
lola: computed conflict clusters
lola: Computing conflicting sets
lola: Computing back conflicting sets
lola: TASK
lola: Reading formula in XML format (--xmlformula)
lola: reading pnml
lola: reading formula from GlobalProperties.xml
lola: E (F (DEADLOCK))
lola: checking reachability
lola: Planning: workflow for reachability check: findpath||search (--findpath=par)
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: processed formula: E (F (DEADLOCK))
lola: processed formula length: 16
lola: 1 rewrites
lola: closed formula file GlobalProperties.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: SEARCH (findpath)
lola: findpath: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: computing symmetries (--symmetry)
lola: time limit for symmetry computation of 300 seconds given (--symmtimelimit)
lola: findpath: starting randomized, memory-less exploration (--findpath)
lola: findpath: searching for paths with maximal depth 1000000 (--depthlimit)
lola: findpath: no retry limit given (--retrylimit)
lola: findpath: transitions are chosen hash-driven
lola: computed 0 generators (0 in search tree, 0 by composition)
lola: representing 1 symmetries
lola: 0 dead branches visited in search tree
lola: 1 tries, 22493 fired transitions, 0 secs || 21340 markings, 79391 edges, 4268 markings/sec, 0 secs
lola: 1 tries, 44830 fired transitions, 5 secs || 42612 markings, 175057 edges, 4254 markings/sec, 5 secs
lola: 1 tries, 67558 fired transitions, 10 secs || 64211 markings, 269547 edges, 4320 markings/sec, 10 secs
lola: 1 tries, 91635 fired transitions, 15 secs || 87009 markings, 379228 edges, 4560 markings/sec, 15 secs
lola: 1 tries, 115597 fired transitions, 20 secs || 109614 markings, 495088 edges, 4521 markings/sec, 20 secs
lola: 1 tries, 139544 fired transitions, 25 secs || 132119 markings, 627036 edges, 4501 markings/sec, 25 secs
lola: 1 tries, 163682 fired transitions, 30 secs || 155065 markings, 730627 edges, 4589 markings/sec, 30 secs
lola: 1 tries, 187778 fired transitions, 35 secs || 177891 markings, 838435 edges, 4565 markings/sec, 35 secs
lola: 1 tries, 211733 fired transitions, 40 secs || 200721 markings, 948946 edges, 4566 markings/sec, 40 secs
lola: 1 tries, 233378 fired transitions, 45 secs || 222008 markings, 1064211 edges, 4257 markings/sec, 45 secs
lola: 1 tries, 255649 fired transitions, 50 secs || 243551 markings, 1182976 edges, 4309 markings/sec, 50 secs
lola: 1 tries, 279802 fired transitions, 55 secs || 266305 markings, 1299888 edges, 4551 markings/sec, 55 secs
lola: 1 tries, 304145 fired transitions, 60 secs || 289086 markings, 1434010 edges, 4556 markings/sec, 60 secs
lola: 1 tries, 328463 fired transitions, 65 secs || 311920 markings, 1560653 edges, 4567 markings/sec, 65 secs
lola: 1 tries, 352765 fired transitions, 70 secs || 334676 markings, 1693942 edges, 4551 markings/sec, 70 secs
lola: 1 tries, 376940 fired transitions, 75 secs || 357213 markings, 1835037 edges, 4507 markings/sec, 75 secs
lola: 1 tries, 401064 fired transitions, 80 secs || 379582 markings, 1988385 edges, 4474 markings/sec, 80 secs
lola: 1 tries, 425346 fired transitions, 85 secs || 402543 markings, 2100716 edges, 4592 markings/sec, 85 secs
lola: 1 tries, 449487 fired transitions, 90 secs || 425256 markings, 2222667 edges, 4543 markings/sec, 90 secs
lola: 1 tries, 473684 fired transitions, 95 secs || 447961 markings, 2348763 edges, 4541 markings/sec, 95 secs
lola: 1 tries, 497824 fired transitions, 100 secs || 470547 markings, 2485048 edges, 4517 markings/sec, 100 secs
lola: 1 tries, 521999 fired transitions, 105 secs || 493131 markings, 2619938 edges, 4517 markings/sec, 105 secs
lola: 1 tries, 546187 fired transitions, 110 secs || 515761 markings, 2750021 edges, 4526 markings/sec, 110 secs
lola: 1 tries, 570288 fired transitions, 115 secs || 538123 markings, 2896215 edges, 4472 markings/sec, 115 secs
lola: 1 tries, 594474 fired transitions, 120 secs || 560672 markings, 3029828 edges, 4510 markings/sec, 120 secs
lola: 1 tries, 618568 fired transitions, 125 secs || 583014 markings, 3175909 edges, 4468 markings/sec, 125 secs
lola: 1 tries, 642614 fired transitions, 130 secs || 605259 markings, 3331554 edges, 4449 markings/sec, 130 secs
lola: 1 tries, 666690 fired transitions, 135 secs || 627461 markings, 3491755 edges, 4440 markings/sec, 135 secs
lola: 1 tries, 690801 fired transitions, 140 secs || 650167 markings, 3607782 edges, 4541 markings/sec, 140 secs
lola: 1 tries, 714843 fired transitions, 145 secs || 672713 markings, 3733208 edges, 4509 markings/sec, 145 secs
lola: 1 tries, 738858 fired transitions, 150 secs || 695156 markings, 3867015 edges, 4489 markings/sec, 150 secs
lola: 1 tries, 762900 fired transitions, 155 secs || 717667 markings, 3995920 edges, 4502 markings/sec, 155 secs
lola: 1 tries, 786919 fired transitions, 160 secs || 740009 markings, 4135922 edges, 4468 markings/sec, 160 secs
lola: 1 tries, 810940 fired transitions, 165 secs || 762250 markings, 4285366 edges, 4448 markings/sec, 165 secs
lola: 1 tries, 835041 fired transitions, 170 secs || 784692 markings, 4425598 edges, 4488 markings/sec, 170 secs
lola: 1 tries, 859448 fired transitions, 175 secs || 807656 markings, 4547052 edges, 4593 markings/sec, 175 secs
lola: 1 tries, 883767 fired transitions, 180 secs || 830412 markings, 4680031 edges, 4551 markings/sec, 180 secs
lola: 1 tries, 908138 fired transitions, 185 secs || 853101 markings, 4821757 edges, 4538 markings/sec, 185 secs
lola: 1 tries, 932568 fired transitions, 190 secs || 876007 markings, 4955884 edges, 4581 markings/sec, 190 secs
lola: 1 tries, 957038 fired transitions, 195 secs || 899050 markings, 5086599 edges, 4609 markings/sec, 195 secs
lola: 1 tries, 981536 fired transitions, 200 secs || 922150 markings, 5209786 edges, 4620 markings/sec, 200 secs
lola: 2 tries, 1005831 fired transitions, 205 secs || 945198 markings, 5319157 edges, 4610 markings/sec, 205 secs
lola: 2 tries, 1030121 fired transitions, 210 secs || 968199 markings, 5432684 edges, 4600 markings/sec, 210 secs
lola: 2 tries, 1053930 fired transitions, 215 secs || 990442 markings, 5558901 edges, 4449 markings/sec, 215 secs
lola: 2 tries, 1078196 fired transitions, 220 secs || 1013012 markings, 5674934 edges, 4514 markings/sec, 220 secs
lola: 2 tries, 1102595 fired transitions, 225 secs || 1035919 markings, 5794051 edges, 4581 markings/sec, 225 secs
lola: 2 tries, 1126934 fired transitions, 230 secs || 1058598 markings, 5928660 edges, 4536 markings/sec, 230 secs
lola: 2 tries, 1150406 fired transitions, 235 secs || 1080425 markings, 6046348 edges, 4365 markings/sec, 235 secs
lola: 2 tries, 1174460 fired transitions, 240 secs || 1102965 markings, 6179446 edges, 4508 markings/sec, 240 secs
lola: 2 tries, 1198422 fired transitions, 245 secs || 1125392 markings, 6320473 edges, 4485 markings/sec, 245 secs
lola: 2 tries, 1222142 fired transitions, 250 secs || 1147397 markings, 6472447 edges, 4401 markings/sec, 250 secs
lola: 2 tries, 1246316 fired transitions, 255 secs || 1170035 markings, 6595795 edges, 4528 markings/sec, 255 secs
lola: 2 tries, 1270369 fired transitions, 260 secs || 1192472 markings, 6726669 edges, 4487 markings/sec, 260 secs
lola: 2 tries, 1294366 fired transitions, 265 secs || 1214730 markings, 6870174 edges, 4452 markings/sec, 265 secs
lola: 2 tries, 1317954 fired transitions, 270 secs || 1236423 markings, 7001232 edges, 4339 markings/sec, 270 secs
lola: 2 tries, 1339953 fired transitions, 275 secs || 1256531 markings, 7134519 edges, 4022 markings/sec, 275 secs
lola: 2 tries, 1361927 fired transitions, 280 secs || 1276529 markings, 7274390 edges, 4000 markings/sec, 280 secs
lola: 2 tries, 1385860 fired transitions, 285 secs || 1298444 markings, 7436604 edges, 4383 markings/sec, 285 secs
lola: 2 tries, 1409783 fired transitions, 290 secs || 1320787 markings, 7561824 edges, 4469 markings/sec, 290 secs
lola: 2 tries, 1433644 fired transitions, 295 secs || 1342963 markings, 7699278 edges, 4435 markings/sec, 295 secs
lola: 2 tries, 1457569 fired transitions, 300 secs || 1365101 markings, 7843059 edges, 4428 markings/sec, 300 secs
lola: 2 tries, 1481578 fired transitions, 305 secs || 1387226 markings, 7995319 edges, 4425 markings/sec, 305 secs
lola: 2 tries, 1505859 fired transitions, 310 secs || 1409858 markings, 8127965 edges, 4526 markings/sec, 310 secs
lola: 2 tries, 1530061 fired transitions, 315 secs || 1432333 markings, 8276171 edges, 4495 markings/sec, 315 secs
lola: 2 tries, 1554289 fired transitions, 320 secs || 1455064 markings, 8414210 edges, 4546 markings/sec, 320 secs
lola: 2 tries, 1578464 fired transitions, 325 secs || 1477796 markings, 8527049 edges, 4546 markings/sec, 325 secs
lola: 2 tries, 1602576 fired transitions, 330 secs || 1500333 markings, 8651176 edges, 4507 markings/sec, 330 secs
lola: 2 tries, 1626586 fired transitions, 335 secs || 1522691 markings, 8782603 edges, 4472 markings/sec, 335 secs
lola: 2 tries, 1650551 fired transitions, 340 secs || 1544835 markings, 8928897 edges, 4429 markings/sec, 340 secs
lola: 2 tries, 1674484 fired transitions, 345 secs || 1567038 markings, 9065434 edges, 4441 markings/sec, 345 secs
lola: 2 tries, 1698626 fired transitions, 350 secs || 1589577 markings, 9191898 edges, 4508 markings/sec, 350 secs
lola: 2 tries, 1722662 fired transitions, 355 secs || 1611964 markings, 9324319 edges, 4477 markings/sec, 355 secs
lola: 2 tries, 1746634 fired transitions, 360 secs || 1634147 markings, 9466677 edges, 4437 markings/sec, 360 secs
lola: 2 tries, 1770549 fired transitions, 365 secs || 1656252 markings, 9617301 edges, 4421 markings/sec, 365 secs
lola: 2 tries, 1794487 fired transitions, 370 secs || 1678293 markings, 9766137 edges, 4408 markings/sec, 370 secs
lola: 2 tries, 1818614 fired transitions, 375 secs || 1700397 markings, 9930244 edges, 4421 markings/sec, 375 secs
lola: 2 tries, 1842640 fired transitions, 380 secs || 1722451 markings, 10085241 edges, 4411 markings/sec, 380 secs
lola: 2 tries, 1866870 fired transitions, 385 secs || 1744894 markings, 10233701 edges, 4489 markings/sec, 385 secs
lola: 2 tries, 1891035 fired transitions, 390 secs || 1767518 markings, 10374027 edges, 4525 markings/sec, 390 secs
lola: 2 tries, 1915097 fired transitions, 395 secs || 1790114 markings, 10505197 edges, 4519 markings/sec, 395 secs
lola: 2 tries, 1939121 fired transitions, 400 secs || 1812460 markings, 10650135 edges, 4469 markings/sec, 400 secs
lola: 2 tries, 1963186 fired transitions, 405 secs || 1834971 markings, 10785680 edges, 4502 markings/sec, 405 secs
lola: 2 tries, 1987191 fired transitions, 410 secs || 1857293 markings, 10931638 edges, 4464 markings/sec, 410 secs
lola: 3 tries, 2011104 fired transitions, 415 secs || 1879470 markings, 11090648 edges, 4435 markings/sec, 415 secs
lola: 3 tries, 2034953 fired transitions, 420 secs || 1901456 markings, 11252150 edges, 4397 markings/sec, 420 secs
lola: 3 tries, 2058851 fired transitions, 425 secs || 1923505 markings, 11408043 edges, 4410 markings/sec, 425 secs
lola: 3 tries, 2082835 fired transitions, 430 secs || 1945914 markings, 11553021 edges, 4482 markings/sec, 430 secs
lola: 3 tries, 2106751 fired transitions, 435 secs || 1968138 markings, 11700031 edges, 4445 markings/sec, 435 secs
lola: 3 tries, 2130560 fired transitions, 440 secs || 1990080 markings, 11860825 edges, 4388 markings/sec, 440 secs
lola: 3 tries, 2154365 fired transitions, 445 secs || 2012015 markings, 12021775 edges, 4387 markings/sec, 445 secs
lola: 3 tries, 2178351 fired transitions, 450 secs || 2034234 markings, 12173110 edges, 4444 markings/sec, 450 secs
lola: 3 tries, 2202187 fired transitions, 455 secs || 2056182 markings, 12336464 edges, 4390 markings/sec, 455 secs
lola: 3 tries, 2226067 fired transitions, 460 secs || 2078163 markings, 12498839 edges, 4396 markings/sec, 460 secs
lola: 3 tries, 2249973 fired transitions, 465 secs || 2100071 markings, 12670816 edges, 4382 markings/sec, 465 secs
lola: 3 tries, 2273902 fired transitions, 470 secs || 2121950 markings, 12852019 edges, 4376 markings/sec, 470 secs
lola: 3 tries, 2297871 fired transitions, 475 secs || 2144250 markings, 12988720 edges, 4460 markings/sec, 475 secs
lola: 3 tries, 2321770 fired transitions, 480 secs || 2166667 markings, 13110212 edges, 4483 markings/sec, 480 secs
lola: 3 tries, 2345650 fired transitions, 485 secs || 2189039 markings, 13233319 edges, 4474 markings/sec, 485 secs
lola: 3 tries, 2369543 fired transitions, 490 secs || 2211354 markings, 13366894 edges, 4463 markings/sec, 490 secs
lola: 3 tries, 2393516 fired transitions, 495 secs || 2233579 markings, 13501720 edges, 4445 markings/sec, 495 secs
lola: 3 tries, 2417439 fired transitions, 500 secs || 2255971 markings, 13631498 edges, 4478 markings/sec, 500 secs
lola: 3 tries, 2441396 fired transitions, 505 secs || 2278342 markings, 13777359 edges, 4474 markings/sec, 505 secs
lola: 3 tries, 2465337 fired transitions, 510 secs || 2300731 markings, 13908354 edges, 4478 markings/sec, 510 secs
lola: 3 tries, 2489266 fired transitions, 515 secs || 2322901 markings, 14053243 edges, 4434 markings/sec, 515 secs
lola: 3 tries, 2513149 fired transitions, 520 secs || 2344933 markings, 14204987 edges, 4406 markings/sec, 520 secs
lola: 3 tries, 2536991 fired transitions, 525 secs || 2366895 markings, 14367491 edges, 4392 markings/sec, 525 secs
lola: 3 tries, 2560830 fired transitions, 530 secs || 2389399 markings, 14486035 edges, 4501 markings/sec, 530 secs
lola: 3 tries, 2584624 fired transitions, 535 secs || 2411837 markings, 14605823 edges, 4488 markings/sec, 535 secs
lola: 3 tries, 2608412 fired transitions, 540 secs || 2434065 markings, 14743512 edges, 4446 markings/sec, 540 secs
lola: 3 tries, 2632182 fired transitions, 545 secs || 2456394 markings, 14868758 edges, 4466 markings/sec, 545 secs
lola: 3 tries, 2655933 fired transitions, 550 secs || 2478601 markings, 15005046 edges, 4441 markings/sec, 550 secs
lola: 3 tries, 2679711 fired transitions, 555 secs || 2500758 markings, 15150561 edges, 4431 markings/sec, 555 secs
lola: 3 tries, 2703473 fired transitions, 560 secs || 2522895 markings, 15300013 edges, 4427 markings/sec, 560 secs
lola: 3 tries, 2727142 fired transitions, 565 secs || 2545184 markings, 15439027 edges, 4458 markings/sec, 565 secs
lola: 3 tries, 2750805 fired transitions, 570 secs || 2567327 markings, 15590400 edges, 4429 markings/sec, 570 secs
lola: 3 tries, 2774418 fired transitions, 575 secs || 2589442 markings, 15741104 edges, 4423 markings/sec, 575 secs
lola: 3 tries, 2798103 fired transitions, 580 secs || 2611563 markings, 15897377 edges, 4424 markings/sec, 580 secs
lola: 3 tries, 2821721 fired transitions, 585 secs || 2633619 markings, 16053722 edges, 4411 markings/sec, 585 secs
lola: 3 tries, 2845316 fired transitions, 590 secs || 2655547 markings, 16222069 edges, 4386 markings/sec, 590 secs
lola: 3 tries, 2869144 fired transitions, 595 secs || 2677804 markings, 16372025 edges, 4451 markings/sec, 595 secs
lola: 3 tries, 2893164 fired transitions, 600 secs || 2700450 markings, 16496191 edges, 4529 markings/sec, 600 secs
lola: 3 tries, 2917163 fired transitions, 605 secs || 2722957 markings, 16629355 edges, 4501 markings/sec, 605 secs
lola: 3 tries, 2941250 fired transitions, 610 secs || 2745325 markings, 16772596 edges, 4474 markings/sec, 610 secs
lola: 3 tries, 2965183 fired transitions, 615 secs || 2767761 markings, 16905797 edges, 4487 markings/sec, 615 secs
lola: 3 tries, 2988993 fired transitions, 620 secs || 2790066 markings, 17049109 edges, 4461 markings/sec, 620 secs
lola: 4 tries, 3012856 fired transitions, 625 secs || 2812355 markings, 17191868 edges, 4458 markings/sec, 625 secs
lola: 4 tries, 3036767 fired transitions, 630 secs || 2834509 markings, 17350304 edges, 4431 markings/sec, 630 secs
lola: 4 tries, 3060964 fired transitions, 635 secs || 2857148 markings, 17476170 edges, 4528 markings/sec, 635 secs
lola: 4 tries, 3085299 fired transitions, 640 secs || 2879813 markings, 17607703 edges, 4533 markings/sec, 640 secs
lola: 4 tries, 3109462 fired transitions, 645 secs || 2902305 markings, 17741598 edges, 4498 markings/sec, 645 secs
lola: 4 tries, 3133542 fired transitions, 650 secs || 2924621 markings, 17886258 edges, 4463 markings/sec, 650 secs
lola: 4 tries, 3157594 fired transitions, 655 secs || 2946979 markings, 18017350 edges, 4472 markings/sec, 655 secs
lola: 4 tries, 3181553 fired transitions, 660 secs || 2969283 markings, 18148287 edges, 4461 markings/sec, 660 secs
lola: 4 tries, 3205473 fired transitions, 665 secs || 2991331 markings, 18294358 edges, 4410 markings/sec, 665 secs
lola: 4 tries, 3229458 fired transitions, 670 secs || 3013608 markings, 18426384 edges, 4455 markings/sec, 670 secs
lola: 4 tries, 3253461 fired transitions, 675 secs || 3035760 markings, 18572561 edges, 4430 markings/sec, 675 secs
lola: 4 tries, 3277349 fired transitions, 680 secs || 3057749 markings, 18726832 edges, 4398 markings/sec, 680 secs
lola: 4 tries, 3301202 fired transitions, 685 secs || 3079634 markings, 18887864 edges, 4377 markings/sec, 685 secs
lola: 4 tries, 3325006 fired transitions, 690 secs || 3101834 markings, 19011085 edges, 4440 markings/sec, 690 secs
lola: 4 tries, 3348816 fired transitions, 695 secs || 3123967 markings, 19147701 edges, 4427 markings/sec, 695 secs
lola: 4 tries, 3372575 fired transitions, 700 secs || 3145965 markings, 19292677 edges, 4400 markings/sec, 700 secs
lola: 4 tries, 3396331 fired transitions, 705 secs || 3167925 markings, 19444734 edges, 4392 markings/sec, 705 secs
lola: 4 tries, 3420091 fired transitions, 710 secs || 3190019 markings, 19596194 edges, 4419 markings/sec, 710 secs
lola: 4 tries, 3443794 fired transitions, 715 secs || 3212036 markings, 19753039 edges, 4403 markings/sec, 715 secs
lola: 4 tries, 3467594 fired transitions, 720 secs || 3234004 markings, 19920606 edges, 4394 markings/sec, 720 secs
lola: 4 tries, 3491476 fired transitions, 725 secs || 3256051 markings, 20082199 edges, 4409 markings/sec, 725 secs
lola: 4 tries, 3515721 fired transitions, 730 secs || 3278592 markings, 20217843 edges, 4508 markings/sec, 730 secs
lola: 4 tries, 3539867 fired transitions, 735 secs || 3300932 markings, 20364167 edges, 4468 markings/sec, 735 secs
lola: 4 tries, 3563868 fired transitions, 740 secs || 3323172 markings, 20511547 edges, 4448 markings/sec, 740 secs
lola: 4 tries, 3587892 fired transitions, 745 secs || 3345348 markings, 20666356 edges, 4435 markings/sec, 745 secs
lola: 4 tries, 3612183 fired transitions, 750 secs || 3367992 markings, 20805887 edges, 4529 markings/sec, 750 secs
lola: 4 tries, 3636286 fired transitions, 755 secs || 3390410 markings, 20953862 edges, 4484 markings/sec, 755 secs
lola: 4 tries, 3660318 fired transitions, 760 secs || 3412740 markings, 21093501 edges, 4466 markings/sec, 760 secs
lola: 4 tries, 3684261 fired transitions, 765 secs || 3434908 markings, 21239113 edges, 4434 markings/sec, 765 secs
lola: 4 tries, 3708214 fired transitions, 770 secs || 3456979 markings, 21392982 edges, 4414 markings/sec, 770 secs
lola: 4 tries, 3732039 fired transitions, 775 secs || 3478959 markings, 21545436 edges, 4396 markings/sec, 775 secs
lola: 4 tries, 3755823 fired transitions, 780 secs || 3500985 markings, 21690446 edges, 4405 markings/sec, 780 secs
lola: 4 tries, 3779662 fired transitions, 785 secs || 3522905 markings, 21848328 edges, 4384 markings/sec, 785 secs
lola: 4 tries, 3803446 fired transitions, 790 secs || 3544850 markings, 22015267 edges, 4389 markings/sec, 790 secs
lola: 4 tries, 3827410 fired transitions, 795 secs || 3566881 markings, 22178436 edges, 4406 markings/sec, 795 secs
lola: 4 tries, 3851580 fired transitions, 800 secs || 3589124 markings, 22330515 edges, 4449 markings/sec, 800 secs
lola: 4 tries, 3875830 fired transitions, 805 secs || 3611425 markings, 22485022 edges, 4460 markings/sec, 805 secs
lola: 4 tries, 3899970 fired transitions, 810 secs || 3633701 markings, 22634409 edges, 4455 markings/sec, 810 secs
lola: 4 tries, 3923950 fired transitions, 815 secs || 3655628 markings, 22795057 edges, 4385 markings/sec, 815 secs
lola: 4 tries, 3947867 fired transitions, 820 secs || 3677608 markings, 22947389 edges, 4396 markings/sec, 820 secs
lola: 4 tries, 3971681 fired transitions, 825 secs || 3699441 markings, 23101906 edges, 4367 markings/sec, 825 secs
lola: 4 tries, 3995836 fired transitions, 830 secs || 3721626 markings, 23256706 edges, 4437 markings/sec, 830 secs
lola: 5 tries, 4019632 fired transitions, 835 secs || 3743360 markings, 23433675 edges, 4347 markings/sec, 835 secs
lola: 5 tries, 4043694 fired transitions, 840 secs || 3765386 markings, 23594507 edges, 4405 markings/sec, 840 secs
lola: 5 tries, 4067639 fired transitions, 845 secs || 3787217 markings, 23757626 edges, 4366 markings/sec, 845 secs
lola: 5 tries, 4091646 fired transitions, 850 secs || 3809141 markings, 23931358 edges, 4385 markings/sec, 850 secs
lola: 5 tries, 4115591 fired transitions, 855 secs || 3831039 markings, 24097758 edges, 4380 markings/sec, 855 secs
lola: 5 tries, 4139584 fired transitions, 860 secs || 3852901 markings, 24275278 edges, 4372 markings/sec, 860 secs
lola: 5 tries, 4163458 fired transitions, 865 secs || 3874566 markings, 24456774 edges, 4333 markings/sec, 865 secs
lola: 5 tries, 4187375 fired transitions, 870 secs || 3896245 markings, 24637751 edges, 4336 markings/sec, 870 secs
lola: 5 tries, 4211323 fired transitions, 875 secs || 3918360 markings, 24779495 edges, 4423 markings/sec, 875 secs
lola: 5 tries, 4235309 fired transitions, 880 secs || 3940412 markings, 24929205 edges, 4410 markings/sec, 880 secs
lola: 5 tries, 4259317 fired transitions, 885 secs || 3962379 markings, 25088073 edges, 4393 markings/sec, 885 secs
lola: 5 tries, 4283360 fired transitions, 890 secs || 3984367 markings, 25247305 edges, 4398 markings/sec, 890 secs
lola: 5 tries, 4307376 fired transitions, 895 secs || 4006362 markings, 25403306 edges, 4399 markings/sec, 895 secs
lola: 5 tries, 4331386 fired transitions, 900 secs || 4028248 markings, 25567633 edges, 4377 markings/sec, 900 secs
lola: 5 tries, 4355384 fired transitions, 905 secs || 4050056 markings, 25736349 edges, 4362 markings/sec, 905 secs
lola: 5 tries, 4379428 fired transitions, 910 secs || 4071878 markings, 25909096 edges, 4364 markings/sec, 910 secs
lola: 5 tries, 4403502 fired transitions, 915 secs || 4094217 markings, 26046461 edges, 4468 markings/sec, 915 secs
lola: 5 tries, 4427637 fired transitions, 920 secs || 4116470 markings, 26195980 edges, 4451 markings/sec, 920 secs
lola: 5 tries, 4451781 fired transitions, 925 secs || 4138712 markings, 26345520 edges, 4448 markings/sec, 925 secs
lola: 5 tries, 4475931 fired transitions, 930 secs || 4160900 markings, 26501931 edges, 4438 markings/sec, 930 secs
lola: 5 tries, 4500476 fired transitions, 935 secs || 4183908 markings, 26629768 edges, 4602 markings/sec, 935 secs
lola: 5 tries, 4524919 fired transitions, 940 secs || 4206758 markings, 26766532 edges, 4570 markings/sec, 940 secs
lola: 5 tries, 4549173 fired transitions, 945 secs || 4229380 markings, 26906959 edges, 4524 markings/sec, 945 secs
lola: 5 tries, 4573428 fired transitions, 950 secs || 4251965 markings, 27050181 edges, 4517 markings/sec, 950 secs
lola: 5 tries, 4597723 fired transitions, 955 secs || 4274555 markings, 27193242 edges, 4518 markings/sec, 955 secs
lola: 5 tries, 4621789 fired transitions, 960 secs || 4296949 markings, 27339520 edges, 4479 markings/sec, 960 secs
lola: 5 tries, 4646485 fired transitions, 965 secs || 4319843 markings, 27493491 edges, 4579 markings/sec, 965 secs
lola: 5 tries, 4671361 fired transitions, 970 secs || 4342775 markings, 27655501 edges, 4586 markings/sec, 970 secs
lola: 5 tries, 4696208 fired transitions, 975 secs || 4365598 markings, 27824467 edges, 4565 markings/sec, 975 secs
lola: 5 tries, 4721214 fired transitions, 980 secs || 4388708 markings, 27980161 edges, 4622 markings/sec, 980 secs
lola: 5 tries, 4746227 fired transitions, 985 secs || 4411999 markings, 28132536 edges, 4658 markings/sec, 985 secs
lola: 5 tries, 4771213 fired transitions, 990 secs || 4435340 markings, 28287065 edges, 4668 markings/sec, 990 secs
lola: 5 tries, 4796135 fired transitions, 995 secs || 4458535 markings, 28451437 edges, 4639 markings/sec, 995 secs
lola: 5 tries, 4820712 fired transitions, 1000 secs || 4481867 markings, 28567056 edges, 4666 markings/sec, 1000 secs
lola: 5 tries, 4845273 fired transitions, 1005 secs || 4505088 markings, 28694261 edges, 4644 markings/sec, 1005 secs
lola: 5 tries, 4869749 fired transitions, 1010 secs || 4528197 markings, 28825517 edges, 4622 markings/sec, 1010 secs
lola: 5 tries, 4894243 fired transitions, 1015 secs || 4551164 markings, 28972972 edges, 4593 markings/sec, 1015 secs
lola: 5 tries, 4918712 fired transitions, 1020 secs || 4574310 markings, 29102837 edges, 4629 markings/sec, 1020 secs
lola: 5 tries, 4943198 fired transitions, 1025 secs || 4597338 markings, 29238758 edges, 4606 markings/sec, 1025 secs
lola: 5 tries, 4967741 fired transitions, 1030 secs || 4620312 markings, 29385368 edges, 4595 markings/sec, 1030 secs
lola: 5 tries, 4992335 fired transitions, 1035 secs || 4643280 markings, 29534327 edges, 4594 markings/sec, 1035 secs
lola: 6 tries, 5016904 fired transitions, 1040 secs || 4666272 markings, 29683107 edges, 4598 markings/sec, 1040 secs
lola: 6 tries, 5041372 fired transitions, 1045 secs || 4688935 markings, 29853221 edges, 4533 markings/sec, 1045 secs
lola: 6 tries, 5065350 fired transitions, 1050 secs || 4711383 markings, 29985697 edges, 4490 markings/sec, 1050 secs
lola: 6 tries, 5089638 fired transitions, 1055 secs || 4734257 markings, 30119150 edges, 4575 markings/sec, 1055 secs
lola: 6 tries, 5114054 fired transitions, 1060 secs || 4757180 markings, 30268557 edges, 4585 markings/sec, 1060 secs
lola: 6 tries, 5138590 fired transitions, 1065 secs || 4780265 markings, 30405049 edges, 4617 markings/sec, 1065 secs
lola: 6 tries, 5163106 fired transitions, 1070 secs || 4803167 markings, 30555745 edges, 4580 markings/sec, 1070 secs
lola: 6 tries, 5187569 fired transitions, 1075 secs || 4825958 markings, 30714006 edges, 4558 markings/sec, 1075 secs
lola: 6 tries, 5211996 fired transitions, 1080 secs || 4848584 markings, 30880881 edges, 4525 markings/sec, 1080 secs
lola: 6 tries, 5236581 fired transitions, 1085 secs || 4871631 markings, 31021343 edges, 4609 markings/sec, 1085 secs
lola: 6 tries, 5261028 fired transitions, 1090 secs || 4894465 markings, 31169349 edges, 4567 markings/sec, 1090 secs
lola: 6 tries, 5285464 fired transitions, 1095 secs || 4917149 markings, 31330984 edges, 4537 markings/sec, 1095 secs
lola: 6 tries, 5309861 fired transitions, 1100 secs || 4939808 markings, 31492125 edges, 4532 markings/sec, 1100 secs
lola: 6 tries, 5334412 fired transitions, 1105 secs || 4962583 markings, 31651506 edges, 4555 markings/sec, 1105 secs
lola: 6 tries, 5358905 fired transitions, 1110 secs || 4985227 markings, 31819966 edges, 4529 markings/sec, 1110 secs
lola: 6 tries, 5383356 fired transitions, 1115 secs || 5007805 markings, 31991679 edges, 4516 markings/sec, 1115 secs
lola: 6 tries, 5407759 fired transitions, 1120 secs || 5030157 markings, 32178811 edges, 4470 markings/sec, 1120 secs
lola: 6 tries, 5432105 fired transitions, 1125 secs || 5053113 markings, 32322533 edges, 4591 markings/sec, 1125 secs
lola: 6 tries, 5456453 fired transitions, 1130 secs || 5076019 markings, 32473492 edges, 4581 markings/sec, 1130 secs
lola: 6 tries, 5480748 fired transitions, 1135 secs || 5098787 markings, 32632081 edges, 4554 markings/sec, 1135 secs
lola: 6 tries, 5505002 fired transitions, 1140 secs || 5121496 markings, 32791822 edges, 4542 markings/sec, 1140 secs
lola: 6 tries, 5529276 fired transitions, 1145 secs || 5144152 markings, 32957316 edges, 4531 markings/sec, 1145 secs
lola: 6 tries, 5553488 fired transitions, 1150 secs || 5166598 markings, 33132893 edges, 4489 markings/sec, 1150 secs
lola: 6 tries, 5577488 fired transitions, 1155 secs || 5188971 markings, 33290440 edges, 4475 markings/sec, 1155 secs
lola: 6 tries, 5601409 fired transitions, 1160 secs || 5211181 markings, 33450482 edges, 4442 markings/sec, 1160 secs
lola: 6 tries, 5625794 fired transitions, 1165 secs || 5233808 markings, 33613508 edges, 4525 markings/sec, 1165 secs
lola: 6 tries, 5650107 fired transitions, 1170 secs || 5256163 markings, 33790574 edges, 4471 markings/sec, 1170 secs
lola: 6 tries, 5674423 fired transitions, 1175 secs || 5278678 markings, 33954318 edges, 4503 markings/sec, 1175 secs
lola: 6 tries, 5698849 fired transitions, 1180 secs || 5301112 markings, 34130412 edges, 4487 markings/sec, 1180 secs
lola: 6 tries, 5723247 fired transitions, 1185 secs || 5323494 markings, 34309439 edges, 4476 markings/sec, 1185 secs
lola: 6 tries, 5747582 fired transitions, 1190 secs || 5345734 markings, 34496048 edges, 4448 markings/sec, 1190 secs
lola: 6 tries, 5772046 fired transitions, 1195 secs || 5368205 markings, 34666795 edges, 4494 markings/sec, 1195 secs
lola: 6 tries, 5796622 fired transitions, 1200 secs || 5390958 markings, 34816794 edges, 4551 markings/sec, 1200 secs
lola: 6 tries, 5821100 fired transitions, 1205 secs || 5413591 markings, 34971572 edges, 4527 markings/sec, 1205 secs
lola: 6 tries, 5845672 fired transitions, 1210 secs || 5436201 markings, 35135677 edges, 4522 markings/sec, 1210 secs
lola: 6 tries, 5870249 fired transitions, 1215 secs || 5458911 markings, 35289418 edges, 4542 markings/sec, 1215 secs
lola: 6 tries, 5894757 fired transitions, 1220 secs || 5481489 markings, 35450121 edges, 4516 markings/sec, 1220 secs
lola: 6 tries, 5919265 fired transitions, 1225 secs || 5503981 markings, 35617911 edges, 4498 markings/sec, 1225 secs
lola: 6 tries, 5943833 fired transitions, 1230 secs || 5526413 markings, 35794143 edges, 4486 markings/sec, 1230 secs
lola: 6 tries, 5966438 fired transitions, 1235 secs || 5547541 markings, 35944261 edges, 4226 markings/sec, 1235 secs
lola: 6 tries, 5988464 fired transitions, 1240 secs || 5567609 markings, 36077785 edges, 4014 markings/sec, 1240 secs
lola: 7 tries, 6010471 fired transitions, 1245 secs || 5587602 markings, 36216783 edges, 3999 markings/sec, 1245 secs
lola: 7 tries, 6032373 fired transitions, 1250 secs || 5607531 markings, 36358595 edges, 3986 markings/sec, 1250 secs
lola: 7 tries, 6054347 fired transitions, 1255 secs || 5627311 markings, 36508159 edges, 3956 markings/sec, 1255 secs
lola: 7 tries, 6076673 fired transitions, 1260 secs || 5648133 markings, 36637303 edges, 4164 markings/sec, 1260 secs
lola: 7 tries, 6100851 fired transitions, 1265 secs || 5671025 markings, 36787804 edges, 4578 markings/sec, 1265 secs
lola: 7 tries, 6125541 fired transitions, 1270 secs || 5693891 markings, 36945397 edges, 4573 markings/sec, 1270 secs
lola: 7 tries, 6150217 fired transitions, 1275 secs || 5716720 markings, 37106572 edges, 4566 markings/sec, 1275 secs
lola: 7 tries, 6174909 fired transitions, 1280 secs || 5739468 markings, 37269620 edges, 4550 markings/sec, 1280 secs
lola: 7 tries, 6199514 fired transitions, 1285 secs || 5761925 markings, 37447593 edges, 4491 markings/sec, 1285 secs
lola: 7 tries, 6224200 fired transitions, 1290 secs || 5784614 markings, 37606690 edges, 4538 markings/sec, 1290 secs
lola: 7 tries, 6248857 fired transitions, 1295 secs || 5807307 markings, 37770316 edges, 4539 markings/sec, 1295 secs
lola: 7 tries, 6273424 fired transitions, 1300 secs || 5829868 markings, 37932702 edges, 4512 markings/sec, 1300 secs
lola: 7 tries, 6297865 fired transitions, 1305 secs || 5852235 markings, 38111667 edges, 4473 markings/sec, 1305 secs
lola: 7 tries, 6322255 fired transitions, 1310 secs || 5874789 markings, 38277071 edges, 4511 markings/sec, 1310 secs
lola: 7 tries, 6346641 fired transitions, 1315 secs || 5897198 markings, 38454010 edges, 4482 markings/sec, 1315 secs
lola: 7 tries, 6371095 fired transitions, 1320 secs || 5919645 markings, 38629125 edges, 4489 markings/sec, 1320 secs
lola: 7 tries, 6395587 fired transitions, 1325 secs || 5941974 markings, 38817985 edges, 4466 markings/sec, 1325 secs
lola: 7 tries, 6420208 fired transitions, 1330 secs || 5964597 markings, 38985854 edges, 4525 markings/sec, 1330 secs
lola: 7 tries, 6444907 fired transitions, 1335 secs || 5987517 markings, 39131673 edges, 4584 markings/sec, 1335 secs
lola: 7 tries, 6469627 fired transitions, 1340 secs || 6010420 markings, 39277742 edges, 4581 markings/sec, 1340 secs
lola: 7 tries, 6494367 fired transitions, 1345 secs || 6033182 markings, 39438660 edges, 4552 markings/sec, 1345 secs
lola: 7 tries, 6519025 fired transitions, 1350 secs || 6055943 markings, 39584272 edges, 4552 markings/sec, 1350 secs
lola: 7 tries, 6543681 fired transitions, 1355 secs || 6078668 markings, 39742088 edges, 4545 markings/sec, 1355 secs
lola: 7 tries, 6568235 fired transitions, 1360 secs || 6101314 markings, 39901115 edges, 4529 markings/sec, 1360 secs
lola: 7 tries, 6592851 fired transitions, 1365 secs || 6123953 markings, 40072372 edges, 4528 markings/sec, 1365 secs
lola: 7 tries, 6617514 fired transitions, 1370 secs || 6146953 markings, 40222767 edges, 4600 markings/sec, 1370 secs
lola: 7 tries, 6642176 fired transitions, 1375 secs || 6169971 markings, 40371399 edges, 4604 markings/sec, 1375 secs
lola: 7 tries, 6666894 fired transitions, 1380 secs || 6193023 markings, 40523077 edges, 4610 markings/sec, 1380 secs
lola: 7 tries, 6691611 fired transitions, 1385 secs || 6215943 markings, 40684700 edges, 4584 markings/sec, 1385 secs
lola: 7 tries, 6716485 fired transitions, 1390 secs || 6239233 markings, 40830911 edges, 4658 markings/sec, 1390 secs
lola: 7 tries, 6741367 fired transitions, 1395 secs || 6262402 markings, 40984737 edges, 4634 markings/sec, 1395 secs
lola: 7 tries, 6766037 fired transitions, 1400 secs || 6285159 markings, 41147806 edges, 4551 markings/sec, 1400 secs
lola: 7 tries, 6790654 fired transitions, 1405 secs || 6307689 markings, 41323690 edges, 4506 markings/sec, 1405 secs
lola: 7 tries, 6815229 fired transitions, 1410 secs || 6330162 markings, 41505530 edges, 4495 markings/sec, 1410 secs
lola: 7 tries, 6839779 fired transitions, 1415 secs || 6352543 markings, 41692499 edges, 4476 markings/sec, 1415 secs
lola: 7 tries, 6864200 fired transitions, 1420 secs || 6375021 markings, 41871012 edges, 4496 markings/sec, 1420 secs
lola: 7 tries, 6888673 fired transitions, 1425 secs || 6397324 markings, 42062729 edges, 4461 markings/sec, 1425 secs
lola: 7 tries, 6913202 fired transitions, 1430 secs || 6419682 markings, 42256202 edges, 4472 markings/sec, 1430 secs
lola: 7 tries, 6937712 fired transitions, 1435 secs || 6441888 markings, 42459774 edges, 4441 markings/sec, 1435 secs
lola: 7 tries, 6962301 fired transitions, 1440 secs || 6464541 markings, 42624742 edges, 4531 markings/sec, 1440 secs
lola: 7 tries, 6986905 fired transitions, 1445 secs || 6487017 markings, 42805549 edges, 4495 markings/sec, 1445 secs
lola: 8 tries, 7011476 fired transitions, 1450 secs || 6509457 markings, 42983564 edges, 4488 markings/sec, 1450 secs
lola: 8 tries, 7036040 fired transitions, 1455 secs || 6531719 markings, 43173333 edges, 4452 markings/sec, 1455 secs
lola: 8 tries, 7060578 fired transitions, 1460 secs || 6554460 markings, 43341219 edges, 4548 markings/sec, 1460 secs
lola: 8 tries, 7084997 fired transitions, 1465 secs || 6577014 markings, 43515796 edges, 4511 markings/sec, 1465 secs
lola: 8 tries, 7109436 fired transitions, 1470 secs || 6599596 markings, 43683053 edges, 4516 markings/sec, 1470 secs
lola: 8 tries, 7133919 fired transitions, 1475 secs || 6621980 markings, 43862412 edges, 4477 markings/sec, 1475 secs
lola: 8 tries, 7158508 fired transitions, 1480 secs || 6644290 markings, 44041719 edges, 4462 markings/sec, 1480 secs
lola: 8 tries, 7183122 fired transitions, 1485 secs || 6666574 markings, 44228175 edges, 4457 markings/sec, 1485 secs
lola: 8 tries, 7207732 fired transitions, 1490 secs || 6689121 markings, 44395089 edges, 4509 markings/sec, 1490 secs
lola: 8 tries, 7232322 fired transitions, 1495 secs || 6711599 markings, 44568297 edges, 4496 markings/sec, 1495 secs
lola: 8 tries, 7256950 fired transitions, 1500 secs || 6734155 markings, 44739489 edges, 4511 markings/sec, 1500 secs
lola: 8 tries, 7281469 fired transitions, 1505 secs || 6756824 markings, 44892995 edges, 4534 markings/sec, 1505 secs
lola: 8 tries, 7306094 fired transitions, 1510 secs || 6779701 markings, 45015610 edges, 4575 markings/sec, 1510 secs
lola: 8 tries, 7330595 fired transitions, 1515 secs || 6802327 markings, 45155839 edges, 4525 markings/sec, 1515 secs
lola: 8 tries, 7355152 fired transitions, 1520 secs || 6825136 markings, 45283497 edges, 4562 markings/sec, 1520 secs
lola: 8 tries, 7379599 fired transitions, 1525 secs || 6847770 markings, 45421023 edges, 4527 markings/sec, 1525 secs
lola: 8 tries, 7404071 fired transitions, 1530 secs || 6870343 markings, 45568646 edges, 4515 markings/sec, 1530 secs
lola: 8 tries, 7428496 fired transitions, 1535 secs || 6892758 markings, 45723360 edges, 4483 markings/sec, 1535 secs
lola: 8 tries, 7453040 fired transitions, 1540 secs || 6915619 markings, 45849074 edges, 4572 markings/sec, 1540 secs
lola: 8 tries, 7477576 fired transitions, 1545 secs || 6938317 markings, 45988927 edges, 4540 markings/sec, 1545 secs
lola: 8 tries, 7502072 fired transitions, 1550 secs || 6960874 markings, 46135993 edges, 4511 markings/sec, 1550 secs
lola: 8 tries, 7526513 fired transitions, 1555 secs || 6983317 markings, 46289655 edges, 4489 markings/sec, 1555 secs
lola: 8 tries, 7550985 fired transitions, 1560 secs || 7005896 markings, 46434209 edges, 4516 markings/sec, 1560 secs
lola: 8 tries, 7575483 fired transitions, 1565 secs || 7028340 markings, 46591077 edges, 4489 markings/sec, 1565 secs
lola: 8 tries, 7599934 fired transitions, 1570 secs || 7050778 markings, 46749995 edges, 4488 markings/sec, 1570 secs
lola: 8 tries, 7624399 fired transitions, 1575 secs || 7073039 markings, 46922470 edges, 4452 markings/sec, 1575 secs
lola: 8 tries, 7649010 fired transitions, 1580 secs || 7095766 markings, 47066126 edges, 4545 markings/sec, 1580 secs
lola: 8 tries, 7673620 fired transitions, 1585 secs || 7118389 markings, 47219873 edges, 4525 markings/sec, 1585 secs
lola: 8 tries, 7698339 fired transitions, 1590 secs || 7140889 markings, 47379753 edges, 4500 markings/sec, 1590 secs
lola: 8 tries, 7723061 fired transitions, 1595 secs || 7163375 markings, 47543972 edges, 4497 markings/sec, 1595 secs
lola: 8 tries, 7747718 fired transitions, 1600 secs || 7185903 markings, 47699954 edges, 4506 markings/sec, 1600 secs
lola: 8 tries, 7772291 fired transitions, 1605 secs || 7208355 markings, 47870514 edges, 4490 markings/sec, 1605 secs
lola: 8 tries, 7796898 fired transitions, 1610 secs || 7230799 markings, 48041681 edges, 4489 markings/sec, 1610 secs
lola: 8 tries, 7821483 fired transitions, 1615 secs || 7253152 markings, 48224330 edges, 4471 markings/sec, 1615 secs
lola: 8 tries, 7846317 fired transitions, 1620 secs || 7276189 markings, 48364320 edges, 4607 markings/sec, 1620 secs
lola: 8 tries, 7871343 fired transitions, 1625 secs || 7299255 markings, 48518021 edges, 4613 markings/sec, 1625 secs
lola: 8 tries, 7896327 fired transitions, 1630 secs || 7322283 markings, 48672799 edges, 4606 markings/sec, 1630 secs
lola: 8 tries, 7921351 fired transitions, 1635 secs || 7345310 markings, 48835179 edges, 4605 markings/sec, 1635 secs
lola: 8 tries, 7946549 fired transitions, 1640 secs || 7368411 markings, 48976453 edges, 4620 markings/sec, 1640 secs
lola: 8 tries, 7971411 fired transitions, 1645 secs || 7391557 markings, 49126789 edges, 4629 markings/sec, 1645 secs
lola: 8 tries, 7996069 fired transitions, 1650 secs || 7414431 markings, 49274786 edges, 4575 markings/sec, 1650 secs
lola: 9 tries, 8020937 fired transitions, 1655 secs || 7437239 markings, 49430892 edges, 4562 markings/sec, 1655 secs
lola: 9 tries, 8045797 fired transitions, 1660 secs || 7459908 markings, 49597484 edges, 4534 markings/sec, 1660 secs
lola: 9 tries, 8070607 fired transitions, 1665 secs || 7482631 markings, 49757294 edges, 4545 markings/sec, 1665 secs
lola: 9 tries, 8095454 fired transitions, 1670 secs || 7505296 markings, 49921971 edges, 4533 markings/sec, 1670 secs
lola: 9 tries, 8120243 fired transitions, 1675 secs || 7527790 markings, 50091038 edges, 4499 markings/sec, 1675 secs
lola: 9 tries, 8144937 fired transitions, 1680 secs || 7550147 markings, 50267152 edges, 4471 markings/sec, 1680 secs
lola: 9 tries, 8169545 fired transitions, 1685 secs || 7572562 markings, 50443548 edges, 4483 markings/sec, 1685 secs
lola: 9 tries, 8194098 fired transitions, 1690 secs || 7595017 markings, 50616963 edges, 4491 markings/sec, 1690 secs
lola: 9 tries, 8218715 fired transitions, 1695 secs || 7617425 markings, 50796241 edges, 4482 markings/sec, 1695 secs
lola: 9 tries, 8243315 fired transitions, 1700 secs || 7639722 markings, 50981097 edges, 4459 markings/sec, 1700 secs
lola: 9 tries, 8267952 fired transitions, 1705 secs || 7661993 markings, 51161954 edges, 4454 markings/sec, 1705 secs
lola: 9 tries, 8292620 fired transitions, 1710 secs || 7684502 markings, 51334590 edges, 4502 markings/sec, 1710 secs
lola: 9 tries, 8317229 fired transitions, 1715 secs || 7707091 markings, 51494057 edges, 4518 markings/sec, 1715 secs
lola: 9 tries, 8341244 fired transitions, 1720 secs || 7729309 markings, 51641825 edges, 4444 markings/sec, 1720 secs
lola: 9 tries, 8365839 fired transitions, 1725 secs || 7751890 markings, 51799389 edges, 4516 markings/sec, 1725 secs
lola: 9 tries, 8390401 fired transitions, 1730 secs || 7774377 markings, 51961946 edges, 4497 markings/sec, 1730 secs
lola: 9 tries, 8414941 fired transitions, 1735 secs || 7796838 markings, 52130783 edges, 4492 markings/sec, 1735 secs
lola: 9 tries, 8439496 fired transitions, 1740 secs || 7819288 markings, 52304356 edges, 4490 markings/sec, 1740 secs
lola: 9 tries, 8464195 fired transitions, 1745 secs || 7842307 markings, 52445785 edges, 4604 markings/sec, 1745 secs
lola: 9 tries, 8489010 fired transitions, 1750 secs || 7865366 markings, 52577989 edges, 4612 markings/sec, 1750 secs
lola: 9 tries, 8513844 fired transitions, 1755 secs || 7888579 markings, 52711291 edges, 4643 markings/sec, 1755 secs
lola: 9 tries, 8538624 fired transitions, 1760 secs || 7911550 markings, 52862562 edges, 4594 markings/sec, 1760 secs
lola: 9 tries, 8563406 fired transitions, 1765 secs || 7934692 markings, 52997264 edges, 4628 markings/sec, 1765 secs
lola: 9 tries, 8588200 fired transitions, 1770 secs || 7957623 markings, 53147977 edges, 4586 markings/sec, 1770 secs
lola: 9 tries, 8613043 fired transitions, 1775 secs || 7980588 markings, 53298182 edges, 4593 markings/sec, 1775 secs
lola: 9 tries, 8637853 fired transitions, 1780 secs || 8003281 markings, 53459703 edges, 4539 markings/sec, 1780 secs
lola: 9 tries, 8661049 fired transitions, 1785 secs || 8024466 markings, 53597398 edges, 4237 markings/sec, 1785 secs
lola: 9 tries, 8684993 fired transitions, 1790 secs || 8046522 markings, 53750597 edges, 4411 markings/sec, 1790 secs
lola: 9 tries, 8709900 fired transitions, 1795 secs || 8069339 markings, 53907520 edges, 4563 markings/sec, 1795 secs
lola: 9 tries, 8734753 fired transitions, 1800 secs || 8091957 markings, 54079530 edges, 4524 markings/sec, 1800 secs
lola: 9 tries, 8759963 fired transitions, 1805 secs || 8115241 markings, 54227330 edges, 4657 markings/sec, 1805 secs
lola: 9 tries, 8785119 fired transitions, 1810 secs || 8138429 markings, 54382064 edges, 4638 markings/sec, 1810 secs
lola: 9 tries, 8810054 fired transitions, 1815 secs || 8161486 markings, 54529259 edges, 4611 markings/sec, 1815 secs
lola: 9 tries, 8835066 fired transitions, 1820 secs || 8184396 markings, 54692815 edges, 4582 markings/sec, 1820 secs
lola: 9 tries, 8860042 fired transitions, 1825 secs || 8207260 markings, 54853986 edges, 4573 markings/sec, 1825 secs
lola: 9 tries, 8885022 fired transitions, 1830 secs || 8230001 markings, 55027098 edges, 4548 markings/sec, 1830 secs
lola: 9 tries, 8910039 fired transitions, 1835 secs || 8252638 markings, 55199061 edges, 4527 markings/sec, 1835 secs
lola: 9 tries, 8935108 fired transitions, 1840 secs || 8275603 markings, 55368640 edges, 4593 markings/sec, 1840 secs
lola: 9 tries, 8960260 fired transitions, 1845 secs || 8299135 markings, 55505441 edges, 4706 markings/sec, 1845 secs
lola: 9 tries, 8985290 fired transitions, 1850 secs || 8322226 markings, 55644688 edges, 4618 markings/sec, 1850 secs
lola: 10 tries, 9010075 fired transitions, 1855 secs || 8345573 markings, 55788356 edges, 4669 markings/sec, 1855 secs
lola: 10 tries, 9034680 fired transitions, 1860 secs || 8368580 markings, 55934128 edges, 4601 markings/sec, 1860 secs
lola: 10 tries, 9059023 fired transitions, 1865 secs || 8391693 markings, 56088684 edges, 4623 markings/sec, 1865 secs
lola: 10 tries, 9083177 fired transitions, 1870 secs || 8414714 markings, 56249434 edges, 4604 markings/sec, 1870 secs
lola: 10 tries, 9107709 fired transitions, 1875 secs || 8437625 markings, 56415174 edges, 4582 markings/sec, 1875 secs
lola: 10 tries, 9132404 fired transitions, 1880 secs || 8460636 markings, 56573014 edges, 4602 markings/sec, 1880 secs
lola: 10 tries, 9157111 fired transitions, 1885 secs || 8483423 markings, 56739670 edges, 4557 markings/sec, 1885 secs
lola: 10 tries, 9181598 fired transitions, 1890 secs || 8506153 markings, 56915154 edges, 4546 markings/sec, 1890 secs
lola: 10 tries, 9206766 fired transitions, 1895 secs || 8529965 markings, 57047990 edges, 4762 markings/sec, 1895 secs
lola: 10 tries, 9231450 fired transitions, 1900 secs || 8553072 markings, 57194280 edges, 4621 markings/sec, 1900 secs
lola: 10 tries, 9256221 fired transitions, 1905 secs || 8576078 markings, 57340578 edges, 4601 markings/sec, 1905 secs
lola: 10 tries, 9281069 fired transitions, 1910 secs || 8599191 markings, 57488204 edges, 4623 markings/sec, 1910 secs
lola: 10 tries, 9305858 fired transitions, 1915 secs || 8622351 markings, 57634871 edges, 4632 markings/sec, 1915 secs
lola: 10 tries, 9330570 fired transitions, 1920 secs || 8645381 markings, 57793346 edges, 4606 markings/sec, 1920 secs
lola: 10 tries, 9355264 fired transitions, 1925 secs || 8668346 markings, 57958589 edges, 4593 markings/sec, 1925 secs
lola: 10 tries, 9380028 fired transitions, 1930 secs || 8691425 markings, 58117848 edges, 4616 markings/sec, 1930 secs
lola: 10 tries, 9404801 fired transitions, 1935 secs || 8714488 markings, 58281732 edges, 4613 markings/sec, 1935 secs
lola: 10 tries, 9429361 fired transitions, 1940 secs || 8737256 markings, 58454201 edges, 4554 markings/sec, 1940 secs
lola: 10 tries, 9454094 fired transitions, 1945 secs || 8760616 markings, 58569473 edges, 4672 markings/sec, 1945 secs
lola: 10 tries, 9478790 fired transitions, 1950 secs || 8783934 markings, 58687274 edges, 4664 markings/sec, 1950 secs
lola: 10 tries, 9503400 fired transitions, 1955 secs || 8806955 markings, 58819478 edges, 4604 markings/sec, 1955 secs
lola: 10 tries, 9528013 fired transitions, 1960 secs || 8829920 markings, 58952020 edges, 4593 markings/sec, 1960 secs
lola: 10 tries, 9552725 fired transitions, 1965 secs || 8853159 markings, 59068602 edges, 4648 markings/sec, 1965 secs
lola: 10 tries, 9577364 fired transitions, 1970 secs || 8876159 markings, 59202492 edges, 4600 markings/sec, 1970 secs
lola: 10 tries, 9602097 fired transitions, 1975 secs || 8899314 markings, 59323887 edges, 4631 markings/sec, 1975 secs
lola: 10 tries, 9626796 fired transitions, 1980 secs || 8922411 markings, 59453946 edges, 4619 markings/sec, 1980 secs
lola: 10 tries, 9651510 fired transitions, 1985 secs || 8945388 markings, 59590606 edges, 4595 markings/sec, 1985 secs
lola: 10 tries, 9676183 fired transitions, 1990 secs || 8968182 markings, 59741589 edges, 4559 markings/sec, 1990 secs
lola: 10 tries, 9700825 fired transitions, 1995 secs || 8990967 markings, 59885084 edges, 4557 markings/sec, 1995 secs
lola: 10 tries, 9725369 fired transitions, 2000 secs || 9013686 markings, 60032083 edges, 4544 markings/sec, 2000 secs
lola: 10 tries, 9750062 fired transitions, 2005 secs || 9036574 markings, 60180915 edges, 4578 markings/sec, 2005 secs
lola: 10 tries, 9774722 fired transitions, 2010 secs || 9059343 markings, 60337783 edges, 4554 markings/sec, 2010 secs
lola: 10 tries, 9799461 fired transitions, 2015 secs || 9082044 markings, 60496273 edges, 4540 markings/sec, 2015 secs
lola: 10 tries, 9824334 fired transitions, 2020 secs || 9104895 markings, 60638893 edges, 4570 markings/sec, 2020 secs
lola: 10 tries, 9849181 fired transitions, 2025 secs || 9127618 markings, 60790927 edges, 4545 markings/sec, 2025 secs
lola: 10 tries, 9874024 fired transitions, 2030 secs || 9150376 markings, 60937869 edges, 4552 markings/sec, 2030 secs
lola: 10 tries, 9898790 fired transitions, 2035 secs || 9173455 markings, 61066060 edges, 4616 markings/sec, 2035 secs
lola: 10 tries, 9923668 fired transitions, 2040 secs || 9196450 markings, 61194166 edges, 4599 markings/sec, 2040 secs
lola: 10 tries, 9948366 fired transitions, 2045 secs || 9219357 markings, 61326904 edges, 4581 markings/sec, 2045 secs
lola: 10 tries, 9972992 fired transitions, 2050 secs || 9242026 markings, 61478653 edges, 4534 markings/sec, 2050 secs
lola: 10 tries, 9997671 fired transitions, 2055 secs || 9265034 markings, 61612508 edges, 4602 markings/sec, 2055 secs
lola: 11 tries, 10022241 fired transitions, 2060 secs || 9287732 markings, 61759858 edges, 4540 markings/sec, 2060 secs
lola: 11 tries, 10046840 fired transitions, 2065 secs || 9310529 markings, 61903830 edges, 4559 markings/sec, 2065 secs
lola: 11 tries, 10071451 fired transitions, 2070 secs || 9333266 markings, 62054458 edges, 4547 markings/sec, 2070 secs
lola: 11 tries, 10096047 fired transitions, 2075 secs || 9355737 markings, 62220939 edges, 4494 markings/sec, 2075 secs
lola: 11 tries, 10120528 fired transitions, 2080 secs || 9378373 markings, 62376548 edges, 4527 markings/sec, 2080 secs
lola: 11 tries, 10145127 fired transitions, 2085 secs || 9401275 markings, 62515557 edges, 4580 markings/sec, 2085 secs
lola: 11 tries, 10169741 fired transitions, 2090 secs || 9424141 markings, 62656805 edges, 4573 markings/sec, 2090 secs
lola: 11 tries, 10194333 fired transitions, 2095 secs || 9447005 markings, 62800816 edges, 4573 markings/sec, 2095 secs
lola: 11 tries, 10218901 fired transitions, 2100 secs || 9469796 markings, 62950157 edges, 4558 markings/sec, 2100 secs
lola: 11 tries, 10243477 fired transitions, 2105 secs || 9492442 markings, 63111472 edges, 4529 markings/sec, 2105 secs
lola: 11 tries, 10267967 fired transitions, 2110 secs || 9514964 markings, 63276717 edges, 4504 markings/sec, 2110 secs
lola: 11 tries, 10292515 fired transitions, 2115 secs || 9537762 markings, 63426205 edges, 4560 markings/sec, 2115 secs
lola: 11 tries, 10317044 fired transitions, 2120 secs || 9560415 markings, 63586823 edges, 4531 markings/sec, 2120 secs
lola: 11 tries, 10341560 fired transitions, 2125 secs || 9583047 markings, 63746451 edges, 4526 markings/sec, 2125 secs
lola: 11 tries, 10366117 fired transitions, 2130 secs || 9605536 markings, 63916940 edges, 4498 markings/sec, 2130 secs
lola: 11 tries, 10390730 fired transitions, 2135 secs || 9627864 markings, 64095859 edges, 4466 markings/sec, 2135 secs
lola: 11 tries, 10415348 fired transitions, 2140 secs || 9650286 markings, 64272584 edges, 4484 markings/sec, 2140 secs
lola: 11 tries, 10439973 fired transitions, 2145 secs || 9672926 markings, 64438004 edges, 4528 markings/sec, 2145 secs
lola: 11 tries, 10464603 fired transitions, 2150 secs || 9695659 markings, 64593010 edges, 4547 markings/sec, 2150 secs
lola: 11 tries, 10489395 fired transitions, 2155 secs || 9718270 markings, 64739227 edges, 4522 markings/sec, 2155 secs
lola: 11 tries, 10514543 fired transitions, 2160 secs || 9740833 markings, 64869442 edges, 4513 markings/sec, 2160 secs
lola: 11 tries, 10537823 fired transitions, 2165 secs || 9761786 markings, 64992034 edges, 4191 markings/sec, 2165 secs
lola: 11 tries, 10561510 fired transitions, 2170 secs || 9783823 markings, 65134801 edges, 4407 markings/sec, 2170 secs
lola: 11 tries, 10585648 fired transitions, 2175 secs || 9806305 markings, 65262893 edges, 4496 markings/sec, 2175 secs
lola: 11 tries, 10609845 fired transitions, 2180 secs || 9828758 markings, 65396845 edges, 4491 markings/sec, 2180 secs
lola: 11 tries, 10634392 fired transitions, 2185 secs || 9851628 markings, 65530843 edges, 4574 markings/sec, 2185 secs
lola: 11 tries, 10658617 fired transitions, 2190 secs || 9874127 markings, 65666194 edges, 4500 markings/sec, 2190 secs
lola: 11 tries, 10682572 fired transitions, 2195 secs || 9896226 markings, 65808025 edges, 4420 markings/sec, 2195 secs
lola: 11 tries, 10706994 fired transitions, 2200 secs || 9918794 markings, 65950992 edges, 4514 markings/sec, 2200 secs
lola: 11 tries, 10731021 fired transitions, 2205 secs || 9941003 markings, 66099891 edges, 4442 markings/sec, 2205 secs
lola: 11 tries, 10755268 fired transitions, 2210 secs || 9963347 markings, 66251280 edges, 4469 markings/sec, 2210 secs
lola: 11 tries, 10779504 fired transitions, 2215 secs || 9985503 markings, 66416218 edges, 4431 markings/sec, 2215 secs
lola: 11 tries, 10803803 fired transitions, 2220 secs || 10007842 markings, 66575182 edges, 4468 markings/sec, 2220 secs
lola: 11 tries, 10827824 fired transitions, 2225 secs || 10030124 markings, 66720072 edges, 4456 markings/sec, 2225 secs
lola: 11 tries, 10851681 fired transitions, 2230 secs || 10052102 markings, 66878177 edges, 4396 markings/sec, 2230 secs
lola: 11 tries, 10875562 fired transitions, 2235 secs || 10074184 markings, 67027205 edges, 4416 markings/sec, 2235 secs
lola: 11 tries, 10899175 fired transitions, 2240 secs || 10096145 markings, 67179046 edges, 4392 markings/sec, 2240 secs
lola: 11 tries, 10922715 fired transitions, 2245 secs || 10117884 markings, 67347185 edges, 4348 markings/sec, 2245 secs
lola: 11 tries, 10946437 fired transitions, 2250 secs || 10139660 markings, 67515388 edges, 4355 markings/sec, 2250 secs
lola: 11 tries, 10970323 fired transitions, 2255 secs || 10161601 markings, 67683719 edges, 4388 markings/sec, 2255 secs
lola: 11 tries, 10994238 fired transitions, 2260 secs || 10183615 markings, 67836095 edges, 4403 markings/sec, 2260 secs
lola: 12 tries, 11018234 fired transitions, 2265 secs || 10205497 markings, 67999586 edges, 4376 markings/sec, 2265 secs
lola: 12 tries, 11042115 fired transitions, 2270 secs || 10227399 markings, 68152795 edges, 4380 markings/sec, 2270 secs
lola: 12 tries, 11066171 fired transitions, 2275 secs || 10249520 markings, 68308759 edges, 4424 markings/sec, 2275 secs
lola: 12 tries, 11090124 fired transitions, 2280 secs || 10271723 markings, 68459688 edges, 4441 markings/sec, 2280 secs
lola: 12 tries, 11114150 fired transitions, 2285 secs || 10294286 markings, 68590563 edges, 4513 markings/sec, 2285 secs
lola: 12 tries, 11138105 fired transitions, 2290 secs || 10316595 markings, 68737679 edges, 4462 markings/sec, 2290 secs
lola: 12 tries, 11161927 fired transitions, 2295 secs || 10338817 markings, 68878287 edges, 4444 markings/sec, 2295 secs
lola: 12 tries, 11185820 fired transitions, 2300 secs || 10361029 markings, 69025893 edges, 4442 markings/sec, 2300 secs
lola: 12 tries, 11209429 fired transitions, 2305 secs || 10383044 markings, 69187430 edges, 4403 markings/sec, 2305 secs
lola: 12 tries, 11233180 fired transitions, 2310 secs || 10405078 markings, 69341125 edges, 4407 markings/sec, 2310 secs
lola: 12 tries, 11256927 fired transitions, 2315 secs || 10427137 markings, 69488738 edges, 4412 markings/sec, 2315 secs
lola: 12 tries, 11280774 fired transitions, 2320 secs || 10449130 markings, 69651310 edges, 4399 markings/sec, 2320 secs
lola: 12 tries, 11304567 fired transitions, 2325 secs || 10471187 markings, 69805309 edges, 4411 markings/sec, 2325 secs
lola: 12 tries, 11328444 fired transitions, 2330 secs || 10493165 markings, 69970073 edges, 4396 markings/sec, 2330 secs
lola: 12 tries, 11352341 fired transitions, 2335 secs || 10515127 markings, 70137987 edges, 4392 markings/sec, 2335 secs
lola: 12 tries, 11376152 fired transitions, 2340 secs || 10536966 markings, 70315064 edges, 4368 markings/sec, 2340 secs
lola: 12 tries, 11400027 fired transitions, 2345 secs || 10558902 markings, 70478254 edges, 4387 markings/sec, 2345 secs
lola: 12 tries, 11423889 fired transitions, 2350 secs || 10581097 markings, 70628236 edges, 4439 markings/sec, 2350 secs
lola: 12 tries, 11447720 fired transitions, 2355 secs || 10603060 markings, 70789111 edges, 4393 markings/sec, 2355 secs
lola: 12 tries, 11471665 fired transitions, 2360 secs || 10625131 markings, 70951124 edges, 4414 markings/sec, 2360 secs
lola: 12 tries, 11495596 fired transitions, 2365 secs || 10647162 markings, 71116419 edges, 4406 markings/sec, 2365 secs
lola: 12 tries, 11519554 fired transitions, 2370 secs || 10669053 markings, 71297117 edges, 4378 markings/sec, 2370 secs
lola: 12 tries, 11543526 fired transitions, 2375 secs || 10691127 markings, 71465907 edges, 4415 markings/sec, 2375 secs
lola: 12 tries, 11567445 fired transitions, 2380 secs || 10713265 markings, 71626539 edges, 4428 markings/sec, 2380 secs
lola: 12 tries, 11591479 fired transitions, 2385 secs || 10735489 markings, 71787456 edges, 4445 markings/sec, 2385 secs
lola: 12 tries, 11615512 fired transitions, 2390 secs || 10757615 markings, 71955515 edges, 4425 markings/sec, 2390 secs
lola: 12 tries, 11639851 fired transitions, 2395 secs || 10779876 markings, 72138241 edges, 4452 markings/sec, 2395 secs
lola: 12 tries, 11664329 fired transitions, 2400 secs || 10802399 markings, 72315876 edges, 4505 markings/sec, 2400 secs
lola: 12 tries, 11688841 fired transitions, 2405 secs || 10824809 markings, 72505219 edges, 4482 markings/sec, 2405 secs
lola: 12 tries, 11713285 fired transitions, 2410 secs || 10847118 markings, 72697237 edges, 4462 markings/sec, 2410 secs
lola: 12 tries, 11737798 fired transitions, 2415 secs || 10869674 markings, 72871010 edges, 4511 markings/sec, 2415 secs
lola: 12 tries, 11762363 fired transitions, 2420 secs || 10892858 markings, 73006779 edges, 4637 markings/sec, 2420 secs
lola: 12 tries, 11786932 fired transitions, 2425 secs || 10915967 markings, 73142034 edges, 4622 markings/sec, 2425 secs
lola: 12 tries, 11811450 fired transitions, 2430 secs || 10938931 markings, 73287031 edges, 4593 markings/sec, 2430 secs
lola: 12 tries, 11836216 fired transitions, 2435 secs || 10962114 markings, 73427563 edges, 4637 markings/sec, 2435 secs
lola: 12 tries, 11860730 fired transitions, 2440 secs || 10984730 markings, 73588994 edges, 4523 markings/sec, 2440 secs
lola: 12 tries, 11885344 fired transitions, 2445 secs || 11007574 markings, 73734147 edges, 4569 markings/sec, 2445 secs
lola: 12 tries, 11910032 fired transitions, 2450 secs || 11030674 markings, 73873603 edges, 4620 markings/sec, 2450 secs
lola: 12 tries, 11934691 fired transitions, 2455 secs || 11053703 markings, 74018358 edges, 4606 markings/sec, 2455 secs
lola: 12 tries, 11959103 fired transitions, 2460 secs || 11076261 markings, 74177946 edges, 4512 markings/sec, 2460 secs
lola: 12 tries, 11983786 fired transitions, 2465 secs || 11099295 markings, 74316354 edges, 4607 markings/sec, 2465 secs
lola: 13 tries, 12008421 fired transitions, 2470 secs || 11122199 markings, 74467306 edges, 4581 markings/sec, 2470 secs
lola: 13 tries, 12033012 fired transitions, 2475 secs || 11144934 markings, 74627187 edges, 4547 markings/sec, 2475 secs
lola: 13 tries, 12057544 fired transitions, 2480 secs || 11167589 markings, 74785923 edges, 4531 markings/sec, 2480 secs
lola: 13 tries, 12082163 fired transitions, 2485 secs || 11190431 markings, 74937934 edges, 4568 markings/sec, 2485 secs
lola: 13 tries, 12106672 fired transitions, 2490 secs || 11212963 markings, 75106016 edges, 4506 markings/sec, 2490 secs
lola: 13 tries, 12131264 fired transitions, 2495 secs || 11235623 markings, 75267565 edges, 4532 markings/sec, 2495 secs
lola: 13 tries, 12155865 fired transitions, 2500 secs || 11258211 markings, 75441498 edges, 4518 markings/sec, 2500 secs
lola: 13 tries, 12180262 fired transitions, 2505 secs || 11280319 markings, 75629201 edges, 4422 markings/sec, 2505 secs
lola: 13 tries, 12204877 fired transitions, 2510 secs || 11303220 markings, 75775732 edges, 4580 markings/sec, 2510 secs
lola: 13 tries, 12229544 fired transitions, 2515 secs || 11326202 markings, 75918719 edges, 4596 markings/sec, 2515 secs
lola: 13 tries, 12254117 fired transitions, 2520 secs || 11349054 markings, 76067449 edges, 4570 markings/sec, 2520 secs
lola: 13 tries, 12278681 fired transitions, 2525 secs || 11371655 markings, 76237207 edges, 4520 markings/sec, 2525 secs
lola: 13 tries, 12303398 fired transitions, 2530 secs || 11394628 markings, 76387455 edges, 4595 markings/sec, 2530 secs
lola: 13 tries, 12328136 fired transitions, 2535 secs || 11417683 markings, 76537590 edges, 4611 markings/sec, 2535 secs
lola: 13 tries, 12352648 fired transitions, 2540 secs || 11440102 markings, 76714685 edges, 4484 markings/sec, 2540 secs
lola: 13 tries, 12377115 fired transitions, 2545 secs || 11462548 markings, 76888170 edges, 4489 markings/sec, 2545 secs
lola: 13 tries, 12401595 fired transitions, 2550 secs || 11484929 markings, 77057863 edges, 4476 markings/sec, 2550 secs
lola: 13 tries, 12426230 fired transitions, 2555 secs || 11507732 markings, 77215308 edges, 4561 markings/sec, 2555 secs
lola: 13 tries, 12450855 fired transitions, 2560 secs || 11530567 markings, 77375083 edges, 4567 markings/sec, 2560 secs
lola: 13 tries, 12475467 fired transitions, 2565 secs || 11553328 markings, 77537921 edges, 4552 markings/sec, 2565 secs
lola: 13 tries, 12500047 fired transitions, 2570 secs || 11575926 markings, 77712982 edges, 4520 markings/sec, 2570 secs
lola: 13 tries, 12524584 fired transitions, 2575 secs || 11598513 markings, 77886603 edges, 4517 markings/sec, 2575 secs
lola: 13 tries, 12549138 fired transitions, 2580 secs || 11621256 markings, 78051848 edges, 4549 markings/sec, 2580 secs
lola: 13 tries, 12573692 fired transitions, 2585 secs || 11643833 markings, 78231589 edges, 4515 markings/sec, 2585 secs
lola: 13 tries, 12598187 fired transitions, 2590 secs || 11666395 markings, 78408002 edges, 4512 markings/sec, 2590 secs
lola: 13 tries, 12622726 fired transitions, 2595 secs || 11688865 markings, 78592633 edges, 4494 markings/sec, 2595 secs
lola: 13 tries, 12647241 fired transitions, 2600 secs || 11711155 markings, 78791844 edges, 4458 markings/sec, 2600 secs
lola: 13 tries, 12671777 fired transitions, 2605 secs || 11733836 markings, 78964024 edges, 4536 markings/sec, 2605 secs
lola: 13 tries, 12696293 fired transitions, 2610 secs || 11756580 markings, 79130629 edges, 4549 markings/sec, 2610 secs
lola: 13 tries, 12720753 fired transitions, 2615 secs || 11779341 markings, 79290764 edges, 4552 markings/sec, 2615 secs
lola: 13 tries, 12745325 fired transitions, 2620 secs || 11802345 markings, 79435050 edges, 4601 markings/sec, 2620 secs
lola: 13 tries, 12769882 fired transitions, 2625 secs || 11825262 markings, 79580560 edges, 4583 markings/sec, 2625 secs
lola: 13 tries, 12794455 fired transitions, 2630 secs || 11848131 markings, 79732987 edges, 4574 markings/sec, 2630 secs
lola: 13 tries, 12818910 fired transitions, 2635 secs || 11870761 markings, 79897228 edges, 4526 markings/sec, 2635 secs
lola: 13 tries, 12843468 fired transitions, 2640 secs || 11893647 markings, 80047519 edges, 4577 markings/sec, 2640 secs
lola: 13 tries, 12867980 fired transitions, 2645 secs || 11916344 markings, 80210787 edges, 4539 markings/sec, 2645 secs
lola: 13 tries, 12892528 fired transitions, 2650 secs || 11939047 markings, 80374384 edges, 4541 markings/sec, 2650 secs
lola: 13 tries, 12917065 fired transitions, 2655 secs || 11961619 markings, 80548708 edges, 4514 markings/sec, 2655 secs
lola: 13 tries, 12941585 fired transitions, 2660 secs || 11984161 markings, 80726537 edges, 4508 markings/sec, 2660 secs
lola: 13 tries, 12966162 fired transitions, 2665 secs || 12006969 markings, 80886052 edges, 4562 markings/sec, 2665 secs
lola: 13 tries, 12990793 fired transitions, 2670 secs || 12029852 markings, 81043350 edges, 4577 markings/sec, 2670 secs
lola: 14 tries, 13015222 fired transitions, 2675 secs || 12052531 markings, 81200455 edges, 4536 markings/sec, 2675 secs
lola: 14 tries, 13039740 fired transitions, 2680 secs || 12075164 markings, 81368235 edges, 4527 markings/sec, 2680 secs
lola: 14 tries, 13064216 fired transitions, 2685 secs || 12097657 markings, 81545712 edges, 4499 markings/sec, 2685 secs
lola: 14 tries, 13088713 fired transitions, 2690 secs || 12120295 markings, 81718760 edges, 4528 markings/sec, 2690 secs
lola: 14 tries, 13113215 fired transitions, 2695 secs || 12142899 markings, 81895402 edges, 4521 markings/sec, 2695 secs
lola: 14 tries, 13137725 fired transitions, 2700 secs || 12165493 markings, 82071458 edges, 4519 markings/sec, 2700 secs
lola: 14 tries, 13162162 fired transitions, 2705 secs || 12187898 markings, 82257255 edges, 4481 markings/sec, 2705 secs
lola: 14 tries, 13186615 fired transitions, 2710 secs || 12210154 markings, 82453912 edges, 4451 markings/sec, 2710 secs
lola: 14 tries, 13211032 fired transitions, 2715 secs || 12232664 markings, 82633504 edges, 4502 markings/sec, 2715 secs
lola: 14 tries, 13235480 fired transitions, 2720 secs || 12255311 markings, 82801414 edges, 4529 markings/sec, 2720 secs
lola: 14 tries, 13260009 fired transitions, 2725 secs || 12278110 markings, 82953484 edges, 4560 markings/sec, 2725 secs
lola: 14 tries, 13284535 fired transitions, 2730 secs || 12300765 markings, 83117073 edges, 4531 markings/sec, 2730 secs
lola: 14 tries, 13309018 fired transitions, 2735 secs || 12323509 markings, 83281194 edges, 4549 markings/sec, 2735 secs
lola: 14 tries, 13333428 fired transitions, 2740 secs || 12345758 markings, 83460815 edges, 4450 markings/sec, 2740 secs
lola: 14 tries, 13357962 fired transitions, 2745 secs || 12368259 markings, 83627132 edges, 4500 markings/sec, 2745 secs
lola: 14 tries, 13382568 fired transitions, 2750 secs || 12390808 markings, 83804270 edges, 4510 markings/sec, 2750 secs
lola: 14 tries, 13407155 fired transitions, 2755 secs || 12413348 markings, 83978929 edges, 4508 markings/sec, 2755 secs
lola: 14 tries, 13431750 fired transitions, 2760 secs || 12435778 markings, 84161476 edges, 4486 markings/sec, 2760 secs
lola: 14 tries, 13456340 fired transitions, 2765 secs || 12458091 markings, 84355054 edges, 4463 markings/sec, 2765 secs
lola: 14 tries, 13480905 fired transitions, 2770 secs || 12480581 markings, 84535124 edges, 4498 markings/sec, 2770 secs
lola: 14 tries, 13505470 fired transitions, 2775 secs || 12503084 markings, 84710877 edges, 4501 markings/sec, 2775 secs
lola: 14 tries, 13529999 fired transitions, 2780 secs || 12525607 markings, 84886701 edges, 4505 markings/sec, 2780 secs
lola: 14 tries, 13554525 fired transitions, 2785 secs || 12547981 markings, 85071205 edges, 4475 markings/sec, 2785 secs
lola: 14 tries, 13579038 fired transitions, 2790 secs || 12570099 markings, 85267270 edges, 4424 markings/sec, 2790 secs
lola: 14 tries, 13603493 fired transitions, 2795 secs || 12592452 markings, 85449538 edges, 4471 markings/sec, 2795 secs
lola: 14 tries, 13628114 fired transitions, 2800 secs || 12614888 markings, 85631737 edges, 4487 markings/sec, 2800 secs
lola: 14 tries, 13652607 fired transitions, 2805 secs || 12637120 markings, 85826876 edges, 4446 markings/sec, 2805 secs
lola: 14 tries, 13677142 fired transitions, 2810 secs || 12659369 markings, 86023422 edges, 4450 markings/sec, 2810 secs
lola: 14 tries, 13701681 fired transitions, 2815 secs || 12681408 markings, 86234769 edges, 4408 markings/sec, 2815 secs
lola: 14 tries, 13726264 fired transitions, 2820 secs || 12704490 markings, 86378091 edges, 4616 markings/sec, 2820 secs
lola: 14 tries, 13750859 fired transitions, 2825 secs || 12727424 markings, 86532226 edges, 4587 markings/sec, 2825 secs
lola: 14 tries, 13775454 fired transitions, 2830 secs || 12750401 markings, 86686732 edges, 4595 markings/sec, 2830 secs
lola: 14 tries, 13800045 fired transitions, 2835 secs || 12773258 markings, 86853209 edges, 4571 markings/sec, 2835 secs
lola: 14 tries, 13824545 fired transitions, 2840 secs || 12796106 markings, 87008396 edges, 4570 markings/sec, 2840 secs
lola: 14 tries, 13848971 fired transitions, 2845 secs || 12818877 markings, 87173347 edges, 4554 markings/sec, 2845 secs
lola: 14 tries, 13873492 fired transitions, 2850 secs || 12841644 markings, 87343076 edges, 4553 markings/sec, 2850 secs
lola: 14 tries, 13898057 fired transitions, 2855 secs || 12864465 markings, 87493509 edges, 4564 markings/sec, 2855 secs
lola: 14 tries, 13922202 fired transitions, 2860 secs || 12887007 markings, 87620591 edges, 4508 markings/sec, 2860 secs
lola: 14 tries, 13946294 fired transitions, 2865 secs || 12909270 markings, 87769591 edges, 4453 markings/sec, 2865 secs
lola: 14 tries, 13970782 fired transitions, 2870 secs || 12932111 markings, 87906041 edges, 4568 markings/sec, 2870 secs
lola: 14 tries, 13995428 fired transitions, 2875 secs || 12955087 markings, 88048698 edges, 4595 markings/sec, 2875 secs
lola: 15 tries, 14019920 fired transitions, 2880 secs || 12977636 markings, 88208368 edges, 4510 markings/sec, 2880 secs
lola: 15 tries, 14044350 fired transitions, 2885 secs || 13000178 markings, 88364789 edges, 4508 markings/sec, 2885 secs
lola: 15 tries, 14068959 fired transitions, 2890 secs || 13022988 markings, 88510215 edges, 4562 markings/sec, 2890 secs
lola: 15 tries, 14093510 fired transitions, 2895 secs || 13045903 markings, 88649334 edges, 4583 markings/sec, 2895 secs
lola: 15 tries, 14118103 fired transitions, 2900 secs || 13068745 markings, 88798590 edges, 4568 markings/sec, 2900 secs
lola: 15 tries, 14142557 fired transitions, 2905 secs || 13091261 markings, 88961513 edges, 4503 markings/sec, 2905 secs
lola: 15 tries, 14166993 fired transitions, 2910 secs || 13113830 markings, 89118354 edges, 4514 markings/sec, 2910 secs
lola: 15 tries, 14191360 fired transitions, 2915 secs || 13136478 markings, 89264393 edges, 4530 markings/sec, 2915 secs
lola: 15 tries, 14215247 fired transitions, 2920 secs || 13158531 markings, 89419246 edges, 4411 markings/sec, 2920 secs
lola: 15 tries, 14239335 fired transitions, 2925 secs || 13180717 markings, 89571869 edges, 4437 markings/sec, 2925 secs
lola: 15 tries, 14263793 fired transitions, 2930 secs || 13203269 markings, 89733552 edges, 4510 markings/sec, 2930 secs
lola: 15 tries, 14288228 fired transitions, 2935 secs || 13225706 markings, 89894541 edges, 4487 markings/sec, 2935 secs
lola: 15 tries, 14312629 fired transitions, 2940 secs || 13247998 markings, 90070804 edges, 4458 markings/sec, 2940 secs
lola: 15 tries, 14336900 fired transitions, 2945 secs || 13269933 markings, 90257548 edges, 4387 markings/sec, 2945 secs
lola: 15 tries, 14361440 fired transitions, 2950 secs || 13292737 markings, 90402378 edges, 4561 markings/sec, 2950 secs
lola: 15 tries, 14385978 fired transitions, 2955 secs || 13315530 markings, 90548012 edges, 4559 markings/sec, 2955 secs
lola: 15 tries, 14410492 fired transitions, 2960 secs || 13338137 markings, 90708630 edges, 4521 markings/sec, 2960 secs
lola: 15 tries, 14434958 fired transitions, 2965 secs || 13360726 markings, 90867195 edges, 4518 markings/sec, 2965 secs
lola: 15 tries, 14459491 fired transitions, 2970 secs || 13383444 markings, 91018330 edges, 4544 markings/sec, 2970 secs
lola: 15 tries, 14483957 fired transitions, 2975 secs || 13405973 markings, 91180989 edges, 4506 markings/sec, 2975 secs
lola: 15 tries, 14508426 fired transitions, 2980 secs || 13428466 markings, 91346891 edges, 4499 markings/sec, 2980 secs
lola: 15 tries, 14532816 fired transitions, 2985 secs || 13450778 markings, 91522264 edges, 4462 markings/sec, 2985 secs
lola: 15 tries, 14557231 fired transitions, 2990 secs || 13473156 markings, 91699474 edges, 4476 markings/sec, 2990 secs
lola: 15 tries, 14581700 fired transitions, 2995 secs || 13495795 markings, 91858460 edges, 4528 markings/sec, 2995 secs
lola: 15 tries, 14606180 fired transitions, 3000 secs || 13518395 markings, 92018915 edges, 4520 markings/sec, 3000 secs
lola: 15 tries, 14630663 fired transitions, 3005 secs || 13540958 markings, 92179669 edges, 4513 markings/sec, 3005 secs
lola: 15 tries, 14655036 fired transitions, 3010 secs || 13563302 markings, 92351708 edges, 4469 markings/sec, 3010 secs
lola: 15 tries, 14679302 fired transitions, 3015 secs || 13585468 markings, 92529693 edges, 4433 markings/sec, 3015 secs
lola: 15 tries, 14703731 fired transitions, 3020 secs || 13607990 markings, 92696794 edges, 4504 markings/sec, 3020 secs
lola: 15 tries, 14728178 fired transitions, 3025 secs || 13630409 markings, 92874730 edges, 4484 markings/sec, 3025 secs
lola: 15 tries, 14752609 fired transitions, 3030 secs || 13652809 markings, 93051763 edges, 4480 markings/sec, 3030 secs
lola: 15 tries, 14777043 fired transitions, 3035 secs || 13675063 markings, 93238590 edges, 4451 markings/sec, 3035 secs
lola: 15 tries, 14801448 fired transitions, 3040 secs || 13697155 markings, 93435483 edges, 4418 markings/sec, 3040 secs
lola: 15 tries, 14825732 fired transitions, 3045 secs || 13719410 markings, 93616817 edges, 4451 markings/sec, 3045 secs
lola: 15 tries, 14850036 fired transitions, 3050 secs || 13741844 markings, 93784476 edges, 4487 markings/sec, 3050 secs
lola: 15 tries, 14874302 fired transitions, 3055 secs || 13764325 markings, 93942961 edges, 4496 markings/sec, 3055 secs
lola: 15 tries, 14898608 fired transitions, 3060 secs || 13786929 markings, 94094911 edges, 4521 markings/sec, 3060 secs
lola: 15 tries, 14922992 fired transitions, 3065 secs || 13809656 markings, 94237603 edges, 4545 markings/sec, 3065 secs
lola: 15 tries, 14947457 fired transitions, 3070 secs || 13832399 markings, 94387824 edges, 4549 markings/sec, 3070 secs
lola: 15 tries, 14971876 fired transitions, 3075 secs || 13854911 markings, 94551679 edges, 4502 markings/sec, 3075 secs
lola: 15 tries, 14996229 fired transitions, 3080 secs || 13877516 markings, 94705264 edges, 4521 markings/sec, 3080 secs
lola: 16 tries, 15020634 fired transitions, 3085 secs || 13900034 markings, 94869882 edges, 4504 markings/sec, 3085 secs
lola: 16 tries, 15045024 fired transitions, 3090 secs || 13922681 markings, 95031302 edges, 4529 markings/sec, 3090 secs
lola: 16 tries, 15069389 fired transitions, 3095 secs || 13945069 markings, 95202224 edges, 4478 markings/sec, 3095 secs
lola: 16 tries, 15093495 fired transitions, 3100 secs || 13967329 markings, 95386398 edges, 4452 markings/sec, 3100 secs
lola: 16 tries, 15117793 fired transitions, 3105 secs || 13989931 markings, 95550545 edges, 4520 markings/sec, 3105 secs
lola: 16 tries, 15142153 fired transitions, 3110 secs || 14012617 markings, 95703805 edges, 4537 markings/sec, 3110 secs
lola: 16 tries, 15166589 fired transitions, 3115 secs || 14035289 markings, 95867043 edges, 4534 markings/sec, 3115 secs
lola: 16 tries, 15191023 fired transitions, 3120 secs || 14057956 markings, 96032437 edges, 4533 markings/sec, 3120 secs
lola: 16 tries, 15215415 fired transitions, 3125 secs || 14080484 markings, 96205161 edges, 4506 markings/sec, 3125 secs
lola: 16 tries, 15239652 fired transitions, 3130 secs || 14102744 markings, 96386099 edges, 4452 markings/sec, 3130 secs
lola: 16 tries, 15264054 fired transitions, 3135 secs || 14125318 markings, 96555905 edges, 4515 markings/sec, 3135 secs
lola: 16 tries, 15288446 fired transitions, 3140 secs || 14147703 markings, 96739677 edges, 4477 markings/sec, 3140 secs
lola: 16 tries, 15312866 fired transitions, 3145 secs || 14170039 markings, 96926045 edges, 4467 markings/sec, 3145 secs
lola: 16 tries, 15337367 fired transitions, 3150 secs || 14192223 markings, 97122900 edges, 4437 markings/sec, 3150 secs
lola: 16 tries, 15361817 fired transitions, 3155 secs || 14214608 markings, 97305011 edges, 4477 markings/sec, 3155 secs
lola: 16 tries, 15386288 fired transitions, 3160 secs || 14237123 markings, 97475347 edges, 4503 markings/sec, 3160 secs
lola: 16 tries, 15410770 fired transitions, 3165 secs || 14259804 markings, 97635131 edges, 4536 markings/sec, 3165 secs
lola: 16 tries, 15435266 fired transitions, 3170 secs || 14282416 markings, 97800332 edges, 4522 markings/sec, 3170 secs
lola: 16 tries, 15459757 fired transitions, 3175 secs || 14305057 markings, 97961319 edges, 4528 markings/sec, 3175 secs
lola: 16 tries, 15484212 fired transitions, 3180 secs || 14327538 markings, 98131386 edges, 4496 markings/sec, 3180 secs
lola: 16 tries, 15508672 fired transitions, 3185 secs || 14349844 markings, 98317340 edges, 4461 markings/sec, 3185 secs
lola: 16 tries, 15533135 fired transitions, 3190 secs || 14372396 markings, 98483753 edges, 4510 markings/sec, 3190 secs
lola: 16 tries, 15557559 fired transitions, 3195 secs || 14394711 markings, 98667071 edges, 4463 markings/sec, 3195 secs
lola: 16 tries, 15582019 fired transitions, 3200 secs || 14417082 markings, 98845185 edges, 4474 markings/sec, 3200 secs
lola: 16 tries, 15606415 fired transitions, 3205 secs || 14439256 markings, 99032169 edges, 4435 markings/sec, 3205 secs
lola: 16 tries, 15630887 fired transitions, 3210 secs || 14461407 markings, 99230593 edges, 4430 markings/sec, 3210 secs
lola: 16 tries, 15655414 fired transitions, 3215 secs || 14483981 markings, 99403025 edges, 4515 markings/sec, 3215 secs
lola: 16 tries, 15679971 fired transitions, 3220 secs || 14506489 markings, 99581163 edges, 4502 markings/sec, 3220 secs
lola: 16 tries, 15704504 fired transitions, 3225 secs || 14528992 markings, 99758463 edges, 4501 markings/sec, 3225 secs
lola: 16 tries, 15729033 fired transitions, 3230 secs || 14551339 markings, 99944977 edges, 4469 markings/sec, 3230 secs
lola: 16 tries, 15753498 fired transitions, 3235 secs || 14573488 markings, 100140593 edges, 4430 markings/sec, 3235 secs
lola: 16 tries, 15777989 fired transitions, 3240 secs || 14595826 markings, 100328942 edges, 4468 markings/sec, 3240 secs
lola: 16 tries, 15802435 fired transitions, 3245 secs || 14618019 markings, 100521641 edges, 4439 markings/sec, 3245 secs
lola: 16 tries, 15826842 fired transitions, 3250 secs || 14640131 markings, 100716482 edges, 4422 markings/sec, 3250 secs
lola: 16 tries, 15851270 fired transitions, 3255 secs || 14662082 markings, 100921705 edges, 4390 markings/sec, 3255 secs
lola: 16 tries, 15875659 fired transitions, 3260 secs || 14684450 markings, 101100182 edges, 4474 markings/sec, 3260 secs
lola: 16 tries, 15900089 fired transitions, 3265 secs || 14707177 markings, 101250409 edges, 4545 markings/sec, 3265 secs
lola: 16 tries, 15924561 fired transitions, 3270 secs || 14729968 markings, 101403018 edges, 4558 markings/sec, 3270 secs
lola: 16 tries, 15949033 fired transitions, 3275 secs || 14752474 markings, 101571350 edges, 4501 markings/sec, 3275 secs
lola: 16 tries, 15973584 fired transitions, 3280 secs || 14775284 markings, 101727422 edges, 4562 markings/sec, 3280 secs
lola: 16 tries, 15997876 fired transitions, 3285 secs || 14797558 markings, 101903780 edges, 4455 markings/sec, 3285 secs
lola: 17 tries, 16022195 fired transitions, 3290 secs || 14819908 markings, 102075156 edges, 4470 markings/sec, 3290 secs
lola: 17 tries, 16046726 fired transitions, 3295 secs || 14842526 markings, 102235548 edges, 4524 markings/sec, 3295 secs
lola: 17 tries, 16071223 fired transitions, 3300 secs || 14865139 markings, 102397093 edges, 4523 markings/sec, 3300 secs
lola: 17 tries, 16095736 fired transitions, 3305 secs || 14887619 markings, 102571242 edges, 4496 markings/sec, 3305 secs
lola: 17 tries, 16120253 fired transitions, 3310 secs || 14910035 markings, 102747649 edges, 4483 markings/sec, 3310 secs
lola: 17 tries, 16144678 fired transitions, 3315 secs || 14932387 markings, 102926246 edges, 4470 markings/sec, 3315 secs
lola: 17 tries, 16168934 fired transitions, 3320 secs || 14954657 markings, 103111782 edges, 4454 markings/sec, 3320 secs
lola: 17 tries, 16193244 fired transitions, 3325 secs || 14976832 markings, 103301265 edges, 4435 markings/sec, 3325 secs
lola: 17 tries, 16217455 fired transitions, 3330 secs || 14999381 markings, 103469487 edges, 4510 markings/sec, 3330 secs
lola: 17 tries, 16241858 fired transitions, 3335 secs || 15022029 markings, 103632708 edges, 4530 markings/sec, 3335 secs
lola: 17 tries, 16266251 fired transitions, 3340 secs || 15044458 markings, 103806825 edges, 4486 markings/sec, 3340 secs
lola: 17 tries, 16290670 fired transitions, 3345 secs || 15067028 markings, 103970519 edges, 4514 markings/sec, 3345 secs
lola: 17 tries, 16315033 fired transitions, 3350 secs || 15089394 markings, 104145673 edges, 4473 markings/sec, 3350 secs
lola: 17 tries, 16339466 fired transitions, 3355 secs || 15111796 markings, 104326009 edges, 4480 markings/sec, 3355 secs
lola: 17 tries, 16364057 fired transitions, 3360 secs || 15134216 markings, 104518228 edges, 4484 markings/sec, 3360 secs
lola: 17 tries, 16388662 fired transitions, 3365 secs || 15156782 markings, 104700879 edges, 4513 markings/sec, 3365 secs
lola: 17 tries, 16413193 fired transitions, 3370 secs || 15179345 markings, 104879729 edges, 4513 markings/sec, 3370 secs
lola: 17 tries, 16437669 fired transitions, 3375 secs || 15201756 markings, 105071188 edges, 4482 markings/sec, 3375 secs
lola: 17 tries, 16462006 fired transitions, 3380 secs || 15224190 markings, 105253636 edges, 4487 markings/sec, 3380 secs
lola: 17 tries, 16486375 fired transitions, 3385 secs || 15246516 markings, 105446236 edges, 4465 markings/sec, 3385 secs
lola: 17 tries, 16510839 fired transitions, 3390 secs || 15268861 markings, 105639636 edges, 4469 markings/sec, 3390 secs
lola: 17 tries, 16535349 fired transitions, 3395 secs || 15290953 markings, 105849125 edges, 4418 markings/sec, 3395 secs
lola: 17 tries, 16559875 fired transitions, 3400 secs || 15313413 markings, 106039698 edges, 4492 markings/sec, 3400 secs
lola: 17 tries, 16584389 fired transitions, 3405 secs || 15336014 markings, 106219006 edges, 4520 markings/sec, 3405 secs
lola: 17 tries, 16608886 fired transitions, 3410 secs || 15358574 markings, 106403136 edges, 4512 markings/sec, 3410 secs
lola: 17 tries, 16633386 fired transitions, 3415 secs || 15381428 markings, 106563708 edges, 4571 markings/sec, 3415 secs
lola: 17 tries, 16657883 fired transitions, 3420 secs || 15404120 markings, 106734398 edges, 4538 markings/sec, 3420 secs
lola: 17 tries, 16682344 fired transitions, 3425 secs || 15426700 markings, 106912171 edges, 4516 markings/sec, 3425 secs
lola: 17 tries, 16706774 fired transitions, 3430 secs || 15449355 markings, 107082318 edges, 4531 markings/sec, 3430 secs
lola: 17 tries, 16731212 fired transitions, 3435 secs || 15471841 markings, 107264794 edges, 4497 markings/sec, 3435 secs
lola: 17 tries, 16755550 fired transitions, 3440 secs || 15494123 markings, 107459975 edges, 4456 markings/sec, 3440 secs
lola: 17 tries, 16779637 fired transitions, 3445 secs || 15516423 markings, 107635045 edges, 4460 markings/sec, 3445 secs
lola: 17 tries, 16803923 fired transitions, 3450 secs || 15538918 markings, 107812802 edges, 4499 markings/sec, 3450 secs
lola: 17 tries, 16828377 fired transitions, 3455 secs || 15561489 markings, 107996289 edges, 4514 markings/sec, 3455 secs
lola: 17 tries, 16852716 fired transitions, 3460 secs || 15583861 markings, 108195124 edges, 4474 markings/sec, 3460 secs
lola: 17 tries, 16877202 fired transitions, 3465 secs || 15606294 markings, 108386288 edges, 4487 markings/sec, 3465 secs
lola: 17 tries, 16901733 fired transitions, 3470 secs || 15628553 markings, 108589618 edges, 4452 markings/sec, 3470 secs
lola: 17 tries, 16926280 fired transitions, 3475 secs || 15650919 markings, 108782508 edges, 4473 markings/sec, 3475 secs
lola: 17 tries, 16950941 fired transitions, 3480 secs || 15673629 markings, 108950927 edges, 4542 markings/sec, 3480 secs
lola: 17 tries, 16975404 fired transitions, 3485 secs || 15695817 markings, 109136251 edges, 4438 markings/sec, 3485 secs
lola: 17 tries, 16999794 fired transitions, 3490 secs || 15718050 markings, 109322081 edges, 4447 markings/sec, 3490 secs
lola: 18 tries, 17023451 fired transitions, 3495 secs || 15739583 markings, 109504890 edges, 4307 markings/sec, 3495 secs
lola: 18 tries, 17048003 fired transitions, 3500 secs || 15761925 markings, 109696590 edges, 4468 markings/sec, 3500 secs
lola: 18 tries, 17072563 fired transitions, 3505 secs || 15784198 markings, 109896542 edges, 4455 markings/sec, 3505 secs
lola: 18 tries, 17097203 fired transitions, 3510 secs || 15806607 markings, 110089184 edges, 4482 markings/sec, 3510 secs
lola: 18 tries, 17121819 fired transitions, 3515 secs || 15829079 markings, 110276080 edges, 4494 markings/sec, 3515 secs
lola: 18 tries, 17146383 fired transitions, 3520 secs || 15851323 markings, 110476229 edges, 4449 markings/sec, 3520 secs
lola: 18 tries, 17170961 fired transitions, 3525 secs || 15873634 markings, 110673868 edges, 4462 markings/sec, 3525 secs
lola: 18 tries, 17195574 fired transitions, 3530 secs || 15895822 markings, 110884557 edges, 4438 markings/sec, 3530 secs
lola: 18 tries, 17220236 fired transitions, 3535 secs || 15918206 markings, 111084270 edges, 4477 markings/sec, 3535 secs
lola: 18 tries, 17244837 fired transitions, 3540 secs || 15940370 markings, 111297255 edges, 4433 markings/sec, 3540 secs
lola: 18 tries, 17269546 fired transitions, 3545 secs || 15962563 markings, 111514547 edges, 4439 markings/sec, 3545 secs
lola: 18 tries, 17294231 fired transitions, 3550 secs || 15985663 markings, 111659039 edges, 4620 markings/sec, 3550 secs
lola: 18 tries, 17318847 fired transitions, 3555 secs || 16008864 markings, 111785093 edges, 4640 markings/sec, 3555 secs
lola: 18 tries, 17343461 fired transitions, 3560 secs || 16031957 markings, 111918360 edges, 4619 markings/sec, 3560 secs
lola: time limit reached - aborting
lola: memory consumption: 745908 KB
lola: time consumption: 3570 seconds
lola: print data as JSON (--json)
lola: writing JSON to GlobalProperties.json
lola: closed JSON file GlobalProperties.json
lola: caught signal User defined signal 2 - aborting LoLA
lola: memory consumption: 747276 KB
lola: time consumption: 3574 seconds
lola: print data as JSON (--json)
lola: writing JSON to GlobalProperties.json
lola: closed JSON file GlobalProperties.json
rslt: finished

BK_STOP 1553121200185

--------------------
content from stderr:

grep: GenericPropertiesVerdict.xml: No such file or directory
grep: GenericPropertiesVerdict.xml: No such file or directory

Sequence of Actions to be Executed by the VM

This is useful if one wants to reexecute the tool in the VM from the submitted image disk.

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="TokenRing-PT-015"
export BK_EXAMINATION="GlobalProperties"
export BK_TOOL="lola"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-3954"
echo " Executing tool lola"
echo " Input is TokenRing-PT-015, examination is GlobalProperties"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r170-oct2-155297750500327"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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