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

About the Execution of LoLA for DLCround-PT-11b

Execution Summary
Max Memory
Used (MB)
Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
12777.860 3595007.00 7337454.00 317.40 [undef] Cannot compute

Execution Chart

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

Trace from the execution

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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1.9M
-rw-r--r-- 1 mcc users 4.1K Feb 10 07:21 CTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Feb 10 07:21 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.5K Feb 6 05:49 CTLFireability.txt
-rw-r--r-- 1 mcc users 17K Feb 6 05:49 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 10 17:31 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 102 Feb 24 15:05 GlobalProperties.txt
-rw-r--r-- 1 mcc users 340 Feb 24 15:05 GlobalProperties.xml
-rw-r--r-- 1 mcc users 2.3K Feb 4 23:22 LTLCardinality.txt
-rw-r--r-- 1 mcc users 11K Feb 4 23:22 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.0K Feb 4 22:33 LTLFireability.txt
-rw-r--r-- 1 mcc users 12K Feb 4 22:33 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.3K Feb 2 23:04 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 17K Feb 2 23:04 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.7K Jan 30 13:23 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 17K Jan 30 13:23 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 4 22:19 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Feb 4 22:19 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Jan 29 09:34 equiv_col

-rw-r--r-- 1 mcc users 4 Jan 29 09:34 instance
-rw-r--r-- 1 mcc users 6 Jan 29 09:34 iscolored
-rw-r--r-- 1 mcc users 1.7M 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 DLCround-PT-11b-GlobalProperties-0

=== Now, execution of the tool begins

BK_START 1552458065108

info: Time: 3600 - MCC
vrfy: Checking GlobalProperties @ DLCround-PT-11b @ 3570 seconds
vrfy: finished
info: timeLeft: -25
rslt: Output for GlobalProperties @ DLCround-PT-11b

