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.r170-oct2-155297750600336.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 TokenRing-PT-020, examination is GlobalProperties
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r170-oct2-155297750600336
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 37M
-rw-r--r-- 1 mcc users 191K Feb 12 19:51 CTLCardinality.txt
-rw-r--r-- 1 mcc users 624K Feb 12 19:51 CTLCardinality.xml
-rw-r--r-- 1 mcc users 3.1M Feb 9 03:06 CTLFireability.txt
-rw-r--r-- 1 mcc users 8.3M Feb 9 03:06 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 10 17:31 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 103 Feb 24 15:06 GlobalProperties.txt
-rw-r--r-- 1 mcc users 341 Feb 24 15:06 GlobalProperties.xml
-rw-r--r-- 1 mcc users 75K Feb 5 01:47 LTLCardinality.txt
-rw-r--r-- 1 mcc users 242K Feb 5 01:47 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.4M Feb 4 22:49 LTLFireability.txt
-rw-r--r-- 1 mcc users 3.7M Feb 4 22:49 LTLFireability.xml
-rw-r--r-- 1 mcc users 161K Feb 4 21:28 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 517K Feb 4 21:28 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 3.5M Feb 1 21:45 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 9.3M Feb 1 21:45 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 50K Feb 4 22:31 UpperBounds.txt
-rw-r--r-- 1 mcc users 121K Feb 4 22:31 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Jan 29 09:35 equiv_col
-rw-r--r-- 1 mcc users 4 Jan 29 09:35 instance
-rw-r--r-- 1 mcc users 6 Jan 29 09:35 iscolored
-rw-r--r-- 1 mcc users 6.0M Mar 10 17:31 model.pnml

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

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

The expected result is a vector of booleans
BOOL_VECTOR

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

=== Now, execution of the tool begins

BK_START 1553117744613

info: Time: 3600 - MCC
vrfy: Checking GlobalProperties @ TokenRing-PT-020 @ 3570 seconds
vrfy: finished
info: timeLeft: -24
rslt: Output for GlobalProperties @ TokenRing-PT-020

