Execution Chart

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

Trace from the execution

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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 14M
-rw-r--r-- 1 mcc users 460K Feb 12 16:15 CTLCardinality.txt
-rw-r--r-- 1 mcc users 1.2M Feb 12 16:15 CTLCardinality.xml
-rw-r--r-- 1 mcc users 530K Feb 8 19:00 CTLFireability.txt
-rw-r--r-- 1 mcc users 1.5M Feb 8 19:00 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 10 17:31 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 109 Feb 24 15:05 GlobalProperties.txt
-rw-r--r-- 1 mcc users 347 Feb 24 15:05 GlobalProperties.xml
-rw-r--r-- 1 mcc users 210K Feb 5 01:25 LTLCardinality.txt
-rw-r--r-- 1 mcc users 517K Feb 5 01:25 LTLCardinality.xml
-rw-r--r-- 1 mcc users 360K Feb 4 22:48 LTLFireability.txt
-rw-r--r-- 1 mcc users 1.1M Feb 4 22:48 LTLFireability.xml
-rw-r--r-- 1 mcc users 369K Feb 4 17:47 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 957K Feb 4 17:47 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 495K Feb 1 14:57 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 1.4M Feb 1 14:57 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 102K Feb 4 22:30 UpperBounds.txt
-rw-r--r-- 1 mcc users 202K Feb 4 22:30 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Jan 29 09:35 equiv_col
-rw-r--r-- 1 mcc users 7 Jan 29 09:35 instance
-rw-r--r-- 1 mcc users 6 Jan 29 09:35 iscolored
-rw-r--r-- 1 mcc users 3.9M 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 SharedMemory-PT-000050-GlobalProperties-0

=== Now, execution of the tool begins

BK_START 1552944755403

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

