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.r082-csrt-155246550000804.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 HypertorusGrid-PT-d4k3p2b08, examination is GlobalProperties
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r082-csrt-155246550000804
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 3.0M
-rw-r--r-- 1 mcc users 4.3K Feb 11 04:26 CTLCardinality.txt
-rw-r--r-- 1 mcc users 20K Feb 11 04:26 CTLCardinality.xml
-rw-r--r-- 1 mcc users 4.1K Feb 7 04:01 CTLFireability.txt
-rw-r--r-- 1 mcc users 21K Feb 7 04:01 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 10 17:31 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 114 Feb 24 15:05 GlobalProperties.txt
-rw-r--r-- 1 mcc users 352 Feb 24 15:05 GlobalProperties.xml
-rw-r--r-- 1 mcc users 2.8K Feb 5 00:02 LTLCardinality.txt
-rw-r--r-- 1 mcc users 11K Feb 5 00:02 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Feb 4 22:36 LTLFireability.txt
-rw-r--r-- 1 mcc users 9.1K Feb 4 22:36 LTLFireability.xml
-rw-r--r-- 1 mcc users 4.9K Feb 3 10:59 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 21K Feb 3 10:59 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 4.6K Jan 31 05:56 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 21K Jan 31 05:56 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 2.0K Feb 4 22:21 UpperBounds.txt
-rw-r--r-- 1 mcc users 4.0K Feb 4 22:21 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Jan 29 09:34 equiv_col
-rw-r--r-- 1 mcc users 10 Jan 29 09:34 instance
-rw-r--r-- 1 mcc users 6 Jan 29 09:34 iscolored
-rw-r--r-- 1 mcc users 0 Jan 29 09:34 model-fix.log
-rwxr-xr-x 1 mcc users 2.8M 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 HypertorusGrid-PT-d4k3p2b08-GlobalProperties-0

=== Now, execution of the tool begins

BK_START 1552681458486

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

