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

About the Execution of LoLA for Diffusion2D-PT-D50N150

Execution Summary
Max Memory
Used (MB)
Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
4507.490 3570580.00 7223784.00 937.80 [undef] Cannot compute

Execution Chart

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

Trace from the execution

Formatting '/mnt/tpsp/fkordon/mcc2019-input.r060-ebro-155234654900255.qcow2', fmt=qcow2 size=4294967296 backing_file='/mnt/tpsp/fkordon/mcc2019-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
.....................
=====================================================================
Generated by BenchKit 2-3954
Executing tool lola
Input is Diffusion2D-PT-D50N150, examination is GlobalProperties
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r060-ebro-155234654900255
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 7.5M
-rw-r--r-- 1 mcc users 3.8K Feb 10 21:37 CTLCardinality.txt
-rw-r--r-- 1 mcc users 18K Feb 10 21:37 CTLCardinality.xml
-rw-r--r-- 1 mcc users 3.0K Feb 6 17:59 CTLFireability.txt
-rw-r--r-- 1 mcc users 16K Feb 6 17:59 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 10 17:31 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 109 Feb 24 15:05 GlobalProperties.txt
-rw-r--r-- 1 mcc users 347 Feb 24 15:05 GlobalProperties.xml
-rw-r--r-- 1 mcc users 2.7K Feb 4 23:33 LTLCardinality.txt
-rw-r--r-- 1 mcc users 12K Feb 4 23:33 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Feb 4 22:34 LTLFireability.txt
-rw-r--r-- 1 mcc users 9.0K Feb 4 22:34 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.7K Feb 3 07:23 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 16K Feb 3 07:23 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 3.5K Jan 30 23:47 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 18K Jan 30 23:47 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.8K Feb 4 22:19 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.9K Feb 4 22:19 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Jan 29 09:34 equiv_col

-rw-r--r-- 1 mcc users 8 Jan 29 09:34 instance
-rw-r--r-- 1 mcc users 6 Jan 29 09:34 iscolored
-rw-r--r-- 1 mcc users 7.3M Mar 10 17:31 model.pnml

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

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

The expected result is a vector of booleans
BOOL_VECTOR

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

=== Now, execution of the tool begins

BK_START 1552601003932

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

