Execution Chart

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

Trace from the execution

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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 172K
-rw-r--r-- 1 mcc users 3.6K Feb 12 16:44 CTLCardinality.txt
-rw-r--r-- 1 mcc users 19K Feb 12 16:44 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.7K Feb 8 21:46 CTLFireability.txt
-rw-r--r-- 1 mcc users 14K Feb 8 21:45 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 10 17:31 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 110 Feb 24 15:05 GlobalProperties.txt
-rw-r--r-- 1 mcc users 348 Feb 24 15:05 GlobalProperties.xml
-rw-r--r-- 1 mcc users 2.5K Feb 5 01:25 LTLCardinality.txt
-rw-r--r-- 1 mcc users 9.8K Feb 5 01:25 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.1K Feb 4 22:48 LTLFireability.txt
-rw-r--r-- 1 mcc users 8.7K Feb 4 22:48 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.9K Feb 4 18:12 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 18K Feb 4 18:11 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 3.4K Feb 1 16:37 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 18K Feb 1 16:37 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.8K Feb 4 22:30 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Feb 4 22:30 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Jan 29 09:35 equiv_pt
-rw-r--r-- 1 mcc users 7 Jan 29 09:35 instance
-rw-r--r-- 1 mcc users 5 Jan 29 09:35 iscolored
-rw-r--r-- 1 mcc users 16K Mar 10 17:31 model.pnml

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

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

The expected result is a vector of booleans
BOOL_VECTOR

here is the order used to build the result vector(from text file)
FORMULA_NAME SharedMemory-COL-000100-GlobalProperties-0

=== Now, execution of the tool begins

BK_START 1552940761738

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