{
"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": "Fri Mar 15 20:24:18 2019
",
"timelimit": 3570
},
"child": null,
"exit":
{
"error": null,
"memory": 2678840,
"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": 20736,
"conflict_clusters": 729,
"places": 2025,
"places_significant": 1295,
"singleton_clusters": 0,
"transitions": 5184
},
"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": 31104.000000,
"composed": 649,
"dead_branches": 0,
"generators": 656,
"interrupted": false,
"real_computed": 7,
"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: 7209/268435456 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 64800
lola: finding significant places
lola: 2025 places, 5184 transitions, 1295 significant places
lola: compute conflict clusters
lola: computed conflict clusters
lola: Computing conflicting sets
lola: Computing back conflicting sets
lola: TASK
lola: Reading formula in XML format (--xmlformula)
lola: reading pnml
lola: reading formula from GlobalProperties.xml
lola: E (F (DEADLOCK))
lola: checking reachability
lola: Planning: workflow for reachability check: findpath||search (--findpath=par)
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: processed formula: E (F (DEADLOCK))
lola: processed formula length: 16
lola: 1 rewrites
lola: closed formula file GlobalProperties.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: SEARCH (findpath)
lola: findpath: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: findpath: starting randomized, memory-less exploration (--findpath)
lola: findpath: searching for paths with maximal depth 1000000 (--depthlimit)
lola: computing symmetries (--symmetry)
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 656 generators (7 in search tree, 649 by composition)
lola: representing 31104 symmetries
lola: 0 dead branches visited in search tree
lola: 1 tries, 503771 fired transitions, 0 secs || 18250 markings, 32994 edges, 3650 markings/sec, 0 secs
lola: 2 tries, 1056612 fired transitions, 5 secs || 38246 markings, 91338 edges, 3999 markings/sec, 5 secs
lola: 2 tries, 1612178 fired transitions, 10 secs || 59310 markings, 155452 edges, 4213 markings/sec, 10 secs
lola: 3 tries, 2207878 fired transitions, 15 secs || 81295 markings, 224686 edges, 4397 markings/sec, 15 secs
lola: 3 tries, 2824906 fired transitions, 20 secs || 111265 markings, 285863 edges, 5994 markings/sec, 20 secs
lola: 4 tries, 3459923 fired transitions, 25 secs || 145952 markings, 371116 edges, 6937 markings/sec, 25 secs
lola: 5 tries, 4136418 fired transitions, 30 secs || 163020 markings, 563867 edges, 3414 markings/sec, 30 secs
lola: 5 tries, 4755252 fired transitions, 35 secs || 181818 markings, 641984 edges, 3760 markings/sec, 35 secs
lola: 6 tries, 5395092 fired transitions, 40 secs || 204497 markings, 709665 edges, 4536 markings/sec, 40 secs
lola: 7 tries, 6034402 fired transitions, 45 secs || 228572 markings, 785748 edges, 4815 markings/sec, 45 secs
lola: 7 tries, 6681452 fired transitions, 50 secs || 259596 markings, 855679 edges, 6205 markings/sec, 50 secs
lola: 8 tries, 7321176 fired transitions, 55 secs || 294393 markings, 935201 edges, 6959 markings/sec, 55 secs
lola: 9 tries, 8005591 fired transitions, 60 secs || 315678 markings, 1100416 edges, 4257 markings/sec, 60 secs
lola: 9 tries, 8665477 fired transitions, 65 secs || 331952 markings, 1211892 edges, 3255 markings/sec, 65 secs
lola: 10 tries, 9311143 fired transitions, 70 secs || 355001 markings, 1280501 edges, 4610 markings/sec, 70 secs
lola: 10 tries, 9952988 fired transitions, 75 secs || 379667 markings, 1358069 edges, 4933 markings/sec, 75 secs
lola: 11 tries, 10601750 fired transitions, 80 secs || 409680 markings, 1429406 edges, 6003 markings/sec, 80 secs
lola: 12 tries, 11259700 fired transitions, 85 secs || 443969 markings, 1503523 edges, 6858 markings/sec, 85 secs
lola: 12 tries, 11926744 fired transitions, 90 secs || 468522 markings, 1661492 edges, 4911 markings/sec, 90 secs
lola: 13 tries, 12594254 fired transitions, 95 secs || 483893 markings, 1785088 edges, 3074 markings/sec, 95 secs
lola: 14 tries, 13229376 fired transitions, 100 secs || 505830 markings, 1850023 edges, 4387 markings/sec, 100 secs
lola: 14 tries, 13877496 fired transitions, 105 secs || 529083 markings, 1922722 edges, 4651 markings/sec, 105 secs
lola: 15 tries, 14519274 fired transitions, 110 secs || 557732 markings, 1996201 edges, 5730 markings/sec, 110 secs
lola: 16 tries, 15156659 fired transitions, 115 secs || 591332 markings, 2064303 edges, 6720 markings/sec, 115 secs
lola: 16 tries, 15807161 fired transitions, 120 secs || 618706 markings, 2193635 edges, 5475 markings/sec, 120 secs
lola: 17 tries, 16470856 fired transitions, 125 secs || 630564 markings, 2343300 edges, 2372 markings/sec, 125 secs
lola: 18 tries, 17093418 fired transitions, 130 secs || 650972 markings, 2403250 edges, 4082 markings/sec, 130 secs
lola: 18 tries, 17700250 fired transitions, 135 secs || 671864 markings, 2466728 edges, 4178 markings/sec, 135 secs
lola: 19 tries, 18311213 fired transitions, 140 secs || 693865 markings, 2536678 edges, 4400 markings/sec, 140 secs
lola: 19 tries, 18866871 fired transitions, 145 secs || 720577 markings, 2589113 edges, 5342 markings/sec, 145 secs
lola: 20 tries, 19474860 fired transitions, 150 secs || 750706 markings, 2657894 edges, 6026 markings/sec, 150 secs
lola: 21 tries, 20117935 fired transitions, 155 secs || 772239 markings, 2802512 edges, 4307 markings/sec, 155 secs
lola: 21 tries, 20768958 fired transitions, 160 secs || 785911 markings, 2926335 edges, 2734 markings/sec, 160 secs
lola: 22 tries, 21327005 fired transitions, 165 secs || 804895 markings, 2982525 edges, 3797 markings/sec, 165 secs
lola: 22 tries, 21955394 fired transitions, 170 secs || 826121 markings, 3048749 edges, 4245 markings/sec, 170 secs
lola: 23 tries, 22559910 fired transitions, 175 secs || 849168 markings, 3119878 edges, 4609 markings/sec, 175 secs
lola: 24 tries, 23161438 fired transitions, 180 secs || 879479 markings, 3175623 edges, 6062 markings/sec, 180 secs
lola: 24 tries, 23777746 fired transitions, 185 secs || 910826 markings, 3259885 edges, 6269 markings/sec, 185 secs
lola: 25 tries, 24442760 fired transitions, 190 secs || 925043 markings, 3453578 edges, 2843 markings/sec, 190 secs
lola: 26 tries, 25086305 fired transitions, 195 secs || 946896 markings, 3526722 edges, 4371 markings/sec, 195 secs
lola: 26 tries, 25741245 fired transitions, 200 secs || 970694 markings, 3599058 edges, 4760 markings/sec, 200 secs
lola: 27 tries, 26380459 fired transitions, 205 secs || 995653 markings, 3677697 edges, 4992 markings/sec, 205 secs
lola: 28 tries, 27018341 fired transitions, 210 secs || 1029133 markings, 3743246 edges, 6696 markings/sec, 210 secs
lola: 28 tries, 27659864 fired transitions, 215 secs || 1062837 markings, 3835182 edges, 6741 markings/sec, 215 secs
lola: 29 tries, 28320446 fired transitions, 220 secs || 1075899 markings, 4034553 edges, 2612 markings/sec, 220 secs
lola: 29 tries, 28930374 fired transitions, 225 secs || 1097851 markings, 4097374 edges, 4390 markings/sec, 225 secs
lola: 30 tries, 29485740 fired transitions, 230 secs || 1119127 markings, 4162198 edges, 4255 markings/sec, 230 secs
lola: 31 tries, 30043880 fired transitions, 235 secs || 1141214 markings, 4230604 edges, 4417 markings/sec, 235 secs
lola: 31 tries, 30601274 fired transitions, 240 secs || 1169212 markings, 4291884 edges, 5600 markings/sec, 240 secs
lola: 32 tries, 31197813 fired transitions, 245 secs || 1202525 markings, 4368607 edges, 6663 markings/sec, 245 secs
lola: 32 tries, 31833914 fired transitions, 250 secs || 1223983 markings, 4534899 edges, 4292 markings/sec, 250 secs
lola: 33 tries, 32441422 fired transitions, 255 secs || 1239500 markings, 4641649 edges, 3103 markings/sec, 255 secs
lola: 34 tries, 33039394 fired transitions, 260 secs || 1261284 markings, 4706692 edges, 4357 markings/sec, 260 secs
lola: 34 tries, 33691745 fired transitions, 265 secs || 1285387 markings, 4782186 edges, 4821 markings/sec, 265 secs
lola: 35 tries, 34344246 fired transitions, 270 secs || 1314038 markings, 4849877 edges, 5730 markings/sec, 270 secs
lola: 36 tries, 35002735 fired transitions, 275 secs || 1346909 markings, 4920464 edges, 6574 markings/sec, 275 secs
lola: 36 tries, 35667199 fired transitions, 280 secs || 1371322 markings, 5062447 edges, 4883 markings/sec, 280 secs
lola: 37 tries, 36307133 fired transitions, 285 secs || 1383582 markings, 5193183 edges, 2452 markings/sec, 285 secs
lola: 37 tries, 36910186 fired transitions, 290 secs || 1405825 markings, 5258903 edges, 4449 markings/sec, 290 secs
lola: 38 tries, 37502216 fired transitions, 295 secs || 1427871 markings, 5328360 edges, 4409 markings/sec, 295 secs
lola: 39 tries, 38100556 fired transitions, 300 secs || 1453857 markings, 5398381 edges, 5197 markings/sec, 300 secs
lola: 39 tries, 38697391 fired transitions, 305 secs || 1486129 markings, 5461573 edges, 6454 markings/sec, 305 secs
lola: 40 tries, 39289410 fired transitions, 310 secs || 1516010 markings, 5571103 edges, 5976 markings/sec, 310 secs
lola: 40 tries, 39896138 fired transitions, 315 secs || 1526554 markings, 5741381 edges, 2109 markings/sec, 315 secs
lola: 41 tries, 40494690 fired transitions, 320 secs || 1548307 markings, 5804793 edges, 4351 markings/sec, 320 secs
lola: 42 tries, 41085187 fired transitions, 325 secs || 1570746 markings, 5873668 edges, 4488 markings/sec, 325 secs
lola: 42 tries, 41672262 fired transitions, 330 secs || 1594189 markings, 5945268 edges, 4689 markings/sec, 330 secs
lola: 43 tries, 42297626 fired transitions, 335 secs || 1627519 markings, 6009093 edges, 6666 markings/sec, 335 secs
lola: 43 tries, 42947564 fired transitions, 340 secs || 1661197 markings, 6111007 edges, 6736 markings/sec, 340 secs
lola: 44 tries, 43603093 fired transitions, 345 secs || 1673135 markings, 6299953 edges, 2388 markings/sec, 345 secs
lola: 45 tries, 44246245 fired transitions, 350 secs || 1695300 markings, 6364120 edges, 4433 markings/sec, 350 secs
lola: 45 tries, 44885455 fired transitions, 355 secs || 1718324 markings, 6434546 edges, 4605 markings/sec, 355 secs
lola: 46 tries, 45531790 fired transitions, 360 secs || 1743199 markings, 6511175 edges, 4975 markings/sec, 360 secs
lola: 47 tries, 46171358 fired transitions, 365 secs || 1775868 markings, 6571524 edges, 6534 markings/sec, 365 secs
lola: 47 tries, 46824986 fired transitions, 370 secs || 1807298 markings, 6663524 edges, 6286 markings/sec, 370 secs
lola: 48 tries, 47473942 fired transitions, 375 secs || 1818277 markings, 6853815 edges, 2196 markings/sec, 375 secs
lola: 49 tries, 48126548 fired transitions, 380 secs || 1841408 markings, 6921134 edges, 4626 markings/sec, 380 secs
lola: 49 tries, 48775426 fired transitions, 385 secs || 1865750 markings, 6996166 edges, 4868 markings/sec, 385 secs
lola: 50 tries, 49426773 fired transitions, 390 secs || 1893469 markings, 7073511 edges, 5544 markings/sec, 390 secs
lola: 51 tries, 50066614 fired transitions, 395 secs || 1927548 markings, 7141131 edges, 6816 markings/sec, 395 secs
lola: 51 tries, 50720088 fired transitions, 400 secs || 1958666 markings, 7262235 edges, 6224 markings/sec, 400 secs
lola: 52 tries, 51383351 fired transitions, 405 secs || 1971037 markings, 7429919 edges, 2474 markings/sec, 405 secs
lola: 53 tries, 52034157 fired transitions, 410 secs || 1993709 markings, 7497020 edges, 4534 markings/sec, 410 secs
lola: 53 tries, 52683212 fired transitions, 415 secs || 2017354 markings, 7570852 edges, 4729 markings/sec, 415 secs
lola: 54 tries, 53332368 fired transitions, 420 secs || 2046058 markings, 7644360 edges, 5741 markings/sec, 420 secs
lola: 54 tries, 53984824 fired transitions, 425 secs || 2079595 markings, 7712896 edges, 6707 markings/sec, 425 secs
lola: 55 tries, 54658048 fired transitions, 430 secs || 2106736 markings, 7847699 edges, 5428 markings/sec, 430 secs
lola: 56 tries, 55327701 fired transitions, 435 secs || 2119028 markings, 7992946 edges, 2458 markings/sec, 435 secs
lola: 56 tries, 55977903 fired transitions, 440 secs || 2140519 markings, 8056104 edges, 4298 markings/sec, 440 secs
lola: 57 tries, 56634708 fired transitions, 445 secs || 2163540 markings, 8128020 edges, 4604 markings/sec, 445 secs
lola: 58 tries, 57292022 fired transitions, 450 secs || 2191733 markings, 8199570 edges, 5639 markings/sec, 450 secs
lola: 58 tries, 57947969 fired transitions, 455 secs || 2224075 markings, 8264633 edges, 6468 markings/sec, 455 secs
lola: 59 tries, 58617147 fired transitions, 460 secs || 2251837 markings, 8393526 edges, 5552 markings/sec, 460 secs
lola: 60 tries, 59217948 fired transitions, 465 secs || 2262054 markings, 8540509 edges, 2043 markings/sec, 465 secs
lola: 60 tries, 59770721 fired transitions, 470 secs || 2281956 markings, 8599266 edges, 3980 markings/sec, 470 secs
lola: 61 tries, 60327350 fired transitions, 475 secs || 2302891 markings, 8664364 edges, 4187 markings/sec, 475 secs
lola: 61 tries, 60962417 fired transitions, 480 secs || 2328997 markings, 8740439 edges, 5221 markings/sec, 480 secs
lola: 62 tries, 61597136 fired transitions, 485 secs || 2362975 markings, 8805471 edges, 6796 markings/sec, 485 secs
lola: 63 tries, 62252404 fired transitions, 490 secs || 2393473 markings, 8913072 edges, 6100 markings/sec, 490 secs
lola: 63 tries, 62913714 fired transitions, 495 secs || 2404720 markings, 9088418 edges, 2249 markings/sec, 495 secs
lola: 64 tries, 63538156 fired transitions, 500 secs || 2426115 markings, 9151362 edges, 4279 markings/sec, 500 secs
lola: 65 tries, 64175300 fired transitions, 505 secs || 2449002 markings, 9222545 edges, 4577 markings/sec, 505 secs
lola: 65 tries, 64829193 fired transitions, 510 secs || 2475470 markings, 9296109 edges, 5294 markings/sec, 510 secs
lola: 66 tries, 65451757 fired transitions, 515 secs || 2508512 markings, 9360842 edges, 6608 markings/sec, 515 secs
lola: 67 tries, 66084440 fired transitions, 520 secs || 2538538 markings, 9474438 edges, 6005 markings/sec, 520 secs
lola: 67 tries, 66726101 fired transitions, 525 secs || 2549567 markings, 9642903 edges, 2206 markings/sec, 525 secs
lola: 68 tries, 67361517 fired transitions, 530 secs || 2572343 markings, 9710219 edges, 4555 markings/sec, 530 secs
lola: 68 tries, 67996400 fired transitions, 535 secs || 2595969 markings, 9783361 edges, 4725 markings/sec, 535 secs
lola: 69 tries, 68632895 fired transitions, 540 secs || 2624723 markings, 9855366 edges, 5751 markings/sec, 540 secs
lola: 70 tries, 69274099 fired transitions, 545 secs || 2657935 markings, 9924982 edges, 6642 markings/sec, 545 secs
lola: 70 tries, 69885017 fired transitions, 550 secs || 2684371 markings, 10053491 edges, 5287 markings/sec, 550 secs
lola: 71 tries, 70498569 fired transitions, 555 secs || 2695884 markings, 10200662 edges, 2303 markings/sec, 555 secs
lola: 72 tries, 71100926 fired transitions, 560 secs || 2717792 markings, 10266084 edges, 4382 markings/sec, 560 secs
lola: 72 tries, 71754288 fired transitions, 565 secs || 2742281 markings, 10343413 edges, 4898 markings/sec, 565 secs
lola: 73 tries, 72406828 fired transitions, 570 secs || 2772411 markings, 10412970 edges, 6026 markings/sec, 570 secs
lola: 74 tries, 73059685 fired transitions, 575 secs || 2806449 markings, 10488297 edges, 6808 markings/sec, 575 secs
lola: 74 tries, 73736757 fired transitions, 580 secs || 2829324 markings, 10650136 edges, 4575 markings/sec, 580 secs
lola: 75 tries, 74410776 fired transitions, 585 secs || 2845798 markings, 10769570 edges, 3295 markings/sec, 585 secs
lola: 76 tries, 75085673 fired transitions, 590 secs || 2869858 markings, 10842646 edges, 4812 markings/sec, 590 secs
lola: 76 tries, 75743684 fired transitions, 595 secs || 2894930 markings, 10921015 edges, 5014 markings/sec, 595 secs
lola: 77 tries, 76366142 fired transitions, 600 secs || 2926020 markings, 10981060 edges, 6218 markings/sec, 600 secs
lola: 77 tries, 76959668 fired transitions, 605 secs || 2956719 markings, 11060114 edges, 6140 markings/sec, 605 secs
lola: 78 tries, 77618206 fired transitions, 610 secs || 2972629 markings, 11226155 edges, 3182 markings/sec, 610 secs
lola: 79 tries, 78274006 fired transitions, 615 secs || 2990633 markings, 11323279 edges, 3601 markings/sec, 615 secs
lola: 79 tries, 78929474 fired transitions, 620 secs || 3013732 markings, 11394423 edges, 4620 markings/sec, 620 secs
lola: 80 tries, 79580432 fired transitions, 625 secs || 3039016 markings, 11472135 edges, 5057 markings/sec, 625 secs
lola: 81 tries, 80202539 fired transitions, 630 secs || 3069513 markings, 11529710 edges, 6099 markings/sec, 630 secs
lola: 81 tries, 80845536 fired transitions, 635 secs || 3101826 markings, 11616669 edges, 6463 markings/sec, 635 secs
lola: 82 tries, 81514017 fired transitions, 640 secs || 3114917 markings, 11812463 edges, 2618 markings/sec, 640 secs
lola: 83 tries, 82159863 fired transitions, 645 secs || 3137298 markings, 11883540 edges, 4476 markings/sec, 645 secs
lola: 83 tries, 82801362 fired transitions, 650 secs || 3160713 markings, 11956644 edges, 4683 markings/sec, 650 secs
lola: 84 tries, 83437880 fired transitions, 655 secs || 3188022 markings, 12030467 edges, 5462 markings/sec, 655 secs
lola: 85 tries, 84076349 fired transitions, 660 secs || 3221264 markings, 12096188 edges, 6648 markings/sec, 660 secs
lola: 85 tries, 84718676 fired transitions, 665 secs || 3250595 markings, 12213618 edges, 5866 markings/sec, 665 secs
lola: 86 tries, 85390064 fired transitions, 670 secs || 3261811 markings, 12377604 edges, 2243 markings/sec, 670 secs
lola: 87 tries, 86031865 fired transitions, 675 secs || 3283862 markings, 12443444 edges, 4410 markings/sec, 675 secs
lola: 87 tries, 86670184 fired transitions, 680 secs || 3306684 markings, 12514527 edges, 4564 markings/sec, 680 secs
lola: 88 tries, 87311357 fired transitions, 685 secs || 3334367 markings, 12582189 edges, 5537 markings/sec, 685 secs
lola: 88 tries, 87955808 fired transitions, 690 secs || 3366268 markings, 12647985 edges, 6380 markings/sec, 690 secs
lola: 89 tries, 88617476 fired transitions, 695 secs || 3392657 markings, 12770976 edges, 5278 markings/sec, 695 secs
lola: 90 tries, 89276916 fired transitions, 700 secs || 3404109 markings, 12923378 edges, 2290 markings/sec, 700 secs
lola: 90 tries, 89920108 fired transitions, 705 secs || 3427667 markings, 12994420 edges, 4712 markings/sec, 705 secs
lola: 91 tries, 90559673 fired transitions, 710 secs || 3452837 markings, 13071290 edges, 5034 markings/sec, 710 secs
lola: 92 tries, 91193565 fired transitions, 715 secs || 3483458 markings, 13138748 edges, 6124 markings/sec, 715 secs
lola: 92 tries, 91825899 fired transitions, 720 secs || 3517220 markings, 13219397 edges, 6752 markings/sec, 720 secs
lola: 93 tries, 92484625 fired transitions, 725 secs || 3535929 markings, 13395214 edges, 3742 markings/sec, 725 secs
lola: 94 tries, 93143200 fired transitions, 730 secs || 3553346 markings, 13490762 edges, 3483 markings/sec, 730 secs
lola: 94 tries, 93792983 fired transitions, 735 secs || 3575867 markings, 13560094 edges, 4504 markings/sec, 735 secs
lola: 95 tries, 94447814 fired transitions, 740 secs || 3600103 markings, 13632083 edges, 4847 markings/sec, 740 secs
lola: 96 tries, 95096292 fired transitions, 745 secs || 3630721 markings, 13692031 edges, 6124 markings/sec, 745 secs
lola: 96 tries, 95744893 fired transitions, 750 secs || 3662344 markings, 13776416 edges, 6325 markings/sec, 750 secs
lola: 97 tries, 96415780 fired transitions, 755 secs || 3675814 markings, 13953847 edges, 2694 markings/sec, 755 secs
lola: 98 tries, 97073672 fired transitions, 760 secs || 3694926 markings, 14035359 edges, 3822 markings/sec, 760 secs
lola: 98 tries, 97718319 fired transitions, 765 secs || 3717305 markings, 14105002 edges, 4476 markings/sec, 765 secs
lola: 99 tries, 98365134 fired transitions, 770 secs || 3742218 markings, 14177464 edges, 4983 markings/sec, 770 secs
lola: 100 tries, 99011710 fired transitions, 775 secs || 3773781 markings, 14237726 edges, 6313 markings/sec, 775 secs
lola: 100 tries, 99672698 fired transitions, 780 secs || 3804391 markings, 14329616 edges, 6122 markings/sec, 780 secs
lola: 101 tries, 100341345 fired transitions, 785 secs || 3814674 markings, 14512089 edges, 2057 markings/sec, 785 secs
lola: 101 tries, 100985456 fired transitions, 790 secs || 3835840 markings, 14579249 edges, 4233 markings/sec, 790 secs
lola: 102 tries, 101634490 fired transitions, 795 secs || 3858568 markings, 14650554 edges, 4546 markings/sec, 795 secs
lola: 103 tries, 102282233 fired transitions, 800 secs || 3884983 markings, 14720804 edges, 5283 markings/sec, 800 secs
lola: 103 tries, 102927392 fired transitions, 805 secs || 3916905 markings, 14783311 edges, 6384 markings/sec, 805 secs
lola: 104 tries, 103579191 fired transitions, 810 secs || 3946152 markings, 14891007 edges, 5849 markings/sec, 810 secs
lola: 105 tries, 104261382 fired transitions, 815 secs || 3956527 markings, 15062051 edges, 2075 markings/sec, 815 secs
lola: 105 tries, 104921760 fired transitions, 820 secs || 3979844 markings, 15131963 edges, 4663 markings/sec, 820 secs
lola: 106 tries, 105581318 fired transitions, 825 secs || 4003308 markings, 15205874 edges, 4693 markings/sec, 825 secs
lola: 107 tries, 106239494 fired transitions, 830 secs || 4032813 markings, 15271788 edges, 5901 markings/sec, 830 secs
lola: 107 tries, 106901198 fired transitions, 835 secs || 4065840 markings, 15345402 edges, 6605 markings/sec, 835 secs
lola: 108 tries, 107577307 fired transitions, 840 secs || 4088196 markings, 15500406 edges, 4471 markings/sec, 840 secs
lola: 109 tries, 108247295 fired transitions, 845 secs || 4103264 markings, 15622355 edges, 3014 markings/sec, 845 secs
lola: 109 tries, 108903347 fired transitions, 850 secs || 4126143 markings, 15692354 edges, 4576 markings/sec, 850 secs
lola: 110 tries, 109565954 fired transitions, 855 secs || 4151432 markings, 15767764 edges, 5058 markings/sec, 855 secs
lola: 111 tries, 110221141 fired transitions, 860 secs || 4183280 markings, 15829660 edges, 6370 markings/sec, 860 secs
lola: 111 tries, 110885413 fired transitions, 865 secs || 4215442 markings, 15920728 edges, 6432 markings/sec, 865 secs
lola: 112 tries, 111569444 fired transitions, 870 secs || 4226855 markings, 16108416 edges, 2283 markings/sec, 870 secs
lola: 113 tries, 112230669 fired transitions, 875 secs || 4248060 markings, 16177546 edges, 4241 markings/sec, 875 secs
lola: 113 tries, 112890134 fired transitions, 880 secs || 4270670 markings, 16248089 edges, 4522 markings/sec, 880 secs
lola: 114 tries, 113551776 fired transitions, 885 secs || 4297015 markings, 16316636 edges, 5269 markings/sec, 885 secs
lola: 115 tries, 114211325 fired transitions, 890 secs || 4327797 markings, 16377261 edges, 6156 markings/sec, 890 secs
lola: 115 tries, 114869495 fired transitions, 895 secs || 4356382 markings, 16482859 edges, 5717 markings/sec, 895 secs
lola: 116 tries, 115542470 fired transitions, 900 secs || 4365874 markings, 16651685 edges, 1898 markings/sec, 900 secs
lola: 117 tries, 116194014 fired transitions, 905 secs || 4388976 markings, 16721139 edges, 4620 markings/sec, 905 secs
lola: 117 tries, 116835535 fired transitions, 910 secs || 4412611 markings, 16796605 edges, 4727 markings/sec, 910 secs
lola: 118 tries, 117465554 fired transitions, 915 secs || 4440310 markings, 16857755 edges, 5540 markings/sec, 915 secs
lola: 119 tries, 118104069 fired transitions, 920 secs || 4473218 markings, 16930051 edges, 6582 markings/sec, 920 secs
lola: 119 tries, 118751472 fired transitions, 925 secs || 4496509 markings, 17079066 edges, 4658 markings/sec, 925 secs
lola: 120 tries, 119406292 fired transitions, 930 secs || 4511458 markings, 17208669 edges, 2990 markings/sec, 930 secs
lola: 121 tries, 120030836 fired transitions, 935 secs || 4532492 markings, 17273966 edges, 4207 markings/sec, 935 secs
lola: 121 tries, 120665681 fired transitions, 940 secs || 4557259 markings, 17348492 edges, 4953 markings/sec, 940 secs
lola: 122 tries, 121227955 fired transitions, 945 secs || 4587468 markings, 17407103 edges, 6042 markings/sec, 945 secs
lola: 122 tries, 121804707 fired transitions, 950 secs || 4618003 markings, 17486729 edges, 6107 markings/sec, 950 secs
lola: 123 tries, 122428210 fired transitions, 955 secs || 4633220 markings, 17659179 edges, 3043 markings/sec, 955 secs
lola: 124 tries, 123058406 fired transitions, 960 secs || 4651829 markings, 17750450 edges, 3722 markings/sec, 960 secs
lola: 124 tries, 123720401 fired transitions, 965 secs || 4675196 markings, 17823809 edges, 4673 markings/sec, 965 secs
lola: 125 tries, 124383117 fired transitions, 970 secs || 4702734 markings, 17894934 edges, 5508 markings/sec, 970 secs
lola: 126 tries, 125046498 fired transitions, 975 secs || 4735505 markings, 17960654 edges, 6554 markings/sec, 975 secs
lola: 126 tries, 125696430 fired transitions, 980 secs || 4762733 markings, 18071655 edges, 5446 markings/sec, 980 secs
lola: 127 tries, 126376702 fired transitions, 985 secs || 4774504 markings, 18239342 edges, 2354 markings/sec, 985 secs
lola: 128 tries, 127022436 fired transitions, 990 secs || 4797369 markings, 18308918 edges, 4573 markings/sec, 990 secs
lola: 128 tries, 127626467 fired transitions, 995 secs || 4820635 markings, 18380641 edges, 4653 markings/sec, 995 secs
lola: 129 tries, 128229439 fired transitions, 1000 secs || 4849633 markings, 18440844 edges, 5800 markings/sec, 1000 secs
lola: 129 tries, 128844955 fired transitions, 1005 secs || 4881268 markings, 18516018 edges, 6327 markings/sec, 1005 secs
lola: 130 tries, 129512918 fired transitions, 1010 secs || 4900978 markings, 18675175 edges, 3942 markings/sec, 1010 secs
lola: 131 tries, 130180286 fired transitions, 1015 secs || 4917936 markings, 18789952 edges, 3392 markings/sec, 1015 secs
lola: 131 tries, 130828857 fired transitions, 1020 secs || 4941943 markings, 18865129 edges, 4801 markings/sec, 1020 secs
lola: 132 tries, 131489779 fired transitions, 1025 secs || 4970041 markings, 18938248 edges, 5620 markings/sec, 1025 secs
lola: 133 tries, 132143288 fired transitions, 1030 secs || 5003317 markings, 19005061 edges, 6655 markings/sec, 1030 secs
lola: 133 tries, 132790397 fired transitions, 1035 secs || 5031347 markings, 19130889 edges, 5606 markings/sec, 1035 secs
lola: 134 tries, 133445186 fired transitions, 1040 secs || 5043281 markings, 19286423 edges, 2387 markings/sec, 1040 secs
lola: 135 tries, 134085954 fired transitions, 1045 secs || 5066441 markings, 19357836 edges, 4632 markings/sec, 1045 secs
lola: 135 tries, 134726736 fired transitions, 1050 secs || 5090389 markings, 19432707 edges, 4790 markings/sec, 1050 secs
lola: 136 tries, 135364306 fired transitions, 1055 secs || 5122246 markings, 19493731 edges, 6371 markings/sec, 1055 secs
lola: 137 tries, 136008914 fired transitions, 1060 secs || 5154544 markings, 19578831 edges, 6460 markings/sec, 1060 secs
lola: 137 tries, 136669401 fired transitions, 1065 secs || 5168209 markings, 19761778 edges, 2733 markings/sec, 1065 secs
lola: 138 tries, 137308288 fired transitions, 1070 secs || 5188275 markings, 19842380 edges, 4013 markings/sec, 1070 secs
lola: 138 tries, 137946211 fired transitions, 1075 secs || 5211423 markings, 19914834 edges, 4630 markings/sec, 1075 secs
lola: 139 tries, 138588018 fired transitions, 1080 secs || 5239492 markings, 19982327 edges, 5614 markings/sec, 1080 secs
lola: 140 tries, 139226904 fired transitions, 1085 secs || 5271578 markings, 20049480 edges, 6417 markings/sec, 1085 secs
lola: 140 tries, 139876578 fired transitions, 1090 secs || 5297147 markings, 20180131 edges, 5114 markings/sec, 1090 secs
lola: 141 tries, 140546136 fired transitions, 1095 secs || 5309084 markings, 20325988 edges, 2387 markings/sec, 1095 secs
lola: 142 tries, 141209429 fired transitions, 1100 secs || 5331484 markings, 20395406 edges, 4480 markings/sec, 1100 secs
lola: 142 tries, 141873839 fired transitions, 1105 secs || 5355433 markings, 20466022 edges, 4790 markings/sec, 1105 secs
lola: 143 tries, 142538220 fired transitions, 1110 secs || 5385865 markings, 20526195 edges, 6086 markings/sec, 1110 secs
lola: 144 tries, 143198989 fired transitions, 1115 secs || 5417181 markings, 20607748 edges, 6263 markings/sec, 1115 secs
lola: 144 tries, 143884206 fired transitions, 1120 secs || 5431680 markings, 20781331 edges, 2900 markings/sec, 1120 secs
lola: 145 tries, 144546527 fired transitions, 1125 secs || 5450800 markings, 20872575 edges, 3824 markings/sec, 1125 secs
lola: 146 tries, 145209777 fired transitions, 1130 secs || 5475016 markings, 20948714 edges, 4843 markings/sec, 1130 secs
lola: 146 tries, 145869452 fired transitions, 1135 secs || 5504352 markings, 21016227 edges, 5867 markings/sec, 1135 secs
lola: 147 tries, 146526428 fired transitions, 1140 secs || 5537284 markings, 21088454 edges, 6586 markings/sec, 1140 secs
lola: 148 tries, 147203711 fired transitions, 1145 secs || 5560708 markings, 21237760 edges, 4685 markings/sec, 1145 secs
lola: 148 tries, 147878105 fired transitions, 1150 secs || 5575662 markings, 21367539 edges, 2991 markings/sec, 1150 secs
lola: 149 tries, 148542330 fired transitions, 1155 secs || 5599398 markings, 21441425 edges, 4747 markings/sec, 1155 secs
lola: 150 tries, 149199252 fired transitions, 1160 secs || 5626003 markings, 21512430 edges, 5321 markings/sec, 1160 secs
lola: 150 tries, 149855824 fired transitions, 1165 secs || 5658697 markings, 21576504 edges, 6539 markings/sec, 1165 secs
lola: 151 tries, 150529451 fired transitions, 1170 secs || 5688015 markings, 21693794 edges, 5864 markings/sec, 1170 secs
lola: 152 tries, 151204504 fired transitions, 1175 secs || 5699400 markings, 21859205 edges, 2277 markings/sec, 1175 secs
lola: 152 tries, 151863074 fired transitions, 1180 secs || 5722866 markings, 21932024 edges, 4693 markings/sec, 1180 secs
lola: 153 tries, 152517163 fired transitions, 1185 secs || 5747488 markings, 22006282 edges, 4924 markings/sec, 1185 secs
lola: 154 tries, 153172310 fired transitions, 1190 secs || 5779435 markings, 22067544 edges, 6389 markings/sec, 1190 secs
lola: 154 tries, 153838156 fired transitions, 1195 secs || 5811956 markings, 22158805 edges, 6504 markings/sec, 1195 secs
lola: 155 tries, 154521195 fired transitions, 1200 secs || 5823385 markings, 22349774 edges, 2286 markings/sec, 1200 secs
lola: 156 tries, 155185360 fired transitions, 1205 secs || 5845539 markings, 22419744 edges, 4431 markings/sec, 1205 secs
lola: 156 tries, 155849838 fired transitions, 1210 secs || 5868624 markings, 22492065 edges, 4617 markings/sec, 1210 secs
lola: 157 tries, 156514328 fired transitions, 1215 secs || 5898240 markings, 22555198 edges, 5923 markings/sec, 1215 secs
lola: 158 tries, 157177687 fired transitions, 1220 secs || 5930290 markings, 22629648 edges, 6410 markings/sec, 1220 secs
lola: 158 tries, 157858155 fired transitions, 1225 secs || 5950940 markings, 22781264 edges, 4130 markings/sec, 1225 secs
lola: 159 tries, 158531890 fired transitions, 1230 secs || 5966113 markings, 22902048 edges, 3035 markings/sec, 1230 secs
lola: 160 tries, 159191243 fired transitions, 1235 secs || 5989638 markings, 22975567 edges, 4705 markings/sec, 1235 secs
lola: 160 tries, 159843100 fired transitions, 1240 secs || 6017301 markings, 23044801 edges, 5533 markings/sec, 1240 secs
lola: 161 tries, 160504725 fired transitions, 1245 secs || 6050230 markings, 23112284 edges, 6586 markings/sec, 1245 secs
lola: 162 tries, 161175017 fired transitions, 1250 secs || 6077396 markings, 23243372 edges, 5433 markings/sec, 1250 secs
lola: 162 tries, 161845534 fired transitions, 1255 secs || 6089399 markings, 23393156 edges, 2401 markings/sec, 1255 secs
lola: 163 tries, 162505978 fired transitions, 1260 secs || 6112364 markings, 23463823 edges, 4593 markings/sec, 1260 secs
lola: 164 tries, 163168280 fired transitions, 1265 secs || 6138006 markings, 23537274 edges, 5128 markings/sec, 1265 secs
lola: 164 tries, 163817589 fired transitions, 1270 secs || 6169702 markings, 23597547 edges, 6339 markings/sec, 1270 secs
lola: 165 tries, 164482984 fired transitions, 1275 secs || 6200744 markings, 23698805 edges, 6208 markings/sec, 1275 secs
lola: 166 tries, 165152671 fired transitions, 1280 secs || 6210929 markings, 23878234 edges, 2037 markings/sec, 1280 secs
lola: 166 tries, 165785455 fired transitions, 1285 secs || 6233157 markings, 23946853 edges, 4446 markings/sec, 1285 secs
lola: 167 tries, 166426997 fired transitions, 1290 secs || 6257839 markings, 24017786 edges, 4936 markings/sec, 1290 secs
lola: 168 tries, 167065350 fired transitions, 1295 secs || 6288200 markings, 24082078 edges, 6072 markings/sec, 1295 secs
lola: 168 tries, 167710000 fired transitions, 1300 secs || 6320053 markings, 24164114 edges, 6371 markings/sec, 1300 secs
lola: 169 tries, 168369617 fired transitions, 1305 secs || 6336026 markings, 24335713 edges, 3195 markings/sec, 1305 secs
lola: 170 tries, 169002747 fired transitions, 1310 secs || 6354423 markings, 24430442 edges, 3679 markings/sec, 1310 secs
lola: 170 tries, 169637847 fired transitions, 1315 secs || 6377936 markings, 24503964 edges, 4703 markings/sec, 1315 secs
lola: 171 tries, 170275171 fired transitions, 1320 secs || 6407534 markings, 24569601 edges, 5920 markings/sec, 1320 secs
lola: 171 tries, 170915518 fired transitions, 1325 secs || 6440205 markings, 24643356 edges, 6534 markings/sec, 1325 secs
lola: 172 tries, 171588280 fired transitions, 1330 secs || 6461914 markings, 24802844 edges, 4342 markings/sec, 1330 secs
lola: 173 tries, 172247708 fired transitions, 1335 secs || 6478046 markings, 24922899 edges, 3226 markings/sec, 1335 secs
lola: 173 tries, 172902264 fired transitions, 1340 secs || 6502594 markings, 25000543 edges, 4910 markings/sec, 1340 secs
lola: 174 tries, 173559412 fired transitions, 1345 secs || 6532794 markings, 25067671 edges, 6040 markings/sec, 1345 secs
lola: 175 tries, 174220696 fired transitions, 1350 secs || 6566557 markings, 25144694 edges, 6753 markings/sec, 1350 secs
lola: 175 tries, 174899471 fired transitions, 1355 secs || 6588161 markings, 25305825 edges, 4321 markings/sec, 1355 secs
lola: 176 tries, 175571984 fired transitions, 1360 secs || 6604770 markings, 25424436 edges, 3322 markings/sec, 1360 secs
lola: 177 tries, 176236441 fired transitions, 1365 secs || 6628751 markings, 25498493 edges, 4796 markings/sec, 1365 secs
lola: 177 tries, 176896065 fired transitions, 1370 secs || 6658124 markings, 25565540 edges, 5875 markings/sec, 1370 secs
lola: 178 tries, 177555124 fired transitions, 1375 secs || 6690550 markings, 25637305 edges, 6485 markings/sec, 1375 secs
lola: 179 tries, 178234707 fired transitions, 1380 secs || 6713431 markings, 25787527 edges, 4576 markings/sec, 1380 secs
lola: 179 tries, 178904922 fired transitions, 1385 secs || 6728540 markings, 25916142 edges, 3022 markings/sec, 1385 secs
lola: 180 tries, 179568316 fired transitions, 1390 secs || 6752666 markings, 25992083 edges, 4825 markings/sec, 1390 secs
lola: 181 tries, 180229232 fired transitions, 1395 secs || 6782759 markings, 26060929 edges, 6019 markings/sec, 1395 secs
lola: 181 tries, 180893531 fired transitions, 1400 secs || 6816175 markings, 26134206 edges, 6683 markings/sec, 1400 secs
lola: 182 tries, 181565442 fired transitions, 1405 secs || 6838954 markings, 26286797 edges, 4556 markings/sec, 1405 secs
lola: 183 tries, 182227594 fired transitions, 1410 secs || 6854905 markings, 26415594 edges, 3190 markings/sec, 1410 secs
lola: 183 tries, 182890720 fired transitions, 1415 secs || 6879120 markings, 26491639 edges, 4843 markings/sec, 1415 secs
lola: 184 tries, 183537770 fired transitions, 1420 secs || 6909121 markings, 26559095 edges, 6000 markings/sec, 1420 secs
lola: 185 tries, 184142162 fired transitions, 1425 secs || 6940717 markings, 26628897 edges, 6319 markings/sec, 1425 secs
lola: 185 tries, 184758759 fired transitions, 1430 secs || 6963302 markings, 26772214 edges, 4517 markings/sec, 1430 secs
lola: 186 tries, 185372110 fired transitions, 1435 secs || 6976134 markings, 26900776 edges, 2566 markings/sec, 1435 secs
lola: 187 tries, 186023416 fired transitions, 1440 secs || 6999215 markings, 26972510 edges, 4616 markings/sec, 1440 secs
lola: 187 tries, 186685880 fired transitions, 1445 secs || 7027549 markings, 27041684 edges, 5667 markings/sec, 1445 secs
lola: 188 tries, 187344590 fired transitions, 1450 secs || 7060191 markings, 27109756 edges, 6528 markings/sec, 1450 secs
lola: 189 tries, 188014633 fired transitions, 1455 secs || 7086226 markings, 27247078 edges, 5207 markings/sec, 1455 secs
lola: 189 tries, 188639791 fired transitions, 1460 secs || 7098150 markings, 27388005 edges, 2385 markings/sec, 1460 secs
lola: 190 tries, 189242255 fired transitions, 1465 secs || 7121194 markings, 27459294 edges, 4609 markings/sec, 1465 secs
lola: 190 tries, 189851435 fired transitions, 1470 secs || 7149120 markings, 27529888 edges, 5585 markings/sec, 1470 secs
lola: 191 tries, 190461003 fired transitions, 1475 secs || 7181544 markings, 27596157 edges, 6485 markings/sec, 1475 secs
lola: 192 tries, 191078185 fired transitions, 1480 secs || 7209527 markings, 27734365 edges, 5597 markings/sec, 1480 secs
lola: 192 tries, 191694322 fired transitions, 1485 secs || 7222841 markings, 27883480 edges, 2663 markings/sec, 1485 secs
lola: 193 tries, 192296862 fired transitions, 1490 secs || 7245033 markings, 27952736 edges, 4438 markings/sec, 1490 secs
lola: 193 tries, 192903390 fired transitions, 1495 secs || 7271819 markings, 28019290 edges, 5357 markings/sec, 1495 secs
lola: 194 tries, 193506333 fired transitions, 1500 secs || 7302596 markings, 28081138 edges, 6155 markings/sec, 1500 secs
lola: 195 tries, 194124823 fired transitions, 1505 secs || 7330147 markings, 28191667 edges, 5510 markings/sec, 1505 secs
lola: 195 tries, 194747371 fired transitions, 1510 secs || 7339207 markings, 28352950 edges, 1812 markings/sec, 1510 secs
lola: 196 tries, 195360506 fired transitions, 1515 secs || 7360106 markings, 28417797 edges, 4180 markings/sec, 1515 secs
lola: 196 tries, 195973786 fired transitions, 1520 secs || 7382265 markings, 28483701 edges, 4432 markings/sec, 1520 secs
lola: 197 tries, 196582371 fired transitions, 1525 secs || 7409956 markings, 28536591 edges, 5538 markings/sec, 1525 secs
lola: 198 tries, 197199047 fired transitions, 1530 secs || 7438644 markings, 28607462 edges, 5738 markings/sec, 1530 secs
lola: 198 tries, 197826661 fired transitions, 1535 secs || 7456430 markings, 28743102 edges, 3557 markings/sec, 1535 secs
lola: 199 tries, 198452120 fired transitions, 1540 secs || 7468075 markings, 28860461 edges, 2329 markings/sec, 1540 secs
lola: 200 tries, 199058937 fired transitions, 1545 secs || 7488806 markings, 28926458 edges, 4146 markings/sec, 1545 secs
lola: 200 tries, 199676556 fired transitions, 1550 secs || 7513061 markings, 28988745 edges, 4851 markings/sec, 1550 secs
lola: 201 tries, 200307553 fired transitions, 1555 secs || 7542337 markings, 29045482 edges, 5855 markings/sec, 1555 secs
lola: 201 tries, 200961787 fired transitions, 1560 secs || 7571120 markings, 29137752 edges, 5757 markings/sec, 1560 secs
lola: 202 tries, 201644897 fired transitions, 1565 secs || 7580250 markings, 29313777 edges, 1826 markings/sec, 1565 secs
lola: 203 tries, 202307486 fired transitions, 1570 secs || 7603996 markings, 29390791 edges, 4749 markings/sec, 1570 secs
lola: 203 tries, 202977588 fired transitions, 1575 secs || 7630727 markings, 29467202 edges, 5346 markings/sec, 1575 secs
lola: 204 tries, 203647469 fired transitions, 1580 secs || 7664150 markings, 29531566 edges, 6685 markings/sec, 1580 secs
lola: 205 tries, 204297586 fired transitions, 1585 secs || 7694762 markings, 29643317 edges, 6122 markings/sec, 1585 secs
lola: 205 tries, 204977519 fired transitions, 1590 secs || 7707023 markings, 29819079 edges, 2452 markings/sec, 1590 secs
lola: 206 tries, 205579632 fired transitions, 1595 secs || 7729476 markings, 29889316 edges, 4491 markings/sec, 1595 secs
lola: 207 tries, 206181977 fired transitions, 1600 secs || 7755873 markings, 29957530 edges, 5279 markings/sec, 1600 secs
lola: 207 tries, 206786784 fired transitions, 1605 secs || 7787016 markings, 30019179 edges, 6229 markings/sec, 1605 secs
lola: 208 tries, 207440488 fired transitions, 1610 secs || 7816536 markings, 30140563 edges, 5904 markings/sec, 1610 secs
lola: 209 tries, 208118133 fired transitions, 1615 secs || 7828711 markings, 30305294 edges, 2435 markings/sec, 1615 secs
lola: 209 tries, 208774406 fired transitions, 1620 secs || 7851692 markings, 30376681 edges, 4596 markings/sec, 1620 secs
lola: 210 tries, 209409694 fired transitions, 1625 secs || 7877666 markings, 30441944 edges, 5195 markings/sec, 1625 secs
lola: 211 tries, 210021404 fired transitions, 1630 secs || 7907203 markings, 30500773 edges, 5907 markings/sec, 1630 secs
lola: 211 tries, 210632872 fired transitions, 1635 secs || 7934067 markings, 30595405 edges, 5373 markings/sec, 1635 secs
lola: 212 tries, 211261718 fired transitions, 1640 secs || 7942189 markings, 30766117 edges, 1624 markings/sec, 1640 secs
lola: 212 tries, 211920715 fired transitions, 1645 secs || 7965561 markings, 30838968 edges, 4674 markings/sec, 1645 secs
lola: 213 tries, 212581177 fired transitions, 1650 secs || 7991874 markings, 30912053 edges, 5263 markings/sec, 1650 secs
lola: 214 tries, 213241622 fired transitions, 1655 secs || 8024597 markings, 30975335 edges, 6545 markings/sec, 1655 secs
lola: 214 tries, 213910246 fired transitions, 1660 secs || 8055084 markings, 31086734 edges, 6097 markings/sec, 1660 secs
lola: 215 tries, 214591923 fired transitions, 1665 secs || 8065932 markings, 31258559 edges, 2170 markings/sec, 1665 secs
lola: 216 tries, 215255068 fired transitions, 1670 secs || 8088792 markings, 31329516 edges, 4572 markings/sec, 1670 secs
lola: 216 tries, 215904048 fired transitions, 1675 secs || 8115415 markings, 31397645 edges, 5325 markings/sec, 1675 secs
lola: 217 tries, 216557468 fired transitions, 1680 secs || 8146767 markings, 31459737 edges, 6270 markings/sec, 1680 secs
lola: 218 tries, 217226858 fired transitions, 1685 secs || 8175210 markings, 31570758 edges, 5689 markings/sec, 1685 secs
lola: 218 tries, 217904982 fired transitions, 1690 secs || 8185540 markings, 31737273 edges, 2066 markings/sec, 1690 secs
lola: 219 tries, 218565715 fired transitions, 1695 secs || 8209280 markings, 31811471 edges, 4748 markings/sec, 1695 secs
lola: 220 tries, 219225705 fired transitions, 1700 secs || 8238245 markings, 31881040 edges, 5793 markings/sec, 1700 secs
lola: 220 tries, 219887612 fired transitions, 1705 secs || 8271258 markings, 31950858 edges, 6603 markings/sec, 1705 secs
lola: 221 tries, 220554231 fired transitions, 1710 secs || 8296676 markings, 32088526 edges, 5084 markings/sec, 1710 secs
lola: 222 tries, 221170285 fired transitions, 1715 secs || 8308336 markings, 32226641 edges, 2332 markings/sec, 1715 secs
lola: 222 tries, 221773249 fired transitions, 1720 secs || 8330792 markings, 32297753 edges, 4491 markings/sec, 1720 secs
lola: 223 tries, 222376499 fired transitions, 1725 secs || 8358391 markings, 32359204 edges, 5520 markings/sec, 1725 secs
lola: 224 tries, 223010211 fired transitions, 1730 secs || 8390977 markings, 32429925 edges, 6517 markings/sec, 1730 secs
lola: 224 tries, 223686362 fired transitions, 1735 secs || 8415245 markings, 32582373 edges, 4854 markings/sec, 1735 secs
lola: 225 tries, 224350801 fired transitions, 1740 secs || 8429506 markings, 32711734 edges, 2852 markings/sec, 1740 secs
lola: 225 tries, 224987358 fired transitions, 1745 secs || 8452147 markings, 32782497 edges, 4528 markings/sec, 1745 secs
lola: 226 tries, 225590525 fired transitions, 1750 secs || 8478864 markings, 32838265 edges, 5343 markings/sec, 1750 secs
lola: 227 tries, 226196352 fired transitions, 1755 secs || 8507889 markings, 32902267 edges, 5805 markings/sec, 1755 secs
lola: 227 tries, 226812039 fired transitions, 1760 secs || 8530909 markings, 33024082 edges, 4604 markings/sec, 1760 secs
lola: 228 tries, 227431169 fired transitions, 1765 secs || 8540115 markings, 33163602 edges, 1841 markings/sec, 1765 secs
lola: 229 tries, 228035954 fired transitions, 1770 secs || 8560393 markings, 33227234 edges, 4056 markings/sec, 1770 secs
lola: 229 tries, 228645938 fired transitions, 1775 secs || 8585180 markings, 33290349 edges, 4957 markings/sec, 1775 secs
lola: 230 tries, 229250822 fired transitions, 1780 secs || 8613466 markings, 33345741 edges, 5657 markings/sec, 1780 secs
lola: 230 tries, 229860675 fired transitions, 1785 secs || 8641119 markings, 33431765 edges, 5531 markings/sec, 1785 secs
lola: 231 tries, 230506078 fired transitions, 1790 secs || 8650817 markings, 33597778 edges, 1940 markings/sec, 1790 secs
lola: 232 tries, 231111574 fired transitions, 1795 secs || 8670161 markings, 33676370 edges, 3869 markings/sec, 1795 secs
lola: 232 tries, 231716171 fired transitions, 1800 secs || 8693738 markings, 33745666 edges, 4715 markings/sec, 1800 secs
lola: 233 tries, 232334808 fired transitions, 1805 secs || 8723739 markings, 33801841 edges, 6000 markings/sec, 1805 secs
lola: 233 tries, 232947476 fired transitions, 1810 secs || 8753823 markings, 33884265 edges, 6017 markings/sec, 1810 secs
lola: 234 tries, 233569862 fired transitions, 1815 secs || 8766954 markings, 34051942 edges, 2626 markings/sec, 1815 secs
lola: 235 tries, 234176477 fired transitions, 1820 secs || 8784290 markings, 34138730 edges, 3467 markings/sec, 1820 secs
lola: 235 tries, 234795688 fired transitions, 1825 secs || 8807870 markings, 34210768 edges, 4716 markings/sec, 1825 secs
lola: 236 tries, 235451748 fired transitions, 1830 secs || 8839875 markings, 34270414 edges, 6401 markings/sec, 1830 secs
lola: 237 tries, 236108419 fired transitions, 1835 secs || 8871314 markings, 34358842 edges, 6288 markings/sec, 1835 secs
lola: 237 tries, 236792424 fired transitions, 1840 secs || 8883112 markings, 34545439 edges, 2360 markings/sec, 1840 secs
lola: 238 tries, 237458308 fired transitions, 1845 secs || 8905674 markings, 34624153 edges, 4512 markings/sec, 1845 secs
lola: 239 tries, 238117653 fired transitions, 1850 secs || 8932279 markings, 34692770 edges, 5321 markings/sec, 1850 secs
lola: 239 tries, 238776816 fired transitions, 1855 secs || 8964350 markings, 34757088 edges, 6414 markings/sec, 1855 secs
lola: 240 tries, 239444806 fired transitions, 1860 secs || 8992613 markings, 34871338 edges, 5653 markings/sec, 1860 secs
lola: 241 tries, 240086813 fired transitions, 1865 secs || 9002179 markings, 35032537 edges, 1913 markings/sec, 1865 secs
lola: 241 tries, 240736359 fired transitions, 1870 secs || 9025375 markings, 35105398 edges, 4639 markings/sec, 1870 secs
lola: 242 tries, 241419458 fired transitions, 1875 secs || 9056128 markings, 35173439 edges, 6151 markings/sec, 1875 secs
lola: 243 tries, 242100287 fired transitions, 1880 secs || 9089778 markings, 35250107 edges, 6730 markings/sec, 1880 secs
lola: 243 tries, 242801533 fired transitions, 1885 secs || 9111350 markings, 35417292 edges, 4314 markings/sec, 1885 secs
lola: 244 tries, 243447569 fired transitions, 1890 secs || 9128687 markings, 35533056 edges, 3467 markings/sec, 1890 secs
lola: 245 tries, 244051017 fired transitions, 1895 secs || 9152499 markings, 35605160 edges, 4762 markings/sec, 1895 secs
lola: 245 tries, 244653531 fired transitions, 1900 secs || 9184376 markings, 35664396 edges, 6375 markings/sec, 1900 secs
lola: 246 tries, 245301445 fired transitions, 1905 secs || 9216538 markings, 35762147 edges, 6432 markings/sec, 1905 secs
lola: 246 tries, 245924248 fired transitions, 1910 secs || 9226659 markings, 35946620 edges, 2024 markings/sec, 1910 secs
lola: 247 tries, 246527351 fired transitions, 1915 secs || 9248280 markings, 36014898 edges, 4324 markings/sec, 1915 secs
lola: 248 tries, 247140927 fired transitions, 1920 secs || 9273514 markings, 36078762 edges, 5047 markings/sec, 1920 secs
lola: 248 tries, 247755159 fired transitions, 1925 secs || 9304026 markings, 36138493 edges, 6102 markings/sec, 1925 secs
lola: 249 tries, 248366296 fired transitions, 1930 secs || 9332123 markings, 36236190 edges, 5619 markings/sec, 1930 secs
lola: 249 tries, 248990737 fired transitions, 1935 secs || 9339837 markings, 36399258 edges, 1543 markings/sec, 1935 secs
lola: 250 tries, 249615170 fired transitions, 1940 secs || 9362195 markings, 36474421 edges, 4472 markings/sec, 1940 secs
lola: 251 tries, 250263942 fired transitions, 1945 secs || 9390338 markings, 36544407 edges, 5629 markings/sec, 1945 secs
lola: 251 tries, 250867368 fired transitions, 1950 secs || 9421469 markings, 36608136 edges, 6226 markings/sec, 1950 secs
lola: 252 tries, 251479596 fired transitions, 1955 secs || 9447954 markings, 36726868 edges, 5297 markings/sec, 1955 secs
lola: 253 tries, 252106070 fired transitions, 1960 secs || 9458371 markings, 36882137 edges, 2083 markings/sec, 1960 secs
lola: 253 tries, 252720472 fired transitions, 1965 secs || 9480052 markings, 36951709 edges, 4336 markings/sec, 1965 secs
lola: 254 tries, 253324452 fired transitions, 1970 secs || 9506959 markings, 37009608 edges, 5381 markings/sec, 1970 secs
lola: 254 tries, 253943193 fired transitions, 1975 secs || 9537375 markings, 37074507 edges, 6083 markings/sec, 1975 secs
lola: 255 tries, 254614062 fired transitions, 1980 secs || 9562088 markings, 37209325 edges, 4943 markings/sec, 1980 secs
lola: 256 tries, 255232043 fired transitions, 1985 secs || 9572322 markings, 37344082 edges, 2047 markings/sec, 1985 secs
lola: 256 tries, 255837886 fired transitions, 1990 secs || 9593577 markings, 37409327 edges, 4251 markings/sec, 1990 secs
lola: 257 tries, 256465758 fired transitions, 1995 secs || 9620204 markings, 37467178 edges, 5325 markings/sec, 1995 secs
lola: 258 tries, 257075317 fired transitions, 2000 secs || 9648035 markings, 37526631 edges, 5566 markings/sec, 2000 secs
lola: 258 tries, 257689300 fired transitions, 2005 secs || 9671656 markings, 37632472 edges, 4724 markings/sec, 2005 secs
lola: 259 tries, 258315890 fired transitions, 2010 secs || 9679163 markings, 37784220 edges, 1501 markings/sec, 2010 secs
lola: 259 tries, 258953494 fired transitions, 2015 secs || 9701950 markings, 37855446 edges, 4557 markings/sec, 2015 secs
lola: 260 tries, 259557002 fired transitions, 2020 secs || 9728444 markings, 37915790 edges, 5299 markings/sec, 2020 secs
lola: 261 tries, 260170639 fired transitions, 2025 secs || 9758358 markings, 37978512 edges, 5983 markings/sec, 2025 secs
lola: 261 tries, 260782927 fired transitions, 2030 secs || 9783107 markings, 38085243 edges, 4950 markings/sec, 2030 secs
lola: 262 tries, 261404236 fired transitions, 2035 secs || 9791265 markings, 38241144 edges, 1632 markings/sec, 2035 secs
lola: 263 tries, 262013297 fired transitions, 2040 secs || 9813393 markings, 38309902 edges, 4426 markings/sec, 2040 secs
lola: 263 tries, 262621454 fired transitions, 2045 secs || 9841641 markings, 38371824 edges, 5650 markings/sec, 2045 secs
lola: 264 tries, 263226328 fired transitions, 2050 secs || 9872006 markings, 38438052 edges, 6073 markings/sec, 2050 secs
lola: 264 tries, 263879383 fired transitions, 2055 secs || 9896105 markings, 38575404 edges, 4820 markings/sec, 2055 secs
lola: 265 tries, 264523215 fired transitions, 2060 secs || 9908088 markings, 38711594 edges, 2397 markings/sec, 2060 secs
lola: 266 tries, 265127738 fired transitions, 2065 secs || 9929861 markings, 38780664 edges, 4355 markings/sec, 2065 secs
lola: 266 tries, 265691991 fired transitions, 2070 secs || 9957376 markings, 38832797 edges, 5503 markings/sec, 2070 secs
lola: 267 tries, 266310526 fired transitions, 2075 secs || 9987518 markings, 38903957 edges, 6028 markings/sec, 2075 secs
lola: 267 tries, 266933868 fired transitions, 2080 secs || 10007126 markings, 39039546 edges, 3922 markings/sec, 2080 secs
lola: 268 tries, 267575794 fired transitions, 2085 secs || 10018576 markings, 39163121 edges, 2290 markings/sec, 2085 secs
lola: 269 tries, 268191720 fired transitions, 2090 secs || 10040198 markings, 39230595 edges, 4324 markings/sec, 2090 secs
lola: 269 tries, 268815075 fired transitions, 2095 secs || 10067928 markings, 39282984 edges, 5546 markings/sec, 2095 secs
lola: 270 tries, 269436150 fired transitions, 2100 secs || 10095577 markings, 39347433 edges, 5530 markings/sec, 2100 secs
lola: 271 tries, 270054587 fired transitions, 2105 secs || 10115306 markings, 39460960 edges, 3946 markings/sec, 2105 secs
lola: 271 tries, 270674447 fired transitions, 2110 secs || 10122860 markings, 39594523 edges, 1511 markings/sec, 2110 secs
lola: 272 tries, 271279566 fired transitions, 2115 secs || 10145253 markings, 39664828 edges, 4479 markings/sec, 2115 secs
lola: 272 tries, 271889405 fired transitions, 2120 secs || 10173313 markings, 39723350 edges, 5612 markings/sec, 2120 secs
lola: 273 tries, 272533920 fired transitions, 2125 secs || 10204818 markings, 39795910 edges, 6301 markings/sec, 2125 secs
lola: 274 tries, 273212051 fired transitions, 2130 secs || 10225839 markings, 39944973 edges, 4204 markings/sec, 2130 secs
lola: 274 tries, 273881119 fired transitions, 2135 secs || 10241560 markings, 40071747 edges, 3144 markings/sec, 2135 secs
lola: 275 tries, 274540896 fired transitions, 2140 secs || 10268968 markings, 40145081 edges, 5482 markings/sec, 2140 secs
lola: 276 tries, 275200621 fired transitions, 2145 secs || 10302335 markings, 40211231 edges, 6673 markings/sec, 2145 secs
lola: 276 tries, 275873677 fired transitions, 2150 secs || 10331281 markings, 40335362 edges, 5789 markings/sec, 2150 secs
lola: 277 tries, 276554627 fired transitions, 2155 secs || 10343501 markings, 40497348 edges, 2444 markings/sec, 2155 secs
lola: 278 tries, 277219624 fired transitions, 2160 secs || 10367872 markings, 40569981 edges, 4874 markings/sec, 2160 secs
lola: 278 tries, 277885268 fired transitions, 2165 secs || 10398124 markings, 40628505 edges, 6050 markings/sec, 2165 secs
lola: 279 tries, 278556295 fired transitions, 2170 secs || 10429015 markings, 40709517 edges, 6178 markings/sec, 2170 secs
lola: 280 tries, 279243983 fired transitions, 2175 secs || 10443500 markings, 40875960 edges, 2897 markings/sec, 2175 secs
lola: 280 tries, 279914636 fired transitions, 2180 secs || 10461534 markings, 40972385 edges, 3607 markings/sec, 2180 secs
lola: 281 tries, 280581590 fired transitions, 2185 secs || 10488436 markings, 41037392 edges, 5380 markings/sec, 2185 secs
lola: 282 tries, 281246683 fired transitions, 2190 secs || 10519236 markings, 41100545 edges, 6160 markings/sec, 2190 secs
lola: 282 tries, 281915404 fired transitions, 2195 secs || 10546219 markings, 41216378 edges, 5397 markings/sec, 2195 secs
lola: 283 tries, 282595888 fired transitions, 2200 secs || 10556595 markings, 41375022 edges, 2075 markings/sec, 2200 secs
lola: 284 tries, 283258206 fired transitions, 2205 secs || 10582527 markings, 41453099 edges, 5186 markings/sec, 2205 secs
lola: 284 tries, 283921236 fired transitions, 2210 secs || 10615916 markings, 41517525 edges, 6678 markings/sec, 2210 secs
lola: 285 tries, 284583622 fired transitions, 2215 secs || 10648374 markings, 41616654 edges, 6492 markings/sec, 2215 secs
lola: 286 tries, 285265712 fired transitions, 2220 secs || 10660288 markings, 41805752 edges, 2383 markings/sec, 2220 secs
lola: 286 tries, 285932228 fired transitions, 2225 secs || 10684946 markings, 41881523 edges, 4932 markings/sec, 2225 secs
lola: 287 tries, 286597356 fired transitions, 2230 secs || 10716308 markings, 41943244 edges, 6272 markings/sec, 2230 secs
lola: 288 tries, 287267683 fired transitions, 2235 secs || 10749018 markings, 42028320 edges, 6542 markings/sec, 2235 secs
lola: 288 tries, 287951814 fired transitions, 2240 secs || 10764154 markings, 42205654 edges, 3027 markings/sec, 2240 secs
lola: 289 tries, 288588478 fired transitions, 2245 secs || 10784333 markings, 42299656 edges, 4036 markings/sec, 2245 secs
lola: 290 tries, 289237488 fired transitions, 2250 secs || 10814101 markings, 42364750 edges, 5954 markings/sec, 2250 secs
lola: 290 tries, 289901247 fired transitions, 2255 secs || 10847414 markings, 42440773 edges, 6663 markings/sec, 2255 secs
lola: 291 tries, 290582851 fired transitions, 2260 secs || 10868712 markings, 42603002 edges, 4260 markings/sec, 2260 secs
lola: 292 tries, 291253565 fired transitions, 2265 secs || 10885989 markings, 42724166 edges, 3455 markings/sec, 2265 secs
lola: 292 tries, 291916834 fired transitions, 2270 secs || 10916527 markings, 42794461 edges, 6108 markings/sec, 2270 secs
lola: 293 tries, 292583745 fired transitions, 2275 secs || 10950343 markings, 42868406 edges, 6763 markings/sec, 2275 secs
lola: 294 tries, 293265058 fired transitions, 2280 secs || 10973292 markings, 43025827 edges, 4590 markings/sec, 2280 secs
lola: 294 tries, 293939028 fired transitions, 2285 secs || 10988909 markings, 43151741 edges, 3123 markings/sec, 2285 secs
lola: 295 tries, 294590814 fired transitions, 2290 secs || 11014795 markings, 43215835 edges, 5177 markings/sec, 2290 secs
lola: 296 tries, 295229022 fired transitions, 2295 secs || 11044091 markings, 43273794 edges, 5859 markings/sec, 2295 secs
lola: 296 tries, 295902537 fired transitions, 2300 secs || 11072094 markings, 43372295 edges, 5601 markings/sec, 2300 secs
lola: 297 tries, 296589136 fired transitions, 2305 secs || 11080074 markings, 43542122 edges, 1596 markings/sec, 2305 secs
lola: 298 tries, 297257159 fired transitions, 2310 secs || 11102580 markings, 43613458 edges, 4501 markings/sec, 2310 secs
lola: 298 tries, 297921934 fired transitions, 2315 secs || 11131254 markings, 43669678 edges, 5735 markings/sec, 2315 secs
lola: 299 tries, 298591862 fired transitions, 2320 secs || 11160933 markings, 43738546 edges, 5936 markings/sec, 2320 secs
lola: 300 tries, 299276262 fired transitions, 2325 secs || 11181521 markings, 43867950 edges, 4118 markings/sec, 2325 secs
lola: 300 tries, 299954388 fired transitions, 2330 secs || 11193299 markings, 44001060 edges, 2356 markings/sec, 2330 secs
lola: 301 tries, 300617738 fired transitions, 2335 secs || 11221518 markings, 44075049 edges, 5644 markings/sec, 2335 secs
lola: 302 tries, 301282994 fired transitions, 2340 secs || 11255058 markings, 44141736 edges, 6708 markings/sec, 2340 secs
lola: 302 tries, 301961223 fired transitions, 2345 secs || 11283540 markings, 44274387 edges, 5696 markings/sec, 2345 secs
lola: 303 tries, 302638702 fired transitions, 2350 secs || 11296331 markings, 44428865 edges, 2558 markings/sec, 2350 secs
lola: 304 tries, 303305254 fired transitions, 2355 secs || 11321255 markings, 44497115 edges, 4985 markings/sec, 2355 secs
lola: 304 tries, 303972962 fired transitions, 2360 secs || 11350631 markings, 44552661 edges, 5875 markings/sec, 2360 secs
lola: 305 tries, 304642634 fired transitions, 2365 secs || 11379347 markings, 44637545 edges, 5743 markings/sec, 2365 secs
lola: 306 tries, 305331346 fired transitions, 2370 secs || 11390262 markings, 44794769 edges, 2183 markings/sec, 2370 secs
lola: 307 tries, 306003718 fired transitions, 2375 secs || 11409802 markings, 44888719 edges, 3908 markings/sec, 2375 secs
lola: 307 tries, 306663362 fired transitions, 2380 secs || 11439787 markings, 44952145 edges, 5997 markings/sec, 2380 secs
lola: 308 tries, 307330518 fired transitions, 2385 secs || 11471849 markings, 45027566 edges, 6412 markings/sec, 2385 secs
lola: 309 tries, 308012587 fired transitions, 2390 secs || 11491636 markings, 45183290 edges, 3957 markings/sec, 2390 secs
lola: 309 tries, 308683405 fired transitions, 2395 secs || 11507846 markings, 45302206 edges, 3242 markings/sec, 2395 secs
lola: 310 tries, 309350945 fired transitions, 2400 secs || 11537823 markings, 45368919 edges, 5995 markings/sec, 2400 secs
lola: 311 tries, 310002294 fired transitions, 2405 secs || 11570135 markings, 45440845 edges, 6462 markings/sec, 2405 secs
lola: 311 tries, 310683464 fired transitions, 2410 secs || 11593062 markings, 45590066 edges, 4585 markings/sec, 2410 secs
lola: 312 tries, 311338921 fired transitions, 2415 secs || 11607609 markings, 45718757 edges, 2909 markings/sec, 2415 secs
lola: 313 tries, 312003406 fired transitions, 2420 secs || 11635430 markings, 45784575 edges, 5564 markings/sec, 2420 secs
lola: 313 tries, 312666005 fired transitions, 2425 secs || 11666453 markings, 45849502 edges, 6205 markings/sec, 2425 secs
lola: 314 tries, 313347102 fired transitions, 2430 secs || 11692202 markings, 45972239 edges, 5150 markings/sec, 2430 secs
lola: 315 tries, 314032123 fired transitions, 2435 secs || 11703330 markings, 46125162 edges, 2226 markings/sec, 2435 secs
lola: 315 tries, 314651509 fired transitions, 2440 secs || 11729712 markings, 46193235 edges, 5276 markings/sec, 2440 secs
lola: 316 tries, 315275828 fired transitions, 2445 secs || 11758521 markings, 46250183 edges, 5762 markings/sec, 2445 secs
lola: 316 tries, 315931628 fired transitions, 2450 secs || 11789135 markings, 46352592 edges, 6123 markings/sec, 2450 secs
lola: 317 tries, 316584260 fired transitions, 2455 secs || 11799864 markings, 46532214 edges, 2146 markings/sec, 2455 secs
lola: 318 tries, 317156394 fired transitions, 2460 secs || 11823758 markings, 46601124 edges, 4779 markings/sec, 2460 secs
lola: 318 tries, 317715090 fired transitions, 2465 secs || 11852705 markings, 46655757 edges, 5789 markings/sec, 2465 secs
lola: 319 tries, 318285143 fired transitions, 2470 secs || 11881014 markings, 46729891 edges, 5662 markings/sec, 2470 secs
lola: 319 tries, 318897528 fired transitions, 2475 secs || 11896591 markings, 46892588 edges, 3115 markings/sec, 2475 secs
lola: 320 tries, 319477610 fired transitions, 2480 secs || 11913396 markings, 46989360 edges, 3361 markings/sec, 2480 secs
lola: 321 tries, 320095228 fired transitions, 2485 secs || 11939087 markings, 47047317 edges, 5138 markings/sec, 2485 secs
lola: 321 tries, 320671938 fired transitions, 2490 secs || 11967078 markings, 47106756 edges, 5598 markings/sec, 2490 secs
lola: 322 tries, 321283621 fired transitions, 2495 secs || 11991960 markings, 47217095 edges, 4976 markings/sec, 2495 secs
lola: 322 tries, 321903208 fired transitions, 2500 secs || 12001196 markings, 47373392 edges, 1847 markings/sec, 2500 secs
lola: 323 tries, 322507644 fired transitions, 2505 secs || 12025574 markings, 47439790 edges, 4876 markings/sec, 2505 secs
lola: 324 tries, 323112169 fired transitions, 2510 secs || 12054526 markings, 47495351 edges, 5790 markings/sec, 2510 secs
lola: 324 tries, 323720191 fired transitions, 2515 secs || 12083193 markings, 47575061 edges, 5733 markings/sec, 2515 secs
lola: 325 tries, 324342872 fired transitions, 2520 secs || 12095768 markings, 47731546 edges, 2515 markings/sec, 2520 secs
lola: 325 tries, 324952171 fired transitions, 2525 secs || 12114002 markings, 47827107 edges, 3647 markings/sec, 2525 secs
lola: 326 tries, 325555686 fired transitions, 2530 secs || 12143102 markings, 47888299 edges, 5820 markings/sec, 2530 secs
lola: 327 tries, 326161776 fired transitions, 2535 secs || 12173791 markings, 47960373 edges, 6138 markings/sec, 2535 secs
lola: 327 tries, 326779870 fired transitions, 2540 secs || 12193477 markings, 48107018 edges, 3937 markings/sec, 2540 secs
lola: 328 tries, 327394578 fired transitions, 2545 secs || 12207286 markings, 48227683 edges, 2762 markings/sec, 2545 secs
lola: 328 tries, 327999356 fired transitions, 2550 secs || 12231983 markings, 48283065 edges, 4939 markings/sec, 2550 secs
lola: 329 tries, 328605116 fired transitions, 2555 secs || 12259479 markings, 48338872 edges, 5499 markings/sec, 2555 secs
lola: 330 tries, 329216887 fired transitions, 2560 secs || 12285172 markings, 48426616 edges, 5139 markings/sec, 2560 secs
lola: 330 tries, 329840340 fired transitions, 2565 secs || 12293389 markings, 48576780 edges, 1643 markings/sec, 2565 secs
lola: 331 tries, 330449705 fired transitions, 2570 secs || 12311442 markings, 48656975 edges, 3611 markings/sec, 2570 secs
lola: 332 tries, 331083580 fired transitions, 2575 secs || 12337858 markings, 48708756 edges, 5283 markings/sec, 2575 secs
lola: 332 tries, 331695276 fired transitions, 2580 secs || 12364756 markings, 48768850 edges, 5380 markings/sec, 2580 secs
lola: 333 tries, 332312430 fired transitions, 2585 secs || 12386557 markings, 48870461 edges, 4360 markings/sec, 2585 secs
lola: 333 tries, 332956242 fired transitions, 2590 secs || 12392249 markings, 49015963 edges, 1138 markings/sec, 2590 secs
lola: 334 tries, 333561689 fired transitions, 2595 secs || 12415750 markings, 49083716 edges, 4700 markings/sec, 2595 secs
lola: 335 tries, 334187930 fired transitions, 2600 secs || 12445776 markings, 49138815 edges, 6005 markings/sec, 2600 secs
lola: 335 tries, 334795302 fired transitions, 2605 secs || 12474571 markings, 49217472 edges, 5759 markings/sec, 2605 secs
lola: 336 tries, 335417670 fired transitions, 2610 secs || 12487922 markings, 49372992 edges, 2670 markings/sec, 2610 secs
lola: 337 tries, 336029072 fired transitions, 2615 secs || 12503757 markings, 49469372 edges, 3167 markings/sec, 2615 secs
lola: 337 tries, 336634784 fired transitions, 2620 secs || 12529241 markings, 49520248 edges, 5097 markings/sec, 2620 secs
lola: 338 tries, 337242437 fired transitions, 2625 secs || 12555988 markings, 49577821 edges, 5349 markings/sec, 2625 secs
lola: 338 tries, 337875603 fired transitions, 2630 secs || 12579178 markings, 49673767 edges, 4638 markings/sec, 2630 secs
lola: 339 tries, 338509798 fired transitions, 2635 secs || 12585281 markings, 49815506 edges, 1221 markings/sec, 2635 secs
lola: 340 tries, 339114593 fired transitions, 2640 secs || 12606611 markings, 49889959 edges, 4266 markings/sec, 2640 secs
lola: 340 tries, 339723908 fired transitions, 2645 secs || 12635263 markings, 49944602 edges, 5730 markings/sec, 2645 secs
lola: 341 tries, 340346064 fired transitions, 2650 secs || 12664541 markings, 50020098 edges, 5856 markings/sec, 2650 secs
lola: 341 tries, 340966887 fired transitions, 2655 secs || 12679972 markings, 50163147 edges, 3086 markings/sec, 2655 secs
lola: 342 tries, 341587014 fired transitions, 2660 secs || 12694046 markings, 50273200 edges, 2815 markings/sec, 2660 secs
lola: 343 tries, 342192128 fired transitions, 2665 secs || 12719270 markings, 50325844 edges, 5045 markings/sec, 2665 secs
lola: 343 tries, 342799142 fired transitions, 2670 secs || 12746014 markings, 50381925 edges, 5349 markings/sec, 2670 secs
lola: 344 tries, 343412934 fired transitions, 2675 secs || 12770064 markings, 50472896 edges, 4810 markings/sec, 2675 secs
lola: 345 tries, 344038651 fired transitions, 2680 secs || 12776931 markings, 50615883 edges, 1373 markings/sec, 2680 secs
lola: 345 tries, 344652649 fired transitions, 2685 secs || 12797370 markings, 50695947 edges, 4088 markings/sec, 2685 secs
lola: 346 tries, 345257291 fired transitions, 2690 secs || 12826429 markings, 50750241 edges, 5812 markings/sec, 2690 secs
lola: 346 tries, 345864076 fired transitions, 2695 secs || 12855584 markings, 50825782 edges, 5831 markings/sec, 2695 secs
lola: 347 tries, 346487204 fired transitions, 2700 secs || 12870622 markings, 50974468 edges, 3008 markings/sec, 2700 secs
lola: 348 tries, 347106877 fired transitions, 2705 secs || 12894443 markings, 51104044 edges, 4764 markings/sec, 2705 secs
lola: 348 tries, 347723729 fired transitions, 2710 secs || 12932233 markings, 51199518 edges, 7558 markings/sec, 2710 secs
lola: 349 tries, 348333350 fired transitions, 2715 secs || 12970180 markings, 51286865 edges, 7589 markings/sec, 2715 secs
lola: 349 tries, 348955766 fired transitions, 2720 secs || 13008457 markings, 51383838 edges, 7655 markings/sec, 2720 secs
lola: 350 tries, 349572212 fired transitions, 2725 secs || 13041477 markings, 51506330 edges, 6604 markings/sec, 2725 secs
lola: 351 tries, 350195113 fired transitions, 2730 secs || 13058824 markings, 51665264 edges, 3469 markings/sec, 2730 secs
lola: 351 tries, 350816514 fired transitions, 2735 secs || 13081649 markings, 51757201 edges, 4565 markings/sec, 2735 secs
lola: 352 tries, 351418738 fired transitions, 2740 secs || 13112919 markings, 51814774 edges, 6254 markings/sec, 2740 secs
lola: 353 tries, 352026777 fired transitions, 2745 secs || 13143357 markings, 51902594 edges, 6088 markings/sec, 2745 secs
lola: 353 tries, 352656710 fired transitions, 2750 secs || 13154772 markings, 52080943 edges, 2283 markings/sec, 2750 secs
lola: 354 tries, 353261196 fired transitions, 2755 secs || 13177156 markings, 52156188 edges, 4477 markings/sec, 2755 secs
lola: 354 tries, 353869039 fired transitions, 2760 secs || 13206828 markings, 52212429 edges, 5934 markings/sec, 2760 secs
lola: 355 tries, 354476657 fired transitions, 2765 secs || 13235834 markings, 52295915 edges, 5801 markings/sec, 2765 secs
lola: 356 tries, 355099314 fired transitions, 2770 secs || 13247441 markings, 52461781 edges, 2321 markings/sec, 2770 secs
lola: 356 tries, 355704740 fired transitions, 2775 secs || 13266952 markings, 52543657 edges, 3902 markings/sec, 2775 secs
lola: 357 tries, 356343505 fired transitions, 2780 secs || 13295824 markings, 52598228 edges, 5774 markings/sec, 2780 secs
lola: 358 tries, 357002444 fired transitions, 2785 secs || 13325068 markings, 52676903 edges, 5849 markings/sec, 2785 secs
lola: 358 tries, 357623789 fired transitions, 2790 secs || 13338677 markings, 52818292 edges, 2722 markings/sec, 2790 secs
lola: 359 tries, 358237011 fired transitions, 2795 secs || 13353837 markings, 52923065 edges, 3032 markings/sec, 2795 secs
lola: 359 tries, 358840104 fired transitions, 2800 secs || 13382243 markings, 52978699 edges, 5681 markings/sec, 2800 secs
lola: 360 tries, 359446937 fired transitions, 2805 secs || 13411543 markings, 53050638 edges, 5860 markings/sec, 2805 secs
lola: 361 tries, 360096152 fired transitions, 2810 secs || 13429690 markings, 53191841 edges, 3629 markings/sec, 2810 secs
lola: 361 tries, 360711088 fired transitions, 2815 secs || 13442827 markings, 53308971 edges, 2627 markings/sec, 2815 secs
lola: 362 tries, 361316493 fired transitions, 2820 secs || 13469586 markings, 53361005 edges, 5352 markings/sec, 2820 secs
lola: 362 tries, 361923680 fired transitions, 2825 secs || 13497227 markings, 53423259 edges, 5528 markings/sec, 2825 secs
lola: 363 tries, 362540248 fired transitions, 2830 secs || 13518522 markings, 53535629 edges, 4259 markings/sec, 2830 secs
lola: 364 tries, 363161485 fired transitions, 2835 secs || 13526633 markings, 53676818 edges, 1622 markings/sec, 2835 secs
lola: 364 tries, 363764024 fired transitions, 2840 secs || 13554230 markings, 53737383 edges, 5519 markings/sec, 2840 secs
lola: 365 tries, 364386891 fired transitions, 2845 secs || 13585554 markings, 53804295 edges, 6265 markings/sec, 2845 secs
lola: 366 tries, 365014848 fired transitions, 2850 secs || 13610260 markings, 53931844 edges, 4941 markings/sec, 2850 secs
lola: 366 tries, 365634292 fired transitions, 2855 secs || 13621444 markings, 54076787 edges, 2237 markings/sec, 2855 secs
lola: 367 tries, 366236990 fired transitions, 2860 secs || 13650926 markings, 54135382 edges, 5896 markings/sec, 2860 secs
lola: 367 tries, 366861251 fired transitions, 2865 secs || 13682372 markings, 54209387 edges, 6289 markings/sec, 2865 secs
lola: 368 tries, 367482753 fired transitions, 2870 secs || 13702311 markings, 54357562 edges, 3988 markings/sec, 2870 secs
lola: 369 tries, 368095343 fired transitions, 2875 secs || 13718232 markings, 54476027 edges, 3184 markings/sec, 2875 secs
lola: 369 tries, 368704704 fired transitions, 2880 secs || 13746832 markings, 54532370 edges, 5720 markings/sec, 2880 secs
lola: 370 tries, 369338414 fired transitions, 2885 secs || 13777678 markings, 54611489 edges, 6169 markings/sec, 2885 secs
lola: 370 tries, 369958636 fired transitions, 2890 secs || 13793010 markings, 54765363 edges, 3066 markings/sec, 2890 secs
lola: 371 tries, 370567245 fired transitions, 2895 secs || 13810438 markings, 54866325 edges, 3486 markings/sec, 2895 secs
lola: 372 tries, 371174428 fired transitions, 2900 secs || 13838734 markings, 54920208 edges, 5659 markings/sec, 2900 secs
lola: 372 tries, 371781812 fired transitions, 2905 secs || 13866341 markings, 54991800 edges, 5521 markings/sec, 2905 secs
lola: 373 tries, 372402490 fired transitions, 2910 secs || 13881947 markings, 55131728 edges, 3121 markings/sec, 2910 secs
lola: 374 tries, 373015925 fired transitions, 2915 secs || 13896895 markings, 55242690 edges, 2990 markings/sec, 2915 secs
lola: 374 tries, 373618084 fired transitions, 2920 secs || 13926541 markings, 55299379 edges, 5929 markings/sec, 2920 secs
lola: 375 tries, 374233045 fired transitions, 2925 secs || 13956504 markings, 55377618 edges, 5993 markings/sec, 2925 secs
lola: 375 tries, 374853832 fired transitions, 2930 secs || 13971110 markings, 55523004 edges, 2921 markings/sec, 2930 secs
lola: 376 tries, 375464688 fired transitions, 2935 secs || 13988863 markings, 55630910 edges, 3551 markings/sec, 2935 secs
lola: 377 tries, 376074882 fired transitions, 2940 secs || 14020345 markings, 55690109 edges, 6296 markings/sec, 2940 secs
lola: 377 tries, 376694454 fired transitions, 2945 secs || 14050391 markings, 55782338 edges, 6009 markings/sec, 2945 secs
lola: 378 tries, 377317387 fired transitions, 2950 secs || 14060324 markings, 55949933 edges, 1987 markings/sec, 2950 secs
lola: 378 tries, 377951740 fired transitions, 2955 secs || 14084903 markings, 56022724 edges, 4916 markings/sec, 2955 secs
lola: 379 tries, 378590761 fired transitions, 2960 secs || 14114553 markings, 56082406 edges, 5930 markings/sec, 2960 secs
lola: 380 tries, 379240790 fired transitions, 2965 secs || 14141906 markings, 56182798 edges, 5471 markings/sec, 2965 secs
lola: 380 tries, 379905177 fired transitions, 2970 secs || 14149544 markings, 56347684 edges, 1528 markings/sec, 2970 secs
lola: 381 tries, 380545111 fired transitions, 2975 secs || 14179432 markings, 56411632 edges, 5978 markings/sec, 2975 secs
lola: 382 tries, 381183437 fired transitions, 2980 secs || 14211618 markings, 56483516 edges, 6437 markings/sec, 2980 secs
lola: 382 tries, 381833744 fired transitions, 2985 secs || 14234140 markings, 56627766 edges, 4504 markings/sec, 2985 secs
lola: 383 tries, 382483569 fired transitions, 2990 secs || 14250948 markings, 56757441 edges, 3362 markings/sec, 2990 secs
lola: 384 tries, 383126356 fired transitions, 2995 secs || 14282337 markings, 56818235 edges, 6278 markings/sec, 2995 secs
lola: 384 tries, 383796660 fired transitions, 3000 secs || 14314053 markings, 56916078 edges, 6343 markings/sec, 3000 secs
lola: 385 tries, 384483670 fired transitions, 3005 secs || 14325077 markings, 57100242 edges, 2205 markings/sec, 3005 secs
lola: 386 tries, 385149495 fired transitions, 3010 secs || 14356298 markings, 57165298 edges, 6244 markings/sec, 3010 secs
lola: 386 tries, 385812963 fired transitions, 3015 secs || 14389295 markings, 57242236 edges, 6599 markings/sec, 3015 secs
lola: 387 tries, 386489092 fired transitions, 3020 secs || 14409355 markings, 57401849 edges, 4012 markings/sec, 3020 secs
lola: 388 tries, 387142370 fired transitions, 3025 secs || 14426952 markings, 57508287 edges, 3519 markings/sec, 3025 secs
lola: 388 tries, 387786776 fired transitions, 3030 secs || 14454308 markings, 57561134 edges, 5471 markings/sec, 3030 secs
lola: 389 tries, 388462550 fired transitions, 3035 secs || 14482795 markings, 57640186 edges, 5697 markings/sec, 3035 secs
lola: 390 tries, 389087214 fired transitions, 3040 secs || 14494935 markings, 57778002 edges, 2428 markings/sec, 3040 secs
lola: 390 tries, 389705083 fired transitions, 3045 secs || 14511189 markings, 57876422 edges, 3251 markings/sec, 3045 secs
lola: 391 tries, 390295685 fired transitions, 3050 secs || 14539177 markings, 57928771 edges, 5598 markings/sec, 3050 secs
lola: 391 tries, 390928289 fired transitions, 3055 secs || 14568790 markings, 58010867 edges, 5923 markings/sec, 3055 secs
lola: 392 tries, 391574226 fired transitions, 3060 secs || 14581042 markings, 58172675 edges, 2450 markings/sec, 3060 secs
lola: 393 tries, 392182717 fired transitions, 3065 secs || 14600944 markings, 58252171 edges, 3980 markings/sec, 3065 secs
lola: 393 tries, 392787598 fired transitions, 3070 secs || 14628574 markings, 58306036 edges, 5526 markings/sec, 3070 secs
lola: 394 tries, 393397955 fired transitions, 3075 secs || 14654741 markings, 58385496 edges, 5233 markings/sec, 3075 secs
lola: 395 tries, 394028918 fired transitions, 3080 secs || 14665353 markings, 58525541 edges, 2122 markings/sec, 3080 secs
lola: 395 tries, 394627602 fired transitions, 3085 secs || 14683183 markings, 58614515 edges, 3566 markings/sec, 3085 secs
lola: 396 tries, 395183251 fired transitions, 3090 secs || 14712242 markings, 58670320 edges, 5812 markings/sec, 3090 secs
lola: 396 tries, 395797488 fired transitions, 3095 secs || 14742362 markings, 58769188 edges, 6024 markings/sec, 3095 secs
lola: 397 tries, 396445202 fired transitions, 3100 secs || 14753065 markings, 58949199 edges, 2141 markings/sec, 3100 secs
lola: 398 tries, 397056852 fired transitions, 3105 secs || 14783391 markings, 59008354 edges, 6065 markings/sec, 3105 secs
lola: 398 tries, 397660302 fired transitions, 3110 secs || 14814100 markings, 59080906 edges, 6142 markings/sec, 3110 secs
lola: 399 tries, 398277594 fired transitions, 3115 secs || 14832830 markings, 59227384 edges, 3746 markings/sec, 3115 secs
lola: 399 tries, 398888308 fired transitions, 3120 secs || 14850805 markings, 59341433 edges, 3595 markings/sec, 3120 secs
lola: 400 tries, 399489099 fired transitions, 3125 secs || 14881955 markings, 59401824 edges, 6230 markings/sec, 3125 secs
lola: 401 tries, 400097202 fired transitions, 3130 secs || 14910917 markings, 59503638 edges, 5792 markings/sec, 3130 secs
lola: 401 tries, 400716644 fired transitions, 3135 secs || 14920620 markings, 59676749 edges, 1941 markings/sec, 3135 secs
lola: 402 tries, 401317380 fired transitions, 3140 secs || 14951734 markings, 59735817 edges, 6223 markings/sec, 3140 secs
lola: 402 tries, 401921302 fired transitions, 3145 secs || 14983796 markings, 59815759 edges, 6412 markings/sec, 3145 secs
lola: 403 tries, 402539888 fired transitions, 3150 secs || 15000425 markings, 59984860 edges, 3326 markings/sec, 3150 secs
lola: 404 tries, 403146660 fired transitions, 3155 secs || 15023059 markings, 60073785 edges, 4527 markings/sec, 3155 secs
lola: 404 tries, 403750470 fired transitions, 3160 secs || 15052437 markings, 60135083 edges, 5876 markings/sec, 3160 secs
lola: 405 tries, 404362390 fired transitions, 3165 secs || 15077798 markings, 60242646 edges, 5072 markings/sec, 3165 secs
lola: 405 tries, 404995546 fired transitions, 3170 secs || 15086841 markings, 60398366 edges, 1809 markings/sec, 3170 secs
lola: 406 tries, 405596351 fired transitions, 3175 secs || 15117736 markings, 60455410 edges, 6179 markings/sec, 3175 secs
lola: 407 tries, 406227636 fired transitions, 3180 secs || 15149265 markings, 60537538 edges, 6306 markings/sec, 3180 secs
lola: 407 tries, 406850316 fired transitions, 3185 secs || 15164238 markings, 60700819 edges, 2995 markings/sec, 3185 secs
lola: 408 tries, 407469385 fired transitions, 3190 secs || 15187905 markings, 60789049 edges, 4733 markings/sec, 3190 secs
lola: 409 tries, 408072988 fired transitions, 3195 secs || 15217080 markings, 60849957 edges, 5835 markings/sec, 3195 secs
lola: 409 tries, 408689843 fired transitions, 3200 secs || 15242830 markings, 60962171 edges, 5150 markings/sec, 3200 secs
lola: 410 tries, 409346175 fired transitions, 3205 secs || 15255127 markings, 61117532 edges, 2459 markings/sec, 3205 secs
lola: 410 tries, 409982132 fired transitions, 3210 secs || 15285146 markings, 61172944 edges, 6004 markings/sec, 3210 secs
lola: 411 tries, 410632279 fired transitions, 3215 secs || 15315682 markings, 61250198 edges, 6107 markings/sec, 3215 secs
lola: 412 tries, 411311717 fired transitions, 3220 secs || 15331892 markings, 61407677 edges, 3242 markings/sec, 3220 secs
lola: 412 tries, 411978713 fired transitions, 3225 secs || 15354956 markings, 61504752 edges, 4613 markings/sec, 3225 secs
lola: 413 tries, 412640298 fired transitions, 3230 secs || 15386890 markings, 61573373 edges, 6387 markings/sec, 3230 secs
lola: 414 tries, 413299182 fired transitions, 3235 secs || 15410946 markings, 61702931 edges, 4811 markings/sec, 3235 secs
lola: 414 tries, 413963341 fired transitions, 3240 secs || 15427333 markings, 61840577 edges, 3277 markings/sec, 3240 secs
lola: 415 tries, 414557651 fired transitions, 3245 secs || 15458731 markings, 61889441 edges, 6280 markings/sec, 3245 secs
lola: 416 tries, 415143438 fired transitions, 3250 secs || 15490360 markings, 61940699 edges, 6326 markings/sec, 3250 secs
lola: 416 tries, 415731668 fired transitions, 3255 secs || 15521966 markings, 61992139 edges, 6321 markings/sec, 3255 secs
lola: 417 tries, 416321286 fired transitions, 3260 secs || 15553535 markings, 62044885 edges, 6314 markings/sec, 3260 secs
lola: 417 tries, 416935758 fired transitions, 3265 secs || 15585602 markings, 62098012 edges, 6413 markings/sec, 3265 secs
lola: 418 tries, 417597962 fired transitions, 3270 secs || 15619619 markings, 62154311 edges, 6803 markings/sec, 3270 secs
lola: 419 tries, 418247562 fired transitions, 3275 secs || 15653543 markings, 62211227 edges, 6785 markings/sec, 3275 secs
lola: 419 tries, 418852514 fired transitions, 3280 secs || 15684901 markings, 62262850 edges, 6272 markings/sec, 3280 secs
lola: 420 tries, 419454124 fired transitions, 3285 secs || 15716381 markings, 62315324 edges, 6296 markings/sec, 3285 secs
lola: 421 tries, 420056381 fired transitions, 3290 secs || 15747586 markings, 62368033 edges, 6241 markings/sec, 3290 secs
lola: 421 tries, 420704315 fired transitions, 3295 secs || 15780778 markings, 62423850 edges, 6638 markings/sec, 3295 secs
lola: 422 tries, 421376970 fired transitions, 3300 secs || 15814321 markings, 62480038 edges, 6709 markings/sec, 3300 secs
lola: 422 tries, 421997730 fired transitions, 3305 secs || 15845676 markings, 62532887 edges, 6271 markings/sec, 3305 secs
lola: 423 tries, 422627488 fired transitions, 3310 secs || 15877948 markings, 62587710 edges, 6454 markings/sec, 3310 secs
lola: 424 tries, 423229814 fired transitions, 3315 secs || 15908783 markings, 62640685 edges, 6167 markings/sec, 3315 secs
lola: 424 tries, 423831682 fired transitions, 3320 secs || 15939233 markings, 62693117 edges, 6090 markings/sec, 3320 secs
lola: 425 tries, 424452198 fired transitions, 3325 secs || 15970701 markings, 62747065 edges, 6294 markings/sec, 3325 secs
lola: 426 tries, 425119560 fired transitions, 3330 secs || 16003910 markings, 62804530 edges, 6642 markings/sec, 3330 secs
lola: 426 tries, 425781781 fired transitions, 3335 secs || 16037047 markings, 62862251 edges, 6627 markings/sec, 3335 secs
lola: 427 tries, 426436858 fired transitions, 3340 secs || 16069807 markings, 62919339 edges, 6552 markings/sec, 3340 secs
lola: 428 tries, 427085000 fired transitions, 3345 secs || 16102405 markings, 62976562 edges, 6520 markings/sec, 3345 secs
lola: 428 tries, 427745961 fired transitions, 3350 secs || 16135215 markings, 63034229 edges, 6562 markings/sec, 3350 secs
lola: 429 tries, 428394187 fired transitions, 3355 secs || 16167506 markings, 63091333 edges, 6458 markings/sec, 3355 secs
lola: 430 tries, 429056183 fired transitions, 3360 secs || 16200384 markings, 63148927 edges, 6576 markings/sec, 3360 secs
lola: 430 tries, 429658593 fired transitions, 3365 secs || 16231190 markings, 63203703 edges, 6161 markings/sec, 3365 secs
lola: 431 tries, 430260531 fired transitions, 3370 secs || 16261719 markings, 63257980 edges, 6106 markings/sec, 3370 secs
lola: 431 tries, 430862334 fired transitions, 3375 secs || 16292218 markings, 63311464 edges, 6100 markings/sec, 3375 secs
lola: 432 tries, 431484388 fired transitions, 3380 secs || 16323529 markings, 63367012 edges, 6262 markings/sec, 3380 secs
lola: 433 tries, 432105227 fired transitions, 3385 secs || 16354571 markings, 63422599 edges, 6208 markings/sec, 3385 secs
lola: 433 tries, 432707309 fired transitions, 3390 secs || 16384448 markings, 63476298 edges, 5975 markings/sec, 3390 secs
lola: 434 tries, 433333382 fired transitions, 3395 secs || 16415787 markings, 63533295 edges, 6268 markings/sec, 3395 secs
lola: 434 tries, 433934946 fired transitions, 3400 secs || 16446077 markings, 63587497 edges, 6058 markings/sec, 3400 secs
lola: 435 tries, 434535904 fired transitions, 3405 secs || 16476488 markings, 63642329 edges, 6082 markings/sec, 3405 secs
lola: 436 tries, 435138742 fired transitions, 3410 secs || 16506547 markings, 63696598 edges, 6012 markings/sec, 3410 secs
lola: 436 tries, 435740944 fired transitions, 3415 secs || 16536744 markings, 63751130 edges, 6039 markings/sec, 3415 secs
lola: 437 tries, 436351250 fired transitions, 3420 secs || 16567043 markings, 63806516 edges, 6060 markings/sec, 3420 secs
lola: 438 tries, 437014810 fired transitions, 3425 secs || 16600125 markings, 63867169 edges, 6616 markings/sec, 3425 secs
lola: 438 tries, 437617858 fired transitions, 3430 secs || 16630547 markings, 63922741 edges, 6084 markings/sec, 3430 secs
lola: 439 tries, 438234275 fired transitions, 3435 secs || 16661632 markings, 63980281 edges, 6217 markings/sec, 3435 secs
lola: 439 tries, 438876840 fired transitions, 3440 secs || 16693222 markings, 64038453 edges, 6318 markings/sec, 3440 secs
lola: 440 tries, 439515452 fired transitions, 3445 secs || 16724455 markings, 64095907 edges, 6247 markings/sec, 3445 secs
lola: 441 tries, 440118565 fired transitions, 3450 secs || 16754790 markings, 64152022 edges, 6067 markings/sec, 3450 secs
lola: 441 tries, 440722026 fired transitions, 3455 secs || 16785102 markings, 64209448 edges, 6062 markings/sec, 3455 secs
lola: 442 tries, 441333332 fired transitions, 3460 secs || 16816066 markings, 64267195 edges, 6193 markings/sec, 3460 secs
lola: 443 tries, 442004469 fired transitions, 3465 secs || 16848994 markings, 64328260 edges, 6586 markings/sec, 3465 secs
lola: 443 tries, 442660928 fired transitions, 3470 secs || 16881517 markings, 64389144 edges, 6505 markings/sec, 3470 secs
lola: 444 tries, 443322589 fired transitions, 3475 secs || 16913719 markings, 64449853 edges, 6440 markings/sec, 3475 secs
lola: 444 tries, 443982052 fired transitions, 3480 secs || 16945968 markings, 64510903 edges, 6450 markings/sec, 3480 secs
lola: 445 tries, 444640942 fired transitions, 3485 secs || 16978094 markings, 64571690 edges, 6425 markings/sec, 3485 secs
lola: 446 tries, 445302870 fired transitions, 3490 secs || 17010120 markings, 64633411 edges, 6405 markings/sec, 3490 secs
lola: 446 tries, 445963089 fired transitions, 3495 secs || 17041926 markings, 64693977 edges, 6361 markings/sec, 3495 secs
lola: 447 tries, 446607468 fired transitions, 3500 secs || 17073629 markings, 64754623 edges, 6341 markings/sec, 3500 secs
lola: 448 tries, 447279699 fired transitions, 3505 secs || 17106504 markings, 64817493 edges, 6575 markings/sec, 3505 secs
lola: 448 tries, 447893148 fired transitions, 3510 secs || 17137487 markings, 64876904 edges, 6197 markings/sec, 3510 secs
lola: 449 tries, 448563072 fired transitions, 3515 secs || 17170579 markings, 64940807 edges, 6618 markings/sec, 3515 secs
lola: 450 tries, 449183457 fired transitions, 3520 secs || 17201713 markings, 65000256 edges, 6227 markings/sec, 3520 secs
lola: 450 tries, 449803052 fired transitions, 3525 secs || 17232743 markings, 65060727 edges, 6206 markings/sec, 3525 secs
lola: 451 tries, 450460256 fired transitions, 3530 secs || 17264601 markings, 65123722 edges, 6372 markings/sec, 3530 secs
lola: 452 tries, 451089684 fired transitions, 3535 secs || 17296361 markings, 65185604 edges, 6352 markings/sec, 3535 secs
lola: 452 tries, 451693136 fired transitions, 3540 secs || 17326909 markings, 65245336 edges, 6110 markings/sec, 3540 secs
lola: 453 tries, 452297146 fired transitions, 3545 secs || 17357778 markings, 65306521 edges, 6174 markings/sec, 3545 secs
lola: 453 tries, 452936964 fired transitions, 3550 secs || 17389676 markings, 65369714 edges, 6380 markings/sec, 3550 secs
lola: 454 tries, 453610856 fired transitions, 3555 secs || 17423190 markings, 65436373 edges, 6703 markings/sec, 3555 secs
lola: time limit reached - aborting
lola: memory consumption: 2678840 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 1552685028861

--------------------
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="HypertorusGrid-PT-d4k3p2b08"
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 HypertorusGrid-PT-d4k3p2b08, 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 r082-csrt-155246550000804"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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