{
"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 20 21:35:44 2019
",
"timelimit": 3570
},
"child": null,
"exit":
{
"error": null,
"memory": 596828,
"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": 33684,
"conflict_clusters": 1,
"places": 441,
"places_significant": 420,
"singleton_clusters": 0,
"transitions": 8421
},
"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": 1.000000,
"composed": 0,
"dead_branches": 0,
"generators": 0,
"interrupted": false,
"real_computed": 0,
"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: 8862/268435456 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 14112
lola: finding significant places
lola: 441 places, 8421 transitions, 420 significant places
lola: compute conflict clusters
lola: computed conflict clusters
lola: Computing conflicting sets
lola: Computing back conflicting sets
lola: TASK
lola: Reading formula in XML format (--xmlformula)
lola: reading pnml
lola: reading formula from GlobalProperties.xml
lola: E (F (DEADLOCK))
lola: checking reachability
lola: Planning: workflow for reachability check: findpath||search (--findpath=par)
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: processed formula: E (F (DEADLOCK))
lola: processed formula length: 16
lola: 1 rewrites
lola: closed formula file GlobalProperties.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: SEARCH (findpath)
lola: findpath: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: findpath: starting randomized, memory-less exploration (--findpath)
lola: findpath: searching for paths with maximal depth 1000000 (--depthlimit)
lola: computing symmetries (--symmetry)
lola: findpath: no retry limit given (--retrylimit)
lola: findpath: transitions are chosen hash-driven
lola: time limit for symmetry computation of 300 seconds given (--symmtimelimit)
lola: computed 0 generators (0 in search tree, 0 by composition)
lola: representing 1 symmetries
lola: 0 dead branches visited in search tree
lola: 1 tries, 7434 fired transitions, 0 secs || 7116 markings, 21418 edges, 1423 markings/sec, 0 secs
lola: 1 tries, 14856 fired transitions, 5 secs || 14183 markings, 45788 edges, 1413 markings/sec, 5 secs
lola: 1 tries, 22256 fired transitions, 10 secs || 21219 markings, 71488 edges, 1407 markings/sec, 10 secs
lola: 1 tries, 29654 fired transitions, 15 secs || 28172 markings, 104014 edges, 1391 markings/sec, 15 secs
lola: 1 tries, 36987 fired transitions, 20 secs || 35084 markings, 135808 edges, 1382 markings/sec, 20 secs
lola: 1 tries, 44284 fired transitions, 25 secs || 42126 markings, 162249 edges, 1408 markings/sec, 25 secs
lola: 1 tries, 51478 fired transitions, 30 secs || 49347 markings, 188295 edges, 1444 markings/sec, 30 secs
lola: 1 tries, 58672 fired transitions, 35 secs || 56540 markings, 217933 edges, 1439 markings/sec, 35 secs
lola: 1 tries, 65786 fired transitions, 40 secs || 63625 markings, 251599 edges, 1417 markings/sec, 40 secs
lola: 1 tries, 72990 fired transitions, 45 secs || 70895 markings, 278656 edges, 1454 markings/sec, 45 secs
lola: 1 tries, 80109 fired transitions, 50 secs || 78080 markings, 309160 edges, 1437 markings/sec, 50 secs
lola: 1 tries, 87247 fired transitions, 55 secs || 85205 markings, 342394 edges, 1425 markings/sec, 55 secs
lola: 1 tries, 94387 fired transitions, 60 secs || 92423 markings, 373109 edges, 1444 markings/sec, 60 secs
lola: 1 tries, 101546 fired transitions, 65 secs || 99602 markings, 404103 edges, 1436 markings/sec, 65 secs
lola: 1 tries, 108667 fired transitions, 70 secs || 106734 markings, 437627 edges, 1426 markings/sec, 70 secs
lola: 1 tries, 115718 fired transitions, 75 secs || 113878 markings, 471011 edges, 1429 markings/sec, 75 secs
lola: 1 tries, 122868 fired transitions, 80 secs || 121035 markings, 504520 edges, 1431 markings/sec, 80 secs
lola: 1 tries, 129921 fired transitions, 85 secs || 128209 markings, 538409 edges, 1435 markings/sec, 85 secs
lola: 1 tries, 137041 fired transitions, 90 secs || 135283 markings, 579051 edges, 1415 markings/sec, 90 secs
lola: 1 tries, 144155 fired transitions, 95 secs || 142352 markings, 619596 edges, 1414 markings/sec, 95 secs
lola: 1 tries, 151223 fired transitions, 100 secs || 149359 markings, 659436 edges, 1401 markings/sec, 100 secs
lola: 1 tries, 158225 fired transitions, 105 secs || 156344 markings, 698916 edges, 1397 markings/sec, 105 secs
lola: 1 tries, 165248 fired transitions, 110 secs || 163328 markings, 738806 edges, 1397 markings/sec, 110 secs
lola: 1 tries, 172400 fired transitions, 115 secs || 170450 markings, 766247 edges, 1424 markings/sec, 115 secs
lola: 1 tries, 179580 fired transitions, 120 secs || 177624 markings, 792536 edges, 1435 markings/sec, 120 secs
lola: 1 tries, 186744 fired transitions, 125 secs || 184747 markings, 826514 edges, 1425 markings/sec, 125 secs
lola: 1 tries, 193801 fired transitions, 130 secs || 191861 markings, 858791 edges, 1423 markings/sec, 130 secs
lola: 1 tries, 200913 fired transitions, 135 secs || 199011 markings, 885122 edges, 1430 markings/sec, 135 secs
lola: 1 tries, 208076 fired transitions, 140 secs || 206136 markings, 917619 edges, 1425 markings/sec, 140 secs
lola: 1 tries, 215114 fired transitions, 145 secs || 213179 markings, 950606 edges, 1409 markings/sec, 145 secs
lola: 1 tries, 222269 fired transitions, 150 secs || 220279 markings, 980011 edges, 1420 markings/sec, 150 secs
lola: 1 tries, 229343 fired transitions, 155 secs || 227371 markings, 1013979 edges, 1418 markings/sec, 155 secs
lola: 1 tries, 236425 fired transitions, 160 secs || 234479 markings, 1046130 edges, 1422 markings/sec, 160 secs
lola: 1 tries, 243605 fired transitions, 165 secs || 241626 markings, 1079664 edges, 1429 markings/sec, 165 secs
lola: 1 tries, 250708 fired transitions, 170 secs || 248714 markings, 1118310 edges, 1418 markings/sec, 170 secs
lola: 1 tries, 257840 fired transitions, 175 secs || 255756 markings, 1159123 edges, 1408 markings/sec, 175 secs
lola: 1 tries, 264974 fired transitions, 180 secs || 262746 markings, 1199046 edges, 1398 markings/sec, 180 secs
lola: 1 tries, 271978 fired transitions, 185 secs || 269724 markings, 1238555 edges, 1396 markings/sec, 185 secs
lola: 1 tries, 279054 fired transitions, 190 secs || 276719 markings, 1276801 edges, 1399 markings/sec, 190 secs
lola: 1 tries, 286142 fired transitions, 195 secs || 283739 markings, 1313407 edges, 1404 markings/sec, 195 secs
lola: 1 tries, 293262 fired transitions, 200 secs || 290788 markings, 1342196 edges, 1410 markings/sec, 200 secs
lola: 1 tries, 300419 fired transitions, 205 secs || 297877 markings, 1373546 edges, 1418 markings/sec, 205 secs
lola: 1 tries, 307512 fired transitions, 210 secs || 304939 markings, 1406153 edges, 1412 markings/sec, 210 secs
lola: 1 tries, 314660 fired transitions, 215 secs || 312026 markings, 1438501 edges, 1417 markings/sec, 215 secs
lola: 1 tries, 321737 fired transitions, 220 secs || 319060 markings, 1471366 edges, 1407 markings/sec, 220 secs
lola: 1 tries, 328887 fired transitions, 225 secs || 326128 markings, 1504524 edges, 1414 markings/sec, 225 secs
lola: 1 tries, 336014 fired transitions, 230 secs || 333167 markings, 1542677 edges, 1408 markings/sec, 230 secs
lola: 1 tries, 343137 fired transitions, 235 secs || 340176 markings, 1583331 edges, 1402 markings/sec, 235 secs
lola: 1 tries, 350217 fired transitions, 240 secs || 347187 markings, 1623513 edges, 1402 markings/sec, 240 secs
lola: 1 tries, 357273 fired transitions, 245 secs || 354176 markings, 1663497 edges, 1398 markings/sec, 245 secs
lola: 1 tries, 364346 fired transitions, 250 secs || 361208 markings, 1700367 edges, 1406 markings/sec, 250 secs
lola: 1 tries, 371410 fired transitions, 255 secs || 368236 markings, 1735880 edges, 1406 markings/sec, 255 secs
lola: 1 tries, 378486 fired transitions, 260 secs || 375281 markings, 1770725 edges, 1409 markings/sec, 260 secs
lola: 1 tries, 385636 fired transitions, 265 secs || 382361 markings, 1803166 edges, 1416 markings/sec, 265 secs
lola: 1 tries, 392737 fired transitions, 270 secs || 389411 markings, 1835494 edges, 1410 markings/sec, 270 secs
lola: 1 tries, 399816 fired transitions, 275 secs || 396466 markings, 1870143 edges, 1411 markings/sec, 275 secs
lola: 1 tries, 406908 fired transitions, 280 secs || 403467 markings, 1910075 edges, 1400 markings/sec, 280 secs
lola: 1 tries, 414026 fired transitions, 285 secs || 410501 markings, 1950919 edges, 1407 markings/sec, 285 secs
lola: 1 tries, 421096 fired transitions, 290 secs || 417517 markings, 1990692 edges, 1403 markings/sec, 290 secs
lola: 1 tries, 428126 fired transitions, 295 secs || 424512 markings, 2030524 edges, 1399 markings/sec, 295 secs
lola: 1 tries, 435219 fired transitions, 300 secs || 431542 markings, 2067024 edges, 1406 markings/sec, 300 secs
lola: 1 tries, 442380 fired transitions, 305 secs || 438660 markings, 2101663 edges, 1424 markings/sec, 305 secs
lola: 1 tries, 449483 fired transitions, 310 secs || 445717 markings, 2141652 edges, 1411 markings/sec, 310 secs
lola: 1 tries, 456603 fired transitions, 315 secs || 452803 markings, 2182750 edges, 1417 markings/sec, 315 secs
lola: 1 tries, 463860 fired transitions, 320 secs || 459762 markings, 2222269 edges, 1392 markings/sec, 320 secs
lola: 1 tries, 471186 fired transitions, 325 secs || 466856 markings, 2262726 edges, 1419 markings/sec, 325 secs
lola: 1 tries, 478654 fired transitions, 330 secs || 474059 markings, 2302884 edges, 1441 markings/sec, 330 secs
lola: 1 tries, 486110 fired transitions, 335 secs || 481283 markings, 2342991 edges, 1445 markings/sec, 335 secs
lola: 1 tries, 493364 fired transitions, 340 secs || 488459 markings, 2385418 edges, 1435 markings/sec, 340 secs
lola: 1 tries, 500559 fired transitions, 345 secs || 495652 markings, 2428343 edges, 1439 markings/sec, 345 secs
lola: 1 tries, 507868 fired transitions, 350 secs || 502488 markings, 2474496 edges, 1367 markings/sec, 350 secs
lola: 1 tries, 515290 fired transitions, 355 secs || 509425 markings, 2521743 edges, 1387 markings/sec, 355 secs
lola: 1 tries, 522593 fired transitions, 360 secs || 516384 markings, 2570373 edges, 1392 markings/sec, 360 secs
lola: 1 tries, 530096 fired transitions, 365 secs || 523246 markings, 2613845 edges, 1372 markings/sec, 365 secs
lola: 1 tries, 537560 fired transitions, 370 secs || 530287 markings, 2662874 edges, 1408 markings/sec, 370 secs
lola: 1 tries, 545189 fired transitions, 375 secs || 537244 markings, 2709003 edges, 1391 markings/sec, 375 secs
lola: 1 tries, 552647 fired transitions, 380 secs || 544350 markings, 2754941 edges, 1421 markings/sec, 380 secs
lola: 1 tries, 560047 fired transitions, 385 secs || 551382 markings, 2802633 edges, 1406 markings/sec, 385 secs
lola: 1 tries, 567297 fired transitions, 390 secs || 558563 markings, 2846093 edges, 1436 markings/sec, 390 secs
lola: 1 tries, 574706 fired transitions, 395 secs || 565922 markings, 2888198 edges, 1472 markings/sec, 395 secs
lola: 1 tries, 582083 fired transitions, 400 secs || 573228 markings, 2933670 edges, 1461 markings/sec, 400 secs
lola: 1 tries, 589558 fired transitions, 405 secs || 580412 markings, 2976404 edges, 1437 markings/sec, 405 secs
lola: 1 tries, 597136 fired transitions, 410 secs || 587691 markings, 3013932 edges, 1456 markings/sec, 410 secs
lola: 1 tries, 604766 fired transitions, 415 secs || 594997 markings, 3046221 edges, 1461 markings/sec, 415 secs
lola: 1 tries, 612217 fired transitions, 420 secs || 602239 markings, 3078275 edges, 1448 markings/sec, 420 secs
lola: 1 tries, 619443 fired transitions, 425 secs || 609667 markings, 3112329 edges, 1486 markings/sec, 425 secs
lola: 1 tries, 626965 fired transitions, 430 secs || 616905 markings, 3152859 edges, 1448 markings/sec, 430 secs
lola: 1 tries, 634290 fired transitions, 435 secs || 624257 markings, 3190671 edges, 1470 markings/sec, 435 secs
lola: 1 tries, 641595 fired transitions, 440 secs || 631664 markings, 3224061 edges, 1481 markings/sec, 440 secs
lola: 1 tries, 649264 fired transitions, 445 secs || 638809 markings, 3262585 edges, 1429 markings/sec, 445 secs
lola: 1 tries, 656769 fired transitions, 450 secs || 645952 markings, 3301596 edges, 1429 markings/sec, 450 secs
lola: 1 tries, 664072 fired transitions, 455 secs || 653332 markings, 3336270 edges, 1476 markings/sec, 455 secs
lola: 1 tries, 671453 fired transitions, 460 secs || 660660 markings, 3378120 edges, 1466 markings/sec, 460 secs
lola: 1 tries, 679073 fired transitions, 465 secs || 667909 markings, 3415227 edges, 1450 markings/sec, 465 secs
lola: 1 tries, 686557 fired transitions, 470 secs || 675242 markings, 3456814 edges, 1467 markings/sec, 470 secs
lola: 1 tries, 693997 fired transitions, 475 secs || 682404 markings, 3497014 edges, 1432 markings/sec, 475 secs
lola: 1 tries, 701363 fired transitions, 480 secs || 689714 markings, 3539964 edges, 1462 markings/sec, 480 secs
lola: 1 tries, 708767 fired transitions, 485 secs || 697003 markings, 3588932 edges, 1458 markings/sec, 485 secs
lola: 1 tries, 716335 fired transitions, 490 secs || 704236 markings, 3636299 edges, 1447 markings/sec, 490 secs
lola: 1 tries, 723739 fired transitions, 495 secs || 711427 markings, 3684484 edges, 1438 markings/sec, 495 secs
lola: 1 tries, 731164 fired transitions, 500 secs || 718760 markings, 3723521 edges, 1467 markings/sec, 500 secs
lola: 1 tries, 738702 fired transitions, 505 secs || 725966 markings, 3756967 edges, 1441 markings/sec, 505 secs
lola: 1 tries, 746177 fired transitions, 510 secs || 733327 markings, 3799408 edges, 1472 markings/sec, 510 secs
lola: 1 tries, 753599 fired transitions, 515 secs || 740702 markings, 3836684 edges, 1475 markings/sec, 515 secs
lola: 1 tries, 761073 fired transitions, 520 secs || 748020 markings, 3875260 edges, 1464 markings/sec, 520 secs
lola: 1 tries, 768317 fired transitions, 525 secs || 755302 markings, 3915159 edges, 1456 markings/sec, 525 secs
lola: 1 tries, 775704 fired transitions, 530 secs || 762555 markings, 3955125 edges, 1451 markings/sec, 530 secs
lola: 1 tries, 783367 fired transitions, 535 secs || 769644 markings, 3995398 edges, 1418 markings/sec, 535 secs
lola: 1 tries, 790838 fired transitions, 540 secs || 776949 markings, 4042473 edges, 1461 markings/sec, 540 secs
lola: 1 tries, 797995 fired transitions, 545 secs || 784320 markings, 4092726 edges, 1474 markings/sec, 545 secs
lola: 1 tries, 805258 fired transitions, 550 secs || 791653 markings, 4140399 edges, 1467 markings/sec, 550 secs
lola: 1 tries, 812332 fired transitions, 555 secs || 798932 markings, 4185702 edges, 1456 markings/sec, 555 secs
lola: 1 tries, 819446 fired transitions, 560 secs || 806237 markings, 4226352 edges, 1461 markings/sec, 560 secs
lola: 1 tries, 826670 fired transitions, 565 secs || 813632 markings, 4264512 edges, 1479 markings/sec, 565 secs
lola: 1 tries, 833874 fired transitions, 570 secs || 820990 markings, 4305983 edges, 1472 markings/sec, 570 secs
lola: 1 tries, 841074 fired transitions, 575 secs || 828353 markings, 4345862 edges, 1473 markings/sec, 575 secs
lola: 1 tries, 848281 fired transitions, 580 secs || 835681 markings, 4387454 edges, 1466 markings/sec, 580 secs
lola: 1 tries, 855447 fired transitions, 585 secs || 842993 markings, 4434993 edges, 1462 markings/sec, 585 secs
lola: 1 tries, 862587 fired transitions, 590 secs || 850264 markings, 4482898 edges, 1454 markings/sec, 590 secs
lola: 1 tries, 869742 fired transitions, 595 secs || 857503 markings, 4531259 edges, 1448 markings/sec, 595 secs
lola: 1 tries, 876969 fired transitions, 600 secs || 864787 markings, 4576714 edges, 1457 markings/sec, 600 secs
lola: 1 tries, 884136 fired transitions, 605 secs || 872117 markings, 4617491 edges, 1466 markings/sec, 605 secs
lola: 1 tries, 891300 fired transitions, 610 secs || 879427 markings, 4659300 edges, 1462 markings/sec, 610 secs
lola: 1 tries, 898621 fired transitions, 615 secs || 886772 markings, 4702224 edges, 1469 markings/sec, 615 secs
lola: 1 tries, 905919 fired transitions, 620 secs || 894093 markings, 4752541 edges, 1464 markings/sec, 620 secs
lola: 1 tries, 913117 fired transitions, 625 secs || 901330 markings, 4800394 edges, 1447 markings/sec, 625 secs
lola: 1 tries, 920394 fired transitions, 630 secs || 908548 markings, 4847649 edges, 1444 markings/sec, 630 secs
lola: 1 tries, 927653 fired transitions, 635 secs || 915779 markings, 4889498 edges, 1446 markings/sec, 635 secs
lola: 1 tries, 934784 fired transitions, 640 secs || 922989 markings, 4938750 edges, 1442 markings/sec, 640 secs
lola: 1 tries, 942152 fired transitions, 645 secs || 930345 markings, 4987326 edges, 1471 markings/sec, 645 secs
lola: 1 tries, 949612 fired transitions, 650 secs || 937746 markings, 5035981 edges, 1480 markings/sec, 650 secs
lola: 1 tries, 957121 fired transitions, 655 secs || 945154 markings, 5081382 edges, 1482 markings/sec, 655 secs
lola: 1 tries, 964623 fired transitions, 660 secs || 952546 markings, 5132708 edges, 1478 markings/sec, 660 secs
lola: 1 tries, 972124 fired transitions, 665 secs || 959914 markings, 5183790 edges, 1474 markings/sec, 665 secs
lola: 1 tries, 979534 fired transitions, 670 secs || 967173 markings, 5236145 edges, 1452 markings/sec, 670 secs
lola: 1 tries, 986940 fired transitions, 675 secs || 974391 markings, 5293881 edges, 1444 markings/sec, 675 secs
lola: 1 tries, 994331 fired transitions, 680 secs || 981577 markings, 5350827 edges, 1437 markings/sec, 680 secs
lola: 2 tries, 1001721 fired transitions, 685 secs || 988829 markings, 5404454 edges, 1450 markings/sec, 685 secs
lola: 2 tries, 1009099 fired transitions, 690 secs || 996028 markings, 5461555 edges, 1440 markings/sec, 690 secs
lola: 2 tries, 1016486 fired transitions, 695 secs || 1003310 markings, 5512417 edges, 1456 markings/sec, 695 secs
lola: 2 tries, 1023903 fired transitions, 700 secs || 1010547 markings, 5563806 edges, 1447 markings/sec, 700 secs
lola: 2 tries, 1031381 fired transitions, 705 secs || 1017971 markings, 5608622 edges, 1485 markings/sec, 705 secs
lola: 2 tries, 1038988 fired transitions, 710 secs || 1025514 markings, 5641850 edges, 1509 markings/sec, 710 secs
lola: 2 tries, 1046570 fired transitions, 715 secs || 1033021 markings, 5676928 edges, 1501 markings/sec, 715 secs
lola: 2 tries, 1054089 fired transitions, 720 secs || 1040461 markings, 5718860 edges, 1488 markings/sec, 720 secs
lola: 2 tries, 1061678 fired transitions, 725 secs || 1047977 markings, 5753739 edges, 1503 markings/sec, 725 secs
lola: 2 tries, 1069238 fired transitions, 730 secs || 1055450 markings, 5794204 edges, 1495 markings/sec, 730 secs
lola: 2 tries, 1076725 fired transitions, 735 secs || 1062926 markings, 5831788 edges, 1495 markings/sec, 735 secs
lola: 2 tries, 1084276 fired transitions, 740 secs || 1070362 markings, 5873173 edges, 1487 markings/sec, 740 secs
lola: 2 tries, 1091859 fired transitions, 745 secs || 1077838 markings, 5914363 edges, 1495 markings/sec, 745 secs
lola: 2 tries, 1099423 fired transitions, 750 secs || 1085303 markings, 5956520 edges, 1493 markings/sec, 750 secs
lola: 2 tries, 1106953 fired transitions, 755 secs || 1092699 markings, 6006115 edges, 1479 markings/sec, 755 secs
lola: 2 tries, 1114496 fired transitions, 760 secs || 1100045 markings, 6054144 edges, 1469 markings/sec, 760 secs
lola: 2 tries, 1122023 fired transitions, 765 secs || 1107483 markings, 6096642 edges, 1488 markings/sec, 765 secs
lola: 2 tries, 1129639 fired transitions, 770 secs || 1114987 markings, 6131789 edges, 1501 markings/sec, 770 secs
lola: 2 tries, 1137162 fired transitions, 775 secs || 1122424 markings, 6173158 edges, 1487 markings/sec, 775 secs
lola: 2 tries, 1144790 fired transitions, 780 secs || 1129949 markings, 6210845 edges, 1505 markings/sec, 780 secs
lola: 2 tries, 1152349 fired transitions, 785 secs || 1137421 markings, 6252124 edges, 1494 markings/sec, 785 secs
lola: 2 tries, 1159923 fired transitions, 790 secs || 1144829 markings, 6293642 edges, 1482 markings/sec, 790 secs
lola: 2 tries, 1167501 fired transitions, 795 secs || 1152293 markings, 6337239 edges, 1493 markings/sec, 795 secs
lola: 2 tries, 1175006 fired transitions, 800 secs || 1159656 markings, 6386709 edges, 1473 markings/sec, 800 secs
lola: 2 tries, 1182507 fired transitions, 805 secs || 1167036 markings, 6434856 edges, 1476 markings/sec, 805 secs
lola: 2 tries, 1190104 fired transitions, 810 secs || 1174546 markings, 6472344 edges, 1502 markings/sec, 810 secs
lola: 2 tries, 1197658 fired transitions, 815 secs || 1182006 markings, 6514268 edges, 1492 markings/sec, 815 secs
lola: 2 tries, 1205240 fired transitions, 820 secs || 1189495 markings, 6555544 edges, 1498 markings/sec, 820 secs
lola: 2 tries, 1212721 fired transitions, 825 secs || 1196855 markings, 6598961 edges, 1472 markings/sec, 825 secs
lola: 2 tries, 1219997 fired transitions, 830 secs || 1203994 markings, 6646797 edges, 1428 markings/sec, 830 secs
lola: 2 tries, 1227266 fired transitions, 835 secs || 1211166 markings, 6692344 edges, 1434 markings/sec, 835 secs
lola: 2 tries, 1234499 fired transitions, 840 secs || 1218302 markings, 6735513 edges, 1427 markings/sec, 840 secs
lola: 2 tries, 1241741 fired transitions, 845 secs || 1225429 markings, 6775052 edges, 1425 markings/sec, 845 secs
lola: 2 tries, 1249091 fired transitions, 850 secs || 1232641 markings, 6815475 edges, 1442 markings/sec, 850 secs
lola: 2 tries, 1256387 fired transitions, 855 secs || 1239839 markings, 6863540 edges, 1440 markings/sec, 855 secs
lola: 2 tries, 1263759 fired transitions, 860 secs || 1247066 markings, 6910798 edges, 1445 markings/sec, 860 secs
lola: 2 tries, 1271090 fired transitions, 865 secs || 1254262 markings, 6955834 edges, 1439 markings/sec, 865 secs
lola: 2 tries, 1278446 fired transitions, 870 secs || 1261487 markings, 7000311 edges, 1445 markings/sec, 870 secs
lola: 2 tries, 1285797 fired transitions, 875 secs || 1268681 markings, 7048112 edges, 1439 markings/sec, 875 secs
lola: 2 tries, 1293107 fired transitions, 880 secs || 1275875 markings, 7094875 edges, 1439 markings/sec, 880 secs
lola: 2 tries, 1300381 fired transitions, 885 secs || 1283039 markings, 7143099 edges, 1433 markings/sec, 885 secs
lola: 2 tries, 1307881 fired transitions, 890 secs || 1290334 markings, 7193890 edges, 1459 markings/sec, 890 secs
lola: 2 tries, 1315322 fired transitions, 895 secs || 1297540 markings, 7251515 edges, 1441 markings/sec, 895 secs
lola: 2 tries, 1322492 fired transitions, 900 secs || 1304623 markings, 7304847 edges, 1417 markings/sec, 900 secs
lola: 2 tries, 1329502 fired transitions, 905 secs || 1311613 markings, 7357161 edges, 1398 markings/sec, 905 secs
lola: 2 tries, 1337024 fired transitions, 910 secs || 1318750 markings, 7407315 edges, 1427 markings/sec, 910 secs
lola: 2 tries, 1344610 fired transitions, 915 secs || 1326039 markings, 7447877 edges, 1458 markings/sec, 915 secs
lola: 2 tries, 1352260 fired transitions, 920 secs || 1333431 markings, 7482220 edges, 1478 markings/sec, 920 secs
lola: 2 tries, 1359878 fired transitions, 925 secs || 1340750 markings, 7520581 edges, 1464 markings/sec, 925 secs
lola: 2 tries, 1367501 fired transitions, 930 secs || 1348130 markings, 7556215 edges, 1476 markings/sec, 930 secs
lola: 2 tries, 1375114 fired transitions, 935 secs || 1355468 markings, 7594274 edges, 1468 markings/sec, 935 secs
lola: 2 tries, 1382282 fired transitions, 940 secs || 1362658 markings, 7633000 edges, 1438 markings/sec, 940 secs
lola: 2 tries, 1389387 fired transitions, 945 secs || 1369753 markings, 7673619 edges, 1419 markings/sec, 945 secs
lola: 2 tries, 1396413 fired transitions, 950 secs || 1376662 markings, 7719943 edges, 1382 markings/sec, 950 secs
lola: 2 tries, 1403372 fired transitions, 955 secs || 1383586 markings, 7761942 edges, 1385 markings/sec, 955 secs
lola: 2 tries, 1410379 fired transitions, 960 secs || 1390615 markings, 7794287 edges, 1406 markings/sec, 960 secs
lola: 2 tries, 1417396 fired transitions, 965 secs || 1397617 markings, 7832384 edges, 1400 markings/sec, 965 secs
lola: 2 tries, 1424511 fired transitions, 970 secs || 1404602 markings, 7868300 edges, 1397 markings/sec, 970 secs
lola: 2 tries, 1431603 fired transitions, 975 secs || 1411536 markings, 7905996 edges, 1387 markings/sec, 975 secs
lola: 2 tries, 1438693 fired transitions, 980 secs || 1418494 markings, 7946991 edges, 1392 markings/sec, 980 secs
lola: 2 tries, 1445818 fired transitions, 985 secs || 1425447 markings, 7992607 edges, 1391 markings/sec, 985 secs
lola: 2 tries, 1453397 fired transitions, 990 secs || 1432658 markings, 8031209 edges, 1442 markings/sec, 990 secs
lola: 2 tries, 1460908 fired transitions, 995 secs || 1439867 markings, 8070565 edges, 1442 markings/sec, 995 secs
lola: 2 tries, 1468325 fired transitions, 1000 secs || 1447021 markings, 8110161 edges, 1431 markings/sec, 1000 secs
lola: 2 tries, 1475835 fired transitions, 1005 secs || 1454224 markings, 8155660 edges, 1441 markings/sec, 1005 secs
lola: 2 tries, 1483321 fired transitions, 1010 secs || 1461396 markings, 8201809 edges, 1434 markings/sec, 1010 secs
lola: 2 tries, 1490882 fired transitions, 1015 secs || 1468588 markings, 8242148 edges, 1438 markings/sec, 1015 secs
lola: 2 tries, 1498364 fired transitions, 1020 secs || 1475898 markings, 8283482 edges, 1462 markings/sec, 1020 secs
lola: 2 tries, 1505935 fired transitions, 1025 secs || 1483023 markings, 8330697 edges, 1425 markings/sec, 1025 secs
lola: 2 tries, 1513397 fired transitions, 1030 secs || 1490164 markings, 8375867 edges, 1428 markings/sec, 1030 secs
lola: 2 tries, 1520962 fired transitions, 1035 secs || 1497284 markings, 8422705 edges, 1424 markings/sec, 1035 secs
lola: 2 tries, 1528387 fired transitions, 1040 secs || 1504520 markings, 8468698 edges, 1447 markings/sec, 1040 secs
lola: 2 tries, 1535861 fired transitions, 1045 secs || 1511832 markings, 8518108 edges, 1462 markings/sec, 1045 secs
lola: 2 tries, 1543299 fired transitions, 1050 secs || 1519079 markings, 8573979 edges, 1449 markings/sec, 1050 secs
lola: 2 tries, 1550734 fired transitions, 1055 secs || 1526247 markings, 8627611 edges, 1434 markings/sec, 1055 secs
lola: 2 tries, 1558171 fired transitions, 1060 secs || 1533520 markings, 8676981 edges, 1455 markings/sec, 1060 secs
lola: 2 tries, 1565683 fired transitions, 1065 secs || 1541055 markings, 8709090 edges, 1507 markings/sec, 1065 secs
lola: 2 tries, 1573207 fired transitions, 1070 secs || 1548443 markings, 8747077 edges, 1478 markings/sec, 1070 secs
lola: 2 tries, 1580739 fired transitions, 1075 secs || 1555892 markings, 8785128 edges, 1490 markings/sec, 1075 secs
lola: 2 tries, 1588344 fired transitions, 1080 secs || 1563490 markings, 8824387 edges, 1520 markings/sec, 1080 secs
lola: 2 tries, 1596009 fired transitions, 1085 secs || 1571055 markings, 8865778 edges, 1513 markings/sec, 1085 secs
lola: 2 tries, 1603588 fired transitions, 1090 secs || 1578581 markings, 8914207 edges, 1505 markings/sec, 1090 secs
lola: 2 tries, 1611120 fired transitions, 1095 secs || 1586091 markings, 8952380 edges, 1502 markings/sec, 1095 secs
lola: 2 tries, 1618569 fired transitions, 1100 secs || 1593547 markings, 8991271 edges, 1491 markings/sec, 1100 secs
lola: 2 tries, 1626056 fired transitions, 1105 secs || 1600977 markings, 9031966 edges, 1486 markings/sec, 1105 secs
lola: 2 tries, 1633507 fired transitions, 1110 secs || 1608367 markings, 9079507 edges, 1478 markings/sec, 1110 secs
lola: 2 tries, 1640963 fired transitions, 1115 secs || 1615804 markings, 9120447 edges, 1487 markings/sec, 1115 secs
lola: 2 tries, 1648204 fired transitions, 1120 secs || 1623231 markings, 9161242 edges, 1485 markings/sec, 1120 secs
lola: 2 tries, 1655684 fired transitions, 1125 secs || 1630587 markings, 9208609 edges, 1471 markings/sec, 1125 secs
lola: 2 tries, 1663184 fired transitions, 1130 secs || 1637916 markings, 9250531 edges, 1466 markings/sec, 1130 secs
lola: 2 tries, 1670670 fired transitions, 1135 secs || 1645281 markings, 9297787 edges, 1473 markings/sec, 1135 secs
lola: 2 tries, 1678151 fired transitions, 1140 secs || 1652631 markings, 9344261 edges, 1470 markings/sec, 1140 secs
lola: 2 tries, 1685683 fired transitions, 1145 secs || 1659880 markings, 9393319 edges, 1450 markings/sec, 1145 secs
lola: 2 tries, 1693110 fired transitions, 1150 secs || 1667148 markings, 9448662 edges, 1454 markings/sec, 1150 secs
lola: 2 tries, 1700457 fired transitions, 1155 secs || 1674484 markings, 9496153 edges, 1467 markings/sec, 1155 secs
lola: 2 tries, 1707680 fired transitions, 1160 secs || 1681955 markings, 9527954 edges, 1494 markings/sec, 1160 secs
lola: 2 tries, 1715002 fired transitions, 1165 secs || 1689463 markings, 9555524 edges, 1502 markings/sec, 1165 secs
lola: 2 tries, 1722208 fired transitions, 1170 secs || 1696897 markings, 9590484 edges, 1487 markings/sec, 1170 secs
lola: 2 tries, 1729337 fired transitions, 1175 secs || 1704333 markings, 9624614 edges, 1487 markings/sec, 1175 secs
lola: 2 tries, 1736881 fired transitions, 1180 secs || 1711825 markings, 9653671 edges, 1498 markings/sec, 1180 secs
lola: 2 tries, 1744229 fired transitions, 1185 secs || 1719248 markings, 9686514 edges, 1485 markings/sec, 1185 secs
lola: 2 tries, 1751513 fired transitions, 1190 secs || 1726663 markings, 9721338 edges, 1483 markings/sec, 1190 secs
lola: 2 tries, 1759057 fired transitions, 1195 secs || 1734021 markings, 9753451 edges, 1472 markings/sec, 1195 secs
lola: 2 tries, 1766588 fired transitions, 1200 secs || 1741386 markings, 9788465 edges, 1473 markings/sec, 1200 secs
lola: 2 tries, 1774124 fired transitions, 1205 secs || 1748787 markings, 9821635 edges, 1480 markings/sec, 1205 secs
lola: 2 tries, 1781670 fired transitions, 1210 secs || 1756207 markings, 9858072 edges, 1484 markings/sec, 1210 secs
lola: 2 tries, 1789166 fired transitions, 1215 secs || 1763466 markings, 9901062 edges, 1452 markings/sec, 1215 secs
lola: 2 tries, 1796369 fired transitions, 1220 secs || 1770857 markings, 9943600 edges, 1478 markings/sec, 1220 secs
lola: 2 tries, 1803565 fired transitions, 1225 secs || 1778159 markings, 9984233 edges, 1460 markings/sec, 1225 secs
lola: 2 tries, 1810652 fired transitions, 1230 secs || 1785520 markings, 10024762 edges, 1472 markings/sec, 1230 secs
lola: 2 tries, 1817756 fired transitions, 1235 secs || 1792868 markings, 10064872 edges, 1470 markings/sec, 1235 secs
lola: 2 tries, 1824822 fired transitions, 1240 secs || 1800357 markings, 10099243 edges, 1498 markings/sec, 1240 secs
lola: 2 tries, 1831991 fired transitions, 1245 secs || 1807846 markings, 10128996 edges, 1498 markings/sec, 1245 secs
lola: 2 tries, 1839372 fired transitions, 1250 secs || 1815279 markings, 10164727 edges, 1487 markings/sec, 1250 secs
lola: 2 tries, 1846887 fired transitions, 1255 secs || 1822659 markings, 10197282 edges, 1476 markings/sec, 1255 secs
lola: 2 tries, 1854400 fired transitions, 1260 secs || 1830069 markings, 10232699 edges, 1482 markings/sec, 1260 secs
lola: 2 tries, 1861907 fired transitions, 1265 secs || 1837347 markings, 10267153 edges, 1456 markings/sec, 1265 secs
lola: 2 tries, 1869430 fired transitions, 1270 secs || 1844668 markings, 10303934 edges, 1464 markings/sec, 1270 secs
lola: 2 tries, 1876882 fired transitions, 1275 secs || 1852017 markings, 10347747 edges, 1470 markings/sec, 1275 secs
lola: 2 tries, 1884340 fired transitions, 1280 secs || 1859352 markings, 10388925 edges, 1467 markings/sec, 1280 secs
lola: 2 tries, 1891778 fired transitions, 1285 secs || 1866551 markings, 10430230 edges, 1440 markings/sec, 1285 secs
lola: 2 tries, 1899210 fired transitions, 1290 secs || 1873912 markings, 10471228 edges, 1472 markings/sec, 1290 secs
lola: 2 tries, 1906451 fired transitions, 1295 secs || 1881323 markings, 10509675 edges, 1482 markings/sec, 1295 secs
lola: 2 tries, 1913961 fired transitions, 1300 secs || 1888814 markings, 10544100 edges, 1498 markings/sec, 1300 secs
lola: 2 tries, 1921505 fired transitions, 1305 secs || 1896259 markings, 10579793 edges, 1489 markings/sec, 1305 secs
lola: 2 tries, 1929049 fired transitions, 1310 secs || 1903734 markings, 10615031 edges, 1495 markings/sec, 1310 secs
lola: 2 tries, 1936602 fired transitions, 1315 secs || 1911186 markings, 10654878 edges, 1490 markings/sec, 1315 secs
lola: 2 tries, 1944096 fired transitions, 1320 secs || 1918599 markings, 10696873 edges, 1483 markings/sec, 1320 secs
lola: 2 tries, 1951569 fired transitions, 1325 secs || 1925949 markings, 10738446 edges, 1470 markings/sec, 1325 secs
lola: 2 tries, 1958973 fired transitions, 1330 secs || 1933253 markings, 10780467 edges, 1461 markings/sec, 1330 secs
lola: 2 tries, 1966248 fired transitions, 1335 secs || 1940633 markings, 10821154 edges, 1476 markings/sec, 1335 secs
lola: 2 tries, 1973406 fired transitions, 1340 secs || 1948072 markings, 10857660 edges, 1488 markings/sec, 1340 secs
lola: 2 tries, 1980894 fired transitions, 1345 secs || 1955364 markings, 10896797 edges, 1458 markings/sec, 1345 secs
lola: 2 tries, 1988355 fired transitions, 1350 secs || 1962718 markings, 10939558 edges, 1471 markings/sec, 1350 secs
lola: 2 tries, 1995944 fired transitions, 1355 secs || 1970147 markings, 10982288 edges, 1486 markings/sec, 1355 secs
lola: 3 tries, 2003454 fired transitions, 1360 secs || 1977584 markings, 11024626 edges, 1487 markings/sec, 1360 secs
lola: 3 tries, 2010875 fired transitions, 1365 secs || 1984963 markings, 11065088 edges, 1476 markings/sec, 1365 secs
lola: 3 tries, 2018134 fired transitions, 1370 secs || 1992308 markings, 11105166 edges, 1469 markings/sec, 1370 secs
lola: 3 tries, 2025298 fired transitions, 1375 secs || 1999652 markings, 11147839 edges, 1469 markings/sec, 1375 secs
lola: 3 tries, 2032428 fired transitions, 1380 secs || 2007028 markings, 11191533 edges, 1475 markings/sec, 1380 secs
lola: 3 tries, 2039594 fired transitions, 1385 secs || 2014422 markings, 11235798 edges, 1479 markings/sec, 1385 secs
lola: 3 tries, 2046917 fired transitions, 1390 secs || 2021518 markings, 11284360 edges, 1419 markings/sec, 1390 secs
lola: 3 tries, 2054183 fired transitions, 1395 secs || 2028562 markings, 11333663 edges, 1409 markings/sec, 1395 secs
lola: 3 tries, 2061632 fired transitions, 1400 secs || 2035797 markings, 11383316 edges, 1447 markings/sec, 1400 secs
lola: 3 tries, 2069248 fired transitions, 1405 secs || 2042811 markings, 11428947 edges, 1403 markings/sec, 1405 secs
lola: 3 tries, 2076868 fired transitions, 1410 secs || 2049858 markings, 11476932 edges, 1409 markings/sec, 1410 secs
lola: 3 tries, 2084404 fired transitions, 1415 secs || 2056936 markings, 11522267 edges, 1416 markings/sec, 1415 secs
lola: 3 tries, 2091948 fired transitions, 1420 secs || 2063972 markings, 11570592 edges, 1407 markings/sec, 1420 secs
lola: 3 tries, 2099547 fired transitions, 1425 secs || 2071040 markings, 11618207 edges, 1414 markings/sec, 1425 secs
lola: 3 tries, 2107179 fired transitions, 1430 secs || 2078201 markings, 11657864 edges, 1432 markings/sec, 1430 secs
lola: 3 tries, 2114742 fired transitions, 1435 secs || 2085297 markings, 11702044 edges, 1419 markings/sec, 1435 secs
lola: 3 tries, 2122316 fired transitions, 1440 secs || 2092424 markings, 11746431 edges, 1425 markings/sec, 1440 secs
lola: 3 tries, 2129849 fired transitions, 1445 secs || 2099639 markings, 11783730 edges, 1443 markings/sec, 1445 secs
lola: 3 tries, 2137441 fired transitions, 1450 secs || 2106793 markings, 11815998 edges, 1431 markings/sec, 1450 secs
lola: 3 tries, 2144877 fired transitions, 1455 secs || 2113887 markings, 11854173 edges, 1419 markings/sec, 1455 secs
lola: 3 tries, 2152314 fired transitions, 1460 secs || 2121198 markings, 11894322 edges, 1462 markings/sec, 1460 secs
lola: 3 tries, 2160007 fired transitions, 1465 secs || 2128492 markings, 11928997 edges, 1459 markings/sec, 1465 secs
lola: 3 tries, 2167565 fired transitions, 1470 secs || 2135757 markings, 11970937 edges, 1453 markings/sec, 1470 secs
lola: 3 tries, 2175064 fired transitions, 1475 secs || 2142954 markings, 12009390 edges, 1439 markings/sec, 1475 secs
lola: 3 tries, 2182587 fired transitions, 1480 secs || 2150173 markings, 12049911 edges, 1444 markings/sec, 1480 secs
lola: 3 tries, 2190253 fired transitions, 1485 secs || 2157413 markings, 12094814 edges, 1448 markings/sec, 1485 secs
lola: 3 tries, 2197875 fired transitions, 1490 secs || 2164565 markings, 12143336 edges, 1430 markings/sec, 1490 secs
lola: 3 tries, 2205472 fired transitions, 1495 secs || 2171752 markings, 12190834 edges, 1437 markings/sec, 1495 secs
lola: 3 tries, 2213045 fired transitions, 1500 secs || 2178997 markings, 12236561 edges, 1449 markings/sec, 1500 secs
lola: 3 tries, 2220546 fired transitions, 1505 secs || 2186249 markings, 12279903 edges, 1450 markings/sec, 1505 secs
lola: 3 tries, 2228158 fired transitions, 1510 secs || 2193598 markings, 12316839 edges, 1470 markings/sec, 1510 secs
lola: 3 tries, 2235839 fired transitions, 1515 secs || 2200782 markings, 12356830 edges, 1437 markings/sec, 1515 secs
lola: 3 tries, 2243402 fired transitions, 1520 secs || 2208079 markings, 12395863 edges, 1459 markings/sec, 1520 secs
lola: 3 tries, 2251058 fired transitions, 1525 secs || 2215281 markings, 12436689 edges, 1440 markings/sec, 1525 secs
lola: 3 tries, 2258719 fired transitions, 1530 secs || 2222546 markings, 12480028 edges, 1453 markings/sec, 1530 secs
lola: 3 tries, 2266320 fired transitions, 1535 secs || 2229736 markings, 12529836 edges, 1438 markings/sec, 1535 secs
lola: 3 tries, 2273865 fired transitions, 1540 secs || 2236993 markings, 12576257 edges, 1451 markings/sec, 1540 secs
lola: 3 tries, 2281351 fired transitions, 1545 secs || 2244249 markings, 12623856 edges, 1451 markings/sec, 1545 secs
lola: 3 tries, 2288966 fired transitions, 1550 secs || 2251558 markings, 12664486 edges, 1462 markings/sec, 1550 secs
lola: 3 tries, 2296591 fired transitions, 1555 secs || 2258794 markings, 12705422 edges, 1447 markings/sec, 1555 secs
lola: 3 tries, 2304232 fired transitions, 1560 secs || 2266053 markings, 12747017 edges, 1452 markings/sec, 1560 secs
lola: 3 tries, 2311857 fired transitions, 1565 secs || 2273209 markings, 12794766 edges, 1431 markings/sec, 1565 secs
lola: 3 tries, 2319423 fired transitions, 1570 secs || 2280431 markings, 12843554 edges, 1444 markings/sec, 1570 secs
lola: 3 tries, 2327025 fired transitions, 1575 secs || 2287644 markings, 12890324 edges, 1443 markings/sec, 1575 secs
lola: 3 tries, 2334461 fired transitions, 1580 secs || 2294948 markings, 12935097 edges, 1461 markings/sec, 1580 secs
lola: 3 tries, 2342112 fired transitions, 1585 secs || 2302172 markings, 12977299 edges, 1445 markings/sec, 1585 secs
lola: 3 tries, 2349469 fired transitions, 1590 secs || 2309212 markings, 13025826 edges, 1408 markings/sec, 1590 secs
lola: 3 tries, 2356844 fired transitions, 1595 secs || 2316167 markings, 13071753 edges, 1391 markings/sec, 1595 secs
lola: 3 tries, 2364104 fired transitions, 1600 secs || 2323216 markings, 13117695 edges, 1410 markings/sec, 1600 secs
lola: 3 tries, 2371431 fired transitions, 1605 secs || 2330432 markings, 13162909 edges, 1443 markings/sec, 1605 secs
lola: 3 tries, 2378794 fired transitions, 1610 secs || 2337638 markings, 13210873 edges, 1441 markings/sec, 1610 secs
lola: 3 tries, 2386352 fired transitions, 1615 secs || 2344773 markings, 13259421 edges, 1427 markings/sec, 1615 secs
lola: 3 tries, 2393850 fired transitions, 1620 secs || 2351872 markings, 13309146 edges, 1420 markings/sec, 1620 secs
lola: 3 tries, 2401394 fired transitions, 1625 secs || 2358938 markings, 13364867 edges, 1413 markings/sec, 1625 secs
lola: 3 tries, 2408923 fired transitions, 1630 secs || 2366029 markings, 13421155 edges, 1418 markings/sec, 1630 secs
lola: 3 tries, 2416434 fired transitions, 1635 secs || 2373159 markings, 13476391 edges, 1426 markings/sec, 1635 secs
lola: 3 tries, 2423844 fired transitions, 1640 secs || 2380243 markings, 13528756 edges, 1417 markings/sec, 1640 secs
lola: 3 tries, 2431362 fired transitions, 1645 secs || 2387381 markings, 13582955 edges, 1428 markings/sec, 1645 secs
lola: 3 tries, 2438927 fired transitions, 1650 secs || 2394571 markings, 13635648 edges, 1438 markings/sec, 1650 secs
lola: 3 tries, 2446594 fired transitions, 1655 secs || 2401915 markings, 13677805 edges, 1469 markings/sec, 1655 secs
lola: 3 tries, 2454286 fired transitions, 1660 secs || 2409257 markings, 13715856 edges, 1468 markings/sec, 1660 secs
lola: 3 tries, 2461875 fired transitions, 1665 secs || 2416520 markings, 13754150 edges, 1453 markings/sec, 1665 secs
lola: 3 tries, 2469477 fired transitions, 1670 secs || 2423772 markings, 13792561 edges, 1450 markings/sec, 1670 secs
lola: 3 tries, 2477070 fired transitions, 1675 secs || 2431011 markings, 13832052 edges, 1448 markings/sec, 1675 secs
lola: 3 tries, 2484664 fired transitions, 1680 secs || 2438230 markings, 13873187 edges, 1444 markings/sec, 1680 secs
lola: 3 tries, 2492246 fired transitions, 1685 secs || 2445402 markings, 13920784 edges, 1434 markings/sec, 1685 secs
lola: 3 tries, 2499807 fired transitions, 1690 secs || 2452560 markings, 13967816 edges, 1432 markings/sec, 1690 secs
lola: 3 tries, 2507359 fired transitions, 1695 secs || 2459736 markings, 14012346 edges, 1435 markings/sec, 1695 secs
lola: 3 tries, 2514934 fired transitions, 1700 secs || 2466995 markings, 14049500 edges, 1452 markings/sec, 1700 secs
lola: 3 tries, 2522489 fired transitions, 1705 secs || 2474198 markings, 14090486 edges, 1441 markings/sec, 1705 secs
lola: 3 tries, 2530051 fired transitions, 1710 secs || 2481423 markings, 14130108 edges, 1445 markings/sec, 1710 secs
lola: 3 tries, 2537608 fired transitions, 1715 secs || 2488627 markings, 14173279 edges, 1441 markings/sec, 1715 secs
lola: 3 tries, 2545162 fired transitions, 1720 secs || 2495744 markings, 14221699 edges, 1423 markings/sec, 1720 secs
lola: 3 tries, 2552672 fired transitions, 1725 secs || 2502882 markings, 14267310 edges, 1428 markings/sec, 1725 secs
lola: 3 tries, 2560218 fired transitions, 1730 secs || 2510080 markings, 14308786 edges, 1440 markings/sec, 1730 secs
lola: 3 tries, 2567774 fired transitions, 1735 secs || 2517273 markings, 14349732 edges, 1439 markings/sec, 1735 secs
lola: 3 tries, 2575332 fired transitions, 1740 secs || 2524423 markings, 14395978 edges, 1430 markings/sec, 1740 secs
lola: 3 tries, 2582865 fired transitions, 1745 secs || 2531559 markings, 14443816 edges, 1427 markings/sec, 1745 secs
lola: 3 tries, 2590404 fired transitions, 1750 secs || 2538739 markings, 14487722 edges, 1436 markings/sec, 1750 secs
lola: 3 tries, 2597962 fired transitions, 1755 secs || 2545899 markings, 14533800 edges, 1432 markings/sec, 1755 secs
lola: 3 tries, 2605496 fired transitions, 1760 secs || 2553035 markings, 14581327 edges, 1427 markings/sec, 1760 secs
lola: 3 tries, 2613069 fired transitions, 1765 secs || 2560191 markings, 14628594 edges, 1431 markings/sec, 1765 secs
lola: 3 tries, 2620644 fired transitions, 1770 secs || 2567329 markings, 14678539 edges, 1428 markings/sec, 1770 secs
lola: 3 tries, 2628197 fired transitions, 1775 secs || 2574413 markings, 14733311 edges, 1417 markings/sec, 1775 secs
lola: 3 tries, 2635752 fired transitions, 1780 secs || 2581499 markings, 14788420 edges, 1417 markings/sec, 1780 secs
lola: 3 tries, 2643243 fired transitions, 1785 secs || 2588577 markings, 14842172 edges, 1416 markings/sec, 1785 secs
lola: 3 tries, 2650774 fired transitions, 1790 secs || 2595692 markings, 14893138 edges, 1423 markings/sec, 1790 secs
lola: 3 tries, 2658315 fired transitions, 1795 secs || 2602833 markings, 14939026 edges, 1428 markings/sec, 1795 secs
lola: 3 tries, 2665911 fired transitions, 1800 secs || 2610133 markings, 14976388 edges, 1460 markings/sec, 1800 secs
lola: 3 tries, 2673537 fired transitions, 1805 secs || 2617452 markings, 15016068 edges, 1464 markings/sec, 1805 secs
lola: 3 tries, 2681168 fired transitions, 1810 secs || 2624785 markings, 15054589 edges, 1467 markings/sec, 1810 secs
lola: 3 tries, 2688797 fired transitions, 1815 secs || 2632100 markings, 15094598 edges, 1463 markings/sec, 1815 secs
lola: 3 tries, 2696436 fired transitions, 1820 secs || 2639344 markings, 15141221 edges, 1449 markings/sec, 1820 secs
lola: 3 tries, 2704031 fired transitions, 1825 secs || 2646582 markings, 15187016 edges, 1448 markings/sec, 1825 secs
lola: 3 tries, 2711696 fired transitions, 1830 secs || 2653937 markings, 15226303 edges, 1471 markings/sec, 1830 secs
lola: 3 tries, 2719377 fired transitions, 1835 secs || 2661315 markings, 15266681 edges, 1476 markings/sec, 1835 secs
lola: 3 tries, 2727101 fired transitions, 1840 secs || 2668677 markings, 15311265 edges, 1472 markings/sec, 1840 secs
lola: 3 tries, 2734811 fired transitions, 1845 secs || 2676010 markings, 15359349 edges, 1467 markings/sec, 1845 secs
lola: 3 tries, 2742522 fired transitions, 1850 secs || 2683392 markings, 15401982 edges, 1476 markings/sec, 1850 secs
lola: 3 tries, 2750175 fired transitions, 1855 secs || 2690683 markings, 15446818 edges, 1458 markings/sec, 1855 secs
lola: 3 tries, 2757753 fired transitions, 1860 secs || 2697892 markings, 15493904 edges, 1442 markings/sec, 1860 secs
lola: 3 tries, 2765487 fired transitions, 1865 secs || 2705257 markings, 15539602 edges, 1473 markings/sec, 1865 secs
lola: 3 tries, 2773199 fired transitions, 1870 secs || 2712589 markings, 15588002 edges, 1466 markings/sec, 1870 secs
lola: 3 tries, 2780963 fired transitions, 1875 secs || 2719925 markings, 15640191 edges, 1467 markings/sec, 1875 secs
lola: 3 tries, 2788689 fired transitions, 1880 secs || 2727204 markings, 15695641 edges, 1456 markings/sec, 1880 secs
lola: 3 tries, 2796347 fired transitions, 1885 secs || 2734460 markings, 15748910 edges, 1451 markings/sec, 1885 secs
lola: 3 tries, 2804041 fired transitions, 1890 secs || 2741794 markings, 15796117 edges, 1467 markings/sec, 1890 secs
lola: 3 tries, 2811761 fired transitions, 1895 secs || 2749219 markings, 15835949 edges, 1485 markings/sec, 1895 secs
lola: 3 tries, 2819527 fired transitions, 1900 secs || 2756712 markings, 15874435 edges, 1499 markings/sec, 1900 secs
lola: 3 tries, 2827286 fired transitions, 1905 secs || 2764178 markings, 15915271 edges, 1493 markings/sec, 1905 secs
lola: 3 tries, 2835054 fired transitions, 1910 secs || 2771602 markings, 15960280 edges, 1485 markings/sec, 1910 secs
lola: 3 tries, 2842787 fired transitions, 1915 secs || 2779023 markings, 16004760 edges, 1484 markings/sec, 1915 secs
lola: 3 tries, 2850546 fired transitions, 1920 secs || 2786496 markings, 16045357 edges, 1495 markings/sec, 1920 secs
lola: 3 tries, 2858306 fired transitions, 1925 secs || 2793922 markings, 16092438 edges, 1485 markings/sec, 1925 secs
lola: 3 tries, 2866093 fired transitions, 1930 secs || 2801412 markings, 16134980 edges, 1498 markings/sec, 1930 secs
lola: 3 tries, 2873853 fired transitions, 1935 secs || 2808828 markings, 16182990 edges, 1483 markings/sec, 1935 secs
lola: 3 tries, 2881617 fired transitions, 1940 secs || 2816246 markings, 16230638 edges, 1484 markings/sec, 1940 secs
lola: 3 tries, 2889384 fired transitions, 1945 secs || 2823633 markings, 16282297 edges, 1477 markings/sec, 1945 secs
lola: 3 tries, 2897089 fired transitions, 1950 secs || 2830960 markings, 16335120 edges, 1465 markings/sec, 1950 secs
lola: 3 tries, 2904828 fired transitions, 1955 secs || 2838367 markings, 16383562 edges, 1481 markings/sec, 1955 secs
lola: 3 tries, 2912526 fired transitions, 1960 secs || 2845787 markings, 16422679 edges, 1484 markings/sec, 1960 secs
lola: 3 tries, 2920240 fired transitions, 1965 secs || 2853226 markings, 16465389 edges, 1488 markings/sec, 1965 secs
lola: 3 tries, 2928006 fired transitions, 1970 secs || 2860812 markings, 16494985 edges, 1517 markings/sec, 1970 secs
lola: 3 tries, 2935748 fired transitions, 1975 secs || 2868330 markings, 16531222 edges, 1504 markings/sec, 1975 secs
lola: 3 tries, 2943469 fired transitions, 1980 secs || 2875853 markings, 16563983 edges, 1505 markings/sec, 1980 secs
lola: 3 tries, 2951188 fired transitions, 1985 secs || 2883356 markings, 16599697 edges, 1501 markings/sec, 1985 secs
lola: 3 tries, 2958944 fired transitions, 1990 secs || 2890867 markings, 16634978 edges, 1502 markings/sec, 1990 secs
lola: 3 tries, 2966680 fired transitions, 1995 secs || 2898323 markings, 16674563 edges, 1491 markings/sec, 1995 secs
lola: 3 tries, 2974419 fired transitions, 2000 secs || 2905740 markings, 16717669 edges, 1483 markings/sec, 2000 secs
lola: 3 tries, 2982129 fired transitions, 2005 secs || 2913134 markings, 16760200 edges, 1479 markings/sec, 2005 secs
lola: 3 tries, 2989814 fired transitions, 2010 secs || 2920554 markings, 16800572 edges, 1484 markings/sec, 2010 secs
lola: 3 tries, 2997513 fired transitions, 2015 secs || 2927982 markings, 16841786 edges, 1486 markings/sec, 2015 secs
lola: 4 tries, 3005216 fired transitions, 2020 secs || 2935456 markings, 16879258 edges, 1495 markings/sec, 2020 secs
lola: 4 tries, 3012868 fired transitions, 2025 secs || 2942899 markings, 16914774 edges, 1489 markings/sec, 2025 secs
lola: 4 tries, 3020492 fired transitions, 2030 secs || 2950292 markings, 16949976 edges, 1479 markings/sec, 2030 secs
lola: 4 tries, 3028088 fired transitions, 2035 secs || 2957662 markings, 16984106 edges, 1474 markings/sec, 2035 secs
lola: 4 tries, 3035725 fired transitions, 2040 secs || 2965057 markings, 17021301 edges, 1479 markings/sec, 2040 secs
lola: 4 tries, 3043322 fired transitions, 2045 secs || 2972332 markings, 17064973 edges, 1455 markings/sec, 2045 secs
lola: 4 tries, 3050922 fired transitions, 2050 secs || 2979630 markings, 17106018 edges, 1460 markings/sec, 2050 secs
lola: 4 tries, 3058501 fired transitions, 2055 secs || 2986920 markings, 17147400 edges, 1458 markings/sec, 2055 secs
lola: 4 tries, 3066080 fired transitions, 2060 secs || 2994231 markings, 17188214 edges, 1462 markings/sec, 2060 secs
lola: 4 tries, 3073668 fired transitions, 2065 secs || 3001584 markings, 17224980 edges, 1471 markings/sec, 2065 secs
lola: 4 tries, 3081295 fired transitions, 2070 secs || 3008955 markings, 17263395 edges, 1474 markings/sec, 2070 secs
lola: 4 tries, 3088898 fired transitions, 2075 secs || 3016259 markings, 17306069 edges, 1461 markings/sec, 2075 secs
lola: 4 tries, 3096485 fired transitions, 2080 secs || 3023540 markings, 17347711 edges, 1456 markings/sec, 2080 secs
lola: 4 tries, 3104067 fired transitions, 2085 secs || 3030817 markings, 17389515 edges, 1455 markings/sec, 2085 secs
lola: 4 tries, 3111629 fired transitions, 2090 secs || 3038124 markings, 17429779 edges, 1461 markings/sec, 2090 secs
lola: 4 tries, 3119225 fired transitions, 2095 secs || 3045468 markings, 17468332 edges, 1469 markings/sec, 2095 secs
lola: 4 tries, 3126810 fired transitions, 2100 secs || 3052734 markings, 17510124 edges, 1453 markings/sec, 2100 secs
lola: 4 tries, 3134436 fired transitions, 2105 secs || 3060057 markings, 17552348 edges, 1465 markings/sec, 2105 secs
lola: 4 tries, 3142042 fired transitions, 2110 secs || 3067322 markings, 17595674 edges, 1453 markings/sec, 2110 secs
lola: 4 tries, 3149669 fired transitions, 2115 secs || 3074609 markings, 17640137 edges, 1457 markings/sec, 2115 secs
lola: 4 tries, 3157210 fired transitions, 2120 secs || 3081747 markings, 17690207 edges, 1428 markings/sec, 2120 secs
lola: 4 tries, 3164810 fired transitions, 2125 secs || 3088936 markings, 17740468 edges, 1438 markings/sec, 2125 secs
lola: 4 tries, 3172487 fired transitions, 2130 secs || 3096284 markings, 17788687 edges, 1470 markings/sec, 2130 secs
lola: 4 tries, 3180219 fired transitions, 2135 secs || 3103599 markings, 17838766 edges, 1463 markings/sec, 2135 secs
lola: 4 tries, 3187954 fired transitions, 2140 secs || 3110982 markings, 17888753 edges, 1477 markings/sec, 2140 secs
lola: 4 tries, 3195479 fired transitions, 2145 secs || 3118293 markings, 17935225 edges, 1462 markings/sec, 2145 secs
lola: 4 tries, 3202522 fired transitions, 2150 secs || 3125365 markings, 17983327 edges, 1414 markings/sec, 2150 secs
lola: 4 tries, 3209814 fired transitions, 2155 secs || 3132697 markings, 18030538 edges, 1466 markings/sec, 2155 secs
lola: 4 tries, 3217258 fired transitions, 2160 secs || 3139908 markings, 18074796 edges, 1442 markings/sec, 2160 secs
lola: 4 tries, 3224566 fired transitions, 2165 secs || 3147145 markings, 18120596 edges, 1447 markings/sec, 2165 secs
lola: 4 tries, 3231842 fired transitions, 2170 secs || 3154461 markings, 18158805 edges, 1463 markings/sec, 2170 secs
lola: 4 tries, 3239242 fired transitions, 2175 secs || 3161676 markings, 18196886 edges, 1443 markings/sec, 2175 secs
lola: 4 tries, 3246581 fired transitions, 2180 secs || 3168863 markings, 18236827 edges, 1437 markings/sec, 2180 secs
lola: 4 tries, 3253973 fired transitions, 2185 secs || 3176041 markings, 18276127 edges, 1436 markings/sec, 2185 secs
lola: 4 tries, 3261349 fired transitions, 2190 secs || 3183233 markings, 18316877 edges, 1438 markings/sec, 2190 secs
lola: 4 tries, 3268523 fired transitions, 2195 secs || 3190365 markings, 18363605 edges, 1426 markings/sec, 2195 secs
lola: 4 tries, 3276012 fired transitions, 2200 secs || 3197379 markings, 18410089 edges, 1403 markings/sec, 2200 secs
lola: 4 tries, 3283472 fired transitions, 2205 secs || 3204457 markings, 18457354 edges, 1416 markings/sec, 2205 secs
lola: 4 tries, 3290969 fired transitions, 2210 secs || 3211499 markings, 18501394 edges, 1408 markings/sec, 2210 secs
lola: 4 tries, 3298388 fired transitions, 2215 secs || 3218611 markings, 18540979 edges, 1422 markings/sec, 2215 secs
lola: 4 tries, 3305546 fired transitions, 2220 secs || 3225781 markings, 18582264 edges, 1434 markings/sec, 2220 secs
lola: 4 tries, 3312736 fired transitions, 2225 secs || 3232938 markings, 18623487 edges, 1431 markings/sec, 2225 secs
lola: 4 tries, 3319974 fired transitions, 2230 secs || 3240064 markings, 18671782 edges, 1425 markings/sec, 2230 secs
lola: 4 tries, 3327431 fired transitions, 2235 secs || 3247135 markings, 18719129 edges, 1414 markings/sec, 2235 secs
lola: 4 tries, 3334807 fired transitions, 2240 secs || 3254252 markings, 18765237 edges, 1423 markings/sec, 2240 secs
lola: 4 tries, 3341958 fired transitions, 2245 secs || 3261386 markings, 18808121 edges, 1427 markings/sec, 2245 secs
lola: 4 tries, 3349270 fired transitions, 2250 secs || 3268608 markings, 18853996 edges, 1444 markings/sec, 2250 secs
lola: 4 tries, 3356500 fired transitions, 2255 secs || 3275771 markings, 18901855 edges, 1433 markings/sec, 2255 secs
lola: 4 tries, 3363942 fired transitions, 2260 secs || 3282865 markings, 18949155 edges, 1419 markings/sec, 2260 secs
lola: 4 tries, 3371256 fired transitions, 2265 secs || 3290206 markings, 18997286 edges, 1468 markings/sec, 2265 secs
lola: 4 tries, 3378253 fired transitions, 2270 secs || 3297451 markings, 19046357 edges, 1449 markings/sec, 2270 secs
lola: 4 tries, 3385316 fired transitions, 2275 secs || 3304701 markings, 19097472 edges, 1450 markings/sec, 2275 secs
lola: 4 tries, 3392605 fired transitions, 2280 secs || 3311963 markings, 19155469 edges, 1452 markings/sec, 2280 secs
lola: 4 tries, 3400151 fired transitions, 2285 secs || 3319288 markings, 19210773 edges, 1465 markings/sec, 2285 secs
lola: 4 tries, 3407636 fired transitions, 2290 secs || 3326520 markings, 19267130 edges, 1446 markings/sec, 2290 secs
lola: 4 tries, 3415132 fired transitions, 2295 secs || 3333763 markings, 19320274 edges, 1449 markings/sec, 2295 secs
lola: 4 tries, 3422622 fired transitions, 2300 secs || 3341061 markings, 19377279 edges, 1460 markings/sec, 2300 secs
lola: 4 tries, 3430134 fired transitions, 2305 secs || 3348433 markings, 19430221 edges, 1474 markings/sec, 2305 secs
lola: 4 tries, 3437595 fired transitions, 2310 secs || 3355802 markings, 19480252 edges, 1474 markings/sec, 2310 secs
lola: 4 tries, 3445104 fired transitions, 2315 secs || 3363256 markings, 19523580 edges, 1491 markings/sec, 2315 secs
lola: 4 tries, 3452625 fired transitions, 2320 secs || 3370693 markings, 19564461 edges, 1487 markings/sec, 2320 secs
lola: 4 tries, 3460177 fired transitions, 2325 secs || 3378130 markings, 19605558 edges, 1487 markings/sec, 2325 secs
lola: 4 tries, 3467731 fired transitions, 2330 secs || 3385571 markings, 19650936 edges, 1488 markings/sec, 2330 secs
lola: 4 tries, 3475243 fired transitions, 2335 secs || 3392938 markings, 19700109 edges, 1473 markings/sec, 2335 secs
lola: 4 tries, 3482760 fired transitions, 2340 secs || 3400343 markings, 19746717 edges, 1481 markings/sec, 2340 secs
lola: 4 tries, 3490300 fired transitions, 2345 secs || 3407792 markings, 19788495 edges, 1490 markings/sec, 2345 secs
lola: 4 tries, 3497845 fired transitions, 2350 secs || 3415243 markings, 19830542 edges, 1490 markings/sec, 2350 secs
lola: 4 tries, 3505370 fired transitions, 2355 secs || 3422596 markings, 19879609 edges, 1471 markings/sec, 2355 secs
lola: 4 tries, 3512883 fired transitions, 2360 secs || 3429926 markings, 19927709 edges, 1466 markings/sec, 2360 secs
lola: 4 tries, 3520392 fired transitions, 2365 secs || 3437320 markings, 19972873 edges, 1479 markings/sec, 2365 secs
lola: 4 tries, 3527902 fired transitions, 2370 secs || 3444661 markings, 20020982 edges, 1468 markings/sec, 2370 secs
lola: 4 tries, 3535403 fired transitions, 2375 secs || 3452008 markings, 20069574 edges, 1469 markings/sec, 2375 secs
lola: 4 tries, 3542907 fired transitions, 2380 secs || 3459340 markings, 20115713 edges, 1466 markings/sec, 2380 secs
lola: 4 tries, 3550391 fired transitions, 2385 secs || 3466671 markings, 20165217 edges, 1466 markings/sec, 2385 secs
lola: 4 tries, 3557930 fired transitions, 2390 secs || 3474012 markings, 20217532 edges, 1468 markings/sec, 2390 secs
lola: 4 tries, 3565449 fired transitions, 2395 secs || 3481292 markings, 20275619 edges, 1456 markings/sec, 2395 secs
lola: 4 tries, 3572950 fired transitions, 2400 secs || 3488605 markings, 20330000 edges, 1463 markings/sec, 2400 secs
lola: 4 tries, 3580452 fired transitions, 2405 secs || 3495902 markings, 20385026 edges, 1459 markings/sec, 2405 secs
lola: 4 tries, 3587937 fired transitions, 2410 secs || 3503260 markings, 20436903 edges, 1472 markings/sec, 2410 secs
lola: 4 tries, 3595523 fired transitions, 2415 secs || 3510790 markings, 20477333 edges, 1506 markings/sec, 2415 secs
lola: 4 tries, 3603108 fired transitions, 2420 secs || 3518316 markings, 20519256 edges, 1505 markings/sec, 2420 secs
lola: 4 tries, 3610650 fired transitions, 2425 secs || 3525759 markings, 20568454 edges, 1489 markings/sec, 2425 secs
lola: 4 tries, 3618192 fired transitions, 2430 secs || 3533224 markings, 20614365 edges, 1493 markings/sec, 2430 secs
lola: 4 tries, 3625778 fired transitions, 2435 secs || 3540745 markings, 20656348 edges, 1504 markings/sec, 2435 secs
lola: 4 tries, 3633329 fired transitions, 2440 secs || 3548199 markings, 20705319 edges, 1491 markings/sec, 2440 secs
lola: 4 tries, 3640829 fired transitions, 2445 secs || 3555623 markings, 20751357 edges, 1485 markings/sec, 2445 secs
lola: 4 tries, 3648395 fired transitions, 2450 secs || 3563010 markings, 20799893 edges, 1477 markings/sec, 2450 secs
lola: 4 tries, 3655964 fired transitions, 2455 secs || 3570466 markings, 20849925 edges, 1491 markings/sec, 2455 secs
lola: 4 tries, 3663525 fired transitions, 2460 secs || 3577847 markings, 20905818 edges, 1476 markings/sec, 2460 secs
lola: 4 tries, 3670942 fired transitions, 2465 secs || 3585079 markings, 20960867 edges, 1446 markings/sec, 2465 secs
lola: 4 tries, 3678296 fired transitions, 2470 secs || 3592318 markings, 21011113 edges, 1448 markings/sec, 2470 secs
lola: 4 tries, 3685705 fired transitions, 2475 secs || 3599656 markings, 21054019 edges, 1468 markings/sec, 2475 secs
lola: 4 tries, 3693181 fired transitions, 2480 secs || 3607058 markings, 21095469 edges, 1480 markings/sec, 2480 secs
lola: 4 tries, 3700615 fired transitions, 2485 secs || 3614413 markings, 21142723 edges, 1471 markings/sec, 2485 secs
lola: 4 tries, 3708036 fired transitions, 2490 secs || 3621788 markings, 21184624 edges, 1475 markings/sec, 2490 secs
lola: 4 tries, 3715428 fired transitions, 2495 secs || 3629105 markings, 21232097 edges, 1463 markings/sec, 2495 secs
lola: 4 tries, 3722888 fired transitions, 2500 secs || 3636490 markings, 21279204 edges, 1477 markings/sec, 2500 secs
lola: 4 tries, 3730322 fired transitions, 2505 secs || 3643784 markings, 21331903 edges, 1459 markings/sec, 2505 secs
lola: 4 tries, 3737894 fired transitions, 2510 secs || 3651197 markings, 21385234 edges, 1483 markings/sec, 2510 secs
lola: 4 tries, 3745517 fired transitions, 2515 secs || 3658751 markings, 21429264 edges, 1511 markings/sec, 2515 secs
lola: 4 tries, 3753182 fired transitions, 2520 secs || 3666356 markings, 21465352 edges, 1521 markings/sec, 2520 secs
lola: 4 tries, 3760827 fired transitions, 2525 secs || 3673938 markings, 21500506 edges, 1516 markings/sec, 2525 secs
lola: 4 tries, 3768489 fired transitions, 2530 secs || 3681540 markings, 21539129 edges, 1520 markings/sec, 2530 secs
lola: 4 tries, 3776078 fired transitions, 2535 secs || 3689050 markings, 21583747 edges, 1502 markings/sec, 2535 secs
lola: 4 tries, 3783680 fired transitions, 2540 secs || 3696587 markings, 21626185 edges, 1507 markings/sec, 2540 secs
lola: 4 tries, 3791243 fired transitions, 2545 secs || 3704056 markings, 21669207 edges, 1494 markings/sec, 2545 secs
lola: 4 tries, 3798468 fired transitions, 2550 secs || 3711395 markings, 21709645 edges, 1468 markings/sec, 2550 secs
lola: 4 tries, 3806149 fired transitions, 2555 secs || 3718844 markings, 21748596 edges, 1490 markings/sec, 2555 secs
lola: 4 tries, 3813524 fired transitions, 2560 secs || 3726183 markings, 21791132 edges, 1468 markings/sec, 2560 secs
lola: 4 tries, 3821038 fired transitions, 2565 secs || 3733546 markings, 21833645 edges, 1473 markings/sec, 2565 secs
lola: 4 tries, 3828446 fired transitions, 2570 secs || 3740809 markings, 21883251 edges, 1453 markings/sec, 2570 secs
lola: 4 tries, 3835895 fired transitions, 2575 secs || 3748082 markings, 21931289 edges, 1455 markings/sec, 2575 secs
lola: 4 tries, 3843443 fired transitions, 2580 secs || 3755279 markings, 21978570 edges, 1439 markings/sec, 2580 secs
lola: 4 tries, 3851113 fired transitions, 2585 secs || 3762322 markings, 22019434 edges, 1409 markings/sec, 2585 secs
lola: 4 tries, 3858733 fired transitions, 2590 secs || 3769549 markings, 22060741 edges, 1445 markings/sec, 2590 secs
lola: 4 tries, 3866171 fired transitions, 2595 secs || 3776712 markings, 22108592 edges, 1433 markings/sec, 2595 secs
lola: 4 tries, 3873478 fired transitions, 2600 secs || 3783558 markings, 22153261 edges, 1369 markings/sec, 2600 secs
lola: 4 tries, 3880799 fired transitions, 2605 secs || 3790462 markings, 22194661 edges, 1381 markings/sec, 2605 secs
lola: 4 tries, 3888288 fired transitions, 2610 secs || 3797550 markings, 22237458 edges, 1418 markings/sec, 2610 secs
lola: 4 tries, 3895803 fired transitions, 2615 secs || 3804757 markings, 22284741 edges, 1441 markings/sec, 2615 secs
lola: 4 tries, 3903422 fired transitions, 2620 secs || 3812058 markings, 22327088 edges, 1460 markings/sec, 2620 secs
lola: 4 tries, 3910833 fired transitions, 2625 secs || 3819161 markings, 22373277 edges, 1421 markings/sec, 2625 secs
lola: 4 tries, 3917921 fired transitions, 2630 secs || 3826070 markings, 22406529 edges, 1382 markings/sec, 2630 secs
lola: 4 tries, 3924995 fired transitions, 2635 secs || 3832994 markings, 22443983 edges, 1385 markings/sec, 2635 secs
lola: 4 tries, 3932452 fired transitions, 2640 secs || 3840143 markings, 22485458 edges, 1430 markings/sec, 2640 secs
lola: 4 tries, 3939934 fired transitions, 2645 secs || 3847329 markings, 22526776 edges, 1437 markings/sec, 2645 secs
lola: 4 tries, 3947168 fired transitions, 2650 secs || 3854299 markings, 22566742 edges, 1394 markings/sec, 2650 secs
lola: 4 tries, 3954309 fired transitions, 2655 secs || 3861246 markings, 22606350 edges, 1389 markings/sec, 2655 secs
lola: 4 tries, 3961573 fired transitions, 2660 secs || 3868251 markings, 22652389 edges, 1401 markings/sec, 2660 secs
lola: 4 tries, 3968729 fired transitions, 2665 secs || 3875054 markings, 22697421 edges, 1361 markings/sec, 2665 secs
lola: 4 tries, 3976040 fired transitions, 2670 secs || 3881825 markings, 22742855 edges, 1354 markings/sec, 2670 secs
lola: 4 tries, 3983207 fired transitions, 2675 secs || 3888651 markings, 22784489 edges, 1365 markings/sec, 2675 secs
lola: 4 tries, 3990388 fired transitions, 2680 secs || 3895515 markings, 22830531 edges, 1373 markings/sec, 2680 secs
lola: 4 tries, 3997772 fired transitions, 2685 secs || 3902492 markings, 22874217 edges, 1395 markings/sec, 2685 secs
lola: 5 tries, 4005124 fired transitions, 2690 secs || 3909600 markings, 22921740 edges, 1422 markings/sec, 2690 secs
lola: 5 tries, 4012644 fired transitions, 2695 secs || 3916724 markings, 22960496 edges, 1425 markings/sec, 2695 secs
lola: 5 tries, 4020087 fired transitions, 2700 secs || 3924010 markings, 23002742 edges, 1457 markings/sec, 2700 secs
lola: 5 tries, 4027598 fired transitions, 2705 secs || 3931187 markings, 23045268 edges, 1435 markings/sec, 2705 secs
lola: 5 tries, 4035042 fired transitions, 2710 secs || 3938268 markings, 23087701 edges, 1416 markings/sec, 2710 secs
lola: 5 tries, 4042467 fired transitions, 2715 secs || 3945236 markings, 23133509 edges, 1394 markings/sec, 2715 secs
lola: 5 tries, 4049972 fired transitions, 2720 secs || 3952161 markings, 23182051 edges, 1385 markings/sec, 2720 secs
lola: 5 tries, 4057584 fired transitions, 2725 secs || 3959240 markings, 23231553 edges, 1416 markings/sec, 2725 secs
lola: 5 tries, 4065183 fired transitions, 2730 secs || 3966342 markings, 23276871 edges, 1420 markings/sec, 2730 secs
lola: 5 tries, 4072742 fired transitions, 2735 secs || 3973456 markings, 23326026 edges, 1423 markings/sec, 2735 secs
lola: 5 tries, 4080336 fired transitions, 2740 secs || 3980532 markings, 23372948 edges, 1415 markings/sec, 2740 secs
lola: 5 tries, 4087848 fired transitions, 2745 secs || 3987614 markings, 23418378 edges, 1416 markings/sec, 2745 secs
lola: 5 tries, 4095396 fired transitions, 2750 secs || 3994648 markings, 23466946 edges, 1407 markings/sec, 2750 secs
lola: 5 tries, 4102998 fired transitions, 2755 secs || 4001769 markings, 23513586 edges, 1424 markings/sec, 2755 secs
lola: 5 tries, 4110483 fired transitions, 2760 secs || 4008770 markings, 23561340 edges, 1400 markings/sec, 2760 secs
lola: 5 tries, 4118043 fired transitions, 2765 secs || 4015755 markings, 23609680 edges, 1397 markings/sec, 2765 secs
lola: 5 tries, 4125524 fired transitions, 2770 secs || 4022770 markings, 23663444 edges, 1403 markings/sec, 2770 secs
lola: 5 tries, 4133028 fired transitions, 2775 secs || 4029781 markings, 23718724 edges, 1402 markings/sec, 2775 secs
lola: 5 tries, 4140482 fired transitions, 2780 secs || 4036801 markings, 23772071 edges, 1404 markings/sec, 2780 secs
lola: 5 tries, 4147937 fired transitions, 2785 secs || 4043778 markings, 23824351 edges, 1395 markings/sec, 2785 secs
lola: 5 tries, 4155409 fired transitions, 2790 secs || 4050729 markings, 23877365 edges, 1390 markings/sec, 2790 secs
lola: 5 tries, 4162927 fired transitions, 2795 secs || 4057684 markings, 23927533 edges, 1391 markings/sec, 2795 secs
lola: 5 tries, 4170337 fired transitions, 2800 secs || 4064794 markings, 23976152 edges, 1422 markings/sec, 2800 secs
lola: 5 tries, 4177849 fired transitions, 2805 secs || 4071816 markings, 24029754 edges, 1404 markings/sec, 2805 secs
lola: 5 tries, 4185348 fired transitions, 2810 secs || 4078835 markings, 24083411 edges, 1404 markings/sec, 2810 secs
lola: 5 tries, 4192700 fired transitions, 2815 secs || 4085880 markings, 24135921 edges, 1409 markings/sec, 2815 secs
lola: 5 tries, 4199904 fired transitions, 2820 secs || 4092990 markings, 24187935 edges, 1422 markings/sec, 2820 secs
lola: 5 tries, 4207220 fired transitions, 2825 secs || 4100174 markings, 24240063 edges, 1437 markings/sec, 2825 secs
lola: 5 tries, 4214511 fired transitions, 2830 secs || 4107330 markings, 24294016 edges, 1431 markings/sec, 2830 secs
lola: 5 tries, 4221865 fired transitions, 2835 secs || 4114432 markings, 24343843 edges, 1420 markings/sec, 2835 secs
lola: 5 tries, 4229313 fired transitions, 2840 secs || 4121696 markings, 24392058 edges, 1453 markings/sec, 2840 secs
lola: 5 tries, 4236873 fired transitions, 2845 secs || 4128903 markings, 24446433 edges, 1441 markings/sec, 2845 secs
lola: 5 tries, 4244237 fired transitions, 2850 secs || 4136162 markings, 24491014 edges, 1452 markings/sec, 2850 secs
lola: 5 tries, 4251689 fired transitions, 2855 secs || 4143314 markings, 24538090 edges, 1430 markings/sec, 2855 secs
lola: 5 tries, 4258931 fired transitions, 2860 secs || 4150215 markings, 24586823 edges, 1380 markings/sec, 2860 secs
lola: 5 tries, 4266305 fired transitions, 2865 secs || 4157242 markings, 24637946 edges, 1405 markings/sec, 2865 secs
lola: 5 tries, 4273764 fired transitions, 2870 secs || 4164270 markings, 24688058 edges, 1406 markings/sec, 2870 secs
lola: 5 tries, 4281181 fired transitions, 2875 secs || 4171422 markings, 24721946 edges, 1430 markings/sec, 2875 secs
lola: 5 tries, 4288688 fired transitions, 2880 secs || 4178560 markings, 24761349 edges, 1428 markings/sec, 2880 secs
lola: 5 tries, 4296196 fired transitions, 2885 secs || 4185767 markings, 24803230 edges, 1441 markings/sec, 2885 secs
lola: 5 tries, 4303705 fired transitions, 2890 secs || 4192866 markings, 24844003 edges, 1420 markings/sec, 2890 secs
lola: 5 tries, 4311151 fired transitions, 2895 secs || 4200019 markings, 24884651 edges, 1431 markings/sec, 2895 secs
lola: 5 tries, 4318565 fired transitions, 2900 secs || 4207155 markings, 24923724 edges, 1427 markings/sec, 2900 secs
lola: 5 tries, 4326101 fired transitions, 2905 secs || 4214349 markings, 24962788 edges, 1439 markings/sec, 2905 secs
lola: 5 tries, 4333599 fired transitions, 2910 secs || 4221541 markings, 25004563 edges, 1438 markings/sec, 2910 secs
lola: 5 tries, 4340985 fired transitions, 2915 secs || 4228723 markings, 25047006 edges, 1436 markings/sec, 2915 secs
lola: 5 tries, 4348157 fired transitions, 2920 secs || 4235925 markings, 25090263 edges, 1440 markings/sec, 2920 secs
lola: 5 tries, 4355327 fired transitions, 2925 secs || 4242990 markings, 25137756 edges, 1413 markings/sec, 2925 secs
lola: 5 tries, 4362440 fired transitions, 2930 secs || 4250002 markings, 25186875 edges, 1402 markings/sec, 2930 secs
lola: 5 tries, 4369718 fired transitions, 2935 secs || 4257252 markings, 25237359 edges, 1450 markings/sec, 2935 secs
lola: 5 tries, 4377236 fired transitions, 2940 secs || 4264408 markings, 25283358 edges, 1431 markings/sec, 2940 secs
lola: 5 tries, 4384763 fired transitions, 2945 secs || 4271574 markings, 25332130 edges, 1433 markings/sec, 2945 secs
lola: 5 tries, 4392290 fired transitions, 2950 secs || 4278775 markings, 25378980 edges, 1440 markings/sec, 2950 secs
lola: 5 tries, 4399754 fired transitions, 2955 secs || 4285868 markings, 25427229 edges, 1419 markings/sec, 2955 secs
lola: 5 tries, 4407258 fired transitions, 2960 secs || 4293022 markings, 25475571 edges, 1431 markings/sec, 2960 secs
lola: 5 tries, 4414772 fired transitions, 2965 secs || 4300192 markings, 25518206 edges, 1434 markings/sec, 2965 secs
lola: 5 tries, 4422251 fired transitions, 2970 secs || 4307290 markings, 25565589 edges, 1420 markings/sec, 2970 secs
lola: 5 tries, 4429682 fired transitions, 2975 secs || 4314341 markings, 25612627 edges, 1410 markings/sec, 2975 secs
lola: 5 tries, 4437127 fired transitions, 2980 secs || 4321410 markings, 25658521 edges, 1414 markings/sec, 2980 secs
lola: 5 tries, 4444586 fired transitions, 2985 secs || 4328503 markings, 25704450 edges, 1419 markings/sec, 2985 secs
lola: 5 tries, 4452032 fired transitions, 2990 secs || 4335500 markings, 25751881 edges, 1399 markings/sec, 2990 secs
lola: 5 tries, 4459472 fired transitions, 2995 secs || 4342453 markings, 25800205 edges, 1391 markings/sec, 2995 secs
lola: 5 tries, 4466878 fired transitions, 3000 secs || 4349412 markings, 25853999 edges, 1392 markings/sec, 3000 secs
lola: 5 tries, 4474231 fired transitions, 3005 secs || 4356085 markings, 25906536 edges, 1335 markings/sec, 3005 secs
lola: 5 tries, 4481291 fired transitions, 3010 secs || 4363210 markings, 25960809 edges, 1425 markings/sec, 3010 secs
lola: 5 tries, 4488369 fired transitions, 3015 secs || 4370283 markings, 26013542 edges, 1415 markings/sec, 3015 secs
lola: 5 tries, 4495438 fired transitions, 3020 secs || 4377314 markings, 26067919 edges, 1406 markings/sec, 3020 secs
lola: 5 tries, 4502613 fired transitions, 3025 secs || 4384422 markings, 26115411 edges, 1422 markings/sec, 3025 secs
lola: 5 tries, 4509731 fired transitions, 3030 secs || 4391520 markings, 26162865 edges, 1420 markings/sec, 3030 secs
lola: 5 tries, 4516742 fired transitions, 3035 secs || 4398470 markings, 26208263 edges, 1390 markings/sec, 3035 secs
lola: 5 tries, 4523866 fired transitions, 3040 secs || 4405501 markings, 26254561 edges, 1406 markings/sec, 3040 secs
lola: 5 tries, 4530996 fired transitions, 3045 secs || 4412505 markings, 26302542 edges, 1401 markings/sec, 3045 secs
lola: 5 tries, 4538155 fired transitions, 3050 secs || 4419529 markings, 26357637 edges, 1405 markings/sec, 3050 secs
lola: 5 tries, 4545287 fired transitions, 3055 secs || 4426565 markings, 26411048 edges, 1407 markings/sec, 3055 secs
lola: 5 tries, 4552401 fired transitions, 3060 secs || 4433579 markings, 26463746 edges, 1403 markings/sec, 3060 secs
lola: 5 tries, 4559842 fired transitions, 3065 secs || 4440742 markings, 26511894 edges, 1433 markings/sec, 3065 secs
lola: 5 tries, 4567030 fired transitions, 3070 secs || 4447950 markings, 26559234 edges, 1442 markings/sec, 3070 secs
lola: 5 tries, 4574362 fired transitions, 3075 secs || 4455166 markings, 26607233 edges, 1443 markings/sec, 3075 secs
lola: 5 tries, 4581569 fired transitions, 3080 secs || 4462320 markings, 26661200 edges, 1431 markings/sec, 3080 secs
lola: 5 tries, 4588800 fired transitions, 3085 secs || 4469453 markings, 26715380 edges, 1427 markings/sec, 3085 secs
lola: 5 tries, 4596075 fired transitions, 3090 secs || 4476740 markings, 26763326 edges, 1457 markings/sec, 3090 secs
lola: 5 tries, 4603480 fired transitions, 3095 secs || 4483809 markings, 26810548 edges, 1414 markings/sec, 3095 secs
lola: 5 tries, 4610629 fired transitions, 3100 secs || 4490868 markings, 26864455 edges, 1412 markings/sec, 3100 secs
lola: 5 tries, 4617771 fired transitions, 3105 secs || 4498038 markings, 26903842 edges, 1434 markings/sec, 3105 secs
lola: 5 tries, 4624812 fired transitions, 3110 secs || 4505195 markings, 26945352 edges, 1431 markings/sec, 3110 secs
lola: 5 tries, 4631781 fired transitions, 3115 secs || 4512334 markings, 26987638 edges, 1428 markings/sec, 3115 secs
lola: 5 tries, 4639227 fired transitions, 3120 secs || 4519439 markings, 27030263 edges, 1421 markings/sec, 3120 secs
lola: 5 tries, 4646624 fired transitions, 3125 secs || 4526408 markings, 27076159 edges, 1394 markings/sec, 3125 secs
lola: 5 tries, 4653821 fired transitions, 3130 secs || 4533392 markings, 27125022 edges, 1397 markings/sec, 3130 secs
lola: 5 tries, 4661298 fired transitions, 3135 secs || 4540469 markings, 27174528 edges, 1415 markings/sec, 3135 secs
lola: 5 tries, 4668727 fired transitions, 3140 secs || 4547532 markings, 27219572 edges, 1413 markings/sec, 3140 secs
lola: 5 tries, 4676380 fired transitions, 3145 secs || 4554750 markings, 27269469 edges, 1444 markings/sec, 3145 secs
lola: 5 tries, 4684092 fired transitions, 3150 secs || 4562097 markings, 27317853 edges, 1469 markings/sec, 3150 secs
lola: 5 tries, 4691373 fired transitions, 3155 secs || 4569206 markings, 27365022 edges, 1422 markings/sec, 3155 secs
lola: 5 tries, 4698740 fired transitions, 3160 secs || 4576372 markings, 27413743 edges, 1433 markings/sec, 3160 secs
lola: 5 tries, 4706430 fired transitions, 3165 secs || 4583612 markings, 27457533 edges, 1448 markings/sec, 3165 secs
lola: 5 tries, 4713941 fired transitions, 3170 secs || 4590867 markings, 27504967 edges, 1451 markings/sec, 3170 secs
lola: 5 tries, 4721177 fired transitions, 3175 secs || 4598052 markings, 27549307 edges, 1437 markings/sec, 3175 secs
lola: 5 tries, 4728358 fired transitions, 3180 secs || 4605162 markings, 27597954 edges, 1422 markings/sec, 3180 secs
lola: 5 tries, 4735886 fired transitions, 3185 secs || 4612237 markings, 27646795 edges, 1415 markings/sec, 3185 secs
lola: 5 tries, 4743128 fired transitions, 3190 secs || 4619245 markings, 27699819 edges, 1402 markings/sec, 3190 secs
lola: 5 tries, 4750208 fired transitions, 3195 secs || 4626261 markings, 27755539 edges, 1403 markings/sec, 3195 secs
lola: 5 tries, 4757290 fired transitions, 3200 secs || 4633278 markings, 27808453 edges, 1403 markings/sec, 3200 secs
lola: 5 tries, 4764340 fired transitions, 3205 secs || 4640305 markings, 27861636 edges, 1405 markings/sec, 3205 secs
lola: 5 tries, 4771690 fired transitions, 3210 secs || 4647318 markings, 27914599 edges, 1403 markings/sec, 3210 secs
lola: 5 tries, 4779159 fired transitions, 3215 secs || 4654338 markings, 27966706 edges, 1404 markings/sec, 3215 secs
lola: 5 tries, 4786530 fired transitions, 3220 secs || 4661566 markings, 28019356 edges, 1446 markings/sec, 3220 secs
lola: 5 tries, 4794116 fired transitions, 3225 secs || 4668766 markings, 28067852 edges, 1440 markings/sec, 3225 secs
lola: 5 tries, 4801772 fired transitions, 3230 secs || 4675922 markings, 28117566 edges, 1431 markings/sec, 3230 secs
lola: 5 tries, 4809285 fired transitions, 3235 secs || 4682925 markings, 28172727 edges, 1401 markings/sec, 3235 secs
lola: 5 tries, 4816568 fired transitions, 3240 secs || 4689927 markings, 28226273 edges, 1400 markings/sec, 3240 secs
lola: 5 tries, 4823547 fired transitions, 3245 secs || 4696778 markings, 28277941 edges, 1370 markings/sec, 3245 secs
lola: 5 tries, 4830806 fired transitions, 3250 secs || 4703846 markings, 28329456 edges, 1414 markings/sec, 3250 secs
lola: 5 tries, 4838457 fired transitions, 3255 secs || 4711122 markings, 28379197 edges, 1455 markings/sec, 3255 secs
lola: 5 tries, 4845909 fired transitions, 3260 secs || 4718427 markings, 28432876 edges, 1461 markings/sec, 3260 secs
lola: 5 tries, 4853474 fired transitions, 3265 secs || 4725697 markings, 28488219 edges, 1454 markings/sec, 3265 secs
lola: 5 tries, 4861194 fired transitions, 3270 secs || 4733021 markings, 28542212 edges, 1465 markings/sec, 3270 secs
lola: 5 tries, 4869003 fired transitions, 3275 secs || 4740449 markings, 28594611 edges, 1486 markings/sec, 3275 secs
lola: 5 tries, 4876742 fired transitions, 3280 secs || 4747820 markings, 28649567 edges, 1474 markings/sec, 3280 secs
lola: 5 tries, 4884451 fired transitions, 3285 secs || 4755188 markings, 28695561 edges, 1474 markings/sec, 3285 secs
lola: 5 tries, 4892204 fired transitions, 3290 secs || 4762633 markings, 28741084 edges, 1489 markings/sec, 3290 secs
lola: 5 tries, 4899860 fired transitions, 3295 secs || 4769888 markings, 28791840 edges, 1451 markings/sec, 3295 secs
lola: 5 tries, 4907441 fired transitions, 3300 secs || 4777176 markings, 28842906 edges, 1458 markings/sec, 3300 secs
lola: 5 tries, 4915163 fired transitions, 3305 secs || 4784577 markings, 28891099 edges, 1480 markings/sec, 3305 secs
lola: 5 tries, 4922798 fired transitions, 3310 secs || 4791857 markings, 28941266 edges, 1456 markings/sec, 3310 secs
lola: 5 tries, 4930507 fired transitions, 3315 secs || 4799242 markings, 28991244 edges, 1477 markings/sec, 3315 secs
lola: 5 tries, 4938211 fired transitions, 3320 secs || 4806537 markings, 29042078 edges, 1459 markings/sec, 3320 secs
lola: 5 tries, 4945850 fired transitions, 3325 secs || 4813742 markings, 29098473 edges, 1441 markings/sec, 3325 secs
lola: 5 tries, 4953507 fired transitions, 3330 secs || 4820960 markings, 29153904 edges, 1444 markings/sec, 3330 secs
lola: 5 tries, 4961119 fired transitions, 3335 secs || 4828161 markings, 29209192 edges, 1440 markings/sec, 3335 secs
lola: 5 tries, 4968741 fired transitions, 3340 secs || 4835358 markings, 29262317 edges, 1439 markings/sec, 3340 secs
lola: 5 tries, 4976372 fired transitions, 3345 secs || 4842533 markings, 29318490 edges, 1435 markings/sec, 3345 secs
lola: 5 tries, 4984002 fired transitions, 3350 secs || 4849728 markings, 29373096 edges, 1439 markings/sec, 3350 secs
lola: 5 tries, 4991614 fired transitions, 3355 secs || 4856930 markings, 29426150 edges, 1440 markings/sec, 3355 secs
lola: 5 tries, 4999227 fired transitions, 3360 secs || 4864144 markings, 29481110 edges, 1443 markings/sec, 3360 secs
lola: 6 tries, 5006895 fired transitions, 3365 secs || 4871426 markings, 29535195 edges, 1456 markings/sec, 3365 secs
lola: 6 tries, 5014533 fired transitions, 3370 secs || 4878672 markings, 29585894 edges, 1449 markings/sec, 3370 secs
lola: 6 tries, 5022219 fired transitions, 3375 secs || 4885957 markings, 29636921 edges, 1457 markings/sec, 3375 secs
lola: 6 tries, 5029886 fired transitions, 3380 secs || 4893229 markings, 29687811 edges, 1454 markings/sec, 3380 secs
lola: 6 tries, 5037587 fired transitions, 3385 secs || 4900549 markings, 29739111 edges, 1464 markings/sec, 3385 secs
lola: 6 tries, 5045214 fired transitions, 3390 secs || 4907737 markings, 29796360 edges, 1438 markings/sec, 3390 secs
lola: 6 tries, 5052871 fired transitions, 3395 secs || 4914914 markings, 29853840 edges, 1435 markings/sec, 3395 secs
lola: 6 tries, 5060479 fired transitions, 3400 secs || 4922071 markings, 29911036 edges, 1431 markings/sec, 3400 secs
lola: 6 tries, 5068070 fired transitions, 3405 secs || 4929198 markings, 29968098 edges, 1425 markings/sec, 3405 secs
lola: 6 tries, 5075758 fired transitions, 3410 secs || 4936458 markings, 30026168 edges, 1452 markings/sec, 3410 secs
lola: 6 tries, 5083491 fired transitions, 3415 secs || 4943820 markings, 30085123 edges, 1472 markings/sec, 3415 secs
lola: 6 tries, 5091103 fired transitions, 3420 secs || 4951106 markings, 30136310 edges, 1457 markings/sec, 3420 secs
lola: 6 tries, 5098728 fired transitions, 3425 secs || 4958380 markings, 30188854 edges, 1455 markings/sec, 3425 secs
lola: 6 tries, 5106321 fired transitions, 3430 secs || 4965557 markings, 30246205 edges, 1435 markings/sec, 3430 secs
lola: 6 tries, 5113966 fired transitions, 3435 secs || 4972771 markings, 30303948 edges, 1443 markings/sec, 3435 secs
lola: 6 tries, 5121454 fired transitions, 3440 secs || 4980063 markings, 30358154 edges, 1458 markings/sec, 3440 secs
lola: 6 tries, 5128697 fired transitions, 3445 secs || 4987253 markings, 30415420 edges, 1438 markings/sec, 3445 secs
lola: 6 tries, 5135923 fired transitions, 3450 secs || 4994498 markings, 30471549 edges, 1449 markings/sec, 3450 secs
lola: 6 tries, 5143321 fired transitions, 3455 secs || 5001561 markings, 30527905 edges, 1413 markings/sec, 3455 secs
lola: 6 tries, 5150680 fired transitions, 3460 secs || 5008486 markings, 30583164 edges, 1385 markings/sec, 3460 secs
lola: 6 tries, 5158062 fired transitions, 3465 secs || 5015488 markings, 30639149 edges, 1400 markings/sec, 3465 secs
lola: 6 tries, 5165047 fired transitions, 3470 secs || 5022489 markings, 30694984 edges, 1400 markings/sec, 3470 secs
lola: 6 tries, 5172249 fired transitions, 3475 secs || 5029360 markings, 30752692 edges, 1374 markings/sec, 3475 secs
lola: 6 tries, 5179253 fired transitions, 3480 secs || 5035889 markings, 30811441 edges, 1306 markings/sec, 3480 secs
lola: 6 tries, 5186549 fired transitions, 3485 secs || 5042708 markings, 30872840 edges, 1364 markings/sec, 3485 secs
lola: 6 tries, 5193628 fired transitions, 3490 secs || 5049422 markings, 30933010 edges, 1343 markings/sec, 3490 secs
lola: 6 tries, 5200794 fired transitions, 3495 secs || 5056033 markings, 30992122 edges, 1322 markings/sec, 3495 secs
lola: 6 tries, 5207907 fired transitions, 3500 secs || 5062694 markings, 31051715 edges, 1332 markings/sec, 3500 secs
lola: 6 tries, 5215282 fired transitions, 3505 secs || 5069698 markings, 31114544 edges, 1401 markings/sec, 3505 secs
lola: 6 tries, 5222647 fired transitions, 3510 secs || 5076573 markings, 31170080 edges, 1375 markings/sec, 3510 secs
lola: 6 tries, 5230057 fired transitions, 3515 secs || 5083542 markings, 31225832 edges, 1394 markings/sec, 3515 secs
lola: 6 tries, 5237497 fired transitions, 3520 secs || 5090532 markings, 31282276 edges, 1398 markings/sec, 3520 secs
lola: 6 tries, 5244915 fired transitions, 3525 secs || 5097360 markings, 31343765 edges, 1366 markings/sec, 3525 secs
lola: 6 tries, 5252248 fired transitions, 3530 secs || 5104140 markings, 31404649 edges, 1356 markings/sec, 3530 secs
lola: 6 tries, 5259634 fired transitions, 3535 secs || 5110991 markings, 31466116 edges, 1370 markings/sec, 3535 secs
lola: 6 tries, 5267144 fired transitions, 3540 secs || 5118014 markings, 31525214 edges, 1405 markings/sec, 3540 secs
lola: 6 tries, 5274662 fired transitions, 3545 secs || 5125124 markings, 31582072 edges, 1422 markings/sec, 3545 secs
lola: 6 tries, 5282070 fired transitions, 3550 secs || 5132174 markings, 31645002 edges, 1410 markings/sec, 3550 secs
lola: 6 tries, 5289619 fired transitions, 3555 secs || 5139165 markings, 31707019 edges, 1398 markings/sec, 3555 secs
lola: time limit reached - aborting
lola: memory consumption: 596284 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: caught signal User defined signal 2 - aborting LoLA
lola: memory consumption: 596828 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 1553121338821

--------------------
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="TokenRing-PT-020"
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 TokenRing-PT-020, 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 r170-oct2-155297750600336"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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