Execution Chart

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

Trace from the execution

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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 2.2M
-rw-r--r-- 1 mcc users 3.7K Feb 12 18:43 CTLCardinality.txt
-rw-r--r-- 1 mcc users 18K Feb 12 18:43 CTLCardinality.xml
-rw-r--r-- 1 mcc users 4.4K Feb 9 02:04 CTLFireability.txt
-rw-r--r-- 1 mcc users 25K Feb 9 02:04 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 10 17:31 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 106 Feb 24 15:05 GlobalProperties.txt
-rw-r--r-- 1 mcc users 344 Feb 24 15:05 GlobalProperties.xml
-rw-r--r-- 1 mcc users 2.7K Feb 5 01:30 LTLCardinality.txt
-rw-r--r-- 1 mcc users 12K Feb 5 01:30 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Feb 4 22:48 LTLFireability.txt
-rw-r--r-- 1 mcc users 9.4K Feb 4 22:48 LTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Feb 4 20:38 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 18K Feb 4 20:38 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 4.4K Feb 1 20:57 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 22K Feb 1 20:57 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.8K Feb 4 22:30 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.9K Feb 4 22:30 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Jan 29 09:35 equiv_col
-rw-r--r-- 1 mcc users 3 Jan 29 09:35 instance
-rw-r--r-- 1 mcc users 6 Jan 29 09:35 iscolored
-rw-r--r-- 1 mcc users 2.0M Mar 10 17:31 model.pnml

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

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

The expected result is a vector of booleans
BOOL_VECTOR

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

=== Now, execution of the tool begins

BK_START 1552948900286

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