{
"build":
{
"architecture": 64,
"assertions": false,
"build_hostname": "mcc2019",
"build_system": "x86_64-unknown-linux-gnu",
"optimizations": true,
"package_version": "2.0",
"svn_version": "3189M"
},
"call":
{
"exec_host": "mcc2019",
"markinglimit": null,
"parameters":
[
"--pnmlnet",
"model.pnml",
"--xmlformula",
"--formula=GlobalProperties.xml",
"--mcc",
"--donotcomputecapacities",
"--encoder=simplecompressed",
"--check=modelchecking",
"--stubborn=combined",
"--siphontrap=par",
"--siphondepth=10",
"--findpath=par",
"--retrylimit=0",
"--depthlimit=1000000",
"--symmetry",
"--symmtimelimit=300",
"--threads=2",
"--symmetrydepth=1073741824",
"--timelimit=3570",
"--json=GlobalProperties.json",
"--jsoninclude=formula,formulastat,net"
],
"starttime": "Mon Mar 18 20:26:01 2019
",
"timelimit": 3570
},
"child": null,
"exit":
{
"error": null,
"memory": 4290748,
"runtime": 3570.000000,
"signal": null,
"timelimitreached": true
},
"files":
{
"formula": "GlobalProperties.xml",
"net": "model.pnml"
},
"formula":
{
"count":
{
"A": 0,
"E": 1,
"F": 1,
"G": 0,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 0,
"cont": 0,
"dl": 1,
"fir": 0,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 0,
"visible_transitions": 0
},
"processed": "E (F (DEADLOCK))",
"processed_size": 16,
"rewrites": 1,
"skeleton": "E(F(**))"
},
"net":
{
"arcs": 80400,
"conflict_clusters": 10101,
"places": 10401,
"places_significant": 10200,
"singleton_clusters": 0,
"transitions": 20200
},
"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": 93326215443944150965646704795953882578400970373184098831012889540582227238570431295066113089288327277825849664006524270554535976289719382852181865895959724032.000000,
"composed": 23860,
"dead_branches": 0,
"generators": 23964,
"interrupted": false,
"real_computed": 104,
"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 High-Level net
lola: Places: 10401, Transitions: 20200
lola: @ trans endExtAcc
lola: @ trans beginExtAcc
lola: @ trans endOwnAcc
lola: @ trans reqExtAcc
lola: @ trans beginOwnAcc
lola: finished unfolding
lola: finished parsing
lola: closed net file model.pnml
lola: 30601/268435456 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 332832
lola: finding significant places
lola: 10401 places, 20200 transitions, 10200 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: 1 tries, 133 fired transitions, 0 secs
lola: 19404 generators;54054098 candidates remain ( 0%), 0 secs
lola: 1 tries, 181 fired transitions, 5 secs
lola: 20273 generators;53856836 candidates remain ( 0%), 5 secs
lola: 1 tries, 235 fired transitions, 10 secs
lola: 21242 generators;53545892 candidates remain ( 0%), 10 secs
lola: 1 tries, 283 fired transitions, 15 secs
lola: 22788 generators;52885518 candidates remain ( 0%), 15 secs
lola: computed 23964 generators (104 in search tree, 23860 by composition)
lola: representing 9.33262E+157 symmetries
lola: 0 dead branches visited in search tree
lola: 1 tries, 337 fired transitions, 20 secs || 113 markings, 116 edges, 23 markings/sec, 20 secs
lola: 1 tries, 394 fired transitions, 25 secs || 748 markings, 1359 edges, 127 markings/sec, 25 secs
lola: 1 tries, 448 fired transitions, 30 secs || 1681 markings, 3205 edges, 187 markings/sec, 30 secs
lola: 1 tries, 499 fired transitions, 35 secs || 2715 markings, 5256 edges, 207 markings/sec, 35 secs
lola: 1 tries, 553 fired transitions, 40 secs || 3443 markings, 6687 edges, 146 markings/sec, 40 secs
lola: 1 tries, 607 fired transitions, 45 secs || 4485 markings, 8751 edges, 208 markings/sec, 45 secs
lola: 1 tries, 661 fired transitions, 50 secs || 5630 markings, 11025 edges, 229 markings/sec, 50 secs
lola: 1 tries, 715 fired transitions, 55 secs || 6612 markings, 12969 edges, 196 markings/sec, 55 secs
lola: 1 tries, 769 fired transitions, 60 secs || 7896 markings, 15522 edges, 257 markings/sec, 60 secs
lola: 1 tries, 823 fired transitions, 65 secs || 9108 markings, 17927 edges, 242 markings/sec, 65 secs
lola: 1 tries, 880 fired transitions, 70 secs || 10116 markings, 19918 edges, 202 markings/sec, 70 secs
lola: 1 tries, 934 fired transitions, 75 secs || 10948 markings, 21558 edges, 166 markings/sec, 75 secs
lola: 1 tries, 988 fired transitions, 80 secs || 12176 markings, 24000 edges, 246 markings/sec, 80 secs
lola: 1 tries, 1042 fired transitions, 85 secs || 13327 markings, 26285 edges, 230 markings/sec, 85 secs
lola: 1 tries, 1096 fired transitions, 90 secs || 14349 markings, 28310 edges, 204 markings/sec, 90 secs
lola: 1 tries, 1150 fired transitions, 95 secs || 15566 markings, 30726 edges, 243 markings/sec, 95 secs
lola: 1 tries, 1201 fired transitions, 100 secs || 16688 markings, 32952 edges, 224 markings/sec, 100 secs
lola: 1 tries, 1255 fired transitions, 105 secs || 17727 markings, 35013 edges, 208 markings/sec, 105 secs
lola: 1 tries, 1312 fired transitions, 110 secs || 19173 markings, 37892 edges, 289 markings/sec, 110 secs
lola: 1 tries, 1369 fired transitions, 115 secs || 20204 markings, 39932 edges, 206 markings/sec, 115 secs
lola: 1 tries, 1426 fired transitions, 120 secs || 21758 markings, 43030 edges, 311 markings/sec, 120 secs
lola: 1 tries, 1483 fired transitions, 125 secs || 22597 markings, 44684 edges, 168 markings/sec, 125 secs
lola: 1 tries, 1537 fired transitions, 130 secs || 23718 markings, 46907 edges, 224 markings/sec, 130 secs
lola: 1 tries, 1591 fired transitions, 135 secs || 24880 markings, 49212 edges, 232 markings/sec, 135 secs
lola: 1 tries, 1645 fired transitions, 140 secs || 25812 markings, 51056 edges, 186 markings/sec, 140 secs
lola: 1 tries, 1699 fired transitions, 145 secs || 26747 markings, 52904 edges, 187 markings/sec, 145 secs
lola: 1 tries, 1753 fired transitions, 150 secs || 28173 markings, 55745 edges, 285 markings/sec, 150 secs
lola: 1 tries, 1810 fired transitions, 155 secs || 29119 markings, 57613 edges, 189 markings/sec, 155 secs
lola: 1 tries, 1864 fired transitions, 160 secs || 30448 markings, 60256 edges, 266 markings/sec, 160 secs
lola: 1 tries, 1918 fired transitions, 165 secs || 31186 markings, 61707 edges, 148 markings/sec, 165 secs
lola: 1 tries, 1972 fired transitions, 170 secs || 32392 markings, 64102 edges, 241 markings/sec, 170 secs
lola: 1 tries, 2026 fired transitions, 175 secs || 33525 markings, 66349 edges, 227 markings/sec, 175 secs
lola: 1 tries, 2083 fired transitions, 180 secs || 35277 markings, 69844 edges, 350 markings/sec, 180 secs
lola: 1 tries, 2140 fired transitions, 185 secs || 36209 markings, 71684 edges, 186 markings/sec, 185 secs
lola: 1 tries, 2197 fired transitions, 190 secs || 37572 markings, 74394 edges, 273 markings/sec, 190 secs
lola: 1 tries, 2257 fired transitions, 195 secs || 38809 markings, 76853 edges, 247 markings/sec, 195 secs
lola: 1 tries, 2314 fired transitions, 200 secs || 39933 markings, 79077 edges, 225 markings/sec, 200 secs
lola: 1 tries, 2371 fired transitions, 205 secs || 41060 markings, 81312 edges, 225 markings/sec, 205 secs
lola: 1 tries, 2428 fired transitions, 210 secs || 42146 markings, 83462 edges, 217 markings/sec, 210 secs
lola: 1 tries, 2482 fired transitions, 215 secs || 43280 markings, 85700 edges, 227 markings/sec, 215 secs
lola: 1 tries, 2539 fired transitions, 220 secs || 44526 markings, 88164 edges, 249 markings/sec, 220 secs
lola: 1 tries, 2596 fired transitions, 225 secs || 45841 markings, 90766 edges, 263 markings/sec, 225 secs
lola: 1 tries, 2650 fired transitions, 230 secs || 46826 markings, 92703 edges, 197 markings/sec, 230 secs
lola: 1 tries, 2704 fired transitions, 235 secs || 48148 markings, 95321 edges, 264 markings/sec, 235 secs
lola: 1 tries, 2755 fired transitions, 240 secs || 49280 markings, 97557 edges, 226 markings/sec, 240 secs
lola: 1 tries, 2809 fired transitions, 245 secs || 50328 markings, 99623 edges, 210 markings/sec, 245 secs
lola: 1 tries, 2866 fired transitions, 250 secs || 51793 markings, 102527 edges, 293 markings/sec, 250 secs
lola: 1 tries, 2917 fired transitions, 255 secs || 52831 markings, 104574 edges, 208 markings/sec, 255 secs
lola: 1 tries, 2971 fired transitions, 260 secs || 54200 markings, 107287 edges, 274 markings/sec, 260 secs
lola: 1 tries, 3022 fired transitions, 265 secs || 55145 markings, 109148 edges, 189 markings/sec, 265 secs
lola: 1 tries, 3079 fired transitions, 270 secs || 56274 markings, 111376 edges, 226 markings/sec, 270 secs
lola: 1 tries, 3133 fired transitions, 275 secs || 57489 markings, 113778 edges, 243 markings/sec, 275 secs
lola: 1 tries, 3187 fired transitions, 280 secs || 58486 markings, 115743 edges, 199 markings/sec, 280 secs
lola: 1 tries, 3244 fired transitions, 285 secs || 59641 markings, 118021 edges, 231 markings/sec, 285 secs
lola: 1 tries, 3298 fired transitions, 290 secs || 60696 markings, 120104 edges, 211 markings/sec, 290 secs
lola: 1 tries, 3352 fired transitions, 295 secs || 61537 markings, 121755 edges, 168 markings/sec, 295 secs
lola: 1 tries, 3403 fired transitions, 300 secs || 63054 markings, 124765 edges, 303 markings/sec, 300 secs
lola: 1 tries, 3457 fired transitions, 305 secs || 63983 markings, 126590 edges, 186 markings/sec, 305 secs
lola: 1 tries, 3511 fired transitions, 310 secs || 65202 markings, 128999 edges, 244 markings/sec, 310 secs
lola: 1 tries, 3565 fired transitions, 315 secs || 66345 markings, 131256 edges, 229 markings/sec, 315 secs
lola: 1 tries, 3616 fired transitions, 320 secs || 68100 markings, 134748 edges, 351 markings/sec, 320 secs
lola: 1 tries, 3670 fired transitions, 325 secs || 69134 markings, 136786 edges, 207 markings/sec, 325 secs
lola: 1 tries, 3724 fired transitions, 330 secs || 70016 markings, 138521 edges, 176 markings/sec, 330 secs
lola: 1 tries, 3778 fired transitions, 335 secs || 71347 markings, 141158 edges, 266 markings/sec, 335 secs
lola: 1 tries, 3829 fired transitions, 340 secs || 72387 markings, 143209 edges, 208 markings/sec, 340 secs
lola: 1 tries, 3883 fired transitions, 345 secs || 73382 markings, 145171 edges, 199 markings/sec, 345 secs
lola: 1 tries, 3937 fired transitions, 350 secs || 75007 markings, 148403 edges, 325 markings/sec, 350 secs
lola: 1 tries, 3991 fired transitions, 355 secs || 76076 markings, 150510 edges, 214 markings/sec, 355 secs
lola: 1 tries, 4048 fired transitions, 360 secs || 76967 markings, 152261 edges, 178 markings/sec, 360 secs
lola: 1 tries, 4102 fired transitions, 365 secs || 78379 markings, 155057 edges, 282 markings/sec, 365 secs
lola: 1 tries, 4159 fired transitions, 370 secs || 79435 markings, 157138 edges, 211 markings/sec, 370 secs
lola: 1 tries, 4213 fired transitions, 375 secs || 80586 markings, 159409 edges, 230 markings/sec, 375 secs
lola: 1 tries, 4270 fired transitions, 380 secs || 81810 markings, 161826 edges, 245 markings/sec, 380 secs
lola: 1 tries, 4324 fired transitions, 385 secs || 83041 markings, 164258 edges, 246 markings/sec, 385 secs
lola: 1 tries, 4381 fired transitions, 390 secs || 84804 markings, 167763 edges, 353 markings/sec, 390 secs
lola: 1 tries, 4438 fired transitions, 395 secs || 85703 markings, 169531 edges, 180 markings/sec, 395 secs
lola: 1 tries, 4492 fired transitions, 400 secs || 86818 markings, 171728 edges, 223 markings/sec, 400 secs
lola: 1 tries, 4549 fired transitions, 405 secs || 88640 markings, 175353 edges, 364 markings/sec, 405 secs
lola: 1 tries, 4606 fired transitions, 410 secs || 91066 markings, 180188 edges, 485 markings/sec, 410 secs
lola: 1 tries, 4660 fired transitions, 415 secs || 92524 markings, 183077 edges, 292 markings/sec, 415 secs
lola: 1 tries, 4717 fired transitions, 420 secs || 93703 markings, 185405 edges, 236 markings/sec, 420 secs
lola: 1 tries, 4774 fired transitions, 425 secs || 96021 markings, 190024 edges, 464 markings/sec, 425 secs
lola: 1 tries, 4831 fired transitions, 430 secs || 97131 markings, 192217 edges, 222 markings/sec, 430 secs
lola: 1 tries, 4885 fired transitions, 435 secs || 98199 markings, 194321 edges, 214 markings/sec, 435 secs
lola: 1 tries, 4942 fired transitions, 440 secs || 99421 markings, 196737 edges, 244 markings/sec, 440 secs
lola: 1 tries, 4999 fired transitions, 445 secs || 100909 markings, 199688 edges, 298 markings/sec, 445 secs
lola: 1 tries, 5056 fired transitions, 450 secs || 101915 markings, 201670 edges, 201 markings/sec, 450 secs
lola: 1 tries, 5110 fired transitions, 455 secs || 103039 markings, 203888 edges, 225 markings/sec, 455 secs
lola: 1 tries, 5167 fired transitions, 460 secs || 103913 markings, 205604 edges, 175 markings/sec, 460 secs
lola: 1 tries, 5224 fired transitions, 465 secs || 105189 markings, 208127 edges, 255 markings/sec, 465 secs
lola: 1 tries, 5281 fired transitions, 470 secs || 106315 markings, 210349 edges, 225 markings/sec, 470 secs
lola: 1 tries, 5335 fired transitions, 475 secs || 107638 markings, 212966 edges, 265 markings/sec, 475 secs
lola: 1 tries, 5389 fired transitions, 480 secs || 108770 markings, 215198 edges, 226 markings/sec, 480 secs
lola: 1 tries, 5446 fired transitions, 485 secs || 110002 markings, 217635 edges, 246 markings/sec, 485 secs
lola: 1 tries, 5503 fired transitions, 490 secs || 111326 markings, 220257 edges, 265 markings/sec, 490 secs
lola: 1 tries, 5554 fired transitions, 495 secs || 112603 markings, 222785 edges, 255 markings/sec, 495 secs
lola: 1 tries, 5608 fired transitions, 500 secs || 113841 markings, 225234 edges, 248 markings/sec, 500 secs
lola: 1 tries, 5665 fired transitions, 505 secs || 115088 markings, 227702 edges, 249 markings/sec, 505 secs
lola: 1 tries, 5719 fired transitions, 510 secs || 116070 markings, 229638 edges, 196 markings/sec, 510 secs
lola: 1 tries, 5773 fired transitions, 515 secs || 118093 markings, 233665 edges, 405 markings/sec, 515 secs
lola: 1 tries, 5827 fired transitions, 520 secs || 119430 markings, 236315 edges, 267 markings/sec, 520 secs
lola: 1 tries, 5881 fired transitions, 525 secs || 120559 markings, 238543 edges, 226 markings/sec, 525 secs
lola: 1 tries, 5935 fired transitions, 530 secs || 121700 markings, 240798 edges, 228 markings/sec, 530 secs
lola: 1 tries, 5989 fired transitions, 535 secs || 122948 markings, 243266 edges, 250 markings/sec, 535 secs
lola: 1 tries, 6043 fired transitions, 540 secs || 124293 markings, 245928 edges, 269 markings/sec, 540 secs
lola: 1 tries, 6100 fired transitions, 545 secs || 125427 markings, 248166 edges, 227 markings/sec, 545 secs
lola: 1 tries, 6157 fired transitions, 550 secs || 126888 markings, 251062 edges, 292 markings/sec, 550 secs
lola: 1 tries, 6214 fired transitions, 555 secs || 128243 markings, 253745 edges, 271 markings/sec, 555 secs
lola: 1 tries, 6268 fired transitions, 560 secs || 129286 markings, 255797 edges, 209 markings/sec, 560 secs
lola: 1 tries, 6328 fired transitions, 565 secs || 130602 markings, 258399 edges, 263 markings/sec, 565 secs
lola: 1 tries, 6385 fired transitions, 570 secs || 131753 markings, 260667 edges, 230 markings/sec, 570 secs
lola: 1 tries, 6445 fired transitions, 575 secs || 133520 markings, 264177 edges, 353 markings/sec, 575 secs
lola: 1 tries, 6502 fired transitions, 580 secs || 134499 markings, 266102 edges, 196 markings/sec, 580 secs
lola: 1 tries, 6559 fired transitions, 585 secs || 135702 markings, 268477 edges, 241 markings/sec, 585 secs
lola: 1 tries, 6616 fired transitions, 590 secs || 137080 markings, 271207 edges, 276 markings/sec, 590 secs
lola: 1 tries, 6673 fired transitions, 595 secs || 138209 markings, 273435 edges, 226 markings/sec, 595 secs
lola: 1 tries, 6730 fired transitions, 600 secs || 139358 markings, 275703 edges, 230 markings/sec, 600 secs
lola: 1 tries, 6787 fired transitions, 605 secs || 140432 markings, 277820 edges, 215 markings/sec, 605 secs
lola: 1 tries, 6844 fired transitions, 610 secs || 141794 markings, 280514 edges, 272 markings/sec, 610 secs
lola: 1 tries, 6898 fired transitions, 615 secs || 142942 markings, 282780 edges, 230 markings/sec, 615 secs
lola: 1 tries, 6955 fired transitions, 620 secs || 144117 markings, 285100 edges, 235 markings/sec, 620 secs
lola: 1 tries, 7012 fired transitions, 625 secs || 145179 markings, 287194 edges, 212 markings/sec, 625 secs
lola: 1 tries, 7072 fired transitions, 630 secs || 146397 markings, 289601 edges, 244 markings/sec, 630 secs
lola: 1 tries, 7129 fired transitions, 635 secs || 147739 markings, 292258 edges, 268 markings/sec, 635 secs
lola: 1 tries, 7186 fired transitions, 640 secs || 148987 markings, 294721 edges, 250 markings/sec, 640 secs
lola: 1 tries, 7246 fired transitions, 645 secs || 150212 markings, 297140 edges, 245 markings/sec, 645 secs
lola: 1 tries, 7303 fired transitions, 650 secs || 151842 markings, 300374 edges, 326 markings/sec, 650 secs
lola: 1 tries, 7363 fired transitions, 655 secs || 153092 markings, 302843 edges, 250 markings/sec, 655 secs
lola: 1 tries, 7420 fired transitions, 660 secs || 154239 markings, 305106 edges, 229 markings/sec, 660 secs
lola: 1 tries, 7477 fired transitions, 665 secs || 155391 markings, 307378 edges, 230 markings/sec, 665 secs
lola: 1 tries, 7534 fired transitions, 670 secs || 156617 markings, 309798 edges, 245 markings/sec, 670 secs
lola: 1 tries, 7591 fired transitions, 675 secs || 157888 markings, 312312 edges, 254 markings/sec, 675 secs
lola: 1 tries, 7648 fired transitions, 680 secs || 158991 markings, 314485 edges, 221 markings/sec, 680 secs
lola: 1 tries, 7705 fired transitions, 685 secs || 160341 markings, 317157 edges, 270 markings/sec, 685 secs
lola: 1 tries, 7762 fired transitions, 690 secs || 161729 markings, 319903 edges, 278 markings/sec, 690 secs
lola: 1 tries, 7819 fired transitions, 695 secs || 162669 markings, 321751 edges, 188 markings/sec, 695 secs
lola: 1 tries, 7876 fired transitions, 700 secs || 163804 markings, 323992 edges, 227 markings/sec, 700 secs
lola: 1 tries, 7933 fired transitions, 705 secs || 165148 markings, 326652 edges, 269 markings/sec, 705 secs
lola: 1 tries, 7987 fired transitions, 710 secs || 166908 markings, 330149 edges, 352 markings/sec, 710 secs
lola: 1 tries, 8044 fired transitions, 715 secs || 167866 markings, 332033 edges, 192 markings/sec, 715 secs
lola: 1 tries, 8101 fired transitions, 720 secs || 169006 markings, 334284 edges, 228 markings/sec, 720 secs
lola: 1 tries, 8158 fired transitions, 725 secs || 170487 markings, 337222 edges, 296 markings/sec, 725 secs
lola: 1 tries, 8215 fired transitions, 730 secs || 171728 markings, 339674 edges, 248 markings/sec, 730 secs
lola: 1 tries, 8272 fired transitions, 735 secs || 172977 markings, 342143 edges, 250 markings/sec, 735 secs
lola: 1 tries, 8326 fired transitions, 740 secs || 174289 markings, 344737 edges, 262 markings/sec, 740 secs
lola: 1 tries, 8383 fired transitions, 745 secs || 175337 markings, 346803 edges, 210 markings/sec, 745 secs
lola: 1 tries, 8437 fired transitions, 750 secs || 176909 markings, 349921 edges, 314 markings/sec, 750 secs
lola: 1 tries, 8491 fired transitions, 755 secs || 177944 markings, 351964 edges, 207 markings/sec, 755 secs
lola: 1 tries, 8545 fired transitions, 760 secs || 179109 markings, 354266 edges, 233 markings/sec, 760 secs
lola: 1 tries, 8596 fired transitions, 765 secs || 180255 markings, 356534 edges, 229 markings/sec, 765 secs
lola: 1 tries, 8653 fired transitions, 770 secs || 181287 markings, 358568 edges, 206 markings/sec, 770 secs
lola: 1 tries, 8710 fired transitions, 775 secs || 182355 markings, 360672 edges, 214 markings/sec, 775 secs
lola: 1 tries, 8767 fired transitions, 780 secs || 183800 markings, 363535 edges, 289 markings/sec, 780 secs
lola: 1 tries, 8824 fired transitions, 785 secs || 184878 markings, 365660 edges, 216 markings/sec, 785 secs
lola: 1 tries, 8881 fired transitions, 790 secs || 186013 markings, 367900 edges, 227 markings/sec, 790 secs
lola: 1 tries, 8935 fired transitions, 795 secs || 186888 markings, 369617 edges, 175 markings/sec, 795 secs
lola: 1 tries, 8992 fired transitions, 800 secs || 188472 markings, 372756 edges, 317 markings/sec, 800 secs
lola: 1 tries, 9049 fired transitions, 805 secs || 189502 markings, 374786 edges, 206 markings/sec, 805 secs
lola: 1 tries, 9106 fired transitions, 810 secs || 190548 markings, 376844 edges, 209 markings/sec, 810 secs
lola: 1 tries, 9163 fired transitions, 815 secs || 191765 markings, 379258 edges, 243 markings/sec, 815 secs
lola: 1 tries, 9217 fired transitions, 820 secs || 193035 markings, 381781 edges, 254 markings/sec, 820 secs
lola: 1 tries, 9274 fired transitions, 825 secs || 194163 markings, 384011 edges, 226 markings/sec, 825 secs
lola: 1 tries, 9331 fired transitions, 830 secs || 195394 markings, 386456 edges, 246 markings/sec, 830 secs
lola: 1 tries, 9388 fired transitions, 835 secs || 197006 markings, 389663 edges, 322 markings/sec, 835 secs
lola: 1 tries, 9445 fired transitions, 840 secs || 197845 markings, 391314 edges, 168 markings/sec, 840 secs
lola: 1 tries, 9502 fired transitions, 845 secs || 199624 markings, 394859 edges, 356 markings/sec, 845 secs
lola: 1 tries, 9556 fired transitions, 850 secs || 200562 markings, 396710 edges, 188 markings/sec, 850 secs
lola: 1 tries, 9613 fired transitions, 855 secs || 201900 markings, 399369 edges, 268 markings/sec, 855 secs
lola: 1 tries, 9670 fired transitions, 860 secs || 202936 markings, 401416 edges, 207 markings/sec, 860 secs
lola: 1 tries, 9724 fired transitions, 865 secs || 204073 markings, 403670 edges, 227 markings/sec, 865 secs
lola: 1 tries, 9778 fired transitions, 870 secs || 205235 markings, 405975 edges, 232 markings/sec, 870 secs
lola: 1 tries, 9832 fired transitions, 875 secs || 206236 markings, 407957 edges, 200 markings/sec, 875 secs
lola: 1 tries, 9886 fired transitions, 880 secs || 207829 markings, 411136 edges, 319 markings/sec, 880 secs
lola: 1 tries, 9943 fired transitions, 885 secs || 209164 markings, 413786 edges, 267 markings/sec, 885 secs
lola: 1 tries, 9997 fired transitions, 890 secs || 210209 markings, 415855 edges, 209 markings/sec, 890 secs
lola: 1 tries, 10054 fired transitions, 895 secs || 211707 markings, 418833 edges, 300 markings/sec, 895 secs
lola: 1 tries, 10111 fired transitions, 900 secs || 212643 markings, 420680 edges, 187 markings/sec, 900 secs
lola: 1 tries, 10168 fired transitions, 905 secs || 213951 markings, 423276 edges, 262 markings/sec, 905 secs
lola: 1 tries, 10225 fired transitions, 910 secs || 215095 markings, 425543 edges, 229 markings/sec, 910 secs
lola: 1 tries, 10282 fired transitions, 915 secs || 216929 markings, 429204 edges, 367 markings/sec, 915 secs
lola: 1 tries, 10336 fired transitions, 920 secs || 217960 markings, 431241 edges, 206 markings/sec, 920 secs
lola: 1 tries, 10393 fired transitions, 925 secs || 219101 markings, 433503 edges, 228 markings/sec, 925 secs
lola: 1 tries, 10450 fired transitions, 930 secs || 220457 markings, 436202 edges, 271 markings/sec, 930 secs
lola: 1 tries, 10504 fired transitions, 935 secs || 221581 markings, 438426 edges, 225 markings/sec, 935 secs
lola: 1 tries, 10561 fired transitions, 940 secs || 222845 markings, 440935 edges, 253 markings/sec, 940 secs
lola: 1 tries, 10618 fired transitions, 945 secs || 223877 markings, 442978 edges, 206 markings/sec, 945 secs
lola: 1 tries, 10672 fired transitions, 950 secs || 225023 markings, 445248 edges, 229 markings/sec, 950 secs
lola: 1 tries, 10729 fired transitions, 955 secs || 226167 markings, 447517 edges, 229 markings/sec, 955 secs
lola: 1 tries, 10783 fired transitions, 960 secs || 227412 markings, 449988 edges, 249 markings/sec, 960 secs
lola: 1 tries, 10840 fired transitions, 965 secs || 228607 markings, 452357 edges, 239 markings/sec, 965 secs
lola: 1 tries, 10897 fired transitions, 970 secs || 229926 markings, 454974 edges, 264 markings/sec, 970 secs
lola: 1 tries, 10951 fired transitions, 975 secs || 231085 markings, 457272 edges, 232 markings/sec, 975 secs
lola: 1 tries, 11008 fired transitions, 980 secs || 232249 markings, 459580 edges, 233 markings/sec, 980 secs
lola: 1 tries, 11065 fired transitions, 985 secs || 233423 markings, 461911 edges, 235 markings/sec, 985 secs
lola: 1 tries, 11119 fired transitions, 990 secs || 234508 markings, 464058 edges, 217 markings/sec, 990 secs
lola: 1 tries, 11176 fired transitions, 995 secs || 235841 markings, 466704 edges, 267 markings/sec, 995 secs
lola: 1 tries, 11233 fired transitions, 1000 secs || 237756 markings, 470528 edges, 383 markings/sec, 1000 secs
lola: 1 tries, 11290 fired transitions, 1005 secs || 238786 markings, 472567 edges, 206 markings/sec, 1005 secs
lola: 1 tries, 11344 fired transitions, 1010 secs || 239771 markings, 474513 edges, 197 markings/sec, 1010 secs
lola: 1 tries, 11401 fired transitions, 1015 secs || 241329 markings, 477619 edges, 312 markings/sec, 1015 secs
lola: 1 tries, 11455 fired transitions, 1020 secs || 242601 markings, 480147 edges, 254 markings/sec, 1020 secs
lola: 1 tries, 11509 fired transitions, 1025 secs || 243501 markings, 481922 edges, 180 markings/sec, 1025 secs
lola: 1 tries, 11563 fired transitions, 1030 secs || 244721 markings, 484341 edges, 244 markings/sec, 1030 secs
lola: 1 tries, 11620 fired transitions, 1035 secs || 246091 markings, 487069 edges, 274 markings/sec, 1035 secs
lola: 1 tries, 11677 fired transitions, 1040 secs || 247701 markings, 490276 edges, 322 markings/sec, 1040 secs
lola: 1 tries, 11734 fired transitions, 1045 secs || 248729 markings, 492309 edges, 206 markings/sec, 1045 secs
lola: 1 tries, 11788 fired transitions, 1050 secs || 250092 markings, 495020 edges, 273 markings/sec, 1050 secs
lola: 1 tries, 11845 fired transitions, 1055 secs || 251233 markings, 497285 edges, 228 markings/sec, 1055 secs
lola: 1 tries, 11902 fired transitions, 1060 secs || 252357 markings, 499510 edges, 225 markings/sec, 1060 secs
lola: 1 tries, 11959 fired transitions, 1065 secs || 253825 markings, 502434 edges, 294 markings/sec, 1065 secs
lola: 1 tries, 12016 fired transitions, 1070 secs || 255243 markings, 505255 edges, 284 markings/sec, 1070 secs
lola: 1 tries, 12073 fired transitions, 1075 secs || 256292 markings, 507330 edges, 210 markings/sec, 1075 secs
lola: 1 tries, 12130 fired transitions, 1080 secs || 257469 markings, 509665 edges, 235 markings/sec, 1080 secs
lola: 1 tries, 12187 fired transitions, 1085 secs || 258841 markings, 512392 edges, 274 markings/sec, 1085 secs
lola: 1 tries, 12241 fired transitions, 1090 secs || 259876 markings, 514439 edges, 207 markings/sec, 1090 secs
lola: 1 tries, 12292 fired transitions, 1095 secs || 261190 markings, 517050 edges, 263 markings/sec, 1095 secs
lola: 1 tries, 12349 fired transitions, 1100 secs || 262226 markings, 519101 edges, 207 markings/sec, 1100 secs
lola: 1 tries, 12406 fired transitions, 1105 secs || 263478 markings, 521586 edges, 250 markings/sec, 1105 secs
lola: 1 tries, 12463 fired transitions, 1110 secs || 264622 markings, 523854 edges, 229 markings/sec, 1110 secs
lola: 1 tries, 12520 fired transitions, 1115 secs || 265741 markings, 526070 edges, 224 markings/sec, 1115 secs
lola: 1 tries, 12580 fired transitions, 1120 secs || 267074 markings, 528716 edges, 267 markings/sec, 1120 secs
lola: 1 tries, 12637 fired transitions, 1125 secs || 269113 markings, 532790 edges, 408 markings/sec, 1125 secs
lola: 1 tries, 12694 fired transitions, 1130 secs || 270162 markings, 534863 edges, 210 markings/sec, 1130 secs
lola: 1 tries, 12754 fired transitions, 1135 secs || 271294 markings, 537106 edges, 226 markings/sec, 1135 secs
lola: 1 tries, 12811 fired transitions, 1140 secs || 272682 markings, 539868 edges, 278 markings/sec, 1140 secs
lola: 1 tries, 12868 fired transitions, 1145 secs || 273997 markings, 542479 edges, 263 markings/sec, 1145 secs
lola: 1 tries, 12925 fired transitions, 1150 secs || 275414 markings, 545294 edges, 283 markings/sec, 1150 secs
lola: 1 tries, 12985 fired transitions, 1155 secs || 276541 markings, 547528 edges, 225 markings/sec, 1155 secs
lola: 1 tries, 13042 fired transitions, 1160 secs || 277886 markings, 550197 edges, 269 markings/sec, 1160 secs
lola: 1 tries, 13099 fired transitions, 1165 secs || 279425 markings, 553261 edges, 308 markings/sec, 1165 secs
lola: 1 tries, 13156 fired transitions, 1170 secs || 280645 markings, 555680 edges, 244 markings/sec, 1170 secs
lola: 1 tries, 13213 fired transitions, 1175 secs || 282006 markings, 558387 edges, 272 markings/sec, 1175 secs
lola: 1 tries, 13273 fired transitions, 1180 secs || 283370 markings, 561098 edges, 273 markings/sec, 1180 secs
lola: 1 tries, 13330 fired transitions, 1185 secs || 284567 markings, 563471 edges, 239 markings/sec, 1185 secs
lola: 1 tries, 13387 fired transitions, 1190 secs || 286263 markings, 566853 edges, 339 markings/sec, 1190 secs
lola: 1 tries, 13444 fired transitions, 1195 secs || 287727 markings, 569765 edges, 293 markings/sec, 1195 secs
lola: 1 tries, 13504 fired transitions, 1200 secs || 288566 markings, 571416 edges, 168 markings/sec, 1200 secs
lola: 1 tries, 13561 fired transitions, 1205 secs || 289952 markings, 574170 edges, 277 markings/sec, 1205 secs
lola: 1 tries, 13618 fired transitions, 1210 secs || 291509 markings, 577271 edges, 311 markings/sec, 1210 secs
lola: 1 tries, 13675 fired transitions, 1215 secs || 292405 markings, 579036 edges, 179 markings/sec, 1215 secs
lola: 1 tries, 13735 fired transitions, 1220 secs || 293768 markings, 581742 edges, 273 markings/sec, 1220 secs
lola: 1 tries, 13792 fired transitions, 1225 secs || 294912 markings, 584011 edges, 229 markings/sec, 1225 secs
lola: 1 tries, 13852 fired transitions, 1230 secs || 295967 markings, 586098 edges, 211 markings/sec, 1230 secs
lola: 1 tries, 13909 fired transitions, 1235 secs || 297438 markings, 589022 edges, 294 markings/sec, 1235 secs
lola: 1 tries, 13966 fired transitions, 1240 secs || 298769 markings, 591663 edges, 266 markings/sec, 1240 secs
lola: 1 tries, 14023 fired transitions, 1245 secs || 299832 markings, 593768 edges, 213 markings/sec, 1245 secs
lola: 1 tries, 14080 fired transitions, 1250 secs || 301084 markings, 596253 edges, 250 markings/sec, 1250 secs
lola: 1 tries, 14137 fired transitions, 1255 secs || 302235 markings, 598535 edges, 230 markings/sec, 1255 secs
lola: 1 tries, 14197 fired transitions, 1260 secs || 303354 markings, 600751 edges, 224 markings/sec, 1260 secs
lola: 1 tries, 14254 fired transitions, 1265 secs || 304534 markings, 603092 edges, 236 markings/sec, 1265 secs
lola: 1 tries, 14311 fired transitions, 1270 secs || 306440 markings, 606896 edges, 381 markings/sec, 1270 secs
lola: 1 tries, 14368 fired transitions, 1275 secs || 307563 markings, 609122 edges, 225 markings/sec, 1275 secs
lola: 1 tries, 14428 fired transitions, 1280 secs || 308603 markings, 611181 edges, 208 markings/sec, 1280 secs
lola: 1 tries, 14485 fired transitions, 1285 secs || 310175 markings, 614312 edges, 314 markings/sec, 1285 secs
lola: 1 tries, 14542 fired transitions, 1290 secs || 311609 markings, 617164 edges, 287 markings/sec, 1290 secs
lola: 1 tries, 14599 fired transitions, 1295 secs || 312580 markings, 619082 edges, 194 markings/sec, 1295 secs
lola: 1 tries, 14656 fired transitions, 1300 secs || 313879 markings, 621661 edges, 260 markings/sec, 1300 secs
lola: 1 tries, 14713 fired transitions, 1305 secs || 315102 markings, 624087 edges, 245 markings/sec, 1305 secs
lola: 1 tries, 14770 fired transitions, 1310 secs || 316753 markings, 627376 edges, 330 markings/sec, 1310 secs
lola: 1 tries, 14830 fired transitions, 1315 secs || 317782 markings, 629414 edges, 206 markings/sec, 1315 secs
lola: 1 tries, 14887 fired transitions, 1320 secs || 319338 markings, 632514 edges, 311 markings/sec, 1320 secs
lola: 1 tries, 14944 fired transitions, 1325 secs || 320187 markings, 634186 edges, 170 markings/sec, 1325 secs
lola: 1 tries, 15001 fired transitions, 1330 secs || 321389 markings, 636569 edges, 240 markings/sec, 1330 secs
lola: 1 tries, 15061 fired transitions, 1335 secs || 322471 markings, 638710 edges, 216 markings/sec, 1335 secs
lola: 1 tries, 15118 fired transitions, 1340 secs || 323797 markings, 641343 edges, 265 markings/sec, 1340 secs
lola: 1 tries, 15175 fired transitions, 1345 secs || 324952 markings, 643621 edges, 231 markings/sec, 1345 secs
lola: 1 tries, 15235 fired transitions, 1350 secs || 326110 markings, 645909 edges, 232 markings/sec, 1350 secs
lola: 1 tries, 15292 fired transitions, 1355 secs || 327529 markings, 648718 edges, 284 markings/sec, 1355 secs
lola: 1 tries, 15349 fired transitions, 1360 secs || 328621 markings, 650870 edges, 218 markings/sec, 1360 secs
lola: 1 tries, 15409 fired transitions, 1365 secs || 329900 markings, 653393 edges, 256 markings/sec, 1365 secs
lola: 1 tries, 15466 fired transitions, 1370 secs || 330918 markings, 655398 edges, 204 markings/sec, 1370 secs
lola: 1 tries, 15523 fired transitions, 1375 secs || 332334 markings, 658200 edges, 283 markings/sec, 1375 secs
lola: 1 tries, 15583 fired transitions, 1380 secs || 333349 markings, 660197 edges, 203 markings/sec, 1380 secs
lola: 1 tries, 15640 fired transitions, 1385 secs || 334696 markings, 662860 edges, 269 markings/sec, 1385 secs
lola: 1 tries, 15697 fired transitions, 1390 secs || 335938 markings, 665314 edges, 248 markings/sec, 1390 secs
lola: 1 tries, 15754 fired transitions, 1395 secs || 337261 markings, 667928 edges, 265 markings/sec, 1395 secs
lola: 1 tries, 15814 fired transitions, 1400 secs || 338592 markings, 670561 edges, 266 markings/sec, 1400 secs
lola: 1 tries, 15871 fired transitions, 1405 secs || 339976 markings, 673299 edges, 277 markings/sec, 1405 secs
lola: 1 tries, 15928 fired transitions, 1410 secs || 341113 markings, 675542 edges, 227 markings/sec, 1410 secs
lola: 1 tries, 15985 fired transitions, 1415 secs || 342488 markings, 678264 edges, 275 markings/sec, 1415 secs
lola: 1 tries, 16045 fired transitions, 1420 secs || 343438 markings, 680133 edges, 190 markings/sec, 1420 secs
lola: 1 tries, 16102 fired transitions, 1425 secs || 344688 markings, 682599 edges, 250 markings/sec, 1425 secs
lola: 1 tries, 16159 fired transitions, 1430 secs || 346050 markings, 685296 edges, 272 markings/sec, 1430 secs
lola: 1 tries, 16219 fired transitions, 1435 secs || 347320 markings, 687803 edges, 254 markings/sec, 1435 secs
lola: 1 tries, 16276 fired transitions, 1440 secs || 348467 markings, 690064 edges, 229 markings/sec, 1440 secs
lola: 1 tries, 16333 fired transitions, 1445 secs || 349805 markings, 692712 edges, 268 markings/sec, 1445 secs
lola: 1 tries, 16393 fired transitions, 1450 secs || 351096 markings, 695261 edges, 258 markings/sec, 1450 secs
lola: 1 tries, 16450 fired transitions, 1455 secs || 352142 markings, 697317 edges, 209 markings/sec, 1455 secs
lola: 1 tries, 16510 fired transitions, 1460 secs || 353520 markings, 700044 edges, 276 markings/sec, 1460 secs
lola: 1 tries, 16567 fired transitions, 1465 secs || 354920 markings, 702812 edges, 280 markings/sec, 1465 secs
lola: 1 tries, 16624 fired transitions, 1470 secs || 356480 markings, 705907 edges, 312 markings/sec, 1470 secs
lola: 1 tries, 16681 fired transitions, 1475 secs || 357527 markings, 707967 edges, 209 markings/sec, 1475 secs
lola: 1 tries, 16741 fired transitions, 1480 secs || 358801 markings, 710487 edges, 255 markings/sec, 1480 secs
lola: 1 tries, 16798 fired transitions, 1485 secs || 360312 markings, 713482 edges, 302 markings/sec, 1485 secs
lola: 1 tries, 16855 fired transitions, 1490 secs || 361598 markings, 716019 edges, 257 markings/sec, 1490 secs
lola: 1 tries, 16912 fired transitions, 1495 secs || 362830 markings, 718453 edges, 246 markings/sec, 1495 secs
lola: 1 tries, 16972 fired transitions, 1500 secs || 364245 markings, 721257 edges, 283 markings/sec, 1500 secs
lola: 1 tries, 17029 fired transitions, 1505 secs || 366317 markings, 725379 edges, 414 markings/sec, 1505 secs
lola: 1 tries, 17086 fired transitions, 1510 secs || 367313 markings, 727339 edges, 199 markings/sec, 1510 secs
lola: 1 tries, 17143 fired transitions, 1515 secs || 368728 markings, 730138 edges, 283 markings/sec, 1515 secs
lola: 1 tries, 17203 fired transitions, 1520 secs || 370056 markings, 732766 edges, 266 markings/sec, 1520 secs
lola: 1 tries, 17260 fired transitions, 1525 secs || 371204 markings, 735030 edges, 230 markings/sec, 1525 secs
lola: 1 tries, 17317 fired transitions, 1530 secs || 372249 markings, 737089 edges, 209 markings/sec, 1530 secs
lola: 1 tries, 17377 fired transitions, 1535 secs || 373587 markings, 739734 edges, 268 markings/sec, 1535 secs
lola: 1 tries, 17434 fired transitions, 1540 secs || 375146 markings, 742825 edges, 312 markings/sec, 1540 secs
lola: 1 tries, 17491 fired transitions, 1545 secs || 376270 markings, 745043 edges, 225 markings/sec, 1545 secs
lola: 1 tries, 17551 fired transitions, 1550 secs || 377451 markings, 747374 edges, 236 markings/sec, 1550 secs
lola: 1 tries, 17608 fired transitions, 1555 secs || 378513 markings, 749465 edges, 212 markings/sec, 1555 secs
lola: 1 tries, 17665 fired transitions, 1560 secs || 379670 markings, 751748 edges, 231 markings/sec, 1560 secs
lola: 1 tries, 17722 fired transitions, 1565 secs || 381713 markings, 755814 edges, 409 markings/sec, 1565 secs
lola: 1 tries, 17779 fired transitions, 1570 secs || 383470 markings, 759320 edges, 351 markings/sec, 1570 secs
lola: 1 tries, 17836 fired transitions, 1575 secs || 385574 markings, 763523 edges, 421 markings/sec, 1575 secs
lola: 1 tries, 17893 fired transitions, 1580 secs || 386935 markings, 766228 edges, 272 markings/sec, 1580 secs
lola: 1 tries, 17953 fired transitions, 1585 secs || 387991 markings, 768316 edges, 211 markings/sec, 1585 secs
lola: 1 tries, 18010 fired transitions, 1590 secs || 389078 markings, 770467 edges, 217 markings/sec, 1590 secs
lola: 1 tries, 18067 fired transitions, 1595 secs || 390312 markings, 772914 edges, 247 markings/sec, 1595 secs
lola: 1 tries, 18127 fired transitions, 1600 secs || 392731 markings, 777755 edges, 484 markings/sec, 1600 secs
lola: 1 tries, 18184 fired transitions, 1605 secs || 395608 markings, 783521 edges, 575 markings/sec, 1605 secs
lola: 1 tries, 18241 fired transitions, 1610 secs || 396986 markings, 786248 edges, 276 markings/sec, 1610 secs
lola: 1 tries, 18301 fired transitions, 1615 secs || 398460 markings, 789169 edges, 295 markings/sec, 1615 secs
lola: 1 tries, 18358 fired transitions, 1620 secs || 399854 markings, 791926 edges, 279 markings/sec, 1620 secs
lola: 1 tries, 18415 fired transitions, 1625 secs || 400703 markings, 793588 edges, 170 markings/sec, 1625 secs
lola: 1 tries, 18472 fired transitions, 1630 secs || 401854 markings, 795859 edges, 230 markings/sec, 1630 secs
lola: 1 tries, 18532 fired transitions, 1635 secs || 403014 markings, 798151 edges, 232 markings/sec, 1635 secs
lola: 1 tries, 18589 fired transitions, 1640 secs || 404523 markings, 801140 edges, 302 markings/sec, 1640 secs
lola: 1 tries, 18646 fired transitions, 1645 secs || 405512 markings, 803084 edges, 198 markings/sec, 1645 secs
lola: 1 tries, 18703 fired transitions, 1650 secs || 406790 markings, 805607 edges, 256 markings/sec, 1650 secs
lola: 1 tries, 18760 fired transitions, 1655 secs || 408166 markings, 808333 edges, 275 markings/sec, 1655 secs
lola: 1 tries, 18817 fired transitions, 1660 secs || 409793 markings, 811560 edges, 325 markings/sec, 1660 secs
lola: 1 tries, 18868 fired transitions, 1665 secs || 410730 markings, 813404 edges, 187 markings/sec, 1665 secs
lola: 1 tries, 18922 fired transitions, 1670 secs || 412146 markings, 816215 edges, 283 markings/sec, 1670 secs
lola: 1 tries, 18973 fired transitions, 1675 secs || 413296 markings, 818486 edges, 230 markings/sec, 1675 secs
lola: 1 tries, 19030 fired transitions, 1680 secs || 414409 markings, 820684 edges, 223 markings/sec, 1680 secs
lola: 1 tries, 19084 fired transitions, 1685 secs || 415637 markings, 823109 edges, 246 markings/sec, 1685 secs
lola: 1 tries, 19141 fired transitions, 1690 secs || 416769 markings, 825341 edges, 226 markings/sec, 1690 secs
lola: 1 tries, 19195 fired transitions, 1695 secs || 418001 markings, 827778 edges, 246 markings/sec, 1695 secs
lola: 1 tries, 19252 fired transitions, 1700 secs || 419047 markings, 829841 edges, 209 markings/sec, 1700 secs
lola: 1 tries, 19306 fired transitions, 1705 secs || 420368 markings, 832453 edges, 264 markings/sec, 1705 secs
lola: 1 tries, 19363 fired transitions, 1710 secs || 421501 markings, 834692 edges, 227 markings/sec, 1710 secs
lola: 1 tries, 19417 fired transitions, 1715 secs || 422795 markings, 837253 edges, 259 markings/sec, 1715 secs
lola: 1 tries, 19468 fired transitions, 1720 secs || 423959 markings, 839556 edges, 233 markings/sec, 1720 secs
lola: 1 tries, 19522 fired transitions, 1725 secs || 425373 markings, 842356 edges, 283 markings/sec, 1725 secs
lola: 1 tries, 19576 fired transitions, 1730 secs || 426423 markings, 844425 edges, 210 markings/sec, 1730 secs
lola: 1 tries, 19633 fired transitions, 1735 secs || 428008 markings, 847570 edges, 317 markings/sec, 1735 secs
lola: 1 tries, 19690 fired transitions, 1740 secs || 429061 markings, 849645 edges, 211 markings/sec, 1740 secs
lola: 1 tries, 19747 fired transitions, 1745 secs || 430400 markings, 852296 edges, 268 markings/sec, 1745 secs
lola: 1 tries, 19801 fired transitions, 1750 secs || 431450 markings, 854365 edges, 210 markings/sec, 1750 secs
lola: 1 tries, 19858 fired transitions, 1755 secs || 432532 markings, 856501 edges, 216 markings/sec, 1755 secs
lola: 1 tries, 19915 fired transitions, 1760 secs || 433497 markings, 858398 edges, 193 markings/sec, 1760 secs
lola: 1 tries, 19969 fired transitions, 1765 secs || 434730 markings, 860835 edges, 247 markings/sec, 1765 secs
lola: 1 tries, 20026 fired transitions, 1770 secs || 435998 markings, 863345 edges, 254 markings/sec, 1770 secs
lola: 1 tries, 20083 fired transitions, 1775 secs || 437175 markings, 865670 edges, 235 markings/sec, 1775 secs
lola: 1 tries, 20137 fired transitions, 1780 secs || 438746 markings, 868784 edges, 314 markings/sec, 1780 secs
lola: 1 tries, 20194 fired transitions, 1785 secs || 439783 markings, 870826 edges, 207 markings/sec, 1785 secs
lola: 1 tries, 20251 fired transitions, 1790 secs || 440917 markings, 873065 edges, 227 markings/sec, 1790 secs
lola: 1 tries, 20305 fired transitions, 1795 secs || 442078 markings, 875356 edges, 232 markings/sec, 1795 secs
lola: 1 tries, 20362 fired transitions, 1800 secs || 443929 markings, 879037 edges, 370 markings/sec, 1800 secs
lola: 1 tries, 20419 fired transitions, 1805 secs || 445159 markings, 881465 edges, 246 markings/sec, 1805 secs
lola: 1 tries, 20473 fired transitions, 1810 secs || 446244 markings, 883603 edges, 217 markings/sec, 1810 secs
lola: 1 tries, 20530 fired transitions, 1815 secs || 447941 markings, 886974 edges, 339 markings/sec, 1815 secs
lola: 1 tries, 20587 fired transitions, 1820 secs || 449253 markings, 889566 edges, 262 markings/sec, 1820 secs
lola: 1 tries, 20641 fired transitions, 1825 secs || 450279 markings, 891590 edges, 205 markings/sec, 1825 secs
lola: 1 tries, 20698 fired transitions, 1830 secs || 451428 markings, 893855 edges, 230 markings/sec, 1830 secs
lola: 1 tries, 20755 fired transitions, 1835 secs || 452990 markings, 896954 edges, 312 markings/sec, 1835 secs
lola: 1 tries, 20809 fired transitions, 1840 secs || 454324 markings, 899593 edges, 267 markings/sec, 1840 secs
lola: 1 tries, 20866 fired transitions, 1845 secs || 455459 markings, 901833 edges, 227 markings/sec, 1845 secs
lola: 1 tries, 20920 fired transitions, 1850 secs || 456539 markings, 903963 edges, 216 markings/sec, 1850 secs
lola: 1 tries, 20977 fired transitions, 1855 secs || 457799 markings, 906452 edges, 252 markings/sec, 1855 secs
lola: 1 tries, 21031 fired transitions, 1860 secs || 459034 markings, 908893 edges, 247 markings/sec, 1860 secs
lola: 1 tries, 21088 fired transitions, 1865 secs || 460696 markings, 912195 edges, 332 markings/sec, 1865 secs
lola: 1 tries, 21142 fired transitions, 1870 secs || 462001 markings, 914774 edges, 261 markings/sec, 1870 secs
lola: 1 tries, 21199 fired transitions, 1875 secs || 464068 markings, 918893 edges, 413 markings/sec, 1875 secs
lola: 1 tries, 21253 fired transitions, 1880 secs || 465602 markings, 921936 edges, 307 markings/sec, 1880 secs
lola: 1 tries, 21310 fired transitions, 1885 secs || 466459 markings, 923617 edges, 171 markings/sec, 1885 secs
lola: 1 tries, 21364 fired transitions, 1890 secs || 467677 markings, 926027 edges, 244 markings/sec, 1890 secs
lola: 1 tries, 21421 fired transitions, 1895 secs || 468599 markings, 927838 edges, 184 markings/sec, 1895 secs
lola: 1 tries, 21475 fired transitions, 1900 secs || 470133 markings, 930879 edges, 307 markings/sec, 1900 secs
lola: 1 tries, 21532 fired transitions, 1905 secs || 471056 markings, 932691 edges, 185 markings/sec, 1905 secs
lola: 1 tries, 21589 fired transitions, 1910 secs || 472149 markings, 934846 edges, 219 markings/sec, 1910 secs
lola: 1 tries, 21643 fired transitions, 1915 secs || 473275 markings, 937077 edges, 225 markings/sec, 1915 secs
lola: 1 tries, 21700 fired transitions, 1920 secs || 474512 markings, 939533 edges, 247 markings/sec, 1920 secs
lola: 1 tries, 21754 fired transitions, 1925 secs || 475762 markings, 942015 edges, 250 markings/sec, 1925 secs
lola: 1 tries, 21811 fired transitions, 1930 secs || 476982 markings, 944436 edges, 244 markings/sec, 1930 secs
lola: 1 tries, 21865 fired transitions, 1935 secs || 478105 markings, 946659 edges, 225 markings/sec, 1935 secs
lola: 1 tries, 21922 fired transitions, 1940 secs || 479323 markings, 949078 edges, 244 markings/sec, 1940 secs
lola: 1 tries, 21979 fired transitions, 1945 secs || 480703 markings, 951821 edges, 276 markings/sec, 1945 secs
lola: 1 tries, 22033 fired transitions, 1950 secs || 481918 markings, 954235 edges, 243 markings/sec, 1950 secs
lola: 1 tries, 22090 fired transitions, 1955 secs || 483057 markings, 956492 edges, 228 markings/sec, 1955 secs
lola: 1 tries, 22147 fired transitions, 1960 secs || 484408 markings, 959179 edges, 270 markings/sec, 1960 secs
lola: 1 tries, 22204 fired transitions, 1965 secs || 485534 markings, 961412 edges, 225 markings/sec, 1965 secs
lola: 1 tries, 22258 fired transitions, 1970 secs || 486546 markings, 963412 edges, 202 markings/sec, 1970 secs
lola: 1 tries, 22315 fired transitions, 1975 secs || 487831 markings, 965967 edges, 257 markings/sec, 1975 secs
lola: 1 tries, 22372 fired transitions, 1980 secs || 488855 markings, 967991 edges, 205 markings/sec, 1980 secs
lola: 1 tries, 22426 fired transitions, 1985 secs || 489882 markings, 970023 edges, 205 markings/sec, 1985 secs
lola: 1 tries, 22483 fired transitions, 1990 secs || 490950 markings, 972139 edges, 214 markings/sec, 1990 secs
lola: 1 tries, 22537 fired transitions, 1995 secs || 492232 markings, 974682 edges, 256 markings/sec, 1995 secs
lola: 1 tries, 22594 fired transitions, 2000 secs || 493583 markings, 977369 edges, 270 markings/sec, 2000 secs
lola: 1 tries, 22651 fired transitions, 2005 secs || 494603 markings, 979384 edges, 204 markings/sec, 2005 secs
lola: 1 tries, 22705 fired transitions, 2010 secs || 495821 markings, 981802 edges, 244 markings/sec, 2010 secs
lola: 1 tries, 22762 fired transitions, 2015 secs || 497747 markings, 985649 edges, 385 markings/sec, 2015 secs
lola: 1 tries, 22816 fired transitions, 2020 secs || 498597 markings, 987324 edges, 170 markings/sec, 2020 secs
lola: 1 tries, 22873 fired transitions, 2025 secs || 499726 markings, 989562 edges, 226 markings/sec, 2025 secs
lola: 1 tries, 22927 fired transitions, 2030 secs || 501191 markings, 992480 edges, 293 markings/sec, 2030 secs
lola: 1 tries, 22984 fired transitions, 2035 secs || 502164 markings, 994405 edges, 195 markings/sec, 2035 secs
lola: 1 tries, 23038 fired transitions, 2040 secs || 503286 markings, 996626 edges, 224 markings/sec, 2040 secs
lola: 1 tries, 23095 fired transitions, 2045 secs || 504831 markings, 999709 edges, 309 markings/sec, 2045 secs
lola: 1 tries, 23149 fired transitions, 2050 secs || 505795 markings, 1001611 edges, 193 markings/sec, 2050 secs
lola: 1 tries, 23206 fired transitions, 2055 secs || 507053 markings, 1004111 edges, 252 markings/sec, 2055 secs
lola: 1 tries, 23263 fired transitions, 2060 secs || 508282 markings, 1006553 edges, 246 markings/sec, 2060 secs
lola: 1 tries, 23317 fired transitions, 2065 secs || 509523 markings, 1009015 edges, 248 markings/sec, 2065 secs
lola: 1 tries, 23374 fired transitions, 2070 secs || 510460 markings, 1010864 edges, 187 markings/sec, 2070 secs
lola: 1 tries, 23431 fired transitions, 2075 secs || 511683 markings, 1013289 edges, 245 markings/sec, 2075 secs
lola: 1 tries, 23485 fired transitions, 2080 secs || 513201 markings, 1016311 edges, 304 markings/sec, 2080 secs
lola: 1 tries, 23542 fired transitions, 2085 secs || 514666 markings, 1019227 edges, 293 markings/sec, 2085 secs
lola: 1 tries, 23599 fired transitions, 2090 secs || 515743 markings, 1021361 edges, 215 markings/sec, 2090 secs
lola: 1 tries, 23656 fired transitions, 2095 secs || 517044 markings, 1023946 edges, 260 markings/sec, 2095 secs
lola: 1 tries, 23710 fired transitions, 2100 secs || 519354 markings, 1028568 edges, 462 markings/sec, 2100 secs
lola: 1 tries, 23767 fired transitions, 2105 secs || 521063 markings, 1031974 edges, 342 markings/sec, 2105 secs
lola: 1 tries, 23824 fired transitions, 2110 secs || 522507 markings, 1034849 edges, 289 markings/sec, 2110 secs
lola: 1 tries, 23881 fired transitions, 2115 secs || 524519 markings, 1038867 edges, 402 markings/sec, 2115 secs
lola: 1 tries, 23935 fired transitions, 2120 secs || 525966 markings, 1041749 edges, 289 markings/sec, 2120 secs
lola: 1 tries, 23992 fired transitions, 2125 secs || 527297 markings, 1044395 edges, 266 markings/sec, 2125 secs
lola: 1 tries, 24049 fired transitions, 2130 secs || 528428 markings, 1046635 edges, 226 markings/sec, 2130 secs
lola: 1 tries, 24103 fired transitions, 2135 secs || 530092 markings, 1049955 edges, 333 markings/sec, 2135 secs
lola: 1 tries, 24160 fired transitions, 2140 secs || 531032 markings, 1051810 edges, 188 markings/sec, 2140 secs
lola: 1 tries, 24217 fired transitions, 2145 secs || 532034 markings, 1053791 edges, 200 markings/sec, 2145 secs
lola: 1 tries, 24274 fired transitions, 2150 secs || 533091 markings, 1055882 edges, 211 markings/sec, 2150 secs
lola: 1 tries, 24328 fired transitions, 2155 secs || 534242 markings, 1058164 edges, 230 markings/sec, 2155 secs
lola: 1 tries, 24385 fired transitions, 2160 secs || 535650 markings, 1060962 edges, 282 markings/sec, 2160 secs
lola: 1 tries, 24442 fired transitions, 2165 secs || 536768 markings, 1063177 edges, 224 markings/sec, 2165 secs
lola: 1 tries, 24499 fired transitions, 2170 secs || 537990 markings, 1065599 edges, 244 markings/sec, 2170 secs
lola: 1 tries, 24553 fired transitions, 2175 secs || 539211 markings, 1068022 edges, 244 markings/sec, 2175 secs
lola: 1 tries, 24610 fired transitions, 2180 secs || 540465 markings, 1070512 edges, 251 markings/sec, 2180 secs
lola: 1 tries, 24664 fired transitions, 2185 secs || 541892 markings, 1073354 edges, 285 markings/sec, 2185 secs
lola: 1 tries, 24715 fired transitions, 2190 secs || 542994 markings, 1075542 edges, 220 markings/sec, 2190 secs
lola: 1 tries, 24769 fired transitions, 2195 secs || 544262 markings, 1078064 edges, 254 markings/sec, 2195 secs
lola: 1 tries, 24823 fired transitions, 2200 secs || 545325 markings, 1080172 edges, 213 markings/sec, 2200 secs
lola: 1 tries, 24880 fired transitions, 2205 secs || 547112 markings, 1083737 edges, 357 markings/sec, 2205 secs
lola: 1 tries, 24937 fired transitions, 2210 secs || 548755 markings, 1087014 edges, 329 markings/sec, 2210 secs
lola: 1 tries, 24994 fired transitions, 2215 secs || 549977 markings, 1089437 edges, 244 markings/sec, 2215 secs
lola: 1 tries, 25051 fired transitions, 2220 secs || 551061 markings, 1091585 edges, 217 markings/sec, 2220 secs
lola: 1 tries, 25108 fired transitions, 2225 secs || 552650 markings, 1094751 edges, 318 markings/sec, 2225 secs
lola: 1 tries, 25159 fired transitions, 2230 secs || 553675 markings, 1096784 edges, 205 markings/sec, 2230 secs
lola: 1 tries, 25213 fired transitions, 2235 secs || 554702 markings, 1098816 edges, 205 markings/sec, 2235 secs
lola: 1 tries, 25264 fired transitions, 2240 secs || 556147 markings, 1101695 edges, 289 markings/sec, 2240 secs
lola: 1 tries, 25318 fired transitions, 2245 secs || 557191 markings, 1103763 edges, 209 markings/sec, 2245 secs
lola: 1 tries, 25372 fired transitions, 2250 secs || 558321 markings, 1106005 edges, 226 markings/sec, 2250 secs
lola: 1 tries, 25426 fired transitions, 2255 secs || 559532 markings, 1108408 edges, 242 markings/sec, 2255 secs
lola: 1 tries, 25480 fired transitions, 2260 secs || 560656 markings, 1110636 edges, 225 markings/sec, 2260 secs
lola: 1 tries, 25537 fired transitions, 2265 secs || 562304 markings, 1113921 edges, 330 markings/sec, 2265 secs
lola: 1 tries, 25594 fired transitions, 2270 secs || 563345 markings, 1115983 edges, 208 markings/sec, 2270 secs
lola: 1 tries, 25648 fired transitions, 2275 secs || 564382 markings, 1118037 edges, 207 markings/sec, 2275 secs
lola: 1 tries, 25702 fired transitions, 2280 secs || 565730 markings, 1120720 edges, 270 markings/sec, 2280 secs
lola: 1 tries, 25759 fired transitions, 2285 secs || 566859 markings, 1122957 edges, 226 markings/sec, 2285 secs
lola: 1 tries, 25816 fired transitions, 2290 secs || 568015 markings, 1125249 edges, 231 markings/sec, 2290 secs
lola: 1 tries, 25873 fired transitions, 2295 secs || 569249 markings, 1127698 edges, 247 markings/sec, 2295 secs
lola: 1 tries, 25933 fired transitions, 2300 secs || 570306 markings, 1129788 edges, 211 markings/sec, 2300 secs
lola: 1 tries, 25990 fired transitions, 2305 secs || 571533 markings, 1132222 edges, 245 markings/sec, 2305 secs
lola: 1 tries, 26047 fired transitions, 2310 secs || 572898 markings, 1134936 edges, 273 markings/sec, 2310 secs
lola: 1 tries, 26104 fired transitions, 2315 secs || 574050 markings, 1137220 edges, 230 markings/sec, 2315 secs
lola: 1 tries, 26161 fired transitions, 2320 secs || 575173 markings, 1139445 edges, 225 markings/sec, 2320 secs
lola: 1 tries, 26218 fired transitions, 2325 secs || 576696 markings, 1142479 edges, 305 markings/sec, 2325 secs
lola: 1 tries, 26275 fired transitions, 2330 secs || 577735 markings, 1144533 edges, 208 markings/sec, 2330 secs
lola: 1 tries, 26332 fired transitions, 2335 secs || 579053 markings, 1147149 edges, 264 markings/sec, 2335 secs
lola: 1 tries, 26389 fired transitions, 2340 secs || 580369 markings, 1149762 edges, 263 markings/sec, 2340 secs
lola: 1 tries, 26446 fired transitions, 2345 secs || 581803 markings, 1152616 edges, 287 markings/sec, 2345 secs
lola: 1 tries, 26506 fired transitions, 2350 secs || 583123 markings, 1155241 edges, 264 markings/sec, 2350 secs
lola: 1 tries, 26563 fired transitions, 2355 secs || 584143 markings, 1157257 edges, 204 markings/sec, 2355 secs
lola: 1 tries, 26620 fired transitions, 2360 secs || 585200 markings, 1159348 edges, 211 markings/sec, 2360 secs
lola: 1 tries, 26677 fired transitions, 2365 secs || 586615 markings, 1162162 edges, 283 markings/sec, 2365 secs
lola: 1 tries, 26734 fired transitions, 2370 secs || 587934 markings, 1164779 edges, 264 markings/sec, 2370 secs
lola: 1 tries, 26791 fired transitions, 2375 secs || 588997 markings, 1166884 edges, 213 markings/sec, 2375 secs
lola: 1 tries, 26851 fired transitions, 2380 secs || 590249 markings, 1169369 edges, 250 markings/sec, 2380 secs
lola: 1 tries, 26908 fired transitions, 2385 secs || 591389 markings, 1171630 edges, 228 markings/sec, 2385 secs
lola: 1 tries, 26962 fired transitions, 2390 secs || 592416 markings, 1173663 edges, 205 markings/sec, 2390 secs
lola: 1 tries, 27019 fired transitions, 2395 secs || 593576 markings, 1175961 edges, 232 markings/sec, 2395 secs
lola: 1 tries, 27076 fired transitions, 2400 secs || 595489 markings, 1179780 edges, 383 markings/sec, 2400 secs
lola: 1 tries, 27136 fired transitions, 2405 secs || 596547 markings, 1181877 edges, 212 markings/sec, 2405 secs
lola: 1 tries, 27193 fired transitions, 2410 secs || 597677 markings, 1184115 edges, 226 markings/sec, 2410 secs
lola: 1 tries, 27250 fired transitions, 2415 secs || 599335 markings, 1187422 edges, 332 markings/sec, 2415 secs
lola: 1 tries, 27307 fired transitions, 2420 secs || 600476 markings, 1189685 edges, 228 markings/sec, 2420 secs
lola: 1 tries, 27364 fired transitions, 2425 secs || 601509 markings, 1191727 edges, 207 markings/sec, 2425 secs
lola: 1 tries, 27421 fired transitions, 2430 secs || 602721 markings, 1194130 edges, 242 markings/sec, 2430 secs
lola: 1 tries, 27478 fired transitions, 2435 secs || 603946 markings, 1196562 edges, 245 markings/sec, 2435 secs
lola: 1 tries, 27538 fired transitions, 2440 secs || 605712 markings, 1200085 edges, 353 markings/sec, 2440 secs
lola: 1 tries, 27595 fired transitions, 2445 secs || 606691 markings, 1202022 edges, 196 markings/sec, 2445 secs
lola: 1 tries, 27652 fired transitions, 2450 secs || 607795 markings, 1204208 edges, 221 markings/sec, 2450 secs
lola: 1 tries, 27709 fired transitions, 2455 secs || 609185 markings, 1206976 edges, 278 markings/sec, 2455 secs
lola: 1 tries, 27766 fired transitions, 2460 secs || 610259 markings, 1209102 edges, 215 markings/sec, 2460 secs
lola: 1 tries, 27826 fired transitions, 2465 secs || 611318 markings, 1211197 edges, 212 markings/sec, 2465 secs
lola: 1 tries, 27883 fired transitions, 2470 secs || 612844 markings, 1214234 edges, 305 markings/sec, 2470 secs
lola: 1 tries, 27940 fired transitions, 2475 secs || 613800 markings, 1216114 edges, 191 markings/sec, 2475 secs
lola: 1 tries, 27997 fired transitions, 2480 secs || 615101 markings, 1218691 edges, 260 markings/sec, 2480 secs
lola: 1 tries, 28054 fired transitions, 2485 secs || 616000 markings, 1220453 edges, 180 markings/sec, 2485 secs
lola: 1 tries, 28114 fired transitions, 2490 secs || 617612 markings, 1223650 edges, 322 markings/sec, 2490 secs
lola: 1 tries, 28171 fired transitions, 2495 secs || 618553 markings, 1225499 edges, 188 markings/sec, 2495 secs
lola: 1 tries, 28228 fired transitions, 2500 secs || 619594 markings, 1227548 edges, 208 markings/sec, 2500 secs
lola: 1 tries, 28285 fired transitions, 2505 secs || 620668 markings, 1229665 edges, 215 markings/sec, 2505 secs
lola: 1 tries, 28342 fired transitions, 2510 secs || 622103 markings, 1232507 edges, 287 markings/sec, 2510 secs
lola: 1 tries, 28396 fired transitions, 2515 secs || 623209 markings, 1234688 edges, 221 markings/sec, 2515 secs
lola: 1 tries, 28456 fired transitions, 2520 secs || 624378 markings, 1236996 edges, 234 markings/sec, 2520 secs
lola: 1 tries, 28513 fired transitions, 2525 secs || 625607 markings, 1239420 edges, 246 markings/sec, 2525 secs
lola: 1 tries, 28570 fired transitions, 2530 secs || 626838 markings, 1241852 edges, 246 markings/sec, 2530 secs
lola: 1 tries, 28627 fired transitions, 2535 secs || 628713 markings, 1245580 edges, 375 markings/sec, 2535 secs
lola: 1 tries, 28681 fired transitions, 2540 secs || 629685 markings, 1247495 edges, 194 markings/sec, 2540 secs
lola: 1 tries, 28738 fired transitions, 2545 secs || 630602 markings, 1249295 edges, 183 markings/sec, 2545 secs
lola: 1 tries, 28789 fired transitions, 2550 secs || 631953 markings, 1251975 edges, 270 markings/sec, 2550 secs
lola: 1 tries, 28843 fired transitions, 2555 secs || 632995 markings, 1254029 edges, 208 markings/sec, 2555 secs
lola: 1 tries, 28894 fired transitions, 2560 secs || 633948 markings, 1255905 edges, 191 markings/sec, 2560 secs
lola: 1 tries, 28951 fired transitions, 2565 secs || 635307 markings, 1258598 edges, 272 markings/sec, 2565 secs
lola: 1 tries, 29005 fired transitions, 2570 secs || 636314 markings, 1260582 edges, 201 markings/sec, 2570 secs
lola: 1 tries, 29059 fired transitions, 2575 secs || 637283 markings, 1262488 edges, 194 markings/sec, 2575 secs
lola: 1 tries, 29113 fired transitions, 2580 secs || 638691 markings, 1265276 edges, 282 markings/sec, 2580 secs
lola: 1 tries, 29167 fired transitions, 2585 secs || 639841 markings, 1267543 edges, 230 markings/sec, 2585 secs
lola: 1 tries, 29224 fired transitions, 2590 secs || 640993 markings, 1269816 edges, 230 markings/sec, 2590 secs
lola: 1 tries, 29275 fired transitions, 2595 secs || 642111 markings, 1272024 edges, 224 markings/sec, 2595 secs
lola: 1 tries, 29326 fired transitions, 2600 secs || 643240 markings, 1274256 edges, 226 markings/sec, 2600 secs
lola: 1 tries, 29377 fired transitions, 2605 secs || 644493 markings, 1276736 edges, 251 markings/sec, 2605 secs
lola: 1 tries, 29434 fired transitions, 2610 secs || 645859 markings, 1279441 edges, 273 markings/sec, 2610 secs
lola: 1 tries, 29485 fired transitions, 2615 secs || 646991 markings, 1281677 edges, 226 markings/sec, 2615 secs
lola: 1 tries, 29539 fired transitions, 2620 secs || 648150 markings, 1283970 edges, 232 markings/sec, 2620 secs
lola: 1 tries, 29593 fired transitions, 2625 secs || 649516 markings, 1286675 edges, 273 markings/sec, 2625 secs
lola: 1 tries, 29650 fired transitions, 2630 secs || 650651 markings, 1288911 edges, 227 markings/sec, 2630 secs
lola: 1 tries, 29707 fired transitions, 2635 secs || 651886 markings, 1291352 edges, 247 markings/sec, 2635 secs
lola: 1 tries, 29767 fired transitions, 2640 secs || 653244 markings, 1294039 edges, 272 markings/sec, 2640 secs
lola: 1 tries, 29824 fired transitions, 2645 secs || 654379 markings, 1296275 edges, 227 markings/sec, 2645 secs
lola: 1 tries, 29881 fired transitions, 2650 secs || 655505 markings, 1298495 edges, 225 markings/sec, 2650 secs
lola: 1 tries, 29938 fired transitions, 2655 secs || 656695 markings, 1300845 edges, 238 markings/sec, 2655 secs
lola: 1 tries, 29998 fired transitions, 2660 secs || 657735 markings, 1302891 edges, 208 markings/sec, 2660 secs
lola: 1 tries, 30055 fired transitions, 2665 secs || 659248 markings, 1305887 edges, 303 markings/sec, 2665 secs
lola: 1 tries, 30112 fired transitions, 2670 secs || 660547 markings, 1308457 edges, 260 markings/sec, 2670 secs
lola: 1 tries, 30169 fired transitions, 2675 secs || 661812 markings, 1310954 edges, 253 markings/sec, 2675 secs
lola: 1 tries, 30226 fired transitions, 2680 secs || 663079 markings, 1313461 edges, 253 markings/sec, 2680 secs
lola: 1 tries, 30286 fired transitions, 2685 secs || 664616 markings, 1316506 edges, 307 markings/sec, 2685 secs
lola: 1 tries, 30343 fired transitions, 2690 secs || 665661 markings, 1318566 edges, 209 markings/sec, 2690 secs
lola: 1 tries, 30400 fired transitions, 2695 secs || 667121 markings, 1321460 edges, 292 markings/sec, 2695 secs
lola: 1 tries, 30457 fired transitions, 2700 secs || 668189 markings, 1323567 edges, 214 markings/sec, 2700 secs
lola: 1 tries, 30514 fired transitions, 2705 secs || 670349 markings, 1327870 edges, 432 markings/sec, 2705 secs
lola: 1 tries, 30571 fired transitions, 2710 secs || 671794 markings, 1330732 edges, 289 markings/sec, 2710 secs
lola: 1 tries, 30628 fired transitions, 2715 secs || 673464 markings, 1334050 edges, 334 markings/sec, 2715 secs
lola: 1 tries, 30685 fired transitions, 2720 secs || 674407 markings, 1335903 edges, 189 markings/sec, 2720 secs
lola: 1 tries, 30742 fired transitions, 2725 secs || 675746 markings, 1338550 edges, 268 markings/sec, 2725 secs
lola: 1 tries, 30802 fired transitions, 2730 secs || 676784 markings, 1340595 edges, 208 markings/sec, 2730 secs
lola: 1 tries, 30859 fired transitions, 2735 secs || 678266 markings, 1343533 edges, 296 markings/sec, 2735 secs
lola: 1 tries, 30916 fired transitions, 2740 secs || 679550 markings, 1346070 edges, 257 markings/sec, 2740 secs
lola: 1 tries, 30973 fired transitions, 2745 secs || 680750 markings, 1348439 edges, 240 markings/sec, 2745 secs
lola: 1 tries, 31030 fired transitions, 2750 secs || 682003 markings, 1350915 edges, 251 markings/sec, 2750 secs
lola: 1 tries, 31087 fired transitions, 2755 secs || 683473 markings, 1353826 edges, 294 markings/sec, 2755 secs
lola: 1 tries, 31144 fired transitions, 2760 secs || 684511 markings, 1355870 edges, 208 markings/sec, 2760 secs
lola: 1 tries, 31201 fired transitions, 2765 secs || 685949 markings, 1358720 edges, 288 markings/sec, 2765 secs
lola: 1 tries, 31258 fired transitions, 2770 secs || 687006 markings, 1360803 edges, 211 markings/sec, 2770 secs
lola: 1 tries, 31315 fired transitions, 2775 secs || 688056 markings, 1362871 edges, 210 markings/sec, 2775 secs
lola: 1 tries, 31372 fired transitions, 2780 secs || 689781 markings, 1366300 edges, 345 markings/sec, 2780 secs
lola: 1 tries, 31429 fired transitions, 2785 secs || 690973 markings, 1368656 edges, 238 markings/sec, 2785 secs
lola: 1 tries, 31486 fired transitions, 2790 secs || 692032 markings, 1370741 edges, 212 markings/sec, 2790 secs
lola: 1 tries, 31546 fired transitions, 2795 secs || 693874 markings, 1374401 edges, 368 markings/sec, 2795 secs
lola: 1 tries, 31603 fired transitions, 2800 secs || 694911 markings, 1376443 edges, 207 markings/sec, 2800 secs
lola: 1 tries, 31660 fired transitions, 2805 secs || 695926 markings, 1378443 edges, 203 markings/sec, 2805 secs
lola: 1 tries, 31714 fired transitions, 2810 secs || 697007 markings, 1380570 edges, 216 markings/sec, 2810 secs
lola: 1 tries, 31774 fired transitions, 2815 secs || 699450 markings, 1385442 edges, 489 markings/sec, 2815 secs
lola: 1 tries, 31828 fired transitions, 2820 secs || 702141 markings, 1390814 edges, 538 markings/sec, 2820 secs
lola: 1 tries, 31885 fired transitions, 2825 secs || 703603 markings, 1393708 edges, 292 markings/sec, 2825 secs
lola: 1 tries, 31939 fired transitions, 2830 secs || 704939 markings, 1396353 edges, 267 markings/sec, 2830 secs
lola: 1 tries, 31993 fired transitions, 2835 secs || 706220 markings, 1398890 edges, 256 markings/sec, 2835 secs
lola: 1 tries, 32044 fired transitions, 2840 secs || 707459 markings, 1401343 edges, 248 markings/sec, 2840 secs
lola: 1 tries, 32098 fired transitions, 2845 secs || 708686 markings, 1403769 edges, 245 markings/sec, 2845 secs
lola: 1 tries, 32149 fired transitions, 2850 secs || 709521 markings, 1405407 edges, 167 markings/sec, 2850 secs
lola: 1 tries, 32203 fired transitions, 2855 secs || 710640 markings, 1407619 edges, 224 markings/sec, 2855 secs
lola: 1 tries, 32257 fired transitions, 2860 secs || 711631 markings, 1409569 edges, 198 markings/sec, 2860 secs
lola: 1 tries, 32314 fired transitions, 2865 secs || 712854 markings, 1411985 edges, 245 markings/sec, 2865 secs
lola: 1 tries, 32368 fired transitions, 2870 secs || 714125 markings, 1414498 edges, 254 markings/sec, 2870 secs
lola: 1 tries, 32425 fired transitions, 2875 secs || 715312 markings, 1416841 edges, 237 markings/sec, 2875 secs
lola: 1 tries, 32482 fired transitions, 2880 secs || 716448 markings, 1419085 edges, 227 markings/sec, 2880 secs
lola: 1 tries, 32533 fired transitions, 2885 secs || 717926 markings, 1422016 edges, 296 markings/sec, 2885 secs
lola: 1 tries, 32587 fired transitions, 2890 secs || 719141 markings, 1424422 edges, 243 markings/sec, 2890 secs
lola: 1 tries, 32638 fired transitions, 2895 secs || 720280 markings, 1426672 edges, 228 markings/sec, 2895 secs
lola: 1 tries, 32695 fired transitions, 2900 secs || 721568 markings, 1429226 edges, 258 markings/sec, 2900 secs
lola: 1 tries, 32749 fired transitions, 2905 secs || 722604 markings, 1431269 edges, 207 markings/sec, 2905 secs
lola: 1 tries, 32806 fired transitions, 2910 secs || 724812 markings, 1435670 edges, 442 markings/sec, 2910 secs
lola: 1 tries, 32860 fired transitions, 2915 secs || 726192 markings, 1438401 edges, 276 markings/sec, 2915 secs
lola: 1 tries, 32911 fired transitions, 2920 secs || 727446 markings, 1440885 edges, 251 markings/sec, 2920 secs
lola: 1 tries, 32965 fired transitions, 2925 secs || 728800 markings, 1443569 edges, 271 markings/sec, 2925 secs
lola: 1 tries, 33022 fired transitions, 2930 secs || 729940 markings, 1445818 edges, 228 markings/sec, 2930 secs
lola: 1 tries, 33076 fired transitions, 2935 secs || 730883 markings, 1447672 edges, 189 markings/sec, 2935 secs
lola: 1 tries, 33133 fired transitions, 2940 secs || 732363 markings, 1450608 edges, 296 markings/sec, 2940 secs
lola: 1 tries, 33187 fired transitions, 2945 secs || 733566 markings, 1452983 edges, 241 markings/sec, 2945 secs
lola: 1 tries, 33241 fired transitions, 2950 secs || 734720 markings, 1455263 edges, 231 markings/sec, 2950 secs
lola: 1 tries, 33298 fired transitions, 2955 secs || 735883 markings, 1457558 edges, 233 markings/sec, 2955 secs
lola: 1 tries, 33355 fired transitions, 2960 secs || 737048 markings, 1459858 edges, 233 markings/sec, 2960 secs
lola: 1 tries, 33412 fired transitions, 2965 secs || 738494 markings, 1462722 edges, 289 markings/sec, 2965 secs
lola: 1 tries, 33469 fired transitions, 2970 secs || 739933 markings, 1465573 edges, 288 markings/sec, 2970 secs
lola: 1 tries, 33526 fired transitions, 2975 secs || 740887 markings, 1467452 edges, 191 markings/sec, 2975 secs
lola: 1 tries, 33583 fired transitions, 2980 secs || 741936 markings, 1469522 edges, 210 markings/sec, 2980 secs
lola: 1 tries, 33634 fired transitions, 2985 secs || 743162 markings, 1471945 edges, 245 markings/sec, 2985 secs
lola: 1 tries, 33688 fired transitions, 2990 secs || 744125 markings, 1473842 edges, 193 markings/sec, 2990 secs
lola: 1 tries, 33742 fired transitions, 2995 secs || 745475 markings, 1476518 edges, 270 markings/sec, 2995 secs
lola: 1 tries, 33796 fired transitions, 3000 secs || 746354 markings, 1478242 edges, 176 markings/sec, 3000 secs
lola: 1 tries, 33853 fired transitions, 3005 secs || 748501 markings, 1482518 edges, 429 markings/sec, 3005 secs
lola: 1 tries, 33910 fired transitions, 3010 secs || 749535 markings, 1484556 edges, 207 markings/sec, 3010 secs
lola: 1 tries, 33964 fired transitions, 3015 secs || 750425 markings, 1486305 edges, 178 markings/sec, 3015 secs
lola: 1 tries, 34021 fired transitions, 3020 secs || 751620 markings, 1488663 edges, 239 markings/sec, 3020 secs
lola: 1 tries, 34078 fired transitions, 3025 secs || 753846 markings, 1493097 edges, 445 markings/sec, 3025 secs
lola: 1 tries, 34132 fired transitions, 3030 secs || 755877 markings, 1497141 edges, 406 markings/sec, 3030 secs
lola: 1 tries, 34189 fired transitions, 3035 secs || 757031 markings, 1499417 edges, 231 markings/sec, 3035 secs
lola: 1 tries, 34246 fired transitions, 3040 secs || 758187 markings, 1501697 edges, 231 markings/sec, 3040 secs
lola: 1 tries, 34303 fired transitions, 3045 secs || 759341 markings, 1503976 edges, 231 markings/sec, 3045 secs
lola: 1 tries, 34357 fired transitions, 3050 secs || 760433 markings, 1506131 edges, 218 markings/sec, 3050 secs
lola: 1 tries, 34414 fired transitions, 3055 secs || 761802 markings, 1508837 edges, 274 markings/sec, 3055 secs
lola: 1 tries, 34471 fired transitions, 3060 secs || 763132 markings, 1511465 edges, 266 markings/sec, 3060 secs
lola: 1 tries, 34525 fired transitions, 3065 secs || 763978 markings, 1513127 edges, 169 markings/sec, 3065 secs
lola: 1 tries, 34582 fired transitions, 3070 secs || 765104 markings, 1515358 edges, 225 markings/sec, 3070 secs
lola: 1 tries, 34639 fired transitions, 3075 secs || 766552 markings, 1518240 edges, 290 markings/sec, 3075 secs
lola: 1 tries, 34693 fired transitions, 3080 secs || 767690 markings, 1520495 edges, 228 markings/sec, 3080 secs
lola: 1 tries, 34750 fired transitions, 3085 secs || 768726 markings, 1522541 edges, 207 markings/sec, 3085 secs
lola: 1 tries, 34807 fired transitions, 3090 secs || 769946 markings, 1524960 edges, 244 markings/sec, 3090 secs
lola: 1 tries, 34864 fired transitions, 3095 secs || 771467 markings, 1527988 edges, 304 markings/sec, 3095 secs
lola: 1 tries, 34918 fired transitions, 3100 secs || 772925 markings, 1530890 edges, 292 markings/sec, 3100 secs
lola: 1 tries, 34975 fired transitions, 3105 secs || 774052 markings, 1533123 edges, 225 markings/sec, 3105 secs
lola: 1 tries, 35032 fired transitions, 3110 secs || 775526 markings, 1536057 edges, 295 markings/sec, 3110 secs
lola: 1 tries, 35086 fired transitions, 3115 secs || 776370 markings, 1537723 edges, 169 markings/sec, 3115 secs
lola: 1 tries, 35140 fired transitions, 3120 secs || 777571 markings, 1540104 edges, 240 markings/sec, 3120 secs
lola: 1 tries, 35194 fired transitions, 3125 secs || 778736 markings, 1542413 edges, 233 markings/sec, 3125 secs
lola: 1 tries, 35245 fired transitions, 3130 secs || 779666 markings, 1544253 edges, 186 markings/sec, 3130 secs
lola: 1 tries, 35299 fired transitions, 3135 secs || 780809 markings, 1546519 edges, 229 markings/sec, 3135 secs
lola: 1 tries, 35350 fired transitions, 3140 secs || 781857 markings, 1548595 edges, 210 markings/sec, 3140 secs
lola: 1 tries, 35404 fired transitions, 3145 secs || 782883 markings, 1550626 edges, 205 markings/sec, 3145 secs
lola: 1 tries, 35458 fired transitions, 3150 secs || 784382 markings, 1553608 edges, 300 markings/sec, 3150 secs
lola: 1 tries, 35515 fired transitions, 3155 secs || 785501 markings, 1555824 edges, 224 markings/sec, 3155 secs
lola: 1 tries, 35572 fired transitions, 3160 secs || 786923 markings, 1558651 edges, 284 markings/sec, 3160 secs
lola: 1 tries, 35626 fired transitions, 3165 secs || 787963 markings, 1560709 edges, 208 markings/sec, 3165 secs
lola: 1 tries, 35677 fired transitions, 3170 secs || 789416 markings, 1563604 edges, 291 markings/sec, 3170 secs
lola: 1 tries, 35731 fired transitions, 3175 secs || 790533 markings, 1565819 edges, 223 markings/sec, 3175 secs
lola: 1 tries, 35785 fired transitions, 3180 secs || 792095 markings, 1568933 edges, 312 markings/sec, 3180 secs
lola: 1 tries, 35842 fired transitions, 3185 secs || 792935 markings, 1570588 edges, 168 markings/sec, 3185 secs
lola: 1 tries, 35896 fired transitions, 3190 secs || 794059 markings, 1572815 edges, 225 markings/sec, 3190 secs
lola: 1 tries, 35953 fired transitions, 3195 secs || 795714 markings, 1576115 edges, 331 markings/sec, 3195 secs
lola: 1 tries, 36010 fired transitions, 3200 secs || 796691 markings, 1578047 edges, 195 markings/sec, 3200 secs
lola: 1 tries, 36067 fired transitions, 3205 secs || 797834 markings, 1580310 edges, 229 markings/sec, 3205 secs
lola: 1 tries, 36124 fired transitions, 3210 secs || 799174 markings, 1582973 edges, 268 markings/sec, 3210 secs
lola: 1 tries, 36184 fired transitions, 3215 secs || 800429 markings, 1585461 edges, 251 markings/sec, 3215 secs
lola: 1 tries, 36241 fired transitions, 3220 secs || 801715 markings, 1588015 edges, 257 markings/sec, 3220 secs
lola: 1 tries, 36298 fired transitions, 3225 secs || 802883 markings, 1590326 edges, 234 markings/sec, 3225 secs
lola: 1 tries, 36355 fired transitions, 3230 secs || 804214 markings, 1592969 edges, 266 markings/sec, 3230 secs
lola: 1 tries, 36415 fired transitions, 3235 secs || 805877 markings, 1596285 edges, 333 markings/sec, 3235 secs
lola: 1 tries, 36472 fired transitions, 3240 secs || 806908 markings, 1598322 edges, 206 markings/sec, 3240 secs
lola: 1 tries, 36529 fired transitions, 3245 secs || 808164 markings, 1600814 edges, 251 markings/sec, 3245 secs
lola: 1 tries, 36589 fired transitions, 3250 secs || 810460 markings, 1605408 edges, 459 markings/sec, 3250 secs
lola: 1 tries, 36646 fired transitions, 3255 secs || 812273 markings, 1609025 edges, 363 markings/sec, 3255 secs
lola: 1 tries, 36700 fired transitions, 3260 secs || 813717 markings, 1611900 edges, 289 markings/sec, 3260 secs
lola: 1 tries, 36754 fired transitions, 3265 secs || 815565 markings, 1615589 edges, 370 markings/sec, 3265 secs
lola: 1 tries, 36808 fired transitions, 3270 secs || 817180 markings, 1618812 edges, 323 markings/sec, 3270 secs
lola: 1 tries, 36859 fired transitions, 3275 secs || 818406 markings, 1621248 edges, 245 markings/sec, 3275 secs
lola: 1 tries, 36913 fired transitions, 3280 secs || 819435 markings, 1623285 edges, 206 markings/sec, 3280 secs
lola: 1 tries, 36970 fired transitions, 3285 secs || 820683 markings, 1625761 edges, 250 markings/sec, 3285 secs
lola: 1 tries, 37030 fired transitions, 3290 secs || 822129 markings, 1628640 edges, 289 markings/sec, 3290 secs
lola: 1 tries, 37087 fired transitions, 3295 secs || 823257 markings, 1630874 edges, 226 markings/sec, 3295 secs
lola: 1 tries, 37144 fired transitions, 3300 secs || 824402 markings, 1633142 edges, 229 markings/sec, 3300 secs
lola: 1 tries, 37201 fired transitions, 3305 secs || 825488 markings, 1635293 edges, 217 markings/sec, 3305 secs
lola: 1 tries, 37258 fired transitions, 3310 secs || 826575 markings, 1637443 edges, 217 markings/sec, 3310 secs
lola: 1 tries, 37315 fired transitions, 3315 secs || 828084 markings, 1640443 edges, 302 markings/sec, 3315 secs
lola: 1 tries, 37372 fired transitions, 3320 secs || 829403 markings, 1643060 edges, 264 markings/sec, 3320 secs
lola: 1 tries, 37432 fired transitions, 3325 secs || 830602 markings, 1645438 edges, 240 markings/sec, 3325 secs
lola: 1 tries, 37489 fired transitions, 3330 secs || 831883 markings, 1647979 edges, 256 markings/sec, 3330 secs
lola: 1 tries, 37546 fired transitions, 3335 secs || 833410 markings, 1651021 edges, 305 markings/sec, 3335 secs
lola: 1 tries, 37603 fired transitions, 3340 secs || 834543 markings, 1653267 edges, 227 markings/sec, 3340 secs
lola: 1 tries, 37660 fired transitions, 3345 secs || 835988 markings, 1656141 edges, 289 markings/sec, 3345 secs
lola: 1 tries, 37720 fired transitions, 3350 secs || 837140 markings, 1658424 edges, 230 markings/sec, 3350 secs
lola: 1 tries, 37777 fired transitions, 3355 secs || 839560 markings, 1663272 edges, 484 markings/sec, 3355 secs
lola: 1 tries, 37834 fired transitions, 3360 secs || 840425 markings, 1664975 edges, 173 markings/sec, 3360 secs
lola: 1 tries, 37891 fired transitions, 3365 secs || 841819 markings, 1667743 edges, 279 markings/sec, 3365 secs
lola: 1 tries, 37948 fired transitions, 3370 secs || 843170 markings, 1670429 edges, 270 markings/sec, 3370 secs
lola: 1 tries, 38005 fired transitions, 3375 secs || 844593 markings, 1673257 edges, 285 markings/sec, 3375 secs
lola: 1 tries, 38062 fired transitions, 3380 secs || 845720 markings, 1675490 edges, 225 markings/sec, 3380 secs
lola: 1 tries, 38119 fired transitions, 3385 secs || 847257 markings, 1678550 edges, 307 markings/sec, 3385 secs
lola: 1 tries, 38176 fired transitions, 3390 secs || 848512 markings, 1681038 edges, 251 markings/sec, 3390 secs
lola: 1 tries, 38230 fired transitions, 3395 secs || 849645 markings, 1683284 edges, 227 markings/sec, 3395 secs
lola: 1 tries, 38284 fired transitions, 3400 secs || 850856 markings, 1685687 edges, 242 markings/sec, 3400 secs
lola: 1 tries, 38335 fired transitions, 3405 secs || 851980 markings, 1687915 edges, 225 markings/sec, 3405 secs
lola: 1 tries, 38395 fired transitions, 3410 secs || 853897 markings, 1691742 edges, 383 markings/sec, 3410 secs
lola: 1 tries, 38446 fired transitions, 3415 secs || 854746 markings, 1693416 edges, 170 markings/sec, 3415 secs
lola: 1 tries, 38500 fired transitions, 3420 secs || 855811 markings, 1695523 edges, 213 markings/sec, 3420 secs
lola: 1 tries, 38557 fired transitions, 3425 secs || 857352 markings, 1698593 edges, 308 markings/sec, 3425 secs
lola: 1 tries, 38608 fired transitions, 3430 secs || 858197 markings, 1700260 edges, 169 markings/sec, 3430 secs
lola: 1 tries, 38662 fired transitions, 3435 secs || 859345 markings, 1702536 edges, 230 markings/sec, 3435 secs
lola: 1 tries, 38713 fired transitions, 3440 secs || 860578 markings, 1704986 edges, 247 markings/sec, 3440 secs
lola: 1 tries, 38767 fired transitions, 3445 secs || 861536 markings, 1706879 edges, 192 markings/sec, 3445 secs
lola: 1 tries, 38818 fired transitions, 3450 secs || 862760 markings, 1709309 edges, 245 markings/sec, 3450 secs
lola: 1 tries, 38872 fired transitions, 3455 secs || 863906 markings, 1711583 edges, 229 markings/sec, 3455 secs
lola: 1 tries, 38929 fired transitions, 3460 secs || 865181 markings, 1714114 edges, 255 markings/sec, 3460 secs
lola: 1 tries, 38980 fired transitions, 3465 secs || 866283 markings, 1716299 edges, 220 markings/sec, 3465 secs
lola: 1 tries, 39034 fired transitions, 3470 secs || 867413 markings, 1718543 edges, 226 markings/sec, 3470 secs
lola: 1 tries, 39085 fired transitions, 3475 secs || 868745 markings, 1721193 edges, 266 markings/sec, 3475 secs
lola: 1 tries, 39139 fired transitions, 3480 secs || 869874 markings, 1723431 edges, 226 markings/sec, 3480 secs
lola: 1 tries, 39190 fired transitions, 3485 secs || 870808 markings, 1725276 edges, 187 markings/sec, 3485 secs
lola: 1 tries, 39244 fired transitions, 3490 secs || 872313 markings, 1728277 edges, 301 markings/sec, 3490 secs
lola: 1 tries, 39295 fired transitions, 3495 secs || 873469 markings, 1730571 edges, 231 markings/sec, 3495 secs
lola: 1 tries, 39349 fired transitions, 3500 secs || 874582 markings, 1732778 edges, 223 markings/sec, 3500 secs
lola: 1 tries, 39403 fired transitions, 3505 secs || 875720 markings, 1735035 edges, 228 markings/sec, 3505 secs
lola: 1 tries, 39457 fired transitions, 3510 secs || 876892 markings, 1737357 edges, 234 markings/sec, 3510 secs
lola: 1 tries, 39508 fired transitions, 3515 secs || 878057 markings, 1739670 edges, 233 markings/sec, 3515 secs
lola: 1 tries, 39562 fired transitions, 3520 secs || 879180 markings, 1741893 edges, 225 markings/sec, 3520 secs
lola: 1 tries, 39616 fired transitions, 3525 secs || 880340 markings, 1744196 edges, 232 markings/sec, 3525 secs
lola: 1 tries, 39670 fired transitions, 3530 secs || 881899 markings, 1747302 edges, 312 markings/sec, 3530 secs
lola: time limit reached - aborting
lola: memory consumption: 4290748 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 1552944332159

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

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

Sequence of Actions to be Executed by the VM

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

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

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

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

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