{
"build":
{
"architecture": 64,
"assertions": false,
"build_hostname": "mcc2019",
"build_system": "x86_64-unknown-linux-gnu",
"optimizations": true,
"package_version": "2.0",
"svn_version": "3189M"
},
"call":
{
"exec_host": "mcc2019",
"markinglimit": null,
"parameters":
[
"--pnmlnet",
"model.pnml",
"--xmlformula",
"--formula=GlobalProperties.xml",
"--mcc",
"--donotcomputecapacities",
"--encoder=simplecompressed",
"--check=modelchecking",
"--stubborn=combined",
"--siphontrap=par",
"--siphondepth=10",
"--findpath=par",
"--retrylimit=0",
"--depthlimit=1000000",
"--symmetry",
"--symmtimelimit=300",
"--threads=2",
"--symmetrydepth=1073741824",
"--timelimit=3570",
"--json=GlobalProperties.json",
"--jsoninclude=formula,formulastat,net"
],
"starttime": "Thu Mar 14 22:03:24 2019
",
"timelimit": 3570
},
"child": null,
"exit":
{
"error": null,
"memory": 1468180,
"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": 38808,
"conflict_clusters": 2500,
"places": 2500,
"places_significant": 2499,
"singleton_clusters": 0,
"transitions": 19404
},
"task":
{
"findpath":
{
"depthlimit": 1000000,
"retrylimit": null,
"stubborn":
{
"type": "reachability preserving/insertion"
},
"threads": 2
},
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "reachability preserving/insertion"
},
"symmetry":
{
"card": 2.000000,
"composed": 0,
"dead_branches": 0,
"generators": 1,
"interrupted": false,
"real_computed": 1,
"timelimit": 300
},
"threads": 2,
"type": "dfs"
},
"type": "reachability",
"workflow": "findpath||search"
}
}
lola: LoLA will run for 3570 seconds at most (--timelimit)
lola: NET
lola: input: PNML file (--pnml)
lola: reading net from model.pnml
lola: reading pnml
lola: PNML file contains place/transition net
lola: finished parsing
lola: closed net file model.pnml
lola: 21904/268435456 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 80000
lola: finding significant places
lola: 2500 places, 19404 transitions, 2499 significant places
lola: compute conflict clusters
lola: computed conflict clusters
lola: Computing conflicting sets
lola: Computing back conflicting sets
lola: TASK
lola: Reading formula in XML format (--xmlformula)
lola: reading pnml
lola: reading formula from GlobalProperties.xml
lola: E (F (DEADLOCK))
lola: checking reachability
lola: Planning: workflow for reachability check: findpath||search (--findpath=par)
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: processed formula: E (F (DEADLOCK))
lola: processed formula length: 16
lola: 1 rewrites
lola: closed formula file GlobalProperties.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: SEARCH (findpath)
lola: findpath: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: findpath: starting randomized, memory-less exploration (--findpath)
lola: findpath: searching for paths with maximal depth 1000000 (--depthlimit)
lola: findpath: no retry limit given (--retrylimit)
lola: findpath: transitions are chosen hash-driven
lola: computing symmetries (--symmetry)
lola: time limit for symmetry computation of 300 seconds given (--symmtimelimit)
lola: computed 1 generators (1 in search tree, 0 by composition)
lola: representing 2 symmetries
lola: 0 dead branches visited in search tree
lola: 1 tries, 208688 fired transitions, 0 secs || 45392 markings, 111640 edges, 9078 markings/sec, 0 secs
lola: 1 tries, 420900 fired transitions, 5 secs || 73002 markings, 224275 edges, 5522 markings/sec, 5 secs
lola: 1 tries, 633132 fired transitions, 10 secs || 100548 markings, 336692 edges, 5509 markings/sec, 10 secs
lola: 1 tries, 844071 fired transitions, 15 secs || 128039 markings, 449076 edges, 5498 markings/sec, 15 secs
lola: 2 tries, 1049207 fired transitions, 20 secs || 155811 markings, 562099 edges, 5554 markings/sec, 20 secs
lola: 2 tries, 1263516 fired transitions, 25 secs || 183597 markings, 675298 edges, 5557 markings/sec, 25 secs
lola: 2 tries, 1478513 fired transitions, 30 secs || 211116 markings, 787640 edges, 5504 markings/sec, 30 secs
lola: 2 tries, 1692987 fired transitions, 35 secs || 238878 markings, 900761 edges, 5552 markings/sec, 35 secs
lola: 2 tries, 1901402 fired transitions, 40 secs || 266502 markings, 1013436 edges, 5525 markings/sec, 40 secs
lola: 3 tries, 2117530 fired transitions, 45 secs || 293875 markings, 1125452 edges, 5475 markings/sec, 45 secs
lola: 3 tries, 2333725 fired transitions, 50 secs || 321309 markings, 1237498 edges, 5487 markings/sec, 50 secs
lola: 3 tries, 2546785 fired transitions, 55 secs || 349127 markings, 1350827 edges, 5564 markings/sec, 55 secs
lola: 3 tries, 2763091 fired transitions, 60 secs || 364432 markings, 1468054 edges, 3061 markings/sec, 60 secs
lola: 3 tries, 2980244 fired transitions, 65 secs || 377327 markings, 1586852 edges, 2579 markings/sec, 65 secs
lola: 4 tries, 3197609 fired transitions, 70 secs || 390555 markings, 1705066 edges, 2646 markings/sec, 70 secs
lola: 4 tries, 3414400 fired transitions, 75 secs || 405557 markings, 1822710 edges, 3000 markings/sec, 75 secs
lola: 4 tries, 3630488 fired transitions, 80 secs || 422344 markings, 1938765 edges, 3357 markings/sec, 80 secs
lola: 4 tries, 3847172 fired transitions, 85 secs || 440938 markings, 2054377 edges, 3719 markings/sec, 85 secs
lola: 5 tries, 4064748 fired transitions, 90 secs || 449950 markings, 2174540 edges, 1802 markings/sec, 90 secs
lola: 5 tries, 4281726 fired transitions, 95 secs || 465820 markings, 2292700 edges, 3174 markings/sec, 95 secs
lola: 5 tries, 4497771 fired transitions, 100 secs || 484268 markings, 2407671 edges, 3690 markings/sec, 100 secs
lola: 5 tries, 4715147 fired transitions, 105 secs || 492268 markings, 2529509 edges, 1600 markings/sec, 105 secs
lola: 5 tries, 4930120 fired transitions, 110 secs || 516182 markings, 2641970 edges, 4783 markings/sec, 110 secs
lola: 6 tries, 5147860 fired transitions, 115 secs || 520502 markings, 2764869 edges, 864 markings/sec, 115 secs
lola: 6 tries, 5362803 fired transitions, 120 secs || 546311 markings, 2877796 edges, 5162 markings/sec, 120 secs
lola: 6 tries, 5579956 fired transitions, 125 secs || 550540 markings, 3001622 edges, 846 markings/sec, 125 secs
lola: 6 tries, 5794887 fired transitions, 130 secs || 576352 markings, 3113434 edges, 5162 markings/sec, 130 secs
lola: 7 tries, 6011043 fired transitions, 135 secs || 582389 markings, 3236655 edges, 1207 markings/sec, 135 secs
lola: 7 tries, 6227807 fired transitions, 140 secs || 602889 markings, 3351949 edges, 4100 markings/sec, 140 secs
lola: 7 tries, 6439496 fired transitions, 145 secs || 616177 markings, 3471438 edges, 2658 markings/sec, 145 secs
lola: 7 tries, 6656316 fired transitions, 150 secs || 627480 markings, 3588806 edges, 2261 markings/sec, 150 secs
lola: 7 tries, 6872467 fired transitions, 155 secs || 651741 markings, 3703390 edges, 4852 markings/sec, 155 secs
lola: 8 tries, 7089689 fired transitions, 160 secs || 655845 markings, 3826977 edges, 821 markings/sec, 160 secs
lola: 8 tries, 7305622 fired transitions, 165 secs || 677937 markings, 3940868 edges, 4418 markings/sec, 165 secs
lola: 8 tries, 7517709 fired transitions, 170 secs || 693194 markings, 4057268 edges, 3051 markings/sec, 170 secs
lola: 8 tries, 7734495 fired transitions, 175 secs || 697619 markings, 4179402 edges, 885 markings/sec, 175 secs
lola: 8 tries, 7950079 fired transitions, 180 secs || 725105 markings, 4291834 edges, 5497 markings/sec, 180 secs
lola: 9 tries, 8167109 fired transitions, 185 secs || 736470 markings, 4412433 edges, 2273 markings/sec, 185 secs
lola: 9 tries, 8383736 fired transitions, 190 secs || 744101 markings, 4532724 edges, 1526 markings/sec, 190 secs
lola: 9 tries, 8592265 fired transitions, 195 secs || 771433 markings, 4644557 edges, 5466 markings/sec, 195 secs
lola: 9 tries, 8808438 fired transitions, 200 secs || 781472 markings, 4765466 edges, 2008 markings/sec, 200 secs
lola: 10 tries, 9025378 fired transitions, 205 secs || 787458 markings, 4886812 edges, 1197 markings/sec, 205 secs
lola: 10 tries, 9239390 fired transitions, 210 secs || 815170 markings, 4998345 edges, 5542 markings/sec, 210 secs
lola: 10 tries, 9454601 fired transitions, 215 secs || 828502 markings, 5117595 edges, 2666 markings/sec, 215 secs
lola: 10 tries, 9671242 fired transitions, 220 secs || 832592 markings, 5240980 edges, 818 markings/sec, 220 secs
lola: 10 tries, 9882569 fired transitions, 225 secs || 856608 markings, 5352663 edges, 4803 markings/sec, 225 secs
lola: 11 tries, 10097697 fired transitions, 230 secs || 877085 markings, 5468196 edges, 4095 markings/sec, 230 secs
lola: 11 tries, 10315164 fired transitions, 235 secs || 881363 markings, 5588234 edges, 856 markings/sec, 235 secs
lola: 11 tries, 10531225 fired transitions, 240 secs || 895554 markings, 5703028 edges, 2838 markings/sec, 240 secs
lola: 11 tries, 10746540 fired transitions, 245 secs || 923153 markings, 5815751 edges, 5520 markings/sec, 245 secs
lola: 11 tries, 10960840 fired transitions, 250 secs || 931717 markings, 5937406 edges, 1713 markings/sec, 250 secs
lola: 12 tries, 11173419 fired transitions, 255 secs || 936019 markings, 6059782 edges, 860 markings/sec, 255 secs
lola: 12 tries, 11388162 fired transitions, 260 secs || 960942 markings, 6172416 edges, 4985 markings/sec, 260 secs
lola: 12 tries, 11601502 fired transitions, 265 secs || 984120 markings, 6287615 edges, 4636 markings/sec, 265 secs
lola: 12 tries, 11813462 fired transitions, 270 secs || 988413 markings, 6410859 edges, 859 markings/sec, 270 secs
lola: 13 tries, 12024165 fired transitions, 275 secs || 996913 markings, 6530990 edges, 1700 markings/sec, 275 secs
lola: 13 tries, 12239666 fired transitions, 280 secs || 1024446 markings, 6643478 edges, 5507 markings/sec, 280 secs
lola: 13 tries, 12455486 fired transitions, 285 secs || 1042602 markings, 6760867 edges, 3631 markings/sec, 285 secs
lola: 13 tries, 12672899 fired transitions, 290 secs || 1046692 markings, 6884170 edges, 818 markings/sec, 290 secs
lola: 13 tries, 12889057 fired transitions, 295 secs || 1058281 markings, 7003026 edges, 2318 markings/sec, 295 secs
lola: 14 tries, 13104220 fired transitions, 300 secs || 1085863 markings, 7115687 edges, 5516 markings/sec, 300 secs
lola: 14 tries, 13317997 fired transitions, 305 secs || 1102665 markings, 7233629 edges, 3360 markings/sec, 305 secs
lola: 14 tries, 13535017 fired transitions, 310 secs || 1106970 markings, 7356352 edges, 861 markings/sec, 310 secs
lola: 14 tries, 13751904 fired transitions, 315 secs || 1118168 markings, 7475169 edges, 2240 markings/sec, 315 secs
lola: 14 tries, 13968040 fired transitions, 320 secs || 1145589 markings, 7587272 edges, 5484 markings/sec, 320 secs
lola: 15 tries, 14185050 fired transitions, 325 secs || 1164696 markings, 7704064 edges, 3821 markings/sec, 325 secs
lola: 15 tries, 14398771 fired transitions, 330 secs || 1168775 markings, 7826431 edges, 816 markings/sec, 330 secs
lola: 15 tries, 14608110 fired transitions, 335 secs || 1174744 markings, 7946525 edges, 1194 markings/sec, 335 secs
lola: 15 tries, 14820309 fired transitions, 340 secs || 1202356 markings, 8058003 edges, 5522 markings/sec, 340 secs
lola: 16 tries, 15036098 fired transitions, 345 secs || 1228264 markings, 8170926 edges, 5182 markings/sec, 345 secs
lola: 16 tries, 15243507 fired transitions, 350 secs || 1232552 markings, 8291042 edges, 858 markings/sec, 350 secs
lola: 16 tries, 15455196 fired transitions, 355 secs || 1236621 markings, 8412306 edges, 814 markings/sec, 355 secs
lola: 16 tries, 15634306 fired transitions, 360 secs || 1250730 markings, 8504730 edges, 2822 markings/sec, 360 secs
lola: 16 tries, 15845619 fired transitions, 365 secs || 1278289 markings, 8615798 edges, 5512 markings/sec, 365 secs
lola: 17 tries, 16057549 fired transitions, 370 secs || 1297095 markings, 8730958 edges, 3761 markings/sec, 370 secs
lola: 17 tries, 16272958 fired transitions, 375 secs || 1301165 markings, 8852616 edges, 814 markings/sec, 375 secs
lola: 17 tries, 16483900 fired transitions, 380 secs || 1305192 markings, 8970442 edges, 805 markings/sec, 380 secs
lola: 17 tries, 16691836 fired transitions, 385 secs || 1328542 markings, 9078960 edges, 4670 markings/sec, 385 secs
lola: 17 tries, 16903499 fired transitions, 390 secs || 1354978 markings, 9188428 edges, 5287 markings/sec, 390 secs
lola: 18 tries, 17117160 fired transitions, 395 secs || 1368142 markings, 9305619 edges, 2633 markings/sec, 395 secs
lola: 18 tries, 17330257 fired transitions, 400 secs || 1372208 markings, 9427384 edges, 813 markings/sec, 400 secs
lola: 18 tries, 17544108 fired transitions, 405 secs || 1378084 markings, 9547331 edges, 1175 markings/sec, 405 secs
lola: 18 tries, 17755544 fired transitions, 410 secs || 1404975 markings, 9657800 edges, 5378 markings/sec, 410 secs
lola: 18 tries, 17967165 fired transitions, 415 secs || 1431776 markings, 9768371 edges, 5360 markings/sec, 415 secs
lola: 19 tries, 18181046 fired transitions, 420 secs || 1441320 markings, 9887946 edges, 1909 markings/sec, 420 secs
lola: 19 tries, 18394875 fired transitions, 425 secs || 1445382 markings, 10009375 edges, 812 markings/sec, 425 secs
lola: 19 tries, 18608428 fired transitions, 430 secs || 1452815 markings, 10128203 edges, 1487 markings/sec, 430 secs
lola: 19 tries, 18819820 fired transitions, 435 secs || 1479544 markings, 10238420 edges, 5346 markings/sec, 435 secs
lola: 20 tries, 19031607 fired transitions, 440 secs || 1506474 markings, 10348617 edges, 5386 markings/sec, 440 secs
lola: 20 tries, 19239567 fired transitions, 445 secs || 1516226 markings, 10467708 edges, 1950 markings/sec, 445 secs
lola: 20 tries, 19454148 fired transitions, 450 secs || 1520254 markings, 10585659 edges, 806 markings/sec, 450 secs
lola: 20 tries, 19668561 fired transitions, 455 secs || 1524300 markings, 10705939 edges, 809 markings/sec, 455 secs
lola: 20 tries, 19881824 fired transitions, 460 secs || 1550865 markings, 10814150 edges, 5313 markings/sec, 460 secs
lola: 21 tries, 20094912 fired transitions, 465 secs || 1577522 markings, 10923683 edges, 5331 markings/sec, 465 secs
lola: 21 tries, 20304688 fired transitions, 470 secs || 1592621 markings, 11040674 edges, 3020 markings/sec, 470 secs
lola: 21 tries, 20514800 fired transitions, 475 secs || 1596687 markings, 11161658 edges, 813 markings/sec, 475 secs
lola: 21 tries, 20726127 fired transitions, 480 secs || 1600985 markings, 11282934 edges, 860 markings/sec, 480 secs
lola: 21 tries, 20940758 fired transitions, 485 secs || 1621204 markings, 11395980 edges, 4044 markings/sec, 485 secs
lola: 22 tries, 21155732 fired transitions, 490 secs || 1648729 markings, 11506630 edges, 5505 markings/sec, 490 secs
lola: 22 tries, 21370518 fired transitions, 495 secs || 1671150 markings, 11620126 edges, 4484 markings/sec, 495 secs
lola: 22 tries, 21585637 fired transitions, 500 secs || 1675199 markings, 11741531 edges, 810 markings/sec, 500 secs
lola: 22 tries, 21801606 fired transitions, 505 secs || 1679500 markings, 11862893 edges, 860 markings/sec, 505 secs
lola: 23 tries, 22014159 fired transitions, 510 secs || 1690313 markings, 11980256 edges, 2163 markings/sec, 510 secs
lola: 23 tries, 22229059 fired transitions, 515 secs || 1717220 markings, 12090998 edges, 5381 markings/sec, 515 secs
lola: 23 tries, 22443074 fired transitions, 520 secs || 1744056 markings, 12199491 edges, 5367 markings/sec, 520 secs
lola: 23 tries, 22656324 fired transitions, 525 secs || 1755449 markings, 12317089 edges, 2279 markings/sec, 525 secs
lola: 23 tries, 22871498 fired transitions, 530 secs || 1759727 markings, 12437170 edges, 856 markings/sec, 530 secs
lola: 24 tries, 23087153 fired transitions, 535 secs || 1763810 markings, 12558173 edges, 817 markings/sec, 535 secs
lola: 24 tries, 23303709 fired transitions, 540 secs || 1783098 markings, 12672365 edges, 3858 markings/sec, 540 secs
lola: 24 tries, 23519709 fired transitions, 545 secs || 1810194 markings, 12783682 edges, 5419 markings/sec, 545 secs
lola: 24 tries, 23735042 fired transitions, 550 secs || 1837647 markings, 12895626 edges, 5491 markings/sec, 550 secs
lola: 24 tries, 23952056 fired transitions, 555 secs || 1841847 markings, 13018817 edges, 840 markings/sec, 555 secs
lola: 25 tries, 24169414 fired transitions, 560 secs || 1846150 markings, 13140168 edges, 861 markings/sec, 560 secs
lola: 25 tries, 24384825 fired transitions, 565 secs || 1850212 markings, 13260779 edges, 812 markings/sec, 565 secs
lola: 25 tries, 24596730 fired transitions, 570 secs || 1875322 markings, 13369809 edges, 5022 markings/sec, 570 secs
lola: 25 tries, 24812191 fired transitions, 575 secs || 1902209 markings, 13480573 edges, 5377 markings/sec, 575 secs
lola: 26 tries, 25023701 fired transitions, 580 secs || 1925900 markings, 13593039 edges, 4738 markings/sec, 580 secs
lola: 26 tries, 25241627 fired transitions, 585 secs || 1929985 markings, 13715616 edges, 817 markings/sec, 585 secs
lola: 26 tries, 25458129 fired transitions, 590 secs || 1934034 markings, 13836743 edges, 810 markings/sec, 590 secs
lola: 26 tries, 25672500 fired transitions, 595 secs || 1938335 markings, 13958096 edges, 860 markings/sec, 595 secs
lola: 26 tries, 25889012 fired transitions, 600 secs || 1965675 markings, 14069024 edges, 5468 markings/sec, 600 secs
lola: 27 tries, 26105050 fired transitions, 605 secs || 1992809 markings, 14180392 edges, 5427 markings/sec, 605 secs
lola: 27 tries, 26316773 fired transitions, 610 secs || 2015861 markings, 14294284 edges, 4610 markings/sec, 610 secs
lola: 27 tries, 26534097 fired transitions, 615 secs || 2019920 markings, 14412463 edges, 812 markings/sec, 615 secs
lola: 27 tries, 26749375 fired transitions, 620 secs || 2023966 markings, 14534065 edges, 809 markings/sec, 620 secs
lola: 27 tries, 26962450 fired transitions, 625 secs || 2028256 markings, 14654866 edges, 858 markings/sec, 625 secs
lola: 28 tries, 27179009 fired transitions, 630 secs || 2052524 markings, 14765325 edges, 4854 markings/sec, 630 secs
lola: 28 tries, 27395213 fired transitions, 635 secs || 2079724 markings, 14876103 edges, 5440 markings/sec, 635 secs
lola: 28 tries, 27610816 fired transitions, 640 secs || 2106781 markings, 14985353 edges, 5411 markings/sec, 640 secs
lola: 28 tries, 27828192 fired transitions, 645 secs || 2111580 markings, 15107454 edges, 960 markings/sec, 645 secs
lola: 29 tries, 28046247 fired transitions, 650 secs || 2115646 markings, 15228504 edges, 813 markings/sec, 650 secs
lola: 29 tries, 28264204 fired transitions, 655 secs || 2119948 markings, 15350449 edges, 860 markings/sec, 655 secs
lola: 29 tries, 28481259 fired transitions, 660 secs || 2138395 markings, 15465020 edges, 3689 markings/sec, 660 secs
lola: 29 tries, 28698284 fired transitions, 665 secs || 2165883 markings, 15575481 edges, 5498 markings/sec, 665 secs
lola: 29 tries, 28915173 fired transitions, 670 secs || 2192977 markings, 15686757 edges, 5419 markings/sec, 670 secs
lola: 30 tries, 29132780 fired transitions, 675 secs || 2205107 markings, 15805307 edges, 2426 markings/sec, 675 secs
lola: 30 tries, 29350291 fired transitions, 680 secs || 2209423 markings, 15927559 edges, 863 markings/sec, 680 secs
lola: 30 tries, 29567821 fired transitions, 685 secs || 2213494 markings, 16049918 edges, 814 markings/sec, 685 secs
lola: 30 tries, 29784685 fired transitions, 690 secs || 2223027 markings, 16169012 edges, 1907 markings/sec, 690 secs
lola: 30 tries, 29999557 fired transitions, 695 secs || 2250639 markings, 16280410 edges, 5522 markings/sec, 695 secs
lola: 31 tries, 30214863 fired transitions, 700 secs || 2277957 markings, 16391694 edges, 5464 markings/sec, 700 secs
lola: 31 tries, 30428874 fired transitions, 705 secs || 2300702 markings, 16505751 edges, 4549 markings/sec, 705 secs
lola: 31 tries, 30646733 fired transitions, 710 secs || 2304963 markings, 16628411 edges, 852 markings/sec, 710 secs
lola: 31 tries, 30864537 fired transitions, 715 secs || 2309061 markings, 16750586 edges, 820 markings/sec, 715 secs
lola: 32 tries, 31082754 fired transitions, 720 secs || 2313142 markings, 16873165 edges, 816 markings/sec, 720 secs
lola: 32 tries, 31299634 fired transitions, 725 secs || 2333381 markings, 16985445 edges, 4048 markings/sec, 725 secs
lola: 32 tries, 31515938 fired transitions, 730 secs || 2360315 markings, 17096237 edges, 5387 markings/sec, 730 secs
lola: 32 tries, 31731918 fired transitions, 735 secs || 2387304 markings, 17207234 edges, 5398 markings/sec, 735 secs
lola: 32 tries, 31948823 fired transitions, 740 secs || 2402090 markings, 17323720 edges, 2957 markings/sec, 740 secs
lola: 33 tries, 32166388 fired transitions, 745 secs || 2406110 markings, 17442956 edges, 804 markings/sec, 745 secs
lola: 33 tries, 32384099 fired transitions, 750 secs || 2410413 markings, 17565312 edges, 861 markings/sec, 750 secs
lola: 33 tries, 32601678 fired transitions, 755 secs || 2414455 markings, 17685245 edges, 808 markings/sec, 755 secs
lola: 33 tries, 32817678 fired transitions, 760 secs || 2439364 markings, 17795764 edges, 4982 markings/sec, 760 secs
lola: 34 tries, 33033619 fired transitions, 765 secs || 2465908 markings, 17904789 edges, 5309 markings/sec, 765 secs
lola: 34 tries, 33244584 fired transitions, 770 secs || 2493520 markings, 18016030 edges, 5522 markings/sec, 770 secs
lola: 34 tries, 33460835 fired transitions, 775 secs || 2505176 markings, 18136119 edges, 2331 markings/sec, 775 secs
lola: 34 tries, 33678383 fired transitions, 780 secs || 2509261 markings, 18258796 edges, 817 markings/sec, 780 secs
lola: 34 tries, 33895666 fired transitions, 785 secs || 2513555 markings, 18381188 edges, 859 markings/sec, 785 secs
lola: 35 tries, 34113087 fired transitions, 790 secs || 2517621 markings, 18502826 edges, 813 markings/sec, 790 secs
lola: 35 tries, 34328628 fired transitions, 795 secs || 2545236 markings, 18614420 edges, 5523 markings/sec, 795 secs
lola: 35 tries, 34544248 fired transitions, 800 secs || 2572848 markings, 18725801 edges, 5522 markings/sec, 800 secs
lola: 35 tries, 34755764 fired transitions, 805 secs || 2600213 markings, 18837535 edges, 5473 markings/sec, 805 secs
lola: 35 tries, 34972155 fired transitions, 810 secs || 2610200 markings, 18958325 edges, 1997 markings/sec, 810 secs
lola: 36 tries, 35187137 fired transitions, 815 secs || 2614505 markings, 19080940 edges, 861 markings/sec, 815 secs
lola: 36 tries, 35395218 fired transitions, 820 secs || 2618565 markings, 19200091 edges, 812 markings/sec, 820 secs
lola: 36 tries, 35612763 fired transitions, 825 secs || 2622586 markings, 19319683 edges, 804 markings/sec, 825 secs
lola: 36 tries, 35829039 fired transitions, 830 secs || 2648275 markings, 19429236 edges, 5138 markings/sec, 830 secs
lola: 37 tries, 36044862 fired transitions, 835 secs || 2675316 markings, 19539890 edges, 5408 markings/sec, 835 secs
lola: 37 tries, 36260205 fired transitions, 840 secs || 2702302 markings, 19650935 edges, 5397 markings/sec, 840 secs
lola: 37 tries, 36476846 fired transitions, 845 secs || 2716868 markings, 19768786 edges, 2913 markings/sec, 845 secs
lola: 37 tries, 36692371 fired transitions, 850 secs || 2720911 markings, 19888851 edges, 809 markings/sec, 850 secs
lola: 37 tries, 36910348 fired transitions, 855 secs || 2725189 markings, 20008829 edges, 856 markings/sec, 855 secs
lola: 38 tries, 37126468 fired transitions, 860 secs || 2729227 markings, 20128514 edges, 808 markings/sec, 860 secs
lola: 38 tries, 37341851 fired transitions, 865 secs || 2747973 markings, 20242349 edges, 3749 markings/sec, 865 secs
lola: 38 tries, 37555123 fired transitions, 870 secs || 2775376 markings, 20353095 edges, 5481 markings/sec, 870 secs
lola: 38 tries, 37769028 fired transitions, 875 secs || 2802689 markings, 20463683 edges, 5463 markings/sec, 875 secs
lola: 38 tries, 37985092 fired transitions, 880 secs || 2825322 markings, 20577194 edges, 4527 markings/sec, 880 secs
lola: 39 tries, 38202463 fired transitions, 885 secs || 2829371 markings, 20699255 edges, 810 markings/sec, 885 secs
lola: 39 tries, 38416969 fired transitions, 890 secs || 2833672 markings, 20820695 edges, 860 markings/sec, 890 secs
lola: 39 tries, 38631722 fired transitions, 895 secs || 2837748 markings, 20943284 edges, 815 markings/sec, 895 secs
lola: 39 tries, 38848164 fired transitions, 900 secs || 2847267 markings, 21060801 edges, 1904 markings/sec, 900 secs
lola: 40 tries, 39057817 fired transitions, 905 secs || 2874835 markings, 21171724 edges, 5514 markings/sec, 905 secs
lola: 40 tries, 39273099 fired transitions, 910 secs || 2901950 markings, 21282976 edges, 5423 markings/sec, 910 secs
lola: 40 tries, 39488357 fired transitions, 915 secs || 2929060 markings, 21394294 edges, 5422 markings/sec, 915 secs
lola: 40 tries, 39705348 fired transitions, 920 secs || 2939930 markings, 21513723 edges, 2174 markings/sec, 920 secs
lola: 40 tries, 39923060 fired transitions, 925 secs || 2943997 markings, 21636145 edges, 813 markings/sec, 925 secs
lola: 41 tries, 40141115 fired transitions, 930 secs || 2948280 markings, 21758343 edges, 857 markings/sec, 930 secs
lola: 41 tries, 40359155 fired transitions, 935 secs || 2952370 markings, 21880962 edges, 818 markings/sec, 935 secs
lola: 41 tries, 40575297 fired transitions, 940 secs || 2972807 markings, 21994972 edges, 4087 markings/sec, 940 secs
lola: 41 tries, 40790463 fired transitions, 945 secs || 3000054 markings, 22105975 edges, 5449 markings/sec, 945 secs
lola: 42 tries, 41006119 fired transitions, 950 secs || 3027163 markings, 22217327 edges, 5422 markings/sec, 950 secs
lola: 42 tries, 41218439 fired transitions, 955 secs || 3052289 markings, 22330296 edges, 5025 markings/sec, 955 secs
lola: 42 tries, 41434761 fired transitions, 960 secs || 3056340 markings, 22453087 edges, 810 markings/sec, 960 secs
lola: 42 tries, 41652194 fired transitions, 965 secs || 3060641 markings, 22574981 edges, 860 markings/sec, 965 secs
lola: 42 tries, 41869669 fired transitions, 970 secs || 3064707 markings, 22696562 edges, 813 markings/sec, 970 secs
lola: 43 tries, 42086117 fired transitions, 975 secs || 3068996 markings, 22817777 edges, 858 markings/sec, 975 secs
lola: 43 tries, 42297857 fired transitions, 980 secs || 3095230 markings, 22927715 edges, 5247 markings/sec, 980 secs
lola: 43 tries, 42511712 fired transitions, 985 secs || 3122257 markings, 23037182 edges, 5405 markings/sec, 985 secs
lola: 43 tries, 42723018 fired transitions, 990 secs || 3149012 markings, 23146439 edges, 5351 markings/sec, 990 secs
lola: 43 tries, 42937264 fired transitions, 995 secs || 3170365 markings, 23259419 edges, 4271 markings/sec, 995 secs
lola: 44 tries, 43150925 fired transitions, 1000 secs || 3174448 markings, 23380521 edges, 817 markings/sec, 1000 secs
lola: 44 tries, 43364018 fired transitions, 1005 secs || 3178479 markings, 23501267 edges, 806 markings/sec, 1005 secs
lola: 44 tries, 43576941 fired transitions, 1010 secs || 3182756 markings, 23621755 edges, 855 markings/sec, 1010 secs
lola: 44 tries, 43784845 fired transitions, 1015 secs || 3186813 markings, 23741781 edges, 811 markings/sec, 1015 secs
lola: 44 tries, 43992290 fired transitions, 1020 secs || 3213698 markings, 23851615 edges, 5377 markings/sec, 1020 secs
lola: 45 tries, 44164636 fired transitions, 1025 secs || 3235089 markings, 23938760 edges, 4278 markings/sec, 1025 secs
lola: 45 tries, 44375453 fired transitions, 1030 secs || 3261700 markings, 24048692 edges, 5322 markings/sec, 1030 secs
lola: 45 tries, 44589576 fired transitions, 1035 secs || 3289046 markings, 24158669 edges, 5469 markings/sec, 1035 secs
lola: 45 tries, 44793539 fired transitions, 1040 secs || 3293213 markings, 24276196 edges, 833 markings/sec, 1040 secs
lola: 46 tries, 45009330 fired transitions, 1045 secs || 3297254 markings, 24396492 edges, 808 markings/sec, 1045 secs
lola: 46 tries, 45222019 fired transitions, 1050 secs || 3301302 markings, 24516350 edges, 810 markings/sec, 1050 secs
lola: 46 tries, 45435027 fired transitions, 1055 secs || 3305576 markings, 24637853 edges, 855 markings/sec, 1055 secs
lola: 46 tries, 45646521 fired transitions, 1060 secs || 3323556 markings, 24750192 edges, 3596 markings/sec, 1060 secs
lola: 46 tries, 45862106 fired transitions, 1065 secs || 3350282 markings, 24860475 edges, 5345 markings/sec, 1065 secs
lola: 47 tries, 46075427 fired transitions, 1070 secs || 3377260 markings, 24969285 edges, 5396 markings/sec, 1070 secs
lola: 47 tries, 46289372 fired transitions, 1075 secs || 3403853 markings, 25078575 edges, 5319 markings/sec, 1075 secs
lola: 47 tries, 46503996 fired transitions, 1080 secs || 3414537 markings, 25195118 edges, 2137 markings/sec, 1080 secs
lola: 47 tries, 46717137 fired transitions, 1085 secs || 3418597 markings, 25316295 edges, 812 markings/sec, 1085 secs
lola: 47 tries, 46933273 fired transitions, 1090 secs || 3422642 markings, 25436954 edges, 809 markings/sec, 1090 secs
lola: 48 tries, 47149252 fired transitions, 1095 secs || 3426936 markings, 25557555 edges, 859 markings/sec, 1095 secs
lola: 48 tries, 47364329 fired transitions, 1100 secs || 3436272 markings, 25671941 edges, 1867 markings/sec, 1100 secs
lola: 48 tries, 47580223 fired transitions, 1105 secs || 3462994 markings, 25779380 edges, 5344 markings/sec, 1105 secs
lola: 48 tries, 47792640 fired transitions, 1110 secs || 3489532 markings, 25889150 edges, 5308 markings/sec, 1110 secs
lola: 49 tries, 48007793 fired transitions, 1115 secs || 3516506 markings, 25997309 edges, 5395 markings/sec, 1115 secs
lola: 49 tries, 48224140 fired transitions, 1120 secs || 3537611 markings, 26110053 edges, 4221 markings/sec, 1120 secs
lola: 49 tries, 48441968 fired transitions, 1125 secs || 3541680 markings, 26231045 edges, 814 markings/sec, 1125 secs
lola: 49 tries, 48659235 fired transitions, 1130 secs || 3545701 markings, 26351124 edges, 804 markings/sec, 1130 secs
lola: 49 tries, 48876598 fired transitions, 1135 secs || 3550005 markings, 26473001 edges, 861 markings/sec, 1135 secs
lola: 50 tries, 49094634 fired transitions, 1140 secs || 3554090 markings, 26594782 edges, 817 markings/sec, 1140 secs
lola: 50 tries, 49310809 fired transitions, 1145 secs || 3575603 markings, 26707691 edges, 4303 markings/sec, 1145 secs
lola: 50 tries, 49524910 fired transitions, 1150 secs || 3602594 markings, 26818727 edges, 5398 markings/sec, 1150 secs
lola: 50 tries, 49739301 fired transitions, 1155 secs || 3629692 markings, 26929537 edges, 5420 markings/sec, 1155 secs
lola: 50 tries, 49953464 fired transitions, 1160 secs || 3657318 markings, 27040699 edges, 5525 markings/sec, 1160 secs
lola: 51 tries, 50166246 fired transitions, 1165 secs || 3667054 markings, 27160907 edges, 1947 markings/sec, 1165 secs
lola: 51 tries, 50382641 fired transitions, 1170 secs || 3671231 markings, 27282590 edges, 835 markings/sec, 1170 secs
lola: 51 tries, 50596214 fired transitions, 1175 secs || 3675291 markings, 27402729 edges, 812 markings/sec, 1175 secs
lola: 51 tries, 50808465 fired transitions, 1180 secs || 3679337 markings, 27523633 edges, 809 markings/sec, 1180 secs
lola: 52 tries, 51024958 fired transitions, 1185 secs || 3686524 markings, 27638222 edges, 1437 markings/sec, 1185 secs
lola: 52 tries, 51238650 fired transitions, 1190 secs || 3713547 markings, 27749333 edges, 5405 markings/sec, 1190 secs
lola: 52 tries, 51452007 fired transitions, 1195 secs || 3740398 markings, 27858241 edges, 5370 markings/sec, 1195 secs
lola: 52 tries, 51666889 fired transitions, 1200 secs || 3767592 markings, 27968748 edges, 5439 markings/sec, 1200 secs
lola: 52 tries, 51879360 fired transitions, 1205 secs || 3793886 markings, 28080867 edges, 5259 markings/sec, 1205 secs
lola: 53 tries, 52095566 fired transitions, 1210 secs || 3798200 markings, 28203254 edges, 863 markings/sec, 1210 secs
lola: 53 tries, 52311153 fired transitions, 1215 secs || 3802275 markings, 28325310 edges, 815 markings/sec, 1215 secs
lola: 53 tries, 52526117 fired transitions, 1220 secs || 3806499 markings, 28447232 edges, 845 markings/sec, 1220 secs
lola: 53 tries, 52743757 fired transitions, 1225 secs || 3810625 markings, 28569407 edges, 825 markings/sec, 1225 secs
lola: 53 tries, 52956400 fired transitions, 1230 secs || 3823742 markings, 28686951 edges, 2623 markings/sec, 1230 secs
lola: 54 tries, 53168733 fired transitions, 1235 secs || 3851386 markings, 28798247 edges, 5529 markings/sec, 1235 secs
lola: 54 tries, 53382102 fired transitions, 1240 secs || 3878745 markings, 28909600 edges, 5472 markings/sec, 1240 secs
lola: 54 tries, 53594652 fired transitions, 1245 secs || 3905980 markings, 29021271 edges, 5447 markings/sec, 1245 secs
lola: 54 tries, 53804332 fired transitions, 1250 secs || 3927332 markings, 29136546 edges, 4270 markings/sec, 1250 secs
lola: 55 tries, 54021374 fired transitions, 1255 secs || 3931422 markings, 29259539 edges, 818 markings/sec, 1255 secs
lola: 55 tries, 54238373 fired transitions, 1260 secs || 3935727 markings, 29381943 edges, 861 markings/sec, 1260 secs
lola: 55 tries, 54452973 fired transitions, 1265 secs || 3939815 markings, 29504545 edges, 818 markings/sec, 1265 secs
lola: 55 tries, 54663289 fired transitions, 1270 secs || 3944120 markings, 29627032 edges, 861 markings/sec, 1270 secs
lola: 55 tries, 54877833 fired transitions, 1275 secs || 3960776 markings, 29743088 edges, 3331 markings/sec, 1275 secs
lola: 56 tries, 55093372 fired transitions, 1280 secs || 3988503 markings, 29854558 edges, 5545 markings/sec, 1280 secs
lola: 56 tries, 55307310 fired transitions, 1285 secs || 4016115 markings, 29966527 edges, 5522 markings/sec, 1285 secs
lola: 56 tries, 55522434 fired transitions, 1290 secs || 4043438 markings, 30078152 edges, 5465 markings/sec, 1290 secs
lola: 56 tries, 55738261 fired transitions, 1295 secs || 4062597 markings, 30194451 edges, 3832 markings/sec, 1295 secs
lola: 56 tries, 55953939 fired transitions, 1300 secs || 4066687 markings, 30317192 edges, 818 markings/sec, 1300 secs
lola: 57 tries, 56170524 fired transitions, 1305 secs || 4070992 markings, 30439480 edges, 861 markings/sec, 1305 secs
lola: 57 tries, 56388384 fired transitions, 1310 secs || 4075068 markings, 30562109 edges, 815 markings/sec, 1310 secs
lola: 57 tries, 56606034 fired transitions, 1315 secs || 4079385 markings, 30684804 edges, 863 markings/sec, 1315 secs
lola: 57 tries, 56822350 fired transitions, 1320 secs || 4096090 markings, 30801034 edges, 3341 markings/sec, 1320 secs
lola: 58 tries, 57037964 fired transitions, 1325 secs || 4123768 markings, 30912632 edges, 5536 markings/sec, 1325 secs
lola: 58 tries, 57253038 fired transitions, 1330 secs || 4151380 markings, 31024555 edges, 5522 markings/sec, 1330 secs
lola: 58 tries, 57468765 fired transitions, 1335 secs || 4178870 markings, 31136326 edges, 5498 markings/sec, 1335 secs
lola: 58 tries, 57680068 fired transitions, 1340 secs || 4199675 markings, 31251847 edges, 4161 markings/sec, 1340 secs
lola: 58 tries, 57895665 fired transitions, 1345 secs || 4203969 markings, 31375060 edges, 859 markings/sec, 1345 secs
lola: 59 tries, 58109209 fired transitions, 1350 secs || 4208070 markings, 31497515 edges, 820 markings/sec, 1350 secs
lola: 59 tries, 58326607 fired transitions, 1355 secs || 4212246 markings, 31620125 edges, 835 markings/sec, 1355 secs
lola: 59 tries, 58538086 fired transitions, 1360 secs || 4216462 markings, 31742751 edges, 843 markings/sec, 1360 secs
lola: 59 tries, 58754708 fired transitions, 1365 secs || 4229567 markings, 31860639 edges, 2621 markings/sec, 1365 secs
lola: 59 tries, 58961796 fired transitions, 1370 secs || 4257265 markings, 31971911 edges, 5540 markings/sec, 1370 secs
lola: 60 tries, 59177313 fired transitions, 1375 secs || 4284877 markings, 32083900 edges, 5522 markings/sec, 1375 secs
lola: 60 tries, 59390085 fired transitions, 1380 secs || 4312430 markings, 32196194 edges, 5511 markings/sec, 1380 secs
lola: 60 tries, 59604654 fired transitions, 1385 secs || 4338510 markings, 32309943 edges, 5216 markings/sec, 1385 secs
lola: 60 tries, 59819648 fired transitions, 1390 secs || 4342856 markings, 32433343 edges, 869 markings/sec, 1390 secs
lola: 61 tries, 60031188 fired transitions, 1395 secs || 4347083 markings, 32556362 edges, 845 markings/sec, 1395 secs
lola: 61 tries, 60248417 fired transitions, 1400 secs || 4351249 markings, 32679080 edges, 833 markings/sec, 1400 secs
lola: 61 tries, 60465884 fired transitions, 1405 secs || 4355356 markings, 32801922 edges, 821 markings/sec, 1405 secs
lola: 61 tries, 60681546 fired transitions, 1410 secs || 4361307 markings, 32922338 edges, 1190 markings/sec, 1410 secs
lola: 61 tries, 60895748 fired transitions, 1415 secs || 4388292 markings, 33030542 edges, 5397 markings/sec, 1415 secs
lola: 62 tries, 61107516 fired transitions, 1420 secs || 4414675 markings, 33139898 edges, 5277 markings/sec, 1420 secs
lola: 62 tries, 61319058 fired transitions, 1425 secs || 4442301 markings, 33250621 edges, 5525 markings/sec, 1425 secs
lola: 62 tries, 61527043 fired transitions, 1430 secs || 4469517 markings, 33361507 edges, 5443 markings/sec, 1430 secs
lola: 62 tries, 61741704 fired transitions, 1435 secs || 4483090 markings, 33478762 edges, 2715 markings/sec, 1435 secs
lola: 62 tries, 61948582 fired transitions, 1440 secs || 4487178 markings, 33597059 edges, 818 markings/sec, 1440 secs
lola: 63 tries, 62114088 fired transitions, 1445 secs || 4490360 markings, 33688516 edges, 636 markings/sec, 1445 secs
lola: 63 tries, 62330552 fired transitions, 1450 secs || 4494389 markings, 33808609 edges, 806 markings/sec, 1450 secs
lola: 63 tries, 62546920 fired transitions, 1455 secs || 4498666 markings, 33929165 edges, 855 markings/sec, 1455 secs
lola: 63 tries, 62762002 fired transitions, 1460 secs || 4506328 markings, 34047255 edges, 1532 markings/sec, 1460 secs
lola: 63 tries, 62974309 fired transitions, 1465 secs || 4532819 markings, 34154056 edges, 5298 markings/sec, 1465 secs
lola: 64 tries, 63187961 fired transitions, 1470 secs || 4559035 markings, 34260148 edges, 5243 markings/sec, 1470 secs
lola: 64 tries, 63400613 fired transitions, 1475 secs || 4584900 markings, 34365356 edges, 5173 markings/sec, 1475 secs
lola: 64 tries, 63613005 fired transitions, 1480 secs || 4611394 markings, 34474867 edges, 5299 markings/sec, 1480 secs
lola: 64 tries, 63826125 fired transitions, 1485 secs || 4627593 markings, 34590627 edges, 3240 markings/sec, 1485 secs
lola: 65 tries, 64040176 fired transitions, 1490 secs || 4631608 markings, 34707829 edges, 803 markings/sec, 1490 secs
lola: 65 tries, 64252426 fired transitions, 1495 secs || 4635623 markings, 34825284 edges, 803 markings/sec, 1495 secs
lola: 65 tries, 64461754 fired transitions, 1500 secs || 4639638 markings, 34943201 edges, 803 markings/sec, 1500 secs
lola: 65 tries, 64676345 fired transitions, 1505 secs || 4643677 markings, 35062554 edges, 808 markings/sec, 1505 secs
lola: 65 tries, 64891493 fired transitions, 1510 secs || 4651414 markings, 35180252 edges, 1547 markings/sec, 1510 secs
lola: 66 tries, 65105807 fired transitions, 1515 secs || 4677633 markings, 35288088 edges, 5244 markings/sec, 1515 secs
lola: 66 tries, 65320105 fired transitions, 1520 secs || 4703823 markings, 35394080 edges, 5238 markings/sec, 1520 secs
lola: 66 tries, 65533954 fired transitions, 1525 secs || 4730218 markings, 35501133 edges, 5279 markings/sec, 1525 secs
lola: 66 tries, 65749315 fired transitions, 1530 secs || 4756511 markings, 35609779 edges, 5259 markings/sec, 1530 secs
lola: 66 tries, 65965310 fired transitions, 1535 secs || 4774612 markings, 35721591 edges, 3620 markings/sec, 1535 secs
lola: 67 tries, 66182300 fired transitions, 1540 secs || 4778661 markings, 35843686 edges, 810 markings/sec, 1540 secs
lola: 67 tries, 66398899 fired transitions, 1545 secs || 4782962 markings, 35965140 edges, 860 markings/sec, 1545 secs
lola: 67 tries, 66615343 fired transitions, 1550 secs || 4787022 markings, 36086351 edges, 812 markings/sec, 1550 secs
lola: 67 tries, 66831995 fired transitions, 1555 secs || 4791067 markings, 36206376 edges, 809 markings/sec, 1555 secs
lola: 68 tries, 67049177 fired transitions, 1560 secs || 4797036 markings, 36326371 edges, 1194 markings/sec, 1560 secs
lola: 68 tries, 67264375 fired transitions, 1565 secs || 4824165 markings, 36436567 edges, 5426 markings/sec, 1565 secs
lola: 68 tries, 67479578 fired transitions, 1570 secs || 4850855 markings, 36546714 edges, 5338 markings/sec, 1570 secs
lola: 68 tries, 67695002 fired transitions, 1575 secs || 4877945 markings, 36655330 edges, 5418 markings/sec, 1575 secs
lola: 68 tries, 67910811 fired transitions, 1580 secs || 4904927 markings, 36766196 edges, 5396 markings/sec, 1580 secs
lola: 69 tries, 68127752 fired transitions, 1585 secs || 4924440 markings, 36881355 edges, 3903 markings/sec, 1585 secs
lola: 69 tries, 68344322 fired transitions, 1590 secs || 4928470 markings, 37000006 edges, 806 markings/sec, 1590 secs
lola: 69 tries, 68561282 fired transitions, 1595 secs || 4932485 markings, 37119304 edges, 803 markings/sec, 1595 secs
lola: 69 tries, 68777557 fired transitions, 1600 secs || 4936550 markings, 37239293 edges, 813 markings/sec, 1600 secs
lola: 69 tries, 68987549 fired transitions, 1605 secs || 4940835 markings, 37360838 edges, 857 markings/sec, 1605 secs
lola: 70 tries, 69202856 fired transitions, 1610 secs || 4944938 markings, 37483050 edges, 821 markings/sec, 1610 secs
lola: 70 tries, 69417306 fired transitions, 1615 secs || 4970324 markings, 37593624 edges, 5077 markings/sec, 1615 secs
lola: 70 tries, 69626985 fired transitions, 1620 secs || 4996932 markings, 37703599 edges, 5322 markings/sec, 1620 secs
lola: 70 tries, 69841598 fired transitions, 1625 secs || 5024077 markings, 37813697 edges, 5429 markings/sec, 1625 secs
lola: 71 tries, 70056702 fired transitions, 1630 secs || 5051282 markings, 37923825 edges, 5441 markings/sec, 1630 secs
lola: 71 tries, 70272242 fired transitions, 1635 secs || 5075791 markings, 38036000 edges, 4902 markings/sec, 1635 secs
lola: 71 tries, 70489249 fired transitions, 1640 secs || 5079809 markings, 38154655 edges, 804 markings/sec, 1640 secs
lola: 71 tries, 70705440 fired transitions, 1645 secs || 5083821 markings, 38271278 edges, 802 markings/sec, 1645 secs
lola: 71 tries, 70922244 fired transitions, 1650 secs || 5087836 markings, 38388854 edges, 803 markings/sec, 1650 secs
lola: 72 tries, 71139182 fired transitions, 1655 secs || 5091857 markings, 38508277 edges, 804 markings/sec, 1655 secs
lola: 72 tries, 71355467 fired transitions, 1660 secs || 5095896 markings, 38627275 edges, 808 markings/sec, 1660 secs
lola: 72 tries, 71568950 fired transitions, 1665 secs || 5110893 markings, 38739337 edges, 2999 markings/sec, 1665 secs
lola: 72 tries, 71782210 fired transitions, 1670 secs || 5136245 markings, 38840935 edges, 5070 markings/sec, 1670 secs
lola: 72 tries, 71995361 fired transitions, 1675 secs || 5161897 markings, 38946234 edges, 5130 markings/sec, 1675 secs
lola: 73 tries, 72211714 fired transitions, 1680 secs || 5187850 markings, 39052820 edges, 5191 markings/sec, 1680 secs
lola: 73 tries, 72427696 fired transitions, 1685 secs || 5215222 markings, 39163764 edges, 5474 markings/sec, 1685 secs
lola: 73 tries, 72644254 fired transitions, 1690 secs || 5232090 markings, 39277906 edges, 3374 markings/sec, 1690 secs
lola: 73 tries, 72861733 fired transitions, 1695 secs || 5236150 markings, 39398914 edges, 812 markings/sec, 1695 secs
lola: 74 tries, 73079703 fired transitions, 1700 secs || 5240196 markings, 39519914 edges, 809 markings/sec, 1700 secs
lola: 74 tries, 73297096 fired transitions, 1705 secs || 5244498 markings, 39640816 edges, 860 markings/sec, 1705 secs
lola: 74 tries, 73514301 fired transitions, 1710 secs || 5248558 markings, 39761160 edges, 812 markings/sec, 1710 secs
lola: 74 tries, 73731158 fired transitions, 1715 secs || 5252575 markings, 39879977 edges, 803 markings/sec, 1715 secs
lola: 74 tries, 73947066 fired transitions, 1720 secs || 5275950 markings, 39990449 edges, 4675 markings/sec, 1720 secs
lola: 75 tries, 74163056 fired transitions, 1725 secs || 5302216 markings, 40098978 edges, 5253 markings/sec, 1725 secs
lola: 75 tries, 74378573 fired transitions, 1730 secs || 5329173 markings, 40207560 edges, 5391 markings/sec, 1730 secs
lola: 75 tries, 74593897 fired transitions, 1735 secs || 5355540 markings, 40315759 edges, 5273 markings/sec, 1735 secs
lola: 75 tries, 74808490 fired transitions, 1740 secs || 5382880 markings, 40426076 edges, 5468 markings/sec, 1740 secs
lola: 76 tries, 75025726 fired transitions, 1745 secs || 5390983 markings, 40546806 edges, 1621 markings/sec, 1745 secs
lola: 76 tries, 75242617 fired transitions, 1750 secs || 5395270 markings, 40668151 edges, 857 markings/sec, 1750 secs
lola: 76 tries, 75459004 fired transitions, 1755 secs || 5399327 markings, 40788969 edges, 811 markings/sec, 1755 secs
lola: 76 tries, 75675428 fired transitions, 1760 secs || 5403393 markings, 40909842 edges, 813 markings/sec, 1760 secs
lola: 76 tries, 75892671 fired transitions, 1765 secs || 5407630 markings, 41031074 edges, 847 markings/sec, 1765 secs
lola: 77 tries, 76110038 fired transitions, 1770 secs || 5415551 markings, 41149981 edges, 1584 markings/sec, 1770 secs
lola: 77 tries, 76324896 fired transitions, 1775 secs || 5442898 markings, 41261091 edges, 5469 markings/sec, 1775 secs
lola: 77 tries, 76538488 fired transitions, 1780 secs || 5469093 markings, 41368060 edges, 5239 markings/sec, 1780 secs
lola: 77 tries, 76750152 fired transitions, 1785 secs || 5495278 markings, 41474012 edges, 5237 markings/sec, 1785 secs
lola: 77 tries, 76965924 fired transitions, 1790 secs || 5521819 markings, 41583076 edges, 5308 markings/sec, 1790 secs
lola: 78 tries, 77182541 fired transitions, 1795 secs || 5547606 markings, 41693918 edges, 5157 markings/sec, 1795 secs
lola: 78 tries, 77399815 fired transitions, 1800 secs || 5551907 markings, 41815680 edges, 860 markings/sec, 1800 secs
lola: 78 tries, 77617021 fired transitions, 1805 secs || 5555967 markings, 41936239 edges, 812 markings/sec, 1805 secs
lola: 78 tries, 77831699 fired transitions, 1810 secs || 5560012 markings, 42057047 edges, 809 markings/sec, 1810 secs
lola: 79 tries, 78046880 fired transitions, 1815 secs || 5564292 markings, 42177023 edges, 856 markings/sec, 1815 secs
lola: 79 tries, 78264407 fired transitions, 1820 secs || 5568332 markings, 42297720 edges, 808 markings/sec, 1820 secs
lola: 79 tries, 78481000 fired transitions, 1825 secs || 5579242 markings, 42413907 edges, 2182 markings/sec, 1825 secs
lola: 79 tries, 78696497 fired transitions, 1830 secs || 5605812 markings, 42523767 edges, 5314 markings/sec, 1830 secs
lola: 79 tries, 78912337 fired transitions, 1835 secs || 5632888 markings, 42632776 edges, 5415 markings/sec, 1835 secs
lola: 80 tries, 79128687 fired transitions, 1840 secs || 5659393 markings, 42741847 edges, 5301 markings/sec, 1840 secs
lola: 80 tries, 79344450 fired transitions, 1845 secs || 5686330 markings, 42851677 edges, 5387 markings/sec, 1845 secs
lola: 80 tries, 79560445 fired transitions, 1850 secs || 5710345 markings, 42964305 edges, 4803 markings/sec, 1850 secs
lola: 80 tries, 79778060 fired transitions, 1855 secs || 5714650 markings, 43085939 edges, 861 markings/sec, 1855 secs
lola: 80 tries, 79995715 fired transitions, 1860 secs || 5718716 markings, 43208066 edges, 813 markings/sec, 1860 secs
lola: 81 tries, 80213495 fired transitions, 1865 secs || 5723018 markings, 43330039 edges, 860 markings/sec, 1865 secs
lola: 81 tries, 80430428 fired transitions, 1870 secs || 5726968 markings, 43446679 edges, 790 markings/sec, 1870 secs
lola: 81 tries, 80647930 fired transitions, 1875 secs || 5731060 markings, 43565982 edges, 818 markings/sec, 1875 secs
lola: 81 tries, 80862913 fired transitions, 1880 secs || 5741190 markings, 43682649 edges, 2026 markings/sec, 1880 secs
lola: 82 tries, 81076330 fired transitions, 1885 secs || 5768019 markings, 43792416 edges, 5366 markings/sec, 1885 secs
lola: 82 tries, 81289073 fired transitions, 1890 secs || 5794812 markings, 43900864 edges, 5359 markings/sec, 1890 secs
lola: 82 tries, 81501491 fired transitions, 1895 secs || 5821344 markings, 44009084 edges, 5306 markings/sec, 1895 secs
lola: 82 tries, 81713933 fired transitions, 1900 secs || 5847925 markings, 44117730 edges, 5316 markings/sec, 1900 secs
lola: 82 tries, 81926267 fired transitions, 1905 secs || 5874552 markings, 44225467 edges, 5325 markings/sec, 1905 secs
lola: 83 tries, 82141693 fired transitions, 1910 secs || 5878841 markings, 44347365 edges, 858 markings/sec, 1910 secs
lola: 83 tries, 82356442 fired transitions, 1915 secs || 5882886 markings, 44468242 edges, 809 markings/sec, 1915 secs
lola: 83 tries, 82572146 fired transitions, 1920 secs || 5887181 markings, 44589178 edges, 859 markings/sec, 1920 secs
lola: 83 tries, 82789376 fired transitions, 1925 secs || 5891251 markings, 44710754 edges, 814 markings/sec, 1925 secs
lola: 84 tries, 83003631 fired transitions, 1930 secs || 5895296 markings, 44832034 edges, 809 markings/sec, 1930 secs
lola: 84 tries, 83220579 fired transitions, 1935 secs || 5901193 markings, 44950823 edges, 1179 markings/sec, 1935 secs
lola: 84 tries, 83435067 fired transitions, 1940 secs || 5928195 markings, 45061147 edges, 5400 markings/sec, 1940 secs
lola: 84 tries, 83649611 fired transitions, 1945 secs || 5955048 markings, 45171786 edges, 5371 markings/sec, 1945 secs
lola: 84 tries, 83864242 fired transitions, 1950 secs || 5981661 markings, 45279010 edges, 5323 markings/sec, 1950 secs
lola: 85 tries, 84079847 fired transitions, 1955 secs || 6007917 markings, 45387822 edges, 5251 markings/sec, 1955 secs
lola: 85 tries, 84295642 fired transitions, 1960 secs || 6035104 markings, 45496717 edges, 5437 markings/sec, 1960 secs
lola: 85 tries, 84512373 fired transitions, 1965 secs || 6045118 markings, 45613288 edges, 2003 markings/sec, 1965 secs
lola: 85 tries, 84724105 fired transitions, 1970 secs || 6049141 markings, 45733221 edges, 805 markings/sec, 1970 secs
lola: 85 tries, 84941392 fired transitions, 1975 secs || 6053184 markings, 45853608 edges, 809 markings/sec, 1975 secs
lola: 86 tries, 85159555 fired transitions, 1980 secs || 6057458 markings, 45972851 edges, 855 markings/sec, 1980 secs
lola: 86 tries, 85376005 fired transitions, 1985 secs || 6061500 markings, 46092875 edges, 808 markings/sec, 1985 secs
lola: 86 tries, 85591422 fired transitions, 1990 secs || 6065566 markings, 46214173 edges, 813 markings/sec, 1990 secs
lola: 86 tries, 85805081 fired transitions, 1995 secs || 6085209 markings, 46327225 edges, 3929 markings/sec, 1995 secs
lola: 87 tries, 86019990 fired transitions, 2000 secs || 6111564 markings, 46434372 edges, 5271 markings/sec, 2000 secs
lola: 87 tries, 86230246 fired transitions, 2005 secs || 6137883 markings, 46542854 edges, 5264 markings/sec, 2005 secs
lola: 87 tries, 86441328 fired transitions, 2010 secs || 6164872 markings, 46651465 edges, 5398 markings/sec, 2010 secs
lola: 87 tries, 86655702 fired transitions, 2015 secs || 6192058 markings, 46762661 edges, 5437 markings/sec, 2015 secs
lola: 87 tries, 86870843 fired transitions, 2020 secs || 6213122 markings, 46876267 edges, 4213 markings/sec, 2020 secs
lola: 88 tries, 87086300 fired transitions, 2025 secs || 6217174 markings, 46995664 edges, 810 markings/sec, 2025 secs
lola: 88 tries, 87303871 fired transitions, 2030 secs || 6221195 markings, 47113480 edges, 804 markings/sec, 2030 secs
lola: 88 tries, 87521499 fired transitions, 2035 secs || 6225240 markings, 47234398 edges, 809 markings/sec, 2035 secs
lola: 88 tries, 87738520 fired transitions, 2040 secs || 6229256 markings, 47352700 edges, 803 markings/sec, 2040 secs
lola: 88 tries, 87955752 fired transitions, 2045 secs || 6233310 markings, 47471596 edges, 811 markings/sec, 2045 secs
lola: 89 tries, 88173501 fired transitions, 2050 secs || 6239241 markings, 47591201 edges, 1186 markings/sec, 2050 secs
lola: 89 tries, 88387789 fired transitions, 2055 secs || 6266508 markings, 47700923 edges, 5453 markings/sec, 2055 secs
lola: 89 tries, 88599729 fired transitions, 2060 secs || 6293298 markings, 47811342 edges, 5358 markings/sec, 2060 secs
lola: 89 tries, 88816213 fired transitions, 2065 secs || 6320295 markings, 47921019 edges, 5399 markings/sec, 2065 secs
lola: 90 tries, 89031910 fired transitions, 2070 secs || 6346309 markings, 48027918 edges, 5203 markings/sec, 2070 secs
lola: 90 tries, 89247259 fired transitions, 2075 secs || 6373093 markings, 48135584 edges, 5357 markings/sec, 2075 secs
lola: 90 tries, 89464486 fired transitions, 2080 secs || 6386662 markings, 48252718 edges, 2714 markings/sec, 2080 secs
lola: 90 tries, 89678410 fired transitions, 2085 secs || 6390924 markings, 48372013 edges, 852 markings/sec, 2085 secs
lola: 90 tries, 89893291 fired transitions, 2090 secs || 6394982 markings, 48492109 edges, 812 markings/sec, 2090 secs
lola: 91 tries, 90111392 fired transitions, 2095 secs || 6399042 markings, 48612464 edges, 812 markings/sec, 2095 secs
lola: 91 tries, 90328247 fired transitions, 2100 secs || 6403073 markings, 48732401 edges, 806 markings/sec, 2100 secs
lola: 91 tries, 90545799 fired transitions, 2105 secs || 6407106 markings, 48851874 edges, 807 markings/sec, 2105 secs
lola: 91 tries, 90761837 fired transitions, 2110 secs || 6419262 markings, 48968976 edges, 2431 markings/sec, 2110 secs
lola: 91 tries, 90977757 fired transitions, 2115 secs || 6446106 markings, 49079384 edges, 5369 markings/sec, 2115 secs
lola: 92 tries, 91193723 fired transitions, 2120 secs || 6472791 markings, 49186924 edges, 5337 markings/sec, 2120 secs
lola: 92 tries, 91408889 fired transitions, 2125 secs || 6499410 markings, 49294905 edges, 5324 markings/sec, 2125 secs
lola: 92 tries, 91624120 fired transitions, 2130 secs || 6525570 markings, 49402888 edges, 5232 markings/sec, 2130 secs
lola: 92 tries, 91839290 fired transitions, 2135 secs || 6552493 markings, 49510967 edges, 5385 markings/sec, 2135 secs
lola: 93 tries, 92056570 fired transitions, 2140 secs || 6562244 markings, 49629789 edges, 1950 markings/sec, 2140 secs
lola: 93 tries, 92273885 fired transitions, 2145 secs || 6566514 markings, 49750236 edges, 854 markings/sec, 2145 secs
lola: 93 tries, 92491391 fired transitions, 2150 secs || 6570565 markings, 49869362 edges, 810 markings/sec, 2150 secs
lola: 93 tries, 92708875 fired transitions, 2155 secs || 6574640 markings, 49990994 edges, 815 markings/sec, 2155 secs
lola: 93 tries, 92926603 fired transitions, 2160 secs || 6578689 markings, 50112917 edges, 810 markings/sec, 2160 secs
lola: 94 tries, 93144797 fired transitions, 2165 secs || 6582958 markings, 50231819 edges, 854 markings/sec, 2165 secs
lola: 94 tries, 93361659 fired transitions, 2170 secs || 6596383 markings, 50344870 edges, 2685 markings/sec, 2170 secs
lola: 94 tries, 93577404 fired transitions, 2175 secs || 6623002 markings, 50452069 edges, 5324 markings/sec, 2175 secs
lola: 94 tries, 93792792 fired transitions, 2180 secs || 6649067 markings, 50559835 edges, 5213 markings/sec, 2180 secs
lola: 95 tries, 94008088 fired transitions, 2185 secs || 6676268 markings, 50669327 edges, 5440 markings/sec, 2185 secs
lola: 95 tries, 94223209 fired transitions, 2190 secs || 6702948 markings, 50779506 edges, 5336 markings/sec, 2190 secs
lola: 95 tries, 94439241 fired transitions, 2195 secs || 6730120 markings, 50889058 edges, 5434 markings/sec, 2195 secs
lola: 95 tries, 94656513 fired transitions, 2200 secs || 6739872 markings, 51009339 edges, 1950 markings/sec, 2200 secs
lola: 95 tries, 94874464 fired transitions, 2205 secs || 6743969 markings, 51131437 edges, 819 markings/sec, 2205 secs
lola: 96 tries, 95092480 fired transitions, 2210 secs || 6747997 markings, 51251991 edges, 806 markings/sec, 2210 secs
lola: 96 tries, 95310038 fired transitions, 2215 secs || 6752299 markings, 51373540 edges, 860 markings/sec, 2215 secs
lola: 96 tries, 95527630 fired transitions, 2220 secs || 6756386 markings, 51495471 edges, 817 markings/sec, 2220 secs
lola: 96 tries, 95745610 fired transitions, 2225 secs || 6760407 markings, 51615601 edges, 804 markings/sec, 2225 secs
lola: 96 tries, 95962833 fired transitions, 2230 secs || 6774097 markings, 51732107 edges, 2738 markings/sec, 2230 secs
lola: 97 tries, 96179349 fired transitions, 2235 secs || 6801201 markings, 51842116 edges, 5421 markings/sec, 2235 secs
lola: 97 tries, 96395439 fired transitions, 2240 secs || 6828375 markings, 51952168 edges, 5435 markings/sec, 2240 secs
lola: 97 tries, 96611464 fired transitions, 2245 secs || 6855184 markings, 52062652 edges, 5362 markings/sec, 2245 secs
lola: 97 tries, 96822352 fired transitions, 2250 secs || 6882255 markings, 52173164 edges, 5414 markings/sec, 2250 secs
lola: 98 tries, 97038294 fired transitions, 2255 secs || 6909536 markings, 52282935 edges, 5456 markings/sec, 2255 secs
lola: 98 tries, 97252253 fired transitions, 2260 secs || 6919466 markings, 52401382 edges, 1986 markings/sec, 2260 secs
lola: 98 tries, 97468801 fired transitions, 2265 secs || 6923505 markings, 52521110 edges, 808 markings/sec, 2265 secs
lola: 98 tries, 97683936 fired transitions, 2270 secs || 6927808 markings, 52642977 edges, 861 markings/sec, 2270 secs
lola: 98 tries, 97898828 fired transitions, 2275 secs || 6931870 markings, 52764309 edges, 812 markings/sec, 2275 secs
lola: 99 tries, 98116986 fired transitions, 2280 secs || 6936161 markings, 52886422 edges, 858 markings/sec, 2280 secs
lola: 99 tries, 98334557 fired transitions, 2285 secs || 6940265 markings, 53008903 edges, 821 markings/sec, 2285 secs
lola: 99 tries, 98546321 fired transitions, 2290 secs || 6951568 markings, 53126997 edges, 2261 markings/sec, 2290 secs
lola: 99 tries, 98755876 fired transitions, 2295 secs || 6978660 markings, 53236886 edges, 5418 markings/sec, 2295 secs
lola: 99 tries, 98972876 fired transitions, 2300 secs || 7005429 markings, 53347250 edges, 5354 markings/sec, 2300 secs
lola: 100 tries, 99189838 fired transitions, 2305 secs || 7032076 markings, 53454514 edges, 5329 markings/sec, 2305 secs
lola: 100 tries, 99405110 fired transitions, 2310 secs || 7058818 markings, 53564863 edges, 5348 markings/sec, 2310 secs
lola: 100 tries, 99620406 fired transitions, 2315 secs || 7085947 markings, 53674665 edges, 5426 markings/sec, 2315 secs
lola: 100 tries, 99837116 fired transitions, 2320 secs || 7101047 markings, 53791498 edges, 3020 markings/sec, 2320 secs
lola: 101 tries, 100055434 fired transitions, 2325 secs || 7105113 markings, 53913286 edges, 813 markings/sec, 2325 secs
lola: 101 tries, 100273303 fired transitions, 2330 secs || 7109268 markings, 54033930 edges, 831 markings/sec, 2330 secs
lola: 101 tries, 100482055 fired transitions, 2335 secs || 7113165 markings, 54149764 edges, 779 markings/sec, 2335 secs
lola: 101 tries, 100699665 fired transitions, 2340 secs || 7117428 markings, 54269732 edges, 853 markings/sec, 2340 secs
lola: 101 tries, 100916898 fired transitions, 2345 secs || 7121485 markings, 54389661 edges, 811 markings/sec, 2345 secs
lola: 102 tries, 101135317 fired transitions, 2350 secs || 7125547 markings, 54510546 edges, 812 markings/sec, 2350 secs
lola: 102 tries, 101351454 fired transitions, 2355 secs || 7150678 markings, 54619281 edges, 5026 markings/sec, 2355 secs
lola: 102 tries, 101567957 fired transitions, 2360 secs || 7177320 markings, 54729283 edges, 5328 markings/sec, 2360 secs
lola: 102 tries, 101782223 fired transitions, 2365 secs || 7204488 markings, 54838104 edges, 5434 markings/sec, 2365 secs
lola: 102 tries, 101994991 fired transitions, 2370 secs || 7230537 markings, 54946495 edges, 5210 markings/sec, 2370 secs
lola: 103 tries, 102205104 fired transitions, 2375 secs || 7257951 markings, 55056579 edges, 5483 markings/sec, 2375 secs
lola: 103 tries, 102415529 fired transitions, 2380 secs || 7283796 markings, 55168707 edges, 5169 markings/sec, 2380 secs
lola: 103 tries, 102629370 fired transitions, 2385 secs || 7288097 markings, 55291568 edges, 860 markings/sec, 2385 secs
lola: 103 tries, 102846185 fired transitions, 2390 secs || 7292185 markings, 55413463 edges, 818 markings/sec, 2390 secs
lola: 104 tries, 103064686 fired transitions, 2395 secs || 7296462 markings, 55533886 edges, 855 markings/sec, 2395 secs
lola: 104 tries, 103282025 fired transitions, 2400 secs || 7300535 markings, 55655406 edges, 815 markings/sec, 2400 secs
lola: 104 tries, 103500293 fired transitions, 2405 secs || 7304595 markings, 55776820 edges, 812 markings/sec, 2405 secs
lola: 104 tries, 103718611 fired transitions, 2410 secs || 7308887 markings, 55898437 edges, 858 markings/sec, 2410 secs
lola: 104 tries, 103936093 fired transitions, 2415 secs || 7323607 markings, 56014012 edges, 2944 markings/sec, 2415 secs
lola: 105 tries, 104152945 fired transitions, 2420 secs || 7350242 markings, 56123956 edges, 5327 markings/sec, 2420 secs
lola: 105 tries, 104369389 fired transitions, 2425 secs || 7377111 markings, 56232895 edges, 5374 markings/sec, 2425 secs
lola: 105 tries, 104582005 fired transitions, 2430 secs || 7404092 markings, 56342819 edges, 5396 markings/sec, 2430 secs
lola: 105 tries, 104798344 fired transitions, 2435 secs || 7430692 markings, 56452809 edges, 5320 markings/sec, 2435 secs
lola: 106 tries, 105015369 fired transitions, 2440 secs || 7458165 markings, 56563191 edges, 5495 markings/sec, 2440 secs
lola: 106 tries, 105232776 fired transitions, 2445 secs || 7473265 markings, 56680928 edges, 3020 markings/sec, 2445 secs
lola: 106 tries, 105450886 fired transitions, 2450 secs || 7477353 markings, 56803334 edges, 818 markings/sec, 2450 secs
lola: 106 tries, 105668992 fired transitions, 2455 secs || 7481489 markings, 56922814 edges, 827 markings/sec, 2455 secs
lola: 106 tries, 105883030 fired transitions, 2460 secs || 7485385 markings, 57039655 edges, 779 markings/sec, 2460 secs
lola: 107 tries, 106099764 fired transitions, 2465 secs || 7489660 markings, 57159123 edges, 855 markings/sec, 2465 secs
lola: 107 tries, 106317363 fired transitions, 2470 secs || 7493687 markings, 57277495 edges, 805 markings/sec, 2470 secs
lola: 107 tries, 106533467 fired transitions, 2475 secs || 7497765 markings, 57399632 edges, 816 markings/sec, 2475 secs
lola: 107 tries, 106746875 fired transitions, 2480 secs || 7519601 markings, 57512818 edges, 4367 markings/sec, 2480 secs
lola: 107 tries, 106961905 fired transitions, 2485 secs || 7546436 markings, 57623365 edges, 5367 markings/sec, 2485 secs
lola: 108 tries, 107177410 fired transitions, 2490 secs || 7573367 markings, 57733598 edges, 5386 markings/sec, 2490 secs
lola: 108 tries, 107392294 fired transitions, 2495 secs || 7600850 markings, 57843881 edges, 5497 markings/sec, 2495 secs
lola: 108 tries, 107607162 fired transitions, 2500 secs || 7627681 markings, 57954419 edges, 5366 markings/sec, 2500 secs
lola: 108 tries, 107822204 fired transitions, 2505 secs || 7654795 markings, 58065739 edges, 5423 markings/sec, 2505 secs
lola: 109 tries, 108039549 fired transitions, 2510 secs || 7664216 markings, 58186619 edges, 1884 markings/sec, 2510 secs
lola: 109 tries, 108257144 fired transitions, 2515 secs || 7668305 markings, 58309337 edges, 818 markings/sec, 2515 secs
lola: 109 tries, 108474750 fired transitions, 2520 secs || 7672611 markings, 58431637 edges, 861 markings/sec, 2520 secs
lola: 109 tries, 108692210 fired transitions, 2525 secs || 7676677 markings, 58553958 edges, 813 markings/sec, 2525 secs
lola: 109 tries, 108909519 fired transitions, 2530 secs || 7680991 markings, 58676236 edges, 863 markings/sec, 2530 secs
lola: 110 tries, 109127306 fired transitions, 2535 secs || 7685066 markings, 58798704 edges, 815 markings/sec, 2535 secs
lola: 110 tries, 109344811 fired transitions, 2540 secs || 7690352 markings, 58917981 edges, 1057 markings/sec, 2540 secs
lola: 110 tries, 109558997 fired transitions, 2545 secs || 7717117 markings, 59028391 edges, 5353 markings/sec, 2545 secs
lola: 110 tries, 109774283 fired transitions, 2550 secs || 7743906 markings, 59136063 edges, 5358 markings/sec, 2550 secs
lola: 110 tries, 109990139 fired transitions, 2555 secs || 7770260 markings, 59245320 edges, 5271 markings/sec, 2555 secs
lola: 111 tries, 110206020 fired transitions, 2560 secs || 7797192 markings, 59353371 edges, 5386 markings/sec, 2560 secs
lola: 111 tries, 110417265 fired transitions, 2565 secs || 7824157 markings, 59464312 edges, 5393 markings/sec, 2565 secs
lola: 111 tries, 110631318 fired transitions, 2570 secs || 7851210 markings, 59575529 edges, 5411 markings/sec, 2570 secs
lola: 111 tries, 110848960 fired transitions, 2575 secs || 7857258 markings, 59697663 edges, 1210 markings/sec, 2575 secs
lola: 112 tries, 111067160 fired transitions, 2580 secs || 7861360 markings, 59819868 edges, 820 markings/sec, 2580 secs
lola: 112 tries, 111284886 fired transitions, 2585 secs || 7865405 markings, 59941885 edges, 809 markings/sec, 2585 secs
lola: 112 tries, 111502467 fired transitions, 2590 secs || 7869710 markings, 60063620 edges, 861 markings/sec, 2590 secs
lola: 112 tries, 111719100 fired transitions, 2595 secs || 7873776 markings, 60185610 edges, 813 markings/sec, 2595 secs
lola: 112 tries, 111934214 fired transitions, 2600 secs || 7878075 markings, 60307300 edges, 860 markings/sec, 2600 secs
lola: 113 tries, 112152110 fired transitions, 2605 secs || 7883784 markings, 60425404 edges, 1142 markings/sec, 2605 secs
lola: 113 tries, 112368496 fired transitions, 2610 secs || 7911203 markings, 60535824 edges, 5484 markings/sec, 2610 secs
lola: 113 tries, 112584117 fired transitions, 2615 secs || 7937944 markings, 60646086 edges, 5348 markings/sec, 2615 secs
lola: 113 tries, 112799066 fired transitions, 2620 secs || 7964814 markings, 60754719 edges, 5374 markings/sec, 2620 secs
lola: 114 tries, 113013588 fired transitions, 2625 secs || 7990435 markings, 60860733 edges, 5124 markings/sec, 2625 secs
lola: 114 tries, 113225606 fired transitions, 2630 secs || 8017220 markings, 60968853 edges, 5357 markings/sec, 2630 secs
lola: 114 tries, 113440997 fired transitions, 2635 secs || 8043797 markings, 61078743 edges, 5315 markings/sec, 2635 secs
lola: 114 tries, 113658177 fired transitions, 2640 secs || 8051760 markings, 61199716 edges, 1593 markings/sec, 2640 secs
lola: 114 tries, 113874863 fired transitions, 2645 secs || 8055847 markings, 61321654 edges, 817 markings/sec, 2645 secs
lola: 115 tries, 114091685 fired transitions, 2650 secs || 8059892 markings, 61443223 edges, 809 markings/sec, 2650 secs
lola: 115 tries, 114308369 fired transitions, 2655 secs || 8064195 markings, 61564271 edges, 861 markings/sec, 2655 secs
lola: 115 tries, 114525184 fired transitions, 2660 secs || 8068257 markings, 61686166 edges, 812 markings/sec, 2660 secs
lola: 115 tries, 114740884 fired transitions, 2665 secs || 8072531 markings, 61808198 edges, 855 markings/sec, 2665 secs
lola: 115 tries, 114955121 fired transitions, 2670 secs || 8076607 markings, 61929527 edges, 815 markings/sec, 2670 secs
lola: 116 tries, 115170735 fired transitions, 2675 secs || 8101388 markings, 62039228 edges, 4956 markings/sec, 2675 secs
lola: 116 tries, 115385457 fired transitions, 2680 secs || 8128062 markings, 62149250 edges, 5335 markings/sec, 2680 secs
lola: 116 tries, 115600215 fired transitions, 2685 secs || 8154945 markings, 62257317 edges, 5377 markings/sec, 2685 secs
lola: 116 tries, 115813091 fired transitions, 2690 secs || 8181387 markings, 62366530 edges, 5288 markings/sec, 2690 secs
lola: 117 tries, 116027153 fired transitions, 2695 secs || 8208608 markings, 62475686 edges, 5444 markings/sec, 2695 secs
lola: 117 tries, 116243104 fired transitions, 2700 secs || 8235274 markings, 62585819 edges, 5333 markings/sec, 2700 secs
lola: 117 tries, 116460496 fired transitions, 2705 secs || 8248085 markings, 62703118 edges, 2562 markings/sec, 2705 secs
lola: 117 tries, 116677750 fired transitions, 2710 secs || 8252130 markings, 62824204 edges, 809 markings/sec, 2710 secs
lola: 117 tries, 116893151 fired transitions, 2715 secs || 8256140 markings, 62941708 edges, 802 markings/sec, 2715 secs
lola: 118 tries, 117109328 fired transitions, 2720 secs || 8260162 markings, 63060649 edges, 804 markings/sec, 2720 secs
lola: 118 tries, 117324757 fired transitions, 2725 secs || 8264437 markings, 63180200 edges, 855 markings/sec, 2725 secs
lola: 118 tries, 117540462 fired transitions, 2730 secs || 8268482 markings, 63300727 edges, 809 markings/sec, 2730 secs
lola: 118 tries, 117757209 fired transitions, 2735 secs || 8272566 markings, 63422806 edges, 817 markings/sec, 2735 secs
lola: 118 tries, 117972699 fired transitions, 2740 secs || 8288631 markings, 63538675 edges, 3213 markings/sec, 2740 secs
lola: 119 tries, 118185424 fired transitions, 2745 secs || 8315721 markings, 63649986 edges, 5418 markings/sec, 2745 secs
lola: 119 tries, 118399916 fired transitions, 2750 secs || 8342850 markings, 63761344 edges, 5426 markings/sec, 2750 secs
lola: 119 tries, 118614009 fired transitions, 2755 secs || 8370506 markings, 63872162 edges, 5531 markings/sec, 2755 secs
lola: 119 tries, 118826341 fired transitions, 2760 secs || 8397638 markings, 63982885 edges, 5426 markings/sec, 2760 secs
lola: 120 tries, 119039092 fired transitions, 2765 secs || 8424745 markings, 64094178 edges, 5421 markings/sec, 2765 secs
lola: 120 tries, 119251693 fired transitions, 2770 secs || 8446430 markings, 64209430 edges, 4337 markings/sec, 2770 secs
lola: 120 tries, 119468615 fired transitions, 2775 secs || 8450490 markings, 64329809 edges, 812 markings/sec, 2775 secs
lola: 120 tries, 119682134 fired transitions, 2780 secs || 8454602 markings, 64452110 edges, 822 markings/sec, 2780 secs
lola: 120 tries, 119899027 fired transitions, 2785 secs || 8458840 markings, 64574315 edges, 848 markings/sec, 2785 secs
lola: 121 tries, 120116694 fired transitions, 2790 secs || 8462906 markings, 64695548 edges, 813 markings/sec, 2790 secs
lola: 121 tries, 120331825 fired transitions, 2795 secs || 8467220 markings, 64817732 edges, 863 markings/sec, 2795 secs
lola: 121 tries, 120548893 fired transitions, 2800 secs || 8471295 markings, 64940052 edges, 815 markings/sec, 2800 secs
lola: 121 tries, 120765440 fired transitions, 2805 secs || 8478948 markings, 65059767 edges, 1531 markings/sec, 2805 secs
lola: 121 tries, 120976465 fired transitions, 2810 secs || 8505928 markings, 65170073 edges, 5396 markings/sec, 2810 secs
lola: 122 tries, 121191770 fired transitions, 2815 secs || 8532479 markings, 65279897 edges, 5310 markings/sec, 2815 secs
lola: 122 tries, 121402673 fired transitions, 2820 secs || 8558409 markings, 65385146 edges, 5186 markings/sec, 2820 secs
lola: 122 tries, 121609493 fired transitions, 2825 secs || 8585595 markings, 65494192 edges, 5437 markings/sec, 2825 secs
lola: 122 tries, 121823512 fired transitions, 2830 secs || 8612147 markings, 65603720 edges, 5310 markings/sec, 2830 secs
lola: 123 tries, 122037915 fired transitions, 2835 secs || 8638769 markings, 65710992 edges, 5324 markings/sec, 2835 secs
lola: 123 tries, 122253308 fired transitions, 2840 secs || 8650323 markings, 65830006 edges, 2311 markings/sec, 2840 secs
lola: 123 tries, 122463302 fired transitions, 2845 secs || 8654616 markings, 65951260 edges, 859 markings/sec, 2845 secs
lola: 123 tries, 122674835 fired transitions, 2850 secs || 8658676 markings, 66071811 edges, 812 markings/sec, 2850 secs
lola: 123 tries, 122890595 fired transitions, 2855 secs || 8662721 markings, 66192555 edges, 809 markings/sec, 2855 secs
lola: 124 tries, 123102109 fired transitions, 2860 secs || 8667011 markings, 66313374 edges, 858 markings/sec, 2860 secs
lola: 124 tries, 123317240 fired transitions, 2865 secs || 8670997 markings, 66429489 edges, 797 markings/sec, 2865 secs
lola: 124 tries, 123532282 fired transitions, 2870 secs || 8674766 markings, 66545549 edges, 754 markings/sec, 2870 secs
lola: 124 tries, 123746998 fired transitions, 2875 secs || 8686039 markings, 66659609 edges, 2255 markings/sec, 2875 secs
lola: 124 tries, 123960474 fired transitions, 2880 secs || 8711635 markings, 66763399 edges, 5119 markings/sec, 2880 secs
lola: 125 tries, 124172365 fired transitions, 2885 secs || 8738169 markings, 66872065 edges, 5307 markings/sec, 2885 secs
lola: 125 tries, 124385829 fired transitions, 2890 secs || 8764960 markings, 66980917 edges, 5358 markings/sec, 2890 secs
lola: 125 tries, 124599517 fired transitions, 2895 secs || 8791552 markings, 67089653 edges, 5318 markings/sec, 2895 secs
lola: 125 tries, 124813569 fired transitions, 2900 secs || 8818285 markings, 67198910 edges, 5347 markings/sec, 2900 secs
lola: 126 tries, 125027848 fired transitions, 2905 secs || 8845334 markings, 67308344 edges, 5410 markings/sec, 2905 secs
lola: 126 tries, 125243086 fired transitions, 2910 secs || 8855490 markings, 67425567 edges, 2031 markings/sec, 2910 secs
lola: 126 tries, 125458873 fired transitions, 2915 secs || 8859460 markings, 67541455 edges, 794 markings/sec, 2915 secs
lola: 126 tries, 125675176 fired transitions, 2920 secs || 8863475 markings, 67659552 edges, 803 markings/sec, 2920 secs
lola: 126 tries, 125891500 fired transitions, 2925 secs || 8867535 markings, 67778979 edges, 812 markings/sec, 2925 secs
lola: 127 tries, 126107620 fired transitions, 2930 secs || 8871550 markings, 67896787 edges, 803 markings/sec, 2930 secs
lola: 127 tries, 126323705 fired transitions, 2935 secs || 8875565 markings, 68014605 edges, 803 markings/sec, 2935 secs
lola: 127 tries, 126539820 fired transitions, 2940 secs || 8879596 markings, 68134146 edges, 806 markings/sec, 2940 secs
lola: 127 tries, 126756568 fired transitions, 2945 secs || 8889183 markings, 68252774 edges, 1917 markings/sec, 2945 secs
lola: 127 tries, 126972679 fired transitions, 2950 secs || 8915696 markings, 68359671 edges, 5303 markings/sec, 2950 secs
lola: 128 tries, 127188850 fired transitions, 2955 secs || 8942440 markings, 68467987 edges, 5349 markings/sec, 2955 secs
lola: 128 tries, 127402579 fired transitions, 2960 secs || 8969298 markings, 68577871 edges, 5372 markings/sec, 2960 secs
lola: 128 tries, 127613190 fired transitions, 2965 secs || 8995765 markings, 68686197 edges, 5293 markings/sec, 2965 secs
lola: 128 tries, 127828102 fired transitions, 2970 secs || 9022751 markings, 68795630 edges, 5397 markings/sec, 2970 secs
lola: 129 tries, 128043692 fired transitions, 2975 secs || 9049553 markings, 68906137 edges, 5360 markings/sec, 2975 secs
lola: 129 tries, 128260418 fired transitions, 2980 secs || 9062422 markings, 69023422 edges, 2574 markings/sec, 2980 secs
lola: 129 tries, 128472353 fired transitions, 2985 secs || 9066496 markings, 69144522 edges, 815 markings/sec, 2985 secs
lola: 129 tries, 128686841 fired transitions, 2990 secs || 9070792 markings, 69266278 edges, 859 markings/sec, 2990 secs
lola: 129 tries, 128904339 fired transitions, 2995 secs || 9074877 markings, 69388083 edges, 817 markings/sec, 2995 secs
lola: 130 tries, 129122252 fired transitions, 3000 secs || 9078920 markings, 69508385 edges, 809 markings/sec, 3000 secs
lola: 130 tries, 129339823 fired transitions, 3005 secs || 9082907 markings, 69624195 edges, 797 markings/sec, 3005 secs
lola: 130 tries, 129556472 fired transitions, 3010 secs || 9086983 markings, 69745461 edges, 815 markings/sec, 3010 secs
lola: 130 tries, 129773025 fired transitions, 3015 secs || 9094689 markings, 69862230 edges, 1541 markings/sec, 3015 secs
lola: 130 tries, 129988668 fired transitions, 3020 secs || 9121046 markings, 69970233 edges, 5271 markings/sec, 3020 secs
lola: 131 tries, 130204270 fired transitions, 3025 secs || 9148014 markings, 70079455 edges, 5394 markings/sec, 3025 secs
lola: 131 tries, 130419730 fired transitions, 3030 secs || 9174589 markings, 70188303 edges, 5315 markings/sec, 3030 secs
lola: 131 tries, 130634191 fired transitions, 3035 secs || 9201339 markings, 70297519 edges, 5350 markings/sec, 3035 secs
lola: 131 tries, 130849295 fired transitions, 3040 secs || 9227748 markings, 70405252 edges, 5282 markings/sec, 3040 secs
lola: 132 tries, 131064631 fired transitions, 3045 secs || 9254580 markings, 70513755 edges, 5366 markings/sec, 3045 secs
lola: 132 tries, 131278291 fired transitions, 3050 secs || 9271532 markings, 70629620 edges, 3390 markings/sec, 3050 secs
lola: 132 tries, 131495290 fired transitions, 3055 secs || 9275574 markings, 70748472 edges, 808 markings/sec, 3055 secs
lola: 132 tries, 131712312 fired transitions, 3060 secs || 9279632 markings, 70869596 edges, 812 markings/sec, 3060 secs
lola: 132 tries, 131929361 fired transitions, 3065 secs || 9283911 markings, 70990378 edges, 856 markings/sec, 3065 secs
lola: 133 tries, 132146805 fired transitions, 3070 secs || 9287957 markings, 71110450 edges, 809 markings/sec, 3070 secs
lola: 133 tries, 132364577 fired transitions, 3075 secs || 9291972 markings, 71228719 edges, 803 markings/sec, 3075 secs
lola: 133 tries, 132581466 fired transitions, 3080 secs || 9296038 markings, 71350340 edges, 813 markings/sec, 3080 secs
lola: 133 tries, 132798768 fired transitions, 3085 secs || 9300081 markings, 71469914 edges, 809 markings/sec, 3085 secs
lola: 134 tries, 133014833 fired transitions, 3090 secs || 9324091 markings, 71580501 edges, 4802 markings/sec, 3090 secs
lola: 134 tries, 133230293 fired transitions, 3095 secs || 9351301 markings, 71690231 edges, 5442 markings/sec, 3095 secs
lola: 134 tries, 133445883 fired transitions, 3100 secs || 9377991 markings, 71800453 edges, 5338 markings/sec, 3100 secs
lola: 134 tries, 133661038 fired transitions, 3105 secs || 9405145 markings, 71910104 edges, 5431 markings/sec, 3105 secs
lola: 134 tries, 133876479 fired transitions, 3110 secs || 9432072 markings, 72019934 edges, 5385 markings/sec, 3110 secs
lola: 135 tries, 134092087 fired transitions, 3115 secs || 9458768 markings, 72130141 edges, 5339 markings/sec, 3115 secs
lola: 135 tries, 134307857 fired transitions, 3120 secs || 9482706 markings, 72242205 edges, 4788 markings/sec, 3120 secs
lola: 135 tries, 134523775 fired transitions, 3125 secs || 9486826 markings, 72364439 edges, 824 markings/sec, 3125 secs
lola: 135 tries, 134739759 fired transitions, 3130 secs || 9490879 markings, 72486243 edges, 811 markings/sec, 3130 secs
lola: 135 tries, 134956934 fired transitions, 3135 secs || 9495176 markings, 72607586 edges, 859 markings/sec, 3135 secs
lola: 136 tries, 135173584 fired transitions, 3140 secs || 9499245 markings, 72728538 edges, 814 markings/sec, 3140 secs
lola: 136 tries, 135390749 fired transitions, 3145 secs || 9503290 markings, 72850341 edges, 809 markings/sec, 3145 secs
lola: 136 tries, 135608355 fired transitions, 3150 secs || 9507595 markings, 72972042 edges, 861 markings/sec, 3150 secs
lola: 136 tries, 135825535 fired transitions, 3155 secs || 9511661 markings, 73093964 edges, 813 markings/sec, 3155 secs
lola: 137 tries, 136042190 fired transitions, 3160 secs || 9529338 markings, 73208268 edges, 3535 markings/sec, 3160 secs
lola: 137 tries, 136255032 fired transitions, 3165 secs || 9556036 markings, 73318514 edges, 5340 markings/sec, 3165 secs
lola: 137 tries, 136470380 fired transitions, 3170 secs || 9583564 markings, 73428336 edges, 5506 markings/sec, 3170 secs
lola: 137 tries, 136685886 fired transitions, 3175 secs || 9610304 markings, 73538545 edges, 5348 markings/sec, 3175 secs
lola: 137 tries, 136901400 fired transitions, 3180 secs || 9637047 markings, 73648613 edges, 5349 markings/sec, 3180 secs
lola: 138 tries, 137117145 fired transitions, 3185 secs || 9664565 markings, 73758616 edges, 5504 markings/sec, 3185 secs
lola: 138 tries, 137332584 fired transitions, 3190 secs || 9691499 markings, 73869404 edges, 5387 markings/sec, 3190 secs
lola: 138 tries, 137549689 fired transitions, 3195 secs || 9700211 markings, 73990042 edges, 1742 markings/sec, 3195 secs
lola: 138 tries, 137765148 fired transitions, 3200 secs || 9704231 markings, 74108934 edges, 804 markings/sec, 3200 secs
lola: 138 tries, 137978175 fired transitions, 3205 secs || 9708247 markings, 74226748 edges, 803 markings/sec, 3205 secs
lola: 139 tries, 138194692 fired transitions, 3210 secs || 9712377 markings, 74347495 edges, 826 markings/sec, 3210 secs
lola: 139 tries, 138410578 fired transitions, 3215 secs || 9716591 markings, 74468226 edges, 843 markings/sec, 3215 secs
lola: 139 tries, 138618729 fired transitions, 3220 secs || 9720651 markings, 74589087 edges, 812 markings/sec, 3220 secs
lola: 139 tries, 138834818 fired transitions, 3225 secs || 9724621 markings, 74704704 edges, 794 markings/sec, 3225 secs
lola: 140 tries, 139051232 fired transitions, 3230 secs || 9729332 markings, 74824726 edges, 942 markings/sec, 3230 secs
lola: 140 tries, 139265771 fired transitions, 3235 secs || 9756315 markings, 74935756 edges, 5397 markings/sec, 3235 secs
lola: 140 tries, 139480818 fired transitions, 3240 secs || 9783920 markings, 75046396 edges, 5521 markings/sec, 3240 secs
lola: 140 tries, 139695856 fired transitions, 3245 secs || 9811088 markings, 75157240 edges, 5434 markings/sec, 3245 secs
lola: 140 tries, 139911334 fired transitions, 3250 secs || 9838087 markings, 75268173 edges, 5400 markings/sec, 3250 secs
lola: 141 tries, 140127097 fired transitions, 3255 secs || 9865134 markings, 75379412 edges, 5409 markings/sec, 3255 secs
lola: 141 tries, 140342358 fired transitions, 3260 secs || 9892584 markings, 75488952 edges, 5490 markings/sec, 3260 secs
lola: 141 tries, 140557984 fired transitions, 3265 secs || 9914996 markings, 75603431 edges, 4482 markings/sec, 3265 secs
lola: 141 tries, 140771743 fired transitions, 3270 secs || 9919295 markings, 75725494 edges, 860 markings/sec, 3270 secs
lola: 141 tries, 140988193 fired transitions, 3275 secs || 9923377 markings, 75846930 edges, 816 markings/sec, 3275 secs
lola: 142 tries, 141204757 fired transitions, 3280 secs || 9927406 markings, 75967736 edges, 806 markings/sec, 3280 secs
lola: 142 tries, 141420888 fired transitions, 3285 secs || 9931696 markings, 76088704 edges, 858 markings/sec, 3285 secs
lola: 142 tries, 141635276 fired transitions, 3290 secs || 9935750 markings, 76209973 edges, 811 markings/sec, 3290 secs
lola: 142 tries, 141852774 fired transitions, 3295 secs || 9939816 markings, 76331100 edges, 813 markings/sec, 3295 secs
lola: 143 tries, 142070939 fired transitions, 3300 secs || 9944115 markings, 76452380 edges, 860 markings/sec, 3300 secs
lola: 143 tries, 142287669 fired transitions, 3305 secs || 9958692 markings, 76568515 edges, 2915 markings/sec, 3305 secs
lola: 143 tries, 142500826 fired transitions, 3310 secs || 9985833 markings, 76679896 edges, 5428 markings/sec, 3310 secs
lola: 143 tries, 142715894 fired transitions, 3315 secs || 10012900 markings, 76791155 edges, 5413 markings/sec, 3315 secs
lola: 143 tries, 142931088 fired transitions, 3320 secs || 10040084 markings, 76902183 edges, 5437 markings/sec, 3320 secs
lola: 144 tries, 143144814 fired transitions, 3325 secs || 10067694 markings, 77012833 edges, 5522 markings/sec, 3325 secs
lola: 144 tries, 143358274 fired transitions, 3330 secs || 10094099 markings, 77121968 edges, 5281 markings/sec, 3330 secs
lola: 144 tries, 143573341 fired transitions, 3335 secs || 10120618 markings, 77228937 edges, 5304 markings/sec, 3335 secs
lola: 144 tries, 143789016 fired transitions, 3340 secs || 10136193 markings, 77345519 edges, 3115 markings/sec, 3340 secs
lola: 145 tries, 144006746 fired transitions, 3345 secs || 10140252 markings, 77466649 edges, 812 markings/sec, 3345 secs
lola: 145 tries, 144224141 fired transitions, 3350 secs || 10144312 markings, 77586610 edges, 812 markings/sec, 3350 secs
lola: 145 tries, 144441179 fired transitions, 3355 secs || 10148354 markings, 77706291 edges, 808 markings/sec, 3355 secs
lola: 145 tries, 144658639 fired transitions, 3360 secs || 10152619 markings, 77826818 edges, 853 markings/sec, 3360 secs
lola: 145 tries, 144875941 fired transitions, 3365 secs || 10156677 markings, 77948176 edges, 812 markings/sec, 3365 secs
lola: 146 tries, 145093723 fired transitions, 3370 secs || 10160765 markings, 78070074 edges, 818 markings/sec, 3370 secs
lola: 146 tries, 145311046 fired transitions, 3375 secs || 10165070 markings, 78192063 edges, 861 markings/sec, 3375 secs
lola: 146 tries, 145526996 fired transitions, 3380 secs || 10183492 markings, 78305563 edges, 3684 markings/sec, 3380 secs
lola: 146 tries, 145741810 fired transitions, 3385 secs || 10211072 markings, 78416438 edges, 5516 markings/sec, 3385 secs
lola: 146 tries, 145956804 fired transitions, 3390 secs || 10238209 markings, 78527725 edges, 5427 markings/sec, 3390 secs
lola: 147 tries, 146172213 fired transitions, 3395 secs || 10265285 markings, 78638967 edges, 5415 markings/sec, 3395 secs
lola: 147 tries, 146386597 fired transitions, 3400 secs || 10292286 markings, 78749950 edges, 5400 markings/sec, 3400 secs
lola: 147 tries, 146600643 fired transitions, 3405 secs || 10319981 markings, 78860949 edges, 5539 markings/sec, 3405 secs
lola: 147 tries, 146814800 fired transitions, 3410 secs || 10347348 markings, 78972314 edges, 5473 markings/sec, 3410 secs
lola: 148 tries, 147030943 fired transitions, 3415 secs || 10359084 markings, 79091817 edges, 2347 markings/sec, 3415 secs
lola: 148 tries, 147247836 fired transitions, 3420 secs || 10363312 markings, 79213942 edges, 846 markings/sec, 3420 secs
lola: 148 tries, 147465473 fired transitions, 3425 secs || 10367400 markings, 79336041 edges, 818 markings/sec, 3425 secs
lola: 148 tries, 147682942 fired transitions, 3430 secs || 10371698 markings, 79457710 edges, 860 markings/sec, 3430 secs
lola: 148 tries, 147900350 fired transitions, 3435 secs || 10375722 markings, 79577516 edges, 805 markings/sec, 3435 secs
lola: 149 tries, 148118346 fired transitions, 3440 secs || 10379811 markings, 79699753 edges, 818 markings/sec, 3440 secs
lola: 149 tries, 148336073 fired transitions, 3445 secs || 10384115 markings, 79821626 edges, 861 markings/sec, 3445 secs
lola: 149 tries, 148552736 fired transitions, 3450 secs || 10388177 markings, 79943024 edges, 812 markings/sec, 3450 secs
lola: 149 tries, 148767418 fired transitions, 3455 secs || 10410076 markings, 80056331 edges, 4380 markings/sec, 3455 secs
lola: 149 tries, 148981692 fired transitions, 3460 secs || 10437019 markings, 80167157 edges, 5389 markings/sec, 3460 secs
lola: 150 tries, 149196569 fired transitions, 3465 secs || 10463778 markings, 80276171 edges, 5352 markings/sec, 3465 secs
lola: 150 tries, 149409174 fired transitions, 3470 secs || 10491177 markings, 80386943 edges, 5480 markings/sec, 3470 secs
lola: 150 tries, 149624214 fired transitions, 3475 secs || 10518059 markings, 80497600 edges, 5376 markings/sec, 3475 secs
lola: 150 tries, 149836621 fired transitions, 3480 secs || 10544972 markings, 80608421 edges, 5383 markings/sec, 3480 secs
lola: 151 tries, 150052203 fired transitions, 3485 secs || 10572561 markings, 80719237 edges, 5518 markings/sec, 3485 secs
lola: 151 tries, 150265888 fired transitions, 3490 secs || 10584099 markings, 80838404 edges, 2308 markings/sec, 3490 secs
lola: 151 tries, 150481621 fired transitions, 3495 secs || 10588185 markings, 80960700 edges, 817 markings/sec, 3495 secs
lola: 151 tries, 150691755 fired transitions, 3500 secs || 10592387 markings, 81082882 edges, 840 markings/sec, 3500 secs
lola: 151 tries, 150909339 fired transitions, 3505 secs || 10596535 markings, 81204567 edges, 830 markings/sec, 3505 secs
lola: 152 tries, 151123838 fired transitions, 3510 secs || 10600623 markings, 81326935 edges, 818 markings/sec, 3510 secs
lola: 152 tries, 151335882 fired transitions, 3515 secs || 10604928 markings, 81448860 edges, 861 markings/sec, 3515 secs
lola: 152 tries, 151551326 fired transitions, 3520 secs || 10608990 markings, 81570717 edges, 812 markings/sec, 3520 secs
lola: 152 tries, 151767348 fired transitions, 3525 secs || 10613281 markings, 81692726 edges, 858 markings/sec, 3525 secs
lola: 152 tries, 151981807 fired transitions, 3530 secs || 10633513 markings, 81806280 edges, 4046 markings/sec, 3530 secs
lola: 153 tries, 152196230 fired transitions, 3535 secs || 10661066 markings, 81916938 edges, 5511 markings/sec, 3535 secs
lola: 153 tries, 152407822 fired transitions, 3540 secs || 10688135 markings, 82028073 edges, 5414 markings/sec, 3540 secs
lola: 153 tries, 152619862 fired transitions, 3545 secs || 10714569 markings, 82137338 edges, 5287 markings/sec, 3545 secs
lola: 153 tries, 152833820 fired transitions, 3550 secs || 10741634 markings, 82246025 edges, 5413 markings/sec, 3550 secs
lola: 154 tries, 153048545 fired transitions, 3555 secs || 10768309 markings, 82356114 edges, 5335 markings/sec, 3555 secs
lola: time limit reached - aborting
lola: memory consumption: 1468180 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 1552604574512

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

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

Sequence of Actions to be Executed by the VM

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

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

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

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

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