{
"build":
{
"architecture": 64,
"assertions": false,
"build_hostname": "mcc2019",
"build_system": "x86_64-unknown-linux-gnu",
"optimizations": true,
"package_version": "2.0",
"svn_version": "3189M"
},
"call":
{
"exec_host": "mcc2019",
"markinglimit": null,
"parameters":
[
"--pnmlnet",
"model.pnml",
"--xmlformula",
"--formula=GlobalProperties.xml",
"--mcc",
"--donotcomputecapacities",
"--encoder=simplecompressed",
"--check=modelchecking",
"--stubborn=combined",
"--siphontrap=par",
"--siphondepth=10",
"--findpath=par",
"--retrylimit=0",
"--depthlimit=1000000",
"--symmetry",
"--symmtimelimit=300",
"--threads=2",
"--symmetrydepth=1073741824",
"--timelimit=3570",
"--json=GlobalProperties.json",
"--jsoninclude=formula,formulastat,net"
],
"starttime": "Mon Mar 18 22:41:40 2019
",
"timelimit": 3570
},
"child": null,
"exit":
{
"error": null,
"memory": 1633128,
"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": 15678,
"conflict_clusters": 45,
"places": 194,
"places_significant": 145,
"singleton_clusters": 0,
"transitions": 2205
},
"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": 2432902008176640000.000000,
"composed": 166,
"dead_branches": 0,
"generators": 190,
"interrupted": false,
"real_computed": 24,
"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: 2399/268435456 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 6208
lola: finding significant places
lola: 194 places, 2205 transitions, 145 significant places
lola: compute conflict clusters
lola: computed conflict clusters
lola: Computing conflicting sets
lola: Computing back conflicting sets
lola: TASK
lola: Reading formula in XML format (--xmlformula)
lola: reading pnml
lola: reading formula from GlobalProperties.xml
lola: E (F (DEADLOCK))
lola: checking reachability
lola: Planning: workflow for reachability check: findpath||search (--findpath=par)
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: processed formula: E (F (DEADLOCK))
lola: processed formula length: 16
lola: 1 rewrites
lola: closed formula file GlobalProperties.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: SEARCH (findpath)
lola: findpath: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: computing symmetries (--symmetry)
lola: findpath: starting randomized, memory-less exploration (--findpath)
lola: findpath: searching for paths with maximal depth 1000000 (--depthlimit)
lola: time limit for symmetry computation of 300 seconds given (--symmtimelimit)
lola: findpath: no retry limit given (--retrylimit)
lola: findpath: transitions are chosen hash-driven
lola: computed 190 generators (24 in search tree, 166 by composition)
lola: representing 2.4329E+18 symmetries
lola: 0 dead branches visited in search tree
lola: 1 tries, 20262 fired transitions, 0 secs || 23057 markings, 27357 edges, 4611 markings/sec, 0 secs
lola: 1 tries, 41097 fired transitions, 5 secs || 45752 markings, 54064 edges, 4539 markings/sec, 5 secs
lola: 1 tries, 61779 fired transitions, 10 secs || 68944 markings, 81512 edges, 4638 markings/sec, 10 secs
lola: 1 tries, 82553 fired transitions, 15 secs || 91620 markings, 107993 edges, 4535 markings/sec, 15 secs
lola: 1 tries, 103271 fired transitions, 20 secs || 114937 markings, 135443 edges, 4663 markings/sec, 20 secs
lola: 1 tries, 123988 fired transitions, 25 secs || 139558 markings, 164893 edges, 4924 markings/sec, 25 secs
lola: 1 tries, 144780 fired transitions, 30 secs || 165345 markings, 196089 edges, 5157 markings/sec, 30 secs
lola: 1 tries, 165425 fired transitions, 35 secs || 191215 markings, 227082 edges, 5174 markings/sec, 35 secs
lola: 1 tries, 185898 fired transitions, 40 secs || 216491 markings, 257389 edges, 5055 markings/sec, 40 secs
lola: 1 tries, 206320 fired transitions, 45 secs || 242149 markings, 288107 edges, 5132 markings/sec, 45 secs
lola: 1 tries, 226706 fired transitions, 50 secs || 268519 markings, 320023 edges, 5274 markings/sec, 50 secs
lola: 1 tries, 247168 fired transitions, 55 secs || 295713 markings, 352820 edges, 5439 markings/sec, 55 secs
lola: 1 tries, 267492 fired transitions, 60 secs || 324878 markings, 388668 edges, 5833 markings/sec, 60 secs
lola: 1 tries, 287794 fired transitions, 65 secs || 356115 markings, 427291 edges, 6247 markings/sec, 65 secs
lola: 1 tries, 307974 fired transitions, 70 secs || 390429 markings, 470369 edges, 6863 markings/sec, 70 secs
lola: 1 tries, 328645 fired transitions, 75 secs || 419926 markings, 506665 edges, 5899 markings/sec, 75 secs
lola: 1 tries, 349008 fired transitions, 80 secs || 451210 markings, 545646 edges, 6257 markings/sec, 80 secs
lola: 1 tries, 369456 fired transitions, 85 secs || 486947 markings, 590919 edges, 7147 markings/sec, 85 secs
lola: 1 tries, 390090 fired transitions, 90 secs || 514646 markings, 624250 edges, 5540 markings/sec, 90 secs
lola: 1 tries, 410566 fired transitions, 95 secs || 548187 markings, 666418 edges, 6708 markings/sec, 95 secs
lola: 1 tries, 431085 fired transitions, 100 secs || 590705 markings, 721506 edges, 8504 markings/sec, 100 secs
lola: 1 tries, 451616 fired transitions, 105 secs || 628103 markings, 769005 edges, 7480 markings/sec, 105 secs
lola: 1 tries, 472107 fired transitions, 110 secs || 659784 markings, 808264 edges, 6336 markings/sec, 110 secs
lola: 1 tries, 492592 fired transitions, 115 secs || 687179 markings, 841629 edges, 5479 markings/sec, 115 secs
lola: 1 tries, 513060 fired transitions, 120 secs || 720890 markings, 884136 edges, 6742 markings/sec, 120 secs
lola: 1 tries, 533371 fired transitions, 125 secs || 762618 markings, 937682 edges, 8346 markings/sec, 125 secs
lola: 1 tries, 553946 fired transitions, 130 secs || 792393 markings, 974285 edges, 5955 markings/sec, 130 secs
lola: 1 tries, 574619 fired transitions, 135 secs || 828077 markings, 1019376 edges, 7137 markings/sec, 135 secs
lola: 1 tries, 595283 fired transitions, 140 secs || 855472 markings, 1052711 edges, 5479 markings/sec, 140 secs
lola: 1 tries, 615691 fired transitions, 145 secs || 894972 markings, 1103598 edges, 7900 markings/sec, 145 secs
lola: 1 tries, 636233 fired transitions, 150 secs || 929128 markings, 1146634 edges, 6831 markings/sec, 150 secs
lola: 1 tries, 656915 fired transitions, 155 secs || 960197 markings, 1185200 edges, 6214 markings/sec, 155 secs
lola: 1 tries, 677424 fired transitions, 160 secs || 992715 markings, 1225660 edges, 6504 markings/sec, 160 secs
lola: 1 tries, 698044 fired transitions, 165 secs || 1027822 markings, 1269951 edges, 7021 markings/sec, 165 secs
lola: 1 tries, 718356 fired transitions, 170 secs || 1065510 markings, 1317780 edges, 7538 markings/sec, 170 secs
lola: 1 tries, 738870 fired transitions, 175 secs || 1099093 markings, 1359867 edges, 6717 markings/sec, 175 secs
lola: 1 tries, 759444 fired transitions, 180 secs || 1141970 markings, 1415506 edges, 8575 markings/sec, 180 secs
lola: 1 tries, 779987 fired transitions, 185 secs || 1182795 markings, 1467874 edges, 8165 markings/sec, 185 secs
lola: 1 tries, 800490 fired transitions, 190 secs || 1224593 markings, 1521720 edges, 8360 markings/sec, 190 secs
lola: 1 tries, 821206 fired transitions, 195 secs || 1258366 markings, 1564061 edges, 6755 markings/sec, 195 secs
lola: 1 tries, 841669 fired transitions, 200 secs || 1292712 markings, 1607395 edges, 6869 markings/sec, 200 secs
lola: 1 tries, 862279 fired transitions, 205 secs || 1330200 markings, 1655146 edges, 7498 markings/sec, 205 secs
lola: 1 tries, 882736 fired transitions, 210 secs || 1359602 markings, 1691574 edges, 5880 markings/sec, 210 secs
lola: 1 tries, 903158 fired transitions, 215 secs || 1399622 markings, 1742953 edges, 8004 markings/sec, 215 secs
lola: 1 tries, 923353 fired transitions, 220 secs || 1437339 markings, 1791362 edges, 7543 markings/sec, 220 secs
lola: 1 tries, 943712 fired transitions, 225 secs || 1466893 markings, 1827801 edges, 5911 markings/sec, 225 secs
lola: 1 tries, 964068 fired transitions, 230 secs || 1496894 markings, 1864821 edges, 6000 markings/sec, 230 secs
lola: 1 tries, 984406 fired transitions, 235 secs || 1530467 markings, 1906986 edges, 6715 markings/sec, 235 secs
lola: 2 tries, 1004764 fired transitions, 240 secs || 1564042 markings, 1949346 edges, 6715 markings/sec, 240 secs
lola: 2 tries, 1025066 fired transitions, 245 secs || 1600289 markings, 1995250 edges, 7249 markings/sec, 245 secs
lola: 2 tries, 1045343 fired transitions, 250 secs || 1635365 markings, 2039677 edges, 7015 markings/sec, 250 secs
lola: 2 tries, 1065739 fired transitions, 255 secs || 1666776 markings, 2078873 edges, 6282 markings/sec, 255 secs
lola: 2 tries, 1086176 fired transitions, 260 secs || 1701589 markings, 2122901 edges, 6963 markings/sec, 260 secs
lola: 2 tries, 1106718 fired transitions, 265 secs || 1737579 markings, 2168897 edges, 7198 markings/sec, 265 secs
lola: 2 tries, 1127326 fired transitions, 270 secs || 1770067 markings, 2209500 edges, 6498 markings/sec, 270 secs
lola: 2 tries, 1147620 fired transitions, 275 secs || 1804523 markings, 2253036 edges, 6891 markings/sec, 275 secs
lola: 2 tries, 1167967 fired transitions, 280 secs || 1840004 markings, 2298558 edges, 7096 markings/sec, 280 secs
lola: 2 tries, 1188235 fired transitions, 285 secs || 1876950 markings, 2345730 edges, 7389 markings/sec, 285 secs
lola: 2 tries, 1208621 fired transitions, 290 secs || 1909394 markings, 2386281 edges, 6489 markings/sec, 290 secs
lola: 2 tries, 1228843 fired transitions, 295 secs || 1947395 markings, 2434591 edges, 7600 markings/sec, 295 secs
lola: 2 tries, 1249175 fired transitions, 300 secs || 1980171 markings, 2475734 edges, 6555 markings/sec, 300 secs
lola: 2 tries, 1269514 fired transitions, 305 secs || 2013045 markings, 2517042 edges, 6575 markings/sec, 305 secs
lola: 2 tries, 1289915 fired transitions, 310 secs || 2042240 markings, 2553208 edges, 5839 markings/sec, 310 secs
lola: 2 tries, 1310240 fired transitions, 315 secs || 2072853 markings, 2591576 edges, 6123 markings/sec, 315 secs
lola: 2 tries, 1330424 fired transitions, 320 secs || 2107262 markings, 2635180 edges, 6882 markings/sec, 320 secs
lola: 2 tries, 1350778 fired transitions, 325 secs || 2139422 markings, 2675837 edges, 6432 markings/sec, 325 secs
lola: 2 tries, 1371194 fired transitions, 330 secs || 2170783 markings, 2714949 edges, 6272 markings/sec, 330 secs
lola: 2 tries, 1391736 fired transitions, 335 secs || 2202837 markings, 2754810 edges, 6411 markings/sec, 335 secs
lola: 2 tries, 1412230 fired transitions, 340 secs || 2231045 markings, 2789282 edges, 5642 markings/sec, 340 secs
lola: 2 tries, 1433017 fired transitions, 345 secs || 2262802 markings, 2828949 edges, 6351 markings/sec, 345 secs
lola: 2 tries, 1453598 fired transitions, 350 secs || 2297924 markings, 2873196 edges, 7024 markings/sec, 350 secs
lola: 2 tries, 1474068 fired transitions, 355 secs || 2333532 markings, 2918408 edges, 7122 markings/sec, 355 secs
lola: 2 tries, 1494532 fired transitions, 360 secs || 2368418 markings, 2962545 edges, 6977 markings/sec, 360 secs
lola: 2 tries, 1515144 fired transitions, 365 secs || 2404895 markings, 3008739 edges, 7295 markings/sec, 365 secs
lola: 2 tries, 1535898 fired transitions, 370 secs || 2438260 markings, 3050622 edges, 6673 markings/sec, 370 secs
lola: 2 tries, 1556426 fired transitions, 375 secs || 2474820 markings, 3096961 edges, 7312 markings/sec, 375 secs
lola: 2 tries, 1577253 fired transitions, 380 secs || 2504612 markings, 3133703 edges, 5958 markings/sec, 380 secs
lola: 2 tries, 1597809 fired transitions, 385 secs || 2538641 markings, 3176367 edges, 6806 markings/sec, 385 secs
lola: 2 tries, 1618555 fired transitions, 390 secs || 2566521 markings, 3210347 edges, 5576 markings/sec, 390 secs
lola: 2 tries, 1638819 fired transitions, 395 secs || 2601602 markings, 3254941 edges, 7016 markings/sec, 395 secs
lola: 2 tries, 1659196 fired transitions, 400 secs || 2636969 markings, 3299865 edges, 7073 markings/sec, 400 secs
lola: 2 tries, 1679695 fired transitions, 405 secs || 2673689 markings, 3346636 edges, 7344 markings/sec, 405 secs
lola: 2 tries, 1700494 fired transitions, 410 secs || 2707171 markings, 3388778 edges, 6696 markings/sec, 410 secs
lola: 2 tries, 1721204 fired transitions, 415 secs || 2742226 markings, 3433206 edges, 7011 markings/sec, 415 secs
lola: 2 tries, 1741914 fired transitions, 420 secs || 2777239 markings, 3477537 edges, 7003 markings/sec, 420 secs
lola: 2 tries, 1762515 fired transitions, 425 secs || 2813305 markings, 3523542 edges, 7213 markings/sec, 425 secs
lola: 2 tries, 1783223 fired transitions, 430 secs || 2846871 markings, 3565576 edges, 6713 markings/sec, 430 secs
lola: 2 tries, 1803680 fired transitions, 435 secs || 2881753 markings, 3610000 edges, 6976 markings/sec, 435 secs
lola: 2 tries, 1824147 fired transitions, 440 secs || 2912524 markings, 3648469 edges, 6154 markings/sec, 440 secs
lola: 2 tries, 1844602 fired transitions, 445 secs || 2950183 markings, 3696517 edges, 7532 markings/sec, 445 secs
lola: 2 tries, 1865341 fired transitions, 450 secs || 2981374 markings, 3735247 edges, 6238 markings/sec, 450 secs
lola: 2 tries, 1886029 fired transitions, 455 secs || 3014939 markings, 3777375 edges, 6713 markings/sec, 455 secs
lola: 2 tries, 1906531 fired transitions, 460 secs || 3054920 markings, 3828826 edges, 7996 markings/sec, 460 secs
lola: 2 tries, 1926890 fired transitions, 465 secs || 3096343 markings, 3882629 edges, 8285 markings/sec, 465 secs
lola: 2 tries, 1947421 fired transitions, 470 secs || 3132883 markings, 3929216 edges, 7308 markings/sec, 470 secs
lola: 2 tries, 1968175 fired transitions, 475 secs || 3164720 markings, 3968922 edges, 6367 markings/sec, 475 secs
lola: 2 tries, 1988784 fired transitions, 480 secs || 3196150 markings, 4008155 edges, 6286 markings/sec, 480 secs
lola: 3 tries, 2009228 fired transitions, 485 secs || 3233135 markings, 4055155 edges, 7397 markings/sec, 485 secs
lola: 3 tries, 2029757 fired transitions, 490 secs || 3272735 markings, 4105648 edges, 7920 markings/sec, 490 secs
lola: 3 tries, 2050356 fired transitions, 495 secs || 3309432 markings, 4152270 edges, 7339 markings/sec, 495 secs
lola: 3 tries, 2071141 fired transitions, 500 secs || 3341577 markings, 4192218 edges, 6429 markings/sec, 500 secs
lola: 3 tries, 2091698 fired transitions, 505 secs || 3377615 markings, 4238186 edges, 7208 markings/sec, 505 secs
lola: 3 tries, 2112071 fired transitions, 510 secs || 3415205 markings, 4286385 edges, 7518 markings/sec, 510 secs
lola: 3 tries, 2132459 fired transitions, 515 secs || 3446589 markings, 4325757 edges, 6277 markings/sec, 515 secs
lola: 3 tries, 2153329 fired transitions, 520 secs || 3483487 markings, 4372784 edges, 7380 markings/sec, 520 secs
lola: 3 tries, 2174037 fired transitions, 525 secs || 3520651 markings, 4420131 edges, 7433 markings/sec, 525 secs
lola: 3 tries, 2194583 fired transitions, 530 secs || 3559902 markings, 4470655 edges, 7850 markings/sec, 530 secs
lola: 3 tries, 2215319 fired transitions, 535 secs || 3596826 markings, 4517677 edges, 7385 markings/sec, 535 secs
lola: 3 tries, 2235620 fired transitions, 540 secs || 3633817 markings, 4564821 edges, 7398 markings/sec, 540 secs
lola: 3 tries, 2255861 fired transitions, 545 secs || 3671132 markings, 4612441 edges, 7463 markings/sec, 545 secs
lola: 3 tries, 2276130 fired transitions, 550 secs || 3708705 markings, 4660475 edges, 7515 markings/sec, 550 secs
lola: 3 tries, 2296523 fired transitions, 555 secs || 3749062 markings, 4712431 edges, 8071 markings/sec, 555 secs
lola: 3 tries, 2317153 fired transitions, 560 secs || 3785324 markings, 4758284 edges, 7252 markings/sec, 560 secs
lola: 3 tries, 2338024 fired transitions, 565 secs || 3819428 markings, 4801328 edges, 6821 markings/sec, 565 secs
lola: 3 tries, 2358229 fired transitions, 570 secs || 3859529 markings, 4852945 edges, 8020 markings/sec, 570 secs
lola: 3 tries, 2378432 fired transitions, 575 secs || 3900138 markings, 4905015 edges, 8122 markings/sec, 575 secs
lola: 3 tries, 2398811 fired transitions, 580 secs || 3933884 markings, 4947763 edges, 6749 markings/sec, 580 secs
lola: 3 tries, 2418975 fired transitions, 585 secs || 3974896 markings, 5000752 edges, 8202 markings/sec, 585 secs
lola: 3 tries, 2439319 fired transitions, 590 secs || 4009772 markings, 5045107 edges, 6975 markings/sec, 590 secs
lola: 3 tries, 2459487 fired transitions, 595 secs || 4053157 markings, 5101454 edges, 8677 markings/sec, 595 secs
lola: 3 tries, 2480008 fired transitions, 600 secs || 4085893 markings, 5142571 edges, 6547 markings/sec, 600 secs
lola: 3 tries, 2501127 fired transitions, 605 secs || 4129110 markings, 5198656 edges, 8643 markings/sec, 605 secs
lola: 3 tries, 2521667 fired transitions, 610 secs || 4173005 markings, 5255775 edges, 8779 markings/sec, 610 secs
lola: 3 tries, 2542712 fired transitions, 615 secs || 4212623 markings, 5306689 edges, 7924 markings/sec, 615 secs
lola: 3 tries, 2563436 fired transitions, 620 secs || 4245965 markings, 5348613 edges, 6668 markings/sec, 620 secs
lola: 3 tries, 2583772 fired transitions, 625 secs || 4281211 markings, 5393556 edges, 7049 markings/sec, 625 secs
lola: 3 tries, 2604695 fired transitions, 630 secs || 4316440 markings, 5438035 edges, 7046 markings/sec, 630 secs
lola: 3 tries, 2625736 fired transitions, 635 secs || 4347152 markings, 5476347 edges, 6142 markings/sec, 635 secs
lola: 3 tries, 2646798 fired transitions, 640 secs || 4388395 markings, 5529289 edges, 8249 markings/sec, 640 secs
lola: 3 tries, 2667919 fired transitions, 645 secs || 4423318 markings, 5573259 edges, 6985 markings/sec, 645 secs
lola: 3 tries, 2688603 fired transitions, 650 secs || 4460319 markings, 5620280 edges, 7400 markings/sec, 650 secs
lola: 3 tries, 2709291 fired transitions, 655 secs || 4496183 markings, 5665834 edges, 7173 markings/sec, 655 secs
lola: 3 tries, 2729956 fired transitions, 660 secs || 4535646 markings, 5716448 edges, 7893 markings/sec, 660 secs
lola: 3 tries, 2750624 fired transitions, 665 secs || 4572020 markings, 5762808 edges, 7275 markings/sec, 665 secs
lola: 3 tries, 2771325 fired transitions, 670 secs || 4604707 markings, 5803735 edges, 6537 markings/sec, 670 secs
lola: 3 tries, 2791706 fired transitions, 675 secs || 4636440 markings, 5843331 edges, 6347 markings/sec, 675 secs
lola: 3 tries, 2812363 fired transitions, 680 secs || 4675751 markings, 5894394 edges, 7862 markings/sec, 680 secs
lola: 3 tries, 2832910 fired transitions, 685 secs || 4715218 markings, 5945648 edges, 7893 markings/sec, 685 secs
lola: 3 tries, 2854132 fired transitions, 690 secs || 4750801 markings, 5990932 edges, 7117 markings/sec, 690 secs
lola: 3 tries, 2874686 fired transitions, 695 secs || 4789682 markings, 6041065 edges, 7776 markings/sec, 695 secs
lola: 3 tries, 2895082 fired transitions, 700 secs || 4823372 markings, 6083909 edges, 6738 markings/sec, 700 secs
lola: 3 tries, 2915479 fired transitions, 705 secs || 4855994 markings, 6125022 edges, 6524 markings/sec, 705 secs
lola: 3 tries, 2936071 fired transitions, 710 secs || 4891573 markings, 6170539 edges, 7116 markings/sec, 710 secs
lola: 3 tries, 2956748 fired transitions, 715 secs || 4930287 markings, 6220509 edges, 7743 markings/sec, 715 secs
lola: 3 tries, 2976899 fired transitions, 720 secs || 4973994 markings, 6277770 edges, 8741 markings/sec, 720 secs
lola: 3 tries, 2997178 fired transitions, 725 secs || 5012318 markings, 6327117 edges, 7665 markings/sec, 725 secs
lola: 4 tries, 3017547 fired transitions, 730 secs || 5045548 markings, 6369108 edges, 6646 markings/sec, 730 secs
lola: 4 tries, 3037847 fired transitions, 735 secs || 5083263 markings, 6417431 edges, 7543 markings/sec, 735 secs
lola: 4 tries, 3058509 fired transitions, 740 secs || 5116354 markings, 6458977 edges, 6618 markings/sec, 740 secs
lola: 4 tries, 3079095 fired transitions, 745 secs || 5154875 markings, 6508633 edges, 7704 markings/sec, 745 secs
lola: 4 tries, 3099801 fired transitions, 750 secs || 5189729 markings, 6552814 edges, 6971 markings/sec, 750 secs
lola: 4 tries, 3120447 fired transitions, 755 secs || 5222782 markings, 6594575 edges, 6611 markings/sec, 755 secs
lola: 4 tries, 3140957 fired transitions, 760 secs || 5267629 markings, 6653460 edges, 8969 markings/sec, 760 secs
lola: 4 tries, 3161625 fired transitions, 765 secs || 5307309 markings, 6704614 edges, 7936 markings/sec, 765 secs
lola: 4 tries, 3182111 fired transitions, 770 secs || 5342268 markings, 6748944 edges, 6992 markings/sec, 770 secs
lola: 4 tries, 3202461 fired transitions, 775 secs || 5375111 markings, 6790193 edges, 6569 markings/sec, 775 secs
lola: 4 tries, 3222762 fired transitions, 780 secs || 5410831 markings, 6835600 edges, 7144 markings/sec, 780 secs
lola: 4 tries, 3242923 fired transitions, 785 secs || 5453310 markings, 6890812 edges, 8496 markings/sec, 785 secs
lola: 4 tries, 3263093 fired transitions, 790 secs || 5494881 markings, 6944678 edges, 8314 markings/sec, 790 secs
lola: 4 tries, 3283614 fired transitions, 795 secs || 5531946 markings, 6992325 edges, 7413 markings/sec, 795 secs
lola: 4 tries, 3304264 fired transitions, 800 secs || 5565170 markings, 7034340 edges, 6645 markings/sec, 800 secs
lola: 4 tries, 3324834 fired transitions, 805 secs || 5599389 markings, 7077680 edges, 6844 markings/sec, 805 secs
lola: 4 tries, 3345198 fired transitions, 810 secs || 5633885 markings, 7121499 edges, 6899 markings/sec, 810 secs
lola: 4 tries, 3365585 fired transitions, 815 secs || 5665622 markings, 7161666 edges, 6347 markings/sec, 815 secs
lola: 4 tries, 3386184 fired transitions, 820 secs || 5695922 markings, 7199368 edges, 6060 markings/sec, 820 secs
lola: 4 tries, 3406662 fired transitions, 825 secs || 5735309 markings, 7250173 edges, 7877 markings/sec, 825 secs
lola: 4 tries, 3427257 fired transitions, 830 secs || 5775273 markings, 7301481 edges, 7993 markings/sec, 830 secs
lola: 4 tries, 3447797 fired transitions, 835 secs || 5818323 markings, 7357855 edges, 8610 markings/sec, 835 secs
lola: 4 tries, 3468181 fired transitions, 840 secs || 5854599 markings, 7403802 edges, 7255 markings/sec, 840 secs
lola: 4 tries, 3488513 fired transitions, 845 secs || 5889965 markings, 7449237 edges, 7073 markings/sec, 845 secs
lola: 4 tries, 3508779 fired transitions, 850 secs || 5927152 markings, 7496859 edges, 7437 markings/sec, 850 secs
lola: 4 tries, 3529189 fired transitions, 855 secs || 5960988 markings, 7539884 edges, 6767 markings/sec, 855 secs
lola: 4 tries, 3549486 fired transitions, 860 secs || 5998151 markings, 7587479 edges, 7433 markings/sec, 860 secs
lola: 4 tries, 3569925 fired transitions, 865 secs || 6031027 markings, 7628755 edges, 6575 markings/sec, 865 secs
lola: 4 tries, 3590267 fired transitions, 870 secs || 6066904 markings, 7674751 edges, 7175 markings/sec, 870 secs
lola: 4 tries, 3610824 fired transitions, 875 secs || 6106274 markings, 7725761 edges, 7874 markings/sec, 875 secs
lola: 4 tries, 3631532 fired transitions, 880 secs || 6140243 markings, 7768858 edges, 6794 markings/sec, 880 secs
lola: 4 tries, 3652008 fired transitions, 885 secs || 6173291 markings, 7810604 edges, 6610 markings/sec, 885 secs
lola: 4 tries, 3672239 fired transitions, 890 secs || 6212130 markings, 7860554 edges, 7768 markings/sec, 890 secs
lola: 4 tries, 3692622 fired transitions, 895 secs || 6245844 markings, 7903376 edges, 6743 markings/sec, 895 secs
lola: 4 tries, 3713026 fired transitions, 900 secs || 6275281 markings, 7939854 edges, 5887 markings/sec, 900 secs
lola: 4 tries, 3733321 fired transitions, 905 secs || 6311101 markings, 7985866 edges, 7164 markings/sec, 905 secs
lola: 4 tries, 3753813 fired transitions, 910 secs || 6349857 markings, 8035626 edges, 7751 markings/sec, 910 secs
lola: 4 tries, 3774363 fired transitions, 915 secs || 6384461 markings, 8079291 edges, 6921 markings/sec, 915 secs
lola: 4 tries, 3794990 fired transitions, 920 secs || 6419335 markings, 8124060 edges, 6975 markings/sec, 920 secs
lola: 4 tries, 3815266 fired transitions, 925 secs || 6459837 markings, 8176371 edges, 8100 markings/sec, 925 secs
lola: 4 tries, 3836145 fired transitions, 930 secs || 6494805 markings, 8220634 edges, 6994 markings/sec, 930 secs
lola: 4 tries, 3857385 fired transitions, 935 secs || 6533655 markings, 8270795 edges, 7770 markings/sec, 935 secs
lola: 4 tries, 3878248 fired transitions, 940 secs || 6575289 markings, 8324870 edges, 8327 markings/sec, 940 secs
lola: 4 tries, 3899460 fired transitions, 945 secs || 6618575 markings, 8381689 edges, 8657 markings/sec, 945 secs
lola: 4 tries, 3920657 fired transitions, 950 secs || 6657648 markings, 8431711 edges, 7815 markings/sec, 950 secs
lola: 4 tries, 3941308 fired transitions, 955 secs || 6691878 markings, 8475180 edges, 6846 markings/sec, 955 secs
lola: 4 tries, 3962102 fired transitions, 960 secs || 6732110 markings, 8527215 edges, 8046 markings/sec, 960 secs
lola: 4 tries, 3982458 fired transitions, 965 secs || 6766632 markings, 8571356 edges, 6904 markings/sec, 965 secs
lola: 5 tries, 4002876 fired transitions, 970 secs || 6806122 markings, 8622343 edges, 7898 markings/sec, 970 secs
lola: 5 tries, 4023358 fired transitions, 975 secs || 6847539 markings, 8676159 edges, 8283 markings/sec, 975 secs
lola: 5 tries, 4044124 fired transitions, 980 secs || 6877624 markings, 8713644 edges, 6017 markings/sec, 980 secs
lola: 5 tries, 4064958 fired transitions, 985 secs || 6908564 markings, 8752236 edges, 6188 markings/sec, 985 secs
lola: 5 tries, 4085412 fired transitions, 990 secs || 6944044 markings, 8797343 edges, 7096 markings/sec, 990 secs
lola: 5 tries, 4106022 fired transitions, 995 secs || 6988989 markings, 8856077 edges, 8989 markings/sec, 995 secs
lola: 5 tries, 4126765 fired transitions, 1000 secs || 7022246 markings, 8897997 edges, 6651 markings/sec, 1000 secs
lola: 5 tries, 4147303 fired transitions, 1005 secs || 7054143 markings, 8938008 edges, 6379 markings/sec, 1005 secs
lola: 5 tries, 4167976 fired transitions, 1010 secs || 7090802 markings, 8984793 edges, 7332 markings/sec, 1010 secs
lola: 5 tries, 4188679 fired transitions, 1015 secs || 7125024 markings, 9028182 edges, 6844 markings/sec, 1015 secs
lola: 5 tries, 4209358 fired transitions, 1020 secs || 7159061 markings, 9071201 edges, 6807 markings/sec, 1020 secs
lola: 5 tries, 4230044 fired transitions, 1025 secs || 7192339 markings, 9113066 edges, 6656 markings/sec, 1025 secs
lola: 5 tries, 4250631 fired transitions, 1030 secs || 7226458 markings, 9156235 edges, 6824 markings/sec, 1030 secs
lola: 5 tries, 4271392 fired transitions, 1035 secs || 7257473 markings, 9194752 edges, 6203 markings/sec, 1035 secs
lola: 5 tries, 4292019 fired transitions, 1040 secs || 7292777 markings, 9239573 edges, 7061 markings/sec, 1040 secs
lola: 5 tries, 4312526 fired transitions, 1045 secs || 7325227 markings, 9280517 edges, 6490 markings/sec, 1045 secs
lola: 5 tries, 4332937 fired transitions, 1050 secs || 7355724 markings, 9318649 edges, 6099 markings/sec, 1050 secs
lola: 5 tries, 4353854 fired transitions, 1055 secs || 7393212 markings, 9366785 edges, 7498 markings/sec, 1055 secs
lola: 5 tries, 4374690 fired transitions, 1060 secs || 7431640 markings, 9416189 edges, 7686 markings/sec, 1060 secs
lola: 5 tries, 4395163 fired transitions, 1065 secs || 7467743 markings, 9462297 edges, 7221 markings/sec, 1065 secs
lola: 5 tries, 4415460 fired transitions, 1070 secs || 7503328 markings, 9507535 edges, 7117 markings/sec, 1070 secs
lola: 5 tries, 4435718 fired transitions, 1075 secs || 7539120 markings, 9553242 edges, 7158 markings/sec, 1075 secs
lola: 5 tries, 4456049 fired transitions, 1080 secs || 7572419 markings, 9595388 edges, 6660 markings/sec, 1080 secs
lola: 5 tries, 4476242 fired transitions, 1085 secs || 7610868 markings, 9644743 edges, 7690 markings/sec, 1085 secs
lola: 5 tries, 4496638 fired transitions, 1090 secs || 7642000 markings, 9683876 edges, 6226 markings/sec, 1090 secs
lola: 5 tries, 4516978 fired transitions, 1095 secs || 7677077 markings, 9728775 edges, 7015 markings/sec, 1095 secs
lola: 5 tries, 4537390 fired transitions, 1100 secs || 7712539 markings, 9774113 edges, 7092 markings/sec, 1100 secs
lola: 5 tries, 4557660 fired transitions, 1105 secs || 7748858 markings, 9820720 edges, 7264 markings/sec, 1105 secs
lola: 5 tries, 4578045 fired transitions, 1110 secs || 7781334 markings, 9861544 edges, 6495 markings/sec, 1110 secs
lola: 5 tries, 4598259 fired transitions, 1115 secs || 7820391 markings, 9912004 edges, 7811 markings/sec, 1115 secs
lola: 5 tries, 4618561 fired transitions, 1120 secs || 7856293 markings, 9957908 edges, 7180 markings/sec, 1120 secs
lola: 5 tries, 4639115 fired transitions, 1125 secs || 7899101 markings, 10014050 edges, 8562 markings/sec, 1125 secs
lola: 5 tries, 4659492 fired transitions, 1130 secs || 7933093 markings, 10057135 edges, 6798 markings/sec, 1130 secs
lola: 5 tries, 4679902 fired transitions, 1135 secs || 7970393 markings, 10104933 edges, 7460 markings/sec, 1135 secs
lola: 5 tries, 4700398 fired transitions, 1140 secs || 8007027 markings, 10152105 edges, 7327 markings/sec, 1140 secs
lola: 5 tries, 4721295 fired transitions, 1145 secs || 8046415 markings, 10202917 edges, 7878 markings/sec, 1145 secs
lola: 5 tries, 4741653 fired transitions, 1150 secs || 8078916 markings, 10243985 edges, 6500 markings/sec, 1150 secs
lola: 5 tries, 4762025 fired transitions, 1155 secs || 8114444 markings, 10289321 edges, 7106 markings/sec, 1155 secs
lola: 5 tries, 4782619 fired transitions, 1160 secs || 8148919 markings, 10333037 edges, 6895 markings/sec, 1160 secs
lola: 5 tries, 4803184 fired transitions, 1165 secs || 8187038 markings, 10382074 edges, 7624 markings/sec, 1165 secs
lola: 5 tries, 4823608 fired transitions, 1170 secs || 8219364 markings, 10422877 edges, 6465 markings/sec, 1170 secs
lola: 5 tries, 4843848 fired transitions, 1175 secs || 8256915 markings, 10471307 edges, 7510 markings/sec, 1175 secs
lola: 5 tries, 4864247 fired transitions, 1180 secs || 8288429 markings, 10511055 edges, 6303 markings/sec, 1180 secs
lola: 5 tries, 4884690 fired transitions, 1185 secs || 8318115 markings, 10548242 edges, 5937 markings/sec, 1185 secs
lola: 5 tries, 4904984 fired transitions, 1190 secs || 8355129 markings, 10595666 edges, 7403 markings/sec, 1190 secs
lola: 5 tries, 4925726 fired transitions, 1195 secs || 8386788 markings, 10635527 edges, 6332 markings/sec, 1195 secs
lola: 5 tries, 4946075 fired transitions, 1200 secs || 8422011 markings, 10680620 edges, 7045 markings/sec, 1200 secs
lola: 5 tries, 4966273 fired transitions, 1205 secs || 8460903 markings, 10730830 edges, 7778 markings/sec, 1205 secs
lola: 5 tries, 4986668 fired transitions, 1210 secs || 8491454 markings, 10768912 edges, 6110 markings/sec, 1210 secs
lola: 6 tries, 5006846 fired transitions, 1215 secs || 8533803 markings, 10824201 edges, 8470 markings/sec, 1215 secs
lola: 6 tries, 5027651 fired transitions, 1220 secs || 8568848 markings, 10869098 edges, 7009 markings/sec, 1220 secs
lola: 6 tries, 5048189 fired transitions, 1225 secs || 8602561 markings, 10912262 edges, 6743 markings/sec, 1225 secs
lola: 6 tries, 5068469 fired transitions, 1230 secs || 8635930 markings, 10954667 edges, 6674 markings/sec, 1230 secs
lola: 6 tries, 5088770 fired transitions, 1235 secs || 8673883 markings, 11003979 edges, 7591 markings/sec, 1235 secs
lola: 6 tries, 5109478 fired transitions, 1240 secs || 8704971 markings, 11042839 edges, 6218 markings/sec, 1240 secs
lola: 6 tries, 5129754 fired transitions, 1245 secs || 8739299 markings, 11086835 edges, 6866 markings/sec, 1245 secs
lola: 6 tries, 5150084 fired transitions, 1250 secs || 8774596 markings, 11132026 edges, 7059 markings/sec, 1250 secs
lola: 6 tries, 5170435 fired transitions, 1255 secs || 8808164 markings, 11174577 edges, 6714 markings/sec, 1255 secs
lola: 6 tries, 5190766 fired transitions, 1260 secs || 8837972 markings, 11211888 edges, 5962 markings/sec, 1260 secs
lola: 6 tries, 5211124 fired transitions, 1265 secs || 8872306 markings, 11255695 edges, 6867 markings/sec, 1265 secs
lola: 6 tries, 5231390 fired transitions, 1270 secs || 8911746 markings, 11306781 edges, 7888 markings/sec, 1270 secs
lola: 6 tries, 5251925 fired transitions, 1275 secs || 8945616 markings, 11349720 edges, 6774 markings/sec, 1275 secs
lola: 6 tries, 5272101 fired transitions, 1280 secs || 8986005 markings, 11402522 edges, 8078 markings/sec, 1280 secs
lola: 6 tries, 5292400 fired transitions, 1285 secs || 9020564 markings, 11446608 edges, 6912 markings/sec, 1285 secs
lola: 6 tries, 5312784 fired transitions, 1290 secs || 9052710 markings, 11487169 edges, 6429 markings/sec, 1290 secs
lola: 6 tries, 5333244 fired transitions, 1295 secs || 9083989 markings, 11526585 edges, 6256 markings/sec, 1295 secs
lola: 6 tries, 5354614 fired transitions, 1300 secs || 9119657 markings, 11572209 edges, 7134 markings/sec, 1300 secs
lola: 6 tries, 5375131 fired transitions, 1305 secs || 9157046 markings, 11620538 edges, 7478 markings/sec, 1305 secs
lola: 6 tries, 5395425 fired transitions, 1310 secs || 9196596 markings, 11672183 edges, 7910 markings/sec, 1310 secs
lola: 6 tries, 5415739 fired transitions, 1315 secs || 9236332 markings, 11723376 edges, 7947 markings/sec, 1315 secs
lola: 6 tries, 5436157 fired transitions, 1320 secs || 9270054 markings, 11766212 edges, 6744 markings/sec, 1320 secs
lola: 6 tries, 5456487 fired transitions, 1325 secs || 9303709 markings, 11809056 edges, 6731 markings/sec, 1325 secs
lola: 6 tries, 5477466 fired transitions, 1330 secs || 9335018 markings, 11848408 edges, 6262 markings/sec, 1330 secs
lola: 6 tries, 5497771 fired transitions, 1335 secs || 9367949 markings, 11890287 edges, 6586 markings/sec, 1335 secs
lola: 6 tries, 5517993 fired transitions, 1340 secs || 9404981 markings, 11937867 edges, 7406 markings/sec, 1340 secs
lola: 6 tries, 5538529 fired transitions, 1345 secs || 9433547 markings, 11973312 edges, 5713 markings/sec, 1345 secs
lola: 6 tries, 5558906 fired transitions, 1350 secs || 9465444 markings, 12013774 edges, 6379 markings/sec, 1350 secs
lola: 6 tries, 5579153 fired transitions, 1355 secs || 9501801 markings, 12060726 edges, 7271 markings/sec, 1355 secs
lola: 6 tries, 5599410 fired transitions, 1360 secs || 9538496 markings, 12108124 edges, 7339 markings/sec, 1360 secs
lola: 6 tries, 5619728 fired transitions, 1365 secs || 9574479 markings, 12154186 edges, 7197 markings/sec, 1365 secs
lola: 6 tries, 5639977 fired transitions, 1370 secs || 9611992 markings, 12202580 edges, 7503 markings/sec, 1370 secs
lola: 6 tries, 5661069 fired transitions, 1375 secs || 9652636 markings, 12255585 edges, 8129 markings/sec, 1375 secs
lola: 6 tries, 5682097 fired transitions, 1380 secs || 9691390 markings, 12305461 edges, 7751 markings/sec, 1380 secs
lola: 6 tries, 5702714 fired transitions, 1385 secs || 9731435 markings, 12357285 edges, 8009 markings/sec, 1385 secs
lola: 6 tries, 5722874 fired transitions, 1390 secs || 9773312 markings, 12411845 edges, 8375 markings/sec, 1390 secs
lola: 6 tries, 5743223 fired transitions, 1395 secs || 9809497 markings, 12458503 edges, 7237 markings/sec, 1395 secs
lola: 6 tries, 5763815 fired transitions, 1400 secs || 9844212 markings, 12502632 edges, 6943 markings/sec, 1400 secs
lola: 6 tries, 5784515 fired transitions, 1405 secs || 9877585 markings, 12544840 edges, 6675 markings/sec, 1405 secs
lola: 6 tries, 5805062 fired transitions, 1410 secs || 9910980 markings, 12587316 edges, 6679 markings/sec, 1410 secs
lola: 6 tries, 5825514 fired transitions, 1415 secs || 9946698 markings, 12633263 edges, 7144 markings/sec, 1415 secs
lola: 6 tries, 5846021 fired transitions, 1420 secs || 9979338 markings, 12674521 edges, 6528 markings/sec, 1420 secs
lola: 6 tries, 5866361 fired transitions, 1425 secs || 10013880 markings, 12718957 edges, 6908 markings/sec, 1425 secs
lola: 6 tries, 5886466 fired transitions, 1430 secs || 10052437 markings, 12768881 edges, 7711 markings/sec, 1430 secs
lola: 6 tries, 5907839 fired transitions, 1435 secs || 10092207 markings, 12820397 edges, 7954 markings/sec, 1435 secs
lola: 6 tries, 5928836 fired transitions, 1440 secs || 10124985 markings, 12862057 edges, 6556 markings/sec, 1440 secs
lola: 6 tries, 5949835 fired transitions, 1445 secs || 10161044 markings, 12908247 edges, 7212 markings/sec, 1445 secs
lola: 6 tries, 5970648 fired transitions, 1450 secs || 10195779 markings, 12952684 edges, 6947 markings/sec, 1450 secs
lola: 6 tries, 5991370 fired transitions, 1455 secs || 10230470 markings, 12996844 edges, 6938 markings/sec, 1455 secs
lola: 7 tries, 6012150 fired transitions, 1460 secs || 10264939 markings, 13040681 edges, 6894 markings/sec, 1460 secs
lola: 7 tries, 6032545 fired transitions, 1465 secs || 10299894 markings, 13085320 edges, 6991 markings/sec, 1465 secs
lola: 7 tries, 6053316 fired transitions, 1470 secs || 10334392 markings, 13129190 edges, 6900 markings/sec, 1470 secs
lola: 7 tries, 6073685 fired transitions, 1475 secs || 10369227 markings, 13173774 edges, 6967 markings/sec, 1475 secs
lola: 7 tries, 6095196 fired transitions, 1480 secs || 10406756 markings, 13221978 edges, 7506 markings/sec, 1480 secs
lola: 7 tries, 6115551 fired transitions, 1485 secs || 10444017 markings, 13270045 edges, 7452 markings/sec, 1485 secs
lola: 7 tries, 6136028 fired transitions, 1490 secs || 10481668 markings, 13318434 edges, 7530 markings/sec, 1490 secs
lola: 7 tries, 6156384 fired transitions, 1495 secs || 10522785 markings, 13371993 edges, 8223 markings/sec, 1495 secs
lola: 7 tries, 6176716 fired transitions, 1500 secs || 10557777 markings, 13416886 edges, 6998 markings/sec, 1500 secs
lola: 7 tries, 6197092 fired transitions, 1505 secs || 10590336 markings, 13458235 edges, 6512 markings/sec, 1505 secs
lola: 7 tries, 6217379 fired transitions, 1510 secs || 10626683 markings, 13504940 edges, 7269 markings/sec, 1510 secs
lola: 7 tries, 6237665 fired transitions, 1515 secs || 10665875 markings, 13555924 edges, 7838 markings/sec, 1515 secs
lola: 7 tries, 6258046 fired transitions, 1520 secs || 10699255 markings, 13598458 edges, 6676 markings/sec, 1520 secs
lola: 7 tries, 6278451 fired transitions, 1525 secs || 10736046 markings, 13645689 edges, 7358 markings/sec, 1525 secs
lola: 7 tries, 6298701 fired transitions, 1530 secs || 10775055 markings, 13696314 edges, 7802 markings/sec, 1530 secs
lola: 7 tries, 6318970 fired transitions, 1535 secs || 10812760 markings, 13745225 edges, 7541 markings/sec, 1535 secs
lola: 7 tries, 6339690 fired transitions, 1540 secs || 10848328 markings, 13790722 edges, 7114 markings/sec, 1540 secs
lola: 7 tries, 6359992 fired transitions, 1545 secs || 10886626 markings, 13840126 edges, 7660 markings/sec, 1545 secs
lola: 7 tries, 6380324 fired transitions, 1550 secs || 10920008 markings, 13882677 edges, 6676 markings/sec, 1550 secs
lola: 7 tries, 6400583 fired transitions, 1555 secs || 10959411 markings, 13933945 edges, 7881 markings/sec, 1555 secs
lola: 7 tries, 6420886 fired transitions, 1560 secs || 10995899 markings, 13980757 edges, 7298 markings/sec, 1560 secs
lola: 7 tries, 6441192 fired transitions, 1565 secs || 11031081 markings, 14025728 edges, 7036 markings/sec, 1565 secs
lola: 7 tries, 6461495 fired transitions, 1570 secs || 11068750 markings, 14074264 edges, 7534 markings/sec, 1570 secs
lola: 7 tries, 6481763 fired transitions, 1575 secs || 11105330 markings, 14121568 edges, 7316 markings/sec, 1575 secs
lola: 7 tries, 6502074 fired transitions, 1580 secs || 11144730 markings, 14173216 edges, 7880 markings/sec, 1580 secs
lola: 7 tries, 6522381 fired transitions, 1585 secs || 11180372 markings, 14218991 edges, 7128 markings/sec, 1585 secs
lola: 7 tries, 6542808 fired transitions, 1590 secs || 11216811 markings, 14266099 edges, 7288 markings/sec, 1590 secs
lola: 7 tries, 6563139 fired transitions, 1595 secs || 11254956 markings, 14315760 edges, 7629 markings/sec, 1595 secs
lola: 7 tries, 6583480 fired transitions, 1600 secs || 11289429 markings, 14359695 edges, 6895 markings/sec, 1600 secs
lola: 7 tries, 6604462 fired transitions, 1605 secs || 11321606 markings, 14400142 edges, 6435 markings/sec, 1605 secs
lola: 7 tries, 6625531 fired transitions, 1610 secs || 11360502 markings, 14450434 edges, 7779 markings/sec, 1610 secs
lola: 7 tries, 6646757 fired transitions, 1615 secs || 11406713 markings, 14511639 edges, 9242 markings/sec, 1615 secs
lola: 7 tries, 6667878 fired transitions, 1620 secs || 11444269 markings, 14559638 edges, 7511 markings/sec, 1620 secs
lola: 7 tries, 6688687 fired transitions, 1625 secs || 11484125 markings, 14611565 edges, 7971 markings/sec, 1625 secs
lola: 7 tries, 6709803 fired transitions, 1630 secs || 11524233 markings, 14663815 edges, 8022 markings/sec, 1630 secs
lola: 7 tries, 6730827 fired transitions, 1635 secs || 11560097 markings, 14709502 edges, 7173 markings/sec, 1635 secs
lola: 7 tries, 6752307 fired transitions, 1640 secs || 11594487 markings, 14753212 edges, 6878 markings/sec, 1640 secs
lola: 7 tries, 6773171 fired transitions, 1645 secs || 11638030 markings, 14810587 edges, 8709 markings/sec, 1645 secs
lola: 7 tries, 6794257 fired transitions, 1650 secs || 11674244 markings, 14856925 edges, 7243 markings/sec, 1650 secs
lola: 7 tries, 6814879 fired transitions, 1655 secs || 11715572 markings, 14910890 edges, 8266 markings/sec, 1655 secs
lola: 7 tries, 6835530 fired transitions, 1660 secs || 11761730 markings, 14971651 edges, 9232 markings/sec, 1660 secs
lola: 7 tries, 6855984 fired transitions, 1665 secs || 11799543 markings, 15020548 edges, 7563 markings/sec, 1665 secs
lola: 7 tries, 6876821 fired transitions, 1670 secs || 11832983 markings, 15062760 edges, 6688 markings/sec, 1670 secs
lola: 7 tries, 6897682 fired transitions, 1675 secs || 11874691 markings, 15117428 edges, 8342 markings/sec, 1675 secs
lola: 7 tries, 6918361 fired transitions, 1680 secs || 11916924 markings, 15173106 edges, 8447 markings/sec, 1680 secs
lola: 7 tries, 6939011 fired transitions, 1685 secs || 11956642 markings, 15224822 edges, 7944 markings/sec, 1685 secs
lola: 7 tries, 6959657 fired transitions, 1690 secs || 11992562 markings, 15270972 edges, 7184 markings/sec, 1690 secs
lola: 7 tries, 6980573 fired transitions, 1695 secs || 12028901 markings, 15317846 edges, 7268 markings/sec, 1695 secs
lola: 8 tries, 7001779 fired transitions, 1700 secs || 12068805 markings, 15369734 edges, 7981 markings/sec, 1700 secs
lola: 8 tries, 7022361 fired transitions, 1705 secs || 12108956 markings, 15422194 edges, 8030 markings/sec, 1705 secs
lola: 8 tries, 7043474 fired transitions, 1710 secs || 12147771 markings, 15472254 edges, 7763 markings/sec, 1710 secs
lola: 8 tries, 7064842 fired transitions, 1715 secs || 12191281 markings, 15529093 edges, 8702 markings/sec, 1715 secs
lola: 8 tries, 7085740 fired transitions, 1720 secs || 12230386 markings, 15579635 edges, 7821 markings/sec, 1720 secs
lola: 8 tries, 7107020 fired transitions, 1725 secs || 12271591 markings, 15632960 edges, 8241 markings/sec, 1725 secs
lola: 8 tries, 7128116 fired transitions, 1730 secs || 12310973 markings, 15683810 edges, 7876 markings/sec, 1730 secs
lola: 8 tries, 7149126 fired transitions, 1735 secs || 12348981 markings, 15733123 edges, 7602 markings/sec, 1735 secs
lola: 8 tries, 7169464 fired transitions, 1740 secs || 12385647 markings, 15780623 edges, 7333 markings/sec, 1740 secs
lola: 8 tries, 7189645 fired transitions, 1745 secs || 12430835 markings, 15840288 edges, 9038 markings/sec, 1745 secs
lola: 8 tries, 7210000 fired transitions, 1750 secs || 12466737 markings, 15886571 edges, 7180 markings/sec, 1750 secs
lola: 8 tries, 7230518 fired transitions, 1755 secs || 12502958 markings, 15933109 edges, 7244 markings/sec, 1755 secs
lola: 8 tries, 7250843 fired transitions, 1760 secs || 12537646 markings, 15977633 edges, 6938 markings/sec, 1760 secs
lola: 8 tries, 7271047 fired transitions, 1765 secs || 12578665 markings, 16031518 edges, 8204 markings/sec, 1765 secs
lola: 8 tries, 7291676 fired transitions, 1770 secs || 12617439 markings, 16081808 edges, 7755 markings/sec, 1770 secs
lola: 8 tries, 7312006 fired transitions, 1775 secs || 12652505 markings, 16126765 edges, 7013 markings/sec, 1775 secs
lola: 8 tries, 7332194 fired transitions, 1780 secs || 12691885 markings, 16178005 edges, 7876 markings/sec, 1780 secs
lola: 8 tries, 7352725 fired transitions, 1785 secs || 12727108 markings, 16223126 edges, 7045 markings/sec, 1785 secs
lola: 8 tries, 7373044 fired transitions, 1790 secs || 12763680 markings, 16270243 edges, 7314 markings/sec, 1790 secs
lola: 8 tries, 7393312 fired transitions, 1795 secs || 12803657 markings, 16322385 edges, 7995 markings/sec, 1795 secs
lola: 8 tries, 7413832 fired transitions, 1800 secs || 12839701 markings, 16368748 edges, 7209 markings/sec, 1800 secs
lola: 8 tries, 7434469 fired transitions, 1805 secs || 12874249 markings, 16412766 edges, 6910 markings/sec, 1805 secs
lola: 8 tries, 7455172 fired transitions, 1810 secs || 12908030 markings, 16456116 edges, 6756 markings/sec, 1810 secs
lola: 8 tries, 7475542 fired transitions, 1815 secs || 12940869 markings, 16497935 edges, 6568 markings/sec, 1815 secs
lola: 8 tries, 7495757 fired transitions, 1820 secs || 12982501 markings, 16552349 edges, 8326 markings/sec, 1820 secs
lola: 8 tries, 7516080 fired transitions, 1825 secs || 13019509 markings, 16600346 edges, 7402 markings/sec, 1825 secs
lola: 8 tries, 7536220 fired transitions, 1830 secs || 13064323 markings, 16659714 edges, 8963 markings/sec, 1830 secs
lola: 8 tries, 7557011 fired transitions, 1835 secs || 13105816 markings, 16713711 edges, 8299 markings/sec, 1835 secs
lola: 8 tries, 7577351 fired transitions, 1840 secs || 13141050 markings, 16758865 edges, 7047 markings/sec, 1840 secs
lola: 8 tries, 7597925 fired transitions, 1845 secs || 13174330 markings, 16800908 edges, 6656 markings/sec, 1845 secs
lola: 8 tries, 7618248 fired transitions, 1850 secs || 13210797 markings, 16847786 edges, 7293 markings/sec, 1850 secs
lola: 8 tries, 7639036 fired transitions, 1855 secs || 13252468 markings, 16902274 edges, 8334 markings/sec, 1855 secs
lola: 8 tries, 7659396 fired transitions, 1860 secs || 13289381 markings, 16949875 edges, 7383 markings/sec, 1860 secs
lola: 8 tries, 7679754 fired transitions, 1865 secs || 13323063 markings, 16992877 edges, 6736 markings/sec, 1865 secs
lola: 8 tries, 7700083 fired transitions, 1870 secs || 13358395 markings, 17038058 edges, 7066 markings/sec, 1870 secs
lola: 8 tries, 7720490 fired transitions, 1875 secs || 13393320 markings, 17082837 edges, 6985 markings/sec, 1875 secs
lola: 8 tries, 7741374 fired transitions, 1880 secs || 13427008 markings, 17125464 edges, 6738 markings/sec, 1880 secs
lola: 8 tries, 7761740 fired transitions, 1885 secs || 13463361 markings, 17172441 edges, 7271 markings/sec, 1885 secs
lola: 8 tries, 7782054 fired transitions, 1890 secs || 13502850 markings, 17223842 edges, 7898 markings/sec, 1890 secs
lola: 8 tries, 7802399 fired transitions, 1895 secs || 13537808 markings, 17268615 edges, 6992 markings/sec, 1895 secs
lola: 8 tries, 7823211 fired transitions, 1900 secs || 13572552 markings, 17313110 edges, 6949 markings/sec, 1900 secs
lola: 8 tries, 7843577 fired transitions, 1905 secs || 13609974 markings, 17361556 edges, 7484 markings/sec, 1905 secs
lola: 8 tries, 7863907 fired transitions, 1910 secs || 13646346 markings, 17408601 edges, 7274 markings/sec, 1910 secs
lola: 8 tries, 7884310 fired transitions, 1915 secs || 13682792 markings, 17455527 edges, 7289 markings/sec, 1915 secs
lola: 8 tries, 7904747 fired transitions, 1920 secs || 13722906 markings, 17507766 edges, 8023 markings/sec, 1920 secs
lola: 8 tries, 7925104 fired transitions, 1925 secs || 13754754 markings, 17548108 edges, 6370 markings/sec, 1925 secs
lola: 8 tries, 7945432 fired transitions, 1930 secs || 13790777 markings, 17594604 edges, 7205 markings/sec, 1930 secs
lola: 8 tries, 7966557 fired transitions, 1935 secs || 13830464 markings, 17646090 edges, 7937 markings/sec, 1935 secs
lola: 8 tries, 7987356 fired transitions, 1940 secs || 13870974 markings, 17699196 edges, 8102 markings/sec, 1940 secs
lola: 9 tries, 8007980 fired transitions, 1945 secs || 13916323 markings, 17759137 edges, 9070 markings/sec, 1945 secs
lola: 9 tries, 8028395 fired transitions, 1950 secs || 13956776 markings, 17812108 edges, 8091 markings/sec, 1950 secs
lola: 9 tries, 8048690 fired transitions, 1955 secs || 13992989 markings, 17858793 edges, 7243 markings/sec, 1955 secs
lola: 9 tries, 8068924 fired transitions, 1960 secs || 14031624 markings, 17908987 edges, 7727 markings/sec, 1960 secs
lola: 9 tries, 8089198 fired transitions, 1965 secs || 14068640 markings, 17956581 edges, 7403 markings/sec, 1965 secs
lola: 9 tries, 8109860 fired transitions, 1970 secs || 14101635 markings, 17998300 edges, 6599 markings/sec, 1970 secs
lola: 9 tries, 8130416 fired transitions, 1975 secs || 14145831 markings, 18056303 edges, 8839 markings/sec, 1975 secs
lola: 9 tries, 8150669 fired transitions, 1980 secs || 14186718 markings, 18109928 edges, 8177 markings/sec, 1980 secs
lola: 9 tries, 8171049 fired transitions, 1985 secs || 14218196 markings, 18149630 edges, 6296 markings/sec, 1985 secs
lola: 9 tries, 8191582 fired transitions, 1990 secs || 14253995 markings, 18195741 edges, 7160 markings/sec, 1990 secs
lola: 9 tries, 8211850 fired transitions, 1995 secs || 14293916 markings, 18247850 edges, 7984 markings/sec, 1995 secs
lola: 9 tries, 8232054 fired transitions, 2000 secs || 14335780 markings, 18302842 edges, 8373 markings/sec, 2000 secs
lola: 9 tries, 8252395 fired transitions, 2005 secs || 14370709 markings, 18347602 edges, 6986 markings/sec, 2005 secs
lola: 9 tries, 8273211 fired transitions, 2010 secs || 14411868 markings, 18401269 edges, 8232 markings/sec, 2010 secs
lola: 9 tries, 8293958 fired transitions, 2015 secs || 14452767 markings, 18454569 edges, 8180 markings/sec, 2015 secs
lola: 9 tries, 8315213 fired transitions, 2020 secs || 14494491 markings, 18509346 edges, 8345 markings/sec, 2020 secs
lola: 9 tries, 8336201 fired transitions, 2025 secs || 14534083 markings, 18561099 edges, 7918 markings/sec, 2025 secs
lola: 9 tries, 8356743 fired transitions, 2030 secs || 14568385 markings, 18605075 edges, 6860 markings/sec, 2030 secs
lola: 9 tries, 8377308 fired transitions, 2035 secs || 14608084 markings, 18656777 edges, 7940 markings/sec, 2035 secs
lola: 9 tries, 8398327 fired transitions, 2040 secs || 14650444 markings, 18712395 edges, 8472 markings/sec, 2040 secs
lola: 9 tries, 8419126 fired transitions, 2045 secs || 14696094 markings, 18772626 edges, 9130 markings/sec, 2045 secs
lola: 9 tries, 8439862 fired transitions, 2050 secs || 14731425 markings, 18817751 edges, 7066 markings/sec, 2050 secs
lola: 9 tries, 8460686 fired transitions, 2055 secs || 14767948 markings, 18864624 edges, 7305 markings/sec, 2055 secs
lola: 9 tries, 8481942 fired transitions, 2060 secs || 14809049 markings, 18918170 edges, 8220 markings/sec, 2060 secs
lola: 9 tries, 8502889 fired transitions, 2065 secs || 14846650 markings, 18966497 edges, 7520 markings/sec, 2065 secs
lola: 9 tries, 8523769 fired transitions, 2070 secs || 14887750 markings, 19020074 edges, 8220 markings/sec, 2070 secs
lola: 9 tries, 8544839 fired transitions, 2075 secs || 14926046 markings, 19069559 edges, 7659 markings/sec, 2075 secs
lola: 9 tries, 8565881 fired transitions, 2080 secs || 14963907 markings, 19118626 edges, 7572 markings/sec, 2080 secs
lola: 9 tries, 8586929 fired transitions, 2085 secs || 15000984 markings, 19165877 edges, 7415 markings/sec, 2085 secs
lola: 9 tries, 8607917 fired transitions, 2090 secs || 15038886 markings, 19214724 edges, 7580 markings/sec, 2090 secs
lola: 9 tries, 8628925 fired transitions, 2095 secs || 15080648 markings, 19269254 edges, 8352 markings/sec, 2095 secs
lola: 9 tries, 8649665 fired transitions, 2100 secs || 15115871 markings, 19314285 edges, 7045 markings/sec, 2100 secs
lola: 9 tries, 8670375 fired transitions, 2105 secs || 15156003 markings, 19366701 edges, 8026 markings/sec, 2105 secs
lola: 9 tries, 8691452 fired transitions, 2110 secs || 15189003 markings, 19408522 edges, 6600 markings/sec, 2110 secs
lola: 9 tries, 8712251 fired transitions, 2115 secs || 15225269 markings, 19455317 edges, 7253 markings/sec, 2115 secs
lola: 9 tries, 8733384 fired transitions, 2120 secs || 15261798 markings, 19502131 edges, 7306 markings/sec, 2120 secs
lola: 9 tries, 8754191 fired transitions, 2125 secs || 15306316 markings, 19560805 edges, 8904 markings/sec, 2125 secs
lola: 9 tries, 8775234 fired transitions, 2130 secs || 15342722 markings, 19607503 edges, 7281 markings/sec, 2130 secs
lola: 9 tries, 8796257 fired transitions, 2135 secs || 15385893 markings, 19664305 edges, 8634 markings/sec, 2135 secs
lola: 9 tries, 8816932 fired transitions, 2140 secs || 15423398 markings, 19712673 edges, 7501 markings/sec, 2140 secs
lola: 9 tries, 8837614 fired transitions, 2145 secs || 15463136 markings, 19764267 edges, 7948 markings/sec, 2145 secs
lola: 9 tries, 8858224 fired transitions, 2150 secs || 15507242 markings, 19822583 edges, 8821 markings/sec, 2150 secs
lola: 9 tries, 8878942 fired transitions, 2155 secs || 15544493 markings, 19870821 edges, 7450 markings/sec, 2155 secs
lola: 9 tries, 8899658 fired transitions, 2160 secs || 15582233 markings, 19919565 edges, 7548 markings/sec, 2160 secs
lola: 9 tries, 8920288 fired transitions, 2165 secs || 15615157 markings, 19961419 edges, 6585 markings/sec, 2165 secs
lola: 9 tries, 8940953 fired transitions, 2170 secs || 15652779 markings, 20010163 edges, 7524 markings/sec, 2170 secs
lola: 9 tries, 8962100 fired transitions, 2175 secs || 15687276 markings, 20054242 edges, 6899 markings/sec, 2175 secs
lola: 9 tries, 8983225 fired transitions, 2180 secs || 15727042 markings, 20106208 edges, 7953 markings/sec, 2180 secs
lola: 10 tries, 9004396 fired transitions, 2185 secs || 15765638 markings, 20156097 edges, 7719 markings/sec, 2185 secs
lola: 10 tries, 9025592 fired transitions, 2190 secs || 15807868 markings, 20211341 edges, 8446 markings/sec, 2190 secs
lola: 10 tries, 9046676 fired transitions, 2195 secs || 15846187 markings, 20260867 edges, 7664 markings/sec, 2195 secs
lola: 10 tries, 9067690 fired transitions, 2200 secs || 15887441 markings, 20314922 edges, 8251 markings/sec, 2200 secs
lola: 10 tries, 9088608 fired transitions, 2205 secs || 15924603 markings, 20362874 edges, 7432 markings/sec, 2205 secs
lola: 10 tries, 9109710 fired transitions, 2210 secs || 15965221 markings, 20415722 edges, 8124 markings/sec, 2210 secs
lola: 10 tries, 9130627 fired transitions, 2215 secs || 16011458 markings, 20476992 edges, 9247 markings/sec, 2215 secs
lola: 10 tries, 9151389 fired transitions, 2220 secs || 16045133 markings, 20519778 edges, 6735 markings/sec, 2220 secs
lola: 10 tries, 9171973 fired transitions, 2225 secs || 16088751 markings, 20577080 edges, 8724 markings/sec, 2225 secs
lola: 10 tries, 9192908 fired transitions, 2230 secs || 16130290 markings, 20631554 edges, 8308 markings/sec, 2230 secs
lola: 10 tries, 9213680 fired transitions, 2235 secs || 16172435 markings, 20686941 edges, 8429 markings/sec, 2235 secs
lola: 10 tries, 9234711 fired transitions, 2240 secs || 16206645 markings, 20730395 edges, 6842 markings/sec, 2240 secs
lola: 10 tries, 9255576 fired transitions, 2245 secs || 16246159 markings, 20781555 edges, 7903 markings/sec, 2245 secs
lola: 10 tries, 9276653 fired transitions, 2250 secs || 16280184 markings, 20825019 edges, 6805 markings/sec, 2250 secs
lola: 10 tries, 9297702 fired transitions, 2255 secs || 16317933 markings, 20873812 edges, 7550 markings/sec, 2255 secs
lola: 10 tries, 9318854 fired transitions, 2260 secs || 16357151 markings, 20924616 edges, 7844 markings/sec, 2260 secs
lola: 10 tries, 9340245 fired transitions, 2265 secs || 16392948 markings, 20970375 edges, 7159 markings/sec, 2265 secs
lola: 10 tries, 9361630 fired transitions, 2270 secs || 16428653 markings, 21016121 edges, 7141 markings/sec, 2270 secs
lola: 10 tries, 9382704 fired transitions, 2275 secs || 16465853 markings, 21063875 edges, 7440 markings/sec, 2275 secs
lola: 10 tries, 9403917 fired transitions, 2280 secs || 16505878 markings, 21115867 edges, 8005 markings/sec, 2280 secs
lola: 10 tries, 9425193 fired transitions, 2285 secs || 16541155 markings, 21161022 edges, 7055 markings/sec, 2285 secs
lola: 10 tries, 9446273 fired transitions, 2290 secs || 16578473 markings, 21209069 edges, 7464 markings/sec, 2290 secs
lola: 10 tries, 9467520 fired transitions, 2295 secs || 16620580 markings, 21264117 edges, 8421 markings/sec, 2295 secs
lola: 10 tries, 9488717 fired transitions, 2300 secs || 16662010 markings, 21318420 edges, 8286 markings/sec, 2300 secs
lola: 10 tries, 9509461 fired transitions, 2305 secs || 16700981 markings, 21368862 edges, 7794 markings/sec, 2305 secs
lola: 10 tries, 9530806 fired transitions, 2310 secs || 16737371 markings, 21415481 edges, 7278 markings/sec, 2310 secs
lola: 10 tries, 9551988 fired transitions, 2315 secs || 16776825 markings, 21466622 edges, 7891 markings/sec, 2315 secs
lola: 10 tries, 9573174 fired transitions, 2320 secs || 16812694 markings, 21512610 edges, 7174 markings/sec, 2320 secs
lola: 10 tries, 9593788 fired transitions, 2325 secs || 16851101 markings, 21562534 edges, 7681 markings/sec, 2325 secs
lola: 10 tries, 9614888 fired transitions, 2330 secs || 16890778 markings, 21613889 edges, 7935 markings/sec, 2330 secs
lola: 10 tries, 9636188 fired transitions, 2335 secs || 16929447 markings, 21664049 edges, 7734 markings/sec, 2335 secs
lola: 10 tries, 9657625 fired transitions, 2340 secs || 16963836 markings, 21707673 edges, 6878 markings/sec, 2340 secs
lola: 10 tries, 9678792 fired transitions, 2345 secs || 17000456 markings, 21754671 edges, 7324 markings/sec, 2345 secs
lola: 10 tries, 9699656 fired transitions, 2350 secs || 17041583 markings, 21808387 edges, 8225 markings/sec, 2350 secs
lola: 10 tries, 9720148 fired transitions, 2355 secs || 17080780 markings, 21859515 edges, 7839 markings/sec, 2355 secs
lola: 10 tries, 9740876 fired transitions, 2360 secs || 17114464 markings, 21902406 edges, 6737 markings/sec, 2360 secs
lola: 10 tries, 9761439 fired transitions, 2365 secs || 17153756 markings, 21953287 edges, 7858 markings/sec, 2365 secs
lola: 10 tries, 9782053 fired transitions, 2370 secs || 17190034 markings, 21999853 edges, 7256 markings/sec, 2370 secs
lola: 10 tries, 9802731 fired transitions, 2375 secs || 17229320 markings, 22050996 edges, 7857 markings/sec, 2375 secs
lola: 10 tries, 9824024 fired transitions, 2380 secs || 17267966 markings, 22100885 edges, 7729 markings/sec, 2380 secs
lola: 10 tries, 9844896 fired transitions, 2385 secs || 17312015 markings, 22158503 edges, 8810 markings/sec, 2385 secs
lola: 10 tries, 9866143 fired transitions, 2390 secs || 17356908 markings, 22217451 edges, 8979 markings/sec, 2390 secs
lola: 10 tries, 9887419 fired transitions, 2395 secs || 17398435 markings, 22271636 edges, 8305 markings/sec, 2395 secs
lola: 10 tries, 9908125 fired transitions, 2400 secs || 17437593 markings, 22322682 edges, 7832 markings/sec, 2400 secs
lola: 10 tries, 9929104 fired transitions, 2405 secs || 17476603 markings, 22373300 edges, 7802 markings/sec, 2405 secs
lola: 10 tries, 9949700 fired transitions, 2410 secs || 17519200 markings, 22429330 edges, 8519 markings/sec, 2410 secs
lola: 10 tries, 9970344 fired transitions, 2415 secs || 17560279 markings, 22482752 edges, 8216 markings/sec, 2415 secs
lola: 10 tries, 9990893 fired transitions, 2420 secs || 17603996 markings, 22540286 edges, 8743 markings/sec, 2420 secs
lola: 11 tries, 10011359 fired transitions, 2425 secs || 17641861 markings, 22589422 edges, 7573 markings/sec, 2425 secs
lola: 11 tries, 10031948 fired transitions, 2430 secs || 17682996 markings, 22642891 edges, 8227 markings/sec, 2430 secs
lola: 11 tries, 10052263 fired transitions, 2435 secs || 17720700 markings, 22691601 edges, 7541 markings/sec, 2435 secs
lola: 11 tries, 10072537 fired transitions, 2440 secs || 17757760 markings, 22739717 edges, 7412 markings/sec, 2440 secs
lola: 11 tries, 10093039 fired transitions, 2445 secs || 17800000 markings, 22795587 edges, 8448 markings/sec, 2445 secs
lola: 11 tries, 10113602 fired transitions, 2450 secs || 17837422 markings, 22844041 edges, 7484 markings/sec, 2450 secs
lola: 11 tries, 10134267 fired transitions, 2455 secs || 17875132 markings, 22892829 edges, 7542 markings/sec, 2455 secs
lola: 11 tries, 10154830 fired transitions, 2460 secs || 17913065 markings, 22942181 edges, 7587 markings/sec, 2460 secs
lola: 11 tries, 10175793 fired transitions, 2465 secs || 17947357 markings, 22985899 edges, 6858 markings/sec, 2465 secs
lola: 11 tries, 10196268 fired transitions, 2470 secs || 17986607 markings, 23036978 edges, 7850 markings/sec, 2470 secs
lola: 11 tries, 10217413 fired transitions, 2475 secs || 18028040 markings, 23091165 edges, 8287 markings/sec, 2475 secs
lola: 11 tries, 10237251 fired transitions, 2480 secs || 18065380 markings, 23139509 edges, 7468 markings/sec, 2480 secs
lola: 11 tries, 10257133 fired transitions, 2485 secs || 18098484 markings, 23181550 edges, 6621 markings/sec, 2485 secs
lola: 11 tries, 10277704 fired transitions, 2490 secs || 18137683 markings, 23232187 edges, 7840 markings/sec, 2490 secs
lola: 11 tries, 10298456 fired transitions, 2495 secs || 18172638 markings, 23276786 edges, 6991 markings/sec, 2495 secs
lola: 11 tries, 10318758 fired transitions, 2500 secs || 18213485 markings, 23330066 edges, 8169 markings/sec, 2500 secs
lola: 11 tries, 10339998 fired transitions, 2505 secs || 18254114 markings, 23383186 edges, 8126 markings/sec, 2505 secs
lola: 11 tries, 10361533 fired transitions, 2510 secs || 18294918 markings, 23436156 edges, 8161 markings/sec, 2510 secs
lola: 11 tries, 10381642 fired transitions, 2515 secs || 18329768 markings, 23481025 edges, 6970 markings/sec, 2515 secs
lola: 11 tries, 10401838 fired transitions, 2520 secs || 18374726 markings, 23540261 edges, 8992 markings/sec, 2520 secs
lola: 11 tries, 10422328 fired transitions, 2525 secs || 18412496 markings, 23589479 edges, 7554 markings/sec, 2525 secs
lola: 11 tries, 10442705 fired transitions, 2530 secs || 18457970 markings, 23649398 edges, 9095 markings/sec, 2530 secs
lola: 11 tries, 10463523 fired transitions, 2535 secs || 18496015 markings, 23698494 edges, 7609 markings/sec, 2535 secs
lola: 11 tries, 10484878 fired transitions, 2540 secs || 18534939 markings, 23749074 edges, 7785 markings/sec, 2540 secs
lola: 11 tries, 10505586 fired transitions, 2545 secs || 18573326 markings, 23798950 edges, 7677 markings/sec, 2545 secs
lola: 11 tries, 10525850 fired transitions, 2550 secs || 18611051 markings, 23847901 edges, 7545 markings/sec, 2550 secs
lola: 11 tries, 10546256 fired transitions, 2555 secs || 18644863 markings, 23890959 edges, 6762 markings/sec, 2555 secs
lola: 11 tries, 10566523 fired transitions, 2560 secs || 18680158 markings, 23936419 edges, 7059 markings/sec, 2560 secs
lola: 11 tries, 10587512 fired transitions, 2565 secs || 18720236 markings, 23988667 edges, 8016 markings/sec, 2565 secs
lola: 11 tries, 10608067 fired transitions, 2570 secs || 18762209 markings, 24043787 edges, 8395 markings/sec, 2570 secs
lola: 11 tries, 10628135 fired transitions, 2575 secs || 18801326 markings, 24094830 edges, 7823 markings/sec, 2575 secs
lola: 11 tries, 10648459 fired transitions, 2580 secs || 18842751 markings, 24148748 edges, 8285 markings/sec, 2580 secs
lola: 11 tries, 10669267 fired transitions, 2585 secs || 18884864 markings, 24203676 edges, 8423 markings/sec, 2585 secs
lola: 11 tries, 10690347 fired transitions, 2590 secs || 18919027 markings, 24247146 edges, 6833 markings/sec, 2590 secs
lola: 11 tries, 10711531 fired transitions, 2595 secs || 18961572 markings, 24302224 edges, 8509 markings/sec, 2595 secs
lola: 11 tries, 10732475 fired transitions, 2600 secs || 19000499 markings, 24352582 edges, 7785 markings/sec, 2600 secs
lola: 11 tries, 10752931 fired transitions, 2605 secs || 19038322 markings, 24401387 edges, 7565 markings/sec, 2605 secs
lola: 11 tries, 10773883 fired transitions, 2610 secs || 19078953 markings, 24454199 edges, 8126 markings/sec, 2610 secs
lola: 11 tries, 10795150 fired transitions, 2615 secs || 19115565 markings, 24501213 edges, 7322 markings/sec, 2615 secs
lola: 11 tries, 10816869 fired transitions, 2620 secs || 19160464 markings, 24559910 edges, 8980 markings/sec, 2620 secs
lola: 11 tries, 10837262 fired transitions, 2625 secs || 19200584 markings, 24612096 edges, 8024 markings/sec, 2625 secs
lola: 11 tries, 10857557 fired transitions, 2630 secs || 19243042 markings, 24667486 edges, 8492 markings/sec, 2630 secs
lola: 11 tries, 10877998 fired transitions, 2635 secs || 19281495 markings, 24717537 edges, 7691 markings/sec, 2635 secs
lola: 11 tries, 10898650 fired transitions, 2640 secs || 19320900 markings, 24768546 edges, 7881 markings/sec, 2640 secs
lola: 11 tries, 10919020 fired transitions, 2645 secs || 19356438 markings, 24814075 edges, 7108 markings/sec, 2645 secs
lola: 11 tries, 10939526 fired transitions, 2650 secs || 19396895 markings, 24866832 edges, 8091 markings/sec, 2650 secs
lola: 11 tries, 10959820 fired transitions, 2655 secs || 19434994 markings, 24916182 edges, 7620 markings/sec, 2655 secs
lola: 11 tries, 10980223 fired transitions, 2660 secs || 19479748 markings, 24975128 edges, 8951 markings/sec, 2660 secs
lola: 12 tries, 11001173 fired transitions, 2665 secs || 19518523 markings, 25025313 edges, 7755 markings/sec, 2665 secs
lola: 12 tries, 11021472 fired transitions, 2670 secs || 19557627 markings, 25076098 edges, 7821 markings/sec, 2670 secs
lola: 12 tries, 11041616 fired transitions, 2675 secs || 19597861 markings, 25128484 edges, 8047 markings/sec, 2675 secs
lola: 12 tries, 11062549 fired transitions, 2680 secs || 19636873 markings, 25178688 edges, 7802 markings/sec, 2680 secs
lola: 12 tries, 11082860 fired transitions, 2685 secs || 19676475 markings, 25230087 edges, 7920 markings/sec, 2685 secs
lola: 12 tries, 11103081 fired transitions, 2690 secs || 19716928 markings, 25283101 edges, 8091 markings/sec, 2690 secs
lola: 12 tries, 11123412 fired transitions, 2695 secs || 19753760 markings, 25330621 edges, 7366 markings/sec, 2695 secs
lola: 12 tries, 11143717 fired transitions, 2700 secs || 19792486 markings, 25380949 edges, 7745 markings/sec, 2700 secs
lola: 12 tries, 11163947 fired transitions, 2705 secs || 19833019 markings, 25433909 edges, 8107 markings/sec, 2705 secs
lola: 12 tries, 11184412 fired transitions, 2710 secs || 19867610 markings, 25478632 edges, 6918 markings/sec, 2710 secs
lola: 12 tries, 11204698 fired transitions, 2715 secs || 19907508 markings, 25530651 edges, 7980 markings/sec, 2715 secs
lola: 12 tries, 11225236 fired transitions, 2720 secs || 19955417 markings, 25593798 edges, 9582 markings/sec, 2720 secs
lola: 12 tries, 11245763 fired transitions, 2725 secs || 19996567 markings, 25647710 edges, 8230 markings/sec, 2725 secs
lola: 12 tries, 11266024 fired transitions, 2730 secs || 20034248 markings, 25696672 edges, 7536 markings/sec, 2730 secs
lola: 12 tries, 11286355 fired transitions, 2735 secs || 20070810 markings, 25743724 edges, 7312 markings/sec, 2735 secs
lola: 12 tries, 11306637 fired transitions, 2740 secs || 20107029 markings, 25790425 edges, 7244 markings/sec, 2740 secs
lola: 12 tries, 11326858 fired transitions, 2745 secs || 20148128 markings, 25844537 edges, 8220 markings/sec, 2745 secs
lola: 12 tries, 11347585 fired transitions, 2750 secs || 20200468 markings, 25913975 edges, 10468 markings/sec, 2750 secs
lola: 12 tries, 11368636 fired transitions, 2755 secs || 20245827 markings, 25973364 edges, 9072 markings/sec, 2755 secs
lola: 12 tries, 11390089 fired transitions, 2760 secs || 20284164 markings, 26022918 edges, 7667 markings/sec, 2760 secs
lola: 12 tries, 11410987 fired transitions, 2765 secs || 20327604 markings, 26079637 edges, 8688 markings/sec, 2765 secs
lola: 12 tries, 11432077 fired transitions, 2770 secs || 20370350 markings, 26135278 edges, 8549 markings/sec, 2770 secs
lola: 12 tries, 11453550 fired transitions, 2775 secs || 20409835 markings, 26185855 edges, 7897 markings/sec, 2775 secs
lola: 12 tries, 11474934 fired transitions, 2780 secs || 20451128 markings, 26239182 edges, 8259 markings/sec, 2780 secs
lola: 12 tries, 11495632 fired transitions, 2785 secs || 20492151 markings, 26292813 edges, 8205 markings/sec, 2785 secs
lola: 12 tries, 11516352 fired transitions, 2790 secs || 20529441 markings, 26341048 edges, 7458 markings/sec, 2790 secs
lola: 12 tries, 11537291 fired transitions, 2795 secs || 20567782 markings, 26390851 edges, 7668 markings/sec, 2795 secs
lola: 12 tries, 11558471 fired transitions, 2800 secs || 20610388 markings, 26446257 edges, 8521 markings/sec, 2800 secs
lola: 12 tries, 11578276 fired transitions, 2805 secs || 20644891 markings, 26490626 edges, 6901 markings/sec, 2805 secs
lola: 12 tries, 11598230 fired transitions, 2810 secs || 20678706 markings, 26533795 edges, 6763 markings/sec, 2810 secs
lola: 12 tries, 11618831 fired transitions, 2815 secs || 20712695 markings, 26577272 edges, 6798 markings/sec, 2815 secs
lola: 12 tries, 11639144 fired transitions, 2820 secs || 20749535 markings, 26624955 edges, 7368 markings/sec, 2820 secs
lola: 12 tries, 11659367 fired transitions, 2825 secs || 20792635 markings, 26681681 edges, 8620 markings/sec, 2825 secs
lola: 12 tries, 11679816 fired transitions, 2830 secs || 20830804 markings, 26730809 edges, 7634 markings/sec, 2830 secs
lola: 12 tries, 11700181 fired transitions, 2835 secs || 20867524 markings, 26778193 edges, 7344 markings/sec, 2835 secs
lola: 12 tries, 11720974 fired transitions, 2840 secs || 20906722 markings, 26829359 edges, 7840 markings/sec, 2840 secs
lola: 12 tries, 11741988 fired transitions, 2845 secs || 20948441 markings, 26883121 edges, 8344 markings/sec, 2845 secs
lola: 12 tries, 11763007 fired transitions, 2850 secs || 20987732 markings, 26933757 edges, 7858 markings/sec, 2850 secs
lola: 12 tries, 11783538 fired transitions, 2855 secs || 21034918 markings, 26995702 edges, 9437 markings/sec, 2855 secs
lola: 12 tries, 11804409 fired transitions, 2860 secs || 21070626 markings, 27041402 edges, 7142 markings/sec, 2860 secs
lola: 12 tries, 11825514 fired transitions, 2865 secs || 21123640 markings, 27111600 edges, 10603 markings/sec, 2865 secs
lola: 12 tries, 11846718 fired transitions, 2870 secs || 21170329 markings, 27172807 edges, 9338 markings/sec, 2870 secs
lola: 12 tries, 11867704 fired transitions, 2875 secs || 21211606 markings, 27226206 edges, 8255 markings/sec, 2875 secs
lola: 12 tries, 11888402 fired transitions, 2880 secs || 21248006 markings, 27272806 edges, 7280 markings/sec, 2880 secs
lola: 12 tries, 11908852 fired transitions, 2885 secs || 21289938 markings, 27327301 edges, 8386 markings/sec, 2885 secs
lola: 12 tries, 11929438 fired transitions, 2890 secs || 21334645 markings, 27386092 edges, 8941 markings/sec, 2890 secs
lola: 12 tries, 11950137 fired transitions, 2895 secs || 21374640 markings, 27438113 edges, 7999 markings/sec, 2895 secs
lola: 12 tries, 11970934 fired transitions, 2900 secs || 21411454 markings, 27485452 edges, 7363 markings/sec, 2900 secs
lola: 12 tries, 11992087 fired transitions, 2905 secs || 21446646 markings, 27530721 edges, 7038 markings/sec, 2905 secs
lola: 13 tries, 12013296 fired transitions, 2910 secs || 21489571 markings, 27586626 edges, 8585 markings/sec, 2910 secs
lola: 13 tries, 12034592 fired transitions, 2915 secs || 21529790 markings, 27638576 edges, 8044 markings/sec, 2915 secs
lola: 13 tries, 12055447 fired transitions, 2920 secs || 21584347 markings, 27710543 edges, 10911 markings/sec, 2920 secs
lola: 13 tries, 12076653 fired transitions, 2925 secs || 21630681 markings, 27771141 edges, 9267 markings/sec, 2925 secs
lola: 13 tries, 12097670 fired transitions, 2930 secs || 21667165 markings, 27818325 edges, 7297 markings/sec, 2930 secs
lola: 13 tries, 12118836 fired transitions, 2935 secs || 21709893 markings, 27873726 edges, 8546 markings/sec, 2935 secs
lola: 13 tries, 12140078 fired transitions, 2940 secs || 21753290 markings, 27930308 edges, 8679 markings/sec, 2940 secs
lola: 13 tries, 12160947 fired transitions, 2945 secs || 21792436 markings, 27981086 edges, 7829 markings/sec, 2945 secs
lola: 13 tries, 12182165 fired transitions, 2950 secs || 21833478 markings, 28034462 edges, 8208 markings/sec, 2950 secs
lola: 13 tries, 12203420 fired transitions, 2955 secs || 21871748 markings, 28083785 edges, 7654 markings/sec, 2955 secs
lola: 13 tries, 12223990 fired transitions, 2960 secs || 21914466 markings, 28139665 edges, 8544 markings/sec, 2960 secs
lola: 13 tries, 12244927 fired transitions, 2965 secs || 21951270 markings, 28187013 edges, 7361 markings/sec, 2965 secs
lola: 13 tries, 12266032 fired transitions, 2970 secs || 21999461 markings, 28250406 edges, 9638 markings/sec, 2970 secs
lola: 13 tries, 12287055 fired transitions, 2975 secs || 22039340 markings, 28302078 edges, 7976 markings/sec, 2975 secs
lola: 13 tries, 12308260 fired transitions, 2980 secs || 22084424 markings, 28361103 edges, 9017 markings/sec, 2980 secs
lola: 13 tries, 12329213 fired transitions, 2985 secs || 22124571 markings, 28413336 edges, 8029 markings/sec, 2985 secs
lola: 13 tries, 12350066 fired transitions, 2990 secs || 22174040 markings, 28478182 edges, 9894 markings/sec, 2990 secs
lola: 13 tries, 12370908 fired transitions, 2995 secs || 22215474 markings, 28532052 edges, 8287 markings/sec, 2995 secs
lola: 13 tries, 12391787 fired transitions, 3000 secs || 22258823 markings, 28588820 edges, 8670 markings/sec, 3000 secs
lola: 13 tries, 12411811 fired transitions, 3005 secs || 22302855 markings, 28646613 edges, 8806 markings/sec, 3005 secs
lola: 13 tries, 12432125 fired transitions, 3010 secs || 22335363 markings, 28687548 edges, 6502 markings/sec, 3010 secs
lola: 13 tries, 12452214 fired transitions, 3015 secs || 22371066 markings, 28733754 edges, 7141 markings/sec, 3015 secs
lola: 13 tries, 12472696 fired transitions, 3020 secs || 22411834 markings, 28786504 edges, 8154 markings/sec, 3020 secs
lola: 13 tries, 12492954 fired transitions, 3025 secs || 22449114 markings, 28834532 edges, 7456 markings/sec, 3025 secs
lola: 13 tries, 12513166 fired transitions, 3030 secs || 22492868 markings, 28892103 edges, 8751 markings/sec, 3030 secs
lola: 13 tries, 12534100 fired transitions, 3035 secs || 22536688 markings, 28949502 edges, 8764 markings/sec, 3035 secs
lola: 13 tries, 12555027 fired transitions, 3040 secs || 22573218 markings, 28996467 edges, 7306 markings/sec, 3040 secs
lola: 13 tries, 12575135 fired transitions, 3045 secs || 22623947 markings, 29063746 edges, 10146 markings/sec, 3045 secs
lola: 13 tries, 12595428 fired transitions, 3050 secs || 22662069 markings, 29112931 edges, 7624 markings/sec, 3050 secs
lola: 13 tries, 12615804 fired transitions, 3055 secs || 22701064 markings, 29163735 edges, 7799 markings/sec, 3055 secs
lola: 13 tries, 12636412 fired transitions, 3060 secs || 22744520 markings, 29220651 edges, 8691 markings/sec, 3060 secs
lola: 13 tries, 12656475 fired transitions, 3065 secs || 22785325 markings, 29273617 edges, 8161 markings/sec, 3065 secs
lola: 13 tries, 12676277 fired transitions, 3070 secs || 22823829 markings, 29323774 edges, 7701 markings/sec, 3070 secs
lola: 13 tries, 12696796 fired transitions, 3075 secs || 22864856 markings, 29376959 edges, 8205 markings/sec, 3075 secs
lola: 13 tries, 12717385 fired transitions, 3080 secs || 22903443 markings, 29426846 edges, 7717 markings/sec, 3080 secs
lola: 13 tries, 12737887 fired transitions, 3085 secs || 22943174 markings, 29478757 edges, 7946 markings/sec, 3085 secs
lola: 13 tries, 12757635 fired transitions, 3090 secs || 22979387 markings, 29525483 edges, 7243 markings/sec, 3090 secs
lola: 13 tries, 12777825 fired transitions, 3095 secs || 23025510 markings, 29585625 edges, 9225 markings/sec, 3095 secs
lola: 13 tries, 12799091 fired transitions, 3100 secs || 23070417 markings, 29644269 edges, 8981 markings/sec, 3100 secs
lola: 13 tries, 12819483 fired transitions, 3105 secs || 23117419 markings, 29706475 edges, 9400 markings/sec, 3105 secs
lola: 13 tries, 12840012 fired transitions, 3110 secs || 23160857 markings, 29763063 edges, 8688 markings/sec, 3110 secs
lola: 13 tries, 12860442 fired transitions, 3115 secs || 23200099 markings, 29814049 edges, 7848 markings/sec, 3115 secs
lola: 13 tries, 12880863 fired transitions, 3120 secs || 23239222 markings, 29864710 edges, 7825 markings/sec, 3120 secs
lola: 13 tries, 12901201 fired transitions, 3125 secs || 23276000 markings, 29912036 edges, 7356 markings/sec, 3125 secs
lola: 13 tries, 12921876 fired transitions, 3130 secs || 23314753 markings, 29962362 edges, 7751 markings/sec, 3130 secs
lola: 13 tries, 12942322 fired transitions, 3135 secs || 23356736 markings, 30017129 edges, 8397 markings/sec, 3135 secs
lola: 13 tries, 12963718 fired transitions, 3140 secs || 23395702 markings, 30067497 edges, 7793 markings/sec, 3140 secs
lola: 13 tries, 12985198 fired transitions, 3145 secs || 23441978 markings, 30128540 edges, 9255 markings/sec, 3145 secs
lola: 14 tries, 13005477 fired transitions, 3150 secs || 23488178 markings, 30188996 edges, 9240 markings/sec, 3150 secs
lola: 14 tries, 13025996 fired transitions, 3155 secs || 23525291 markings, 30236996 edges, 7423 markings/sec, 3155 secs
lola: 14 tries, 13047642 fired transitions, 3160 secs || 23568927 markings, 30293615 edges, 8727 markings/sec, 3160 secs
lola: 14 tries, 13068251 fired transitions, 3165 secs || 23605260 markings, 30340260 edges, 7267 markings/sec, 3165 secs
lola: 14 tries, 13088770 fired transitions, 3170 secs || 23642817 markings, 30388655 edges, 7511 markings/sec, 3170 secs
lola: 14 tries, 13108975 fired transitions, 3175 secs || 23686296 markings, 30445787 edges, 8696 markings/sec, 3175 secs
lola: 14 tries, 13129199 fired transitions, 3180 secs || 23728109 markings, 30500461 edges, 8363 markings/sec, 3180 secs
lola: 14 tries, 13150051 fired transitions, 3185 secs || 23770949 markings, 30556336 edges, 8568 markings/sec, 3185 secs
lola: 14 tries, 13170157 fired transitions, 3190 secs || 23821625 markings, 30623424 edges, 10135 markings/sec, 3190 secs
lola: 14 tries, 13190551 fired transitions, 3195 secs || 23856000 markings, 30667694 edges, 6875 markings/sec, 3195 secs
lola: 14 tries, 13210875 fired transitions, 3200 secs || 23892071 markings, 30714217 edges, 7214 markings/sec, 3200 secs
lola: 14 tries, 13230980 fired transitions, 3205 secs || 23943364 markings, 30782092 edges, 10259 markings/sec, 3205 secs
lola: 14 tries, 13251337 fired transitions, 3210 secs || 23977975 markings, 30826320 edges, 6922 markings/sec, 3210 secs
lola: 14 tries, 13271560 fired transitions, 3215 secs || 24017402 markings, 30877687 edges, 7885 markings/sec, 3215 secs
lola: 14 tries, 13291819 fired transitions, 3220 secs || 24059188 markings, 30932367 edges, 8357 markings/sec, 3220 secs
lola: 14 tries, 13312114 fired transitions, 3225 secs || 24095198 markings, 30978876 edges, 7202 markings/sec, 3225 secs
lola: 14 tries, 13332699 fired transitions, 3230 secs || 24134268 markings, 31029584 edges, 7814 markings/sec, 3230 secs
lola: 14 tries, 13353057 fired transitions, 3235 secs || 24170556 markings, 31076073 edges, 7258 markings/sec, 3235 secs
lola: 14 tries, 13373351 fired transitions, 3240 secs || 24210394 markings, 31127706 edges, 7968 markings/sec, 3240 secs
lola: 14 tries, 13393638 fired transitions, 3245 secs || 24246483 markings, 31174494 edges, 7218 markings/sec, 3245 secs
lola: 14 tries, 13413948 fired transitions, 3250 secs || 24283203 markings, 31221792 edges, 7344 markings/sec, 3250 secs
lola: 14 tries, 13434693 fired transitions, 3255 secs || 24320728 markings, 31270344 edges, 7505 markings/sec, 3255 secs
lola: 14 tries, 13455105 fired transitions, 3260 secs || 24359464 markings, 31320361 edges, 7747 markings/sec, 3260 secs
lola: 14 tries, 13475490 fired transitions, 3265 secs || 24392948 markings, 31362945 edges, 6697 markings/sec, 3265 secs
lola: 14 tries, 13495759 fired transitions, 3270 secs || 24433376 markings, 31415386 edges, 8086 markings/sec, 3270 secs
lola: 14 tries, 13516089 fired transitions, 3275 secs || 24466517 markings, 31457698 edges, 6628 markings/sec, 3275 secs
lola: 14 tries, 13536328 fired transitions, 3280 secs || 24504954 markings, 31507599 edges, 7687 markings/sec, 3280 secs
lola: 14 tries, 13556504 fired transitions, 3285 secs || 24546580 markings, 31561895 edges, 8325 markings/sec, 3285 secs
lola: 14 tries, 13576884 fired transitions, 3290 secs || 24586246 markings, 31613176 edges, 7933 markings/sec, 3290 secs
lola: 14 tries, 13597228 fired transitions, 3295 secs || 24621201 markings, 31658245 edges, 6991 markings/sec, 3295 secs
lola: 14 tries, 13617462 fired transitions, 3300 secs || 24662126 markings, 31711854 edges, 8185 markings/sec, 3300 secs
lola: 14 tries, 13638322 fired transitions, 3305 secs || 24703990 markings, 31766567 edges, 8373 markings/sec, 3305 secs
lola: 14 tries, 13659232 fired transitions, 3310 secs || 24748372 markings, 31824645 edges, 8876 markings/sec, 3310 secs
lola: 14 tries, 13679462 fired transitions, 3315 secs || 24789815 markings, 31879025 edges, 8289 markings/sec, 3315 secs
lola: 14 tries, 13699759 fired transitions, 3320 secs || 24824554 markings, 31923531 edges, 6948 markings/sec, 3320 secs
lola: 14 tries, 13720297 fired transitions, 3325 secs || 24861171 markings, 31971043 edges, 7323 markings/sec, 3325 secs
lola: 14 tries, 13740529 fired transitions, 3330 secs || 24902548 markings, 32025207 edges, 8275 markings/sec, 3330 secs
lola: 14 tries, 13760787 fired transitions, 3335 secs || 24941065 markings, 32075092 edges, 7703 markings/sec, 3335 secs
lola: 14 tries, 13781074 fired transitions, 3340 secs || 24980147 markings, 32125990 edges, 7816 markings/sec, 3340 secs
lola: 14 tries, 13801365 fired transitions, 3345 secs || 25017495 markings, 32174347 edges, 7470 markings/sec, 3345 secs
lola: 14 tries, 13821671 fired transitions, 3350 secs || 25056362 markings, 32224928 edges, 7773 markings/sec, 3350 secs
lola: 14 tries, 13842737 fired transitions, 3355 secs || 25096773 markings, 32277494 edges, 8082 markings/sec, 3355 secs
lola: 14 tries, 13863855 fired transitions, 3360 secs || 25136452 markings, 32328613 edges, 7936 markings/sec, 3360 secs
lola: 14 tries, 13884755 fired transitions, 3365 secs || 25174913 markings, 32378220 edges, 7692 markings/sec, 3365 secs
lola: 14 tries, 13906013 fired transitions, 3370 secs || 25218479 markings, 32435421 edges, 8713 markings/sec, 3370 secs
lola: 14 tries, 13926656 fired transitions, 3375 secs || 25252850 markings, 32479272 edges, 6874 markings/sec, 3375 secs
lola: 14 tries, 13946949 fired transitions, 3380 secs || 25290053 markings, 32527430 edges, 7441 markings/sec, 3380 secs
lola: 14 tries, 13967345 fired transitions, 3385 secs || 25325032 markings, 32572173 edges, 6996 markings/sec, 3385 secs
lola: 14 tries, 13987613 fired transitions, 3390 secs || 25367078 markings, 32627175 edges, 8409 markings/sec, 3390 secs
lola: 15 tries, 14008402 fired transitions, 3395 secs || 25409399 markings, 32682597 edges, 8464 markings/sec, 3395 secs
lola: 15 tries, 14028814 fired transitions, 3400 secs || 25457024 markings, 32745900 edges, 9525 markings/sec, 3400 secs
lola: 15 tries, 14049244 fired transitions, 3405 secs || 25493640 markings, 32793025 edges, 7323 markings/sec, 3405 secs
lola: 15 tries, 14069537 fired transitions, 3410 secs || 25529903 markings, 32839931 edges, 7253 markings/sec, 3410 secs
lola: 15 tries, 14089869 fired transitions, 3415 secs || 25565393 markings, 32885556 edges, 7098 markings/sec, 3415 secs
lola: 15 tries, 14110019 fired transitions, 3420 secs || 25608784 markings, 32942693 edges, 8678 markings/sec, 3420 secs
lola: 15 tries, 14130411 fired transitions, 3425 secs || 25647432 markings, 32992810 edges, 7730 markings/sec, 3425 secs
lola: 15 tries, 14151050 fired transitions, 3430 secs || 25683331 markings, 33038607 edges, 7180 markings/sec, 3430 secs
lola: 15 tries, 14171552 fired transitions, 3435 secs || 25720891 markings, 33087105 edges, 7512 markings/sec, 3435 secs
lola: 15 tries, 14192142 fired transitions, 3440 secs || 25757719 markings, 33134546 edges, 7366 markings/sec, 3440 secs
lola: 15 tries, 14212736 fired transitions, 3445 secs || 25801244 markings, 33191750 edges, 8705 markings/sec, 3445 secs
lola: 15 tries, 14233191 fired transitions, 3450 secs || 25839830 markings, 33242122 edges, 7717 markings/sec, 3450 secs
lola: 15 tries, 14253522 fired transitions, 3455 secs || 25875335 markings, 33287924 edges, 7101 markings/sec, 3455 secs
lola: 15 tries, 14273828 fired transitions, 3460 secs || 25913426 markings, 33337406 edges, 7618 markings/sec, 3460 secs
lola: 15 tries, 14294455 fired transitions, 3465 secs || 25952555 markings, 33388426 edges, 7826 markings/sec, 3465 secs
lola: 15 tries, 14315866 fired transitions, 3470 secs || 25985195 markings, 33429766 edges, 6528 markings/sec, 3470 secs
lola: 15 tries, 14337219 fired transitions, 3475 secs || 26022632 markings, 33478101 edges, 7487 markings/sec, 3475 secs
lola: 15 tries, 14358425 fired transitions, 3480 secs || 26065292 markings, 33533772 edges, 8532 markings/sec, 3480 secs
lola: 15 tries, 14379639 fired transitions, 3485 secs || 26105475 markings, 33586214 edges, 8037 markings/sec, 3485 secs
lola: 15 tries, 14401166 fired transitions, 3490 secs || 26143972 markings, 33635690 edges, 7699 markings/sec, 3490 secs
lola: 15 tries, 14423099 fired transitions, 3495 secs || 26189621 markings, 33695810 edges, 9130 markings/sec, 3495 secs
lola: 15 tries, 14444745 fired transitions, 3500 secs || 26231098 markings, 33749642 edges, 8295 markings/sec, 3500 secs
lola: 15 tries, 14466423 fired transitions, 3505 secs || 26265241 markings, 33792772 edges, 6829 markings/sec, 3505 secs
lola: 15 tries, 14487389 fired transitions, 3510 secs || 26303795 markings, 33842494 edges, 7711 markings/sec, 3510 secs
lola: 15 tries, 14508653 fired transitions, 3515 secs || 26342284 markings, 33892416 edges, 7698 markings/sec, 3515 secs
lola: 15 tries, 14529967 fired transitions, 3520 secs || 26378500 markings, 33938978 edges, 7243 markings/sec, 3520 secs
lola: 15 tries, 14551349 fired transitions, 3525 secs || 26416089 markings, 33987293 edges, 7518 markings/sec, 3525 secs
lola: 15 tries, 14571944 fired transitions, 3530 secs || 26456865 markings, 34040796 edges, 8155 markings/sec, 3530 secs
lola: 15 tries, 14592732 fired transitions, 3535 secs || 26498260 markings, 34094937 edges, 8279 markings/sec, 3535 secs
lola: 15 tries, 14613611 fired transitions, 3540 secs || 26542406 markings, 34152791 edges, 8829 markings/sec, 3540 secs
lola: 15 tries, 14634115 fired transitions, 3545 secs || 26588379 markings, 34213658 edges, 9195 markings/sec, 3545 secs
lola: 15 tries, 14654609 fired transitions, 3550 secs || 26627664 markings, 34264776 edges, 7857 markings/sec, 3550 secs
lola: 15 tries, 14675250 fired transitions, 3555 secs || 26665978 markings, 34314270 edges, 7663 markings/sec, 3555 secs
lola: 15 tries, 14696073 fired transitions, 3560 secs || 26703581 markings, 34362988 edges, 7521 markings/sec, 3560 secs
lola: time limit reached - aborting
lola: memory consumption: 1633128 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 1552952470565

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

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

Sequence of Actions to be Executed by the VM

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

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

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

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

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