{
"build":
{
"architecture": 64,
"assertions": false,
"build_hostname": "mcc2019",
"build_system": "x86_64-unknown-linux-gnu",
"optimizations": true,
"package_version": "2.0",
"svn_version": "3189M"
},
"call":
{
"exec_host": "mcc2019",
"markinglimit": null,
"parameters":
[
"--pnmlnet",
"model.pnml",
"--xmlformula",
"--formula=GlobalProperties.xml",
"--mcc",
"--donotcomputecapacities",
"--encoder=simplecompressed",
"--check=modelchecking",
"--stubborn=combined",
"--siphontrap=par",
"--siphondepth=10",
"--findpath=par",
"--retrylimit=0",
"--depthlimit=1000000",
"--symmetry",
"--symmtimelimit=300",
"--threads=2",
"--symmetrydepth=1073741824",
"--timelimit=3570",
"--json=GlobalProperties.json",
"--jsoninclude=formula,formulastat,net"
],
"starttime": "Mon Mar 18 21:32:35 2019
",
"timelimit": 3570
},
"child": null,
"exit":
{
"error": null,
"memory": 7181924,
"runtime": 3570.000000,
"signal": null,
"timelimitreached": true
},
"files":
{
"formula": "GlobalProperties.xml",
"net": "model.pnml"
},
"formula":
{
"count":
{
"A": 0,
"E": 1,
"F": 1,
"G": 0,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 0,
"cont": 0,
"dl": 1,
"fir": 0,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 0,
"visible_transitions": 0
},
"processed": "E (F (DEADLOCK))",
"processed_size": 16,
"rewrites": 1,
"skeleton": "E(F(**))"
},
"net":
{
"arcs": 20000,
"conflict_clusters": 2501,
"places": 2651,
"places_significant": 2550,
"singleton_clusters": 0,
"transitions": 5050
},
"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": 30414093201713375576366966406747986832057064836514787179557289984.000000,
"composed": 3526,
"dead_branches": 0,
"generators": 3577,
"interrupted": false,
"real_computed": 51,
"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: 7701/268435456 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 84832
lola: finding significant places
lola: 2651 places, 5050 transitions, 2550 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: 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: time limit for symmetry computation of 300 seconds given (--symmtimelimit)
lola: computed 3577 generators (51 in search tree, 3526 by composition)
lola: representing 3.04141E+64 symmetries
lola: 0 dead branches visited in search tree
lola: 1 tries, 54872 fired transitions, 0 secs || 24600 markings, 48899 edges, 4920 markings/sec, 0 secs
lola: 1 tries, 111432 fired transitions, 5 secs || 55459 markings, 110402 edges, 6172 markings/sec, 5 secs
lola: 1 tries, 168520 fired transitions, 10 secs || 86280 markings, 171842 edges, 6164 markings/sec, 10 secs
lola: 1 tries, 224796 fired transitions, 15 secs || 116589 markings, 232286 edges, 6062 markings/sec, 15 secs
lola: 1 tries, 280140 fired transitions, 20 secs || 146286 markings, 291441 edges, 5939 markings/sec, 20 secs
lola: 1 tries, 335402 fired transitions, 25 secs || 175764 markings, 350208 edges, 5896 markings/sec, 25 secs
lola: 1 tries, 390892 fired transitions, 30 secs || 205341 markings, 409194 edges, 5915 markings/sec, 30 secs
lola: 1 tries, 447348 fired transitions, 35 secs || 235423 markings, 469210 edges, 6016 markings/sec, 35 secs
lola: 1 tries, 503694 fired transitions, 40 secs || 265385 markings, 528961 edges, 5992 markings/sec, 40 secs
lola: 1 tries, 560484 fired transitions, 45 secs || 295479 markings, 588962 edges, 6019 markings/sec, 45 secs
lola: 1 tries, 617698 fired transitions, 50 secs || 325832 markings, 649544 edges, 6071 markings/sec, 50 secs
lola: 1 tries, 673676 fired transitions, 55 secs || 355462 markings, 708635 edges, 5926 markings/sec, 55 secs
lola: 1 tries, 729466 fired transitions, 60 secs || 384918 markings, 767396 edges, 5891 markings/sec, 60 secs
lola: 1 tries, 785536 fired transitions, 65 secs || 414367 markings, 826140 edges, 5890 markings/sec, 65 secs
lola: 1 tries, 841614 fired transitions, 70 secs || 443940 markings, 885149 edges, 5915 markings/sec, 70 secs
lola: 1 tries, 897440 fired transitions, 75 secs || 473314 markings, 943750 edges, 5875 markings/sec, 75 secs
lola: 1 tries, 953580 fired transitions, 80 secs || 503068 markings, 1003130 edges, 5951 markings/sec, 80 secs
lola: 2 tries, 1009763 fired transitions, 85 secs || 532580 markings, 1062050 edges, 5902 markings/sec, 85 secs
lola: 2 tries, 1065863 fired transitions, 90 secs || 562044 markings, 1120839 edges, 5893 markings/sec, 90 secs
lola: 2 tries, 1121859 fired transitions, 95 secs || 591398 markings, 1179372 edges, 5871 markings/sec, 95 secs
lola: 2 tries, 1178733 fired transitions, 100 secs || 621141 markings, 1238709 edges, 5949 markings/sec, 100 secs
lola: 2 tries, 1235249 fired transitions, 105 secs || 650783 markings, 1297829 edges, 5928 markings/sec, 105 secs
lola: 2 tries, 1291223 fired transitions, 110 secs || 680215 markings, 1356604 edges, 5886 markings/sec, 110 secs
lola: 2 tries, 1346799 fired transitions, 115 secs || 709203 markings, 1414410 edges, 5798 markings/sec, 115 secs
lola: 2 tries, 1402187 fired transitions, 120 secs || 738164 markings, 1472236 edges, 5792 markings/sec, 120 secs
lola: 2 tries, 1457605 fired transitions, 125 secs || 766962 markings, 1529763 edges, 5760 markings/sec, 125 secs
lola: 2 tries, 1513427 fired transitions, 130 secs || 796072 markings, 1587872 edges, 5822 markings/sec, 130 secs
lola: 2 tries, 1569639 fired transitions, 135 secs || 825499 markings, 1646643 edges, 5885 markings/sec, 135 secs
lola: 2 tries, 1626183 fired transitions, 140 secs || 855172 markings, 1705860 edges, 5935 markings/sec, 140 secs
lola: 2 tries, 1682583 fired transitions, 145 secs || 884661 markings, 1764729 edges, 5898 markings/sec, 145 secs
lola: 2 tries, 1738299 fired transitions, 150 secs || 913832 markings, 1822944 edges, 5834 markings/sec, 150 secs
lola: 2 tries, 1794381 fired transitions, 155 secs || 942891 markings, 1880905 edges, 5812 markings/sec, 155 secs
lola: 2 tries, 1850207 fired transitions, 160 secs || 971848 markings, 1938694 edges, 5791 markings/sec, 160 secs
lola: 2 tries, 1905817 fired transitions, 165 secs || 1000650 markings, 1996195 edges, 5760 markings/sec, 165 secs
lola: 2 tries, 1961683 fired transitions, 170 secs || 1029943 markings, 2054657 edges, 5859 markings/sec, 170 secs
lola: 3 tries, 2017239 fired transitions, 175 secs || 1058774 markings, 2112195 edges, 5766 markings/sec, 175 secs
lola: 3 tries, 2072703 fired transitions, 180 secs || 1087574 markings, 2169669 edges, 5760 markings/sec, 180 secs
lola: 3 tries, 2128439 fired transitions, 185 secs || 1116519 markings, 2227467 edges, 5789 markings/sec, 185 secs
lola: 3 tries, 2184139 fired transitions, 190 secs || 1145547 markings, 2285415 edges, 5806 markings/sec, 190 secs
lola: 3 tries, 2239923 fired transitions, 195 secs || 1174547 markings, 2343321 edges, 5800 markings/sec, 195 secs
lola: 3 tries, 2295427 fired transitions, 200 secs || 1203466 markings, 2401054 edges, 5784 markings/sec, 200 secs
lola: 3 tries, 2350887 fired transitions, 205 secs || 1232240 markings, 2458527 edges, 5755 markings/sec, 205 secs
lola: 3 tries, 2406493 fired transitions, 210 secs || 1261059 markings, 2516088 edges, 5764 markings/sec, 210 secs
lola: 3 tries, 2462577 fired transitions, 215 secs || 1290291 markings, 2574445 edges, 5846 markings/sec, 215 secs
lola: 3 tries, 2518521 fired transitions, 220 secs || 1319504 markings, 2632794 edges, 5843 markings/sec, 220 secs
lola: 3 tries, 2574619 fired transitions, 225 secs || 1348629 markings, 2690975 edges, 5825 markings/sec, 225 secs
lola: 3 tries, 2629971 fired transitions, 230 secs || 1376495 markings, 2746648 edges, 5573 markings/sec, 230 secs
lola: 3 tries, 2685793 fired transitions, 235 secs || 1405798 markings, 2805174 edges, 5861 markings/sec, 235 secs
lola: 3 tries, 2741817 fired transitions, 240 secs || 1434771 markings, 2862978 edges, 5795 markings/sec, 240 secs
lola: 3 tries, 2797267 fired transitions, 245 secs || 1462283 markings, 2917893 edges, 5502 markings/sec, 245 secs
lola: 3 tries, 2853221 fired transitions, 250 secs || 1490717 markings, 2974634 edges, 5687 markings/sec, 250 secs
lola: 3 tries, 2909117 fired transitions, 255 secs || 1519737 markings, 3032580 edges, 5804 markings/sec, 255 secs
lola: 3 tries, 2965001 fired transitions, 260 secs || 1548578 markings, 3090145 edges, 5768 markings/sec, 260 secs
lola: 4 tries, 3020785 fired transitions, 265 secs || 1577407 markings, 3147706 edges, 5766 markings/sec, 265 secs
lola: 4 tries, 3076575 fired transitions, 270 secs || 1606114 markings, 3205029 edges, 5741 markings/sec, 270 secs
lola: 4 tries, 3132929 fired transitions, 275 secs || 1635105 markings, 3262927 edges, 5798 markings/sec, 275 secs
lola: 4 tries, 3189181 fired transitions, 280 secs || 1664183 markings, 3320983 edges, 5816 markings/sec, 280 secs
lola: 4 tries, 3245423 fired transitions, 285 secs || 1693473 markings, 3379476 edges, 5858 markings/sec, 285 secs
lola: 4 tries, 3301163 fired transitions, 290 secs || 1722279 markings, 3437009 edges, 5761 markings/sec, 290 secs
lola: 4 tries, 3357151 fired transitions, 295 secs || 1751118 markings, 3494609 edges, 5768 markings/sec, 295 secs
lola: 4 tries, 3413259 fired transitions, 300 secs || 1780156 markings, 3552571 edges, 5808 markings/sec, 300 secs
lola: 4 tries, 3469331 fired transitions, 305 secs || 1808723 markings, 3609610 edges, 5713 markings/sec, 305 secs
lola: 4 tries, 3525461 fired transitions, 310 secs || 1836502 markings, 3665084 edges, 5556 markings/sec, 310 secs
lola: 4 tries, 3581571 fired transitions, 315 secs || 1865606 markings, 3723196 edges, 5821 markings/sec, 315 secs
lola: 4 tries, 3637773 fired transitions, 320 secs || 1894693 markings, 3781283 edges, 5817 markings/sec, 320 secs
lola: 4 tries, 3693645 fired transitions, 325 secs || 1923514 markings, 3838881 edges, 5764 markings/sec, 325 secs
lola: 4 tries, 3750373 fired transitions, 330 secs || 1952834 markings, 3897450 edges, 5864 markings/sec, 330 secs
lola: 4 tries, 3806633 fired transitions, 335 secs || 1981956 markings, 3955608 edges, 5824 markings/sec, 335 secs
lola: 4 tries, 3862899 fired transitions, 340 secs || 2011206 markings, 4014015 edges, 5850 markings/sec, 340 secs
lola: 4 tries, 3919205 fired transitions, 345 secs || 2040276 markings, 4072112 edges, 5814 markings/sec, 345 secs
lola: 4 tries, 3975587 fired transitions, 350 secs || 2069318 markings, 4130104 edges, 5808 markings/sec, 350 secs
lola: 5 tries, 4032924 fired transitions, 355 secs || 2098996 markings, 4189403 edges, 5936 markings/sec, 355 secs
lola: 5 tries, 4090215 fired transitions, 360 secs || 2128544 markings, 4248451 edges, 5910 markings/sec, 360 secs
lola: 5 tries, 4147065 fired transitions, 365 secs || 2157835 markings, 4306955 edges, 5858 markings/sec, 365 secs
lola: 5 tries, 4202259 fired transitions, 370 secs || 2186179 markings, 4363548 edges, 5669 markings/sec, 370 secs
lola: 5 tries, 4260399 fired transitions, 375 secs || 2216142 markings, 4423381 edges, 5993 markings/sec, 375 secs
lola: 5 tries, 4319491 fired transitions, 380 secs || 2246424 markings, 4483833 edges, 6056 markings/sec, 380 secs
lola: 5 tries, 4378286 fired transitions, 385 secs || 2276636 markings, 4544171 edges, 6042 markings/sec, 385 secs
lola: 5 tries, 4437663 fired transitions, 390 secs || 2307262 markings, 4605328 edges, 6125 markings/sec, 390 secs
lola: 5 tries, 4492801 fired transitions, 395 secs || 2336999 markings, 4664711 edges, 5947 markings/sec, 395 secs
lola: 5 tries, 4548571 fired transitions, 400 secs || 2366734 markings, 4724107 edges, 5947 markings/sec, 400 secs
lola: 5 tries, 4604415 fired transitions, 405 secs || 2396693 markings, 4783935 edges, 5992 markings/sec, 405 secs
lola: 5 tries, 4659393 fired transitions, 410 secs || 2425950 markings, 4842360 edges, 5851 markings/sec, 410 secs
lola: 5 tries, 4713279 fired transitions, 415 secs || 2454662 markings, 4899710 edges, 5742 markings/sec, 415 secs
lola: 5 tries, 4767161 fired transitions, 420 secs || 2483380 markings, 4957097 edges, 5744 markings/sec, 420 secs
lola: 5 tries, 4821041 fired transitions, 425 secs || 2512135 markings, 5014525 edges, 5751 markings/sec, 425 secs
lola: 5 tries, 4876637 fired transitions, 430 secs || 2541888 markings, 5073940 edges, 5951 markings/sec, 430 secs
lola: 5 tries, 4932251 fired transitions, 435 secs || 2571643 markings, 5133377 edges, 5951 markings/sec, 435 secs
lola: 5 tries, 4987361 fired transitions, 440 secs || 2601030 markings, 5192069 edges, 5877 markings/sec, 440 secs
lola: 6 tries, 5043236 fired transitions, 445 secs || 2630937 markings, 5251805 edges, 5981 markings/sec, 445 secs
lola: 6 tries, 5098526 fired transitions, 450 secs || 2660488 markings, 5310876 edges, 5910 markings/sec, 450 secs
lola: 6 tries, 5154322 fired transitions, 455 secs || 2690240 markings, 5370317 edges, 5950 markings/sec, 455 secs
lola: 6 tries, 5209452 fired transitions, 460 secs || 2719792 markings, 5429355 edges, 5910 markings/sec, 460 secs
lola: 6 tries, 5264914 fired transitions, 465 secs || 2749465 markings, 5488620 edges, 5935 markings/sec, 465 secs
lola: 6 tries, 5319750 fired transitions, 470 secs || 2778863 markings, 5547341 edges, 5880 markings/sec, 470 secs
lola: 6 tries, 5374736 fired transitions, 475 secs || 2808230 markings, 5606019 edges, 5873 markings/sec, 475 secs
lola: 6 tries, 5430574 fired transitions, 480 secs || 2838254 markings, 5666015 edges, 6005 markings/sec, 480 secs
lola: 6 tries, 5486456 fired transitions, 485 secs || 2868175 markings, 5725845 edges, 5984 markings/sec, 485 secs
lola: 6 tries, 5542342 fired transitions, 490 secs || 2898014 markings, 5785487 edges, 5968 markings/sec, 490 secs
lola: 6 tries, 5597946 fired transitions, 495 secs || 2927589 markings, 5844430 edges, 5915 markings/sec, 495 secs
lola: 6 tries, 5653394 fired transitions, 500 secs || 2957300 markings, 5903677 edges, 5942 markings/sec, 500 secs
lola: 6 tries, 5707268 fired transitions, 505 secs || 2985714 markings, 5960357 edges, 5683 markings/sec, 505 secs
lola: 6 tries, 5761242 fired transitions, 510 secs || 3014174 markings, 6017150 edges, 5692 markings/sec, 510 secs
lola: 6 tries, 5814996 fired transitions, 515 secs || 3042484 markings, 6073639 edges, 5662 markings/sec, 515 secs
lola: 6 tries, 5868740 fired transitions, 520 secs || 3070893 markings, 6130328 edges, 5682 markings/sec, 520 secs
lola: 6 tries, 5922454 fired transitions, 525 secs || 3099615 markings, 6187630 edges, 5744 markings/sec, 525 secs
lola: 6 tries, 5976198 fired transitions, 530 secs || 3128318 markings, 6244886 edges, 5741 markings/sec, 530 secs
lola: 7 tries, 6030330 fired transitions, 535 secs || 3156893 markings, 6301902 edges, 5715 markings/sec, 535 secs
lola: 7 tries, 6084212 fired transitions, 540 secs || 3185435 markings, 6358874 edges, 5708 markings/sec, 540 secs
lola: 7 tries, 6139230 fired transitions, 545 secs || 3214747 markings, 6417355 edges, 5862 markings/sec, 545 secs
lola: 7 tries, 6194968 fired transitions, 550 secs || 3244690 markings, 6477096 edges, 5989 markings/sec, 550 secs
lola: 7 tries, 6250892 fired transitions, 555 secs || 3274728 markings, 6537055 edges, 6008 markings/sec, 555 secs
lola: 7 tries, 6305622 fired transitions, 560 secs || 3303706 markings, 6594911 edges, 5796 markings/sec, 560 secs
lola: 7 tries, 6361312 fired transitions, 565 secs || 3333338 markings, 6654083 edges, 5926 markings/sec, 565 secs
lola: 7 tries, 6416520 fired transitions, 570 secs || 3362729 markings, 6712737 edges, 5878 markings/sec, 570 secs
lola: 7 tries, 6471866 fired transitions, 575 secs || 3392040 markings, 6771228 edges, 5862 markings/sec, 575 secs
lola: 7 tries, 6525658 fired transitions, 580 secs || 3420486 markings, 6828011 edges, 5689 markings/sec, 580 secs
lola: 7 tries, 6579560 fired transitions, 585 secs || 3448960 markings, 6884870 edges, 5695 markings/sec, 585 secs
lola: 7 tries, 6633530 fired transitions, 590 secs || 3477679 markings, 6942192 edges, 5744 markings/sec, 590 secs
lola: 7 tries, 6688972 fired transitions, 595 secs || 3507407 markings, 7001524 edges, 5946 markings/sec, 595 secs
lola: 7 tries, 6744236 fired transitions, 600 secs || 3537000 markings, 7060599 edges, 5919 markings/sec, 600 secs
lola: 7 tries, 6800119 fired transitions, 605 secs || 3566829 markings, 7120185 edges, 5966 markings/sec, 605 secs
lola: 7 tries, 6856736 fired transitions, 610 secs || 3596832 markings, 7180081 edges, 6001 markings/sec, 610 secs
lola: 7 tries, 6912178 fired transitions, 615 secs || 3626222 markings, 7238770 edges, 5878 markings/sec, 615 secs
lola: 7 tries, 6967422 fired transitions, 620 secs || 3655502 markings, 7297247 edges, 5856 markings/sec, 620 secs
lola: 8 tries, 7023043 fired transitions, 625 secs || 3685063 markings, 7356203 edges, 5912 markings/sec, 625 secs
lola: 8 tries, 7078981 fired transitions, 630 secs || 3715052 markings, 7416034 edges, 5998 markings/sec, 630 secs
lola: 8 tries, 7136305 fired transitions, 635 secs || 3745896 markings, 7477580 edges, 6169 markings/sec, 635 secs
lola: 8 tries, 7193539 fired transitions, 640 secs || 3776266 markings, 7538172 edges, 6074 markings/sec, 640 secs
lola: 8 tries, 7250475 fired transitions, 645 secs || 3806625 markings, 7598781 edges, 6072 markings/sec, 645 secs
lola: 8 tries, 7307461 fired transitions, 650 secs || 3837278 markings, 7659938 edges, 6131 markings/sec, 650 secs
lola: 8 tries, 7364689 fired transitions, 655 secs || 3868029 markings, 7721305 edges, 6150 markings/sec, 655 secs
lola: 8 tries, 7421921 fired transitions, 660 secs || 3898929 markings, 7782965 edges, 6180 markings/sec, 660 secs
lola: 8 tries, 7479143 fired transitions, 665 secs || 3929715 markings, 7844420 edges, 6157 markings/sec, 665 secs
lola: 8 tries, 7536369 fired transitions, 670 secs || 3960316 markings, 7905506 edges, 6120 markings/sec, 670 secs
lola: 8 tries, 7593363 fired transitions, 675 secs || 3990613 markings, 7965989 edges, 6059 markings/sec, 675 secs
lola: 8 tries, 7649523 fired transitions, 680 secs || 4020550 markings, 8025760 edges, 5987 markings/sec, 680 secs
lola: 8 tries, 7705319 fired transitions, 685 secs || 4050465 markings, 8085487 edges, 5983 markings/sec, 685 secs
lola: 8 tries, 7761409 fired transitions, 690 secs || 4080403 markings, 8145282 edges, 5988 markings/sec, 690 secs
lola: 8 tries, 7816421 fired transitions, 695 secs || 4109278 markings, 8202917 edges, 5775 markings/sec, 695 secs
lola: 8 tries, 7870775 fired transitions, 700 secs || 4137825 markings, 8259826 edges, 5709 markings/sec, 700 secs
lola: 8 tries, 7925301 fired transitions, 705 secs || 4166661 markings, 8317287 edges, 5767 markings/sec, 705 secs
lola: 8 tries, 7979728 fired transitions, 710 secs || 4195509 markings, 8374821 edges, 5770 markings/sec, 710 secs
lola: 9 tries, 8033792 fired transitions, 715 secs || 4224153 markings, 8431922 edges, 5729 markings/sec, 715 secs
lola: 9 tries, 8089312 fired transitions, 720 secs || 4253637 markings, 8490725 edges, 5897 markings/sec, 720 secs
lola: 9 tries, 8145096 fired transitions, 725 secs || 4283137 markings, 8549579 edges, 5900 markings/sec, 725 secs
lola: 9 tries, 8200678 fired transitions, 730 secs || 4312078 markings, 8607281 edges, 5788 markings/sec, 730 secs
lola: 9 tries, 8255840 fired transitions, 735 secs || 4340853 markings, 8664665 edges, 5755 markings/sec, 735 secs
lola: 9 tries, 8309622 fired transitions, 740 secs || 4368871 markings, 8720614 edges, 5604 markings/sec, 740 secs
lola: 9 tries, 8363476 fired transitions, 745 secs || 4396970 markings, 8776685 edges, 5620 markings/sec, 745 secs
lola: 9 tries, 8417372 fired transitions, 750 secs || 4424991 markings, 8832662 edges, 5604 markings/sec, 750 secs
lola: 9 tries, 8474336 fired transitions, 755 secs || 4454938 markings, 8892395 edges, 5989 markings/sec, 755 secs
lola: 9 tries, 8531427 fired transitions, 760 secs || 4485352 markings, 8953025 edges, 6083 markings/sec, 760 secs
lola: 9 tries, 8588498 fired transitions, 765 secs || 4515734 markings, 9013644 edges, 6076 markings/sec, 765 secs
lola: 9 tries, 8644460 fired transitions, 770 secs || 4545427 markings, 9072893 edges, 5939 markings/sec, 770 secs
lola: 9 tries, 8699790 fired transitions, 775 secs || 4574836 markings, 9131561 edges, 5882 markings/sec, 775 secs
lola: 9 tries, 8754632 fired transitions, 780 secs || 4603883 markings, 9189532 edges, 5809 markings/sec, 780 secs
lola: 9 tries, 8809221 fired transitions, 785 secs || 4632757 markings, 9247139 edges, 5775 markings/sec, 785 secs
lola: 9 tries, 8864748 fired transitions, 790 secs || 4661847 markings, 9305167 edges, 5818 markings/sec, 790 secs
lola: 9 tries, 8920276 fired transitions, 795 secs || 4690880 markings, 9363090 edges, 5807 markings/sec, 795 secs
lola: 9 tries, 8975436 fired transitions, 800 secs || 4719867 markings, 9420958 edges, 5797 markings/sec, 800 secs
lola: 10 tries, 9030561 fired transitions, 805 secs || 4748784 markings, 9478694 edges, 5783 markings/sec, 805 secs
lola: 10 tries, 9086293 fired transitions, 810 secs || 4778142 markings, 9537228 edges, 5872 markings/sec, 810 secs
lola: 10 tries, 9142102 fired transitions, 815 secs || 4807746 markings, 9596255 edges, 5921 markings/sec, 815 secs
lola: 10 tries, 9197707 fired transitions, 820 secs || 4837195 markings, 9655011 edges, 5890 markings/sec, 820 secs
lola: 10 tries, 9254615 fired transitions, 825 secs || 4867450 markings, 9715353 edges, 6051 markings/sec, 825 secs
lola: 10 tries, 9310529 fired transitions, 830 secs || 4897148 markings, 9774601 edges, 5940 markings/sec, 830 secs
lola: 10 tries, 9365653 fired transitions, 835 secs || 4926347 markings, 9832877 edges, 5840 markings/sec, 835 secs
lola: 10 tries, 9420955 fired transitions, 840 secs || 4955322 markings, 9890681 edges, 5795 markings/sec, 840 secs
lola: 10 tries, 9476167 fired transitions, 845 secs || 4984203 markings, 9948300 edges, 5776 markings/sec, 845 secs
lola: 10 tries, 9532059 fired transitions, 850 secs || 5013445 markings, 10006647 edges, 5848 markings/sec, 850 secs
lola: 10 tries, 9588407 fired transitions, 855 secs || 5043001 markings, 10065634 edges, 5911 markings/sec, 855 secs
lola: 10 tries, 9645519 fired transitions, 860 secs || 5073012 markings, 10125510 edges, 6002 markings/sec, 860 secs
lola: 10 tries, 9701873 fired transitions, 865 secs || 5102850 markings, 10184990 edges, 5968 markings/sec, 865 secs
lola: 10 tries, 9757595 fired transitions, 870 secs || 5132440 markings, 10243991 edges, 5918 markings/sec, 870 secs
lola: 10 tries, 9813201 fired transitions, 875 secs || 5161884 markings, 10302767 edges, 5889 markings/sec, 875 secs
lola: 10 tries, 9868817 fired transitions, 880 secs || 5191393 markings, 10361609 edges, 5902 markings/sec, 880 secs
lola: 10 tries, 9924957 fired transitions, 885 secs || 5221216 markings, 10421111 edges, 5965 markings/sec, 885 secs
lola: 10 tries, 9978865 fired transitions, 890 secs || 5249594 markings, 10477724 edges, 5676 markings/sec, 890 secs
lola: 11 tries, 10032642 fired transitions, 895 secs || 5277526 markings, 10533436 edges, 5586 markings/sec, 895 secs
lola: 11 tries, 10086490 fired transitions, 900 secs || 5305564 markings, 10589392 edges, 5608 markings/sec, 900 secs
lola: 11 tries, 10141454 fired transitions, 905 secs || 5334352 markings, 10646847 edges, 5758 markings/sec, 905 secs
lola: 11 tries, 10196924 fired transitions, 910 secs || 5363772 markings, 10705577 edges, 5884 markings/sec, 910 secs
lola: 11 tries, 10252370 fired transitions, 915 secs || 5392788 markings, 10763477 edges, 5803 markings/sec, 915 secs
lola: 11 tries, 10307918 fired transitions, 920 secs || 5421933 markings, 10821670 edges, 5829 markings/sec, 920 secs
lola: 11 tries, 10363630 fired transitions, 925 secs || 5450986 markings, 10879652 edges, 5811 markings/sec, 925 secs
lola: 11 tries, 10419192 fired transitions, 930 secs || 5480117 markings, 10937797 edges, 5826 markings/sec, 930 secs
lola: 11 tries, 10475188 fired transitions, 935 secs || 5509512 markings, 10996475 edges, 5879 markings/sec, 935 secs
lola: 11 tries, 10530946 fired transitions, 940 secs || 5538594 markings, 11054618 edges, 5816 markings/sec, 940 secs
lola: 11 tries, 10586512 fired transitions, 945 secs || 5567702 markings, 11112696 edges, 5822 markings/sec, 945 secs
lola: 11 tries, 10641992 fired transitions, 950 secs || 5597238 markings, 11171611 edges, 5907 markings/sec, 950 secs
lola: 11 tries, 10697532 fired transitions, 955 secs || 5626733 markings, 11230465 edges, 5899 markings/sec, 955 secs
lola: 11 tries, 10753740 fired transitions, 960 secs || 5656648 markings, 11290165 edges, 5983 markings/sec, 960 secs
lola: 11 tries, 10810372 fired transitions, 965 secs || 5686483 markings, 11349748 edges, 5967 markings/sec, 965 secs
lola: 11 tries, 10866330 fired transitions, 970 secs || 5716231 markings, 11409112 edges, 5950 markings/sec, 970 secs
lola: 11 tries, 10921552 fired transitions, 975 secs || 5745294 markings, 11467143 edges, 5813 markings/sec, 975 secs
lola: 11 tries, 10976570 fired transitions, 980 secs || 5774207 markings, 11524859 edges, 5783 markings/sec, 980 secs
lola: 12 tries, 11032289 fired transitions, 985 secs || 5803633 markings, 11583625 edges, 5885 markings/sec, 985 secs
lola: 12 tries, 11087593 fired transitions, 990 secs || 5832629 markings, 11641516 edges, 5799 markings/sec, 990 secs
lola: 12 tries, 11142447 fired transitions, 995 secs || 5861525 markings, 11699194 edges, 5779 markings/sec, 995 secs
lola: 12 tries, 11197599 fired transitions, 1000 secs || 5890916 markings, 11757863 edges, 5878 markings/sec, 1000 secs
lola: 12 tries, 11253269 fired transitions, 1005 secs || 5920590 markings, 11817102 edges, 5935 markings/sec, 1005 secs
lola: 12 tries, 11308665 fired transitions, 1010 secs || 5949847 markings, 11875530 edges, 5851 markings/sec, 1010 secs
lola: 12 tries, 11364239 fired transitions, 1015 secs || 5979017 markings, 11933789 edges, 5834 markings/sec, 1015 secs
lola: 12 tries, 11419397 fired transitions, 1020 secs || 6007929 markings, 11991549 edges, 5782 markings/sec, 1020 secs
lola: 12 tries, 11474981 fired transitions, 1025 secs || 6037251 markings, 12050116 edges, 5864 markings/sec, 1025 secs
lola: 12 tries, 11530623 fired transitions, 1030 secs || 6066549 markings, 12108608 edges, 5860 markings/sec, 1030 secs
lola: 12 tries, 11586761 fired transitions, 1035 secs || 6096124 markings, 12167693 edges, 5915 markings/sec, 1035 secs
lola: 12 tries, 11643981 fired transitions, 1040 secs || 6126243 markings, 12227843 edges, 6024 markings/sec, 1040 secs
lola: 12 tries, 11700774 fired transitions, 1045 secs || 6156241 markings, 12287764 edges, 6000 markings/sec, 1045 secs
lola: 12 tries, 11757971 fired transitions, 1050 secs || 6186268 markings, 12347837 edges, 6005 markings/sec, 1050 secs
lola: 12 tries, 11814769 fired transitions, 1055 secs || 6216069 markings, 12407355 edges, 5960 markings/sec, 1055 secs
lola: 12 tries, 11871575 fired transitions, 1060 secs || 6245934 markings, 12466960 edges, 5973 markings/sec, 1060 secs
lola: 12 tries, 11928655 fired transitions, 1065 secs || 6275811 markings, 12526593 edges, 5975 markings/sec, 1065 secs
lola: 12 tries, 11985565 fired transitions, 1070 secs || 6305423 markings, 12585711 edges, 5922 markings/sec, 1070 secs
lola: 13 tries, 12042675 fired transitions, 1075 secs || 6335120 markings, 12645006 edges, 5939 markings/sec, 1075 secs
lola: 13 tries, 12099429 fired transitions, 1080 secs || 6364722 markings, 12704115 edges, 5920 markings/sec, 1080 secs
lola: 13 tries, 12156229 fired transitions, 1085 secs || 6394504 markings, 12763549 edges, 5956 markings/sec, 1085 secs
lola: 13 tries, 12212995 fired transitions, 1090 secs || 6424327 markings, 12823081 edges, 5965 markings/sec, 1090 secs
lola: 13 tries, 12268611 fired transitions, 1095 secs || 6453571 markings, 12881449 edges, 5849 markings/sec, 1095 secs
lola: 13 tries, 12323813 fired transitions, 1100 secs || 6482364 markings, 12938982 edges, 5759 markings/sec, 1100 secs
lola: 13 tries, 12378969 fired transitions, 1105 secs || 6511054 markings, 12996248 edges, 5738 markings/sec, 1105 secs
lola: 13 tries, 12433559 fired transitions, 1110 secs || 6539411 markings, 13052868 edges, 5671 markings/sec, 1110 secs
lola: 13 tries, 12488733 fired transitions, 1115 secs || 6568191 markings, 13110309 edges, 5756 markings/sec, 1115 secs
lola: 13 tries, 12543701 fired transitions, 1120 secs || 6597024 markings, 13167858 edges, 5767 markings/sec, 1120 secs
lola: 13 tries, 12598283 fired transitions, 1125 secs || 6625578 markings, 13224851 edges, 5711 markings/sec, 1125 secs
lola: 13 tries, 12653735 fired transitions, 1130 secs || 6654775 markings, 13283158 edges, 5839 markings/sec, 1130 secs
lola: 13 tries, 12708731 fired transitions, 1135 secs || 6683367 markings, 13340212 edges, 5718 markings/sec, 1135 secs
lola: 13 tries, 12764347 fired transitions, 1140 secs || 6712443 markings, 13398262 edges, 5815 markings/sec, 1140 secs
lola: 13 tries, 12819935 fired transitions, 1145 secs || 6741508 markings, 13456292 edges, 5813 markings/sec, 1145 secs
lola: 13 tries, 12875283 fired transitions, 1150 secs || 6770313 markings, 13513829 edges, 5761 markings/sec, 1150 secs
lola: 13 tries, 12931927 fired transitions, 1155 secs || 6799962 markings, 13573111 edges, 5930 markings/sec, 1155 secs
lola: 13 tries, 12987719 fired transitions, 1160 secs || 6829110 markings, 13631343 edges, 5830 markings/sec, 1160 secs
lola: 14 tries, 13043297 fired transitions, 1165 secs || 6858324 markings, 13689702 edges, 5843 markings/sec, 1165 secs
lola: 14 tries, 13098693 fired transitions, 1170 secs || 6887201 markings, 13747381 edges, 5775 markings/sec, 1170 secs
lola: 14 tries, 13154381 fired transitions, 1175 secs || 6916266 markings, 13805454 edges, 5813 markings/sec, 1175 secs
lola: 14 tries, 13209939 fired transitions, 1180 secs || 6945367 markings, 13863623 edges, 5820 markings/sec, 1180 secs
lola: 14 tries, 13266077 fired transitions, 1185 secs || 6974815 markings, 13922411 edges, 5890 markings/sec, 1185 secs
lola: 14 tries, 13321833 fired transitions, 1190 secs || 7004024 markings, 13980718 edges, 5842 markings/sec, 1190 secs
lola: 14 tries, 13376939 fired transitions, 1195 secs || 7032999 markings, 14038578 edges, 5795 markings/sec, 1195 secs
lola: 14 tries, 13432617 fired transitions, 1200 secs || 7062166 markings, 14096857 edges, 5833 markings/sec, 1200 secs
lola: 14 tries, 13487863 fired transitions, 1205 secs || 7091005 markings, 14154449 edges, 5768 markings/sec, 1205 secs
lola: 14 tries, 13543349 fired transitions, 1210 secs || 7119928 markings, 14212227 edges, 5785 markings/sec, 1210 secs
lola: 14 tries, 13598973 fired transitions, 1215 secs || 7149101 markings, 14270475 edges, 5835 markings/sec, 1215 secs
lola: 14 tries, 13654049 fired transitions, 1220 secs || 7177962 markings, 14328073 edges, 5772 markings/sec, 1220 secs
lola: 14 tries, 13709775 fired transitions, 1225 secs || 7207217 markings, 14386458 edges, 5851 markings/sec, 1225 secs
lola: 14 tries, 13765629 fired transitions, 1230 secs || 7236611 markings, 14445133 edges, 5879 markings/sec, 1230 secs
lola: 14 tries, 13821243 fired transitions, 1235 secs || 7265581 markings, 14502955 edges, 5794 markings/sec, 1235 secs
lola: 14 tries, 13876081 fired transitions, 1240 secs || 7294160 markings, 14560017 edges, 5716 markings/sec, 1240 secs
lola: 14 tries, 13929839 fired transitions, 1245 secs || 7322134 markings, 14615881 edges, 5595 markings/sec, 1245 secs
lola: 14 tries, 13983665 fired transitions, 1250 secs || 7350105 markings, 14671752 edges, 5594 markings/sec, 1250 secs
lola: 15 tries, 14037773 fired transitions, 1255 secs || 7378497 markings, 14728441 edges, 5678 markings/sec, 1255 secs
lola: 15 tries, 14093309 fired transitions, 1260 secs || 7407634 markings, 14786613 edges, 5827 markings/sec, 1260 secs
lola: 15 tries, 14149073 fired transitions, 1265 secs || 7436886 markings, 14845012 edges, 5850 markings/sec, 1265 secs
lola: 15 tries, 14204857 fired transitions, 1270 secs || 7466187 markings, 14903520 edges, 5860 markings/sec, 1270 secs
lola: 15 tries, 14260379 fired transitions, 1275 secs || 7495237 markings, 14961531 edges, 5810 markings/sec, 1275 secs
lola: 15 tries, 14315463 fired transitions, 1280 secs || 7524409 markings, 15019712 edges, 5834 markings/sec, 1280 secs
lola: 15 tries, 14370259 fired transitions, 1285 secs || 7553370 markings, 15077494 edges, 5792 markings/sec, 1285 secs
lola: 15 tries, 14426043 fired transitions, 1290 secs || 7582918 markings, 15136453 edges, 5910 markings/sec, 1290 secs
lola: 15 tries, 14481671 fired transitions, 1295 secs || 7612353 markings, 15195190 edges, 5887 markings/sec, 1295 secs
lola: 15 tries, 14537315 fired transitions, 1300 secs || 7641857 markings, 15254077 edges, 5901 markings/sec, 1300 secs
lola: 15 tries, 14592853 fired transitions, 1305 secs || 7671260 markings, 15312773 edges, 5881 markings/sec, 1305 secs
lola: 15 tries, 14647901 fired transitions, 1310 secs || 7699918 markings, 15370005 edges, 5732 markings/sec, 1310 secs
lola: 15 tries, 14701715 fired transitions, 1315 secs || 7728007 markings, 15426062 edges, 5618 markings/sec, 1315 secs
lola: 15 tries, 14755547 fired transitions, 1320 secs || 7756265 markings, 15482487 edges, 5652 markings/sec, 1320 secs
lola: 15 tries, 14809337 fired transitions, 1325 secs || 7784622 markings, 15539094 edges, 5671 markings/sec, 1325 secs
lola: 15 tries, 14863601 fired transitions, 1330 secs || 7813700 markings, 15597141 edges, 5816 markings/sec, 1330 secs
lola: 15 tries, 14915715 fired transitions, 1335 secs || 7841618 markings, 15652868 edges, 5584 markings/sec, 1335 secs
lola: 15 tries, 14968399 fired transitions, 1340 secs || 7869732 markings, 15709021 edges, 5623 markings/sec, 1340 secs
lola: 16 tries, 15023773 fired transitions, 1345 secs || 7899239 markings, 15767942 edges, 5901 markings/sec, 1345 secs
lola: 16 tries, 15080473 fired transitions, 1350 secs || 7929658 markings, 15828722 edges, 6084 markings/sec, 1350 secs
lola: 16 tries, 15136317 fired transitions, 1355 secs || 7959592 markings, 15888507 edges, 5987 markings/sec, 1355 secs
lola: 16 tries, 15192977 fired transitions, 1360 secs || 7989783 markings, 15948844 edges, 6038 markings/sec, 1360 secs
lola: 16 tries, 15249453 fired transitions, 1365 secs || 8019765 markings, 16008702 edges, 5996 markings/sec, 1365 secs
lola: 16 tries, 15303321 fired transitions, 1370 secs || 8048389 markings, 16065829 edges, 5725 markings/sec, 1370 secs
lola: 16 tries, 15357127 fired transitions, 1375 secs || 8077016 markings, 16122991 edges, 5725 markings/sec, 1375 secs
lola: 16 tries, 15412025 fired transitions, 1380 secs || 8105953 markings, 16180740 edges, 5787 markings/sec, 1380 secs
lola: 16 tries, 15465969 fired transitions, 1385 secs || 8134353 markings, 16237324 edges, 5680 markings/sec, 1385 secs
lola: 16 tries, 15521919 fired transitions, 1390 secs || 8164023 markings, 16296470 edges, 5934 markings/sec, 1390 secs
lola: 16 tries, 15579061 fired transitions, 1395 secs || 8194570 markings, 16357413 edges, 6109 markings/sec, 1395 secs
lola: 16 tries, 15636246 fired transitions, 1400 secs || 8225091 markings, 16418274 edges, 6104 markings/sec, 1400 secs
lola: 16 tries, 15692921 fired transitions, 1405 secs || 8255235 markings, 16478377 edges, 6029 markings/sec, 1405 secs
lola: 16 tries, 15750053 fired transitions, 1410 secs || 8285684 markings, 16539100 edges, 6090 markings/sec, 1410 secs
lola: 16 tries, 15806583 fired transitions, 1415 secs || 8315812 markings, 16599206 edges, 6026 markings/sec, 1415 secs
lola: 16 tries, 15863861 fired transitions, 1420 secs || 8346350 markings, 16660194 edges, 6108 markings/sec, 1420 secs
lola: 16 tries, 15920347 fired transitions, 1425 secs || 8376453 markings, 16720255 edges, 6021 markings/sec, 1425 secs
lola: 16 tries, 15977717 fired transitions, 1430 secs || 8407059 markings, 16781355 edges, 6121 markings/sec, 1430 secs
lola: 17 tries, 16035830 fired transitions, 1435 secs || 8437364 markings, 16841777 edges, 6061 markings/sec, 1435 secs
lola: 17 tries, 16093664 fired transitions, 1440 secs || 8467677 markings, 16902256 edges, 6063 markings/sec, 1440 secs
lola: 17 tries, 16151906 fired transitions, 1445 secs || 8498312 markings, 16963394 edges, 6127 markings/sec, 1445 secs
lola: 17 tries, 16210128 fired transitions, 1450 secs || 8528898 markings, 17024402 edges, 6117 markings/sec, 1450 secs
lola: 17 tries, 16268418 fired transitions, 1455 secs || 8559571 markings, 17085627 edges, 6135 markings/sec, 1455 secs
lola: 17 tries, 16326780 fired transitions, 1460 secs || 8590392 markings, 17147161 edges, 6164 markings/sec, 1460 secs
lola: 17 tries, 16385200 fired transitions, 1465 secs || 8621374 markings, 17209009 edges, 6196 markings/sec, 1465 secs
lola: 17 tries, 16443588 fired transitions, 1470 secs || 8652048 markings, 17270196 edges, 6135 markings/sec, 1470 secs
lola: 17 tries, 16501972 fired transitions, 1475 secs || 8682771 markings, 17331498 edges, 6145 markings/sec, 1475 secs
lola: 17 tries, 16559412 fired transitions, 1480 secs || 8713135 markings, 17392142 edges, 6073 markings/sec, 1480 secs
lola: 17 tries, 16617654 fired transitions, 1485 secs || 8743858 markings, 17453449 edges, 6145 markings/sec, 1485 secs
lola: 17 tries, 16675898 fired transitions, 1490 secs || 8774909 markings, 17515369 edges, 6210 markings/sec, 1490 secs
lola: 17 tries, 16733298 fired transitions, 1495 secs || 8805495 markings, 17576378 edges, 6117 markings/sec, 1495 secs
lola: 17 tries, 16791494 fired transitions, 1500 secs || 8836592 markings, 17638416 edges, 6219 markings/sec, 1500 secs
lola: 17 tries, 16849738 fired transitions, 1505 secs || 8867817 markings, 17700687 edges, 6245 markings/sec, 1505 secs
lola: 17 tries, 16907826 fired transitions, 1510 secs || 8898855 markings, 17762622 edges, 6208 markings/sec, 1510 secs
lola: 17 tries, 16966028 fired transitions, 1515 secs || 8930102 markings, 17824948 edges, 6249 markings/sec, 1515 secs
lola: 18 tries, 17023817 fired transitions, 1520 secs || 8961011 markings, 17886636 edges, 6182 markings/sec, 1520 secs
lola: 18 tries, 17081937 fired transitions, 1525 secs || 8992052 markings, 17948599 edges, 6208 markings/sec, 1525 secs
lola: 18 tries, 17139115 fired transitions, 1530 secs || 9022533 markings, 18009478 edges, 6096 markings/sec, 1530 secs
lola: 18 tries, 17196009 fired transitions, 1535 secs || 9052853 markings, 18069940 edges, 6064 markings/sec, 1535 secs
lola: 18 tries, 17253753 fired transitions, 1540 secs || 9083711 markings, 18131513 edges, 6172 markings/sec, 1540 secs
lola: 18 tries, 17312009 fired transitions, 1545 secs || 9114949 markings, 18193868 edges, 6248 markings/sec, 1545 secs
lola: 18 tries, 17369285 fired transitions, 1550 secs || 9145295 markings, 18254455 edges, 6069 markings/sec, 1550 secs
lola: 18 tries, 17427253 fired transitions, 1555 secs || 9175834 markings, 18315409 edges, 6108 markings/sec, 1555 secs
lola: 18 tries, 17484989 fired transitions, 1560 secs || 9206565 markings, 18376756 edges, 6146 markings/sec, 1560 secs
lola: 18 tries, 17542781 fired transitions, 1565 secs || 9237501 markings, 18438497 edges, 6187 markings/sec, 1565 secs
lola: 18 tries, 17600295 fired transitions, 1570 secs || 9267758 markings, 18498847 edges, 6051 markings/sec, 1570 secs
lola: 18 tries, 17657519 fired transitions, 1575 secs || 9297800 markings, 18558773 edges, 6008 markings/sec, 1575 secs
lola: 18 tries, 17714373 fired transitions, 1580 secs || 9327650 markings, 18618371 edges, 5970 markings/sec, 1580 secs
lola: 18 tries, 17772089 fired transitions, 1585 secs || 9358022 markings, 18678984 edges, 6074 markings/sec, 1585 secs
lola: 18 tries, 17829535 fired transitions, 1590 secs || 9388296 markings, 18739406 edges, 6055 markings/sec, 1590 secs
lola: 18 tries, 17886069 fired transitions, 1595 secs || 9418001 markings, 18798690 edges, 5941 markings/sec, 1595 secs
lola: 18 tries, 17943037 fired transitions, 1600 secs || 9447986 markings, 18858540 edges, 5997 markings/sec, 1600 secs
lola: 19 tries, 18000129 fired transitions, 1605 secs || 9478075 markings, 18918625 edges, 6018 markings/sec, 1605 secs
lola: 19 tries, 18056875 fired transitions, 1610 secs || 9508065 markings, 18978455 edges, 5998 markings/sec, 1610 secs
lola: 19 tries, 18113383 fired transitions, 1615 secs || 9538081 markings, 19038335 edges, 6003 markings/sec, 1615 secs
lola: 19 tries, 18170787 fired transitions, 1620 secs || 9568683 markings, 19099360 edges, 6120 markings/sec, 1620 secs
lola: 19 tries, 18228541 fired transitions, 1625 secs || 9599567 markings, 19160986 edges, 6177 markings/sec, 1625 secs
lola: 19 tries, 18286103 fired transitions, 1630 secs || 9630232 markings, 19222174 edges, 6133 markings/sec, 1630 secs
lola: 19 tries, 18343621 fired transitions, 1635 secs || 9661013 markings, 19283608 edges, 6156 markings/sec, 1635 secs
lola: 19 tries, 18400737 fired transitions, 1640 secs || 9691390 markings, 19344237 edges, 6075 markings/sec, 1640 secs
lola: 19 tries, 18457651 fired transitions, 1645 secs || 9721593 markings, 19404526 edges, 6041 markings/sec, 1645 secs
lola: 19 tries, 18515003 fired transitions, 1650 secs || 9752220 markings, 19465611 edges, 6125 markings/sec, 1650 secs
lola: 19 tries, 18572707 fired transitions, 1655 secs || 9782919 markings, 19526828 edges, 6140 markings/sec, 1655 secs
lola: 19 tries, 18630809 fired transitions, 1660 secs || 9813890 markings, 19588627 edges, 6194 markings/sec, 1660 secs
lola: 19 tries, 18688617 fired transitions, 1665 secs || 9844752 markings, 19650178 edges, 6172 markings/sec, 1665 secs
lola: 19 tries, 18746273 fired transitions, 1670 secs || 9875588 markings, 19711702 edges, 6167 markings/sec, 1670 secs
lola: 19 tries, 18804315 fired transitions, 1675 secs || 9906552 markings, 19773487 edges, 6193 markings/sec, 1675 secs
lola: 19 tries, 18861923 fired transitions, 1680 secs || 9937237 markings, 19834736 edges, 6137 markings/sec, 1680 secs
lola: 19 tries, 18919547 fired transitions, 1685 secs || 9968052 markings, 19896232 edges, 6163 markings/sec, 1685 secs
lola: 19 tries, 18977415 fired transitions, 1690 secs || 9998953 markings, 19957901 edges, 6180 markings/sec, 1690 secs
lola: 20 tries, 19035150 fired transitions, 1695 secs || 10029794 markings, 20019465 edges, 6168 markings/sec, 1695 secs
lola: 20 tries, 19092628 fired transitions, 1700 secs || 10060474 markings, 20080719 edges, 6136 markings/sec, 1700 secs
lola: 20 tries, 19149656 fired transitions, 1705 secs || 10090797 markings, 20141271 edges, 6065 markings/sec, 1705 secs
lola: 20 tries, 19206738 fired transitions, 1710 secs || 10120845 markings, 20201286 edges, 6010 markings/sec, 1710 secs
lola: 20 tries, 19264016 fired transitions, 1715 secs || 10150704 markings, 20260873 edges, 5972 markings/sec, 1715 secs
lola: 20 tries, 19322120 fired transitions, 1720 secs || 10181267 markings, 20321849 edges, 6113 markings/sec, 1720 secs
lola: 20 tries, 19379742 fired transitions, 1725 secs || 10211510 markings, 20382201 edges, 6049 markings/sec, 1725 secs
lola: 20 tries, 19438140 fired transitions, 1730 secs || 10242267 markings, 20443601 edges, 6151 markings/sec, 1730 secs
lola: 20 tries, 19496462 fired transitions, 1735 secs || 10272947 markings, 20504819 edges, 6136 markings/sec, 1735 secs
lola: 20 tries, 19553930 fired transitions, 1740 secs || 10303191 markings, 20565190 edges, 6049 markings/sec, 1740 secs
lola: 20 tries, 19611784 fired transitions, 1745 secs || 10333607 markings, 20625912 edges, 6083 markings/sec, 1745 secs
lola: 20 tries, 19669438 fired transitions, 1750 secs || 10364029 markings, 20686639 edges, 6084 markings/sec, 1750 secs
lola: 20 tries, 19727092 fired transitions, 1755 secs || 10394442 markings, 20747368 edges, 6083 markings/sec, 1755 secs
lola: 20 tries, 19784512 fired transitions, 1760 secs || 10425072 markings, 20808493 edges, 6126 markings/sec, 1760 secs
lola: 20 tries, 19841230 fired transitions, 1765 secs || 10455329 markings, 20868916 edges, 6051 markings/sec, 1765 secs
lola: 20 tries, 19898168 fired transitions, 1770 secs || 10485447 markings, 20929048 edges, 6024 markings/sec, 1770 secs
lola: 20 tries, 19955396 fired transitions, 1775 secs || 10515492 markings, 20989040 edges, 6009 markings/sec, 1775 secs
lola: 21 tries, 20013255 fired transitions, 1780 secs || 10546147 markings, 21050270 edges, 6131 markings/sec, 1780 secs
lola: 21 tries, 20071157 fired transitions, 1785 secs || 10576451 markings, 21110713 edges, 6061 markings/sec, 1785 secs
lola: 21 tries, 20128869 fired transitions, 1790 secs || 10606673 markings, 21171010 edges, 6044 markings/sec, 1790 secs
lola: 21 tries, 20186309 fired transitions, 1795 secs || 10636839 markings, 21231229 edges, 6033 markings/sec, 1795 secs
lola: 21 tries, 20243241 fired transitions, 1800 secs || 10666836 markings, 21291091 edges, 5999 markings/sec, 1800 secs
lola: 21 tries, 20299069 fired transitions, 1805 secs || 10696115 markings, 21349552 edges, 5856 markings/sec, 1805 secs
lola: 21 tries, 20357023 fired transitions, 1810 secs || 10726578 markings, 21410337 edges, 6093 markings/sec, 1810 secs
lola: 21 tries, 20415247 fired transitions, 1815 secs || 10757196 markings, 21471438 edges, 6124 markings/sec, 1815 secs
lola: 21 tries, 20472665 fired transitions, 1820 secs || 10787388 markings, 21531715 edges, 6038 markings/sec, 1820 secs
lola: 21 tries, 20529637 fired transitions, 1825 secs || 10817317 markings, 21591479 edges, 5986 markings/sec, 1825 secs
lola: 21 tries, 20586967 fired transitions, 1830 secs || 10847638 markings, 21652056 edges, 6064 markings/sec, 1830 secs
lola: 21 tries, 20643861 fired transitions, 1835 secs || 10877691 markings, 21712087 edges, 6011 markings/sec, 1835 secs
lola: 21 tries, 20700381 fired transitions, 1840 secs || 10907396 markings, 21771442 edges, 5941 markings/sec, 1840 secs
lola: 21 tries, 20756701 fired transitions, 1845 secs || 10936979 markings, 21830555 edges, 5917 markings/sec, 1845 secs
lola: 21 tries, 20813081 fired transitions, 1850 secs || 10966847 markings, 21890187 edges, 5974 markings/sec, 1850 secs
lola: 21 tries, 20869855 fired transitions, 1855 secs || 10996948 markings, 21950299 edges, 6020 markings/sec, 1855 secs
lola: 21 tries, 20927145 fired transitions, 1860 secs || 11027105 markings, 22010525 edges, 6031 markings/sec, 1860 secs
lola: 21 tries, 20984667 fired transitions, 1865 secs || 11057350 markings, 22070915 edges, 6049 markings/sec, 1865 secs
lola: 22 tries, 21042597 fired transitions, 1870 secs || 11087784 markings, 22131701 edges, 6087 markings/sec, 1870 secs
lola: 22 tries, 21100231 fired transitions, 1875 secs || 11118167 markings, 22192402 edges, 6077 markings/sec, 1875 secs
lola: 22 tries, 21156749 fired transitions, 1880 secs || 11148124 markings, 22252204 edges, 5991 markings/sec, 1880 secs
lola: 22 tries, 21213249 fired transitions, 1885 secs || 11178000 markings, 22311907 edges, 5975 markings/sec, 1885 secs
lola: 22 tries, 21271285 fired transitions, 1890 secs || 11208540 markings, 22372960 edges, 6108 markings/sec, 1890 secs
lola: 22 tries, 21329241 fired transitions, 1895 secs || 11239275 markings, 22434333 edges, 6147 markings/sec, 1895 secs
lola: 22 tries, 21386225 fired transitions, 1900 secs || 11269275 markings, 22494228 edges, 6000 markings/sec, 1900 secs
lola: 22 tries, 21443903 fired transitions, 1905 secs || 11299603 markings, 22554786 edges, 6066 markings/sec, 1905 secs
lola: 22 tries, 21501547 fired transitions, 1910 secs || 11330180 markings, 22615861 edges, 6115 markings/sec, 1910 secs
lola: 22 tries, 21559215 fired transitions, 1915 secs || 11360418 markings, 22676272 edges, 6048 markings/sec, 1915 secs
lola: 22 tries, 21617097 fired transitions, 1920 secs || 11390892 markings, 22737170 edges, 6095 markings/sec, 1920 secs
lola: 22 tries, 21674443 fired transitions, 1925 secs || 11421062 markings, 22797449 edges, 6034 markings/sec, 1925 secs
lola: 22 tries, 21732469 fired transitions, 1930 secs || 11451659 markings, 22858546 edges, 6119 markings/sec, 1930 secs
lola: 22 tries, 21790502 fired transitions, 1935 secs || 11482284 markings, 22919778 edges, 6125 markings/sec, 1935 secs
lola: 22 tries, 21845013 fired transitions, 1940 secs || 11510967 markings, 22977124 edges, 5737 markings/sec, 1940 secs
lola: 22 tries, 21897439 fired transitions, 1945 secs || 11538683 markings, 23032462 edges, 5543 markings/sec, 1945 secs
lola: 22 tries, 21949237 fired transitions, 1950 secs || 11566118 markings, 23087258 edges, 5487 markings/sec, 1950 secs
lola: 23 tries, 22002414 fired transitions, 1955 secs || 11594079 markings, 23143112 edges, 5592 markings/sec, 1955 secs
lola: 23 tries, 22056612 fired transitions, 1960 secs || 11622464 markings, 23199809 edges, 5677 markings/sec, 1960 secs
lola: 23 tries, 22110534 fired transitions, 1965 secs || 11651109 markings, 23256941 edges, 5729 markings/sec, 1965 secs
lola: 23 tries, 22164410 fired transitions, 1970 secs || 11679778 markings, 23314143 edges, 5734 markings/sec, 1970 secs
lola: 23 tries, 22218358 fired transitions, 1975 secs || 11708383 markings, 23371232 edges, 5721 markings/sec, 1975 secs
lola: 23 tries, 22272322 fired transitions, 1980 secs || 11737042 markings, 23428416 edges, 5732 markings/sec, 1980 secs
lola: 23 tries, 22327302 fired transitions, 1985 secs || 11766048 markings, 23486297 edges, 5801 markings/sec, 1985 secs
lola: 23 tries, 22381448 fired transitions, 1990 secs || 11794652 markings, 23543399 edges, 5721 markings/sec, 1990 secs
lola: 23 tries, 22435662 fired transitions, 1995 secs || 11823032 markings, 23600022 edges, 5676 markings/sec, 1995 secs
lola: 23 tries, 22489480 fired transitions, 2000 secs || 11850788 markings, 23655401 edges, 5551 markings/sec, 2000 secs
lola: 23 tries, 22545154 fired transitions, 2005 secs || 11879573 markings, 23712850 edges, 5757 markings/sec, 2005 secs
lola: 23 tries, 22601792 fired transitions, 2010 secs || 11908826 markings, 23771248 edges, 5851 markings/sec, 2010 secs
lola: 23 tries, 22658002 fired transitions, 2015 secs || 11938141 markings, 23829806 edges, 5863 markings/sec, 2015 secs
lola: 23 tries, 22714362 fired transitions, 2020 secs || 11967336 markings, 23888153 edges, 5839 markings/sec, 2020 secs
lola: 23 tries, 22770520 fired transitions, 2025 secs || 11996726 markings, 23946798 edges, 5878 markings/sec, 2025 secs
lola: 23 tries, 22826412 fired transitions, 2030 secs || 12026158 markings, 24005536 edges, 5886 markings/sec, 2030 secs
lola: 23 tries, 22882770 fired transitions, 2035 secs || 12055746 markings, 24064594 edges, 5918 markings/sec, 2035 secs
lola: 23 tries, 22938790 fired transitions, 2040 secs || 12085013 markings, 24123037 edges, 5853 markings/sec, 2040 secs
lola: 23 tries, 22994842 fired transitions, 2045 secs || 12114161 markings, 24181280 edges, 5830 markings/sec, 2045 secs
lola: 24 tries, 23052140 fired transitions, 2050 secs || 12144269 markings, 24241467 edges, 6022 markings/sec, 2050 secs
lola: 24 tries, 23107690 fired transitions, 2055 secs || 12173401 markings, 24299607 edges, 5826 markings/sec, 2055 secs
lola: 24 tries, 23162498 fired transitions, 2060 secs || 12201690 markings, 24356093 edges, 5658 markings/sec, 2060 secs
lola: 24 tries, 23217324 fired transitions, 2065 secs || 12230125 markings, 24412849 edges, 5687 markings/sec, 2065 secs
lola: 24 tries, 23272582 fired transitions, 2070 secs || 12258752 markings, 24470004 edges, 5725 markings/sec, 2070 secs
lola: 24 tries, 23328172 fired transitions, 2075 secs || 12287507 markings, 24527437 edges, 5751 markings/sec, 2075 secs
lola: 24 tries, 23382518 fired transitions, 2080 secs || 12315705 markings, 24583740 edges, 5640 markings/sec, 2080 secs
lola: 24 tries, 23438712 fired transitions, 2085 secs || 12345192 markings, 24642599 edges, 5897 markings/sec, 2085 secs
lola: 24 tries, 23493400 fired transitions, 2090 secs || 12373626 markings, 24699394 edges, 5687 markings/sec, 2090 secs
lola: 24 tries, 23548332 fired transitions, 2095 secs || 12402026 markings, 24756065 edges, 5680 markings/sec, 2095 secs
lola: 24 tries, 23603932 fired transitions, 2100 secs || 12430735 markings, 24813364 edges, 5742 markings/sec, 2100 secs
lola: 24 tries, 23659632 fired transitions, 2105 secs || 12459551 markings, 24870878 edges, 5763 markings/sec, 2105 secs
lola: 24 tries, 23714312 fired transitions, 2110 secs || 12487748 markings, 24927188 edges, 5639 markings/sec, 2110 secs
lola: 24 tries, 23768566 fired transitions, 2115 secs || 12515462 markings, 24982517 edges, 5543 markings/sec, 2115 secs
lola: 24 tries, 23823460 fired transitions, 2120 secs || 12543639 markings, 25038709 edges, 5635 markings/sec, 2120 secs
lola: 24 tries, 23879590 fired transitions, 2125 secs || 12572482 markings, 25096231 edges, 5769 markings/sec, 2125 secs
lola: 24 tries, 23935556 fired transitions, 2130 secs || 12601379 markings, 25153894 edges, 5779 markings/sec, 2130 secs
lola: 24 tries, 23991660 fired transitions, 2135 secs || 12630320 markings, 25211629 edges, 5788 markings/sec, 2135 secs
lola: 25 tries, 24048086 fired transitions, 2140 secs || 12659234 markings, 25269319 edges, 5783 markings/sec, 2140 secs
lola: 25 tries, 24103580 fired transitions, 2145 secs || 12687516 markings, 25325743 edges, 5656 markings/sec, 2145 secs
lola: 25 tries, 24158974 fired transitions, 2150 secs || 12715805 markings, 25382203 edges, 5658 markings/sec, 2150 secs
lola: 25 tries, 24214354 fired transitions, 2155 secs || 12744275 markings, 25439017 edges, 5694 markings/sec, 2155 secs
lola: 25 tries, 24271760 fired transitions, 2160 secs || 12774248 markings, 25498867 edges, 5995 markings/sec, 2160 secs
lola: 25 tries, 24328858 fired transitions, 2165 secs || 12803971 markings, 25558172 edges, 5945 markings/sec, 2165 secs
lola: 25 tries, 24385580 fired transitions, 2170 secs || 12833515 markings, 25617150 edges, 5909 markings/sec, 2170 secs
lola: 25 tries, 24442030 fired transitions, 2175 secs || 12862871 markings, 25675725 edges, 5871 markings/sec, 2175 secs
lola: 25 tries, 24497936 fired transitions, 2180 secs || 12891966 markings, 25733811 edges, 5819 markings/sec, 2180 secs
lola: 25 tries, 24556770 fired transitions, 2185 secs || 12921059 markings, 25791895 edges, 5819 markings/sec, 2185 secs
lola: 25 tries, 24613528 fired transitions, 2190 secs || 12949084 markings, 25847794 edges, 5605 markings/sec, 2190 secs
lola: 25 tries, 24670992 fired transitions, 2195 secs || 12977608 markings, 25904702 edges, 5705 markings/sec, 2195 secs
lola: 25 tries, 24728184 fired transitions, 2200 secs || 13005982 markings, 25961339 edges, 5675 markings/sec, 2200 secs
lola: 25 tries, 24785178 fired transitions, 2205 secs || 13034267 markings, 26017781 edges, 5657 markings/sec, 2205 secs
lola: 25 tries, 24842374 fired transitions, 2210 secs || 13062864 markings, 26074850 edges, 5719 markings/sec, 2210 secs
lola: 25 tries, 24899556 fired transitions, 2215 secs || 13091600 markings, 26132216 edges, 5747 markings/sec, 2215 secs
lola: 25 tries, 24955920 fired transitions, 2220 secs || 13119573 markings, 26188058 edges, 5595 markings/sec, 2220 secs
lola: 26 tries, 25013728 fired transitions, 2225 secs || 13148070 markings, 26244952 edges, 5699 markings/sec, 2225 secs
lola: 26 tries, 25071300 fired transitions, 2230 secs || 13176431 markings, 26301551 edges, 5672 markings/sec, 2230 secs
lola: 26 tries, 25128974 fired transitions, 2235 secs || 13204881 markings, 26358337 edges, 5690 markings/sec, 2235 secs
lola: 26 tries, 25186818 fired transitions, 2240 secs || 13233517 markings, 26415496 edges, 5727 markings/sec, 2240 secs
lola: 26 tries, 25245258 fired transitions, 2245 secs || 13262747 markings, 26473904 edges, 5846 markings/sec, 2245 secs
lola: 26 tries, 25302548 fired transitions, 2250 secs || 13291092 markings, 26530528 edges, 5669 markings/sec, 2250 secs
lola: 26 tries, 25361526 fired transitions, 2255 secs || 13320182 markings, 26588601 edges, 5818 markings/sec, 2255 secs
lola: 26 tries, 25420080 fired transitions, 2260 secs || 13349036 markings, 26646263 edges, 5771 markings/sec, 2260 secs
lola: 26 tries, 25478845 fired transitions, 2265 secs || 13378080 markings, 26704254 edges, 5809 markings/sec, 2265 secs
lola: 26 tries, 25537546 fired transitions, 2270 secs || 13407003 markings, 26762023 edges, 5785 markings/sec, 2270 secs
lola: 26 tries, 25596248 fired transitions, 2275 secs || 13435933 markings, 26819799 edges, 5786 markings/sec, 2275 secs
lola: 26 tries, 25655364 fired transitions, 2280 secs || 13465173 markings, 26878118 edges, 5848 markings/sec, 2280 secs
lola: 26 tries, 25713930 fired transitions, 2285 secs || 13494292 markings, 26936240 edges, 5824 markings/sec, 2285 secs
lola: 26 tries, 25773086 fired transitions, 2290 secs || 13523681 markings, 26994873 edges, 5878 markings/sec, 2290 secs
lola: 26 tries, 25831348 fired transitions, 2295 secs || 13552615 markings, 27052616 edges, 5787 markings/sec, 2295 secs
lola: 26 tries, 25888862 fired transitions, 2300 secs || 13581218 markings, 27109702 edges, 5721 markings/sec, 2300 secs
lola: 26 tries, 25947526 fired transitions, 2305 secs || 13610434 markings, 27168018 edges, 5843 markings/sec, 2305 secs
lola: 27 tries, 26006286 fired transitions, 2310 secs || 13639611 markings, 27226280 edges, 5835 markings/sec, 2310 secs
lola: 27 tries, 26063086 fired transitions, 2315 secs || 13667716 markings, 27282388 edges, 5621 markings/sec, 2315 secs
lola: 27 tries, 26120610 fired transitions, 2320 secs || 13695992 markings, 27338809 edges, 5655 markings/sec, 2320 secs
lola: 27 tries, 26177804 fired transitions, 2325 secs || 13724136 markings, 27394979 edges, 5629 markings/sec, 2325 secs
lola: 27 tries, 26235334 fired transitions, 2330 secs || 13752478 markings, 27451555 edges, 5668 markings/sec, 2330 secs
lola: 27 tries, 26292064 fired transitions, 2335 secs || 13780463 markings, 27507430 edges, 5597 markings/sec, 2335 secs
lola: 27 tries, 26349470 fired transitions, 2340 secs || 13808835 markings, 27564085 edges, 5674 markings/sec, 2340 secs
lola: 27 tries, 26406902 fired transitions, 2345 secs || 13837242 markings, 27620812 edges, 5681 markings/sec, 2345 secs
lola: 27 tries, 26464456 fired transitions, 2350 secs || 13865703 markings, 27677639 edges, 5692 markings/sec, 2350 secs
lola: 27 tries, 26521362 fired transitions, 2355 secs || 13893886 markings, 27733891 edges, 5637 markings/sec, 2355 secs
lola: 27 tries, 26579886 fired transitions, 2360 secs || 13923019 markings, 27792053 edges, 5827 markings/sec, 2360 secs
lola: 27 tries, 26638464 fired transitions, 2365 secs || 13952332 markings, 27850587 edges, 5863 markings/sec, 2365 secs
lola: 27 tries, 26696092 fired transitions, 2370 secs || 13981012 markings, 27907858 edges, 5736 markings/sec, 2370 secs
lola: 27 tries, 26754692 fired transitions, 2375 secs || 14010141 markings, 27966003 edges, 5826 markings/sec, 2375 secs
lola: 27 tries, 26812794 fired transitions, 2380 secs || 14039393 markings, 28024346 edges, 5850 markings/sec, 2380 secs
lola: 27 tries, 26870686 fired transitions, 2385 secs || 14068512 markings, 28082444 edges, 5824 markings/sec, 2385 secs
lola: 27 tries, 26928714 fired transitions, 2390 secs || 14097757 markings, 28140825 edges, 5849 markings/sec, 2390 secs
lola: 27 tries, 26985112 fired transitions, 2395 secs || 14126082 markings, 28197372 edges, 5665 markings/sec, 2395 secs
lola: 28 tries, 27043358 fired transitions, 2400 secs || 14155420 markings, 28255931 edges, 5868 markings/sec, 2400 secs
lola: 28 tries, 27102328 fired transitions, 2405 secs || 14184900 markings, 28314828 edges, 5896 markings/sec, 2405 secs
lola: 28 tries, 27160398 fired transitions, 2410 secs || 14213713 markings, 28372351 edges, 5763 markings/sec, 2410 secs
lola: 28 tries, 27219406 fired transitions, 2415 secs || 14242991 markings, 28430813 edges, 5856 markings/sec, 2415 secs
lola: 28 tries, 27278488 fired transitions, 2420 secs || 14272430 markings, 28489636 edges, 5888 markings/sec, 2420 secs
lola: 28 tries, 27336736 fired transitions, 2425 secs || 14301815 markings, 28548295 edges, 5877 markings/sec, 2425 secs
lola: 28 tries, 27394462 fired transitions, 2430 secs || 14330737 markings, 28606059 edges, 5784 markings/sec, 2430 secs
lola: 28 tries, 27451932 fired transitions, 2435 secs || 14359480 markings, 28663452 edges, 5749 markings/sec, 2435 secs
lola: 28 tries, 27509882 fired transitions, 2440 secs || 14388738 markings, 28721854 edges, 5852 markings/sec, 2440 secs
lola: 28 tries, 27568360 fired transitions, 2445 secs || 14418256 markings, 28780774 edges, 5904 markings/sec, 2445 secs
lola: 28 tries, 27626144 fired transitions, 2450 secs || 14447275 markings, 28838725 edges, 5804 markings/sec, 2450 secs
lola: 28 tries, 27684528 fired transitions, 2455 secs || 14476664 markings, 28897396 edges, 5878 markings/sec, 2455 secs
lola: 28 tries, 27743562 fired transitions, 2460 secs || 14506362 markings, 28956698 edges, 5940 markings/sec, 2460 secs
lola: 28 tries, 27801545 fired transitions, 2465 secs || 14535544 markings, 29014962 edges, 5836 markings/sec, 2465 secs
lola: 28 tries, 27859358 fired transitions, 2470 secs || 14564533 markings, 29072870 edges, 5798 markings/sec, 2470 secs
lola: 28 tries, 27917992 fired transitions, 2475 secs || 14593794 markings, 29131306 edges, 5852 markings/sec, 2475 secs
lola: 28 tries, 27974864 fired transitions, 2480 secs || 14622026 markings, 29187669 edges, 5646 markings/sec, 2480 secs
lola: 29 tries, 28033419 fired transitions, 2485 secs || 14651109 markings, 29245718 edges, 5817 markings/sec, 2485 secs
lola: 29 tries, 28091845 fired transitions, 2490 secs || 14680274 markings, 29303908 edges, 5833 markings/sec, 2490 secs
lola: 29 tries, 28149193 fired transitions, 2495 secs || 14709034 markings, 29361280 edges, 5752 markings/sec, 2495 secs
lola: 29 tries, 28205331 fired transitions, 2500 secs || 14737092 markings, 29417264 edges, 5612 markings/sec, 2500 secs
lola: 29 tries, 28261095 fired transitions, 2505 secs || 14765035 markings, 29473051 edges, 5589 markings/sec, 2505 secs
lola: 29 tries, 28316863 fired transitions, 2510 secs || 14793067 markings, 29529003 edges, 5606 markings/sec, 2510 secs
lola: 29 tries, 28375055 fired transitions, 2515 secs || 14822283 markings, 29587326 edges, 5843 markings/sec, 2515 secs
lola: 29 tries, 28434368 fired transitions, 2520 secs || 14852097 markings, 29646820 edges, 5963 markings/sec, 2520 secs
lola: 29 tries, 28493721 fired transitions, 2525 secs || 14881968 markings, 29706433 edges, 5974 markings/sec, 2525 secs
lola: 29 tries, 28551655 fired transitions, 2530 secs || 14911004 markings, 29764386 edges, 5807 markings/sec, 2530 secs
lola: 29 tries, 28609439 fired transitions, 2535 secs || 14939880 markings, 29822057 edges, 5775 markings/sec, 2535 secs
lola: 29 tries, 28667963 fired transitions, 2540 secs || 14968899 markings, 29879981 edges, 5804 markings/sec, 2540 secs
lola: 29 tries, 28726027 fired transitions, 2545 secs || 14997649 markings, 29937382 edges, 5750 markings/sec, 2545 secs
lola: 29 tries, 28784931 fired transitions, 2550 secs || 15026920 markings, 29995835 edges, 5854 markings/sec, 2550 secs
lola: 29 tries, 28843841 fired transitions, 2555 secs || 15056249 markings, 30054462 edges, 5866 markings/sec, 2555 secs
lola: 29 tries, 28902079 fired transitions, 2560 secs || 15085370 markings, 30112632 edges, 5824 markings/sec, 2560 secs
lola: 29 tries, 28959441 fired transitions, 2565 secs || 15114263 markings, 30170311 edges, 5779 markings/sec, 2565 secs
lola: 30 tries, 29016830 fired transitions, 2570 secs || 15143117 markings, 30227930 edges, 5771 markings/sec, 2570 secs
lola: 30 tries, 29075282 fired transitions, 2575 secs || 15172562 markings, 30286726 edges, 5889 markings/sec, 2575 secs
lola: 30 tries, 29134506 fired transitions, 2580 secs || 15202093 markings, 30345658 edges, 5906 markings/sec, 2580 secs
lola: 30 tries, 29193534 fired transitions, 2585 secs || 15231567 markings, 30404505 edges, 5895 markings/sec, 2585 secs
lola: 30 tries, 29251880 fired transitions, 2590 secs || 15260735 markings, 30462785 edges, 5834 markings/sec, 2590 secs
lola: 30 tries, 29310655 fired transitions, 2595 secs || 15290050 markings, 30521392 edges, 5863 markings/sec, 2595 secs
lola: 30 tries, 29369484 fired transitions, 2600 secs || 15319299 markings, 30579850 edges, 5850 markings/sec, 2600 secs
lola: 30 tries, 29427284 fired transitions, 2605 secs || 15347847 markings, 30636920 edges, 5710 markings/sec, 2605 secs
lola: 30 tries, 29485224 fired transitions, 2610 secs || 15376595 markings, 30694353 edges, 5750 markings/sec, 2610 secs
lola: 30 tries, 29541650 fired transitions, 2615 secs || 15404617 markings, 30750324 edges, 5604 markings/sec, 2615 secs
lola: 30 tries, 29598738 fired transitions, 2620 secs || 15433196 markings, 30807357 edges, 5716 markings/sec, 2620 secs
lola: 30 tries, 29656506 fired transitions, 2625 secs || 15462217 markings, 30865248 edges, 5804 markings/sec, 2625 secs
lola: 30 tries, 29714559 fired transitions, 2630 secs || 15491401 markings, 30923479 edges, 5837 markings/sec, 2630 secs
lola: 30 tries, 29770546 fired transitions, 2635 secs || 15519448 markings, 30979466 edges, 5609 markings/sec, 2635 secs
lola: 30 tries, 29826262 fired transitions, 2640 secs || 15547421 markings, 31035305 edges, 5595 markings/sec, 2640 secs
lola: 30 tries, 29882040 fired transitions, 2645 secs || 15575365 markings, 31091086 edges, 5589 markings/sec, 2645 secs
lola: 30 tries, 29937808 fired transitions, 2650 secs || 15603321 markings, 31146883 edges, 5591 markings/sec, 2650 secs
lola: 30 tries, 29993514 fired transitions, 2655 secs || 15631271 markings, 31202668 edges, 5590 markings/sec, 2655 secs
lola: 31 tries, 30050627 fired transitions, 2660 secs || 15659940 markings, 31259877 edges, 5734 markings/sec, 2660 secs
lola: 31 tries, 30109467 fired transitions, 2665 secs || 15689478 markings, 31318842 edges, 5908 markings/sec, 2665 secs
lola: 31 tries, 30168089 fired transitions, 2670 secs || 15718959 markings, 31377686 edges, 5896 markings/sec, 2670 secs
lola: 31 tries, 30225713 fired transitions, 2675 secs || 15747828 markings, 31435357 edges, 5774 markings/sec, 2675 secs
lola: 31 tries, 30282603 fired transitions, 2680 secs || 15776132 markings, 31491900 edges, 5661 markings/sec, 2680 secs
lola: 31 tries, 30339513 fired transitions, 2685 secs || 15804326 markings, 31548206 edges, 5639 markings/sec, 2685 secs
lola: 31 tries, 30396101 fired transitions, 2690 secs || 15832011 markings, 31603437 edges, 5537 markings/sec, 2690 secs
lola: 31 tries, 30453389 fired transitions, 2695 secs || 15860224 markings, 31659715 edges, 5643 markings/sec, 2695 secs
lola: 31 tries, 30509887 fired transitions, 2700 secs || 15888023 markings, 31715180 edges, 5560 markings/sec, 2700 secs
lola: 31 tries, 30565619 fired transitions, 2705 secs || 15915447 markings, 31769908 edges, 5485 markings/sec, 2705 secs
lola: 31 tries, 30622679 fired transitions, 2710 secs || 15943658 markings, 31826199 edges, 5642 markings/sec, 2710 secs
lola: 31 tries, 30679599 fired transitions, 2715 secs || 15971776 markings, 31882302 edges, 5624 markings/sec, 2715 secs
lola: 31 tries, 30736553 fired transitions, 2720 secs || 15999818 markings, 31938248 edges, 5608 markings/sec, 2720 secs
lola: 31 tries, 30793455 fired transitions, 2725 secs || 16027916 markings, 31994305 edges, 5620 markings/sec, 2725 secs
lola: 31 tries, 30850329 fired transitions, 2730 secs || 16055987 markings, 32050340 edges, 5614 markings/sec, 2730 secs
lola: 31 tries, 30905927 fired transitions, 2735 secs || 16083441 markings, 32105150 edges, 5491 markings/sec, 2735 secs
lola: 31 tries, 30961385 fired transitions, 2740 secs || 16110813 markings, 32159799 edges, 5474 markings/sec, 2740 secs
lola: 32 tries, 31016957 fired transitions, 2745 secs || 16138207 markings, 32214468 edges, 5479 markings/sec, 2745 secs
lola: 32 tries, 31073221 fired transitions, 2750 secs || 16166017 markings, 32269973 edges, 5562 markings/sec, 2750 secs
lola: 32 tries, 31129945 fired transitions, 2755 secs || 16194007 markings, 32325873 edges, 5598 markings/sec, 2755 secs
lola: 32 tries, 31186483 fired transitions, 2760 secs || 16221956 markings, 32381690 edges, 5590 markings/sec, 2760 secs
lola: 32 tries, 31242473 fired transitions, 2765 secs || 16249595 markings, 32436860 edges, 5528 markings/sec, 2765 secs
lola: 32 tries, 31298945 fired transitions, 2770 secs || 16277501 markings, 32492554 edges, 5581 markings/sec, 2770 secs
lola: 32 tries, 31354493 fired transitions, 2775 secs || 16304803 markings, 32547030 edges, 5460 markings/sec, 2775 secs
lola: 32 tries, 31410019 fired transitions, 2780 secs || 16332196 markings, 32601722 edges, 5479 markings/sec, 2780 secs
lola: 32 tries, 31465391 fired transitions, 2785 secs || 16359456 markings, 32656132 edges, 5452 markings/sec, 2785 secs
lola: 32 tries, 31521949 fired transitions, 2790 secs || 16387404 markings, 32711910 edges, 5590 markings/sec, 2790 secs
lola: 32 tries, 31579121 fired transitions, 2795 secs || 16415646 markings, 32768286 edges, 5648 markings/sec, 2795 secs
lola: 32 tries, 31635987 fired transitions, 2800 secs || 16443704 markings, 32824294 edges, 5612 markings/sec, 2800 secs
lola: 32 tries, 31692229 fired transitions, 2805 secs || 16471454 markings, 32879663 edges, 5550 markings/sec, 2805 secs
lola: 32 tries, 31747893 fired transitions, 2810 secs || 16498856 markings, 32934352 edges, 5480 markings/sec, 2810 secs
lola: 32 tries, 31803547 fired transitions, 2815 secs || 16526265 markings, 32989079 edges, 5482 markings/sec, 2815 secs
lola: 32 tries, 31859941 fired transitions, 2820 secs || 16554149 markings, 33044767 edges, 5577 markings/sec, 2820 secs
lola: 32 tries, 31917313 fired transitions, 2825 secs || 16582477 markings, 33101343 edges, 5666 markings/sec, 2825 secs
lola: 32 tries, 31974617 fired transitions, 2830 secs || 16610845 markings, 33157975 edges, 5674 markings/sec, 2830 secs
lola: 33 tries, 32031050 fired transitions, 2835 secs || 16638753 markings, 33213694 edges, 5582 markings/sec, 2835 secs
lola: 33 tries, 32087772 fired transitions, 2840 secs || 16666773 markings, 33269652 edges, 5604 markings/sec, 2840 secs
lola: 33 tries, 32145348 fired transitions, 2845 secs || 16695307 markings, 33326653 edges, 5707 markings/sec, 2845 secs
lola: 33 tries, 32202872 fired transitions, 2850 secs || 16723826 markings, 33383611 edges, 5704 markings/sec, 2850 secs
lola: 33 tries, 32260554 fired transitions, 2855 secs || 16752367 markings, 33440612 edges, 5708 markings/sec, 2855 secs
lola: 33 tries, 32318312 fired transitions, 2860 secs || 16780927 markings, 33497641 edges, 5712 markings/sec, 2860 secs
lola: 33 tries, 32375964 fired transitions, 2865 secs || 16809440 markings, 33554549 edges, 5703 markings/sec, 2865 secs
lola: 33 tries, 32433750 fired transitions, 2870 secs || 16837687 markings, 33610917 edges, 5649 markings/sec, 2870 secs
lola: 33 tries, 32491612 fired transitions, 2875 secs || 16866106 markings, 33667630 edges, 5684 markings/sec, 2875 secs
lola: 33 tries, 32549454 fired transitions, 2880 secs || 16894314 markings, 33723922 edges, 5642 markings/sec, 2880 secs
lola: 33 tries, 32607272 fired transitions, 2885 secs || 16922639 markings, 33780466 edges, 5665 markings/sec, 2885 secs
lola: 33 tries, 32665166 fired transitions, 2890 secs || 16950962 markings, 33836988 edges, 5665 markings/sec, 2890 secs
lola: 33 tries, 32722196 fired transitions, 2895 secs || 16978934 markings, 33892819 edges, 5594 markings/sec, 2895 secs
lola: 33 tries, 32778254 fired transitions, 2900 secs || 17006346 markings, 33947540 edges, 5482 markings/sec, 2900 secs
lola: 33 tries, 32833886 fired transitions, 2905 secs || 17033732 markings, 34002236 edges, 5477 markings/sec, 2905 secs
lola: 33 tries, 32889102 fired transitions, 2910 secs || 17060802 markings, 34056263 edges, 5414 markings/sec, 2910 secs
lola: 33 tries, 32944402 fired transitions, 2915 secs || 17088007 markings, 34110591 edges, 5441 markings/sec, 2915 secs
lola: 33 tries, 32999698 fired transitions, 2920 secs || 17115035 markings, 34164536 edges, 5406 markings/sec, 2920 secs
lola: 34 tries, 33054020 fired transitions, 2925 secs || 17141566 markings, 34217558 edges, 5306 markings/sec, 2925 secs
lola: 34 tries, 33108210 fired transitions, 2930 secs || 17168164 markings, 34270684 edges, 5320 markings/sec, 2930 secs
lola: 34 tries, 33162528 fired transitions, 2935 secs || 17194792 markings, 34323849 edges, 5326 markings/sec, 2935 secs
lola: 34 tries, 33217482 fired transitions, 2940 secs || 17221707 markings, 34377588 edges, 5383 markings/sec, 2940 secs
lola: 34 tries, 33273332 fired transitions, 2945 secs || 17249200 markings, 34432510 edges, 5499 markings/sec, 2945 secs
lola: 34 tries, 33328194 fired transitions, 2950 secs || 17276531 markings, 34487071 edges, 5466 markings/sec, 2950 secs
lola: 34 tries, 33382574 fired transitions, 2955 secs || 17303836 markings, 34541579 edges, 5461 markings/sec, 2955 secs
lola: 34 tries, 33438206 fired transitions, 2960 secs || 17331643 markings, 34597100 edges, 5561 markings/sec, 2960 secs
lola: 34 tries, 33493784 fired transitions, 2965 secs || 17359372 markings, 34652477 edges, 5546 markings/sec, 2965 secs
lola: 34 tries, 33548642 fired transitions, 2970 secs || 17386909 markings, 34707467 edges, 5507 markings/sec, 2970 secs
lola: 34 tries, 33603628 fired transitions, 2975 secs || 17414384 markings, 34762335 edges, 5495 markings/sec, 2975 secs
lola: 34 tries, 33659434 fired transitions, 2980 secs || 17442229 markings, 34817978 edges, 5569 markings/sec, 2980 secs
lola: 34 tries, 33714066 fired transitions, 2985 secs || 17469426 markings, 34872324 edges, 5439 markings/sec, 2985 secs
lola: 34 tries, 33769576 fired transitions, 2990 secs || 17496868 markings, 34927128 edges, 5488 markings/sec, 2990 secs
lola: 34 tries, 33827568 fired transitions, 2995 secs || 17525667 markings, 34984669 edges, 5760 markings/sec, 2995 secs
lola: 34 tries, 33882928 fired transitions, 3000 secs || 17553041 markings, 35039386 edges, 5475 markings/sec, 3000 secs
lola: 34 tries, 33938372 fired transitions, 3005 secs || 17580460 markings, 35094193 edges, 5484 markings/sec, 3005 secs
lola: 34 tries, 33994938 fired transitions, 3010 secs || 17608566 markings, 35150350 edges, 5621 markings/sec, 3010 secs
lola: 35 tries, 34050753 fired transitions, 3015 secs || 17636425 markings, 35206004 edges, 5572 markings/sec, 3015 secs
lola: 35 tries, 34106217 fired transitions, 3020 secs || 17663895 markings, 35260845 edges, 5494 markings/sec, 3020 secs
lola: 35 tries, 34162233 fired transitions, 3025 secs || 17691664 markings, 35316298 edges, 5554 markings/sec, 3025 secs
lola: 35 tries, 34218771 fired transitions, 3030 secs || 17719651 markings, 35372153 edges, 5597 markings/sec, 3030 secs
lola: 35 tries, 34274755 fired transitions, 3035 secs || 17747460 markings, 35427654 edges, 5562 markings/sec, 3035 secs
lola: 35 tries, 34330387 fired transitions, 3040 secs || 17774956 markings, 35482536 edges, 5499 markings/sec, 3040 secs
lola: 35 tries, 34386827 fired transitions, 3045 secs || 17802964 markings, 35538451 edges, 5602 markings/sec, 3045 secs
lola: 35 tries, 34443983 fired transitions, 3050 secs || 17831342 markings, 35595113 edges, 5676 markings/sec, 3050 secs
lola: 35 tries, 34499803 fired transitions, 3055 secs || 17859075 markings, 35650484 edges, 5547 markings/sec, 3055 secs
lola: 35 tries, 34555439 fired transitions, 3060 secs || 17886998 markings, 35706242 edges, 5585 markings/sec, 3060 secs
lola: 35 tries, 34611075 fired transitions, 3065 secs || 17914849 markings, 35761845 edges, 5570 markings/sec, 3065 secs
lola: 35 tries, 34667027 fired transitions, 3070 secs || 17942738 markings, 35817557 edges, 5578 markings/sec, 3070 secs
lola: 35 tries, 34722757 fired transitions, 3075 secs || 17970296 markings, 35872573 edges, 5512 markings/sec, 3075 secs
lola: 35 tries, 34778699 fired transitions, 3080 secs || 17997893 markings, 35927669 edges, 5519 markings/sec, 3080 secs
lola: 35 tries, 34832855 fired transitions, 3085 secs || 18024692 markings, 35981163 edges, 5360 markings/sec, 3085 secs
lola: 35 tries, 34887441 fired transitions, 3090 secs || 18051693 markings, 36035048 edges, 5400 markings/sec, 3090 secs
lola: 35 tries, 34942425 fired transitions, 3095 secs || 18078939 markings, 36089407 edges, 5449 markings/sec, 3095 secs
lola: 35 tries, 34997985 fired transitions, 3100 secs || 18106494 markings, 36144385 edges, 5511 markings/sec, 3100 secs
lola: 36 tries, 35053573 fired transitions, 3105 secs || 18134008 markings, 36199303 edges, 5503 markings/sec, 3105 secs
lola: 36 tries, 35109213 fired transitions, 3110 secs || 18161601 markings, 36254382 edges, 5519 markings/sec, 3110 secs
lola: 36 tries, 35164867 fired transitions, 3115 secs || 18189220 markings, 36309511 edges, 5524 markings/sec, 3115 secs
lola: 36 tries, 35220547 fired transitions, 3120 secs || 18216813 markings, 36364588 edges, 5519 markings/sec, 3120 secs
lola: 36 tries, 35276175 fired transitions, 3125 secs || 18244363 markings, 36419607 edges, 5510 markings/sec, 3125 secs
lola: 36 tries, 35333561 fired transitions, 3130 secs || 18272881 markings, 36476548 edges, 5704 markings/sec, 3130 secs
lola: 36 tries, 35392407 fired transitions, 3135 secs || 18301921 markings, 36534504 edges, 5808 markings/sec, 3135 secs
lola: 36 tries, 35451235 fired transitions, 3140 secs || 18330894 markings, 36592336 edges, 5795 markings/sec, 3140 secs
lola: 36 tries, 35509715 fired transitions, 3145 secs || 18359660 markings, 36649745 edges, 5753 markings/sec, 3145 secs
lola: 36 tries, 35566895 fired transitions, 3150 secs || 18387878 markings, 36706084 edges, 5644 markings/sec, 3150 secs
lola: 36 tries, 35623529 fired transitions, 3155 secs || 18415808 markings, 36761861 edges, 5586 markings/sec, 3155 secs
lola: 36 tries, 35680675 fired transitions, 3160 secs || 18444260 markings, 36818660 edges, 5690 markings/sec, 3160 secs
lola: 36 tries, 35737915 fired transitions, 3165 secs || 18472692 markings, 36875422 edges, 5686 markings/sec, 3165 secs
lola: 36 tries, 35794255 fired transitions, 3170 secs || 18500737 markings, 36931424 edges, 5609 markings/sec, 3170 secs
lola: 36 tries, 35850193 fired transitions, 3175 secs || 18528617 markings, 36987078 edges, 5576 markings/sec, 3175 secs
lola: 36 tries, 35906909 fired transitions, 3180 secs || 18556888 markings, 37043512 edges, 5654 markings/sec, 3180 secs
lola: 36 tries, 35963221 fired transitions, 3185 secs || 18584953 markings, 37099592 edges, 5613 markings/sec, 3185 secs
lola: 37 tries, 36020334 fired transitions, 3190 secs || 18613219 markings, 37156146 edges, 5653 markings/sec, 3190 secs
lola: 37 tries, 36076424 fired transitions, 3195 secs || 18641004 markings, 37211674 edges, 5557 markings/sec, 3195 secs
lola: 37 tries, 36132506 fired transitions, 3200 secs || 18668810 markings, 37267206 edges, 5561 markings/sec, 3200 secs
lola: 37 tries, 36188776 fired transitions, 3205 secs || 18696779 markings, 37323060 edges, 5594 markings/sec, 3205 secs
lola: 37 tries, 36244426 fired transitions, 3210 secs || 18724414 markings, 37378223 edges, 5527 markings/sec, 3210 secs
lola: 37 tries, 36300884 fired transitions, 3215 secs || 18752467 markings, 37434213 edges, 5611 markings/sec, 3215 secs
lola: 37 tries, 36356440 fired transitions, 3220 secs || 18779958 markings, 37489071 edges, 5498 markings/sec, 3220 secs
lola: 37 tries, 36411989 fired transitions, 3225 secs || 18807516 markings, 37544090 edges, 5512 markings/sec, 3225 secs
lola: 37 tries, 36467700 fired transitions, 3230 secs || 18835129 markings, 37599208 edges, 5523 markings/sec, 3230 secs
lola: 37 tries, 36523762 fired transitions, 3235 secs || 18862945 markings, 37654726 edges, 5563 markings/sec, 3235 secs
lola: 37 tries, 36579842 fired transitions, 3240 secs || 18890687 markings, 37710157 edges, 5548 markings/sec, 3240 secs
lola: 37 tries, 36635696 fired transitions, 3245 secs || 18918329 markings, 37765405 edges, 5528 markings/sec, 3245 secs
lola: 37 tries, 36691822 fired transitions, 3250 secs || 18946192 markings, 37821060 edges, 5573 markings/sec, 3250 secs
lola: 37 tries, 36747836 fired transitions, 3255 secs || 18974049 markings, 37876734 edges, 5571 markings/sec, 3255 secs
lola: 37 tries, 36803368 fired transitions, 3260 secs || 19001567 markings, 37931704 edges, 5504 markings/sec, 3260 secs
lola: 37 tries, 36859272 fired transitions, 3265 secs || 19029217 markings, 37986988 edges, 5530 markings/sec, 3265 secs
lola: 37 tries, 36915264 fired transitions, 3270 secs || 19057088 markings, 38042663 edges, 5574 markings/sec, 3270 secs
lola: 37 tries, 36971112 fired transitions, 3275 secs || 19084801 markings, 38098053 edges, 5543 markings/sec, 3275 secs
lola: 38 tries, 37026881 fired transitions, 3280 secs || 19112494 markings, 38153344 edges, 5539 markings/sec, 3280 secs
lola: 38 tries, 37082343 fired transitions, 3285 secs || 19139990 markings, 38208235 edges, 5499 markings/sec, 3285 secs
lola: 38 tries, 37138143 fired transitions, 3290 secs || 19167627 markings, 38263384 edges, 5527 markings/sec, 3290 secs
lola: 38 tries, 37194429 fired transitions, 3295 secs || 19195610 markings, 38319248 edges, 5597 markings/sec, 3295 secs
lola: 38 tries, 37250411 fired transitions, 3300 secs || 19223386 markings, 38374693 edges, 5555 markings/sec, 3300 secs
lola: 38 tries, 37306593 fired transitions, 3305 secs || 19251260 markings, 38430337 edges, 5575 markings/sec, 3305 secs
lola: 38 tries, 37362515 fired transitions, 3310 secs || 19279030 markings, 38485781 edges, 5554 markings/sec, 3310 secs
lola: 38 tries, 37418155 fired transitions, 3315 secs || 19306612 markings, 38540840 edges, 5516 markings/sec, 3315 secs
lola: 38 tries, 37473967 fired transitions, 3320 secs || 19334243 markings, 38596016 edges, 5526 markings/sec, 3320 secs
lola: 38 tries, 37529971 fired transitions, 3325 secs || 19361871 markings, 38651171 edges, 5526 markings/sec, 3325 secs
lola: 38 tries, 37586083 fired transitions, 3330 secs || 19389480 markings, 38706297 edges, 5522 markings/sec, 3330 secs
lola: 38 tries, 37642429 fired transitions, 3335 secs || 19417235 markings, 38761725 edges, 5551 markings/sec, 3335 secs
lola: 38 tries, 37698495 fired transitions, 3340 secs || 19444975 markings, 38817114 edges, 5548 markings/sec, 3340 secs
lola: 38 tries, 37754675 fired transitions, 3345 secs || 19472893 markings, 38872852 edges, 5584 markings/sec, 3345 secs
lola: 38 tries, 37810912 fired transitions, 3350 secs || 19500890 markings, 38928798 edges, 5599 markings/sec, 3350 secs
lola: 38 tries, 37868037 fired transitions, 3355 secs || 19529482 markings, 38985922 edges, 5718 markings/sec, 3355 secs
lola: 38 tries, 37924203 fired transitions, 3360 secs || 19557335 markings, 39041529 edges, 5571 markings/sec, 3360 secs
lola: 38 tries, 37980312 fired transitions, 3365 secs || 19585018 markings, 39096817 edges, 5537 markings/sec, 3365 secs
lola: 39 tries, 38036562 fired transitions, 3370 secs || 19612689 markings, 39152047 edges, 5534 markings/sec, 3370 secs
lola: 39 tries, 38092808 fired transitions, 3375 secs || 19640363 markings, 39207298 edges, 5535 markings/sec, 3375 secs
lola: 39 tries, 38148628 fired transitions, 3380 secs || 19667846 markings, 39262161 edges, 5497 markings/sec, 3380 secs
lola: 39 tries, 38204618 fired transitions, 3385 secs || 19695405 markings, 39317224 edges, 5512 markings/sec, 3385 secs
lola: 39 tries, 38260592 fired transitions, 3390 secs || 19722877 markings, 39372150 edges, 5494 markings/sec, 3390 secs
lola: 39 tries, 38316554 fired transitions, 3395 secs || 19750387 markings, 39427063 edges, 5502 markings/sec, 3395 secs
lola: 39 tries, 38372266 fired transitions, 3400 secs || 19777825 markings, 39481842 edges, 5488 markings/sec, 3400 secs
lola: 39 tries, 38427962 fired transitions, 3405 secs || 19805217 markings, 39536526 edges, 5478 markings/sec, 3405 secs
lola: 39 tries, 38484008 fired transitions, 3410 secs || 19832766 markings, 39591529 edges, 5510 markings/sec, 3410 secs
lola: 39 tries, 38540200 fired transitions, 3415 secs || 19860597 markings, 39647151 edges, 5566 markings/sec, 3415 secs
lola: 39 tries, 38596542 fired transitions, 3420 secs || 19888287 markings, 39702474 edges, 5538 markings/sec, 3420 secs
lola: 39 tries, 38652822 fired transitions, 3425 secs || 19916022 markings, 39757872 edges, 5547 markings/sec, 3425 secs
lola: 39 tries, 38708760 fired transitions, 3430 secs || 19943278 markings, 39812261 edges, 5451 markings/sec, 3430 secs
lola: 39 tries, 38764456 fired transitions, 3435 secs || 19970477 markings, 39866542 edges, 5440 markings/sec, 3435 secs
lola: 39 tries, 38820906 fired transitions, 3440 secs || 19998056 markings, 39921601 edges, 5516 markings/sec, 3440 secs
lola: 39 tries, 38876916 fired transitions, 3445 secs || 20025400 markings, 39976169 edges, 5469 markings/sec, 3445 secs
lola: 39 tries, 38932642 fired transitions, 3450 secs || 20052700 markings, 40030690 edges, 5460 markings/sec, 3450 secs
lola: 39 tries, 38989080 fired transitions, 3455 secs || 20080400 markings, 40086022 edges, 5540 markings/sec, 3455 secs
lola: 40 tries, 39045518 fired transitions, 3460 secs || 20108135 markings, 40141417 edges, 5547 markings/sec, 3460 secs
lola: 40 tries, 39101804 fired transitions, 3465 secs || 20135845 markings, 40196762 edges, 5542 markings/sec, 3465 secs
lola: 40 tries, 39157648 fired transitions, 3470 secs || 20163142 markings, 40251280 edges, 5459 markings/sec, 3470 secs
lola: 40 tries, 39213970 fired transitions, 3475 secs || 20190781 markings, 40306456 edges, 5528 markings/sec, 3475 secs
lola: 40 tries, 39269722 fired transitions, 3480 secs || 20218110 markings, 40361058 edges, 5466 markings/sec, 3480 secs
lola: 40 tries, 39325044 fired transitions, 3485 secs || 20245486 markings, 40415755 edges, 5475 markings/sec, 3485 secs
lola: 40 tries, 39380212 fired transitions, 3490 secs || 20272826 markings, 40470342 edges, 5468 markings/sec, 3490 secs
lola: 40 tries, 39436106 fired transitions, 3495 secs || 20300574 markings, 40525738 edges, 5550 markings/sec, 3495 secs
lola: 40 tries, 39492078 fired transitions, 3500 secs || 20328265 markings, 40581034 edges, 5538 markings/sec, 3500 secs
lola: 40 tries, 39548116 fired transitions, 3505 secs || 20356089 markings, 40636598 edges, 5565 markings/sec, 3505 secs
lola: 40 tries, 39604234 fired transitions, 3510 secs || 20383917 markings, 40692165 edges, 5566 markings/sec, 3510 secs
lola: 40 tries, 39661558 fired transitions, 3515 secs || 20412326 markings, 40748873 edges, 5682 markings/sec, 3515 secs
lola: 40 tries, 39719064 fired transitions, 3520 secs || 20440746 markings, 40805601 edges, 5684 markings/sec, 3520 secs
lola: 40 tries, 39775918 fired transitions, 3525 secs || 20468846 markings, 40861708 edges, 5620 markings/sec, 3525 secs
lola: 40 tries, 39832840 fired transitions, 3530 secs || 20496960 markings, 40917835 edges, 5623 markings/sec, 3530 secs
lola: 40 tries, 39888604 fired transitions, 3535 secs || 20524475 markings, 40972776 edges, 5503 markings/sec, 3535 secs
lola: 40 tries, 39944238 fired transitions, 3540 secs || 20552095 markings, 41027943 edges, 5524 markings/sec, 3540 secs
lola: 40 tries, 39999760 fired transitions, 3545 secs || 20579541 markings, 41082796 edges, 5489 markings/sec, 3545 secs
lola: 41 tries, 40056837 fired transitions, 3550 secs || 20607857 markings, 41139342 edges, 5663 markings/sec, 3550 secs
lola: 41 tries, 40113843 fired transitions, 3555 secs || 20636164 markings, 41195874 edges, 5661 markings/sec, 3555 secs
lola: time limit reached - aborting
lola: memory consumption: 7181924 KB
lola: time consumption: 3570 seconds
lola: print data as JSON (--json)
lola: writing JSON to GlobalProperties.json
lola: closed JSON file GlobalProperties.json
rslt: finished

BK_STOP 1552948326052

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

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