{
"build":
{
"architecture": 64,
"assertions": false,
"build_hostname": "mcc2019",
"build_system": "x86_64-unknown-linux-gnu",
"optimizations": true,
"package_version": "2.0",
"svn_version": "3189M"
},
"call":
{
"exec_host": "mcc2019",
"markinglimit": null,
"parameters":
[
"--pnmlnet",
"model.pnml",
"--xmlformula",
"--formula=GlobalProperties.xml",
"--mcc",
"--donotcomputecapacities",
"--encoder=simplecompressed",
"--check=modelchecking",
"--stubborn=combined",
"--siphontrap=par",
"--siphondepth=10",
"--findpath=par",
"--retrylimit=0",
"--depthlimit=1000000",
"--symmetry",
"--symmtimelimit=300",
"--threads=2",
"--symmetrydepth=1073741824",
"--timelimit=3570",
"--json=GlobalProperties.json",
"--jsoninclude=formula,formulastat,net"
],
"starttime": "Wed Mar 13 06:21:05 2019
",
"timelimit": 3570
},
"child": null,
"exit":
{
"error": null,
"memory": 12762668,
"runtime": 3570.000000,
"signal": "User defined signal 2",
"timelimitreached": true
},
"files":
{
"JSON": "GlobalProperties.json",
"formula": "GlobalProperties.xml",
"net": "model.pnml"
},
"formula":
{
"count":
{
"A": 0,
"E": 1,
"F": 1,
"G": 0,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 0,
"cont": 0,
"dl": 1,
"fir": 0,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 0,
"visible_transitions": 0
},
"processed": "E (F (DEADLOCK))",
"processed_size": 16,
"rewrites": 1,
"skeleton": "E(F(**))"
},
"net":
{
"arcs": 19673,
"conflict_clusters": 3763,
"places": 4375,
"places_significant": 4131,
"singleton_clusters": 0,
"transitions": 6991
},
"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": 65536.000000,
"composed": 0,
"dead_branches": 0,
"generators": 16,
"interrupted": false,
"real_computed": 16,
"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: 11366/268435456 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 4375
lola: finding significant places
lola: 4375 places, 6991 transitions, 4131 significant places
lola: compute conflict clusters
lola: computed conflict clusters
lola: Computing conflicting sets
lola: Computing back conflicting sets
lola: TASK
lola: Reading formula in XML format (--xmlformula)
lola: reading pnml
lola: reading formula from GlobalProperties.xml
lola: E (F (DEADLOCK))
lola: checking reachability
lola: Planning: workflow for reachability check: findpath||search (--findpath=par)
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: processed formula: E (F (DEADLOCK))
lola: processed formula length: 16
lola: 1 rewrites
lola: closed formula file GlobalProperties.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: SEARCH (findpath)
lola: findpath: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: computing symmetries (--symmetry)
lola: time limit for symmetry computation of 300 seconds given (--symmtimelimit)
lola: findpath: starting randomized, memory-less exploration (--findpath)
lola: findpath: searching for paths with maximal depth 1000000 (--depthlimit)
lola: findpath: no retry limit given (--retrylimit)
lola: findpath: transitions are chosen hash-driven
lola: computed 16 generators (16 in search tree, 0 by composition)
lola: representing 65536 symmetries
lola: 0 dead branches visited in search tree
lola: 2 tries, 1212828 fired transitions, 0 secs || 91987 markings, 105147 edges, 18397 markings/sec, 0 secs
lola: 3 tries, 2381759 fired transitions, 5 secs || 175625 markings, 200762 edges, 16728 markings/sec, 5 secs
lola: 4 tries, 3573729 fired transitions, 10 secs || 256254 markings, 291898 edges, 16126 markings/sec, 10 secs
lola: 5 tries, 4885744 fired transitions, 15 secs || 341283 markings, 388243 edges, 17006 markings/sec, 15 secs
lola: 7 tries, 6216586 fired transitions, 20 secs || 428330 markings, 487023 edges, 17409 markings/sec, 20 secs
lola: 8 tries, 7741487 fired transitions, 25 secs || 548294 markings, 626840 edges, 23993 markings/sec, 25 secs
lola: 10 tries, 9281297 fired transitions, 30 secs || 683266 markings, 789536 edges, 26994 markings/sec, 30 secs
lola: 11 tries, 10808679 fired transitions, 35 secs || 807287 markings, 934758 edges, 24804 markings/sec, 35 secs
lola: 13 tries, 12338794 fired transitions, 40 secs || 933267 markings, 1083555 edges, 25196 markings/sec, 40 secs
lola: 14 tries, 13879289 fired transitions, 45 secs || 1070673 markings, 1251572 edges, 27481 markings/sec, 45 secs
lola: 16 tries, 15421527 fired transitions, 50 secs || 1207569 markings, 1418968 edges, 27379 markings/sec, 50 secs
lola: 17 tries, 16963876 fired transitions, 55 secs || 1344234 markings, 1585887 edges, 27333 markings/sec, 55 secs
lola: 19 tries, 18506094 fired transitions, 60 secs || 1480776 markings, 1752865 edges, 27308 markings/sec, 60 secs
lola: 21 tries, 20049545 fired transitions, 65 secs || 1617621 markings, 1920345 edges, 27369 markings/sec, 65 secs
lola: 22 tries, 21590389 fired transitions, 70 secs || 1751851 markings, 2083701 edges, 26846 markings/sec, 70 secs
lola: 24 tries, 23136488 fired transitions, 75 secs || 1887377 markings, 2249264 edges, 27105 markings/sec, 75 secs
lola: 25 tries, 24677870 fired transitions, 80 secs || 2021607 markings, 2412743 edges, 26846 markings/sec, 80 secs
lola: 27 tries, 26220170 fired transitions, 85 secs || 2157367 markings, 2578539 edges, 27152 markings/sec, 85 secs
lola: 28 tries, 27761661 fired transitions, 90 secs || 2292480 markings, 2743366 edges, 27023 markings/sec, 90 secs
lola: 30 tries, 29303398 fired transitions, 95 secs || 2428089 markings, 2908430 edges, 27122 markings/sec, 95 secs
lola: 31 tries, 30846279 fired transitions, 100 secs || 2564349 markings, 3075036 edges, 27252 markings/sec, 100 secs
lola: 33 tries, 32389177 fired transitions, 105 secs || 2700174 markings, 3240835 edges, 27165 markings/sec, 105 secs
lola: 34 tries, 33932079 fired transitions, 110 secs || 2835363 markings, 3406359 edges, 27038 markings/sec, 110 secs
lola: 36 tries, 35473953 fired transitions, 115 secs || 2969056 markings, 3569639 edges, 26739 markings/sec, 115 secs
lola: 38 tries, 37015327 fired transitions, 120 secs || 3102951 markings, 3733212 edges, 26779 markings/sec, 120 secs
lola: 39 tries, 38557287 fired transitions, 125 secs || 3236614 markings, 3896165 edges, 26733 markings/sec, 125 secs
lola: 41 tries, 40101284 fired transitions, 130 secs || 3371434 markings, 4060858 edges, 26964 markings/sec, 130 secs
lola: 42 tries, 41643586 fired transitions, 135 secs || 3504781 markings, 4223358 edges, 26669 markings/sec, 135 secs
lola: 44 tries, 43187687 fired transitions, 140 secs || 3640121 markings, 4388974 edges, 27068 markings/sec, 140 secs
lola: 45 tries, 44731105 fired transitions, 145 secs || 3776464 markings, 4555870 edges, 27269 markings/sec, 145 secs
lola: 47 tries, 46274563 fired transitions, 150 secs || 3912334 markings, 4721864 edges, 27174 markings/sec, 150 secs
lola: 48 tries, 47815265 fired transitions, 155 secs || 4044761 markings, 4882690 edges, 26485 markings/sec, 155 secs
lola: 50 tries, 49356442 fired transitions, 160 secs || 4178915 markings, 5046207 edges, 26831 markings/sec, 160 secs
lola: 51 tries, 50899337 fired transitions, 165 secs || 4313984 markings, 5211201 edges, 27014 markings/sec, 165 secs
lola: 53 tries, 52441550 fired transitions, 170 secs || 4449247 markings, 5376294 edges, 27053 markings/sec, 170 secs
lola: 54 tries, 53985078 fired transitions, 175 secs || 4585417 markings, 5542798 edges, 27234 markings/sec, 175 secs
lola: 56 tries, 55521329 fired transitions, 180 secs || 4718886 markings, 5705157 edges, 26694 markings/sec, 180 secs
lola: 58 tries, 57064402 fired transitions, 185 secs || 4854366 markings, 5870743 edges, 27096 markings/sec, 185 secs
lola: 59 tries, 58605473 fired transitions, 190 secs || 4989598 markings, 6035440 edges, 27046 markings/sec, 190 secs
lola: 61 tries, 60147031 fired transitions, 195 secs || 5121660 markings, 6196179 edges, 26412 markings/sec, 195 secs
lola: 62 tries, 61691776 fired transitions, 200 secs || 5256850 markings, 6361708 edges, 27038 markings/sec, 200 secs
lola: 64 tries, 63232838 fired transitions, 205 secs || 5387599 markings, 6520393 edges, 26150 markings/sec, 205 secs
lola: 65 tries, 64777285 fired transitions, 210 secs || 5522894 markings, 6686053 edges, 27059 markings/sec, 210 secs
lola: 67 tries, 66319953 fired transitions, 215 secs || 5655724 markings, 6848177 edges, 26566 markings/sec, 215 secs
lola: 68 tries, 67861464 fired transitions, 220 secs || 5789580 markings, 7011051 edges, 26771 markings/sec, 220 secs
lola: 70 tries, 69401195 fired transitions, 225 secs || 5920823 markings, 7170228 edges, 26249 markings/sec, 225 secs
lola: 71 tries, 70941806 fired transitions, 230 secs || 6056828 markings, 7336696 edges, 27201 markings/sec, 230 secs
lola: 73 tries, 72481036 fired transitions, 235 secs || 6192352 markings, 7501095 edges, 27105 markings/sec, 235 secs
lola: 75 tries, 74019336 fired transitions, 240 secs || 6322403 markings, 7657864 edges, 26010 markings/sec, 240 secs
lola: 76 tries, 75579729 fired transitions, 245 secs || 6447170 markings, 7804173 edges, 24953 markings/sec, 245 secs
lola: 78 tries, 77133153 fired transitions, 250 secs || 6568917 markings, 7945951 edges, 24349 markings/sec, 250 secs
lola: 79 tries, 78654900 fired transitions, 255 secs || 6695418 markings, 8096330 edges, 25300 markings/sec, 255 secs
lola: 81 tries, 80177183 fired transitions, 260 secs || 6828657 markings, 8258775 edges, 26648 markings/sec, 260 secs
lola: 82 tries, 81719507 fired transitions, 265 secs || 6962780 markings, 8422140 edges, 26825 markings/sec, 265 secs
lola: 84 tries, 83262773 fired transitions, 270 secs || 7101882 markings, 8593168 edges, 27820 markings/sec, 270 secs
lola: 85 tries, 84789976 fired transitions, 275 secs || 7240114 markings, 8763621 edges, 27646 markings/sec, 275 secs
lola: 87 tries, 86335633 fired transitions, 280 secs || 7378593 markings, 8933884 edges, 27696 markings/sec, 280 secs
lola: 88 tries, 87880956 fired transitions, 285 secs || 7516327 markings, 9102934 edges, 27547 markings/sec, 285 secs
lola: 90 tries, 89432610 fired transitions, 290 secs || 7656729 markings, 9276352 edges, 28080 markings/sec, 290 secs
lola: 91 tries, 90963828 fired transitions, 295 secs || 7793724 markings, 9445083 edges, 27399 markings/sec, 295 secs
lola: 93 tries, 92526415 fired transitions, 300 secs || 7930503 markings, 9612931 edges, 27356 markings/sec, 300 secs
lola: 95 tries, 94087599 fired transitions, 305 secs || 8070755 markings, 9786014 edges, 28050 markings/sec, 305 secs
lola: 96 tries, 95664490 fired transitions, 310 secs || 8211163 markings, 9958955 edges, 28082 markings/sec, 310 secs
lola: 98 tries, 97221105 fired transitions, 315 secs || 8349771 markings, 10129242 edges, 27722 markings/sec, 315 secs
lola: 99 tries, 98763237 fired transitions, 320 secs || 8487500 markings, 10299212 edges, 27546 markings/sec, 320 secs
lola: 101 tries, 100286454 fired transitions, 325 secs || 8623347 markings, 10466830 edges, 27169 markings/sec, 325 secs
lola: 102 tries, 101808023 fired transitions, 330 secs || 8757592 markings, 10631966 edges, 26849 markings/sec, 330 secs
lola: 104 tries, 103358177 fired transitions, 335 secs || 8895655 markings, 10802225 edges, 27613 markings/sec, 335 secs
lola: 105 tries, 104900098 fired transitions, 340 secs || 9030216 markings, 10966938 edges, 26912 markings/sec, 340 secs
lola: 107 tries, 106465944 fired transitions, 345 secs || 9168345 markings, 11136637 edges, 27626 markings/sec, 345 secs
lola: 109 tries, 108007219 fired transitions, 350 secs || 9302696 markings, 11300821 edges, 26870 markings/sec, 350 secs
lola: 110 tries, 109552921 fired transitions, 355 secs || 9437196 markings, 11465819 edges, 26900 markings/sec, 355 secs
lola: 112 tries, 111094633 fired transitions, 360 secs || 9569633 markings, 11627428 edges, 26487 markings/sec, 360 secs
lola: 113 tries, 112638252 fired transitions, 365 secs || 9701230 markings, 11787522 edges, 26319 markings/sec, 365 secs
lola: 115 tries, 114180166 fired transitions, 370 secs || 9832851 markings, 11947916 edges, 26324 markings/sec, 370 secs
lola: 116 tries, 115725142 fired transitions, 375 secs || 9965321 markings, 12109490 edges, 26494 markings/sec, 375 secs
lola: 118 tries, 117267240 fired transitions, 380 secs || 10094691 markings, 12266434 edges, 25874 markings/sec, 380 secs
lola: 119 tries, 118812610 fired transitions, 385 secs || 10228380 markings, 12429995 edges, 26738 markings/sec, 385 secs
lola: 121 tries, 120333520 fired transitions, 390 secs || 10360042 markings, 12591129 edges, 26332 markings/sec, 390 secs
lola: 122 tries, 121878148 fired transitions, 395 secs || 10491571 markings, 12751633 edges, 26306 markings/sec, 395 secs
lola: 124 tries, 123421355 fired transitions, 400 secs || 10622096 markings, 12910710 edges, 26105 markings/sec, 400 secs
lola: 125 tries, 124965871 fired transitions, 405 secs || 10754075 markings, 13072040 edges, 26396 markings/sec, 405 secs
lola: 127 tries, 126509627 fired transitions, 410 secs || 10884591 markings, 13231168 edges, 26103 markings/sec, 410 secs
lola: 128 tries, 127967100 fired transitions, 415 secs || 11007371 markings, 13380391 edges, 24556 markings/sec, 415 secs
lola: 130 tries, 129512008 fired transitions, 420 secs || 11140791 markings, 13543546 edges, 26684 markings/sec, 420 secs
lola: 132 tries, 131057030 fired transitions, 425 secs || 11272958 markings, 13705101 edges, 26433 markings/sec, 425 secs
lola: 133 tries, 132601480 fired transitions, 430 secs || 11404822 markings, 13865975 edges, 26373 markings/sec, 430 secs
lola: 135 tries, 134142791 fired transitions, 435 secs || 11533963 markings, 14022622 edges, 25828 markings/sec, 435 secs
lola: 136 tries, 135685526 fired transitions, 440 secs || 11663544 markings, 14180149 edges, 25916 markings/sec, 440 secs
lola: 138 tries, 137229560 fired transitions, 445 secs || 11795461 markings, 14341339 edges, 26383 markings/sec, 445 secs
lola: 139 tries, 138773197 fired transitions, 450 secs || 11925751 markings, 14500190 edges, 26058 markings/sec, 450 secs
lola: 141 tries, 140315747 fired transitions, 455 secs || 12054862 markings, 14657003 edges, 25822 markings/sec, 455 secs
lola: 142 tries, 141855699 fired transitions, 460 secs || 12187820 markings, 14819361 edges, 26592 markings/sec, 460 secs
lola: 144 tries, 143400141 fired transitions, 465 secs || 12325562 markings, 14989325 edges, 27548 markings/sec, 465 secs
lola: 145 tries, 144947697 fired transitions, 470 secs || 12463761 markings, 15160254 edges, 27640 markings/sec, 470 secs
lola: 147 tries, 146494062 fired transitions, 475 secs || 12600514 markings, 15328486 edges, 27351 markings/sec, 475 secs
lola: 149 tries, 148040472 fired transitions, 480 secs || 12733393 markings, 15491167 edges, 26576 markings/sec, 480 secs
lola: 150 tries, 149584397 fired transitions, 485 secs || 12863267 markings, 15648773 edges, 25975 markings/sec, 485 secs
lola: 152 tries, 151128654 fired transitions, 490 secs || 12993041 markings, 15806472 edges, 25955 markings/sec, 490 secs
lola: 153 tries, 152670025 fired transitions, 495 secs || 13122737 markings, 15964414 edges, 25939 markings/sec, 495 secs
lola: 155 tries, 154216552 fired transitions, 500 secs || 13258790 markings, 16131363 edges, 27211 markings/sec, 500 secs
lola: 156 tries, 155762016 fired transitions, 505 secs || 13390007 markings, 16291985 edges, 26243 markings/sec, 505 secs
lola: 158 tries, 157302628 fired transitions, 510 secs || 13516295 markings, 16444650 edges, 25258 markings/sec, 510 secs
lola: 159 tries, 158845794 fired transitions, 515 secs || 13646581 markings, 16603599 edges, 26057 markings/sec, 515 secs
lola: 161 tries, 160392743 fired transitions, 520 secs || 13781646 markings, 16769821 edges, 27013 markings/sec, 520 secs
lola: 162 tries, 161939274 fired transitions, 525 secs || 13918647 markings, 16938585 edges, 27400 markings/sec, 525 secs
lola: 164 tries, 163483982 fired transitions, 530 secs || 14054757 markings, 17105915 edges, 27222 markings/sec, 530 secs
lola: 166 tries, 165027420 fired transitions, 535 secs || 14193156 markings, 17276502 edges, 27680 markings/sec, 535 secs
lola: 167 tries, 166573911 fired transitions, 540 secs || 14326875 markings, 17439902 edges, 26744 markings/sec, 540 secs
lola: 169 tries, 168124191 fired transitions, 545 secs || 14462223 markings, 17606535 edges, 27070 markings/sec, 545 secs
lola: 170 tries, 169670597 fired transitions, 550 secs || 14599135 markings, 17775352 edges, 27382 markings/sec, 550 secs
lola: 172 tries, 171218901 fired transitions, 555 secs || 14735291 markings, 17942985 edges, 27231 markings/sec, 555 secs
lola: 173 tries, 172763793 fired transitions, 560 secs || 14867327 markings, 18104524 edges, 26407 markings/sec, 560 secs
lola: 175 tries, 174313024 fired transitions, 565 secs || 15006724 markings, 18276975 edges, 27879 markings/sec, 565 secs
lola: 176 tries, 175860166 fired transitions, 570 secs || 15141016 markings, 18441843 edges, 26858 markings/sec, 570 secs
lola: 178 tries, 177407353 fired transitions, 575 secs || 15274755 markings, 18605665 edges, 26748 markings/sec, 575 secs
lola: 179 tries, 178948775 fired transitions, 580 secs || 15402624 markings, 18760709 edges, 25574 markings/sec, 580 secs
lola: 181 tries, 180491614 fired transitions, 585 secs || 15537167 markings, 18926312 edges, 26909 markings/sec, 585 secs
lola: 183 tries, 182014561 fired transitions, 590 secs || 15669809 markings, 19090314 edges, 26528 markings/sec, 590 secs
lola: 184 tries, 183517703 fired transitions, 595 secs || 15800200 markings, 19249850 edges, 26078 markings/sec, 595 secs
lola: 186 tries, 185007003 fired transitions, 600 secs || 15931102 markings, 19409857 edges, 26180 markings/sec, 600 secs
lola: 187 tries, 186550243 fired transitions, 605 secs || 16062005 markings, 19569741 edges, 26181 markings/sec, 605 secs
lola: 189 tries, 188086778 fired transitions, 610 secs || 16190189 markings, 19726232 edges, 25637 markings/sec, 610 secs
lola: 190 tries, 189605763 fired transitions, 615 secs || 16321193 markings, 19886733 edges, 26201 markings/sec, 615 secs
lola: 191 tries, 190949593 fired transitions, 620 secs || 16444790 markings, 20039505 edges, 24719 markings/sec, 620 secs
lola: 193 tries, 192290823 fired transitions, 625 secs || 16562500 markings, 20183721 edges, 23542 markings/sec, 625 secs
lola: 194 tries, 193633070 fired transitions, 630 secs || 16679890 markings, 20327587 edges, 23478 markings/sec, 630 secs
lola: 196 tries, 195146638 fired transitions, 635 secs || 16812304 markings, 20490658 edges, 26483 markings/sec, 635 secs
lola: 197 tries, 196688793 fired transitions, 640 secs || 16940414 markings, 20646229 edges, 25622 markings/sec, 640 secs
lola: 199 tries, 198235234 fired transitions, 645 secs || 17073737 markings, 20809575 edges, 26665 markings/sec, 645 secs
lola: 200 tries, 199783475 fired transitions, 650 secs || 17205496 markings, 20971237 edges, 26352 markings/sec, 650 secs
lola: 202 tries, 201331983 fired transitions, 655 secs || 17341400 markings, 21138655 edges, 27181 markings/sec, 655 secs
lola: 203 tries, 202879400 fired transitions, 660 secs || 17478020 markings, 21307090 edges, 27324 markings/sec, 660 secs
lola: 205 tries, 204421068 fired transitions, 665 secs || 17612582 markings, 21472503 edges, 26912 markings/sec, 665 secs
lola: 206 tries, 205971883 fired transitions, 670 secs || 17750571 markings, 21642593 edges, 27598 markings/sec, 670 secs
lola: 208 tries, 207516910 fired transitions, 675 secs || 17884680 markings, 21807088 edges, 26822 markings/sec, 675 secs
lola: 210 tries, 209063292 fired transitions, 680 secs || 18016748 markings, 21968562 edges, 26414 markings/sec, 680 secs
lola: 211 tries, 210609668 fired transitions, 685 secs || 18149512 markings, 22130716 edges, 26553 markings/sec, 685 secs
lola: 213 tries, 212154339 fired transitions, 690 secs || 18279357 markings, 22288417 edges, 25969 markings/sec, 690 secs
lola: 214 tries, 213697239 fired transitions, 695 secs || 18407983 markings, 22444276 edges, 25725 markings/sec, 695 secs
lola: 216 tries, 215241691 fired transitions, 700 secs || 18537053 markings, 22601149 edges, 25814 markings/sec, 700 secs
lola: 217 tries, 216791861 fired transitions, 705 secs || 18671747 markings, 22766982 edges, 26939 markings/sec, 705 secs
lola: 219 tries, 218334846 fired transitions, 710 secs || 18800416 markings, 22923057 edges, 25734 markings/sec, 710 secs
lola: 220 tries, 219877138 fired transitions, 715 secs || 18928391 markings, 23078110 edges, 25595 markings/sec, 715 secs
lola: 222 tries, 221423215 fired transitions, 720 secs || 19059374 markings, 23238031 edges, 26197 markings/sec, 720 secs
lola: 223 tries, 222948852 fired transitions, 725 secs || 19190105 markings, 23397685 edges, 26146 markings/sec, 725 secs
lola: 225 tries, 224416231 fired transitions, 730 secs || 19317634 markings, 23553603 edges, 25506 markings/sec, 730 secs
lola: 226 tries, 225825197 fired transitions, 735 secs || 19443136 markings, 23707296 edges, 25100 markings/sec, 735 secs
lola: 228 tries, 227256203 fired transitions, 740 secs || 19570121 markings, 23862175 edges, 25397 markings/sec, 740 secs
lola: 229 tries, 228762184 fired transitions, 745 secs || 19699457 markings, 24019577 edges, 25867 markings/sec, 745 secs
lola: 231 tries, 230274393 fired transitions, 750 secs || 19830519 markings, 24180046 edges, 26212 markings/sec, 750 secs
lola: 232 tries, 231788437 fired transitions, 755 secs || 19962946 markings, 24342121 edges, 26485 markings/sec, 755 secs
lola: 234 tries, 233279547 fired transitions, 760 secs || 20087712 markings, 24492624 edges, 24953 markings/sec, 760 secs
lola: 235 tries, 234786475 fired transitions, 765 secs || 20218901 markings, 24652848 edges, 26238 markings/sec, 765 secs
lola: 237 tries, 236287567 fired transitions, 770 secs || 20349911 markings, 24813081 edges, 26202 markings/sec, 770 secs
lola: 238 tries, 237799518 fired transitions, 775 secs || 20479823 markings, 24971404 edges, 25982 markings/sec, 775 secs
lola: 240 tries, 239163576 fired transitions, 780 secs || 20599476 markings, 25117479 edges, 23931 markings/sec, 780 secs
lola: 241 tries, 240707162 fired transitions, 785 secs || 20728133 markings, 25273343 edges, 25731 markings/sec, 785 secs
lola: 243 tries, 242249395 fired transitions, 790 secs || 20856624 markings, 25429523 edges, 25698 markings/sec, 790 secs
lola: 244 tries, 243797004 fired transitions, 795 secs || 20989039 markings, 25591671 edges, 26483 markings/sec, 795 secs
lola: 246 tries, 245331113 fired transitions, 800 secs || 21113615 markings, 25743872 edges, 24915 markings/sec, 800 secs
lola: 247 tries, 246352006 fired transitions, 805 secs || 21196393 markings, 25844712 edges, 16556 markings/sec, 805 secs
lola: 248 tries, 247174137 fired transitions, 810 secs || 21265444 markings, 25929327 edges, 13810 markings/sec, 810 secs
lola: 249 tries, 248002800 fired transitions, 815 secs || 21333338 markings, 26012834 edges, 13579 markings/sec, 815 secs
lola: 250 tries, 249537451 fired transitions, 820 secs || 21459348 markings, 26166344 edges, 25202 markings/sec, 820 secs
lola: 251 tries, 250968060 fired transitions, 825 secs || 21578684 markings, 26310685 edges, 23867 markings/sec, 825 secs
lola: 253 tries, 252333247 fired transitions, 830 secs || 21694090 markings, 26450655 edges, 23081 markings/sec, 830 secs
lola: 254 tries, 253883426 fired transitions, 835 secs || 21826487 markings, 26613361 edges, 26479 markings/sec, 835 secs
lola: 256 tries, 255431934 fired transitions, 840 secs || 21958164 markings, 26774440 edges, 26335 markings/sec, 840 secs
lola: 257 tries, 256985042 fired transitions, 845 secs || 22093716 markings, 26942163 edges, 27110 markings/sec, 845 secs
lola: 259 tries, 258536787 fired transitions, 850 secs || 22227307 markings, 27106815 edges, 26718 markings/sec, 850 secs
lola: 261 tries, 260044608 fired transitions, 855 secs || 22354833 markings, 27263741 edges, 25505 markings/sec, 855 secs
lola: 262 tries, 261526221 fired transitions, 860 secs || 22483441 markings, 27420691 edges, 25722 markings/sec, 860 secs
lola: 263 tries, 262869686 fired transitions, 865 secs || 22600069 markings, 27563455 edges, 23326 markings/sec, 865 secs
lola: 265 tries, 264209769 fired transitions, 870 secs || 22715414 markings, 27704044 edges, 23069 markings/sec, 870 secs
lola: 266 tries, 265556826 fired transitions, 875 secs || 22832765 markings, 27847449 edges, 23470 markings/sec, 875 secs
lola: 267 tries, 266908039 fired transitions, 880 secs || 22950397 markings, 27991911 edges, 23526 markings/sec, 880 secs
lola: 269 tries, 268248171 fired transitions, 885 secs || 23064363 markings, 28130807 edges, 22793 markings/sec, 885 secs
lola: 270 tries, 269584347 fired transitions, 890 secs || 23179541 markings, 28271344 edges, 23036 markings/sec, 890 secs
lola: 271 tries, 270906173 fired transitions, 895 secs || 23297334 markings, 28414002 edges, 23559 markings/sec, 895 secs
lola: 273 tries, 272238636 fired transitions, 900 secs || 23417344 markings, 28560543 edges, 24002 markings/sec, 900 secs
lola: 274 tries, 273581248 fired transitions, 905 secs || 23534924 markings, 28704526 edges, 23516 markings/sec, 905 secs
lola: 275 tries, 274927201 fired transitions, 910 secs || 23650156 markings, 28845563 edges, 23046 markings/sec, 910 secs
lola: 277 tries, 276277917 fired transitions, 915 secs || 23768929 markings, 28991449 edges, 23755 markings/sec, 915 secs
lola: 278 tries, 277627527 fired transitions, 920 secs || 23886184 markings, 29135274 edges, 23451 markings/sec, 920 secs
lola: 279 tries, 278980342 fired transitions, 925 secs || 24003024 markings, 29278666 edges, 23368 markings/sec, 925 secs
lola: 281 tries, 280324727 fired transitions, 930 secs || 24122936 markings, 29426132 edges, 23982 markings/sec, 930 secs
lola: 282 tries, 281687426 fired transitions, 935 secs || 24247213 markings, 29580177 edges, 24855 markings/sec, 935 secs
lola: 284 tries, 283028132 fired transitions, 940 secs || 24363695 markings, 29722604 edges, 23296 markings/sec, 940 secs
lola: 285 tries, 284438966 fired transitions, 945 secs || 24486952 markings, 29874183 edges, 24651 markings/sec, 945 secs
lola: 286 tries, 285963572 fired transitions, 950 secs || 24617849 markings, 30035401 edges, 26179 markings/sec, 950 secs
lola: 288 tries, 287498503 fired transitions, 955 secs || 24753185 markings, 30202638 edges, 27067 markings/sec, 955 secs
lola: 290 tries, 289046719 fired transitions, 960 secs || 24883394 markings, 30362622 edges, 26042 markings/sec, 960 secs
lola: 291 tries, 290560240 fired transitions, 965 secs || 25012149 markings, 30519527 edges, 25751 markings/sec, 965 secs
lola: 293 tries, 292107497 fired transitions, 970 secs || 25147955 markings, 30687185 edges, 27161 markings/sec, 970 secs
lola: 294 tries, 293656483 fired transitions, 975 secs || 25284170 markings, 30855097 edges, 27243 markings/sec, 975 secs
lola: 296 tries, 295198592 fired transitions, 980 secs || 25418225 markings, 31020970 edges, 26811 markings/sec, 980 secs
lola: 297 tries, 296746733 fired transitions, 985 secs || 25552186 markings, 31186502 edges, 26792 markings/sec, 985 secs
lola: 299 tries, 298295499 fired transitions, 990 secs || 25689662 markings, 31356679 edges, 27495 markings/sec, 990 secs
lola: 300 tries, 299840322 fired transitions, 995 secs || 25825287 markings, 31523849 edges, 27125 markings/sec, 995 secs
lola: 302 tries, 301387474 fired transitions, 1000 secs || 25956400 markings, 31684236 edges, 26223 markings/sec, 1000 secs
lola: 303 tries, 302933208 fired transitions, 1005 secs || 26088352 markings, 31846108 edges, 26390 markings/sec, 1005 secs
lola: 305 tries, 304476766 fired transitions, 1010 secs || 26221226 markings, 32008729 edges, 26575 markings/sec, 1010 secs
lola: 307 tries, 306016729 fired transitions, 1015 secs || 26354849 markings, 32172588 edges, 26725 markings/sec, 1015 secs
lola: 308 tries, 307559514 fired transitions, 1020 secs || 26489346 markings, 32338497 edges, 26899 markings/sec, 1020 secs
lola: 310 tries, 309108327 fired transitions, 1025 secs || 26625749 markings, 32507272 edges, 27281 markings/sec, 1025 secs
lola: 311 tries, 310652494 fired transitions, 1030 secs || 26758631 markings, 32670235 edges, 26576 markings/sec, 1030 secs
lola: 313 tries, 312194669 fired transitions, 1035 secs || 26888242 markings, 32828393 edges, 25922 markings/sec, 1035 secs
lola: 314 tries, 313732626 fired transitions, 1040 secs || 27014791 markings, 32981588 edges, 25310 markings/sec, 1040 secs
lola: 316 tries, 315278251 fired transitions, 1045 secs || 27144228 markings, 33140072 edges, 25887 markings/sec, 1045 secs
lola: 317 tries, 316765713 fired transitions, 1050 secs || 27273382 markings, 33299020 edges, 25831 markings/sec, 1050 secs
lola: 319 tries, 318316596 fired transitions, 1055 secs || 27408262 markings, 33466035 edges, 26976 markings/sec, 1055 secs
lola: 320 tries, 319846944 fired transitions, 1060 secs || 27545912 markings, 33636123 edges, 27530 markings/sec, 1060 secs
lola: 322 tries, 321377668 fired transitions, 1065 secs || 27675017 markings, 33794675 edges, 25821 markings/sec, 1065 secs
lola: 323 tries, 322890173 fired transitions, 1070 secs || 27805461 markings, 33954295 edges, 26089 markings/sec, 1070 secs
lola: 325 tries, 324410274 fired transitions, 1075 secs || 27936566 markings, 34115354 edges, 26221 markings/sec, 1075 secs
lola: 326 tries, 325921688 fired transitions, 1080 secs || 28065806 markings, 34272973 edges, 25848 markings/sec, 1080 secs
lola: 328 tries, 327463334 fired transitions, 1085 secs || 28195661 markings, 34431625 edges, 25971 markings/sec, 1085 secs
lola: 329 tries, 328876331 fired transitions, 1090 secs || 28316185 markings, 34579583 edges, 24105 markings/sec, 1090 secs
lola: 331 tries, 330221590 fired transitions, 1095 secs || 28432917 markings, 34722812 edges, 23346 markings/sec, 1095 secs
lola: 332 tries, 331558320 fired transitions, 1100 secs || 28549938 markings, 34865653 edges, 23404 markings/sec, 1100 secs
lola: 333 tries, 332911366 fired transitions, 1105 secs || 28670096 markings, 35014023 edges, 24032 markings/sec, 1105 secs
lola: 335 tries, 334250936 fired transitions, 1110 secs || 28783875 markings, 35153218 edges, 22756 markings/sec, 1110 secs
lola: 336 tries, 335601667 fired transitions, 1115 secs || 28902822 markings, 35298994 edges, 23789 markings/sec, 1115 secs
lola: 337 tries, 336567363 fired transitions, 1120 secs || 28981554 markings, 35394527 edges, 15746 markings/sec, 1120 secs
lola: 338 tries, 337574985 fired transitions, 1125 secs || 29063544 markings, 35494251 edges, 16398 markings/sec, 1125 secs
lola: 340 tries, 339124267 fired transitions, 1130 secs || 29196403 markings, 35657984 edges, 26572 markings/sec, 1130 secs
lola: 341 tries, 340673048 fired transitions, 1135 secs || 29333094 markings, 35827376 edges, 27338 markings/sec, 1135 secs
lola: 343 tries, 342215648 fired transitions, 1140 secs || 29465395 markings, 35989315 edges, 26460 markings/sec, 1140 secs
lola: 344 tries, 343764384 fired transitions, 1145 secs || 29596924 markings, 36150501 edges, 26306 markings/sec, 1145 secs
lola: 346 tries, 345312974 fired transitions, 1150 secs || 29726590 markings, 36309133 edges, 25933 markings/sec, 1150 secs
lola: 347 tries, 346861256 fired transitions, 1155 secs || 29855793 markings, 36466891 edges, 25841 markings/sec, 1155 secs
lola: 349 tries, 348367305 fired transitions, 1160 secs || 29980421 markings, 36618627 edges, 24926 markings/sec, 1160 secs
lola: 350 tries, 349694950 fired transitions, 1165 secs || 30094054 markings, 36756925 edges, 22727 markings/sec, 1165 secs
lola: 352 tries, 351018840 fired transitions, 1170 secs || 30206899 markings, 36894223 edges, 22569 markings/sec, 1170 secs
lola: 353 tries, 352360021 fired transitions, 1175 secs || 30321721 markings, 37034895 edges, 22964 markings/sec, 1175 secs
lola: 354 tries, 353689327 fired transitions, 1180 secs || 30434380 markings, 37172424 edges, 22532 markings/sec, 1180 secs
lola: 356 tries, 355033444 fired transitions, 1185 secs || 30549594 markings, 37313717 edges, 23043 markings/sec, 1185 secs
lola: 357 tries, 356381183 fired transitions, 1190 secs || 30665666 markings, 37456505 edges, 23214 markings/sec, 1190 secs
lola: 358 tries, 357709266 fired transitions, 1195 secs || 30772395 markings, 37586154 edges, 21346 markings/sec, 1195 secs
lola: 360 tries, 359195640 fired transitions, 1200 secs || 30895546 markings, 37736902 edges, 24630 markings/sec, 1200 secs
lola: 361 tries, 360592326 fired transitions, 1205 secs || 31009919 markings, 37876669 edges, 22875 markings/sec, 1205 secs
lola: 362 tries, 361665041 fired transitions, 1210 secs || 31096128 markings, 37981590 edges, 17242 markings/sec, 1210 secs
lola: 364 tries, 363213876 fired transitions, 1215 secs || 31226026 markings, 38141100 edges, 25980 markings/sec, 1215 secs
lola: 365 tries, 364760295 fired transitions, 1220 secs || 31359865 markings, 38306388 edges, 26768 markings/sec, 1220 secs
lola: 367 tries, 366307143 fired transitions, 1225 secs || 31490981 markings, 38467230 edges, 26223 markings/sec, 1225 secs
lola: 368 tries, 367855201 fired transitions, 1230 secs || 31625933 markings, 38633795 edges, 26990 markings/sec, 1230 secs
lola: 370 tries, 369404918 fired transitions, 1235 secs || 31762085 markings, 38801962 edges, 27230 markings/sec, 1235 secs
lola: 371 tries, 370948235 fired transitions, 1240 secs || 31896970 markings, 38968244 edges, 26977 markings/sec, 1240 secs
lola: 373 tries, 372293995 fired transitions, 1245 secs || 32018519 markings, 39118150 edges, 24310 markings/sec, 1245 secs
lola: 374 tries, 373612211 fired transitions, 1250 secs || 32133913 markings, 39259234 edges, 23079 markings/sec, 1250 secs
lola: 375 tries, 374956286 fired transitions, 1255 secs || 32256417 markings, 39410751 edges, 24501 markings/sec, 1255 secs
lola: 377 tries, 376303614 fired transitions, 1260 secs || 32378711 markings, 39562271 edges, 24459 markings/sec, 1260 secs
lola: 378 tries, 377780709 fired transitions, 1265 secs || 32509431 markings, 39724056 edges, 26144 markings/sec, 1265 secs
lola: 380 tries, 379326362 fired transitions, 1270 secs || 32646970 markings, 39894014 edges, 27508 markings/sec, 1270 secs
lola: 381 tries, 380877336 fired transitions, 1275 secs || 32784940 markings, 40064948 edges, 27594 markings/sec, 1275 secs
lola: 383 tries, 382424843 fired transitions, 1280 secs || 32922220 markings, 40234644 edges, 27456 markings/sec, 1280 secs
lola: 384 tries, 383996087 fired transitions, 1285 secs || 33056744 markings, 40400023 edges, 26905 markings/sec, 1285 secs
lola: 386 tries, 385580631 fired transitions, 1290 secs || 33196341 markings, 40573141 edges, 27919 markings/sec, 1290 secs
lola: 388 tries, 387163364 fired transitions, 1295 secs || 33330679 markings, 40737482 edges, 26868 markings/sec, 1295 secs
lola: 389 tries, 388743653 fired transitions, 1300 secs || 33470571 markings, 40910741 edges, 27978 markings/sec, 1300 secs
lola: 391 tries, 390295786 fired transitions, 1305 secs || 33608668 markings, 41082022 edges, 27619 markings/sec, 1305 secs
lola: 392 tries, 391850066 fired transitions, 1310 secs || 33742786 markings, 41246366 edges, 26824 markings/sec, 1310 secs
lola: 394 tries, 393392051 fired transitions, 1315 secs || 33873518 markings, 41406787 edges, 26146 markings/sec, 1315 secs
lola: 395 tries, 394914380 fired transitions, 1320 secs || 34001912 markings, 41564141 edges, 25679 markings/sec, 1320 secs
lola: 397 tries, 396468427 fired transitions, 1325 secs || 34132016 markings, 41723037 edges, 26021 markings/sec, 1325 secs
lola: 399 tries, 398046160 fired transitions, 1330 secs || 34267012 markings, 41888806 edges, 26999 markings/sec, 1330 secs
lola: 400 tries, 399613936 fired transitions, 1335 secs || 34398622 markings, 42049654 edges, 26322 markings/sec, 1335 secs
lola: 402 tries, 401193233 fired transitions, 1340 secs || 34533561 markings, 42214932 edges, 26988 markings/sec, 1340 secs
lola: 403 tries, 402772791 fired transitions, 1345 secs || 34666947 markings, 42377323 edges, 26677 markings/sec, 1345 secs
lola: 405 tries, 404352848 fired transitions, 1350 secs || 34802299 markings, 42543537 edges, 27070 markings/sec, 1350 secs
lola: 406 tries, 405926251 fired transitions, 1355 secs || 34931007 markings, 42698991 edges, 25742 markings/sec, 1355 secs
lola: 408 tries, 407502893 fired transitions, 1360 secs || 35063602 markings, 42860748 edges, 26519 markings/sec, 1360 secs
lola: 410 tries, 409057565 fired transitions, 1365 secs || 35193186 markings, 43018632 edges, 25917 markings/sec, 1365 secs
lola: 411 tries, 410637257 fired transitions, 1370 secs || 35327824 markings, 43183937 edges, 26928 markings/sec, 1370 secs
lola: 413 tries, 412215197 fired transitions, 1375 secs || 35458856 markings, 43344294 edges, 26206 markings/sec, 1375 secs
lola: 414 tries, 413774175 fired transitions, 1380 secs || 35587691 markings, 43501495 edges, 25767 markings/sec, 1380 secs
lola: 416 tries, 415351886 fired transitions, 1385 secs || 35724876 markings, 43671314 edges, 27437 markings/sec, 1385 secs
lola: 417 tries, 416924437 fired transitions, 1390 secs || 35861236 markings, 43839359 edges, 27272 markings/sec, 1390 secs
lola: 419 tries, 418500159 fired transitions, 1395 secs || 35996536 markings, 44006226 edges, 27060 markings/sec, 1395 secs
lola: 421 tries, 420078573 fired transitions, 1400 secs || 36138407 markings, 44182739 edges, 28374 markings/sec, 1400 secs
lola: 422 tries, 421651717 fired transitions, 1405 secs || 36270591 markings, 44343977 edges, 26437 markings/sec, 1405 secs
lola: 424 tries, 423230287 fired transitions, 1410 secs || 36410171 markings, 44517426 edges, 27916 markings/sec, 1410 secs
lola: 425 tries, 424804991 fired transitions, 1415 secs || 36547068 markings, 44685910 edges, 27379 markings/sec, 1415 secs
lola: 427 tries, 426374959 fired transitions, 1420 secs || 36678569 markings, 44846748 edges, 26300 markings/sec, 1420 secs
lola: 428 tries, 427950340 fired transitions, 1425 secs || 36810137 markings, 45007856 edges, 26314 markings/sec, 1425 secs
lola: 430 tries, 429521966 fired transitions, 1430 secs || 36940563 markings, 45167279 edges, 26085 markings/sec, 1430 secs
lola: 432 tries, 431096579 fired transitions, 1435 secs || 37070096 markings, 45324916 edges, 25907 markings/sec, 1435 secs
lola: 433 tries, 432667070 fired transitions, 1440 secs || 37202488 markings, 45487436 edges, 26478 markings/sec, 1440 secs
lola: 435 tries, 434235356 fired transitions, 1445 secs || 37325984 markings, 45636568 edges, 24699 markings/sec, 1445 secs
lola: 436 tries, 435807700 fired transitions, 1450 secs || 37454239 markings, 45793525 edges, 25651 markings/sec, 1450 secs
lola: 438 tries, 437376890 fired transitions, 1455 secs || 37582360 markings, 45950184 edges, 25624 markings/sec, 1455 secs
lola: 439 tries, 438946990 fired transitions, 1460 secs || 37710352 markings, 46106469 edges, 25598 markings/sec, 1460 secs
lola: 441 tries, 440511510 fired transitions, 1465 secs || 37833717 markings, 46255421 edges, 24673 markings/sec, 1465 secs
lola: 443 tries, 442080160 fired transitions, 1470 secs || 37954791 markings, 46403252 edges, 24215 markings/sec, 1470 secs
lola: 444 tries, 443642751 fired transitions, 1475 secs || 38083659 markings, 46560719 edges, 25774 markings/sec, 1475 secs
lola: 446 tries, 445201112 fired transitions, 1480 secs || 38207839 markings, 46711595 edges, 24836 markings/sec, 1480 secs
lola: 447 tries, 446743757 fired transitions, 1485 secs || 38329216 markings, 46858824 edges, 24275 markings/sec, 1485 secs
lola: 449 tries, 448288754 fired transitions, 1490 secs || 38455977 markings, 47014462 edges, 25352 markings/sec, 1490 secs
lola: 450 tries, 449840613 fired transitions, 1495 secs || 38591460 markings, 47181910 edges, 27097 markings/sec, 1495 secs
lola: 452 tries, 451406647 fired transitions, 1500 secs || 38724383 markings, 47346417 edges, 26585 markings/sec, 1500 secs
lola: 453 tries, 452975690 fired transitions, 1505 secs || 38852485 markings, 47503378 edges, 25620 markings/sec, 1505 secs
lola: 455 tries, 454543230 fired transitions, 1510 secs || 38980773 markings, 47660358 edges, 25658 markings/sec, 1510 secs
lola: 457 tries, 456109995 fired transitions, 1515 secs || 39113858 markings, 47825120 edges, 26617 markings/sec, 1515 secs
lola: 458 tries, 457674405 fired transitions, 1520 secs || 39238571 markings, 47977761 edges, 24943 markings/sec, 1520 secs
lola: 460 tries, 459235500 fired transitions, 1525 secs || 39366171 markings, 48134655 edges, 25520 markings/sec, 1525 secs
lola: 461 tries, 460817378 fired transitions, 1530 secs || 39496157 markings, 48294255 edges, 25997 markings/sec, 1530 secs
lola: 463 tries, 462403221 fired transitions, 1535 secs || 39627109 markings, 48455541 edges, 26190 markings/sec, 1535 secs
lola: 464 tries, 463987409 fired transitions, 1540 secs || 39760711 markings, 48620856 edges, 26720 markings/sec, 1540 secs
lola: 466 tries, 465551828 fired transitions, 1545 secs || 39892319 markings, 48783199 edges, 26322 markings/sec, 1545 secs
lola: 468 tries, 467110888 fired transitions, 1550 secs || 40022925 markings, 48943996 edges, 26121 markings/sec, 1550 secs
lola: 469 tries, 468670518 fired transitions, 1555 secs || 40151178 markings, 49100928 edges, 25651 markings/sec, 1555 secs
lola: 471 tries, 470235910 fired transitions, 1560 secs || 40277498 markings, 49252753 edges, 25264 markings/sec, 1560 secs
lola: 472 tries, 471802578 fired transitions, 1565 secs || 40399873 markings, 49398395 edges, 24475 markings/sec, 1565 secs
lola: 474 tries, 473367113 fired transitions, 1570 secs || 40525884 markings, 49549528 edges, 25202 markings/sec, 1570 secs
lola: 475 tries, 474940238 fired transitions, 1575 secs || 40658244 markings, 49710721 edges, 26472 markings/sec, 1575 secs
lola: 477 tries, 476503371 fired transitions, 1580 secs || 40794265 markings, 49878042 edges, 27204 markings/sec, 1580 secs
lola: 479 tries, 478006127 fired transitions, 1585 secs || 40926821 markings, 50040485 edges, 26511 markings/sec, 1585 secs
lola: 480 tries, 479546574 fired transitions, 1590 secs || 41055555 markings, 50197382 edges, 25747 markings/sec, 1590 secs
lola: 482 tries, 481091860 fired transitions, 1595 secs || 41188528 markings, 50360669 edges, 26595 markings/sec, 1595 secs
lola: 483 tries, 482637637 fired transitions, 1600 secs || 41321949 markings, 50524987 edges, 26684 markings/sec, 1600 secs
lola: 485 tries, 484180128 fired transitions, 1605 secs || 41448405 markings, 50679017 edges, 25291 markings/sec, 1605 secs
lola: 486 tries, 485588269 fired transitions, 1610 secs || 41567341 markings, 50825021 edges, 23787 markings/sec, 1610 secs
lola: 487 tries, 486950689 fired transitions, 1615 secs || 41691485 markings, 50977273 edges, 24829 markings/sec, 1615 secs
lola: 489 tries, 488463467 fired transitions, 1620 secs || 41827414 markings, 51143709 edges, 27186 markings/sec, 1620 secs
lola: 490 tries, 489972656 fired transitions, 1625 secs || 41963189 markings, 51310820 edges, 27155 markings/sec, 1625 secs
lola: 492 tries, 491503302 fired transitions, 1630 secs || 42096350 markings, 51473686 edges, 26632 markings/sec, 1630 secs
lola: 494 tries, 493062349 fired transitions, 1635 secs || 42232237 markings, 51640952 edges, 27177 markings/sec, 1635 secs
lola: 495 tries, 494622781 fired transitions, 1640 secs || 42365553 markings, 51803917 edges, 26663 markings/sec, 1640 secs
lola: 497 tries, 496168887 fired transitions, 1645 secs || 42501236 markings, 51971018 edges, 27137 markings/sec, 1645 secs
lola: 498 tries, 497713856 fired transitions, 1650 secs || 42636724 markings, 52138001 edges, 27098 markings/sec, 1650 secs
lola: 500 tries, 499254603 fired transitions, 1655 secs || 42769461 markings, 52300102 edges, 26547 markings/sec, 1655 secs
lola: 501 tries, 500798249 fired transitions, 1660 secs || 42903409 markings, 52464235 edges, 26790 markings/sec, 1660 secs
lola: 503 tries, 502341212 fired transitions, 1665 secs || 43037727 markings, 52628502 edges, 26864 markings/sec, 1665 secs
lola: 504 tries, 503878698 fired transitions, 1670 secs || 43168083 markings, 52787232 edges, 26071 markings/sec, 1670 secs
lola: 506 tries, 505419676 fired transitions, 1675 secs || 43304107 markings, 52954483 edges, 27205 markings/sec, 1675 secs
lola: 507 tries, 506956371 fired transitions, 1680 secs || 43433900 markings, 53112117 edges, 25959 markings/sec, 1680 secs
lola: 509 tries, 508500672 fired transitions, 1685 secs || 43567884 markings, 53276481 edges, 26797 markings/sec, 1685 secs
lola: 511 tries, 510045492 fired transitions, 1690 secs || 43703484 markings, 53443759 edges, 27120 markings/sec, 1690 secs
lola: 512 tries, 511590633 fired transitions, 1695 secs || 43839920 markings, 53611636 edges, 27287 markings/sec, 1695 secs
lola: 514 tries, 513134679 fired transitions, 1700 secs || 43976934 markings, 53781082 edges, 27403 markings/sec, 1700 secs
lola: 515 tries, 514680951 fired transitions, 1705 secs || 44114256 markings, 53951357 edges, 27464 markings/sec, 1705 secs
lola: 517 tries, 516228038 fired transitions, 1710 secs || 44250827 markings, 54119747 edges, 27314 markings/sec, 1710 secs
lola: 518 tries, 517771525 fired transitions, 1715 secs || 44382950 markings, 54281872 edges, 26425 markings/sec, 1715 secs
lola: 520 tries, 519317876 fired transitions, 1720 secs || 44519755 markings, 54450668 edges, 27361 markings/sec, 1720 secs
lola: 521 tries, 520859694 fired transitions, 1725 secs || 44653700 markings, 54615412 edges, 26789 markings/sec, 1725 secs
lola: 523 tries, 522404627 fired transitions, 1730 secs || 44788346 markings, 54781021 edges, 26929 markings/sec, 1730 secs
lola: 524 tries, 523950281 fired transitions, 1735 secs || 44923747 markings, 54948012 edges, 27080 markings/sec, 1735 secs
lola: 526 tries, 525497049 fired transitions, 1740 secs || 45059488 markings, 55114821 edges, 27148 markings/sec, 1740 secs
lola: 528 tries, 527007663 fired transitions, 1745 secs || 45195222 markings, 55282530 edges, 27147 markings/sec, 1745 secs
lola: 529 tries, 528420265 fired transitions, 1750 secs || 45323018 markings, 55440920 edges, 25559 markings/sec, 1750 secs
lola: 530 tries, 529982372 fired transitions, 1755 secs || 45451982 markings, 55598545 edges, 25793 markings/sec, 1755 secs
lola: 532 tries, 531545120 fired transitions, 1760 secs || 45582394 markings, 55758183 edges, 26082 markings/sec, 1760 secs
lola: 534 tries, 533098249 fired transitions, 1765 secs || 45699847 markings, 55896410 edges, 23491 markings/sec, 1765 secs
lola: 535 tries, 534625132 fired transitions, 1770 secs || 45816832 markings, 56033644 edges, 23397 markings/sec, 1770 secs
lola: 537 tries, 536145293 fired transitions, 1775 secs || 45931999 markings, 56167808 edges, 23033 markings/sec, 1775 secs
lola: 538 tries, 537686628 fired transitions, 1780 secs || 46048164 markings, 56303291 edges, 23233 markings/sec, 1780 secs
lola: 540 tries, 539231722 fired transitions, 1785 secs || 46168590 markings, 56444261 edges, 24085 markings/sec, 1785 secs
lola: 541 tries, 540788125 fired transitions, 1790 secs || 46289436 markings, 56587105 edges, 24169 markings/sec, 1790 secs
lola: 543 tries, 542338948 fired transitions, 1795 secs || 46423336 markings, 56750104 edges, 26780 markings/sec, 1795 secs
lola: 544 tries, 543907668 fired transitions, 1800 secs || 46552878 markings, 56908099 edges, 25908 markings/sec, 1800 secs
lola: 546 tries, 545470994 fired transitions, 1805 secs || 46683465 markings, 57066780 edges, 26117 markings/sec, 1805 secs
lola: 547 tries, 546881326 fired transitions, 1810 secs || 46793853 markings, 57196730 edges, 22078 markings/sec, 1810 secs
lola: 549 tries, 548219512 fired transitions, 1815 secs || 46917416 markings, 57347256 edges, 24713 markings/sec, 1815 secs
lola: 550 tries, 549563909 fired transitions, 1820 secs || 47041692 markings, 57499238 edges, 24855 markings/sec, 1820 secs
lola: 551 tries, 550922734 fired transitions, 1825 secs || 47169369 markings, 57656417 edges, 25535 markings/sec, 1825 secs
lola: 553 tries, 552284126 fired transitions, 1830 secs || 47293320 markings, 57808749 edges, 24790 markings/sec, 1830 secs
lola: 554 tries, 553646613 fired transitions, 1835 secs || 47416464 markings, 57960142 edges, 24629 markings/sec, 1835 secs
lola: 556 tries, 555004471 fired transitions, 1840 secs || 47537345 markings, 58108177 edges, 24176 markings/sec, 1840 secs
lola: 557 tries, 556372732 fired transitions, 1845 secs || 47661056 markings, 58260657 edges, 24742 markings/sec, 1845 secs
lola: 558 tries, 557737070 fired transitions, 1850 secs || 47784992 markings, 58413136 edges, 24787 markings/sec, 1850 secs
lola: 560 tries, 559101656 fired transitions, 1855 secs || 47908721 markings, 58565491 edges, 24746 markings/sec, 1855 secs
lola: 561 tries, 560455113 fired transitions, 1860 secs || 48028473 markings, 58712112 edges, 23950 markings/sec, 1860 secs
lola: 562 tries, 561796501 fired transitions, 1865 secs || 48151918 markings, 58863759 edges, 24689 markings/sec, 1865 secs
lola: 564 tries, 563158200 fired transitions, 1870 secs || 48279393 markings, 59021493 edges, 25495 markings/sec, 1870 secs
lola: 565 tries, 564491197 fired transitions, 1875 secs || 48398559 markings, 59166764 edges, 23833 markings/sec, 1875 secs
lola: 566 tries, 565829190 fired transitions, 1880 secs || 48519228 markings, 59314080 edges, 24134 markings/sec, 1880 secs
lola: 568 tries, 567180214 fired transitions, 1885 secs || 48645479 markings, 59469400 edges, 25250 markings/sec, 1885 secs
lola: 569 tries, 568540844 fired transitions, 1890 secs || 48772569 markings, 59626033 edges, 25418 markings/sec, 1890 secs
lola: 570 tries, 569893037 fired transitions, 1895 secs || 48896966 markings, 59778447 edges, 24879 markings/sec, 1895 secs
lola: 572 tries, 571251677 fired transitions, 1900 secs || 49022743 markings, 59933187 edges, 25155 markings/sec, 1900 secs
lola: 573 tries, 572612482 fired transitions, 1905 secs || 49148473 markings, 60087951 edges, 25146 markings/sec, 1905 secs
lola: 574 tries, 573968185 fired transitions, 1910 secs || 49272549 markings, 60240142 edges, 24815 markings/sec, 1910 secs
lola: 576 tries, 575318840 fired transitions, 1915 secs || 49396197 markings, 60392091 edges, 24730 markings/sec, 1915 secs
lola: 577 tries, 576661712 fired transitions, 1920 secs || 49519004 markings, 60542772 edges, 24561 markings/sec, 1920 secs
lola: 579 tries, 578009003 fired transitions, 1925 secs || 49642540 markings, 60694243 edges, 24707 markings/sec, 1925 secs
lola: 580 tries, 579355582 fired transitions, 1930 secs || 49764646 markings, 60844063 edges, 24421 markings/sec, 1930 secs
lola: 581 tries, 580710510 fired transitions, 1935 secs || 49890093 markings, 60998536 edges, 25089 markings/sec, 1935 secs
lola: 583 tries, 582071084 fired transitions, 1940 secs || 50016095 markings, 61153773 edges, 25200 markings/sec, 1940 secs
lola: 584 tries, 583432666 fired transitions, 1945 secs || 50141165 markings, 61307871 edges, 25014 markings/sec, 1945 secs
lola: 585 tries, 584793188 fired transitions, 1950 secs || 50265764 markings, 61461586 edges, 24920 markings/sec, 1950 secs
lola: 587 tries, 586132111 fired transitions, 1955 secs || 50387287 markings, 61610708 edges, 24305 markings/sec, 1955 secs
lola: 588 tries, 587503062 fired transitions, 1960 secs || 50515813 markings, 61770037 edges, 25705 markings/sec, 1960 secs
lola: 589 tries, 588865252 fired transitions, 1965 secs || 50642752 markings, 61926533 edges, 25388 markings/sec, 1965 secs
lola: 591 tries, 590225823 fired transitions, 1970 secs || 50768412 markings, 62081825 edges, 25132 markings/sec, 1970 secs
lola: 592 tries, 591584835 fired transitions, 1975 secs || 50893137 markings, 62235537 edges, 24945 markings/sec, 1975 secs
lola: 593 tries, 592945241 fired transitions, 1980 secs || 51018953 markings, 62390523 edges, 25163 markings/sec, 1980 secs
lola: 595 tries, 594301696 fired transitions, 1985 secs || 51144479 markings, 62544992 edges, 25105 markings/sec, 1985 secs
lola: 596 tries, 595667116 fired transitions, 1990 secs || 51271449 markings, 62702397 edges, 25394 markings/sec, 1990 secs
lola: 598 tries, 597026991 fired transitions, 1995 secs || 51397323 markings, 62857982 edges, 25175 markings/sec, 1995 secs
lola: 599 tries, 598367725 fired transitions, 2000 secs || 51516921 markings, 63004302 edges, 23920 markings/sec, 2000 secs
lola: 600 tries, 599719085 fired transitions, 2005 secs || 51638341 markings, 63153061 edges, 24284 markings/sec, 2005 secs
lola: 602 tries, 601060759 fired transitions, 2010 secs || 51757165 markings, 63298305 edges, 23765 markings/sec, 2010 secs
lola: 603 tries, 602396538 fired transitions, 2015 secs || 51872765 markings, 63438901 edges, 23120 markings/sec, 2015 secs
lola: 604 tries, 603732931 fired transitions, 2020 secs || 51989027 markings, 63580354 edges, 23252 markings/sec, 2020 secs
lola: 606 tries, 605085098 fired transitions, 2025 secs || 52109030 markings, 63727400 edges, 24001 markings/sec, 2025 secs
lola: 607 tries, 606432088 fired transitions, 2030 secs || 52226520 markings, 63871057 edges, 23498 markings/sec, 2030 secs
lola: 608 tries, 607776806 fired transitions, 2035 secs || 52341624 markings, 64011830 edges, 23021 markings/sec, 2035 secs
lola: 610 tries, 609115185 fired transitions, 2040 secs || 52459429 markings, 64155951 edges, 23561 markings/sec, 2040 secs
lola: 611 tries, 610441688 fired transitions, 2045 secs || 52572870 markings, 64293480 edges, 22688 markings/sec, 2045 secs
lola: 612 tries, 611792835 fired transitions, 2050 secs || 52690435 markings, 64438034 edges, 23513 markings/sec, 2050 secs
lola: 614 tries, 613150297 fired transitions, 2055 secs || 52808039 markings, 64582595 edges, 23521 markings/sec, 2055 secs
lola: 615 tries, 614500356 fired transitions, 2060 secs || 52928610 markings, 64730564 edges, 24114 markings/sec, 2060 secs
lola: 616 tries, 615853786 fired transitions, 2065 secs || 53048580 markings, 64878054 edges, 23994 markings/sec, 2065 secs
lola: 618 tries, 617314473 fired transitions, 2070 secs || 53173050 markings, 65030078 edges, 24894 markings/sec, 2070 secs
lola: 619 tries, 618859554 fired transitions, 2075 secs || 53308250 markings, 65195949 edges, 27040 markings/sec, 2075 secs
lola: 621 tries, 620313588 fired transitions, 2080 secs || 53439321 markings, 65357951 edges, 26214 markings/sec, 2080 secs
lola: 622 tries, 621678223 fired transitions, 2085 secs || 53562202 markings, 65509743 edges, 24576 markings/sec, 2085 secs
lola: 624 tries, 623038955 fired transitions, 2090 secs || 53684413 markings, 65660600 edges, 24442 markings/sec, 2090 secs
lola: 625 tries, 624409677 fired transitions, 2095 secs || 53809582 markings, 65815361 edges, 25034 markings/sec, 2095 secs
lola: 626 tries, 625755305 fired transitions, 2100 secs || 53928982 markings, 65961772 edges, 23880 markings/sec, 2100 secs
lola: 628 tries, 627123091 fired transitions, 2105 secs || 54053185 markings, 66115278 edges, 24841 markings/sec, 2105 secs
lola: 629 tries, 628488693 fired transitions, 2110 secs || 54176734 markings, 66267902 edges, 24710 markings/sec, 2110 secs
lola: 630 tries, 629843625 fired transitions, 2115 secs || 54299431 markings, 66419134 edges, 24539 markings/sec, 2115 secs
lola: 632 tries, 631217365 fired transitions, 2120 secs || 54428380 markings, 66579206 edges, 25790 markings/sec, 2120 secs
lola: 633 tries, 632582580 fired transitions, 2125 secs || 54554114 markings, 66734514 edges, 25147 markings/sec, 2125 secs
lola: 634 tries, 633932491 fired transitions, 2130 secs || 54673549 markings, 66880870 edges, 23887 markings/sec, 2130 secs
lola: 636 tries, 635281906 fired transitions, 2135 secs || 54792379 markings, 67026362 edges, 23766 markings/sec, 2135 secs
lola: 637 tries, 636620952 fired transitions, 2140 secs || 54908735 markings, 67168405 edges, 23271 markings/sec, 2140 secs
lola: 638 tries, 637969841 fired transitions, 2145 secs || 55029456 markings, 67316388 edges, 24144 markings/sec, 2145 secs
lola: 640 tries, 639314263 fired transitions, 2150 secs || 55148685 markings, 67462200 edges, 23846 markings/sec, 2150 secs
lola: 641 tries, 640652482 fired transitions, 2155 secs || 55266872 markings, 67606207 edges, 23637 markings/sec, 2155 secs
lola: 642 tries, 641988811 fired transitions, 2160 secs || 55384173 markings, 67748826 edges, 23460 markings/sec, 2160 secs
lola: 644 tries, 643331909 fired transitions, 2165 secs || 55502325 markings, 67893091 edges, 23630 markings/sec, 2165 secs
lola: 645 tries, 644693257 fired transitions, 2170 secs || 55627045 markings, 68046905 edges, 24944 markings/sec, 2170 secs
lola: 647 tries, 646062077 fired transitions, 2175 secs || 55753895 markings, 68203959 edges, 25370 markings/sec, 2175 secs
lola: 648 tries, 647435813 fired transitions, 2180 secs || 55882428 markings, 68363543 edges, 25707 markings/sec, 2180 secs
lola: 649 tries, 648792283 fired transitions, 2185 secs || 56004012 markings, 68513018 edges, 24317 markings/sec, 2185 secs
lola: 651 tries, 650154594 fired transitions, 2190 secs || 56129695 markings, 68668207 edges, 25137 markings/sec, 2190 secs
lola: 652 tries, 651488410 fired transitions, 2195 secs || 56248056 markings, 68812820 edges, 23672 markings/sec, 2195 secs
lola: 653 tries, 652841356 fired transitions, 2200 secs || 56370075 markings, 68962498 edges, 24404 markings/sec, 2200 secs
lola: 655 tries, 654198226 fired transitions, 2205 secs || 56493034 markings, 69113637 edges, 24592 markings/sec, 2205 secs
lola: 656 tries, 655557420 fired transitions, 2210 secs || 56616471 markings, 69265904 edges, 24687 markings/sec, 2210 secs
lola: 657 tries, 656919430 fired transitions, 2215 secs || 56741527 markings, 69420223 edges, 25011 markings/sec, 2215 secs
lola: 659 tries, 658268474 fired transitions, 2220 secs || 56861766 markings, 69567059 edges, 24048 markings/sec, 2220 secs
lola: 660 tries, 659628504 fired transitions, 2225 secs || 56985634 markings, 69719982 edges, 24774 markings/sec, 2225 secs
lola: 661 tries, 660970176 fired transitions, 2230 secs || 57104972 markings, 69865905 edges, 23868 markings/sec, 2230 secs
lola: 663 tries, 662338539 fired transitions, 2235 secs || 57231401 markings, 70022579 edges, 25286 markings/sec, 2235 secs
lola: 664 tries, 663696805 fired transitions, 2240 secs || 57355372 markings, 70175333 edges, 24794 markings/sec, 2240 secs
lola: 666 tries, 665073863 fired transitions, 2245 secs || 57484964 markings, 70335879 edges, 25918 markings/sec, 2245 secs
lola: 667 tries, 666406271 fired transitions, 2250 secs || 57598924 markings, 70474428 edges, 22792 markings/sec, 2250 secs
lola: 668 tries, 667756864 fired transitions, 2255 secs || 57719072 markings, 70621725 edges, 24030 markings/sec, 2255 secs
lola: 670 tries, 669289400 fired transitions, 2260 secs || 57855947 markings, 70790653 edges, 27375 markings/sec, 2260 secs
lola: 671 tries, 670822537 fired transitions, 2265 secs || 57991622 markings, 70959332 edges, 27135 markings/sec, 2265 secs
lola: 673 tries, 672301750 fired transitions, 2270 secs || 58112725 markings, 71108124 edges, 24221 markings/sec, 2270 secs
lola: 674 tries, 673848422 fired transitions, 2275 secs || 58246541 markings, 71272920 edges, 26763 markings/sec, 2275 secs
lola: 676 tries, 675391512 fired transitions, 2280 secs || 58381453 markings, 71438957 edges, 26982 markings/sec, 2280 secs
lola: 677 tries, 676935535 fired transitions, 2285 secs || 58513427 markings, 71600733 edges, 26395 markings/sec, 2285 secs
lola: 679 tries, 678480394 fired transitions, 2290 secs || 58649159 markings, 71767704 edges, 27146 markings/sec, 2290 secs
lola: 681 tries, 680031758 fired transitions, 2295 secs || 58790968 markings, 71944822 edges, 28362 markings/sec, 2295 secs
lola: 682 tries, 681576770 fired transitions, 2300 secs || 58925044 markings, 72109613 edges, 26815 markings/sec, 2300 secs
lola: 684 tries, 683125556 fired transitions, 2305 secs || 59058973 markings, 72274013 edges, 26786 markings/sec, 2305 secs
lola: 685 tries, 684669819 fired transitions, 2310 secs || 59192059 markings, 72437660 edges, 26617 markings/sec, 2310 secs
lola: 687 tries, 686219265 fired transitions, 2315 secs || 59331172 markings, 72609473 edges, 27823 markings/sec, 2315 secs
lola: 688 tries, 687767205 fired transitions, 2320 secs || 59467717 markings, 72777958 edges, 27309 markings/sec, 2320 secs
lola: 690 tries, 689311148 fired transitions, 2325 secs || 59599282 markings, 72939239 edges, 26313 markings/sec, 2325 secs
lola: 691 tries, 690856976 fired transitions, 2330 secs || 59731921 markings, 73102531 edges, 26528 markings/sec, 2330 secs
lola: 693 tries, 692405422 fired transitions, 2335 secs || 59869459 markings, 73272518 edges, 27508 markings/sec, 2335 secs
lola: 694 tries, 693949139 fired transitions, 2340 secs || 60003695 markings, 73436314 edges, 26847 markings/sec, 2340 secs
lola: 696 tries, 695494681 fired transitions, 2345 secs || 60136184 markings, 73598864 edges, 26498 markings/sec, 2345 secs
lola: 698 tries, 697041256 fired transitions, 2350 secs || 60270997 markings, 73764662 edges, 26963 markings/sec, 2350 secs
lola: 699 tries, 698590430 fired transitions, 2355 secs || 60408872 markings, 73935594 edges, 27575 markings/sec, 2355 secs
lola: 701 tries, 700138365 fired transitions, 2360 secs || 60542691 markings, 74100040 edges, 26764 markings/sec, 2360 secs
lola: 702 tries, 701686615 fired transitions, 2365 secs || 60678645 markings, 74267488 edges, 27191 markings/sec, 2365 secs
lola: 704 tries, 703227113 fired transitions, 2370 secs || 60805521 markings, 74420612 edges, 25375 markings/sec, 2370 secs
lola: 705 tries, 704773455 fired transitions, 2375 secs || 60940329 markings, 74586881 edges, 26962 markings/sec, 2375 secs
lola: 707 tries, 706319662 fired transitions, 2380 secs || 61076838 markings, 74755358 edges, 27302 markings/sec, 2380 secs
lola: 708 tries, 707863713 fired transitions, 2385 secs || 61207753 markings, 74915034 edges, 26183 markings/sec, 2385 secs
lola: 710 tries, 709414172 fired transitions, 2390 secs || 61347546 markings, 75088368 edges, 27959 markings/sec, 2390 secs
lola: 711 tries, 710962041 fired transitions, 2395 secs || 61483756 markings, 75256820 edges, 27242 markings/sec, 2395 secs
lola: 713 tries, 712511042 fired transitions, 2400 secs || 61623098 markings, 75429532 edges, 27868 markings/sec, 2400 secs
lola: 715 tries, 714057456 fired transitions, 2405 secs || 61756667 markings, 75593180 edges, 26714 markings/sec, 2405 secs
lola: 716 tries, 715607500 fired transitions, 2410 secs || 61896047 markings, 75766360 edges, 27876 markings/sec, 2410 secs
lola: 718 tries, 717157847 fired transitions, 2415 secs || 62035483 markings, 75939815 edges, 27887 markings/sec, 2415 secs
lola: 719 tries, 718705014 fired transitions, 2420 secs || 62170884 markings, 76107215 edges, 27080 markings/sec, 2420 secs
lola: 721 tries, 720251072 fired transitions, 2425 secs || 62305784 markings, 76273211 edges, 26980 markings/sec, 2425 secs
lola: 722 tries, 721796271 fired transitions, 2430 secs || 62440872 markings, 76438796 edges, 27018 markings/sec, 2430 secs
lola: 724 tries, 723324361 fired transitions, 2435 secs || 62570112 markings, 76596413 edges, 25848 markings/sec, 2435 secs
lola: 725 tries, 724835447 fired transitions, 2440 secs || 62700587 markings, 76756317 edges, 26095 markings/sec, 2440 secs
lola: 727 tries, 726361769 fired transitions, 2445 secs || 62831387 markings, 76917298 edges, 26160 markings/sec, 2445 secs
lola: 728 tries, 727892433 fired transitions, 2450 secs || 62965437 markings, 77082489 edges, 26810 markings/sec, 2450 secs
lola: 730 tries, 729263264 fired transitions, 2455 secs || 63087228 markings, 77232922 edges, 24358 markings/sec, 2455 secs
lola: 731 tries, 730776194 fired transitions, 2460 secs || 63221986 markings, 77399906 edges, 26952 markings/sec, 2460 secs
lola: 733 tries, 732311279 fired transitions, 2465 secs || 63351828 markings, 77558398 edges, 25968 markings/sec, 2465 secs
lola: 734 tries, 733859244 fired transitions, 2470 secs || 63488287 markings, 77726351 edges, 27292 markings/sec, 2470 secs
lola: 736 tries, 735408092 fired transitions, 2475 secs || 63624431 markings, 77895775 edges, 27229 markings/sec, 2475 secs
lola: 737 tries, 736959174 fired transitions, 2480 secs || 63759008 markings, 78062549 edges, 26915 markings/sec, 2480 secs
lola: 739 tries, 738489973 fired transitions, 2485 secs || 63891011 markings, 78224943 edges, 26401 markings/sec, 2485 secs
lola: 741 tries, 740031228 fired transitions, 2490 secs || 64023641 markings, 78388486 edges, 26526 markings/sec, 2490 secs
lola: 742 tries, 741572581 fired transitions, 2495 secs || 64155973 markings, 78551052 edges, 26466 markings/sec, 2495 secs
lola: 744 tries, 743114407 fired transitions, 2500 secs || 64283636 markings, 78707167 edges, 25533 markings/sec, 2500 secs
lola: 745 tries, 744667065 fired transitions, 2505 secs || 64419051 markings, 78875594 edges, 27083 markings/sec, 2505 secs
lola: 747 tries, 746216703 fired transitions, 2510 secs || 64552679 markings, 79040917 edges, 26726 markings/sec, 2510 secs
lola: 748 tries, 747769946 fired transitions, 2515 secs || 64689696 markings, 79211698 edges, 27403 markings/sec, 2515 secs
lola: 750 tries, 749317213 fired transitions, 2520 secs || 64819130 markings, 79370293 edges, 25887 markings/sec, 2520 secs
lola: 751 tries, 750861917 fired transitions, 2525 secs || 64945882 markings, 79525229 edges, 25350 markings/sec, 2525 secs
lola: 753 tries, 752411045 fired transitions, 2530 secs || 65076587 markings, 79685957 edges, 26141 markings/sec, 2530 secs
lola: 754 tries, 753960393 fired transitions, 2535 secs || 65209157 markings, 79848960 edges, 26514 markings/sec, 2535 secs
lola: 756 tries, 755500610 fired transitions, 2540 secs || 65334703 markings, 80002480 edges, 25109 markings/sec, 2540 secs
lola: 758 tries, 757043773 fired transitions, 2545 secs || 65466720 markings, 80165180 edges, 26403 markings/sec, 2545 secs
lola: 759 tries, 758574868 fired transitions, 2550 secs || 65586198 markings, 80306761 edges, 23896 markings/sec, 2550 secs
lola: 761 tries, 760116877 fired transitions, 2555 secs || 65718460 markings, 80469138 edges, 26452 markings/sec, 2555 secs
lola: 762 tries, 761664063 fired transitions, 2560 secs || 65853678 markings, 80635422 edges, 27044 markings/sec, 2560 secs
lola: 764 tries, 763212354 fired transitions, 2565 secs || 65989907 markings, 80803429 edges, 27246 markings/sec, 2565 secs
lola: 765 tries, 764760506 fired transitions, 2570 secs || 66124369 markings, 80968789 edges, 26892 markings/sec, 2570 secs
lola: 767 tries, 766307084 fired transitions, 2575 secs || 66259269 markings, 81134707 edges, 26980 markings/sec, 2575 secs
lola: 768 tries, 767849844 fired transitions, 2580 secs || 66395819 markings, 81303226 edges, 27310 markings/sec, 2580 secs
lola: 770 tries, 769397826 fired transitions, 2585 secs || 66531948 markings, 81471158 edges, 27226 markings/sec, 2585 secs
lola: 771 tries, 770941838 fired transitions, 2590 secs || 66667041 markings, 81637286 edges, 27019 markings/sec, 2590 secs
lola: 773 tries, 772493256 fired transitions, 2595 secs || 66802176 markings, 81803567 edges, 27027 markings/sec, 2595 secs
lola: 775 tries, 774042087 fired transitions, 2600 secs || 66937860 markings, 81970751 edges, 27137 markings/sec, 2600 secs
lola: 776 tries, 775574888 fired transitions, 2605 secs || 67073279 markings, 82137672 edges, 27084 markings/sec, 2605 secs
lola: 778 tries, 777123310 fired transitions, 2610 secs || 67211896 markings, 82309113 edges, 27723 markings/sec, 2610 secs
lola: 779 tries, 778667551 fired transitions, 2615 secs || 67347701 markings, 82475791 edges, 27161 markings/sec, 2615 secs
lola: 781 tries, 780212408 fired transitions, 2620 secs || 67484010 markings, 82643939 edges, 27262 markings/sec, 2620 secs
lola: 782 tries, 781758811 fired transitions, 2625 secs || 67621404 markings, 82813215 edges, 27479 markings/sec, 2625 secs
lola: 784 tries, 783305671 fired transitions, 2630 secs || 67756647 markings, 82979422 edges, 27049 markings/sec, 2630 secs
lola: 785 tries, 784852693 fired transitions, 2635 secs || 67889489 markings, 83142271 edges, 26568 markings/sec, 2635 secs
lola: 787 tries, 786396613 fired transitions, 2640 secs || 68021278 markings, 83303140 edges, 26358 markings/sec, 2640 secs
lola: 788 tries, 787939971 fired transitions, 2645 secs || 68154317 markings, 83465587 edges, 26608 markings/sec, 2645 secs
lola: 790 tries, 789485894 fired transitions, 2650 secs || 68291158 markings, 83634395 edges, 27368 markings/sec, 2650 secs
lola: 792 tries, 791033329 fired transitions, 2655 secs || 68428489 markings, 83803737 edges, 27466 markings/sec, 2655 secs
lola: 793 tries, 792581301 fired transitions, 2660 secs || 68566334 markings, 83973891 edges, 27569 markings/sec, 2660 secs
lola: 795 tries, 794141006 fired transitions, 2665 secs || 68701706 markings, 84139417 edges, 27074 markings/sec, 2665 secs
lola: 796 tries, 795699664 fired transitions, 2670 secs || 68834457 markings, 84301546 edges, 26550 markings/sec, 2670 secs
lola: 798 tries, 797245057 fired transitions, 2675 secs || 68965182 markings, 84461071 edges, 26145 markings/sec, 2675 secs
lola: 799 tries, 798789215 fired transitions, 2680 secs || 69096647 markings, 84621825 edges, 26293 markings/sec, 2680 secs
lola: 801 tries, 800326941 fired transitions, 2685 secs || 69224598 markings, 84775904 edges, 25590 markings/sec, 2685 secs
lola: 802 tries, 801851555 fired transitions, 2690 secs || 69342500 markings, 84912879 edges, 23580 markings/sec, 2690 secs
lola: 804 tries, 803385823 fired transitions, 2695 secs || 69468372 markings, 85061838 edges, 25174 markings/sec, 2695 secs
lola: 805 tries, 804929206 fired transitions, 2700 secs || 69602726 markings, 85225583 edges, 26871 markings/sec, 2700 secs
lola: 807 tries, 806475354 fired transitions, 2705 secs || 69739333 markings, 85393166 edges, 27321 markings/sec, 2705 secs
lola: 809 tries, 808023514 fired transitions, 2710 secs || 69877268 markings, 85563403 edges, 27587 markings/sec, 2710 secs
lola: 810 tries, 809570101 fired transitions, 2715 secs || 70015259 markings, 85733591 edges, 27598 markings/sec, 2715 secs
lola: 812 tries, 811118194 fired transitions, 2720 secs || 70152012 markings, 85901805 edges, 27351 markings/sec, 2720 secs
lola: 813 tries, 812659028 fired transitions, 2725 secs || 70287677 markings, 86068577 edges, 27133 markings/sec, 2725 secs
lola: 815 tries, 814201879 fired transitions, 2730 secs || 70418359 markings, 86227674 edges, 26136 markings/sec, 2730 secs
lola: 816 tries, 815745114 fired transitions, 2735 secs || 70546288 markings, 86382557 edges, 25586 markings/sec, 2735 secs
lola: 818 tries, 817291677 fired transitions, 2740 secs || 70677422 markings, 86542840 edges, 26227 markings/sec, 2740 secs
lola: 819 tries, 818836749 fired transitions, 2745 secs || 70807768 markings, 86701859 edges, 26069 markings/sec, 2745 secs
lola: 821 tries, 820382646 fired transitions, 2750 secs || 70939199 markings, 86862761 edges, 26286 markings/sec, 2750 secs
lola: 822 tries, 821926487 fired transitions, 2755 secs || 71069392 markings, 87021583 edges, 26039 markings/sec, 2755 secs
lola: 824 tries, 823472018 fired transitions, 2760 secs || 71199633 markings, 87180732 edges, 26048 markings/sec, 2760 secs
lola: 826 tries, 825011819 fired transitions, 2765 secs || 71326120 markings, 87334016 edges, 25297 markings/sec, 2765 secs
lola: 827 tries, 826554627 fired transitions, 2770 secs || 71454845 markings, 87490579 edges, 25745 markings/sec, 2770 secs
lola: 829 tries, 828101268 fired transitions, 2775 secs || 71586895 markings, 87652786 edges, 26410 markings/sec, 2775 secs
lola: 830 tries, 829646128 fired transitions, 2780 secs || 71716512 markings, 87811028 edges, 25923 markings/sec, 2780 secs
lola: 832 tries, 831194040 fired transitions, 2785 secs || 71851363 markings, 87976648 edges, 26970 markings/sec, 2785 secs
lola: 833 tries, 832743173 fired transitions, 2790 secs || 71988637 markings, 88146321 edges, 27455 markings/sec, 2790 secs
lola: 835 tries, 834289549 fired transitions, 2795 secs || 72124880 markings, 88314370 edges, 27249 markings/sec, 2795 secs
lola: 836 tries, 835837516 fired transitions, 2800 secs || 72260074 markings, 88480537 edges, 27039 markings/sec, 2800 secs
lola: 838 tries, 837379851 fired transitions, 2805 secs || 72392678 markings, 88643886 edges, 26521 markings/sec, 2805 secs
lola: 839 tries, 838907322 fired transitions, 2810 secs || 72525005 markings, 88806397 edges, 26465 markings/sec, 2810 secs
lola: 841 tries, 840430078 fired transitions, 2815 secs || 72656329 markings, 88967674 edges, 26265 markings/sec, 2815 secs
lola: 842 tries, 841979729 fired transitions, 2820 secs || 72791801 markings, 89135000 edges, 27094 markings/sec, 2820 secs
lola: 844 tries, 843527950 fired transitions, 2825 secs || 72926234 markings, 89300564 edges, 26887 markings/sec, 2825 secs
lola: 846 tries, 845036827 fired transitions, 2830 secs || 73058625 markings, 89463897 edges, 26478 markings/sec, 2830 secs
lola: 847 tries, 846495046 fired transitions, 2835 secs || 73190732 markings, 89626058 edges, 26421 markings/sec, 2835 secs
lola: 849 tries, 848004961 fired transitions, 2840 secs || 73320774 markings, 89785583 edges, 26008 markings/sec, 2840 secs
lola: 850 tries, 849454463 fired transitions, 2845 secs || 73442380 markings, 89933566 edges, 24321 markings/sec, 2845 secs
lola: 851 tries, 850987095 fired transitions, 2850 secs || 73571355 markings, 90091267 edges, 25795 markings/sec, 2850 secs
lola: 853 tries, 852520471 fired transitions, 2855 secs || 73699790 markings, 90247835 edges, 25687 markings/sec, 2855 secs
lola: 855 tries, 854021135 fired transitions, 2860 secs || 73817157 markings, 90386663 edges, 23473 markings/sec, 2860 secs
lola: 856 tries, 855482098 fired transitions, 2865 secs || 73938033 markings, 90528776 edges, 24175 markings/sec, 2865 secs
lola: 857 tries, 856965819 fired transitions, 2870 secs || 74068016 markings, 90687529 edges, 25997 markings/sec, 2870 secs
lola: 859 tries, 858187420 fired transitions, 2875 secs || 74178976 markings, 90823715 edges, 22192 markings/sec, 2875 secs
lola: 860 tries, 859700575 fired transitions, 2880 secs || 74304871 markings, 90975104 edges, 25179 markings/sec, 2880 secs
lola: 862 tries, 861239354 fired transitions, 2885 secs || 74427724 markings, 91121861 edges, 24571 markings/sec, 2885 secs
lola: 863 tries, 862783140 fired transitions, 2890 secs || 74559422 markings, 91283443 edges, 26340 markings/sec, 2890 secs
lola: 865 tries, 864318000 fired transitions, 2895 secs || 74690586 markings, 91443997 edges, 26233 markings/sec, 2895 secs
lola: 866 tries, 865863015 fired transitions, 2900 secs || 74824729 markings, 91609248 edges, 26829 markings/sec, 2900 secs
lola: 868 tries, 867376246 fired transitions, 2905 secs || 74955203 markings, 91769044 edges, 26095 markings/sec, 2905 secs
lola: 869 tries, 868917783 fired transitions, 2910 secs || 75085420 markings, 91928356 edges, 26043 markings/sec, 2910 secs
lola: 871 tries, 870455521 fired transitions, 2915 secs || 75215685 markings, 92088180 edges, 26053 markings/sec, 2915 secs
lola: 873 tries, 872001163 fired transitions, 2920 secs || 75345831 markings, 92248139 edges, 26029 markings/sec, 2920 secs
lola: 874 tries, 873543839 fired transitions, 2925 secs || 75480596 markings, 92415136 edges, 26953 markings/sec, 2925 secs
lola: 876 tries, 875090882 fired transitions, 2930 secs || 75614127 markings, 92580162 edges, 26706 markings/sec, 2930 secs
lola: 877 tries, 876636877 fired transitions, 2935 secs || 75747285 markings, 92744095 edges, 26632 markings/sec, 2935 secs
lola: 879 tries, 878177933 fired transitions, 2940 secs || 75878086 markings, 92903952 edges, 26160 markings/sec, 2940 secs
lola: 880 tries, 879724711 fired transitions, 2945 secs || 76010019 markings, 93065824 edges, 26387 markings/sec, 2945 secs
lola: 882 tries, 881273341 fired transitions, 2950 secs || 76143806 markings, 93230371 edges, 26757 markings/sec, 2950 secs
lola: 883 tries, 882821117 fired transitions, 2955 secs || 76278240 markings, 93396451 edges, 26887 markings/sec, 2955 secs
lola: 885 tries, 884367481 fired transitions, 2960 secs || 76410236 markings, 93558710 edges, 26399 markings/sec, 2960 secs
lola: 886 tries, 885913105 fired transitions, 2965 secs || 76542768 markings, 93721128 edges, 26506 markings/sec, 2965 secs
lola: 888 tries, 887459705 fired transitions, 2970 secs || 76675558 markings, 93884065 edges, 26558 markings/sec, 2970 secs
lola: 890 tries, 889008519 fired transitions, 2975 secs || 76809039 markings, 94048303 edges, 26696 markings/sec, 2975 secs
lola: 891 tries, 890553400 fired transitions, 2980 secs || 76940162 markings, 94209070 edges, 26225 markings/sec, 2980 secs
lola: 893 tries, 892103494 fired transitions, 2985 secs || 77074886 markings, 94375640 edges, 26945 markings/sec, 2985 secs
lola: 894 tries, 893654251 fired transitions, 2990 secs || 77211806 markings, 94545314 edges, 27384 markings/sec, 2990 secs
lola: 896 tries, 895203129 fired transitions, 2995 secs || 77346096 markings, 94710796 edges, 26858 markings/sec, 2995 secs
lola: 897 tries, 896752201 fired transitions, 3000 secs || 77482708 markings, 94879711 edges, 27322 markings/sec, 3000 secs
lola: 899 tries, 898300904 fired transitions, 3005 secs || 77617330 markings, 95045819 edges, 26924 markings/sec, 3005 secs
lola: 900 tries, 899847980 fired transitions, 3010 secs || 77751371 markings, 95210441 edges, 26808 markings/sec, 3010 secs
lola: 902 tries, 901397244 fired transitions, 3015 secs || 77886116 markings, 95376914 edges, 26949 markings/sec, 3015 secs
lola: 903 tries, 902943677 fired transitions, 3020 secs || 78017414 markings, 95537770 edges, 26260 markings/sec, 3020 secs
lola: 905 tries, 904475599 fired transitions, 3025 secs || 78139786 markings, 95683112 edges, 24474 markings/sec, 3025 secs
lola: 907 tries, 906020824 fired transitions, 3030 secs || 78272583 markings, 95844706 edges, 26559 markings/sec, 3030 secs
lola: 908 tries, 907568299 fired transitions, 3035 secs || 78406315 markings, 96008462 edges, 26746 markings/sec, 3035 secs
lola: 910 tries, 909114472 fired transitions, 3040 secs || 78538596 markings, 96170138 edges, 26456 markings/sec, 3040 secs
lola: 911 tries, 910670080 fired transitions, 3045 secs || 78673312 markings, 96335752 edges, 26943 markings/sec, 3045 secs
lola: 913 tries, 912246422 fired transitions, 3050 secs || 78810774 markings, 96505157 edges, 27492 markings/sec, 3050 secs
lola: 914 tries, 913794530 fired transitions, 3055 secs || 78942375 markings, 96665635 edges, 26320 markings/sec, 3055 secs
lola: 916 tries, 915359888 fired transitions, 3060 secs || 79078435 markings, 96833162 edges, 27212 markings/sec, 3060 secs
lola: 917 tries, 916944272 fired transitions, 3065 secs || 79216136 markings, 97002907 edges, 27540 markings/sec, 3065 secs
lola: 919 tries, 918524542 fired transitions, 3070 secs || 79350078 markings, 97166706 edges, 26788 markings/sec, 3070 secs
lola: 921 tries, 920105065 fired transitions, 3075 secs || 79484538 markings, 97331653 edges, 26892 markings/sec, 3075 secs
lola: 922 tries, 921670342 fired transitions, 3080 secs || 79617668 markings, 97494456 edges, 26626 markings/sec, 3080 secs
lola: 924 tries, 923223033 fired transitions, 3085 secs || 79751406 markings, 97658912 edges, 26748 markings/sec, 3085 secs
lola: 925 tries, 924784028 fired transitions, 3090 secs || 79886242 markings, 97825501 edges, 26967 markings/sec, 3090 secs
lola: 927 tries, 926329471 fired transitions, 3095 secs || 80017082 markings, 97985609 edges, 26168 markings/sec, 3095 secs
lola: 928 tries, 927876697 fired transitions, 3100 secs || 80150854 markings, 98150333 edges, 26754 markings/sec, 3100 secs
lola: 930 tries, 929422381 fired transitions, 3105 secs || 80284145 markings, 98314433 edges, 26658 markings/sec, 3105 secs
lola: 931 tries, 930973109 fired transitions, 3110 secs || 80420068 markings, 98482439 edges, 27185 markings/sec, 3110 secs
lola: 933 tries, 932519186 fired transitions, 3115 secs || 80551698 markings, 98643884 edges, 26326 markings/sec, 3115 secs
lola: 935 tries, 934072164 fired transitions, 3120 secs || 80686782 markings, 98810393 edges, 27017 markings/sec, 3120 secs
lola: 936 tries, 935624380 fired transitions, 3125 secs || 80819563 markings, 98973164 edges, 26556 markings/sec, 3125 secs
lola: 938 tries, 937151551 fired transitions, 3130 secs || 80947863 markings, 99130498 edges, 25660 markings/sec, 3130 secs
lola: 939 tries, 938692361 fired transitions, 3135 secs || 81081012 markings, 99294898 edges, 26630 markings/sec, 3135 secs
lola: 941 tries, 940229856 fired transitions, 3140 secs || 81214041 markings, 99458489 edges, 26606 markings/sec, 3140 secs
lola: 942 tries, 941727540 fired transitions, 3145 secs || 81345392 markings, 99620975 edges, 26270 markings/sec, 3145 secs
lola: 944 tries, 943273653 fired transitions, 3150 secs || 81477397 markings, 99783561 edges, 26401 markings/sec, 3150 secs
lola: 945 tries, 944803258 fired transitions, 3155 secs || 81603285 markings, 99936537 edges, 25178 markings/sec, 3155 secs
lola: 947 tries, 946329146 fired transitions, 3160 secs || 81721389 markings, 100076621 edges, 23621 markings/sec, 3160 secs
lola: 948 tries, 947847801 fired transitions, 3165 secs || 81841432 markings, 100220771 edges, 24009 markings/sec, 3165 secs
lola: 950 tries, 949379066 fired transitions, 3170 secs || 81960189 markings, 100360541 edges, 23751 markings/sec, 3170 secs
lola: 951 tries, 950913803 fired transitions, 3175 secs || 82085124 markings, 100509736 edges, 24987 markings/sec, 3175 secs
lola: 953 tries, 952456034 fired transitions, 3180 secs || 82218746 markings, 100672901 edges, 26724 markings/sec, 3180 secs
lola: 955 tries, 954001649 fired transitions, 3185 secs || 82353372 markings, 100838048 edges, 26925 markings/sec, 3185 secs
lola: 956 tries, 955541852 fired transitions, 3190 secs || 82481677 markings, 100993656 edges, 25661 markings/sec, 3190 secs
lola: 958 tries, 957084664 fired transitions, 3195 secs || 82615438 markings, 101157390 edges, 26752 markings/sec, 3195 secs
lola: 959 tries, 958632190 fired transitions, 3200 secs || 82751649 markings, 101324980 edges, 27242 markings/sec, 3200 secs
lola: 961 tries, 960180118 fired transitions, 3205 secs || 82887214 markings, 101491775 edges, 27113 markings/sec, 3205 secs
lola: 962 tries, 961726199 fired transitions, 3210 secs || 83021384 markings, 101656564 edges, 26834 markings/sec, 3210 secs
lola: 964 tries, 963273463 fired transitions, 3215 secs || 83155138 markings, 101820597 edges, 26751 markings/sec, 3215 secs
lola: 965 tries, 964823576 fired transitions, 3220 secs || 83290436 markings, 101986683 edges, 27060 markings/sec, 3220 secs
lola: 967 tries, 966368280 fired transitions, 3225 secs || 83421333 markings, 102146080 edges, 26179 markings/sec, 3225 secs
lola: 968 tries, 967911465 fired transitions, 3230 secs || 83552771 markings, 102306648 edges, 26288 markings/sec, 3230 secs
lola: 970 tries, 969458554 fired transitions, 3235 secs || 83687954 markings, 102472792 edges, 27037 markings/sec, 3235 secs
lola: 972 tries, 971004909 fired transitions, 3240 secs || 83821204 markings, 102636188 edges, 26650 markings/sec, 3240 secs
lola: 973 tries, 972551744 fired transitions, 3245 secs || 83956075 markings, 102802205 edges, 26974 markings/sec, 3245 secs
lola: 975 tries, 974100281 fired transitions, 3250 secs || 84090774 markings, 102968549 edges, 26940 markings/sec, 3250 secs
lola: 976 tries, 975647528 fired transitions, 3255 secs || 84225091 markings, 103133521 edges, 26863 markings/sec, 3255 secs
lola: 978 tries, 977193951 fired transitions, 3260 secs || 84359492 markings, 103298972 edges, 26880 markings/sec, 3260 secs
lola: 979 tries, 978736713 fired transitions, 3265 secs || 84493321 markings, 103463732 edges, 26766 markings/sec, 3265 secs
lola: 981 tries, 980282477 fired transitions, 3270 secs || 84629261 markings, 103631433 edges, 27188 markings/sec, 3270 secs
lola: 982 tries, 981827533 fired transitions, 3275 secs || 84762506 markings, 103794701 edges, 26649 markings/sec, 3275 secs
lola: 984 tries, 983375778 fired transitions, 3280 secs || 84897752 markings, 103961178 edges, 27049 markings/sec, 3280 secs
lola: 985 tries, 984925039 fired transitions, 3285 secs || 85034105 markings, 104129922 edges, 27271 markings/sec, 3285 secs
lola: 987 tries, 986471771 fired transitions, 3290 secs || 85167760 markings, 104293862 edges, 26731 markings/sec, 3290 secs
lola: 989 tries, 988021002 fired transitions, 3295 secs || 85303640 markings, 104461644 edges, 27176 markings/sec, 3295 secs
lola: 990 tries, 989566035 fired transitions, 3300 secs || 85438129 markings, 104627244 edges, 26898 markings/sec, 3300 secs
lola: 992 tries, 991109424 fired transitions, 3305 secs || 85570232 markings, 104788716 edges, 26421 markings/sec, 3305 secs
lola: 993 tries, 992658676 fired transitions, 3310 secs || 85708115 markings, 104959735 edges, 27577 markings/sec, 3310 secs
lola: 995 tries, 994207040 fired transitions, 3315 secs || 85842651 markings, 105125414 edges, 26907 markings/sec, 3315 secs
lola: 996 tries, 995751037 fired transitions, 3320 secs || 85972423 markings, 105283208 edges, 25954 markings/sec, 3320 secs
lola: 998 tries, 997298175 fired transitions, 3325 secs || 86106835 markings, 105448639 edges, 26882 markings/sec, 3325 secs
lola: 999 tries, 998845310 fired transitions, 3330 secs || 86242071 markings, 105615334 edges, 27047 markings/sec, 3330 secs
lola: 1001 tries, 1000386159 fired transitions, 3335 secs || 86373068 markings, 105775837 edges, 26199 markings/sec, 3335 secs
lola: 1002 tries, 1001933200 fired transitions, 3340 secs || 86504624 markings, 105937360 edges, 26311 markings/sec, 3340 secs
lola: 1004 tries, 1003481355 fired transitions, 3345 secs || 86638965 markings, 106103119 edges, 26868 markings/sec, 3345 secs
lola: 1006 tries, 1005032228 fired transitions, 3350 secs || 86776768 markings, 106274336 edges, 27561 markings/sec, 3350 secs
lola: 1007 tries, 1006581851 fired transitions, 3355 secs || 86914213 markings, 106444568 edges, 27489 markings/sec, 3355 secs
lola: 1009 tries, 1008129753 fired transitions, 3360 secs || 87049437 markings, 106611936 edges, 27045 markings/sec, 3360 secs
lola: 1010 tries, 1009677473 fired transitions, 3365 secs || 87185482 markings, 106780118 edges, 27209 markings/sec, 3365 secs
lola: 1012 tries, 1011224846 fired transitions, 3370 secs || 87320853 markings, 106947382 edges, 27074 markings/sec, 3370 secs
lola: 1013 tries, 1012773184 fired transitions, 3375 secs || 87456831 markings, 107115337 edges, 27196 markings/sec, 3375 secs
lola: 1015 tries, 1014318700 fired transitions, 3380 secs || 87588671 markings, 107276985 edges, 26368 markings/sec, 3380 secs
lola: 1016 tries, 1015867932 fired transitions, 3385 secs || 87725881 markings, 107446952 edges, 27442 markings/sec, 3385 secs
lola: 1018 tries, 1017413564 fired transitions, 3390 secs || 87858081 markings, 107609032 edges, 26440 markings/sec, 3390 secs
lola: 1019 tries, 1018960034 fired transitions, 3395 secs || 87990516 markings, 107772063 edges, 26487 markings/sec, 3395 secs
lola: 1021 tries, 1020509685 fired transitions, 3400 secs || 88126727 markings, 107940721 edges, 27242 markings/sec, 3400 secs
lola: 1023 tries, 1022046981 fired transitions, 3405 secs || 88259891 markings, 108104546 edges, 26633 markings/sec, 3405 secs
lola: 1024 tries, 1023594514 fired transitions, 3410 secs || 88393628 markings, 108269458 edges, 26747 markings/sec, 3410 secs
lola: 1026 tries, 1025139383 fired transitions, 3415 secs || 88527047 markings, 108433707 edges, 26684 markings/sec, 3415 secs
lola: 1027 tries, 1026685965 fired transitions, 3420 secs || 88661203 markings, 108598425 edges, 26831 markings/sec, 3420 secs
lola: 1029 tries, 1028233640 fired transitions, 3425 secs || 88796749 markings, 108765255 edges, 27109 markings/sec, 3425 secs
lola: 1030 tries, 1029780348 fired transitions, 3430 secs || 88930631 markings, 108929886 edges, 26776 markings/sec, 3430 secs
lola: 1032 tries, 1031330962 fired transitions, 3435 secs || 89068681 markings, 109101150 edges, 27610 markings/sec, 3435 secs
lola: 1033 tries, 1032875761 fired transitions, 3440 secs || 89200800 markings, 109263377 edges, 26424 markings/sec, 3440 secs
lola: 1035 tries, 1034374823 fired transitions, 3445 secs || 89329846 markings, 109423208 edges, 25809 markings/sec, 3445 secs
lola: 1036 tries, 1035900230 fired transitions, 3450 secs || 89457566 markings, 109579808 edges, 25544 markings/sec, 3450 secs
lola: 1038 tries, 1037445019 fired transitions, 3455 secs || 89589752 markings, 109742596 edges, 26437 markings/sec, 3455 secs
lola: 1039 tries, 1038995590 fired transitions, 3460 secs || 89726773 markings, 109912672 edges, 27404 markings/sec, 3460 secs
lola: 1041 tries, 1040543850 fired transitions, 3465 secs || 89859336 markings, 110076369 edges, 26513 markings/sec, 3465 secs
lola: 1043 tries, 1042094295 fired transitions, 3470 secs || 89996957 markings, 110246347 edges, 27524 markings/sec, 3470 secs
lola: 1044 tries, 1043642774 fired transitions, 3475 secs || 90133168 markings, 110414175 edges, 27242 markings/sec, 3475 secs
lola: 1046 tries, 1045190741 fired transitions, 3480 secs || 90265432 markings, 110576698 edges, 26453 markings/sec, 3480 secs
lola: 1047 tries, 1046736291 fired transitions, 3485 secs || 90399857 markings, 110742140 edges, 26885 markings/sec, 3485 secs
lola: 1049 tries, 1048280136 fired transitions, 3490 secs || 90528596 markings, 110899131 edges, 25748 markings/sec, 3490 secs
lola: 1050 tries, 1049822628 fired transitions, 3495 secs || 90657105 markings, 111055886 edges, 25702 markings/sec, 3495 secs
lola: 1052 tries, 1051366336 fired transitions, 3500 secs || 90787647 markings, 111215642 edges, 26108 markings/sec, 3500 secs
lola: 1053 tries, 1052911115 fired transitions, 3505 secs || 90918027 markings, 111375269 edges, 26076 markings/sec, 3505 secs
lola: 1055 tries, 1054439643 fired transitions, 3510 secs || 91045041 markings, 111529753 edges, 25403 markings/sec, 3510 secs
lola: 1056 tries, 1055903753 fired transitions, 3515 secs || 91171241 markings, 111684343 edges, 25240 markings/sec, 3515 secs
lola: 1058 tries, 1057436198 fired transitions, 3520 secs || 91300001 markings, 111841704 edges, 25752 markings/sec, 3520 secs
lola: 1059 tries, 1058971567 fired transitions, 3525 secs || 91430012 markings, 112000736 edges, 26002 markings/sec, 3525 secs
lola: 1061 tries, 1060455281 fired transitions, 3530 secs || 91557645 markings, 112157438 edges, 25527 markings/sec, 3530 secs
lola: 1062 tries, 1061825908 fired transitions, 3535 secs || 91678126 markings, 112305856 edges, 24096 markings/sec, 3535 secs
lola: 1064 tries, 1063177214 fired transitions, 3540 secs || 91794260 markings, 112447699 edges, 23227 markings/sec, 3540 secs
lola: 1065 tries, 1064529637 fired transitions, 3545 secs || 91911857 markings, 112591671 edges, 23519 markings/sec, 3545 secs
lola: 1066 tries, 1065882288 fired transitions, 3550 secs || 92029772 markings, 112736197 edges, 23583 markings/sec, 3550 secs
lola: 1068 tries, 1067224021 fired transitions, 3555 secs || 92144784 markings, 112876234 edges, 23002 markings/sec, 3555 secs
lola: time limit reached - aborting
lola: caught signal User defined signal 2 - aborting LoLA
lola: memory consumption: 12762368 KB
lola: time consumption: 3570 seconds
lola: print data as JSON (--json)
lola: writing JSON to GlobalProperties.json
lola: closed JSON file GlobalProperties.json
lola: memory consumption: 12762668 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 1552461660115

--------------------
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="DLCround-PT-11b"
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 DLCround-PT-11b, 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 r049-oct2-155234405100462"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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